title: Stabilization of optical bubbles near the axis of a helical lightguide

abstract: It is shown numerically that in a lightguide possessing a helical symmetry, stable solutions exist for the coupled nonlinear Schrodinger equations describing interaction between the left and the right circular polarizations of an optical wave in a defocusing Kerr medium with anomalous dispersion, in the form of stationary rotating oblong bubbles with attached several optical vortices. A bubble is an arbitrary long quasi-cylindrical three-dimensional cavity inside the first component, filled with the second component. At each of the two ends of the bubble, two stationary two-dimensional configurations are connected, in one of them only the first component with separated vortices is present while in the other one there is a single multiple vortex with a filled core. The cross-section of the lightguide, the screw pitch, the number of vortices, and the background intensity of the first component influence upon the profile of the bubble, but the total amount of the trapped second component does not.


title: Tumbling Downhill along a Given Curve

abstract: A cylinder will roll down an inclined plane in a straight line. A cone will roll around a circle on that plane and then will stop rolling. We ask the inverse question: For which curves drawn on the inclined plane $\mathbb{R}^2$ can one carve a shape that will roll downhill following precisely this prescribed curve and its translationally repeated copies? This simple question has a solution essentially always, but it turns out that for most curves, the shape will return to its initial orientation only after crossing a few copies of the curve - most often two copies will suffice, but some curves require an arbitrarily large number of copies.

categories: math-ph math.DG math.MP physics.class-ph


title: Construction of the Moduli Space of Vector Bundles on an Orbifold Curve

abstract: Let $k$ be an algebraically closed field of any characteristic, and let $(X,P)$ be an orbifold curve over $k$. We construct the moduli space $\mathrm{M}_{(X,P)}^{\mathrm{ss}}(n, \Delta)$ of $P$-semistable bundles on $(X,P)$ of rank $n$ and determinant $\Delta$. In the characteristic zero case, this result is well known and follows from GIT techniques. Our construction follows a different approach inspired by a GIT-free construction of Faltings. We show that when the moduli space is non-empty, it is a finite disjoint union of irreducible projective varieties.


title: VideoHallucer: Evaluating Intrinsic and Extrinsic Hallucinations in Large Video-Language Models

abstract: Recent advancements in Multimodal Large Language Models (MLLMs) have extended their capabilities to video understanding. Yet, these models are often plagued by "hallucinations", where irrelevant or nonsensical content is generated, deviating from the actual video context. This work introduces VideoHallucer, the first comprehensive benchmark for hallucination detection in large video-language models (LVLMs). VideoHallucer categorizes hallucinations into two main types: intrinsic and extrinsic, offering further subcategories for detailed analysis, including object-relation, temporal, semantic detail, extrinsic factual, and extrinsic non-factual hallucinations. We adopt an adversarial binary VideoQA method for comprehensive evaluation, where pairs of basic and hallucinated questions are crafted strategically. By evaluating eleven LVLMs on VideoHallucer, we reveal that i) the majority of current models exhibit significant issues with hallucinations; ii) while scaling datasets and parameters improves models' ability to detect basic visual cues and counterfactuals, it provides limited benefit for detecting extrinsic factual hallucinations; iii) existing models are more adept at detecting facts than identifying hallucinations. As a byproduct, these analyses further instruct the development of our self-PEP framework, achieving an average of 5.38% improvement in hallucination resistance across all model architectures.


title: Replica R\'enyi Wormholes and Generalised Modular Entropy in JT Gravity

abstract: We consider the problem of computing semi-classical R\'enyi entropies of CFT on AdS$_2$ backgrounds in JT gravity with nongravitating baths, for general replica number $n$. Away from the $n\to 1$ limit, the backreaction of the CFT twist fields on the geometry is nontrivial. For one twist field insertion and general $n$, we show that the quantum extremal surface (QES) condition involves extremisation of the generalised modular entropy, consistent with Dong's generalisation of the Ryu-Takayanagi formula for general $n$. For multiple QES we describe replica wormhole geometries using the theory of Fuchsian uniformisation, explicitly working out the analytically tractable case of the $n=2$ double trumpet wormhole geometry. We determine the off-shell dependence of the gravitational action on the QES locations and boundary map. In a factorisation limit, corresponding to late times, we are able to relate this action functional to area terms given by the value of the JT dilaton at the (off-shell) QES locations, with computable corrections. Applied to the two-sided eternal black hole, we find the $n$-dependent Page times for R\'enyi enropies in the high temperature limit.


title: Eigenvectors in terms of reduced complements of minor determinants

abstract: Eigenvectors associated with non-degenerate eigenvalues are shown to correspond to columns of the adjugate of the characteristic matrix. Degenerate eigenvalues are associated with eigenvectors that correspond to reduced complement tensors of minor determinants of the characteristic matrix. These observations are corroborated by a description of the non-degenerate two-level system and the Dirac equation, which exhibits twofold spin degeneracy of energy eigenvalues. Trace identities for the reduced order-one complement tensor and the diagonal sum of minor determinants are also presented.


title: EHRCon: Dataset for Checking Consistency between Unstructured Notes and Structured Tables in Electronic Health Records

abstract: Electronic Health Records (EHRs) are integral for storing comprehensive patient medical records, combining structured data (e.g., medications) with detailed clinical notes (e.g., physician notes). These elements are essential for straightforward data retrieval and provide deep, contextual insights into patient care. However, they often suffer from discrepancies due to unintuitive EHR system designs and human errors, posing serious risks to patient safety. To address this, we developed EHRCon, a new dataset and task specifically designed to ensure data consistency between structured tables and unstructured notes in EHRs. EHRCon was crafted in collaboration with healthcare professionals using the MIMIC-III EHR dataset, and includes manual annotations of 3,943 entities across 105 clinical notes checked against database entries for consistency. EHRCon has two versions, one using the original MIMIC-III schema, and another using the OMOP CDM schema, in order to increase its applicability and generalizability. Furthermore, leveraging the capabilities of large language models, we introduce CheckEHR, a novel framework for verifying the consistency between clinical notes and database tables. CheckEHR utilizes an eight-stage process and shows promising results in both few-shot and zero-shot settings. The code is available at https://github.com/dustn1259/EHRCon.


title: ADVSCORE: A Metric for the Evaluation and Creation of Adversarial Benchmarks

abstract: Adversarial benchmarks validate model abilities by providing samples that fool models but not humans. However, despite the proliferation of datasets that claim to be adversarial, there does not exist an established metric to evaluate how adversarial these datasets are. To address this lacuna, we introduce ADVSCORE, a metric which quantifies how adversarial and discriminative an adversarial dataset is and exposes the features that make data adversarial. We then use ADVSCORE to underpin a dataset creation pipeline that incentivizes writing a high-quality adversarial dataset. As a proof of concept, we use ADVSCORE to collect an adversarial question answering (QA) dataset, ADVQA, from our pipeline. The high-quality questions in ADVQA surpasses three adversarial benchmarks across domains at fooling several models but not humans. We validate our result based on difficulty estimates from 9,347 human responses on four datasets and predictions from three models. Moreover, ADVSCORE uncovers which adversarial tactics used by human writers fool models (e.g., GPT-4) but not humans. Through ADVSCORE and its analyses, we offer guidance on revealing language model vulnerabilities and producing reliable adversarial examples.


title: Simple Delegated Choice

abstract: This paper studies delegation in a model of discrete choice. In the delegation problem, an uninformed principal must consult an informed agent to make a decision. Both the agent and principal have preferences over the decided-upon action which vary based on the state of the world, and which may not be aligned. The principal may commit to a mechanism, which maps reports of the agent to actions. When this mechanism is deterministic, it can take the form of a menu of actions, from which the agent simply chooses upon observing the state. In this case, the principal is said to have delegated the choice of action to the agent. We consider a setting where the decision being delegated is a choice of a utility-maximizing action from a set of several options. We assume the shared portion of the agent's and principal's utilities is drawn from a distribution known to the principal, and that utility misalignment takes the form of a known bias for or against each action. We provide tight approximation analyses for simple threshold policies under three increasingly general sets of assumptions. With independently-distributed utilities, we prove a $3$-approximation. When the agent has an outside option the principal cannot rule out, the constant approximation fails, but we prove a $\log \rho/\log\log \rho$-approximation, where $\rho$ is the ratio of the maximum value to the optimal utility. We also give a weaker but tight bound that holds for correlated values, and complement our upper bounds with hardness results. One special case of our model is utility-based assortment optimization, for which our results are new.


title: Effective Elastic Properties of Multilayer Graphene

abstract: We present experimental measurements on Young's modulus and Gr\"{u}neisen parameter of multilayer graphene with varying number of layers using in situ bulge tests corroborated by atomic force microscopy and Raman spectroscopy. Due to the experimental challenges posed by the significant disparity between intra and interlayer mechanical strengths, measuring conclusive elastic parameters are proven difficult. We analyze the results based on a new theoretical model together with first-principles calculations to elucidate the mechanism of thickness dependent incomplete strain transfer across the layers. Our findings indicate that the experimental elastic constants, which differ from intrinsic computed ones, have unavoidable limitations in reflecting ideal mechanical couplings between layers. Consequently, we propose a new mechanical modulus, free from effects of uncontrollable delamination of layers, derived by combining Gr\"{u}neisen parameter with Young's modulus.


title: Highly localized kernels on space of homogeneous type

abstract: Highly localized kernels based on orthogonal polynomials have been studied and utilized over several regular domains. Much of the results deduced via these kernels can be treated uniformly in the framework of localizable spaces of homogeneous type. We clarify the concept of localness and provide a list of such localizable spaces.


title: Directed Domain Fine-Tuning: Tailoring Separate Modalities for Specific Training Tasks

