title: Online Quantile Regression

abstract: This paper addresses the challenge of integrating sequentially arriving data within the quantile regression framework, where the number of features is allowed to grow with the number of observations, the horizon is unknown, and memory is limited. We employ stochastic sub-gradient descent to minimize the empirical check loss and study its statistical properties and regret performance. In our analysis, we unveil the delicate interplay between updating iterates based on individual observations versus batches of observations, revealing distinct regularity properties in each scenario. Our method ensures long-term optimal estimation irrespective of the chosen update strategy. Importantly, our contributions go beyond prior works by achieving exponential-type concentration inequalities and attaining optimal regret and error rates that exhibit only \textsf{ short-term} sensitivity to initial errors. A key insight from our study is the delicate statistical analyses and the revelation that appropriate stepsize schemes significantly mitigate the impact of initial errors on subsequent errors and regrets. This underscores the robustness of stochastic sub-gradient descent in handling initial uncertainties, emphasizing its efficacy in scenarios where the sequential arrival of data introduces uncertainties regarding both the horizon and the total number of observations. Additionally, when the initial error rate is well-controlled, there is a trade-off between short-term error rate and long-term optimality. Due to the lack of delicate statistical analysis for squared loss, we also briefly discuss its properties and proper schemes. Extensive simulations support our theoretical findings.


title: Persistent anomaly in dynamical quantum phase transition in long-range non-Hermitian $p$-wave Kitaev chian

abstract: Considering a non-Hermitian version of $p$-wave Kitaev chain in the presence of additional second nearest neighbour tunneling, we study dynamical quantum phase transition (DQPT) which accounts for the vanishing Loschmidt amplitude. The locus of the Fisher's zero traces a continuous path on the complex time plane for the Hermitian case while it becomes discontinuous for non-Hermitian cases. This further leads to the half-unit jumps in the winding number characterizing a dynamical topological aspect of DQPT for non-Hermitian Hamiltonian. Uncovering the interplay between non-Hermiticity and long-range tunneling, we find these features to be universally present irrespective of the additional second nearest neighbour tunneling terms as long as non-Hermiticity is preserved.


title: Symmetric bilinear Forms and Galois Theory

abstract: Let $ K$ be a field admitting a Galois extension $L$ of degree $n$, denoting the Galois group as $G = \gal(L/K)$. Our focus lies on the space $\sym_K(L)$ of symmetric $K$-bilinear forms on $L$. We establish a decomposition of $\sym_K(L)$ into direct sum of $K$-subspaces $A^{\sigma_i}$, where $\sigma_i \in G$. Notably, these subspaces $ A^{\sigma_i}$ exhibit nice constant rank properties. The central contribution of this paper is a decomposition theorem for $\sym_K(L)$, revealing a direct sum of $\frac{(n+1)}{2}$ constant rank $n$-subspaces, each having dimension of $n$. This holds particularly when $G$ is cyclic, represented as $G = \gal(L/K) = \langle\sigma\rangle$. For cyclic extensions of even degree $n = 2m$, we present slightly less precise but analogous results. In this scenario, we enhance and enrich these constant results and show that, the component $ A^{\sigma}$ often decomposes directly into a constant rank subspaces. Remarkably, this decomposition is universally valid when $-1 \notin L^{2}$. Consequently, we derive a decomposition of $\sym_K(L)$ into subspaces of constant rank under several situations. Moreover, leveraging these decompositions, we investigate the maximum dimension of an $n$-subspace inside $M(n,K)$ and $S(n,K)$ for various field $K$ where $M(n,K)$ and $ S(n,K)$ denote the vector spaces $(n \times n)$ matrices and symmetric matrices over $K$, respectively.


title: The passage among the subcategories of weakly approximable triangulated categories

abstract: In this article we prove that all the inclusions between the 'classical' and naturally defined full triangulated subcategories of a weakly approximable triangulated category are intrinsic (in one case under a technical condition). This extends all the existing results about subcategories of weakly approximable triangulated categories. Together with a forthcoming paper about uniqueness of enhancements, our result allows us to generalize a celebrated theorem by Rickard which asserts that if $R$ and $S$ are left coherent rings, then a derived equivalence of $R$ and $S$ is "independent of the decorations". That is, if $D^?(R\text{-}\square)$ and $D^?(S\text{-}\square)$ are equivalent as triangulated categories for some choice of decorations $?$ and $\square$, then they are equivalent for every choice of decorations. But our theorem is much more general, and applies also to quasi-compact and quasi-separated schemes -- even to the relative version, in which the derived categories consist of complexes with cohomology supported on a given closed subscheme with quasi-compact complement.


title: SBoTFlow: A Scalable framework using lattice Boltzmann method and Topology-confined mesh refinement for moving-body applications

abstract: This paper proposes a scalable lattice-Boltzmann computational framework (SBoTFlow) for simulations of flexible moving objects in an incompressible fluid flow. Behavior of fluid flow formed from moving boundaries of flexible-object motions is obtained through the multidirect forcing immersed boundary scheme associated with the lattice Boltzmann equation with a parallel topology-confined block refinement framework. We first demonstrate that the hydrodynamic quantities computed in this manner for standard benchmarks, including the Tayler-Green vortex flow and flow over an obstacle-embedded lid-driven cavity and an isolated circular cylinder, agree well with those previously published in the literature. We then exploit the framework to probe the underlying dynamic properties contributing to fluid flow under flexible motions at different Reynolds numbers by simulating large-scale flapping wing motions of both amplitude and frequency. The analysis shows that the proposed numerical framework for pitching and flapping motions has a strong ability to accurately capture high amplitudes, specifically up to $64^\circ$, and a frequency of $f=1/2.5\pi$. This suggests that the present parallel numerical framework has the potential to be used in studying flexible motions, such as insect flight or wing aerodynamics.


title: Google Scholar is manipulatable

abstract: Citations are widely considered in scientists' evaluation. As such, scientists may be incentivized to inflate their citation counts. While previous literature has examined self-citations and citation cartels, it remains unclear whether scientists can purchase citations. Here, we compile a dataset of ~1.6 million profiles on Google Scholar to examine instances of citation fraud on the platform. We survey faculty at highly-ranked universities, and confirm that Google Scholar is widely used when evaluating scientists. Intrigued by a citation-boosting service that we unravelled during our investigation, we contacted the service while undercover as a fictional author, and managed to purchase 50 citations. These findings provide conclusive evidence that citations can be bought in bulk, and highlight the need to look beyond citation counts.


title: Analysis of water ice in nanoporous copper needles using cryo atom probe tomography

abstract: The application of atom probe tomography (APT) to frozen liquids is limited by difficulties in specimen preparation. Here, we report on the use of nanoporous Cu needles as a physical framework to hold water ice for investigation using APT. Nanoporous Cu needles are prepared by the electropolishing and dealloying of Cu-Mn matchstick precursors. Cryogenic scanning electron microscopy and focused-ion beam milling reveal a hierarchical, dendritic, highly-wettable microstructure. The atom probe mass spectrum is dominated by peaks of Cu+ and H(H2O)n+ up to n <= 3, and the reconstructed volume shows the protrusion of a Cu ligament into an ice-filled pore. The continuous Cu ligament network electrically connects the apex to the cryostage, leading to enhanced electric field at the apex and increased cooling, both of which simplify the mass spectrum compared to previous reports.


title: Improving Cross-Domain Low-Resource Text Generation through LLM Post-Editing: A Programmer-Interpreter Approach

abstract: Post-editing has proven effective in improving the quality of text generated by large language models (LLMs) such as GPT-3.5 or GPT-4, particularly when direct updating of their parameters to enhance text quality is infeasible or expensive. However, relying solely on smaller language models for post-editing can limit the LLMs' ability to generalize across domains. Moreover, the editing strategies in these methods are not optimally designed for text-generation tasks. To address these limitations, we propose a neural programmer-interpreter approach that preserves the domain generalization ability of LLMs when editing their output. The editing actions in this framework are specifically devised for text generation. Extensive experiments demonstrate that the programmer-interpreter significantly enhances GPT-3.5's performance in logical form-to-text conversion and low-resource machine translation, surpassing other state-of-the-art (SOTA) LLM post-editing methods in cross-domain settings.


title: Early Stopping of Untrained Convolutional Neural Networks

abstract: In recent years, new regularization methods based on (deep) neural networks have shown very promising empirical performance for the numerical solution of ill-posed problems, e.g., in medical imaging and imaging science. Due to the nonlinearity of neural networks, these methods often lack satisfactory theoretical justification. In this work, we rigorously discuss the convergence of a successful unsupervised approach that utilizes untrained convolutional neural networks to represent solutions to linear ill-posed problems. Untrained neural networks are particularly appealing for many applications because they do not require paired training data. The regularization property of the approach relies solely on the architecture of the neural network instead. Due to the vast over-parameterization of the employed neural network, suitable early stopping is essential for the success of the method. We establish that the classical discrepancy principle is an adequate method for early stopping of two-layer untrained convolutional neural networks learned by gradient descent, and furthermore, it yields an approximation with minimax optimal convergence rates. Numerical results are also presented to illustrate the theoretical findings.


title: A Robust Light-Curve Diagnostic for Electron-Capture Supernovae and Low-Mass Fe-Core-Collapse Supernovae