abstract: Large language models (LLMs) and large visual language models (LVLMs) have been at the forefront of the artificial intelligence field, particularly for tasks like text generation, video captioning, and question-answering. Typically, it is more applicable to train these models on broader knowledge bases or datasets to increase generalizability, learn relationships between topics, and recognize patterns. Instead, we propose to provide instructional datasets specific to the task of each modality within a distinct domain and then fine-tune the parameters of the model using LORA. With our approach, we can eliminate all noise irrelevant to the given task while also ensuring that the model generates with enhanced precision. For this work, we use Video-LLaVA to generate recipes given cooking videos without transcripts. Video-LLaVA's multimodal architecture allows us to provide cooking images to its image encoder, cooking videos to its video encoder, and general cooking questions to its text encoder. Thus, we aim to remove all noise unrelated to cooking while improving our model's capabilities to generate specific ingredient lists and detailed instructions. As a result, our approach to fine-tuning Video-LLaVA leads to gains over the baseline Video-LLaVA by 2% on the YouCook2 dataset. While this may seem like a marginal increase, our model trains on an image instruction dataset 2.5% the size of Video-LLaVA's and a video instruction dataset 23.76% of Video-LLaVA's.


title: VulZoo: A Comprehensive Vulnerability Intelligence Dataset

abstract: Software vulnerabilities pose critical security and risk concerns for many software systems. Many techniques have been proposed to effectively assess and prioritize these vulnerabilities before they cause serious consequences. To evaluate their performance, these solutions often craft their own experimental datasets from limited information sources, such as MITRE CVE and NVD, lacking a global overview of broad vulnerability intelligence. The repetitive data preparation process further complicates the verification and comparison of new solutions. To resolve this issue, in this paper, we propose VulZoo, a comprehensive vulnerability intelligence dataset that covers 17 popular vulnerability information sources. We also construct connections among these sources, enabling more straightforward configuration and adaptation for different vulnerability assessment tasks (e.g., vulnerability type prediction). Additionally, VulZoo provides utility scripts for automatic data synchronization and cleaning, relationship mining, and statistics generation. We make VulZoo publicly available and maintain it with incremental updates to facilitate future research. We believe that VulZoo serves as a valuable input to vulnerability assessment and prioritization studies. The dataset with utility scripts is available at https://github.com/NUS-Curiosity/VulZoo.


title: Acknowledging Good Java Code with Code Perfumes

abstract: Java remains one of the most popular programming languages in education. Although Java programming education is well supported by study materials, learners also need more immediate support on the problems they face in their own code. When this support cannot be offered by educators personally, learners can resort to automated program analysis tools such as linters, which provide feedback on potential bugs or code issues. This is constructive feedback, but it may nevertheless feel like criticism. This paper introduces code perfumes for Java, a simple program analysis technique similar to linting, but commending the correct application of good programming practices. We present a catalogue of 20 Java code perfumes related to common Java language constructs for beginner to immediate learners. Our evaluation shows that these code perfumes occur frequently in learners' code, and programs with more code perfume instances tend to have better functionality and readability. Moreover, students who incorporate more code perfumes tend to achieve higher grades. Thus, code perfumes serve as a valuable tool to acknowledge learners' successes, and as a means to inform instructors about their learners' progress.


title: AnnotatedTables: A Large Tabular Dataset with Language Model Annotations

abstract: Tabular data is ubiquitous in real-world applications and abundant on the web, yet its annotation has traditionally required human labor, posing a significant scalability bottleneck for tabular machine learning. Our methodology can successfully annotate a large amount of tabular data and can be flexibly steered to generate various types of annotations based on specific research objectives, as we demonstrate with SQL annotation and input-target column annotation as examples. As a result, we release AnnotatedTables, a collection of 32,119 databases with LLM-generated annotations. The dataset includes 405,616 valid SQL programs, making it the largest SQL dataset with associated tabular data that supports query execution. To further demonstrate the value of our methodology and dataset, we perform two follow-up research studies. 1) We investigate whether LLMs can translate SQL programs to Rel programs, a database language previously unknown to LLMs, while obtaining the same execution results. Using our Incremental Prompt Engineering methods based on execution feedback, we show that LLMs can produce adequate translations with few-shot learning. 2) We evaluate the performance of TabPFN, a recent neural tabular classifier trained on Bayesian priors, on 2,720 tables with input-target columns identified and annotated by LLMs. On average, TabPFN performs on par with the baseline AutoML method, though the relative performance can vary significantly from one data table to another, making both models viable for practical applications depending on the situation. Our findings underscore the potential of LLMs in automating the annotation of large volumes of diverse tabular data.


title: A Survey on Intent-aware Recommender Systems

abstract: Many modern online services feature personalized recommendations. A central challenge when providing such recommendations is that the reason why an individual user accesses the service may change from visit to visit or even during an ongoing usage session. To be effective, a recommender system should therefore aim to take the users' probable intent of using the service at a certain point in time into account. In recent years, researchers have thus started to address this challenge by incorporating intent-awareness into recommender systems. Correspondingly, a number of technical approaches were put forward, including diversification techniques, intent prediction models or latent intent modeling approaches. In this paper, we survey and categorize existing approaches to building the next generation of Intent-Aware Recommender Systems (IARS). Based on an analysis of current evaluation practices, we outline open gaps and possible future directions in this area, which in particular include the consideration of additional interaction signals and contextual information to further improve the effectiveness of such systems.


title: METRIK: Measurement-Efficient Randomized Controlled Trials using Transformers with Input Masking

abstract: Clinical randomized controlled trials (RCTs) collect hundreds of measurements spanning various metric types (e.g., laboratory tests, cognitive/motor assessments, etc.) across 100s-1000s of subjects to evaluate the effect of a treatment, but do so at the cost of significant trial expense. To reduce the number of measurements, trial protocols can be revised to remove metrics extraneous to the study's objective, but doing so requires additional human labor and limits the set of hypotheses that can be studied with the collected data. In contrast, a planned missing design (PMD) can reduce the amount of data collected without removing any metric by imputing the unsampled data. Standard PMDs randomly sample data to leverage statistical properties of imputation algorithms, but are ad hoc, hence suboptimal. Methods that learn PMDs produce more sample-efficient PMDs, but are not suitable for RCTs because they require ample prior data (150+ subjects) to model the data distribution. Therefore, we introduce a framework called Measurement EfficienT Randomized Controlled Trials using Transformers with Input MasKing (METRIK), which, for the first time, calculates a PMD specific to the RCT from a modest amount of prior data (e.g., 60 subjects). Specifically, METRIK models the PMD as a learnable input masking layer that is optimized with a state-of-the-art imputer based on the Transformer architecture. METRIK implements a novel sampling and selection algorithm to generate a PMD that satisfies the trial designer's objective, i.e., whether to maximize sampling efficiency or imputation performance for a given sampling budget. Evaluated across five real-world clinical RCT datasets, METRIK increases the sampling efficiency of and imputation performance under the generated PMD by leveraging correlations over time and across metrics, thereby removing the need to manually remove metrics from the RCT.


title: Large CP Violation from the Minimum Seesaw Model

abstract: The minimum seesaw model with two right-handed neutrinos is considered, where the lightest neutrino is naturally massless. Instead of adopting texture zeros in the lepton Yukawa matrices, which cause both theoretical and experimental troubles, here we propose two-$\boldsymbol\epsilon$ textures, where $\boldsymbol\epsilon$ is a small number. Combined with neutrino oscillation experimental data, we find that a large CP angle is preferred for the normal neutrino mass order. In contrast, the CP angle almost vanishes for the inverted order. This can be well-tested in near-future experiments, such as Hyper-Kamiokande. Besides, the predicted effective Majorana neutrino mass $m_{ee}$ and the total neutrino mass $\sum m^\nu_i$ are also within reach of ongoing or future experiments.


title: Micropores can enhance intrinsic fracture energy of hydrogels

abstract: It is widely known that hydrogels, a class of soft materials made of a polymer chain network, are prone to fatigue failure. To understand the underlying mechanism, here we simulate polymer scission and fatigue initiation in the vicinity of a crack tip in a two-dimensional chain network. For a network without pores, our findings reveal that polymer scission can take place across multiple layers of chains, rather than just a single layer as assumed in the classical Lake-Thomas theory, in consistency with previus studies. For a network with a high density of micropores, our results demonstrate that the pores can substantially enhance the intrinsic fracture energy of the network in direct proportion to the pore size. The underlying mechanism is attributed to pore-pore interactions which lead to a relatively uniform distribution of cohesive energy ahead of the crack tip. Our model suggests that micropores could be a promising strategy for improving the intrinsic fracture energy of hydrogels and that natural porous tissues may have evolved for enhanced fatigue resistance.


title: Nanopatterning of multicomponent van der Waals heterostructures using atomic force microscopy

abstract: Multilayer van der Waals (vdW) heterostructures have become an important platform in which to study novel fundamental effects emerging at the nanoscale. Standard nanopatterning techniques relying on electron-beam lithography and reactive ion etching, widely applied to pattern such heterostructures, however, impose some limitations on the edge accuracy and resolution, as revealed through numerous experiments with vdW quantum dots and point contacts. Here we present an alternative approach for electrode-free nanopatterning of thick multilayer vdW heterostructures based on atomic force microscopy (AFM). By applying an AC voltage of a relatively small frequency (1-10 kHz) between the sharp platinum tip and the substrate, we realize high-resolution ($\lesssim 100$ nm) etching of thick multicomponent heterostructures if the latter are deposited onto graphite slabs. Importantly, unlike more conventional electrode-free local anodic oxidation, our method does not require a special environment with excess humidity, can be applied at ambient conditions, and enables the patterning of multilayer heterostructures composed of graphene, graphite, hexagonal boron nitride (hBN), NbSe$_{2}$, WSe$_{2}$, and more.


title: Compact Model Parameter Extraction via Derivative-Free Optimization

abstract: In this paper, we address the problem of compact model parameter extraction to simultaneously extract tens of parameters via derivative-free optimization. Traditionally, parameter extraction is performed manually by dividing the complete set of parameters into smaller subsets, each targeting different operational regions of the device, a process that can take several days or even weeks. Our approach streamlines this process by employing derivative-free optimization to identify a good parameter set that best fits the compact model without performing an exhaustive number of simulations. We further enhance the optimization process to address critical issues in device modeling by carefully choosing a loss function that evaluates model performance consistently across varying magnitudes by focusing on relative errors (as opposed to absolute errors), prioritizing accuracy in key operational regions of the device above a certain threshold, and reducing sensitivity to outliers. Furthermore, we utilize the concept of train-test split to assess the model fit and avoid overfitting. This is done by fitting 80% of the data and testing the model efficacy with the remaining 20%. We demonstrate the effectiveness of our methodology by successfully modeling two semiconductor devices: a diamond Schottky diode and a GaN-on-SiC HEMT, with the latter involving the ASM-HEMT DC model, which requires simultaneously extracting 35 model parameters to fit the model to the measured data. These examples demonstrate the effectiveness of our approach and showcase the practical benefits of derivative-free optimization in device modeling.


title: Evaluation of Instruction-Following Ability for Large Language Models on Story-Ending Generation

abstract: Instruction-tuned Large Language Models (LLMs) have achieved remarkable performance across various benchmark tasks. While providing instructions to LLMs for guiding their generations is user-friendly, assessing their instruction-following capabilities is still unclarified due to a lack of evaluation metrics. In this paper, we focus on evaluating the instruction-following ability of LLMs in the context of story-ending generation, which requires diverse and context-specific instructions. We propose an automatic evaluation pipeline that utilizes a machine reading comprehension (MRC) model to determine whether the generated story-ending reflects instruction. Our findings demonstrate that our proposed metric aligns with human evaluation. Furthermore, our experiments confirm that recent open-source LLMs can achieve instruction-following performance close to GPT-3.5, as assessed through automatic evaluation.


title: Towards Lightweight Graph Neural Network Search with Curriculum Graph Sparsification

abstract: Graph Neural Architecture Search (GNAS) has achieved superior performance on various graph-structured tasks. However, existing GNAS studies overlook the applications of GNAS in resource-constraint scenarios. This paper proposes to design a joint graph data and architecture mechanism, which identifies important sub-architectures via the valuable graph data. To search for optimal lightweight Graph Neural Networks (GNNs), we propose a Lightweight Graph Neural Architecture Search with Graph SparsIfication and Network Pruning (GASSIP) method. In particular, GASSIP comprises an operation-pruned architecture search module to enable efficient lightweight GNN search. Meanwhile, we design a novel curriculum graph data sparsification module with an architecture-aware edge-removing difficulty measurement to help select optimal sub-architectures. With the aid of two differentiable masks, we iteratively optimize these two modules to efficiently search for the optimal lightweight architecture. Extensive experiments on five benchmarks demonstrate the effectiveness of GASSIP. Particularly, our method achieves on-par or even higher node classification performance with half or fewer model parameters of searched GNNs and a sparser graph.


title: Approximate DCT and Quantization Techniques for Energy-Constrained Image Sensors

abstract: Recent expansions in multimedia devices gather enormous amounts of real-time images for processing and inference. The images are first compressed using compression schemes, like JPEG, to reduce storage costs and power for transmitting the captured data. Due to inherent error resilience and imperceptibility in images, JPEG can be approximated to reduce the required computation power and area. This work demonstrates the first end-to-end approximation computing-based optimization of JPEG hardware using i) an approximate division realized using bit-shift operators to reduce the complexity of the quantization block, ii) loop perforation, and iii) precision scaling on top of a multiplier-less fast DCT architecture to achieve an extremely energy-efficient JPEG compression unit which will be a perfect fit for power/bandwidth-limited scenario. Furthermore, a gradient descent-based heuristic composed of two conventional approximation strategies, i.e., Precision Scaling and Loop Perforation, is implemented for tuning the degree of approximation to trade off energy consumption with the quality degradation of the decoded image. The entire RTL design is coded in Verilog HDL, synthesized, mapped to TSMC 65nm CMOS technology, and simulated using Cadence Spectre Simulator under 25$^{\circ}$\textbf{C}, TT corner. The approximate division approach achieved around $\textbf{28\%}$ reduction in the active design area. The heuristic-based approximation technique combined with accelerator optimization achieves a significant energy reduction of $\textbf{36\%}$ for a minimal image quality degradation of $\textbf{2\%}$ SAD. Simulation results also show that the proposed architecture consumes 15uW at the DCT and quantization stages to compress a colored 480p image at 6fps.


title: Improving Generative Adversarial Networks for Video Super-Resolution

abstract: In this research, we explore different ways to improve generative adversarial networks for video super-resolution tasks from a base single image super-resolution GAN model. Our primary objective is to identify potential techniques that enhance these models and to analyze which of these techniques yield the most significant improvements. We evaluate our results using Peak Signal-to-Noise Ratio (PSNR) and Structural Similarity Index (SSIM). Our findings indicate that the most effective techniques include temporal smoothing, long short-term memory (LSTM) layers, and a temporal loss function. The integration of these methods results in an 11.97% improvement in PSNR and an 8% improvement in SSIM compared to the baseline video super-resolution generative adversarial network (GAN) model. This substantial improvement suggests potential further applications to enhance current state-of-the-art models.


title: MIRReS: Multi-bounce Inverse Rendering using Reservoir Sampling

abstract: We present MIRReS, a novel two-stage inverse rendering framework that jointly reconstructs and optimizes the explicit geometry, material, and lighting from multi-view images. Unlike previous methods that rely on implicit irradiance fields or simplified path tracing algorithms, our method extracts an explicit geometry (triangular mesh) in stage one, and introduces a more realistic physically-based inverse rendering model that utilizes multi-bounce path tracing and Monte Carlo integration. By leveraging multi-bounce path tracing, our method effectively estimates indirect illumination, including self-shadowing and internal reflections, which improves the intrinsic decomposition of shape, material, and lighting. Moreover, we incorporate reservoir sampling into our framework to address the noise in Monte Carlo integration, enhancing convergence and facilitating gradient-based optimization with low sample counts. Through qualitative and quantitative evaluation of several scenarios, especially in challenging scenarios with complex shadows, we demonstrate that our method achieves state-of-the-art performance on decomposition results. Additionally, our optimized explicit geometry enables applications such as scene editing, relighting, and material editing with modern graphics engines or CAD software. The source code is available at https://brabbitdousha.github.io/MIRReS/


title: Experimental Observation of Motion of Ions in a Resonantly Driven Plasma Wakefield Accelerator

abstract: We observe for the first time an effect on the driver caused by the motion of ions in a plasma wakefield accelerator. The effect manifests itself as a beam tail, which only occurs when sufficient motion of ions suppresses wakefields. By changing the plasma ions (helium, argon, xenon) in the experiment, we show that the effect depends inversely on the ion mass, as predicted from theory and simulations. Wakefields are driven resonantly by multiple bunches, and simulation results indicate that the ponderomotive force causes the motion of ions. In this case, the effect is also expected to depend on the amplitude of the wakefields, as also observed by varying the bunch charge.


title: Open-Source Tool Based Framework for Automated Performance Evaluation of an AD Function

abstract: As automation in the field of automated driving (AD) progresses, ensuring the safety and functionality of AD functions (ADFs) becomes crucial. Virtual scenario-based testing has emerged as a prevalent method for evaluating these systems, allowing for a wider range of testing environments and reproducibility of results. This approach involves AD-equipped test vehicles operating within predefined scenarios to achieve specific driving objectives. To comprehensively assess the impact of road network properties on the performance of an ADF, varying parameters such as intersection angle, curvature and lane width is essential. However, covering all potential scenarios is impractical, necessitating the identification of feasible parameter ranges and automated generation of corresponding road networks for simulation. Automating the workflow of road network generation, parameter variation, simulation, and evaluation leads to a comprehensive understanding of an ADF's behavior in diverse road network conditions. This paper aims to investigate the influence of road network parameters on the performance of a prototypical ADF through virtual scenario-based testing, ultimately advocating the importance of road topology in assuring safety and reliability of ADFs.


title: Engineering nanowire quantum dots with iontronics

abstract: Achieving stable, high-quality quantum dots has proven challenging within device architectures rooted in conventional solid-state device fabrication paradigms. In fact, these are grappled with complex protocols in order to balance ease of realization, scalability, and quantum transport properties. Here, we demonstrate a novel paradigm of semiconductor quantum dot engineering by exploiting ion gating. Our approach is found to enable the realization and control of a novel quantum dot system: the iontronic quantum dot. Clear Coulomb blockade peaks and their dependence on an externally applied magnetic field are reported, together with the impact of device architecture and confinement potential on quantum dot quality. Devices incorporating two identical quantum dots in series are realized, addressing the reproducibility of the developed approach. The iontronic quantum dot represents a novel class of zero-dimensional quantum devices engineered to overcome the need for thin dielectric layers, facilitating single-step device fabrication. Overall, the reported approach holds the potential to revolutionize the development of functional quantum materials and devices, driving rapid progress in solid state quantum technologies


title: The unpaved road towards efficient selective breeding in insects for food and feed

abstract: Insect production for food and feed presents a promising supplement to ensure food safety and address the adverse impacts of agriculture on climate and environment in the future. However, optimisation is required for insect production to realise its full potential. This can be by targeted improvement of traits of interest through selective breeding, an approach which has so far been underexplored and underutilised in insect farming. Here we present a comprehensive review of the selective breeding framework in the context of insect production. We systematically evaluate adjustments of selective breeding techniques to the realm of insects and highlight the essential components integral to the breeding process. The discussion covers every step of a conventional breeding scheme, such as formulation of breeding objectives, phenotyping, estimation of genetic parameters and breeding values, selection of appropriate breeding strategies, and mitigation of issues associated with genetic diversity depletion and inbreeding. This review combines knowledge from diverse disciplines, bridging the gap between animal breeding, quantitative genetics, evolutionary biology, and entomology, offering an integrated view of the insect breeding research area and uniting knowledge which has previously remained scattered across diverse fields of expertise.


title: On the Cauchy problem for the inhomogeneous nonlinear Schr\"odinger equation with inverse-power potential

abstract: In this paper, we study the Cauchy problem for the inhomogeneous nonlinear Schr\"{o}dinger equation with inverse-power potential \[iu_{t} +\Delta u-c|x|^{-a}u=\pm |x|^{-b} |u|^{\sigma } u,\;\;(t,x)\in \mathbb R\times\mathbb R^{d},\] where $d\in \mathbb N$, $c\in \mathbb R$, $a,b>0$ and $\sigma>0$. First, we establish the local well-posedness in the fractional Sobolev spaces $H^s(\mathbb R^d)$ with $s\ge 0$ by using contraction mapping principle based on the Strichartz estimates in Sobolev-Lorentz spaces. Next, the global existence and blow-up of $H^1$-solution are investigated. Our results extend the known results in several directions.