abstract: Core-collapse supernovae (CCSNe) are the terminal explosions of massive stars. While most massive stars explode as iron-core-collapse supernovae (FeCCSNe), slightly less massive stars explode as electron-capture supernovae (ECSNe), shaping the low-mass end of CCSNe. ECSNe was proposed $\sim 40$ years ago and first-principles simulations also predict their successful explosions. Observational identification and investigation of ECSNe are important for the completion of stellar evolution theory. To date, only one promising candidate has been proposed, SN 2018zd, other than the historical progenitor of the Crab Nebula, SN 1054. We present representative synthetic light curves of low-mass FeCCSNe and ECSNe exploding with energies in circumstellar media (CSM) estimated with theoretically or observationally plausible methods. The plateaus of the ECSNe are shorter, brighter, and bluer than those of the FeCCSNe. To investigate the robustness of their intrinsic differences, we adopted various explosion energies and CSM. Although they may have similar bolometric light-curve plateaus, ECSNe are bluer than FeCCSNe in the absence of strong CSM interaction, illustrating that multicolor observations are essential to identify ECSNe. This provides a robust indicator of ECSNe because the bluer plateaus stem from the low-density envelopes of their super-asymptotic-giant-branch progenitors. Furthermore, we propose a distance-independent method to identify ECSNe: $(g-r)_{t_{\rm PT}/2} < 0.008 \times t_{\rm PT} - 0.4$, i.e., blue $g-r$ at the middle of the plateau $(g-r)_{t_{\rm PT}/2}$, where $t_{\rm PT}$ is the transition epoch from plateau to tail. Using this method, we identified SN 2018zd as an ECSN, which we believe to be the first ECSN identified with modern observing techniques.


title: An inevitably aging world -- Analysis on the evolutionary pattern of age structure in 200 countries

abstract: Ignoring the differences between countries, human reproductive and dispersal behaviors can be described by some standardized models, so whether there is a universal law of population growth hidden in the abundant and unstructured data from various countries remains unclear. The age-specific population data constitute a three-dimensional tensor containing more comprehensive information. The existing literature often describes the characteristics of global or regional population evolution by subregion aggregation and statistical analysis, which makes it challenging to identify the underlying rules by ignoring national or structural details. Statistical physics can be used to summarize the macro characteristics and evolution laws of complex systems based on the attributes and motions of masses of individuals by decomposing high-dimensional tensors. Specifically, it can be used to assess the evolution of age structure in various countries over the past approximately 70 years, rather than simply focusing on the regions where aging has become apparent. It provides a universal scheme for the growing elderly and working age populations, indicating that the demographics on all continents are inevitably moving towards an aging population, including the current "young" continents of Africa, and Asia, South America with a recent "demographic dividend". It is a force derived from the "life cycle", and most countries have been unable to avoid this universal evolutionary path in the foreseeable future.


title: Wasserstein Gradient Flows for Moreau Envelopes of f-Divergences in Reproducing Kernel Hilbert Spaces

abstract: Most commonly used $f$-divergences of measures, e.g., the Kullback-Leibler divergence, are subject to limitations regarding the support of the involved measures. A remedy consists of regularizing the $f$-divergence by a squared maximum mean discrepancy (MMD) associated with a characteristic kernel $K$. In this paper, we use the so-called kernel mean embedding to show that the corresponding regularization can be rewritten as the Moreau envelope of some function in the reproducing kernel Hilbert space associated with $K$. Then, we exploit well-known results on Moreau envelopes in Hilbert spaces to prove properties of the MMD-regularized $f$-divergences and, in particular, their gradients. Subsequently, we use our findings to analyze Wasserstein gradient flows of MMD-regularized $f$-divergences. Finally, we consider Wasserstein gradient flows starting from empirical measures. We provide proof-of-the-concept numerical examples for $f$-divergences with both infinite and finite recession constant.


title: Faithfulness vs. Plausibility: On the (Un)Reliability of Explanations from Large Language Models

abstract: Large Language Models (LLMs) are deployed as powerful tools for several natural language processing (NLP) applications. Recent works show that modern LLMs can generate self-explanations (SEs), which elicit their intermediate reasoning steps for explaining their behavior. Self-explanations have seen widespread adoption owing to their conversational and plausible nature. However, there is little to no understanding of their faithfulness. In this work, we discuss the dichotomy between faithfulness and plausibility in SEs generated by LLMs. We argue that while LLMs are adept at generating plausible explanations -- seemingly logical and coherent to human users -- these explanations do not necessarily align with the reasoning processes of the LLMs, raising concerns about their faithfulness. We highlight that the current trend towards increasing the plausibility of explanations, primarily driven by the demand for user-friendly interfaces, may come at the cost of diminishing their faithfulness. We assert that the faithfulness of explanations is critical in LLMs employed for high-stakes decision-making. Moreover, we emphasize the need for a systematic characterization of faithfulness-plausibility requirements of different real-world applications and ensure explanations meet those needs. While there are several approaches to improving plausibility, improving faithfulness is an open challenge. We call upon the community to develop novel methods to enhance the faithfulness of self explanations thereby enabling transparent deployment of LLMs in diverse high-stakes settings.


title: ScreenAI: A Vision-Language Model for UI and Infographics Understanding

abstract: Screen user interfaces (UIs) and infographics, sharing similar visual language and design principles, play important roles in human communication and human-machine interaction. We introduce ScreenAI, a vision-language model that specializes in UI and infographics understanding. Our model improves upon the PaLI architecture with the flexible patching strategy of pix2struct and is trained on a unique mixture of datasets. At the heart of this mixture is a novel screen annotation task in which the model has to identify the type and location of UI elements. We use these text annotations to describe screens to Large Language Models and automatically generate question-answering (QA), UI navigation, and summarization training datasets at scale. We run ablation studies to demonstrate the impact of these design choices. At only 5B parameters, ScreenAI achieves new state-of-the-artresults on UI- and infographics-based tasks (Multi-page DocVQA, WebSRC, MoTIF and Widget Captioning), and new best-in-class performance on others (Chart QA, DocVQA, and InfographicVQA) compared to models of similar size. Finally, we release three new datasets: one focused on the screen annotation task and two others focused on question answering.


title: TinyLLM: Learning a Small Student from Multiple Large Language Models

abstract: Transferring the reasoning capability from stronger large language models (LLMs) to smaller ones has been quite appealing, as smaller LLMs are more flexible to deploy with less expense. Among the existing solutions, knowledge distillation stands out due to its outstanding efficiency and generalization. However, existing methods suffer from several drawbacks, including limited knowledge diversity and the lack of rich contextual information. To solve the problems and facilitate the learning of compact language models, we propose TinyLLM, a new knowledge distillation paradigm to learn a small student LLM from multiple large teacher LLMs. In particular, we encourage the student LLM to not only generate the correct answers but also understand the rationales behind these answers. Given that different LLMs possess diverse reasoning skills, we guide the student model to assimilate knowledge from various teacher LLMs. We further introduce an in-context example generator and a teacher-forcing Chain-of-Thought strategy to ensure that the rationales are accurate and grounded in contextually appropriate scenarios. Extensive experiments on six datasets across two reasoning tasks demonstrate the superiority of our method. Results show that TinyLLM can outperform large teacher LLMs significantly, despite a considerably smaller model size.


title: InfLLM: Training-Free Long-Context Extrapolation for LLMs with an Efficient Context Memory