title: Impact of Loss Mechanisms on Linear Spectra of Excitonic and Polaritonic Aggregates

abstract: The presence of loss mechanisms governed by empirical time-scales affect the dynamics and spectra of systems in profound ways. However, incorporation of these effects and their interaction with the thermal dissipative environments interacting with the system prove to be challenging. We have recently developed the path integral Lindblad dynamics (PILD) method to combine numerically rigorous path integral simulations with Lindblad dynamics to account for such empirical loss mechanisms. In this work, we utilize the PILD method to study the absorption and circular dichroism spectra of chiral molecular aggregates and excitonic polaritons. We demonstrate that the effect of loss on particular states in both systems can differ not just on the basis of the symmetries of the state but also on the basis of complicated "interactions" of the system and the loss mechanism with the dissipative environments. We present probably the first numerical exploration of the CD spectrum of chiral molecular aggregates confined in a cavity. While the CD spectrum of just the excitonic aggregates itself is not amenable to simplistic understanding like the exciton chirality (EC) rule, the CD spectrum of polaritonic molecules is even more complex. Additionally, the impact of empirical loss on the polaritonic CD spectrum seems to be highly site-dependent. The impact of a lossy cavity is qualitatively different from the impact of a molecule that leaks the excitation. We explore some of those effects in depth leveraging the framework of path integral Lindblad dynamics.


title: On the Role of Long-tail Knowledge in Retrieval Augmented Large Language Models

abstract: Retrieval augmented generation (RAG) exhibits outstanding performance in promoting the knowledge capabilities of large language models (LLMs) with retrieved documents related to user queries. However, RAG only focuses on improving the response quality of LLMs via enhancing queries indiscriminately with retrieved information, paying little attention to what type of knowledge LLMs really need to answer original queries more accurately. In this paper, we suggest that long-tail knowledge is crucial for RAG as LLMs have already remembered common world knowledge during large-scale pre-training. Based on our observation, we propose a simple but effective long-tail knowledge detection method for LLMs. Specifically, the novel Generative Expected Calibration Error (GECE) metric is derived to measure the ``long-tailness'' of knowledge based on both statistics and semantics. Hence, we retrieve relevant documents and infuse them into the model for patching knowledge loopholes only when the input query relates to long-tail knowledge. Experiments show that, compared to existing RAG pipelines, our method achieves over 4x speedup in average inference time and consistent performance improvement in downstream tasks.


title: The general Kastler-Kalau-Walze type theorem for the J-twist DJ of the Dirac operator

abstract: In [21] and [22], we proved the Kastler-Kalau-Walze type theorem for the J-twist DJ of the Dirac operator on 3-dimensional, 4-dimensional and 6-dimensional almost product Riemannian spin manifold with boundary. In this paper, we generalize our previous conclusions and establish the proof of the general Kastler-Kalau-Walze type theorem for the J-twist DJ of the Dirac operator on even-dimensional almost product Riemannian spin manifold with boundary.


title: Machine Learning with Real-time and Small Footprint Anomaly Detection System for In-Vehicle Gateway

abstract: Anomaly Detection System (ADS) is an essential part of a modern gateway Electronic Control Unit (ECU) to detect abnormal behaviors and attacks in vehicles. Among the existing attacks, ``one-time`` attack is the most challenging to be detected, together with the strict gateway ECU constraints of both microsecond or even nanosecond level real-time budget and limited footprint of code. To address the challenges, we propose to use the self-information theory to generate values for training and testing models, aiming to achieve real-time detection performance for the ``one-time`` attack that has not been well studied in the past. Second, the generation of self-information is based on logarithm calculation, which leads to the smallest footprint to reduce the cost in Gateway. Finally, our proposed method uses an unsupervised model without the need of training data for anomalies or attacks. We have compared different machine learning methods ranging from typical machine learning models to deep learning models, e.g., Hidden Markov Model (HMM), Support Vector Data Description (SVDD), and Long Short Term Memory (LSTM). Experimental results show that our proposed method achieves 8.7 times lower False Positive Rate (FPR), 1.77 times faster testing time, and 4.88 times smaller footprint.


title: An Active Search Strategy with Multiple Unmanned Aerial Systems for Multiple Targets

abstract: The challenge of efficient target searching in vast natural environments has driven the need for advanced multi-UAV active search strategies. This paper introduces a novel method in which global and local information is adeptly merged to avoid issues such as myopia and redundant back-and-forth movements. In addition, a trajectory generation method is used to ensure the search pattern within continuous space. To further optimize multi-agent cooperation, the Voronoi partition technique is employed, ensuring a reduction in repetitive flight patterns and making the control of multiple agents in a decentralized way. Through a series of experiments, the evaluation and comparison results demonstrate the efficiency of our approach in various environments. The primary application of this innovative approach is demonstrated in the search for horseshoe crabs within their wild habitats, showcasing its potential to revolutionize ecological survey and conservation efforts.


title: Attractor and its self-similarities for an IFS over arbitrary sub-shift

abstract: Consider a compact metric space $X$, and let $\mathcal{F}=\{f_1,\,f_2,\ldots,\, f_k\}$ be a set of contracting and continuous self maps on $X$. Let $\Sigma$ be a sub-shift on $k$ symbols, and let $\Sigma_k$ be the full shift. Define $\mathcal{L}_n(\Sigma)$ as the set of words of length $n$ in $\Sigma$. For $u=u_1\cdots u_n\in \mathcal{L}_n(\Sigma)$, set $f_u:=f_{u_n}\circ\cdots \circ f_{u_1}$ and $H^n(\cdot):=\cup_{u \in \mathcal{L}_{n}(\Sigma_k)} f_{u}(\cdot)$. When $\Sigma=\Sigma_k$, $H^n(\cdot)$ is the $n$th iteration of the Hutchinson's operator, and there exists a compact set $S= \lim_{n \rightarrow \infty} H^n(A)$ for any compact $A\subseteq X$ with $H^n(S)=S$ (self-similarity criteria) for $n\in\N$. For arbitrary $\Sigma$, the above limit exists; but it is not necessarily true that $H^n(S)=S$. Sufficient conditions on $\Sigma$ are provided to have $H^n(S)=S$ for all or some $n\in\N$, and then the dynamics of $S$ under the admissible iterations of $f_i$'s defined by $\Sigma$ are investigated.


title: UniPSDA: Unsupervised Pseudo Semantic Data Augmentation for Zero-Shot Cross-Lingual Natural Language Understanding

abstract: Cross-lingual representation learning transfers knowledge from resource-rich data to resource-scarce ones to improve the semantic understanding abilities of different languages. However, previous works rely on shallow unsupervised data generated by token surface matching, regardless of the global context-aware semantics of the surrounding text tokens. In this paper, we propose an Unsupervised Pseudo Semantic Data Augmentation (UniPSDA) mechanism for cross-lingual natural language understanding to enrich the training data without human interventions. Specifically, to retrieve the tokens with similar meanings for the semantic data augmentation across different languages, we propose a sequential clustering process in 3 stages: within a single language, across multiple languages of a language family, and across languages from multiple language families. Meanwhile, considering the multi-lingual knowledge infusion with context-aware semantics while alleviating computation burden, we directly replace the key constituents of the sentences with the above-learned multi-lingual family knowledge, viewed as pseudo-semantic. The infusion process is further optimized via three de-biasing techniques without introducing any neural parameters. Extensive experiments demonstrate that our model consistently improves the performance on general zero-shot cross-lingual natural language understanding tasks, including sequence classification, information extraction, and question answering.


title: Estimation of bid and ask pricing for European option under mixed fractional Brownian motion environment with superimposed jumps

abstract: We investigate the valuation of the bid and ask prices for European option under the mixed fractional Brownian motion environment in the presence of superimposed jumps by an independent Poisson process.


title: KEHRL: Learning Knowledge-Enhanced Language Representations with Hierarchical Reinforcement Learning

abstract: Knowledge-enhanced pre-trained language models (KEPLMs) leverage relation triples from knowledge graphs (KGs) and integrate these external data sources into language models via self-supervised learning. Previous works treat knowledge enhancement as two independent operations, i.e., knowledge injection and knowledge integration. In this paper, we propose to learn Knowledge-Enhanced language representations with Hierarchical Reinforcement Learning (KEHRL), which jointly addresses the problems of detecting positions for knowledge injection and integrating external knowledge into the model in order to avoid injecting inaccurate or irrelevant knowledge. Specifically, a high-level reinforcement learning (RL) agent utilizes both internal and prior knowledge to iteratively detect essential positions in texts for knowledge injection, which filters out less meaningful entities to avoid diverting the knowledge learning direction. Once the entity positions are selected, a relevant triple filtration module is triggered to perform low-level RL to dynamically refine the triples associated with polysemic entities through binary-valued actions. Experiments validate KEHRL's effectiveness in probing factual knowledge and enhancing the model's performance on various natural language understanding tasks.


title: Detachment scalings derived from 1D scrape-off-layer simulations

abstract: Fusion power plants will require active detachment control to mitigate sputtering. Although detachment control has been demonstrated on current fusion experiments, achieving this on fusion power plants will be more challenging due to their reduced diagnostic set. Real-time scrape-off-layer (SOL) modeling will help to fill this "diagnostic gap". To determine the minimal set of physics required for accurate SOL modeling, we use the configurable Hermes-3 edge modeling framework to perform simple, fixed-fraction-impurity 1D Braginskii simulations. We show that these simulations reproduce distinctive attached and detached conditions, as well as the characteristic ion-flux rollover. We also perform scans of the input heat flux and impurity concentration, and show that the results predict similar trends to the lower-fidelity Lengyel model. This allows us to also indirectly compare to SOLPS simulations, and we find that the Lengyel model has similar "over-estimation" factors to Hermes-1D and SOLPS. This indirect comparison highlights a series of extensions to bring our Hermes-1D results closer to the higher-fidelity 2D modeling, with the goal of developing time-dependent detachment control suitable for next-generation fusion devices.


title: Multi-Objective Global Path Planning for Lunar Exploration With a Quadruped Robot

abstract: In unstructured environments the best path is not always the shortest, but needs to consider various objectives like energy efficiency, risk of failure or scientific outcome. This paper proposes a global planner, based on the A* algorithm, capable of individually considering multiple layers of map data for different cost objectives. We introduce weights between the objectives, which can be adapted to achieve a variety of optimal paths. In order to find the best of these paths, a tool for statistical path analysis is presented. Our planner was tested on exemplary lunar topographies to propose two trajectories for exploring the Aristarchus Plateau. The optimized paths significantly reduce the risk of failure while yielding more scientific value compared to a manually planned paths in the same area. The planner and analysis tool are made open-source in order to simplify mission planning for planetary scientists.


title: On the Transformations across Reward Model, Parameter Update, and In-Context Prompt

abstract: Despite the general capabilities of pre-trained large language models (LLMs), they still need further adaptation to better serve practical applications. In this paper, we demonstrate the interchangeability of three popular and distinct adaptation tools: parameter updating, reward modeling, and in-context prompting. This interchangeability establishes a triangular framework with six transformation directions, each of which facilitates a variety of applications. Our work offers a holistic view that unifies numerous existing studies and suggests potential research directions. We envision our work as a useful roadmap for future research on LLMs.


title: On a variant of Schu's lemma

abstract: In this note we show that a false statement obtained by replacing a "lim" by "limsup" for a sequence in Lemma 1.3 of the paper [J. Schu: Weak and strong convergence to fixed points of asymptotically nonexpansive mappings, Bull. Austral. Math. Soc. 43 (1991), 153--159] is used in many papers. We do not know which is the first paper that used that false assertion, but the first one that we identified is from 2005 and the last one is from 2024.


title: A concentration-compactness principle for perturbed isoperimetric problems with general assumptions

abstract: Derived from the concentration-compactness principle, the concept of generalized minimizer can be used to define generalized solutions of variational problems which may have components ``infinitely'' distant from each other. In this article and under mild assumptions we establish existence and density estimates of generalized minimizers of perturbed isoperimetric problems. Our hypotheses encapsulate a wide class of functionals including the classical, anisotropic and fractional perimeter. The perturbation term may for instance take the form of a potential, a translation invariant kernel or a nonlocal term involving the Wasserstein distance.


title: Testing Topological Data Analysis for Condition Monitoring of Wind Turbines

abstract: We present an investigation of how topological data analysis (TDA) can be applied to condition-based monitoring (CBM) of wind turbines for energy generation. TDA is a branch of data analysis focusing on extracting meaningful information from complex datasets by analyzing their structure in state space and computing their underlying topological features. By representing data in a high-dimensional state space, TDA enables the identification of patterns, anomalies, and trends in the data that may not be apparent through traditional signal processing methods. For this study, wind turbine data was acquired from a wind park in Norway via standard vibration sensors at different locations of the turbine's gearbox. Both the vibration acceleration data and its frequency spectra were recorded at infrequent intervals for a few seconds at high frequency and failure events were labelled as either gear-tooth or ball-bearing failures. The data processing and analysis are based on a pipeline where the time series data is first split into intervals and then transformed into multi-dimensional point clouds via a time-delay embedding. The shape of the point cloud is analyzed with topological methods such as persistent homology to generate topology-based key health indicators based on Betti numbers, information entropy and signal persistence. Such indicators are tested for CBM and diagnosis (fault detection) to identify faults in wind turbines and classify them accordingly. Topological indicators are shown to be an interesting alternative for failure identification and diagnosis of operational failures in wind turbines.


title: Polar-Coded Tensor-Based Unsourced Random Access with Soft Decoding

abstract: The unsourced random access (URA) has emerged as a viable scheme for supporting the massive machine-type communications (mMTC) in the sixth generation (6G) wireless networks. Notably, the tensor-based URA (TURA), with its inherent tensor structure, stands out by simultaneously enhancing performance and reducing computational complexity for the multi-user separation, especially in mMTC networks with a large numer of active devices. However, current TURA scheme lacks the soft decoder, thus precluding the incorporation of existing advanced coding techniques. In order to fully explore the potential of the TURA, this paper investigates the Polarcoded TURA (PTURA) scheme and develops the corresponding iterative Bayesian receiver with feedback (IBR-FB). Specifically, in the IBR-FB, we propose the Grassmannian modulation-aided Bayesian tensor decomposition (GM-BTD) algorithm under the variational Bayesian learning (VBL) framework, which leverages the property of the Grassmannian modulation to facilitate the convergence of the VBL process, and has the ability to generate the required soft information without the knowledge of the number of active devices. Furthermore, based on the soft information produced by the GM-BTD, we design the soft Grassmannian demodulator in the IBR-FB. Extensive simulation results demonstrate that the proposed PTURA in conjunction with the IBR-FB surpasses the existing state-of-the-art unsourced random access scheme in terms of accuracy and computational complexity.


title: UNO Arena for Evaluating Sequential Decision-Making Capability of Large Language Models

abstract: Sequential decision-making refers to algorithms that take into account the dynamics of the environment, where early decisions affect subsequent decisions. With large language models (LLMs) demonstrating powerful capabilities between tasks, we can't help but ask: Can Current LLMs Effectively Make Sequential Decisions? In order to answer this question, we propose the UNO Arena based on the card game UNO to evaluate the sequential decision-making capability of LLMs and explain in detail why we choose UNO. In UNO Arena, We evaluate the sequential decision-making capability of LLMs dynamically with novel metrics based Monte Carlo methods. We set up random players, DQN-based reinforcement learning players, and LLM players (e.g. GPT-4, Gemini-pro) for comparison testing. Furthermore, in order to improve the sequential decision-making capability of LLMs, we propose the TUTRI player, which can involves having LLMs reflect their own actions wtih the summary of game history and the game strategy. Numerous experiments demonstrate that the TUTRI player achieves a notable breakthrough in the performance of sequential decision-making compared to the vanilla LLM player.


title: Context-augmented Retrieval: A Novel Framework for Fast Information Retrieval based Response Generation using Large Language Model

abstract: Generating high-quality answers consistently by providing contextual information embedded in the prompt passed to the Large Language Model (LLM) is dependent on the quality of information retrieval. As the corpus of contextual information grows, the answer/inference quality of Retrieval Augmented Generation (RAG) based Question Answering (QA) systems declines. This work solves this problem by combining classical text classification with the Large Language Model (LLM) to enable quick information retrieval from the vector store and ensure the relevancy of retrieved information. For the same, this work proposes a new approach Context Augmented retrieval (CAR), where partitioning of vector database by real-time classification of information flowing into the corpus is done. CAR demonstrates good quality answer generation along with significant reduction in information retrieval and answer generation time.


title: High-resolution open-vocabulary object 6D pose estimation

abstract: The generalisation to unseen objects in the 6D pose estimation task is very challenging. While Vision-Language Models (VLMs) enable using natural language descriptions to support 6D pose estimation of unseen objects, these solutions underperform compared to model-based methods. In this work we present Horyon, an open-vocabulary VLM-based architecture that addresses relative pose estimation between two scenes of an unseen object, described by a textual prompt only. We use the textual prompt to identify the unseen object in the scenes and then obtain high-resolution multi-scale features. These features are used to extract cross-scene matches for registration. We evaluate our model on a benchmark with a large variety of unseen objects across four datasets, namely REAL275, Toyota-Light, Linemod, and YCB-Video. Our method achieves state-of-the-art performance on all datasets, outperforming by 12.6 in Average Recall the previous best-performing approach.


title: Validity condition for high-fidelity Digitized Quantum Annealing

abstract: Digitizing an adiabatic evolution is a strategy able to combine the good performance of gate-based quantum processors with the advantages of adiabatic algorithms, providing then a hybrid model for efficient quantum information processing. In this work we develop validity conditions for high fidelity digital adiabatic tasks. To this end, we assume a digitizing process based on the Suzuki-Trotter decomposition, which allows us to introduce a $Digitized$ $Adiabatic$ $Theorem$. As consequence of this theorem, we show that the performance of such a hybrid model is limited by the fundamental constraints on the adiabatic theorem validity, even in ideal quantum processors. We argue how our approach predicts the existence of intrinsic non-adiabatic errors reported by R. Barends $et$ $al$., Nature 534, 222 (2016) through an empirical study of digital annealing. In addition, our approach allows us to explain the existence of a scaling of the number of Suzuki-Trotter blocks for the optimal digital circuit with respect to the optimal adiabatic total evolution time, as reported by G. B. Mbeng $et$ $al$, Phys. Rev. B 100, 224201 (2019) through robust numerical analysis of digital annealing. We illustrate our results through two examples of digitized adiabatic algorithms, namely, the two-qubits exact-cover problem and the three-qubits adiabatic factorization of the number 21.


title: Automatically Generating UI Code from Screenshot: A Divide-and-Conquer-Based Approach

abstract: Websites are critical in today's digital world, with over 1.11 billion currently active and approximately 252,000 new sites launched daily. Converting website layout design into functional UI code is a time-consuming yet indispensable step of website development. Manual methods of converting visual designs into functional code present significant challenges, especially for non-experts. To explore automatic design-to-code solutions, we first conduct a motivating study on GPT-4o and identify three types of issues in generating UI code: element omission, element distortion, and element misarrangement. We further reveal that a focus on smaller visual segments can help multimodal large language models (MLLMs) mitigate these failures in the generation process. In this paper, we propose DCGen, a divide-and-conquer-based approach to automate the translation of webpage design to UI code. DCGen starts by dividing screenshots into manageable segments, generating descriptions for each segment, and then reassembling them into complete UI code for the entire screenshot. We conduct extensive testing with a dataset comprised of real-world websites and various MLLMs and demonstrate that DCGen achieves up to a 14% improvement in visual similarity over competing methods. To the best of our knowledge, DCGen is the first segment-aware prompt-based approach for generating UI code directly from screenshots.