abstract: Large language models (LLMs) have emerged as a cornerstone in real-world applications with lengthy streaming inputs (e.g., LLM-driven agents). However, existing LLMs, pre-trained on sequences with a restricted maximum length, cannot process longer sequences due to the out-of-domain and distraction issues. Common solutions often involve continual pre-training on longer sequences, which will introduce expensive computational overhead and uncontrollable change in model capabilities. In this paper, we unveil the intrinsic capacity of LLMs for understanding extremely long sequences without any fine-tuning. To this end, we introduce a training-free memory-based method, InfLLM. Specifically, InfLLM stores distant contexts into additional memory units and employs an efficient mechanism to lookup token-relevant units for attention computation. Thereby, InfLLM allows LLMs to efficiently process long sequences with a limited context window and well capture long-distance dependencies. Without any training, InfLLM enables LLMs that are pre-trained on sequences consisting of a few thousand tokens to achieve comparable performance with competitive baselines that continually train these LLMs on long sequences. Even when the sequence length is scaled to $1,024$K, InfLLM still effectively captures long-distance dependencies. Our code can be found in \url{https://github.com/thunlp/InfLLM}.


title: Multi-Scale Semantic Segmentation with Modified MBConv Blocks

abstract: Recently, MBConv blocks, initially designed for efficiency in resource-limited settings and later adapted for cutting-edge image classification performances, have demonstrated significant potential in image classification tasks. Despite their success, their application in semantic segmentation has remained relatively unexplored. This paper introduces a novel adaptation of MBConv blocks specifically tailored for semantic segmentation. Our modification stems from the insight that semantic segmentation requires the extraction of more detailed spatial information than image classification. We argue that to effectively perform multi-scale semantic segmentation, each branch of a U-Net architecture, regardless of its resolution, should possess equivalent segmentation capabilities. By implementing these changes, our approach achieves impressive mean Intersection over Union (IoU) scores of 84.5% and 84.0% on the Cityscapes test and validation datasets, respectively, demonstrating the efficacy of our proposed modifications in enhancing semantic segmentation performance.


title: Discontinuous harvesting policy in a Filippov system involving prey refuge

abstract: In this article, a non-smooth predator-prey dynamical system is considered. Here, we discuss about sustainable harvesting in a Filippov predator-prey system, which can produce yield and at the same time prevent over-exploitation of bioresources. The local and global stability analysis of the two subsystems, with and without harvesting, are studied. Furthermore, for the Filippov system, we have performed bifurcation analysis for several key parameters like predation rate, threshold quantity and prey refuge. Some local sliding bifurcations are also observed for the system. Numerical simulations are presented to illustrate the dynamical behaviour of the system.


title: CataractBot: An LLM-Powered Expert-in-the-Loop Chatbot for Cataract Patients

abstract: The healthcare landscape is evolving, with patients seeking more reliable information about their health conditions, treatment options, and potential risks. Despite the abundance of information sources, the digital age overwhelms individuals with excess, often inaccurate information. Patients primarily trust doctors and hospital staff, highlighting the need for expert-endorsed health information. However, the pressure on experts has led to reduced communication time, impacting information sharing. To address this gap, we propose CataractBot, an experts-in-the-loop chatbot powered by large language models (LLMs). Developed in collaboration with a tertiary eye hospital in India, CataractBot answers cataract surgery related questions instantly by querying a curated knowledge base, and provides expert-verified responses asynchronously. CataractBot features multimodal support and multilingual capabilities. In an in-the-wild deployment study with 49 participants, CataractBot proved valuable, providing anytime accessibility, saving time, and accommodating diverse literacy levels. Trust was established through expert verification. Broadly, our results could inform future work on designing expert-mediated LLM bots.


title: Feature Distribution on Graph Topology Mediates the Effect of Graph Convolution: Homophily Perspective

abstract: How would randomly shuffling feature vectors among nodes from the same class affect graph neural networks (GNNs)? The feature shuffle, intuitively, perturbs the dependence between graph topology and features (A-X dependence) for GNNs to learn from. Surprisingly, we observe a consistent and significant improvement in GNN performance following the feature shuffle. Having overlooked the impact of A-X dependence on GNNs, the prior literature does not provide a satisfactory understanding of the phenomenon. Thus, we raise two research questions. First, how should A-X dependence be measured, while controlling for potential confounds? Second, how does A-X dependence affect GNNs? In response, we (i) propose a principled measure for A-X dependence, (ii) design a random graph model that controls A-X dependence, (iii) establish a theory on how A-X dependence relates to graph convolution, and (iv) present empirical analysis on real-world graphs that align with the theory. We conclude that A-X dependence mediates the effect of graph convolution, such that smaller dependence improves GNN-based node classification.


title: On rigidity of hypersurfaces with constant shifted curvature functions in hyperbolic space

abstract: In this paper, we first give some new characterizations of geodesic spheres in the hyperbolic space by the condition that hypersurface has constant weighted shifted mean curvatures, or constant weighted shifted mean curvature ratio, which generalize the result of Hu-Wei-Zhou \cite{HWZ23}. Secondly, we investigate several rigidity problems for hypersurfaces in the hyperbolic space with constant linear combinations of weighted shifted mean curvatures as well as radially symmetric shifted mean curvatures. As applications, we obtain the rigidity results for hypersurfaces with constant linear combinations of mean curvatures in a general form and constant Gauss-Bonnet curvature $L_k$ under weaker conditions, which extend the work of the third author and Xia \cite{WX14}.


title: Validity-Preserving Delta Debugging via Generator

abstract: Reducing test inputs that trigger bugs is crucial for efficient debugging. Delta debugging is the most popular approach for this purpose. When test inputs need to conform to certain specifications, existing delta debugging practice encounters a validity problem: it blindly applies reduction rules, producing a large number of invalid test inputs that do not satisfy the required specifications. This overall diminishing effectiveness and efficiency becomes even more pronounced when the specifications extend beyond syntactical structures. Our key insight is that we should leverage input generators, which are aware of these specifications, to generate valid reduced inputs, rather than straightforwardly performing reduction on test inputs. In this paper, we propose a generator-based delta debugging method, namely GReduce, which derives validity-preserving reducers. Specifically, given a generator and its execution, demonstrating how the bug-inducing test input is generated, GReduce searches for other executions on the generator that yield reduced, valid test inputs. To evaluate the effectiveness, efficiency, and versatility of GReduce, we apply GReduce and the state-of-the-art reducer Perses in three domains: graphs, deep learning models, and JavaScript programs. The results of GReduce are 28.5%, 34.6%, 75.6% in size of those from Perses, and GReduce takes 17.5%, 0.6%, 65.4% time taken by Perses.


title: MEMORYLLM: Towards Self-Updatable Large Language Models

abstract: Existing Large Language Models (LLMs) usually remain static after deployment, which might make it hard to inject new knowledge into the model. We aim to build models containing a considerable portion of self-updatable parameters, enabling the model to integrate new knowledge effectively and efficiently. To this end, we introduce MEMORYLLM, a model that comprises a transformer and a fixed-size memory pool within the latent space of the transformer. MEMORYLLM can self-update with text knowledge and memorize the knowledge injected earlier. Our evaluations demonstrate the ability of MEMORYLLM to effectively incorporate new knowledge, as evidenced by its performance on model editing benchmarks. Meanwhile, the model exhibits long-term information retention capacity, which is validated through our custom-designed evaluations and long-context benchmarks. MEMORYLLM also shows operational integrity without any sign of performance degradation even after nearly a million memory updates. Our code and model are open-sourced at https://github.com/wangyu-ustc/MemoryLLM.


title: Noise Map Guidance: Inversion with Spatial Context for Real Image Editing

abstract: Text-guided diffusion models have become a popular tool in image synthesis, known for producing high-quality and diverse images. However, their application to editing real images often encounters hurdles primarily due to the text condition deteriorating the reconstruction quality and subsequently affecting editing fidelity. Null-text Inversion (NTI) has made strides in this area, but it fails to capture spatial context and requires computationally intensive per-timestep optimization. Addressing these challenges, we present Noise Map Guidance (NMG), an inversion method rich in a spatial context, tailored for real-image editing. Significantly, NMG achieves this without necessitating optimization, yet preserves the editing quality. Our empirical investigations highlight NMG's adaptability across various editing techniques and its robustness to variants of DDIM inversions.


title: Breaking surface plasmon excitation constraint via surface spin waves

abstract: Surface plasmons in two-dimensional (2D) electron systems have attracted great attention for their promising light-matter applications. However, the excitation of a surface plasmon, in particular, transverse-electric (TE) surface plasmon, remains an outstanding challenge due to the difficulty to conserve energy and momentum simultaneously in the normal 2D materials. Here we show that the TE surface plasmons ranging from gigahertz to terahertz regime can be effectively excited and manipulated in a hybrid dielectric, 2D material and magnet structure. The essential physics is that the surface spin wave supplements an additional freedom of surface plasmon excitation and thus greatly enhances the electric field in the 2D medium. Based on widely-used magnetic materials like yttrium iron garnet (YIG) and manganese difluoride ($\mathrm{MnF}_2$), we further show that the plasmon excitation manifests itself as a measurable dip in the reflection spectrum of the hybrid system while the dip position and the dip depth can be well controlled by the electric gating on the 2D layer and an external magnetic field. Our findings should bridge the fields of low-dimensional physics, plasmonics and spintronics and open a novel route to integrate plasmonic and spintronic devices.


title: SPARQL Generation: an analysis on fine-tuning OpenLLaMA for Question Answering over a Life Science Knowledge Graph

abstract: The recent success of Large Language Models (LLM) in a wide range of Natural Language Processing applications opens the path towards novel Question Answering Systems over Knowledge Graphs leveraging LLMs. However, one of the main obstacles preventing their implementation is the scarcity of training data for the task of translating questions into corresponding SPARQL queries, particularly in the case of domain-specific KGs. To overcome this challenge, in this study, we evaluate several strategies for fine-tuning the OpenLlama LLM for question answering over life science knowledge graphs. In particular, we propose an end-to-end data augmentation approach for extending a set of existing queries over a given knowledge graph towards a larger dataset of semantically enriched question-to-SPARQL query pairs, enabling fine-tuning even for datasets where these pairs are scarce. In this context, we also investigate the role of semantic "clues" in the queries, such as meaningful variable names and inline comments. Finally, we evaluate our approach over the real-world Bgee gene expression knowledge graph and we show that semantic clues can improve model performance by up to 33% compared to a baseline with random variable names and no comments included.


title: Distinguishing pure and thermal states by Landauer's principle in open systems

abstract: Starting from Polchinski's thought experiment on how to distinguish between pure and thermal states, we construct a specific system to study the interaction between qubit and cavity quantum field theory (QFT) in order to provide a more operational point of view. Without imposing any restrictions on the initial states of qubit and cavity QFT, we compute the evolution of the system order by order by the perturbation method. We choose Landauer's principle, an important bound in quantum computation and quantum measurement, as the basis for the determination of the thermal state. By backtracking the initial state form, we obtain the conditions that must be satisfied by the cavity QFT: the expectation value of the annihilation operator should be zero, and the expectation value of the particle number operator should satisfy the Bose-Einstein distribution. We also discuss the difference between the thermal state and a possible alternative to the thermal state: the canonical thermal pure quantum (CTPQ) state.


title: Iterated satellite operators on the knot concordance group

abstract: We show that for a winding number zero satellite operator $P$ on the knot concordance group, if the axis of $P$ has nontrivial self-pairing under the Blanchfield form of the pattern, then the image of the iteration $P^n$ generates an infinite rank subgroup for each $n$. Furthermore, the graded quotients of the filtration of the knot concordance group associated with $P$ have infinite rank at all levels. This gives an affirmative answer to a question of Hedden and Pinz\'{o}n-Caicedo in many cases. We also show that under the same hypotheses, $P^n$ is not a homomorphism on the knot concordance group for each $n$. We use amenable $L^2$-signatures to prove these results.


title: LLMs Meet VLMs: Boost Open Vocabulary Object Detection with Fine-grained Descriptors

abstract: Inspired by the outstanding zero-shot capability of vision language models (VLMs) in image classification tasks, open-vocabulary object detection has attracted increasing interest by distilling the broad VLM knowledge into detector training. However, most existing open-vocabulary detectors learn by aligning region embeddings with categorical labels (e.g., bicycle) only, disregarding the capability of VLMs on aligning visual embeddings with fine-grained text description of object parts (e.g., pedals and bells). This paper presents DVDet, a Descriptor-Enhanced Open Vocabulary Detector that introduces conditional context prompts and hierarchical textual descriptors that enable precise region-text alignment as well as open-vocabulary detection training in general. Specifically, the conditional context prompt transforms regional embeddings into image-like representations that can be directly integrated into general open vocabulary detection training. In addition, we introduce large language models as an interactive and implicit knowledge repository which enables iterative mining and refining visually oriented textual descriptors for precise region-text alignment. Extensive experiments over multiple large-scale benchmarks show that DVDet outperforms the state-of-the-art consistently by large margins.


title: The Future of Cognitive Strategy-enhanced Persuasive Dialogue Agents: New Perspectives and Trends

abstract: Persuasion, as one of the crucial abilities in human communication, has garnered extensive attention from researchers within the field of intelligent dialogue systems. We humans tend to persuade others to change their viewpoints, attitudes or behaviors through conversations in various scenarios (e.g., persuasion for social good, arguing in online platforms). Developing dialogue agents that can persuade others to accept certain standpoints is essential to achieving truly intelligent and anthropomorphic dialogue system. Benefiting from the substantial progress of Large Language Models (LLMs), dialogue agents have acquired an exceptional capability in context understanding and response generation. However, as a typical and complicated cognitive psychological system, persuasive dialogue agents also require knowledge from the domain of cognitive psychology to attain a level of human-like persuasion. Consequently, the cognitive strategy-enhanced persuasive dialogue agent (defined as CogAgent), which incorporates cognitive strategies to achieve persuasive targets through conversation, has become a predominant research paradigm. To depict the research trends of CogAgent, in this paper, we first present several fundamental cognitive psychology theories and give the formalized definition of three typical cognitive strategies, including the persuasion strategy, the topic path planning strategy, and the argument structure prediction strategy. Then we propose a new system architecture by incorporating the formalized definition to lay the foundation of CogAgent. Representative works are detailed and investigated according to the combined cognitive strategy, followed by the summary of authoritative benchmarks and evaluation metrics. Finally, we summarize our insights on open issues and future directions of CogAgent for upcoming researchers.


title: GSN: Generalisable Segmentation in Neural Radiance Field

abstract: Traditional Radiance Field (RF) representations capture details of a specific scene and must be trained afresh on each scene. Semantic feature fields have been added to RFs to facilitate several segmentation tasks. Generalised RF representations learn the principles of view interpolation. A generalised RF can render new views of an unknown and untrained scene, given a few views. We present a way to distil feature fields into the generalised GNT representation. Our GSN representation generates new views of unseen scenes on the fly along with consistent, per-pixel semantic features. This enables multi-view segmentation of arbitrary new scenes. We show different semantic features being distilled into generalised RFs. Our multi-view segmentation results are on par with methods that use traditional RFs. GSN closes the gap between standard and generalisable RF methods significantly. Project Page: https://vinayak-vg.github.io/GSN/


title: A stability result for Riemannian foliations

abstract: We show that a Riemannian foliation F on a compact manifold M is stable, provided that the cohomology group H^1(F,NF) vanishes. Stability means that any foliation on M close enough to F is conjugate to F by means of a diffeomorphism.


title: No Transaction Fees? No Problem! Achieving Fairness in Transaction Fee Mechanism Design

abstract: The recently proposed Transaction Fee Mechanism (TFM) literature studies the strategic interaction between the miner of a block and the transaction creators (or users) in a blockchain. In a TFM, the miner includes transactions that maximize its utility while users submit fees for a slot in the block. The existing TFM literature focuses on satisfying standard incentive properties -- which may limit widespread adoption. We argue that a TFM is "fair" to the transaction creators if it satisfies specific notions, namely Zero-fee Transaction Inclusion and Monotonicity. First, we prove that one generally cannot ensure both these properties and prevent a miner's strategic manipulation. We also show that existing TFMs either do not satisfy these notions or do so at a high cost to the miners' utility. As such, we introduce a novel TFM using on-chain randomness -- rTFM. We prove that rTFM guarantees incentive compatibility for miners and users while satisfying our novel fairness constraints.


title: Duality of Triebel-Lizorkin spaces of general weights

abstract: In this paper, we identify the duals of Triebel-Lizorkin spaces of generalized smoothness. In some particular cases these function spaces are just weighted Triebel-Lizorkin spaces. To do these, we will be working at the level of sequence spaces. The $\varphi $-transform characterization of these function spaces in the sense of Frazier and Jawerth, and new weighted version of vector-valued maximal inequality of Fefferman and Stein are the main tools.


title: TransLLaMa: LLM-based Simultaneous Translation System

abstract: Decoder-only large language models (LLMs) have recently demonstrated impressive capabilities in text generation and reasoning. Nonetheless, they have limited applications in simultaneous machine translation (SiMT), currently dominated by encoder-decoder transformers. This study demonstrates that, after fine-tuning on a small dataset comprising causally aligned source and target sentence pairs, a pre-trained open-source LLM can control input segmentation directly by generating a special "wait" token. This obviates the need for a separate policy and enables the LLM to perform English-German and English-Russian SiMT tasks with BLEU scores that are comparable to those of specific state-of-the-art baselines. We also evaluated closed-source models such as GPT-4, which displayed encouraging results in performing the SiMT task without prior training (zero-shot), indicating a promising avenue for enhancing future SiMT systems.


title: CIRCUS: an autonomous control system for antimatter, atomic and quantum physics experiments

abstract: A powerful and robust control system is a crucial, often neglected, pillar of any modern, complex physics experiment that requires the management of a multitude of different devices and their precise time synchronisation. The AEgIS collaboration presents CIRCUS, a novel, autonomous control system optimised for time-critical experiments such as those at CERN's Antiproton Decelerator and, more broadly, in atomic and quantum physics research. Its setup is based on Sinara/ARTIQ and TALOS, integrating the ALPACA analysis pipeline, the last two developed entirely in AEgIS. It is suitable for strict synchronicity requirements and repeatable, automated operation of experiments, culminating in autonomous parameter optimisation via feedback from real-time data analysis. CIRCUS has been successfully deployed and tested in AEgIS; being experiment-agnostic and released open-source, other experiments can leverage its capabilities.

categories: quant-ph gr-qc physics.atom-ph physics.ins-det


title: An efficient unconditional energy stable scheme for the simulation of droplet formation

abstract: We have developed an efficient and unconditionally energy-stable method for simulating droplet formation dynamics. Our approach involves a novel time-marching scheme based on the scalar auxiliary variable technique, specifically designed for solving the Cahn-Hilliard-Navier-Stokes phase field model with variable density and viscosity. We have successfully applied this method to simulate droplet formation in scenarios where a Newtonian fluid is injected through a vertical tube into another immiscible Newtonian fluid. To tackle the challenges posed by nonhomogeneous Dirichlet boundary conditions at the tube entrance, we have introduced additional nonlocal auxiliary variables and associated ordinary differential equations. These additions effectively eliminate the influence of boundary terms. Moreover, we have incorporated stabilization terms into the scheme to enhance its numerical effectiveness. Notably, our resulting scheme is fully decoupled, requiring the solution of only linear systems at each time step. We have also demonstrated the energy decaying property of the scheme, with suitable modifications. To assess the accuracy and stability of our algorithm, we have conducted extensive numerical simulations. Additionally, we have examined the dynamics of droplet formation and explored the impact of dimensionless parameters on the process. Overall, our work presents a refined method for simulating droplet formation dynamics, offering improved efficiency, energy stability, and accuracy.


title: Macroscopic Magnetic Dynamics

abstract: Ferromagnetic metals and spin-polarized $^{3}$He are spin 1/2 systems with the same macroscopic symmetry, and thus should have macroscopic magnetic dynamics with the same structure. Using Onsager's irreversible thermodynamics, we develop a theory for these systems that contains two relaxation times (one for the magnetization $\vec{M}$ and the other for the spin current $\vec{J}_{i}$), a magnetic compressibility, and a mean-field parameter. Currently spintronics data on metallic ferromagnets are analyzed using a complex decay length from a theory employing a diffusion constant, a lifetime, and a mean-field parameter. The present theory leads to a complex decay length with the same structure. On neglecting decay of $\vec{M}$, the present theory applies to liquids and gases. For macroscopic equations the particle statistics is not relevant, so the theory also applies to bosons. The theory predicts a longitudinal spin wave whose velocity we estimate for liquid $^{3}$He and for paramagnetic metals; but such a wave should also occur for ferromagnets and for gases.


title: Domain Bridge: Generative model-based domain forensic for black-box models

abstract: In forensic investigations of machine learning models, techniques that determine a model's data domain play an essential role, with prior work relying on large-scale corpora like ImageNet to approximate the target model's domain. Although such methods are effective in finding broad domains, they often struggle in identifying finer-grained classes within those domains. In this paper, we introduce an enhanced approach to determine not just the general data domain (e.g., human face) but also its specific attributes (e.g., wearing glasses). Our approach uses an image embedding model as the encoder and a generative model as the decoder. Beginning with a coarse-grained description, the decoder generates a set of images, which are then presented to the unknown target model. Successful classifications by the model guide the encoder to refine the description, which in turn, are used to produce a more specific set of images in the subsequent iteration. This iterative refinement narrows down the exact class of interest. A key strength of our approach lies in leveraging the expansive dataset, LAION-5B, on which the generative model Stable Diffusion is trained. This enlarges our search space beyond traditional corpora, such as ImageNet. Empirical results showcase our method's performance in identifying specific attributes of a model's input domain, paving the way for more detailed forensic analyses of deep learning models.


title: Low-lying excited states quantum entanglement and continuous quantum phase transitions: The criticality of a one-dimensional deconfined critical point

abstract: From the perspective of low-lying excited states, we study the deconfined quantum critical point (DQCP) in a one-dimensional quantum spin chain by means of the entanglement entropy and fidelity. Our results show that there is a close connection between the reconstruction of low-lying excitation spectra and the DQCP. The precise position of the critical point and its continuous nature is indicated by the singular behavior of the entanglement and fidelity of the first-excited state. Furthermore, compared with the Berezinskii-Kosterlitz-Thouless type phase transitions, which also go beyond the scope of Landau-Ginzburg-Wilson paradigm, we attempt to reveal the essence of different types of symmetries on both sides of the DQPT from different manifestations of entanglement singularity.


title: On the Mathematical foundations of Diffusion Monte Carlo

abstract: The Diffusion Monte Carlo method with constant number of walkers, also called Stochastic Reconfiguration as well as Sequential Monte Carlo, is a widely used Monte Carlo methodology for computing the ground-state energy and wave function of quantum systems. In this study, we present the first mathematically rigorous analysis of this class of stochastic methods on non necessarily compact state spaces, including linear diffusions evolving in quadratic absorbing potentials, yielding what seems to be the first result of this type for this class of models. We present a novel and general mathematical framework with easily checked Lyapunov stability conditions that ensure the uniform-in-time convergence of Diffusion Monte Carlo estimates towards the top of the spectrum of Schr\"odinger operators. For transient free evolutions, we also present a divergence blow up of the estimates w.r.t. the time horizon even when the asymptotic fluctuation variances are uniformly bounded. We also illustrate the impact of these results in the context of generalized coupled quantum harmonic oscillators with non necessarily reversible nor stable diffusive particle and a quadratic energy absorbing well associated with a semi-definite positive matrix force.


title: The advance of Mercury's perihelion

abstract: A very famous ``test'' of the General Theory of Relativity (GTR) is the advance of Mercury's perihelion (and of other planets too). To be more precise, this is not a prediction of General Relativity, since the anomaly was known in the XIXth century, but no consistent explanation had been found yet at the time GTR was elaborated. Einstein came up with a solution to the problem in 1914. In the case of Mercury, the closest planet to the Sun, the effect is more pronounced than for other planets, and observed from Earth; there is an advance of the perihelion of Mercury of about 5550~arc seconds per century (as/cy). Among these, about $5000$ are due to the equinox precession (the precise value is {$5025.645$}~as/cy) and about $500$ ({$531.54$}) to the influence of the external planets. The remaining, about $50$~as/cy ({$42.56$}), are not understood within Newtonian mechanics. Here, we revisit the problem in some detail for a presentation at the undergraduate level.


title: LEVI: Generalizable Fine-tuning via Layer-wise Ensemble of Different Views

abstract: Fine-tuning is becoming widely used for leveraging the power of pre-trained foundation models in new downstream tasks. While there are many successes of fine-tuning on various tasks, recent studies have observed challenges in the generalization of fine-tuned models to unseen distributions (i.e., out-of-distribution; OOD). To improve OOD generalization, some previous studies identify the limitations of fine-tuning data and regulate fine-tuning to preserve the general representation learned from pre-training data. However, potential limitations in the pre-training data and models are often ignored. In this paper, we contend that overly relying on the pre-trained representation may hinder fine-tuning from learning essential representations for downstream tasks and thus hurt its OOD generalization. It can be especially catastrophic when new tasks are from different (sub)domains compared to pre-training data. To address the issues in both pre-training and fine-tuning data, we propose a novel generalizable fine-tuning method LEVI (Layer-wise Ensemble of different VIews), where the pre-trained model is adaptively ensembled layer-wise with a small task-specific model, while preserving its efficiencies. By combining two complementing models, LEVI effectively suppresses problematic features in both the fine-tuning data and pre-trained model and preserves useful features for new tasks. Broad experiments with large language and vision models show that LEVI greatly improves fine-tuning generalization via emphasizing different views from fine-tuning data and pre-trained features.


title: Capacity Modification in the Stable Matching Problem

abstract: We study the problem of capacity modification in the many-to-one stable matching of workers and firms. Our goal is to systematically study how the set of stable matchings changes when some seats are added to or removed from the firms. We make three main contributions: First, we examine whether firms and workers can improve or worsen upon changing the capacities under worker-proposing and firm-proposing deferred acceptance algorithms. Second, we study the computational problem of adding or removing seats to either match a fixed worker-firm pair in some stable matching or make a fixed matching stable with respect to the modified problem. We develop polynomial-time algorithms for these problems when only the overall change in the firms' capacities is restricted, and show NP-hardness when there are additional constraints for individual firms. Lastly, we compare capacity modification with the classical model of preference manipulation by firms and identify scenarios under which one mode of manipulation outperforms the other. We find that a threshold on a given firm's capacity, which we call its peak, crucially determines the effectiveness of different manipulation actions.


title: Learning with Diversification from Block Sparse Signal

abstract: This paper introduces a novel prior called Diversified Block Sparse Prior to characterize the widespread block sparsity phenomenon in real-world data. By allowing diversification on variance and correlation matrix, we effectively address the sensitivity issue of existing block sparse learning methods to pre-defined block information, which enables adaptive block estimation while mitigating the risk of overfitting. Based on this, a diversified block sparse Bayesian learning method (DivSBL) is proposed, utilizing EM algorithm and dual ascent method for hyperparameter estimation. Moreover, we establish the global and local optimality theory of our model. Experiments validate the advantages of DivSBL over existing algorithms.


title: Latent Plan Transformer: Planning as Latent Variable Inference

abstract: In tasks aiming for long-term returns, planning becomes essential. We study generative modeling for planning with datasets repurposed from offline reinforcement learning. Specifically, we identify temporal consistency in the absence of step-wise rewards as one key technical challenge. We introduce the Latent Plan Transformer (LPT), a novel model that leverages a latent space to connect a Transformer-based trajectory generator and the final return. LPT can be learned with maximum likelihood estimation on trajectory-return pairs. In learning, posterior sampling of the latent variable naturally integrates sub-trajectories to form a consistent abstraction despite the finite context. At test time, the latent variable is inferred from an expected return before policy execution, realizing the idea of planning as inference. Our experiments demonstrate that LPT can discover improved decisions from suboptimal trajectories, achieving competitive performance across several benchmarks, including Gym-Mujoco, Franka Kitchen, Maze2D, and Connect Four. It exhibits capabilities in nuanced credit assignments, trajectory stitching, and adaptation to environmental contingencies. These results validate that latent variable inference can be a strong alternative to step-wise reward prompting.


title: OV-NeRF: Open-vocabulary Neural Radiance Fields with Vision and Language Foundation Models for 3D Semantic Understanding

abstract: The development of Neural Radiance Fields (NeRFs) has provided a potent representation for encapsulating the geometric and appearance characteristics of 3D scenes. Enhancing the capabilities of NeRFs in open-vocabulary 3D semantic perception tasks has been a recent focus. However, current methods that extract semantics directly from Contrastive Language-Image Pretraining (CLIP) for semantic field learning encounter difficulties due to noisy and view-inconsistent semantics provided by CLIP. To tackle these limitations, we propose OV-NeRF, which exploits the potential of pre-trained vision and language foundation models to enhance semantic field learning through proposed single-view and cross-view strategies. First, from the single-view perspective, we introduce Region Semantic Ranking (RSR) regularization by leveraging 2D mask proposals derived from SAM to rectify the noisy semantics of each training view, facilitating accurate semantic field learning. Second, from the cross-view perspective, we propose a Cross-view Self-enhancement (CSE) strategy to address the challenge raised by view-inconsistent semantics. Rather than invariably utilizing the 2D inconsistent semantics from CLIP, CSE leverages the 3D consistent semantics generated from the well-trained semantic field itself for semantic field training, aiming to reduce ambiguity and enhance overall semantic consistency across different views. Extensive experiments validate our OV-NeRF outperforms current state-of-the-art methods, achieving a significant improvement of 20.31% and 18.42% in mIoU metric on Replica and Scannet, respectively. Furthermore, our approach exhibits consistent superior results across various CLIP configurations, further verifying its robustness.


title: Some obstructions to contraction theorems on the half-sphere

abstract: Caffarelli's contraction theorem states that probability measures with uniformly logconcave densities on R d can be realized as the image of a standard Gaussian measure by a globally Lipschitz transport map. We discuss some counterexamples and obstructions that prevent a similar result from holding on the half-sphere endowed with a uniform measure, answering a question of Beck and Jerison.


title: An analysis of the noise schedule for score-based generative models

abstract: Score-based generative models (SGMs) aim at estimating a target data distribution by learning score functions using only noise-perturbed samples from the target.Recent literature has focused extensively on assessing the error between the target and estimated distributions, gauging the generative quality through the Kullback-Leibler (KL) divergence and Wasserstein distances. Under mild assumptions on the data distribution, we establish an upper bound for the KL divergence between the target and the estimated distributions, explicitly depending on any time-dependent noise schedule. Under additional regularity assumptions, taking advantage of favorable underlying contraction mechanisms, we provide a tighter error bound in Wasserstein distance compared to state-of-the-art results. In addition to being tractable, this upper bound jointly incorporates properties of the target distribution and SGM hyperparameters that need to be tuned during training.


title: Lipschitz stability of a nonlinear inverse conductivity problem with two Cauchy data pairs

abstract: In 1996 Seo proved that two appropriate pairs of current and voltage data measured on the surface of a planar homogeneous object are sufficient to determine a conductive polygonal inclusion with known deviating conductivity. Here we show that the corresponding linearized forward map is injective, and from this we deduce Lipschitz stability of the solution of the original nonlinear inverse problem. We also treat the case of an insulating polygonal inclusion, in which case a single pair of Cauchy data is already sufficient for the same purpose.


title: Quantum Correlation Sharing: A Review On Recent Progress From Nonlocality To Other Non-Classical Correlations

abstract: This review offers a comprehensive exploration and synthesis of recent advancements in the domain of quantum correlation sharing facilitated through sequential measurements. We initiate our inquiry by delving into the interpretation of the joint probability, laying the foundation for an examination of quantum correlations within the context of specific measurement methods. The subsequent section meticulously explores nonlocal sharing under diverse measurement strategies and scenarios, with a specific focus on investigating the impact of these strategies on the dissemination of quantum nonlocality. Key perspectives such as "asymmetry" and "weak value" are scrutinized through detailed analyses across various scenarios, allowing us to evaluate the potential of nonlocality sharing. We also provide a retrospective overview of experimental endeavors associated with this phenomenon. The third part of our exploration presents research findings on steering sharing, offering clarity on the feasibility of steering sharing and summarizing the distinctive properties of quantum steering sharing in different scenarios. Continuing our journey, the fourth section delves into discussions on the sharing of diverse quantum correlations, encompassing network nonlocality, quantum entanglement, and quantum contextuality. Moving forward, the fifth section conducts a comprehensive review of the progress in the application of quantum correlation sharing, specifically based on sequential measurement strategies. Applications such as quantum random access coding, random number generation, and self-testing tasks are highlighted. Finally, we discuss and list some of the key unresolved issues in this research field, and conclude the entire article.


title: An Over Complete Deep Learning Method for Inverse Problems

abstract: Obtaining meaningful solutions for inverse problems has been a major challenge with many applications in science and engineering. Recent machine learning techniques based on proximal and diffusion-based methods have shown promising results. However, as we show in this work, they can also face challenges when applied to some exemplary problems. We show that similar to previous works on over-complete dictionaries, it is possible to overcome these shortcomings by embedding the solution into higher dimensions. The novelty of the work proposed is that we jointly design and learn the embedding and the regularizer for the embedding vector. We demonstrate the merit of this approach on several exemplary and common inverse problems.


title: Willmore surfaces and Hopf tori in homogeneous 3-manifolds

abstract: Some classification results for closed surfaces in Berger spheres are presented. On the one hand, a Willmore functional for isometrically immersed surfaces into an homogeneous space $\mathbb{E}^{3}(\kappa,\tau)$ with isometry group of dimension $4$ is defined and its first variational formula is computed. Then, we characterize Clifford and Hopf tori as the only Willmore surfaces satifying a sharp Simons-type integral inequality. On the other hand, we also obtain some integral inequalities for closed surfaces with constant extrinsic curvature in $\mathbb{E}^3(\kappa,\tau)$, becoming equalities if and only if the surface is a Hopf torus in a Berger sphere.


title: Open-Vocabulary Calibration for Fine-tuned CLIP

abstract: Vision-language models (VLMs) have emerged as formidable tools, showing their strong capability in handling various open-vocabulary tasks in image recognition, text-driven visual content generation, and visual chatbots, to name a few. In recent years, considerable efforts and resources have been devoted to adaptation methods for improving downstream performance of VLMs, particularly on parameter-efficient fine-tuning methods like prompt learning. However, a crucial aspect that has been largely overlooked is the confidence calibration problem in fine-tuned VLMs, which could greatly reduce reliability when deploying such models in the real world. This paper bridges the gap by systematically investigating the confidence calibration problem in the context of prompt learning and reveals that existing calibration methods are insufficient to address the problem, especially in the open-vocabulary setting. To solve the problem, we present a simple and effective approach called Distance-Aware Calibration (DAC), which is based on scaling the temperature using as guidance the distance between predicted text labels and base classes. The experiments with 7 distinct prompt learning methods applied across 11 diverse downstream datasets demonstrate the effectiveness of DAC, which achieves high efficacy without sacrificing the inference speed. Our code is available at https://github.com/ml-stat-Sustech/CLIP_Calibration.


title: SPLEND1D, a reduced one-dimensional model to investigate the physics of plasma detachment

abstract: Studying the process of divertor detachment and the associated complex interplay of plasma dynamics and atomic physics processes is of utmost importance for future fusion reactors. Whilst simplified analytical models exist to interpret the general features of detachment, they are limited in their predictive power, and complex 2D or even 3D codes are generally required to provide a self-consistent picture of the divertor. As an intermediate step, 1D models of the Scrape-Off Layer (SOL) can be particularly insightful as the dynamics are greatly simplified, while still self-consistently including various source and sink terms at play, as well as additional important effects such as flows. These codes can be used to shed light on the physics at play, to perform fast parameter scans, or to interpret experiments. In this paper, we introduce the SPLEND1D (Simulator of PLasma ENabling Detachment in 1D) code: a fast and versatile 1D SOL model. We present in detail the model that is implemented in SPLEND1D. We then employ the code to explore various elements of detachment physics for parameters typical of the Tokamak \`a Configuration Variable (TCV), including the atomic physics and other processes behind power and momentum losses, and explore the various hypotheses and free parameters of the model.


title: A domain wall and chiral edge currents in holographic chiral phase transitions

abstract: We investigate spatially inhomogeneous solutions in a top-down holographic model: the D3/D7 model which provides a holographic description of the chiral phase transition for a finite external magnetic field, chemical potential, and temperature. We numerically find a domain wall (or kink) solution in the three dimensional space, which incorporates between the chiral symmetry broken phase at the spatial infinity, under the homogeneous sources. Along with the inhomogeneity of the chiral condensate, the charge density is also spatially modulated. The modulated charge density and finite magnetic field lead to the chiral edge current close to the domain wall. We explore the dependences of those profiles on the chemical potential and temperature near the first and second order phase transition points. Our results indicate that the inhomogeneous solutions we found are in good agreement with those obtained by the Ginzburg--Landau theory in the vicinity of the transition points.


title: On the Formation of Double Neutron Stars in the Milky Way: Influence of Key Parameters

abstract: The detection of gravitational wave events has stimulated theoretical modeling of the formation and evolution of double compact objects (DCOs). However, even for the most studied isolated binary evolution channel, there exist large uncertainties in the input parameters and treatments of the binary evolution process. So far, double neutron stars (DNSs) are the only DCOs for which direct observations are available through traditional electromagnetic astronomy. In this work, we adopt a population synthesis method to investigate the formation and evolution of Galactic DNSs. We construct 324 models for the formation of Galactic DNSs, taking into account various possible combinations of critical input parameters and processes such as mass transfer efficiency, supernova type, common envelope efficiency, neutron star kick velocity, and pulsar selection effect. We employ Bayesian analysis to evaluate the adopted models by comparing with observations. We also compare the expected DNS merger rate in the Galaxy with that inferred from the known Galactic population of Pulsar-NS systems. Based on these analyses we derive favorable range of the aforementioned key parameters.


title: Interpretation of AMS-02 beryllium isotope fluxes using data-driven production cross sections

abstract: The Be isotopic measurements preliminarily reported by the AMS-02 Collaboration have reached an unprecedented energy of 12 GeV/$n$. As secondary cosmic rays (CRs), the Be isotopes include both stable and unstable species, which are crucial for constraining the propagation parameters of Galactic CRs. However, uncertainties in their production cross sections can skew the interpretation of the CR data, especially when cross-section measurements are of significantly lower quality than CR measurements. In this work, we consider the uncertainties of the cross sections to interpret the Be isotopic data by adopting a cross-section parametrization that fully utilizes the available experimental data. Owing to the high-quality measurements of the $^7$Be production cross section, we innovatively employ $^7$Be instead of $^9$Be to constrain propagation parameters. Notably, the diffusion halo thickness is constrained to $5.67\pm0.76$~kpc, representing a moderate value compared to previous analogous works. Combining the well-constrained CR propagation model and the precise CR measurements of $^9$Be, we conversely constrain the major production cross section of $^9$Be and find that it ought to be remarkably lower than previously thought. Our analysis also questions the reliability of certain cross sections measured by some experiments, potentially marking the first time CR data has been used to identify dubious nucleon production cross sections. The method presented in this work holds promise for analyzing upcoming isotopic data from other nuclei.


title: Adversarial Robustness Through Artifact Design

abstract: Adversarial examples arose as a challenge for machine learning. To hinder them, most defenses alter how models are trained (e.g., adversarial training) or inference is made (e.g., randomized smoothing). Still, while these approaches markedly improve models' adversarial robustness, models remain highly susceptible to adversarial examples. Identifying that, in certain domains such as traffic-sign recognition, objects are implemented per standards specifying how artifacts (e.g., signs) should be designed, we propose a novel approach for improving adversarial robustness. Specifically, we offer a method to redefine standards, making minor changes to existing ones, to defend against adversarial examples. We formulate the problem of artifact design as a robust optimization problem, and propose gradient-based and greedy search methods to solve it. We evaluated our approach in the domain of traffic-sign recognition, allowing it to alter traffic-sign pictograms (i.e., symbols within the signs) and their colors. We found that, combined with adversarial training, our approach led to up to 25.18\% higher robust accuracy compared to state-of-the-art methods against two adversary types, while further increasing accuracy on benign inputs.


title: Compact omnidirectional multicore fiber-based vector bending sensor

abstract: We propose and demonstrate a compact and simple vector bending sensor capable of distinguishing any direction and amplitude with high accuracy. The sensor consists of a short segment of asymmetric multicore fiber (MCF) fusion spliced to a standard single mode fiber. The reflection spectrum of such a structure shifts and shrinks in specific manners depending on the direction in which the MCF is bent. By monitoring simultaneously wavelength shift and light power variations, the amplitude and bend direction of the MCF can be unmistakably measured in any orientation, from 0{\deg} to 360{\deg}. The bending sensor proposed here is highly sensitive even for small bending angles (below 1{\deg}).


title: Token vs Equity for Startup Financing

abstract: Why would a blockchain-based startup and its venture capital investors choose to finance by issuing tokens instead of equity? What would be their rates of return for each asset? This paper focuses on the liquidity difference between the two fundraising methods. I build a three-period model of an entrepreneur, two types of investors, and users. Some investors have unforeseen liquidity needs in the middle period that can only be met with tokens. The entrepreneur obtains higher payoff by issuing tokens instead of equity, and the payoff difference increases with investors risk-aversion and need for liquidity in the middle period, as well as the depth of the token market.


title: CLIF: Complementary Leaky Integrate-and-Fire Neuron for Spiking Neural Networks

abstract: Spiking neural networks (SNNs) are promising brain-inspired energy-efficient models. Compared to conventional deep Artificial Neural Networks (ANNs), SNNs exhibit superior efficiency and capability to process temporal information. However, it remains a challenge to train SNNs due to their undifferentiable spiking mechanism. The surrogate gradients method is commonly used to train SNNs, but often comes with an accuracy disadvantage over ANNs counterpart. We link the degraded accuracy to the vanishing of gradient on the temporal dimension through the analytical and experimental study of the training process of Leaky Integrate-and-Fire (LIF) Neuron-based SNNs. Moreover, we propose the Complementary Leaky Integrate-and-Fire (CLIF) Neuron. CLIF creates extra paths to facilitate the backpropagation in computing temporal gradient while keeping binary output. CLIF is hyperparameter-free and features broad applicability. Extensive experiments on a variety of datasets demonstrate CLIF's clear performance advantage over other neuron models. Furthermore, the CLIF's performance even slightly surpasses superior ANNs with identical network structure and training conditions. The code is available at https://github.com/HuuYuLong/Complementary-LIF.


title: Momentum-resolved resonant photoelectron spectroscopic study for 1T-TiSe$_2$: Observation of negative q in the Fano resonance due to inter-atomic interaction in the valence band

abstract: The remarkable properties of (1T-)TiSe$_2$ among the transition metal dichalcogenides have attracted the attention of many researchers due to its peculiar behavior during the charge density wave (CDW) transition. Therefore, it is highly desirable to study its electronic structure down to the atomic orbitals. In the present research, we applied momentum-resolved resonant photoelectron spectroscopy to study TiSe$_2$ at the Ti2p-Ti3d absorption edge by using a momentum microscope, which can simultaneously detect the electronic states in a wide $(k_x,k_y)$ range. We have also used constant initial state (CIS) spectroscopy and density functional theory (DFT) calculations to reveal the hybridization between the Ti3d and Se4p orbitals within the valence band at the Gamma point at room temperature. In addition, an interesting result comes from our analysis of the CIS spectrum for the energy band located at a binding energy of 2 eV at the M-point. This band, mainly composed of the Se4p orbital, exhibited a Fano line profile at the Ti2p edge, with a negative value of the parameter "$q$". This is the first clear evidence of the inter-atomic interaction during the valence band photoelectron emission process. This behavior differs significantly from the standard resonant photoelectron emission, which usually involves intra-atomic interactions. It also differs from the multi-atom resonant photoelectron emission (MARPE) observed in the core-level photoelectron emission, as we focus on the photoelectron emission from the valence band in this research.


title: Gaussian Process-Based Nonlinear Moving Horizon Estimation

abstract: In this paper, we propose a novel Gaussian process-based moving horizon estimation (MHE) framework for unknown nonlinear systems. In the proposed scheme, we take advantage of the properties of Gaussian processes. On the one hand, we approximate the system dynamics by the posterior means of the learned Gaussian processes (GPs). On the other hand, we exploit the posterior variances of the Gaussian processes to design the weighting matrices in the MHE cost function and account for the uncertainty in the learned system dynamics. The data collection and the tuning of the hyperparameters are done offline. We prove robust stability of the GP-based MHE scheme using a Lyapunov-based proof technique. Furthermore, as additional contribution, we analyze under which conditions incremental input/output-to-state stability (a nonlinear detectability notion) is preserved when approximating the system dynamics using, e.g., machine learning techniques. Finally, we illustrate the performance of the GP-based MHE scheme in a simulation case study and show how the chosen weighting matrices can lead to an improved performance compared to standard cost functions.


title: Obituary for Stefan U. Egelhaaf

abstract: This is a tribute to honor Stefan U. Egelhaaf (1963-2023), a pioneer in experimental soft condensed matter physics.


title: A Comparative Study of Sensitivity Computations in ESDIRK-Based Optimal Control Problems

abstract: In this paper, we compare the impact of iterated and direct approaches to sensitivity computation in fixed-step explicit singly diagonally-implicit Runge-Kutta (ESDIRK) methods when applied to optimal control problems (OCPs). We use the principle of internal numerical differentiation (IND) strictly for the iterated approach, i.e., reusing the iteration matrix factorizations, the number of Newton-type iterations, and Newton iterates, to compute the sensitivities. The direct method computes the sensitivities without using the Newton schemes. We compare the impact of the iterated and direct sensitivity computations in OCPs for the quadruple tank system. We benchmark the iterated and direct approaches with a base case. This base case is an OCP that applies an ESDIRK method that refactorizes the iteration matrix in every Newton iteration and uses a direct approach for sensitivity computations. In these OCPs, we vary the number of integration steps between control intervals and we evaluate the performance based on the number of SQP and QPs iterations, KKT violations, and the total number of function evaluations, Jacobian updates, and iteration matrix factorizations. The results indicate that the iterated approach outperforms the direct approach but yields similar performance to the base case.


title: A Perspective on Individualized Treatment Effects Estimation from Time-series Health Data

abstract: The burden of diseases is rising worldwide, with unequal treatment efficacy for patient populations that are underrepresented in clinical trials. Healthcare, however, is driven by the average population effect of medical treatments and, therefore, operates in a "one-size-fits-all" approach, not necessarily what best fits each patient. These facts suggest a pressing need for methodologies to study individualized treatment effects (ITE) to drive personalized treatment. Despite the increased interest in machine-learning-driven ITE estimation models, the vast majority focus on tabular data with limited review and understanding of methodologies proposed for time-series electronic health records (EHRs). To this end, this work provides an overview of ITE works for time-series data and insights into future research. The work summarizes the latest work in the literature and reviews it in light of theoretical assumptions, types of treatment settings, and computational frameworks. Furthermore, this work discusses challenges and future research directions for ITEs in a time-series setting. We hope this work opens new directions and serves as a resource for understanding one of the exciting yet under-studied research areas.


title: Stochastic Schr\"{o}dinger-Korteweg de Vries systems driven by multiplicative noises

abstract: In this paper, we consider the well-posedness of stochastic S-KdV driven by multiplicative noises in $H_x^1\times H_x^1$. To get the local well-posedness, we first develop the bilinear and trilinear Bourgain norm estimates of the nonlinear terms with $b\in\left(0,1/2\right)$. Then, to overcome the lack of the maximum functional estimate, we introduce a series of approximation equations with localized nonlinear terms, which are also cutted-off in both the physical and the Fourier space. By limitations, these approximation equations will help us get a priori estimate in the Bourgain space and finish the proof of the global well-posedness of the initial system.


title: A comparison of different approaches to compute surface tension contribution in incompressible two-phase flows

abstract: We perform a quantitative assessment of different strategies to compute the contribution due to surface tension in incompressible two-phase flows using a conservative level set (CLS) method. More specifically, we compare classical approaches, such as the direct computation of the curvature from the level set or the Laplace-Beltrami operator, with an evolution equation for the mean curvature recently proposed in literature. We consider the test case of a static bubble, for which an exact solution for the pressure jump across the interface is available, and the test case of an oscillating bubble, showing pros and cons of the different approaches.

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


title: V2VSSC: A 3D Semantic Scene Completion Benchmark for Perception with Vehicle to Vehicle Communication

abstract: Semantic scene completion (SSC) has recently gained popularity because it can provide both semantic and geometric information that can be used directly for autonomous vehicle navigation. However, there are still challenges to overcome. SSC is often hampered by occlusion and short-range perception due to sensor limitations, which can pose safety risks. This paper proposes a fundamental solution to this problem by leveraging vehicle-to-vehicle (V2V) communication. We propose the first generalized collaborative SSC framework that allows autonomous vehicles to share sensing information from different sensor views to jointly perform SSC tasks. To validate the proposed framework, we further build V2VSSC, the first V2V SSC benchmark, on top of the large-scale V2V perception dataset OPV2V. Extensive experiments demonstrate that by leveraging V2V communication, the SSC performance can be increased by 8.3% on geometric metric IoU and 6.0% mIOU.


title: G-NAS: Generalizable Neural Architecture Search for Single Domain Generalization Object Detection

abstract: In this paper, we focus on a realistic yet challenging task, Single Domain Generalization Object Detection (S-DGOD), where only one source domain's data can be used for training object detectors, but have to generalize multiple distinct target domains. In S-DGOD, both high-capacity fitting and generalization abilities are needed due to the task's complexity. Differentiable Neural Architecture Search (NAS) is known for its high capacity for complex data fitting and we propose to leverage Differentiable NAS to solve S-DGOD. However, it may confront severe over-fitting issues due to the feature imbalance phenomenon, where parameters optimized by gradient descent are biased to learn from the easy-to-learn features, which are usually non-causal and spuriously correlated to ground truth labels, such as the features of background in object detection data. Consequently, this leads to serious performance degradation, especially in generalizing to unseen target domains with huge domain gaps between the source domain and target domains. To address this issue, we propose the Generalizable loss (G-loss), which is an OoD-aware objective, preventing NAS from over-fitting by using gradient descent to optimize parameters not only on a subset of easy-to-learn features but also the remaining predictive features for generalization, and the overall framework is named G-NAS. Experimental results on the S-DGOD urban-scene datasets demonstrate that the proposed G-NAS achieves SOTA performance compared to baseline methods. Codes are available at https://github.com/wufan-cse/G-NAS.


title: Streamlined Hybrid Annotation Framework using Scalable Codestream for Bandwidth-Restricted UAV Object Detection

abstract: Emergency response missions depend on the fast relay of visual information, a task to which unmanned aerial vehicles are well adapted. However, the effective use of unmanned aerial vehicles is often compromised by bandwidth limitations that impede fast data transmission, thereby delaying the quick decision-making necessary in emergency situations. To address these challenges, this paper presents a streamlined hybrid annotation framework that utilizes the JPEG 2000 compression algorithm to facilitate object detection under limited bandwidth. The proposed framework employs a fine-tuned deep learning network for initial image annotation at lower resolutions and uses JPEG 2000's scalable codestream to selectively enhance the image resolution in critical areas that require human expert annotation. We show that our proposed hybrid framework reduces the response time by a factor of 34 in emergency situations compared to a baseline approach.


title: Hyperparameter Tuning for Causal Inference with Double Machine Learning: A Simulation Study

abstract: Proper hyperparameter tuning is essential for achieving optimal performance of modern machine learning (ML) methods in predictive tasks. While there is an extensive literature on tuning ML learners for prediction, there is only little guidance available on tuning ML learners for causal machine learning and how to select among different ML learners. In this paper, we empirically assess the relationship between the predictive performance of ML methods and the resulting causal estimation based on the Double Machine Learning (DML) approach by Chernozhukov et al. (2018). DML relies on estimating so-called nuisance parameters by treating them as supervised learning problems and using them as plug-in estimates to solve for the (causal) parameter. We conduct an extensive simulation study using data from the 2019 Atlantic Causal Inference Conference Data Challenge. We provide empirical insights on the role of hyperparameter tuning and other practical decisions for causal estimation with DML. First, we assess the importance of data splitting schemes for tuning ML learners within Double Machine Learning. Second, we investigate how the choice of ML methods and hyperparameters, including recent AutoML frameworks, impacts the estimation performance for a causal parameter of interest. Third, we assess to what extent the choice of a particular causal model, as characterized by incorporated parametric assumptions, can be based on predictive performance metrics.


title: Quantitative isoperimetric inequalities for classical capillarity problems

abstract: We consider capillarity functionals which measure the perimeter of sets contained in a Euclidean half-space assigning a constant weight $\lambda \in (-1,1)$ to the portion of the boundary that touches the boundary of the half-space. Depending on $\lambda$, sets that minimize this capillarity perimeter among those with fixed volume are known to be suitable truncated balls lying on the boundary of the half-space. We prove two quantitative isoperimetric inequalities for this class of capillarity problems: a first sharp inequality estimates the Fraenkel asymmetry of a competitor with respect to the optimal bubbles in terms of the energy deficit; a second inequality estimates a notion of asymmetry for the part of the boundary of a competitor that touches the boundary of the half-space in terms of the energy deficit. After a symmetrization procedure, the inequalities follow from a novel combination of a quantitative ABP method with a selection-type argument.


title: Group Distributionally Robust Dataset Distillation with Risk Minimization

abstract: Dataset distillation (DD) has emerged as a widely adopted technique for crafting a synthetic dataset that captures the essential information of a training dataset, facilitating the training of accurate neural models. Its applications span various domains, including transfer learning, federated learning, and neural architecture search. The most popular methods for constructing the synthetic data rely on matching the convergence properties of training the model with the synthetic dataset and the training dataset. However, targeting the training dataset must be thought of as auxiliary in the same sense that the training set is an approximate substitute for the population distribution, and the latter is the data of interest. Yet despite its popularity, an aspect that remains unexplored is the relationship of DD to its generalization, particularly across uncommon subgroups. That is, how can we ensure that a model trained on the synthetic dataset performs well when faced with samples from regions with low population density? Here, the representativeness and coverage of the dataset become salient over the guaranteed training error at inference. Drawing inspiration from distributionally robust optimization, we introduce an algorithm that combines clustering with the minimization of a risk measure on the loss to conduct DD. We provide a theoretical rationale for our approach and demonstrate its effective generalization and robustness across subgroups through numerical experiments. The source code is available in https://github.com/Mming11/RobustDatasetDistillation.


title: Source Identification in Abstractive Summarization

abstract: Neural abstractive summarization models make summaries in an end-to-end manner, and little is known about how the source information is actually converted into summaries. In this paper, we define input sentences that contain essential information in the generated summary as $\textit{source sentences}$ and study how abstractive summaries are made by analyzing the source sentences. To this end, we annotate source sentences for reference summaries and system summaries generated by PEGASUS on document-summary pairs sampled from the CNN/DailyMail and XSum datasets. We also formulate automatic source sentence detection and compare multiple methods to establish a strong baseline for the task. Experimental results show that the perplexity-based method performs well in highly abstractive settings, while similarity-based methods perform robustly in relatively extractive settings. Our code and data are available at https://github.com/suhara/sourcesum.


title: FaithLM: Towards Faithful Explanations for Large Language Models

abstract: Large Language Models (LLMs) have become proficient in addressing complex tasks by leveraging their extensive internal knowledge and reasoning capabilities. However, the black-box nature of these models complicates the task of explaining their decision-making processes. While recent advancements demonstrate the potential of leveraging LLMs to self-explain their predictions through natural language (NL) explanations, their explanations may not accurately reflect the LLMs' decision-making process due to a lack of fidelity optimization on the derived explanations. Measuring the fidelity of NL explanations is a challenging issue, as it is difficult to manipulate the input context to mask the semantics of these explanations. To this end, we introduce FaithLM to explain the decision of LLMs with NL explanations. Specifically, FaithLM designs a method for evaluating the fidelity of NL explanations by incorporating the contrary explanations to the query process. Moreover, FaithLM conducts an iterative process to improve the fidelity of derived explanations. Experiment results on three datasets from multiple domains demonstrate that FaithLM can significantly improve the fidelity of derived explanations, which also provides a better alignment with the ground-truth explanations.


title: Field transformations in functional integral, effective action and functional flow equations

abstract: Field transformations for the quantum effective action lead to different pictures of a given physical situation, as describing a given evolution of the universe by different geometries. Field transformations for functional flow equations can reveal important physical features, as the appearance of bound states. They also allow for technical simplifications. We make a critical assessment of the virtues and shortcomings of different versions of field transformations. Key issues are demonstrated by the quantum field theory for scalars with a field-dependent coefficient of the kinetic term. Our findings confirm the principle of field relativity for gravity and cosmology based on the quantum effective action.


title: 2-categorical approach to unifying constructions of precoverings and its applications

abstract: Throughout this paper $G$ is a fixed group, and $k$ is a fixed field. All categories are assumed to be $k$-linear. First we give a systematic way to induce $G$-precoverings by adjoint functors using a 2-categorical machinery, which unifies many similar constructions of $G$-precoverings. Now let $\mathcal{C}$ be a skeletally small category with a $G$-action, $\mathcal{C}/G$ the orbit category of $\mathcal{C}$, $(P, \phi) : \mathcal{C} \rightarrow \mathcal{C}/G$ the canonical $G$-covering, and $\mathrm{mod}\mbox{-} \mathcal{C}$, $\mathrm{mod}\mbox{-} (\mathcal{C}/G)$ the categories of finitely generated modules over $\mathcal{C}, \mathcal{C}/G$, respectively. Then it is well known that there exists a canonical G-precovering $(P., \phi.) : \mathrm{mod}\mbox{-} \mathcal{C} \rightarrow \mathrm{mod}\mbox{-} (\mathcal{C}/G)$. By applying the machinery above to this $(P., \phi.)$, new $G$-precoverings $(\mathrm{mod}\mbox{-} \mathcal{C}) / S \rightarrow (\mathrm{mod}\mbox{-} \mathcal{C}/G)/S'$ are induced between the factor categories or localizations of $\mathrm{mod}\mbox{-} \mathcal{C}$ and $\mathrm{mod}\mbox{-} \mathcal{C}/G$, respectively. This is further applied to the morphism category $\mathrm{H}(\mathrm{mod}\mbox{-} \mathcal{C})$ of $\mathrm{mod}\mbox{-} \mathcal{C}$ to have a $G$-precovering $\mathrm{fp}(\mathcal{K}) \rightarrow \mathrm{fp}(\mathcal{K}')$ between the categories of finitely presented modules over suitable subcategories $\mathcal{K}$ and $\mathcal{K}'$ of $\mathrm{mod}\mbox{-}\mathcal{C}$ and $ \mathrm{mod}\mbox{-} \mathcal{C}/G$, respectively.


title: Architectural Design Decisions for Self-Serve Data Platforms in Data Meshes

abstract: Data mesh is an emerging decentralized approach to managing and generating value from analytical enterprise data at scale. It shifts the ownership of the data to the business domains closest to the data, promotes sharing and managing data as autonomous products, and uses a federated and automated data governance model. The data mesh relies on a managed data platform that offers services to domain and governance teams to build, share, and manage data products efficiently. However, designing and implementing a self-serve data platform is challenging, and the platform engineers and architects must understand and choose the appropriate design options to ensure the platform will enhance the experience of domain and governance teams. For these reasons, this paper proposes a catalog of architectural design decisions and their corresponding decision options by systematically reviewing 43 industrial gray literature articles on self-serve data platforms in data mesh. Moreover, we used semi-structured interviews with six data engineering experts with data mesh experience to validate, refine, and extend the findings from the literature. Such a catalog of design decisions and options drawn from the state of practice shall aid practitioners in building data meshes while providing a baseline for further research on data mesh architectures.


title: Gravitational decoupling and aerodynamics: black holes and analog gravity in a jet propulsion lab

abstract: A connection is established between transonic sound waves propagating along a de Laval nozzle and quasinormal modes emitted from hairy black holes obtained with the gravitational decoupling method applied to the Reissner-Nordstr\"om geometry. Aerodynamical features provide an analogue setup to experimentally test fluid flow perturbations in a de Laval nozzle producing quasinormal modes. In particular, nozzle shape, pressure, Mach number, temperature, density, and thrust coefficient profiles are determined as functions of the black hole parameters for several multipole numbers. The black hole quasinormal mode frequencies are also investigated for different overtones, evaluating the quality factor of the nozzle.


title: Modules of minimal dimension over completed Weyl algebras

abstract: We study the category of modules of minimal dimension over completed Weyl algebras in equal characteristic zero. In particular we prove finiteness of de Rham cohomology of such modules.


title: Parallel Summation in P-Recursive Extensions

abstract: We propose investigating a summation analog of the paradigm for parallel integration. We make some first steps towards an indefinite summation method applicable to summands that rationally depend on the summation index and a P-recursive sequence and its shifts. There is a distinction between so-called normal and so-called special polynomials. Under the assumption that the corresponding difference field has no unnatural constants, we are able to predict the normal polynomials appearing in the denominator of a potential closed form. We can also handle the numerator. Our method is incomplete so far as we cannot predict the special polynomials appearing in the denominator. However, we do have some structural results about special polynomials for the setting under consideration.