title: Power Quotients of Plactic-like Monoids

abstract: In this paper we describe the quotients of several plactic-like monoids by the least congruences containing the relations $a^{\sigma(a)} = a$ with $\sigma(a)\ge 2$ for every generator $a$. The starting point for this description is the recent paper of Abram and Reutenauer about the so-called stylic monoid which happens to be the quotient of the plactic monoid by the relations $a^2 = a$ for every letter $a$. The plactic-like monoids considered are the plactic monoid itself, the Chinese monoid, and the sylvester monoid. In each case we describe: a set of normal forms, and the idempotents; and obtain formulae for their size.


title: PenSLR: Persian end-to-end Sign Language Recognition Using Ensembling

abstract: Sign Language Recognition (SLR) is a fast-growing field that aims to fill the communication gaps between the hearing-impaired and people without hearing loss. Existing solutions for Persian Sign Language (PSL) are limited to word-level interpretations, underscoring the need for more advanced and comprehensive solutions. Moreover, previous work on other languages mainly focuses on manipulating the neural network architectures or hardware configurations instead of benefiting from the aggregated results of multiple models. In this paper, we introduce PenSLR, a glove-based sign language system consisting of an Inertial Measurement Unit (IMU) and five flexible sensors powered by a deep learning framework capable of predicting variable-length sequences. We achieve this in an end-to-end manner by leveraging the Connectionist Temporal Classification (CTC) loss function, eliminating the need for segmentation of input signals. To further enhance its capabilities, we propose a novel ensembling technique by leveraging a multiple sequence alignment algorithm known as Star Alignment. Furthermore, we introduce a new PSL dataset, including 16 PSL signs with more than 3000 time-series samples in total. We utilize this dataset to evaluate the performance of our system based on four word-level and sentence-level metrics. Our evaluations show that PenSLR achieves a remarkable word accuracy of 94.58% and 96.70% in subject-independent and subject-dependent setups, respectively. These achievements are attributable to our ensembling algorithm, which not only boosts the word-level performance by 0.51% and 1.32% in the respective scenarios but also yields significant enhancements of 1.46% and 4.00%, respectively, in sentence-level accuracy.


title: Analytic semigroups in weighted $L_1$-spaces on the half-line generated by singular or degenerate operators

abstract: Ranges of the real-valued parameters $\alpha$, $a$, $b$, and $m$ are identified for which the operator $$\mathcal{A}_{\alpha}(a,b)f(x):=x^\alpha\left(f''(x)+\frac{a}{x}f'(x)+\frac{b}{x^2}f(x)\right), \quad x>0,$$ generates an analytic semigroup in $L_1((0,\infty),x^m\mathrm{d}x)$.


title: On the Confluence of Directed Graph Reductions Preserving Feedback Vertex Set Minimality

abstract: In graph theory, the minimum directed feedback vertex set (FVS) problem consists in identifying the smallest subsets of vertices in a directed graph whose deletion renders the directed graph acyclic. Although being known as NP-hard since 1972, this problem can be solved in a reasonable time on small instances, or on instances having special combinatorial structure. In this paper we investigate graph reductions preserving all or some minimum FVS and focus on their properties, especially the Church-Rosser property, also called confluence. The Church-Rosser property implies the irrelevance of reduction order, leading to a unique directed graph. The study seeks the largest subset of reductions with the Church-Rosser property and explores the adaptability of reductions to meet this criterion. Addressing these questions is crucial, as it may impact algorithmic implications, allowing for parallelization and speeding up sequential algorithms.


title: Self-descriptive Sequences directed by two Periodic Sequences

abstract: In the present work, we exhibit a class of self-descriptive sequences that can be explicitly computed and whose frequencies are known. In particular, as a corollary of our main result, we prove that the sequence introduced in \citeBJM23 has the expected frequencies of occurrences.


title: Interval Posets and Polygon Dissections

abstract: The Interval poset of a permutation is an effective way of capturing all the intervals of the permutation and the inclusions between them and was introduced recently by Tenner. Thi paper explores the geometric interpretation of interval posets of permutations. We present a bijection between tree interval posets and convex polygons with non-crossing diagonals, offering a novel geometric perspective on this purely combinatorial concept. Additionally, we provide an enumeration of interval posets using this bijection and demonstrate its application to block-wise simple permutations.


title: Type-B analogue of Bell numbers using Rota's Umbral calculus approach

abstract: Rota used the functional L to recover old properties and obtain some new formulas for the Bell numbers. Tanny used Rota's functional L and the celebrated Worpitzky identity to obtain some expression for the ordered Bell numbers, which can be seen as an evident to the fact that the ordered Bell numbers are gamma-positive. In this paper, we extend some of Rota's and Tanny's results to the framework of the set partitions of Coxeter type B.


title: Dyck Paths Enumerated by the Q-bonacci Numbers

abstract: We consider Dyck paths having height at most two with some constraints on the number of consecutive valleys at height one which must be followed by a suitable number of valleys at height zero. We prove that they are enumerated by so-called Q-bonacci numbers (recently introduced by Kirgizov) which generalize the classical q-bonacci numbers in the case where q is a positive rational.


title: Diagram Calculus for the Affine Temperley--Lieb Algebra of Type $D$

abstract: Let (W,S) be a Coxeter system of affine type D, and let TL(W) the corresponding generalized Temperley-Lieb algebra. In this extended abstract we define an infinite dimensional associative algebra made of decorated diagrams which is isomorphic to TL(W). Moreover, we describe an explicit basis for such an algebra of diagrams which is in bijective correspondence with the classical monomial basis of TL(W), indexed by the fully commutative elements of W.


title: Optimal Generation of Strictly Increasing Binary Trees and Beyond

abstract: This article presents two novel algorithms for generating random increasing trees. The first algorithm efficiently generates strictly increasing binary trees using an ad hoc method. The second algorithm improves the recursive method for weighted strictly increasing unary-binary increasing trees, optimizing randomness usage.


title: Uniform Sampling and Visualization of 3D Reluctant Walks

abstract: A family of walks confined to the first orthant whose defining stepset has drift outside of the region can be challenging to sample uniformly at random for large lengths. We address this by generalizing the 2D walk sampler of Lumbroso et al. to handle 3D walks restricted to the first orthant. The sampler includes a visualizer and means to animate the walks.


title: Constraints on the orbital flux phase in $A$V$_3$Sb$_5$ from polar Kerr effect

abstract: The $A$V$_3$Sb$_5$ ($A=$ K, Rb, Cs) family of Kagome metals hosts unconventional charge density wave order whose nature is still an open puzzle. Accumulated evidences point to a time-reversal symmetry breaking orbital flux phase that carries loop currents. Such an order may support anomalous Hall effect. However, the polar Kerr effect measurements that probe the a.c. anomalous Hall conductivity seems to have yielded contradictory results. We first argue on symmetry grounds that some previously proposed orbital flux order, most notably the one with Star-of-David distortion, shall not give rise to anomalous Hall or polar Kerr effects. We further take the tri-hexagonal orbital flux phase as an exemplary Kagome flux order that does exhibit anomalous Hall response, and show that the Kerr rotation angle at two relevant experimental optical frequencies generally reaches microradians to sub-milliradians levels. A particularly sharp resonance enhancement is observed at around $\hbar \omega =1$ eV, suggesting exceedingly large Kerr rotation at the corresponding probing frequencies not yet accessed by previous experiments. Our study can help to interpret the Kerr measurements on $A$V$_3$Sb$_5$ and to eventually resolve the nature of their CDW order.


title: Pop Stacks with a Bypass

abstract: We consider sorting procedures for permutations making use of pop stacks with a bypass operation, and explore the combinatorial properties of the associated algorithms.


title: Stochastic Path-Dependent Volatility Models for Price-Storage Dynamics in Natural Gas Markets and Discrete-Time Swing Option Pricing

abstract: This paper is devoted to the price-storage dynamics in natural gas markets. A novel stochastic path-dependent volatility model is introduced with path-dependence in both price volatility and storage increments. Model calibrations are conducted for both the price and storage dynamics. Further, we discuss the pricing problem of discrete-time swing options using the dynamic programming principle, and a deep learning-based method is proposed for numerical approximations. A numerical algorithm is provided, followed by a convergence analysis result for the deep-learning approach.


title: Bijective Enumeration and Sign-Imbalance for Permutation Depth and Excedances

abstract: We present a simplified variant of Biane's bijection between permutations and 3-colored Motzkin paths with weight that keeps track of the inversion number, excedance number and a statistic so-called depth of a permutation. This generalizes a result by Guay-Paquet and Petersen about a continued fraction of the generating function for depth on the permutations of n elements. In terms of weighted Motzkin path, we establish an involution on the permutations that reverses the parities of depth and excedance numbers simultaneously, which proves that the numbers of permutations with even and odd depth (excedance numbers, respectively) are equal if n is even and differ by the tangent number if n is odd. Moreover, we present some interesting sign-imbalance results on permutations and derangements, refined with respect to depth and excedance numbers.


title: Square-Triangle Tilings: Lift & Flip to Sample?

abstract: We introduce an elementary transformation called flips on tilings by squares and triangles and conjecture that it connects any two tilings of the same region of the Euclidean plane.


title: Restricted Permutations Enumerated by Inversions

abstract: Permutations are usually enumerated by size, but new results can be found by enumerating them by inversions instead, in which case one must restrict one's attention to indecomposable permutations. In the style of the seminal paper by Simion and Schmidt, we investigate all combinations of permutation patterns of length at most 3.


title: Bijections between Variants of Dyck Paths and Integer Compositions

abstract: We give bijective results between several variants of lattice paths of length $2n$ (or $2n-2$) and integer compositions of n, all enumerated by the seemingly innocuous formula $4^{n-1}$. These associations lead us to make new connections between these objects, such as congruence results.


title: Greedy Gray Codes for some Restricted Classes of Binary Words

abstract: We investigate the existence of greedy Gray codes, based on the choice of the first element in the code, for two classes of binary words: generalized Fibonacci words and generalized Dyck words.


title: Morphic Sequences: Complexity and Decidability

abstract: In this work we recall Pansiot's result on the complexity of pure morphic sequences and we use the tools developed by Devyatov for morphic sequences to prove the decidability of the complexity class of pure morphic sequences.


title: Detecting Isohedral Polyforms with a SAT Solver

abstract: I show how to express the question of whether a polyform tiles the plane isohedrally as a Boolean formula that can be tested using a SAT solver. This approach is adaptable to a wide range of polyforms, requires no special-case code for different isohedral tiling types, and integrates seamlessly with existing software for computing Heesch numbers of polyforms.


title: A Symmetry Property of Christoffel Words

abstract: Motivated by the theory of trapezoidal words, whose sequences of cardinality of factors by length are symmetric, we introduce a bivariate variant of this symmetry. We show that this symmetry characterizes Christoffel words, and establish other related results.


title: Combinatorics on Social Configurations

abstract: In cooperative game theory, the social configurations of players are modeled by balanced collections. The Bondareva-Shapley theorem, perhaps the most fundamental theorem in cooperative game theory, characterizes the existence of solutions to the game that benefit everyone using balanced collections. Roughly speaking, if the trivial set system of all players is one of the most efficient balanced collections for the game, then the set of solutions from which each coalition benefits, the so-called core, is non-empty. In this paper, we discuss some interactions between combinatorics and cooperative game theory that are still relatively unexplored. Indeed, the similarity between balanced collections and uniform hypergraphs seems to be a relevant point of view to obtain new properties on those collections through the theory of combinatorial species.


title: Perfectly Clustering Words and Iterated Palindromes over a Ternary Alphabet

abstract: Recently, a new characterization of Lyndon words that are also perfectly clustering was proposed by Lapointe and Reutenauer (2024). A word over a ternary alphabet {a,b,c} is called perfectly clustering Lyndon if and only if it is the product of two palindromes and it can be written as apbqc where p and q are palindromes. We study the properties of palindromes appearing as factors p and q and their links with iterated palindromes over a ternary alphabet.


title: On the Orthogonality of Generalized Pattern Sequences

abstract: The partial sums of integer sequences that count the occurrences of a specific pattern in the binary expansion of positive integers have been investigated by different authors since the 1950s. In this note, we introduce generalized pattern sequences, which count the occurrences of a finite number of different patterns in the expansion of positive integers in any integer base, and analyze their partial sums.


title: Not All RDF is Created Equal: Investigating RDF Load Times on Resource-Constrained Devices

abstract: As the role of knowledge-based systems in IoT keeps growing, ensuring resource efficiency of RDF stores becomes critical. However, up until now benchmarks of RDF stores were most often conducted with only one dataset, and the differences between the datasets were not explored in detail. In this paper we aim to close this research gap by experimentally evaluating load times of eight diverse RDF datasets from the RiverBench benchmark suite. In the experiments we use five different RDF store implementations and several resource-constrained hardware platforms. To analyze the results, we introduce the notion of relative loading speed (RLS), allowing us to observe that the loading speed can differ between datasets by as much as a factor of 9.01. This serves as clear evidence that "not all RDF is created equal" and stresses the importance of using multiple benchmark datasets in evaluations. We outline the possible reasons for this drastic difference, which should be further investigated in future work. To this end, we published the data, code, and the results of our experiments.


title: Counting Polyominoes in a Rectangle b x h

abstract: In this paper, we provide methods to automatically obtain automata that generate polyominoes inscribed in a rectangle of fixed width and increasing height. We use them to obtain the generating function of those sequences for small widths.


title: LLT Polynomials and Hecke Algebra Traces

abstract: We show that coefficients in unicellular LLT polynomials are evaluations of Hecke algebra traces at Kazhdan-Lusztig basis elements. We express these in terms of traditional trace bases, induction, and Kazhdan-Lusztig R-polynomials.


title: Counting Colored Tilings on Grids and Graphs

abstract: In this paper, we explore some generalizations of a counting problem related to tilings in grids of size 2xn, which was originally posed as a question on Mathematics Stack Exchange (Question 3972905). In particular, we consider this problem for the product of two graphs G and P(n), where P(n) is the path graph of n vertices. We give explicit bivariate generating functions for some specific cases.


title: Multilingual Knowledge Editing with Language-Agnostic Factual Neurons

abstract: Multilingual knowledge editing (MKE) aims to simultaneously revise factual knowledge across multilingual languages within large language models (LLMs). However, most existing MKE methods just adapt existing monolingual editing methods to multilingual scenarios, overlooking the deep semantic connections of the same factual knowledge between different languages, thereby limiting edit performance. To address this issue, we first investigate how LLMs represent multilingual factual knowledge and discover that the same factual knowledge in different languages generally activates a shared set of neurons, which we call language-agnostic factual neurons. These neurons represent the semantic connections between multilingual knowledge and are mainly located in certain layers. Inspired by this finding, we propose a new MKE method by locating and modifying Language-Agnostic Factual Neurons (LAFN) to simultaneously edit multilingual knowledge. Specifically, we first generate a set of paraphrases for each multilingual knowledge to be edited to precisely locate the corresponding language-agnostic factual neurons. Then we optimize the update values for modifying these located neurons to achieve simultaneous modification of the same factual knowledge in multiple languages. Experimental results on Bi-ZsRE and MzsRE benchmarks demonstrate that our method outperforms existing MKE methods and achieves remarkable edit performance, indicating the importance of considering the semantic connections among multilingual knowledge.


title: A Bijection between Stacked Directed Polyominoes and Motzkin Paths with Alternative Catastrophes

abstract: We present a novel bijection between stacked directed polyominoes and Motzkin paths with alternative catastrophes. Further, we show how this new connection can be used in order to obtain a better understanding of certain parameters of stacked directed animals.


title: Natural Measures on Polyominoes Induced by the Abelian Sandpile Model

abstract: We introduce a natural Boltzmann measure over polyominoes induced by boundary avalanches in the Abelian Sandpile Model. Through the study of a suitable associated process, we give an argument suggesting that the probability distribution of the avalnche sizes has a power-law decay with exponent 3/2, in contrast with the present understanding of bulk avalanches in the model (which has some exponent between 1 and 5/4), and to the ordinary generating function of polyominoes (which is conjectured to have a logarithmic singularity, i.e. exponent 1). We provide some numerical evidence for our claims, and evaluate some other statistical observables on our process, most notably the density of triple points.


title: Construction of Minkowski Sums by Cellular Automata

abstract: We give a construction in a column of a one-dimensional cellular automaton of the Minkowski sum of two sets which can themselves occur in columns of cellular automata. It enables us to obtain another construction of the set of integers that are sums of three squares, answering a question by the same author.


title: Local Limit Theorems for $q$-Multinomial and Multiple Heine Distributions

abstract: In this work we establish local limit theorems for q-multinomial and multiple Heine distributions. Specifically, the pointwise convergence of the q-multinomial distribution of the first kind, as well as for its discrete limit, the multiple Heine distribution, to a multivariate Stieltjes-Wigert type distribution, are provided.


title: From a local ring to its associated graded algebra

abstract: Let $(R,\mathfrak{m})$ be a complete local ring, and $G={\rm gr}_{\mathfrak{m}}(R)$ be its associated graded ring. We introduce a homogenization technique which allows to relate $G$ to the special fiber and $R$ to the generic fiber of a "Gr\"obner-like" deformation. Using this technique we prove sharp results concerning the connectedness of $R$ and $G$. We also construct a family of local domains which fail to satisfy Abhyankar's inequality for the Hilbert-Samuel multiplicity. However, we prove a version of the inequality which holds when $R$ is connected in codimension one.


title: Exploring Cross-Domain Few-Shot Classification via Frequency-Aware Prompting

abstract: Cross-Domain Few-Shot Learning has witnessed great stride with the development of meta-learning. However, most existing methods pay more attention to learning domain-adaptive inductive bias (meta-knowledge) through feature-wise manipulation or task diversity improvement while neglecting the phenomenon that deep networks tend to rely more on high-frequency cues to make the classification decision, which thus degenerates the robustness of learned inductive bias since high-frequency information is vulnerable and easy to be disturbed by noisy information. Hence in this paper, we make one of the first attempts to propose a Frequency-Aware Prompting method with mutual attention for Cross-Domain Few-Shot classification, which can let networks simulate the human visual perception of selecting different frequency cues when facing new recognition tasks. Specifically, a frequency-aware prompting mechanism is first proposed, in which high-frequency components of the decomposed source image are switched either with normal distribution sampling or zeroing to get frequency-aware augment samples. Then, a mutual attention module is designed to learn generalizable inductive bias under CD-FSL settings. More importantly, the proposed method is a plug-and-play module that can be directly applied to most off-the-shelf CD-FLS methods. Experimental results on CD-FSL benchmarks demonstrate the effectiveness of our proposed method as well as robustly improve the performance of existing CD-FLS methods. Resources at https://github.com/tinkez/FAP_CDFSC.


title: A variational symplectic scheme based on Simpson's quadrature

abstract: We propose a variational symplectic numerical method for the time integration of dynamical systems issued from the least action principle. We assume a quadratic internal interpolation of the state and we approximate the action in a small time step by the Simpson's quadrature formula. The resulting scheme is explicited for an elementary harmonic oscillator. It is a stable, explicit, and symplectic scheme satisfying the conservation of an approximate energy. Numerical tests illustrate our theoretical study.


title: Memory-Enhanced Neural Solvers for Efficient Adaptation in Combinatorial Optimization

abstract: Combinatorial Optimization is crucial to numerous real-world applications, yet still presents challenges due to its (NP-)hard nature. Amongst existing approaches, heuristics often offer the best trade-off between quality and scalability, making them suitable for industrial use. While Reinforcement Learning (RL) offers a flexible framework for designing heuristics, its adoption over handcrafted heuristics remains incomplete within industrial solvers. Existing learned methods still lack the ability to adapt to specific instances and fully leverage the available computational budget. The current best methods either rely on a collection of pre-trained policies, or on data-inefficient fine-tuning; hence failing to fully utilize newly available information within the constraints of the budget. In response, we present MEMENTO, an RL approach that leverages memory to improve the adaptation of neural solvers at inference time. MEMENTO enables updating the action distribution dynamically based on the outcome of previous decisions. We validate its effectiveness on benchmark problems, in particular Traveling Salesman and Capacitated Vehicle Routing, demonstrating it can successfully be combined with standard methods to boost their performance under a given budget, both in and out-of-distribution, improving their performance on all 12 evaluated tasks.


title: Spin order and dynamics in the topological rare-earth germanide semimetals

abstract: The $RE$Al(Si,Ge) ($RE$ = rare earth) family, known to break both the inversion- and time-reversal symmetries, represents one of the most suitable platforms for investigating the interplay between correlated-electron phenomena and topologically nontrivial bands. Here, we report on systematic magnetic, transport, and muon-spin rotation and relaxation ($\mu$SR) measurements on (Nd,Sm)AlGe single crystals, which exhibit antiferromagnetic (AFM) transitions at $T_\mathrm{N} = 6.1$ and 5.9 K, respectively. In addition, NdAlGe undergoes also an incommensurate-to-commensurate ferrimagnetic transition at 4.5 K. Weak transverse-field $\mu$SR measurements confirm the AFM transitions, featuring a $\sim$90 % magnetic volume fraction. In both cases, zero-field (ZF) $\mu$SR measurements reveal a more disordered internal field distribution in NdAlGe than in SmAlGe, reflected in a larger transverse muon-spin relaxation rate $\lambda^\mathrm{T}$ at $T \ll T_\mathrm{N}$. This may be due to the complex magnetic structure of NdAlGe, which undergoes a series of metamagnetic transitions in an external magnetic field, while SmAlGe shows only a robust AFM order. In NdAlGe, the topological Hall effect (THE) appears between the first and the second metamagnetic transitions for $H \parallel c$, while it is absent in SmAlGe. Such THE in NdAlGe is most likely attributed to the field-induced topological spin textures. The longitudinal muon-spin relaxation rate $\lambda^\mathrm{L}(T)$, diverges near the AFM order, followed by a clear drop at $T < T_\mathrm{N}$. In the magnetically ordered state, spin fluctuations are significantly stronger in NdAlGe than in SmAlGe. In general, our longitudinal-field $\mu$SR data indicate vigorous spin fluctuations in NdAlGe, thus providing valuable insights into the origin of THE and of the possible topological spin textures in $RE$Al(Si,Ge) Weyl semimetals.


title: Fault Detection for agents on power grid topology optimization: A Comprehensive analysis

abstract: The topology optimization of transmission networks using Deep Reinforcement Learning (DRL) has increasingly come into focus. Various researchers have proposed different DRL agents, which are often benchmarked on the Grid2Op environment from the Learning to Run a Power Network (L2RPN) challenges. The environments have many advantages with their realistic chronics and underlying power flow backends. However, the interpretation of agent survival or failure is not always clear, as there are a variety of potential causes. In this work, we focus on the failures of the power grid to identify patterns and detect them a priori. We collect the failed chronics of three different agents on the WCCI 2022 L2RPN environment, totaling about 40k data points. By clustering, we are able to detect five distinct clusters, identifying different failure types. Further, we propose a multi-class prediction approach to detect failures beforehand and evaluate five different models. Here, the Light Gradient-Boosting Machine (LightGBM) shows the best performance, with an accuracy of 86%. It also correctly identifies in 91% of the time failure and survival observations. Finally, we provide a detailed feature importance analysis that identifies critical features and regions in the grid.


title: Dynamic Pseudo Label Optimization in Point-Supervised Nuclei Segmentation

abstract: Deep learning has achieved impressive results in nuclei segmentation, but the massive requirement for pixel-wise labels remains a significant challenge. To alleviate the annotation burden, existing methods generate pseudo masks for model training using point labels. However, the generated masks are inevitably different from the ground truth, and these dissimilarities are not handled reasonably during the network training, resulting in the subpar performance of the segmentation model. To tackle this issue, we propose a framework named DoNuSeg, enabling \textbf{D}ynamic pseudo label \textbf{O}ptimization in point-supervised \textbf{Nu}clei \textbf{Seg}mentation. Specifically, DoNuSeg takes advantage of class activation maps (CAMs) to adaptively capture regions with semantics similar to annotated points. To leverage semantic diversity in the hierarchical feature levels, we design a dynamic selection module to choose the optimal one among CAMs from different encoder blocks as pseudo masks. Meanwhile, a CAM-guided contrastive module is proposed to further enhance the accuracy of pseudo masks. In addition to exploiting the semantic information provided by CAMs, we consider location priors inherent to point labels, developing a task-decoupled structure for effectively differentiating nuclei. Extensive experiments demonstrate that DoNuSeg outperforms state-of-the-art point-supervised methods. The code is available at https://github.com/shinning0821/MICCAI24-DoNuSeg.


title: On CR maps from the sphere into the tube over the future light cone II: Higher dimensions

abstract: We determine all CR maps from the sphere in $\mathbb{C}^3$ into the tube over the future light cone in $\mathbb{C}^4$. This result leads to a complete characterization of proper holomorphic maps from the three-dimensional unit ball into the classical domain of type IV of four dimension and confirms a conjecture of Reiter - Son in [26] from 2022. Additionally, we prove a boundary characterization of isometric holomorphic embeddings from a ball into a classical domain of type IV in arbitrary dimensions that is similar to the main result in Huang - Lu - Tang - Xiao [16]. The result is then used to treat a special case in the general characterization.


title: Revisiting the nuclear magnetic octupole moment

abstract: The nuclear magnetic octupole moment is revisited as a potentially useful observable for nuclear structure studies. The magnetic octupole moment, $\Omega$, is examined in terms of the nuclear collective model including weak and strong coupling. Single-particle formulation is additionally considered in the overall comparison of theoretical predictions with available experimental data. Mirror nuclei symmetry is examined in terms of the magnetic octupole moment isoscalar and isovector terms. A full list of predictions for $\Omega$ of odd-proton and odd-neutron nuclei in medium-heavy mass regimes of the nuclear chart is produced aiming at providing starting values for future experimental endeavors.


title: On the existence of conic Sasaki-Einstein metrics on log Fano Sasakian manifolds of dimension five

abstract: In this paper, we derive the uniform L^{4}-bound of the transverse conic Ricci curvature along the conic Sasaki-Ricci flow on a compact transverse log Fano Sasakian manifold M of dimension five and the space of leaves of the characteristic foliation is not well-formed. Then we first show that any solution of the conic Sasaki-Ricci flow converges in the Cheeger-Gromov sense to the unique singular orbifold conic Sasaki-Ricci soliton on M_{infinite} which is a S^{1}-orbibundle over the unique singular conic Keahler-Ricci soliton on a log del Pezzo orbifold surface. As a consequence, there exists a Keahler-Ricci soliton orbifold metric on its leave space which is a log del Pezzo orbifold surface. Second, we show that the conic Sasaki-Ricci soliton is the conic Sasaki-Einstein if M is transverse log K-polystable. In summary, we have the existence theorems of orbifold Sasaki-Ricci solitons and Sasaki-Einstein metrics on a compact quasi-regular Sasakian manifold of dimension five.


title: A ROOT based detector geometry and event visualization system for JUNO-TAO

abstract: The Taishan Antineutrino Observatory (TAO or JUNO-TAO) is a satellite experiment of Jiangmen Underground Neutrino Observatory (JUNO) and located near the Taishan nuclear power plant (NPP). TAO will measure the energy spectrum of reactor antineutrinos with unprecedented precision, which will benefit both reactor neutrino physics and the nuclear database. A detector geometry and event visualization system has been developed for TAO. The software is based on ROOT packages and embedded in the TAO offline software framework. It provides an intuitive tool to visualize the detector geometry, tune the reconstruction algorithm, understand the neutrino physics, and monitor the operation of reactors at NPP. The further applications of the visualization system in the experimental operation of TAO and its future development are also discussed.


title: Factor-critical graphs and dstab, astab for an edge ideal

abstract: Let $G$ be a simple, connected non bipartite graph and let $I_G$ be the edge idealof $G$. In our previous work we showed that L. Lov\'asz's theorem on ear decompositions offactor-critical graphs and the canonical decomposition of a graph given by Edmonds and Gallai are basic tools for the irreducible decomposition of $I^{k}_G$. In this paper we use some tools from graph theory, mainly Withney's theorem on ear decompositions of 2-edge connected graphs in order to introduce a new method to make a graph factor-critical. We can describe the set $\cup_ {k=1}^{\infty}{\rm Ass} (I^{k}_G)$ in terms of some subsets of $G$. We give explicit formulas for the numbers astab$(I_G)$ and dstab$(I_G)$, which are, respectively, the smallest number $k$ such that ${\rm Ass} (I^{k}_G)= {\rm Ass} (I^{k+i}_G)$ for all $i\geq 0$ and the smallest number $k$ such that the maximal ideal belongs to ${\rm Ass}(I^{k}_G)$. We also give very simple upper bounds for astab$(I_G)$ and dstab$(I_G)$.


title: Multiscale Mechanical Modeling of Skeletal Muscle: A Systemic Review of the Literature

abstract: Purpose: From the myofibrils to the whole muscle scale, muscle micro-constituents exhibit passive and active mechanical properties, potentially coupled to electrical, chemical, and thermal properties. Experimental characterization of some of these properties is currently not available for all muscle constituents. Multiscale multiphysics models have recently gained interest as a numerical alternative to investigate the healthy and diseased physiological behavior of the skeletal muscle. Methods: This paper refers to the multiscale mechanical models proposed in the literature to investigate the mechanical properties and behavior of skeletal muscles. More specifically, we focus on the scale transition methods, constitutive laws and experimental data implemented in these models. Results: Using scale transition methods such as homogenization, coupled to appropriate constitutive behavior of the constituents, these models explore the mechanisms of ageing, myopathies, sportive injuries, and muscle contraction. Conclusion: Emerging trends include the development of multiphysics simulations and the coupling of modeling with the acquisition of experimental data at different scales, with increasing focus to little known constituents such as the extracellular matrix and the protein titin.