title: In-in formalism for the entropy of quantum fields in curved spacetimes

abstract: We show how to compute the purity and entanglement entropy for quantum fields in a systematic perturbative expansion. To that end, we generalize the in-in formalism to non-unitary dynamics (i.e. accounting for the presence of an environment) and to the calculation of quantum information measures, which are not observables in the usual sense. This allows us to reduce the problem to one involving standard correlation functions, and to organize their computation in a diagrammatic expansion for which we construct the corresponding Feynman rules. As an illustration, we apply the formalism to a cosmological setting inspired by the effective field theory of inflation. We find that at late times, non-linear loop corrections share the same time behavior as the linear contribution, and only yield a slight redressing of the purity. In particular, when the environment is heavy compared to the Hubble scale, the phenomenon of recoherence previously encountered is robust to the class of non-linear extensions considered. Bridging the gap between perturbative quantum field theory and open quantum systems paves the way to a better understanding of renormalization and resummation in open effective field theories. It also enables a more systematic exploration of quantum information properties in field theoretic settings.


title: A Hilton-Milner theorem for exterior algebras

abstract: Recent work of Scott and Wilmer and of Woodroofe extends the Erd\H{o}s-Ko-Rado theorem from set systems to subspaces of k-forms in an exterior algebra. We prove an extension of the Hilton-Milner theorem to the exterior algebra setting, answering in a strong way a question asked by these authors.


title: Depth-Driven Geometric Prompt Learning for Laparoscopic Liver Landmark Detection

abstract: Laparoscopic liver surgery poses a complex intraoperative dynamic environment for surgeons, where remains a significant challenge to distinguish critical or even hidden structures inside the liver. Liver anatomical landmarks, e.g., ridge and ligament, serve as important markers for 2D-3D alignment, which can significantly enhance the spatial perception of surgeons for precise surgery. To facilitate the detection of laparoscopic liver landmarks, we collect a novel dataset called L3D, which comprises 1,152 frames with elaborated landmark annotations from surgical videos of 39 patients across two medical sites. For benchmarking purposes, 12 mainstream detection methods are selected and comprehensively evaluated on L3D. Further, we propose a depth-driven geometric prompt learning network, namely D2GPLand. Specifically, we design a Depth-aware Prompt Embedding (DPE) module that is guided by self-supervised prompts and generates semantically relevant geometric information with the benefit of global depth cues extracted from SAM-based features. Additionally, a Semantic-specific Geometric Augmentation (SGA) scheme is introduced to efficiently merge RGB-D spatial and geometric information through reverse anatomic perception. The experimental results indicate that D2GPLand obtains state-of-the-art performance on L3D, with 63.52% DICE and 48.68% IoU scores. Together with 2D-3D fusion technology, our method can directly provide the surgeon with intuitive guidance information in laparoscopic scenarios.


title: Grading Assistance for a Handwritten Thermodynamics Exam using Artificial Intelligence: An Exploratory Study

abstract: Using a high-stakes thermodynamics exam as sample (252~students, four multipart problems), we investigate the viability of four workflows for AI-assisted grading of handwritten student solutions. We find that the greatest challenge lies in converting handwritten answers into a machine-readable format. The granularity of grading criteria also influences grading performance: employing a fine-grained rubric for entire problems often leads to bookkeeping errors and grading failures, while grading problems in parts is more reliable but tends to miss nuances. We also found that grading hand-drawn graphics, such as process diagrams, is less reliable than mathematical derivations due to the difficulty in differentiating essential details from extraneous information. Although the system is precise in identifying exams that meet passing criteria, exams with failing grades still require human grading. We conclude with recommendations to overcome some of the encountered challenges.


title: Quantum inequalities for quantum black holes

abstract: We formulate spacetime inequalities applicable to quantum-corrected black holes to all orders of backreaction in semiclassical gravity. Namely, we propose refined versions of the quantum Penrose and reverse isoperimetric inequalities, valid for all known three-dimensional asymptotically anti-de Sitter quantum black holes. Previous proposals of the quantum Penrose inequality apply in higher dimensions but fail when applied in three dimensions beyond the perturbative regime. Our quantum Penrose inequality, valid in three dimensions, holds at all orders of backreaction. This suggests cosmic censorship must exist in non-perturbative semiclassical gravity. Our quantum reverse isoperimetric inequality implies a maximum entropy state for quantum black holes at fixed volume.


title: Discrete dark matter with light Dirac neutrinos

abstract: We propose a new realisation of light Dirac neutrino mass and dark matter (DM) within the framework of a non-Abelian discrete flavour symmetry $A_4$. In addition to $A_4$, we also consider a $Z_2$ and an unbroken global lepton number symmetry $U(1)_L$ to keep unwanted terms away while guaranteeing the Dirac nature of light neutrinos. The field content, their transformations and flavon vacuum alignments are chosen in such a way that the type-I Dirac seesaw generates only one light Dirac neutrino mass while the other two masses arise from scotogenic contributions at one-loop. The symmetry breaking of $A_4$ leaves a remnant $\mathcal{Z}_2$ symmetry responsible for stabilising DM. Dirac nature of light neutrinos introduces additional relativistic degrees of freedom $\Delta N_{\rm eff}$ within reach of cosmic microwave background experiments.


title: ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST

abstract: This paper presents Efficient SMT-Based Context-Bounded Model Checker (ESBMC) v7.6, an extended version based on previous work on ESBMC v7.3 by K. Song et al. The v7.3 introduced a new Clang-based C++ front-end to address the challenges posed by modern C++ programs. Although the new front-end has demonstrated significant potential in previous studies, it remains in the developmental stage and lacks several essential features. ESBMC v7.6 further enhanced this foundation by adding and extending features based on the Clang AST, such as 1) exception handling, 2) extended memory management and memory safety verification, including dangling pointers, duplicate deallocation, memory leaks and rvalue references and 3) new operational models for STL updating the outdated C++ operational models. Our extensive experiments demonstrate that ESBMC v7.6 can handle a significantly broader range of C++ features introduced in recent versions of the C++ standard.


title: What type of inference is planning?

abstract: Multiple types of inference are available for probabilistic graphical models, e.g., marginal, maximum-a-posteriori, and even marginal maximum-a-posteriori. Which one do researchers mean when they talk about "planning as inference"? There is no consistency in the literature, different types are used, and their ability to do planning is further entangled with specific approximations or additional constraints. In this work we use the variational framework to show that all commonly used types of inference correspond to different weightings of the entropy terms in the variational problem, and that planning corresponds _exactly_ to a _different_ set of weights. This means that all the tricks of variational inference are readily applicable to planning. We develop an analogue of loopy belief propagation that allows us to perform approximate planning in factored state Markov decisions processes without incurring intractability due to the exponentially large state space. The variational perspective shows that the previous types of inference for planning are only adequate in environments with low stochasticity, and allows us to characterize each type by its own merits, disentangling the type of inference from the additional approximations that its practical use requires. We validate these results empirically on synthetic MDPs and tasks posed in the International Planning Competition.


title: AI Risk Categorization Decoded (AIR 2024): From Government Regulations to Corporate Policies

abstract: We present a comprehensive AI risk taxonomy derived from eight government policies from the European Union, United States, and China and 16 company policies worldwide, making a significant step towards establishing a unified language for generative AI safety evaluation. We identify 314 unique risk categories organized into a four-tiered taxonomy. At the highest level, this taxonomy encompasses System & Operational Risks, Content Safety Risks, Societal Risks, and Legal & Rights Risks. The taxonomy establishes connections between various descriptions and approaches to risk, highlighting the overlaps and discrepancies between public and private sector conceptions of risk. By providing this unified framework, we aim to advance AI safety through information sharing across sectors and the promotion of best practices in risk mitigation for generative AI models and systems.


title: Equivalence of dynamics of disordered quantum ensembles and semi-infinite lattices

abstract: We develop a formalism for mapping the exact dynamics of an ensemble of disordered quantum systems onto the dynamics of a single particle propagating along a semi-infinite lattice, with parameters determined by the probability distribution of disorder realizations of the original heterogeneous quantum ensemble. This mapping provides a geometric interpretation on the loss of coherence when averaging over the ensemble and allows computation of the exact dynamics of the entire disordered ensemble in a single simulation. Alternatively, by exploiting the reverse map, one can obtain lattice dynamics by averaging over realisations of disorder. The potential of this equivalence is showcased with examples of the map in both directions: obtaining dephasing of a qubit via mapping to a lattice model, and solving a simple lattice model via taking an average over realizations of disorder of a unit cell.


title: Correlated mid-infrared and X-ray outbursts in black hole X-ray binaries: A new route to discovery in infrared surveys

abstract: The mid-infrared (MIR; $\lambda\simeq3 - 10\mu$m) bands offer a unique window into understanding accretion and its interplay with jet formation in Galactic black hole X-ray binaries (BHXRBs). Although extremely difficult to observe from the ground, the NEOWISE time domain survey offers an excellent data set to study MIR variability when combined with contemporaneous X-ray data from the MAXI all-sky survey over a $\approx15$ yr baseline. Using a new forced photometry pipeline for NEOWISE data, we present the first systematic study of BHXRB MIR variability in outburst. Analyzing a sample of 16 sources detected in NEOWISE, we show variability trends in the X-ray hardness and MIR spectral index wherein i) the MIR bands are typically dominated by jet emission during the hard states, constraining the electron power spectrum index to $p \approx 1-4$ in the optically thin regime and indicating emitting regions of a few tens of gravitational radii when evolving towards a flat spectrum, ii) the MIR luminosity ($L_{IR}$) scales as $L_{IR}\propto L_X^{0.82\pm0.12}$ with the $2-10$ keV X-ray luminosity ($L_X$) in the hard state, consistent with its origin in a jet, and iii) the thermal disk emission dominates the soft state as the jet switches off and dramatically suppresses ($\gtrsim 10\times$) the MIR emission into a inverted spectrum ($\alpha\approx -1$, where $F_\nu\propto\nu^{-\alpha}$). We highlight a population of `mini' BHXRB outbursts detected in NEOWISE (including two previously unreported episodes in MAXI J1828-249) but missed in MAXI due to their faint fluxes or source confusion, exhibiting MIR spectral indices suggestive of thermal emission from a large outer disk. We highlight that upcoming IR surveys and the Rubin observatory will be powerful discovery engines for the distinctively large amplitude and long-lived outbursts of BHXRBs, as an independent discovery route to X-ray monitors.


title: The Repetition Threshold for Rote Sequences

abstract: We consider Rote words, which are infinite binary words with factor complexity $2n$. We prove that the repetition threshold for this class is $5/2$. Our technique is purely computational, using the Walnut theorem prover and a new technique for generating automata from morphisms due to the first author and his co-authors.


title: Atom Optics with Cold Bosons

abstract: Trapped bosonic atoms can be cooled down to temperatures where the atomic cloud experiences Bose-Einstein condensation. Almost all atoms in a dilute gaseous system can be Bose-condensed, which implies that this system is in a coherent state. The coherent atomic system enjoys many properties typical of coherent optical systems. It is possible to generate different condensate coherent modes similarly to the generation of optical modes. Several effects can be observed, such as interference patterns, interference current, Rabi oscillations, harmonic generation, parametric conversion, Ramsey fringes, mode locking, dynamic transition between Rabi and Josephson regimes, and atomic squeezing.


title: Burst Image Super-Resolution with Base Frame Selection

abstract: Burst image super-resolution has been a topic of active research in recent years due to its ability to obtain a high-resolution image by using complementary information between multiple frames in the burst. In this work, we explore using burst shots with non-uniform exposures to confront real-world practical scenarios by introducing a new benchmark dataset, dubbed Non-uniformly Exposed Burst Image (NEBI), that includes the burst frames at varying exposure times to obtain a broader range of irradiance and motion characteristics within a scene. As burst shots with non-uniform exposures exhibit varying levels of degradation, fusing information of the burst shots into the first frame as a base frame may not result in optimal image quality. To address this limitation, we propose a Frame Selection Network (FSN) for non-uniform scenarios. This network seamlessly integrates into existing super-resolution methods in a plug-and-play manner with low computational costs. The comparative analysis reveals the effectiveness of the nonuniform setting for the practical scenario and our FSN on synthetic-/real- NEBI datasets.


title: Equidistant dimension of Johnson and Kneser graphs

abstract: In this paper the recently introduced concept of equidistant dimension $eqdim(G)$ of graph $G$ is considered. Useful property of distance-equalizer set of arbitrary graph $G$ has been established. For Johnson graphs $J_{n,2}$ and Kneser graphs $K_{n,2}$ exact values for $eqdim(J_{n,2})$ and $eqdim(K_{n,2})$ have been derived, while for Johnson graphs $J_{n,3}$ it is proved that $eqdim(J_{n,3}) \le n-2$. Finally, exact value of $eqdim(J_{2k,k})$ for odd $k$ has been presented.


title: Revisiting the Expressiveness Landscape of Data Graph Queries

abstract: The study of graph queries in database theory has spanned more than three decades, resulting in a multitude of proposals for graph query languages. These languages differ in the mechanisms. We can identify three main families of languages, with the canonical representatives being: (1) regular path queries, (2) walk logic, and (3) first-order logic with transitive closure operators. This paper provides a complete picture of the expressive power of these languages in the context of data graphs. Specifically, we consider a graph data model that supports querying over both data and topology. For example, "Does there exist a path between two different persons in a social network with the same last name?". We also show that an extension of (1), augmented with transitive closure operators, can unify the expressivity of (1)--(3) without increasing the query evaluation complexity.


title: Analysis of the Causes of Car Accidents in the United States of America in 2023: Gauge People Understanding of Data Visualisation

abstract: This paper presents a comprehensive examination of interactive data visualization tools and their efficacy in the context of United States car accident data for the year 2023. We developed interactive heatmaps, histograms, and pie charts to enhance the understanding of accident severity distribution over time and location. Our research included the creation and distribution of an online survey, consisting of nine questions designed to test participants comprehension of the presented data. Fifteen respondents were recruited to complete the survey, with the intent of assessing the effectiveness of both static and interactive versions of each visualization tool. The results indicated that participants using interactive heatmaps showed a greater understanding of the data, as compared to those using histograms and pie charts. In contrast, no notable difference in comprehension was observed between users of static and interactive histograms. Unexpectedly, static pie charts were found to be slightly more effective than their interactive counterparts. These findings suggest that while interactive visualizations can be powerful, their utility may vary depending on the type and complexity of the data presented. Future research is recommended to explore the influence of socioeconomic factors on the understanding of car accident data, potentially leading to more tailored and effective visualization strategies. This could provide deeper insights into the patterns and causes of car accidents, facilitating better-informed decision-making for stakeholders. Visit our website to explore our interactive plots and engage directly with the data for a more comprehensive understanding of our findings.


title: Improving Arithmetic Reasoning Ability of Large Language Models through Relation Tuples, Verification and Dynamic Feedback

abstract: Current representations used in reasoning steps of large language models can mostly be categorized into two main types: (1) natural language, which is difficult to verify; and (2) non-natural language, usually programming code, which is difficult for people who are unfamiliar with coding to read. In this paper, we propose to use a semi-structured form to represent reasoning steps of large language models. Specifically, we use relation tuples, which are not only human-readable but also machine-friendly and easier to verify than natural language. We implement a framework that includes three main components: (1) introducing relation tuples into the reasoning steps of large language models; (2) implementing an automatic verification process of reasoning steps with a local code interpreter based on relation tuples; and (3) integrating a simple and effective dynamic feedback mechanism, which we found helpful for self-improvement of large language models. The experimental results on various arithmetic datasets demonstrate the effectiveness of our method in improving the arithmetic reasoning ability of large language models. The source code is available at https://github.com/gpgg/art.


title: Central limits from generating functions

abstract: Let $(Y_n)_n$ be a sequence of $\mathbb{R}^d$-valued random variables. Suppose that the generating function \[f(x, z) = \sum_{n = 0}^\infty \varphi_{Y_n}(x) z^n,\] where $\varphi_{Y_n}$ is the characteristic function of $Y_n$, extends to a function on a neighborhood of $\{0\} \times \{z : |z| \leq 1\} \subset \mathbb{R}^d \times \mathbb{C}$ which is meromorphic in $z$ and has no zeroes. We prove that if $1 / f(x, z)$ is twice differentiable, then there exists a constant $\mu$ such that the distribution of $(Y_n - \mu n) / \sqrt{n}$ converges weakly to a normal distribution as $n \to \infty$. If $Y_n = X_1 + \cdots + X_n$, where $(X_n)_n$ are i.i.d. random variables, then we recover the classical (Lindeberg$\unicode{x2013}$L\'evy) central limit theorem. We also prove the 2020 conjecture of Defant that if $\pi_n \in \mathfrak{S}_n$ is a uniformly random permutation, then the distribution of $(\operatorname{des} (s(\pi_n)) + 1 - (3 - e) n) / \sqrt{n}$ converges, as $n \to \infty$, to a normal distribution with variance $2 + 2e - e^2$.


title: Cloaked Classifiers: Pseudonymization Strategies on Sensitive Classification Tasks

abstract: Protecting privacy is essential when sharing data, particularly in the case of an online radicalization dataset that may contain personal information. In this paper, we explore the balance between preserving data usefulness and ensuring robust privacy safeguards, since regulations like the European GDPR shape how personal information must be handled. We share our method for manually pseudonymizing a multilingual radicalization dataset, ensuring performance comparable to the original data. Furthermore, we highlight the importance of establishing comprehensive guidelines for processing sensitive NLP data by sharing our complete pseudonymization process, our guidelines, the challenges we encountered as well as the resulting dataset.


title: ET tu, CLIP? Addressing Common Object Errors for Unseen Environments

abstract: We introduce a simple method that employs pre-trained CLIP encoders to enhance model generalization in the ALFRED task. In contrast to previous literature where CLIP replaces the visual encoder, we suggest using CLIP as an additional module through an auxiliary object detection objective. We validate our method on the recently proposed Episodic Transformer architecture and demonstrate that incorporating CLIP improves task performance on the unseen validation set. Additionally, our analysis results support that CLIP especially helps with leveraging object descriptions, detecting small objects, and interpreting rare words.


title: Equity-aware Load Shedding Optimization

abstract: Load shedding is usually the last resort to balance generation and demand to maintain stable operation of the electric grid after major disturbances. Current load-shedding optimization practices focus mainly on the physical optimality of the network power flow. This might lead to an uneven allocation of load curtailment, disadvantaging some loads more than others. Addressing this oversight, this paper introduces an innovative equity-aware load-shedding optimization model that emphasizes a fair allocation of load curtailment across the network. By proposing a novel equity indicator for load shedding and integrating it into an ACOPF-based optimization framework, we offer grid operators a more balanced and equitable load shedding strategy. Case studies highlight the importance of equity considerations in determining optimal load curtailment between buses.


title: NoX: a Compact Open-Source RISC-V Processor for Multi-Processor Systems-on-Chip

abstract: IoT applications are one of the driving forces in making systems energy and power-efficient, given their resource constraints. However, because of security, latency, and transmission, we advocate for local computing through multi-processor systems-on-chip (MPSoCs) for edge computing. The RISC-V ISA has grown in academia and industry due to its flexibility. Still, available open-source cores cannot be seamlessly integrated into MPSoCs for a fast time to market. This paper presents NoX, a compact open-source plug-and-play 32-bit RISC-V core designed in System Verilog for efficient data processing in MPSoCs. NoX has a 4-stage single-issue in-order pipeline with full bypass, providing an efficient resource-constrained architecture. Compared to industry and academia resource-constrained RISC-V cores, NoX offers a better resource usage and performance trade-off.


title: On the Two-parameter Matrix pencil Problem

abstract: The multiparameter matrix pencil problem (MPP) is a generalization of the one-parameter MPP: given a set of $m\times n$ complex matrices $A_0,\ldots, A_r$, with $m\ge n+r-1$, it is required to find all complex scalars $\lambda_0,\ldots,\lambda_r$, not all zero, such that the matrix pencil $A(\lambda)=\sum_{i=0}^r\lambda_iA_i$ loses column rank and the corresponding nonzero complex vector $x$ such that $A(\lambda)x=0$. This problem is related to the well-known multiparameter eigenvalue problem except that there is only one pencil and, crucially, the matrices are not necessarily square. In this paper, we give a full solution to the two-parameter MPP. Firstly, an inflation process is implemented to show that the two-parameter MPP is equivalent to a set of three $m^2\times n^2$ simultaneous one-parameter MPPs. These problems are given in terms of Kronecker commutator operators (involving the original matrices) which exhibit several symmetries. These symmetries are analysed and are then used to deflate the dimensions of the one-parameter MPPs to $\frac{m(m-1)}{2}\times\frac{n(n+1)}{2}$ thus simplifying their numerical solution. In the case that $m=n+1$ it is shown that the two-parameter MPP has at least one solution and generically $\frac{n(n+1)}{2}$ solutions and furthermore that, under a rank assumption, the Kronecker determinant operators satisfy a commutativity property. This is then used to show that the two-parameter MPP is equivalent to a set of three simultaneous eigenvalue problems. A general solution algorithm is presented and numerical examples are given to outline the procedure of the proposed algorithm.


title: MLLM as Video Narrator: Mitigating Modality Imbalance in Video Moment Retrieval

abstract: Video Moment Retrieval (VMR) aims to localize a specific temporal segment within an untrimmed long video given a natural language query. Existing methods often suffer from inadequate training annotations, i.e., the sentence typically matches with a fraction of the prominent video content in the foreground with limited wording diversity. This intrinsic modality imbalance leaves a considerable portion of visual information remaining unaligned with text. It confines the cross-modal alignment knowledge within the scope of a limited text corpus, thereby leading to sub-optimal visual-textual modeling and poor generalizability. By leveraging the visual-textual understanding capability of multi-modal large language models (MLLM), in this work, we take an MLLM as a video narrator to generate plausible textual descriptions of the video, thereby mitigating the modality imbalance and boosting the temporal localization. To effectively maintain temporal sensibility for localization, we design to get text narratives for each certain video timestamp and construct a structured text paragraph with time information, which is temporally aligned with the visual content. Then we perform cross-modal feature merging between the temporal-aware narratives and corresponding video temporal features to produce semantic-enhanced video representation sequences for query localization. Subsequently, we introduce a uni-modal narrative-query matching mechanism, which encourages the model to extract complementary information from contextual cohesive descriptions for improved retrieval. Extensive experiments on two benchmarks show the effectiveness and generalizability of our proposed method.


title: The Orbit and Mass of the Cepheid AW Per

abstract: The Cepheid AW Per is a component in a multiple system with a long period orbit. The radial velocities of Griffin (2016) cover the 38 year orbit well. An extensive program of interferometry with the CHARA array is reported here, from which the long period orbit is determined. In addition, a {\it Hubble Space Telescope} high resolution spectrum in the ultraviolet demonstrates that the companion is itself a binary with nearly equal mass components. These data combined with a distance from {\it Gaia} provide a mass of the Cepheid (primary) of M$_1$ = 6.79 $\pm$ 0.85 $M_\odot$. The combined mass of the secondary is M$_S$ = 8.79 $\pm$ 0.50 $M_\odot$. The accuracy of the mass will be improved after the fourth Gaia data release expected in approximately two years.


title: Cyber Security Operations Educational Gamification Application Listing

abstract: This listing contains a total of 80 gamification applications (GA)s used in cyber security operations (CSO) undergraduate education, from 74 publications, published between 2007 and June 2022. The listing outlines each GA identified and provides a short overview of each. This listing serves as both a comprehensive repository of existing GAs in cybersecurity undergraduate education, and as a starting point for adding new CSO GAs to the list. Contact the first author to add a CSO GA to the next version of the list.


title: Quantification of Cyclic Topology in Polymer Networks Using 3D Nets

abstract: Polymer networks invariably possess topological inhomogeneities in the form of loops and dangling ends. The macroscopic properties of such materials are directly dependent on the local cyclic topology around nodes and chains. Here, a new formalism to model polymer network topology is presented based on the concept of 3D nets that enables computation of these local cyclic topologies. A cycle counting algorithm is developed which characterizes the relevant local topological cycles around every node, enabling comparison of networks to ideal nets based on local cycle distributions. Comparison of networks formed by different simulation algorithms, using a topology-based distance metric, reveals that polymer networks possess a fundamental cycle size which depends on the topological proximity of crosslinkers during bond formation. This parameter identifies distinct topological classes of networks and provides an effective method to simulate a wide array of networks starting from suitable 3D nets. This approach can be readily generalized beyond polymer networks, enabling quantification of the cyclic topology and facilitating study of topology-property correlations.


title: Neutrosophic Birnbaum-Saunders distribution with applications

abstract: Classical statistics deals with determined and precise data analysis. But in reality, there are many cases where the information is not accurate and a degree of impreciseness, uncertainty, incompleteness, and vagueness is observed. In these situations, uncertainties can make classical statistics less accurate. That is where neutrosophic statistics steps in to improve accuracy in data analysis. In this article, we consider the Birnbaum-Saunders distribution (BSD) which is very flexible and practical for real world data modeling. By integrating the neutrosophic concept, we improve the BSD's ability to manage uncertainty effectively. In addition, we provide maximum likelihood parameter estimates. Subsequently, we illustrate the practical advantages of the neutrosophic model using two cases from the industrial and environmental fields. This paper emphasizes the significance of the neutrosophic BSD as a robust solution for modeling and analysing imprecise data, filling a crucial gap left by classical statistical methods.


title: Enabling Regional Explainability by Automatic and Model-agnostic Rule Extraction

abstract: In Explainable AI, rule extraction translates model knowledge into logical rules, such as IF-THEN statements, crucial for understanding patterns learned by black-box models. This could significantly aid in fields like disease diagnosis, disease progression estimation, or drug discovery. However, such application domains often contain imbalanced data, with the class of interest underrepresented. Existing methods inevitably compromise the performance of rules for the minor class to maximise the overall performance. As the first attempt in this field, we propose a model-agnostic approach for extracting rules from specific subgroups of data, featuring automatic rule generation for numerical features. This method enhances the regional explainability of machine learning models and offers wider applicability compared to existing methods. We additionally introduce a new method for selecting features to compose rules, reducing computational costs in high-dimensional spaces. Experiments across various datasets and models demonstrate the effectiveness of our methods.


title: CHARA/Silmaril Instrument Software and Data Reduction Pipeline: Characterization of the Instrument in the Lab and On-Sky

abstract: The newly installed Silmaril beam combiner at the CHARA array is designed to observe previously inaccessible faint targets, including Active Galactic Nuclei and T-Tauri Young Stellar Objects. Silmaril leverages cutting-edge optical design, low readout noise, and a high-speed C-RED1 camera to realize its sensitivity objectives. In this presentation, we offer a comprehensive overview of the instrument's software, which manages critical functions, including camera data acquisition, fringe tracking, automatic instrument alignment, and observing interfaces, all aimed at optimizing on-sky data collection. Additionally, we offer an outline of the data reduction pipeline, responsible for converting raw instrument data products into the final OIFITS used by the standard interferometry modeling software. The purpose of this paper is to provide a solid reference for studies based on Silmaril data.


title: Federated Dynamical Low-Rank Training with Global Loss Convergence Guarantees

abstract: In this work, we propose a federated dynamical low-rank training (FeDLRT) scheme to reduce client compute and communication costs - two significant performance bottlenecks in horizontal federated learning. Our method builds upon dynamical low-rank splitting schemes for manifold-constrained optimization to create a global low-rank basis of network weights, which enables client training on a small coefficient matrix. A consistent global low-rank basis allows us to incorporate a variance correction scheme and prove global loss descent and convergence to a stationary point. Dynamic augmentation and truncation of the low-rank bases automatically optimizes computing and communication resource utilization. We demonstrate the efficiency of FeDLRT in an array of computer vision benchmarks and show a reduction of client compute and communication costs by up to an order of magnitude with minimal impacts on global accuracy.


title: CTBench: A Comprehensive Benchmark for Evaluating Language Model Capabilities in Clinical Trial Design

abstract: CTBench is introduced as a benchmark to assess language models (LMs) in aiding clinical study design. Given study-specific metadata, CTBench evaluates AI models' ability to determine the baseline features of a clinical trial (CT), which include demographic and relevant features collected at the trial's start from all participants. These baseline features, typically presented in CT publications (often as Table 1), are crucial for characterizing study cohorts and validating results. Baseline features, including confounders and covariates, are also necessary for accurate treatment effect estimation in studies involving observational data. CTBench consists of two datasets: "CT-Repo," containing baseline features from 1,690 clinical trials sourced from clinicaltrials.gov, and "CT-Pub," a subset of 100 trials with more comprehensive baseline features gathered from relevant publications. Two LM-based evaluation methods are developed to compare the actual baseline feature lists against LM-generated responses. "ListMatch-LM" and "ListMatch-BERT" use GPT-4o and BERT scores (at various thresholds), respectively, for evaluation. To establish baseline results, advanced prompt engineering techniques using LLaMa3-70B-Instruct and GPT-4o in zero-shot and three-shot learning settings are applied to generate potential baseline features. The performance of GPT-4o as an evaluator is validated through human-in-the-loop evaluations on the CT-Pub dataset, where clinical experts confirm matches between actual and LM-generated features. The results highlight a promising direction with significant potential for improvement, positioning CTBench as a useful tool for advancing research on AI in CT design and potentially enhancing the efficacy and robustness of CTs.


title: Matching the Weak Mixing Angle at Low Energies

abstract: The running weak mixing angle is used as a convenient tool to keep control of dominating logarithmic corrections in the Standard Model of the electroweak interactions connecting measurements at largely differing energy scales. To relate the solutions of the renormalization group equation for the weak mixing angle above and below particle thresholds one needs matching conditions. We suggest to define the matching at the W-boson threshold by comparing the full Standard Model with a low-energy effective theory where the weak neutral current, in particular for parity-violating fermion scattering, is described by 4-fermion operators and calculate the corresponding matching relation.


title: SigKAN: Signature-Weighted Kolmogorov-Arnold Networks for Time Series

abstract: We propose a novel approach that enhances multivariate function approximation using learnable path signatures and Kolmogorov-Arnold networks (KANs). We enhance the learning capabilities of these networks by weighting the values obtained by KANs using learnable path signatures, which capture important geometric features of paths. This combination allows for a more comprehensive and flexible representation of sequential and temporal data. We demonstrate through studies that our SigKANs with learnable path signatures perform better than conventional methods across a range of function approximation challenges. By leveraging path signatures in neural networks, this method offers intriguing opportunities to enhance performance in time series analysis and time series forecasting, among other fields.


title: Regularity of invariant densities for random switching between two linear odes in Rd

abstract: In a paper entitled singularities of invariant densities for random switching between two linear odes in 2D, Bakhtin et al [5], consider a Markov process obtained by random switching between two stable linear vector fields in the plane and characterize the singularities of the invariant density in terms of the switching and contraction rates. This paper considers a generalization of this model obtained by random switching between two stable linear vector fields in Rd and provides sufficient conditions ensuring that the invariant distribution is absolutely continuous and has a Cr density. In dimension greater than 3 it provides, to the best of our knowledge, the first fully non-elliptic example of random switching for which quantitative conditions guaranteeing smoothness of the invariant density can be proved.


title: Higher Order Fluctuation Expansions for Nonlinear Stochastic Heat Equations in Singular Limits

abstract: Higher order fluctuation expansions for stochastic heat equations (SHE) with nonlinear, non-conservative and conservative noise are obtained. These Edgeworth-type expansions describe the asymptotic behavior of solutions in suitable joint scaling regimes of small noise intensity and diverging singularity. The results include both the case of the SHE with regular and irregular diffusion coefficients. In particular, this includes the correlated Dawson-Watanabe and Dean-Kawasaki SPDEs, as well as SPDEs corresponding to the Fleming-Viot and symmetric simple exclusion processes.


title: The oligopoly of academic publishers persists in exclusive database

abstract: Global scholarly publishing has been dominated by a small number of publishers for several decades. We aimed to revisit the debate on corporate control of scholarly publishing by analyzing the relative shares of major publishers and smaller, independent publishers. Using the Web of Science, Dimensions and OpenAlex, we managed to retrieve twice as many articles indexed in Dimensions and OpenAlex, compared to the rather selective Web of Science. As a result of excluding smaller publishers, the 'oligopoly' of scholarly publishers persists, at least in appearance, according to the Web of Science. However, both Dimensions' and OpenAlex' inclusive indexing revealed the share of smaller publishers has been growing rapidly, especially since the onset of large-scale online publishing around 2000, resulting in a current cumulative dominance of smaller publishers. While the expansion of small publishers was most pronounced in the social sciences and humanities, the natural and medical sciences showed a similar trend. A major geographical divergence is also revealed, with some countries, mostly Anglo-Saxon and/or located in northwestern Europe, relying heavily on major publishers for the dissemination of their research, while others being relatively independent of the oligopoly, such as those in Latin America, northern Africa, eastern Europe and parts of Asia. The emergence of digital publishing, the reduction of expenses for printing and distribution and open-source journal management tools may have contributed to the emergence of small publishers, while the development of inclusive bibliometric databases has allowed for the effective indexing of journals and articles. We conclude that enhanced visibility to recently created, independent journals may favour their growth and stimulate global scholarly bibliodiversity.


title: Efficient and Effective Implicit Dynamic Graph Neural Network

abstract: Implicit graph neural networks have gained popularity in recent years as they capture long-range dependencies while improving predictive performance in static graphs. Despite the tussle between performance degradation due to the oversmoothing of learned embeddings and long-range dependency being more pronounced in dynamic graphs, as features are aggregated both across neighborhood and time, no prior work has proposed an implicit graph neural model in a dynamic setting. In this paper, we present Implicit Dynamic Graph Neural Network (IDGNN) a novel implicit neural network for dynamic graphs which is the first of its kind. A key characteristic of IDGNN is that it demonstrably is well-posed, i.e., it is theoretically guaranteed to have a fixed-point representation. We then demonstrate that the standard iterative algorithm often used to train implicit models is computationally expensive in our dynamic setting as it involves computing gradients, which themselves have to be estimated in an iterative manner. To overcome this, we pose an equivalent bilevel optimization problem and propose an efficient single-loop training algorithm that avoids iterative computation by maintaining moving averages of key components of the gradients. We conduct extensive experiments on real-world datasets on both classification and regression tasks to demonstrate the superiority of our approach over the state-of-the-art baselines. We also demonstrate that our bi-level optimization framework maintains the performance of the expensive iterative algorithm while obtaining up to \textbf{1600x} speed-up.


title: On the mechanics of inhaled bronchial transmission of pathogenic microdroplets generated from the upper respiratory tract, with implications for infection onset

abstract: Could the microdroplets formed by viscoelastic stretching and break-up of mucosal liquids in the upper respiratory tract (URT), when inhaled further downwind, explain the brisk pace at which deep lung infections emerge following onset of initial infection at the URT? While it is well-established that particulates inhaled from outside can possibly penetrate to the lower airway only if they are < 5 microns, the fate of particulates (many > 5-microns in diameter) sheared away from the intra-URT mucosa during inhalation remains an open question. These particulates predominantly originate at the nasopharynx, oropharynx, and laryngeal chamber with the vocal folds. To resolve the posed question, this study considers a CT-based 3D anatomical airway reconstruction and isolates the tract from the laryngeal vocal fold region, mapping the entire tracheal cavity and concluding at generation 2 of the tracheobronchial tree. Through the delineated geometry, airflow simulation is conducted using the LES scheme to replicate relaxed inhalation at 15 L/min. Against the ambient air flux, numerical experiments have been performed to monitor the transport of liquid particulates with diameters 1-30 microns, bearing physical properties akin to aerosolized mucus with embedded virions. The full-scale numerical transmission trends to the lower airway were found consistent with the findings from a reduced-order mathematical model that conceptualized the impact of intra-airway vortex instabilities on local particle transport through point vortex idealization in an anatomy-guided 2D potential flow domain. The results collectively demonstrate markedly elevated trends of deep lung penetration by the URT-derived particulates, even if they are as large as 10- and 15 microns. The high viral load carried by such droplets to the bronchial spaces could mechanistically explain the accelerated seeding of infection in the lungs.


title: Prospects of Detecting the Global HI-21cm Signal at uGMRT through the Gravitational Lensing by an isolated Neutron Star

abstract: The strength of the global HI-21cm signal is several orders of magnitude lower than the foreground and background noise and hence it is difficult to observe this signal at a given radio telescope. However, a few recent studies reported the detection of that signal at the radio band suggests the strength of this signal is somehow magnified. In this analysis, we study the prospects of detecting this global signal at different frequency bands of uGMRT where this global signal is supposed to be amplified through the strong gravitational lensing by an isolated neutron star located in a cosmological distance. Our study shows the effects of the lensing parameters on the observables of that amplified global signal and discusses its variation with the frequency bands considered here. We present a method to estimate the position and size of an isolated neutron star using the signal-to-noise ratio of that global signal supposed to be detected at different frequency bands of uGMRT. We discuss the scope of multi-messenger astronomy in the era of HI-21cm observation where the estimated lensing parameters can be cross-validated using the pulsar detection at the X-ray band from the same location in the sky. Our analysis is equally applicable to any radio telescope with given specifications.


title: Pixel-weighted Multi-pose Fusion for Metal Artifact Reduction in X-ray Computed Tomography

abstract: X-ray computed tomography (CT) reconstructs the internal morphology of a three dimensional object from a collection of projection images, most commonly using a single rotation axis. However, for objects containing dense materials like metal, the use of a single rotation axis may leave some regions of the object obscured by the metal, even though projections from other rotation axes (or poses) might contain complementary information that would better resolve these obscured regions. In this paper, we propose pixel-weighted Multi-pose Fusion to reduce metal artifacts by fusing the information from complementary measurement poses into a single reconstruction. Our method uses Multi-Agent Consensus Equilibrium (MACE), an extension of Plug-and-Play, as a framework for integrating projection data from different poses. A primary novelty of the proposed method is that the output of different MACE agents are fused in a pixel-weighted manner to minimize the effects of metal throughout the reconstruction. Using real CT data on an object with and without metal inserts, we demonstrate that the proposed pixel-weighted Multi-pose Fusion method significantly reduces metal artifacts relative to single-pose reconstructions.


title: Human-centered In-building Embodied Delivery Benchmark

abstract: Recently, the concept of embodied intelligence has been widely accepted and popularized, leading people to naturally consider the potential for commercialization in this field. In this work, we propose a specific commercial scenario simulation, human-centered in-building embodied delivery. Furthermore, for this scenario, we have developed a brand-new virtual environment system from scratch, constructing a multi-level connected building space modeled after a polar research station. This environment also includes autonomous human characters and robots with grasping and mobility capabilities, as well as a large number of interactive items. Based on this environment, we have built a delivery dataset containing 13k language instructions to guide robots in providing services. We simulate human behavior through human characters and sample their various needs in daily life. Finally, we proposed a method centered around a large multimodal model to serve as the baseline system for this dataset. Compared to past embodied data work, our work focuses on a virtual environment centered around human-robot interaction for commercial scenarios. We believe this will bring new perspectives and exploration angles to the embodied community.


title: Entity Augmentation for Efficient Classification of Vertically Partitioned Data with Limited Overlap

abstract: Vertical Federated Learning (VFL) is a machine learning paradigm for learning from vertically partitioned data (i.e. features for each input are distributed across multiple "guest" clients and an aggregating "host" server owns labels) without communicating raw data. Traditionally, VFL involves an "entity resolution" phase where the host identifies and serializes the unique entities known to all guests. This is followed by private set intersection to find common entities, and an "entity alignment" step to ensure all guests are always processing the same entity's data. However, using only data of entities from the intersection means guests discard potentially useful data. Besides, the effect on privacy is dubious and these operations are computationally expensive. We propose a novel approach that eliminates the need for set intersection and entity alignment in categorical tasks. Our Entity Augmentation technique generates meaningful labels for activations sent to the host, regardless of their originating entity, enabling efficient VFL without explicit entity alignment. With limited overlap between training data, this approach performs substantially better (e.g. with 5% overlap, 48.1% vs 69.48% test accuracy on CIFAR-10). In fact, thanks to the regularizing effect, our model performs marginally better even with 100% overlap.


title: Structure-preserving Local Discontinuous Galerkin method for nonlinear cross-diffusion systems

abstract: We present and analyze a structure-preserving method for the approximation of solutions to nonlinear cross-diffusion systems, which combines a Local Discontinuous Galerkin spatial discretization with the backward Euler time stepping scheme. The proposed method makes use of the underlying entropy structure of the system, expressing the main unknown in terms of the entropy variable by means of a nonlinear transformation. Such a transformation allows for imposing the physical positivity or boundedness constraints on the approximate solution in a strong sense. Moreover, nonlinearities do not appear explicitly within differential operators or interface terms in the scheme, which significantly improves its efficiency and ease its implementation. We prove the existence of discrete solutions and their asymptotic convergence to continuous weak solutions. Numerical results for some one- and two-dimensional problems illustrate the accuracy and entropy stability of the proposed method.


title: Script-Agnostic Language Identification

abstract: Language identification is used as the first step in many data collection and crawling efforts because it allows us to sort online text into language-specific buckets. However, many modern languages, such as Konkani, Kashmiri, Punjabi etc., are synchronically written in several scripts. Moreover, languages with different writing systems do not share significant lexical, semantic, and syntactic properties in neural representation spaces, which is a disadvantage for closely related languages and low-resource languages, especially those from the Indian Subcontinent. To counter this, we propose learning script-agnostic representations using several different experimental strategies (upscaling, flattening, and script mixing) focusing on four major Dravidian languages (Tamil, Telugu, Kannada, and Malayalam). We find that word-level script randomization and exposure to a language written in multiple scripts is extremely valuable for downstream script-agnostic language identification, while also maintaining competitive performance on naturally occurring text.


title: Domain Adaptation of Echocardiography Segmentation Via Reinforcement Learning

abstract: Performance of deep learning segmentation models is significantly challenged in its transferability across different medical imaging domains, particularly when aiming to adapt these models to a target domain with insufficient annotated data for effective fine-tuning. While existing domain adaptation (DA) methods propose strategies to alleviate this problem, these methods do not explicitly incorporate human-verified segmentation priors, compromising the potential of a model to produce anatomically plausible segmentations. We introduce RL4Seg, an innovative reinforcement learning framework that reduces the need to otherwise incorporate large expertly annotated datasets in the target domain, and eliminates the need for lengthy manual human review. Using a target dataset of 10,000 unannotated 2D echocardiographic images, RL4Seg not only outperforms existing state-of-the-art DA methods in accuracy but also achieves 99% anatomical validity on a subset of 220 expert-validated subjects from the target domain. Furthermore, our framework's reward network offers uncertainty estimates comparable with dedicated state-of-the-art uncertainty methods, demonstrating the utility and effectiveness of RL4Seg in overcoming domain adaptation challenges in medical image segmentation.


title: Mapping the Past: Geographically Linking an Early 20th Century Swedish Encyclopedia with Wikidata

abstract: In this paper, we describe the extraction of all the location entries from a prominent Swedish encyclopedia from the early 20th century, the \textit{Nordisk Familjebok} `Nordic Family Book.' We focused on the second edition called \textit{Uggleupplagan}, which comprises 38 volumes and over 182,000 articles. This makes it one of the most extensive Swedish encyclopedias. Using a classifier, we first determined the category of the entries. We found that approximately 22 percent of them were locations. We applied a named entity recognition to these entries and we linked them to Wikidata. Wikidata enabled us to extract their precise geographic locations resulting in almost 18,000 valid coordinates. We then analyzed the distribution of these locations and the entry selection process. It showed a higher density within Sweden, Germany, and the United Kingdom. The paper sheds light on the selection and representation of geographic information in the \textit{Nordisk Familjebok}, providing insights into historical and societal perspectives. It also paves the way for future investigations into entry selection in different time periods and comparative analyses among various encyclopedias.


title: Application of Liquid Rank Reputation System for Twitter Trend Analysis on Bitcoin

abstract: Analyzing social media trends can create a win-win situation for both creators and consumers. Creators can receive fair compensation, while consumers gain access to engaging, relevant, and personalized content. This paper proposes a new model for analyzing Bitcoin trends on Twitter by incorporating a 'liquid democracy' approach based on user reputation. This system aims to identify the most impactful trends and their influence on Bitcoin prices and trading volume. It uses a Twitter sentiment analysis model based on a reputation rating system to determine the impact on Bitcoin price change and traded volume. In addition, the reputation model considers the users' higher-order friends on the social network (the initial Twitter input channels in our case study) to improve the accuracy and diversity of the reputation results. We analyze Bitcoin-related news on Twitter to understand how trends and user sentiment, measured through our Liquid Rank Reputation System, affect Bitcoin price fluctuations and trading activity within the studied time frame. This reputation model can also be used as an additional layer in other trend and sentiment analysis models. The paper proposes the implementation, challenges, and future scope of the liquid rank reputation model.


title: Gravitational spinoptics in a curved space-time

abstract: In this paper we discuss propagation of the weak high-frequency gravitational waves in a curved spacetime background. We develop a so-called spinoptics approximation which takes into account interaction of the spin of the field with the curvature of the background metric. This is achieved by modifying the standard geometric optics approximation by including the helicity sensitive terms of the order $1/\omega$ in the eikonal equation. The novelty of the approach developed in this paper is that instead of study of the high-frequency expansion of the equations for the gravitational field perturbations we construct the effective action for the gravitational spinoptics. The gravitational spinoptics equations derived by variation of the effective action correctly reproduce the earlier obtained results. However, the proposed effective action approach is technically more simple and transparent. It allows one to reduce the study of the high-frequency gravitational waves to study classical dynamics of massless particles with internal discrete degree of freedom (helicity). The formalism is covariant and it can be applied for arbitrary vacuum space-time background.


title: Unbiasing on the Fly: Explanation-Guided Human Oversight of Machine Learning System Decisions

abstract: The widespread adoption of ML systems across critical domains like hiring, finance, and healthcare raises growing concerns about their potential for discriminatory decision-making based on protected attributes. While efforts to ensure fairness during development are crucial, they leave deployed ML systems vulnerable to potentially exhibiting discrimination during their operations. To address this gap, we propose a novel framework for on-the-fly tracking and correction of discrimination in deployed ML systems. Leveraging counterfactual explanations, the framework continuously monitors the predictions made by an ML system and flags discriminatory outcomes. When flagged, post-hoc explanations related to the original prediction and the counterfactual alternatives are presented to a human reviewer for real-time intervention. This human-in-the-loop approach empowers reviewers to accept or override the ML system decision, enabling fair and responsible ML operation under dynamic settings. While further work is needed for validation and refinement, this framework offers a promising avenue for mitigating discrimination and building trust in ML systems deployed in a wide range of domains.


title: Delta-V-Optimal Centralized Guidance Strategy For Under-actuated N-Satellite Formations

abstract: This paper addresses the computation of Delta-V-optimal, safe, relative orbit reconfigurations for satellite formations in a centralized fashion. The formations under consideration comprise an uncontrolled chief spacecraft flying with an arbitrary number, N, of deputy satellites, where each deputy is equipped with a single electric thruster. Indeed, this represents a technological solution that is becoming widely employed by the producers of small-satellite platforms. While adopting a single electric thruster does reduce the required power, weight, and size of the orbit control system, it comes at the cost of rendering the satellite under-actuated. In this setting, the satellite can provide a desired thrust vector only after an attitude maneuver is carried out to redirect the thruster nozzle opposite to the desired thrust direction. In order to further extend the applicability range of such under-actuated platforms, guidance strategies are developed to support different reconfiguration scenarios for N-satellite formations. This paper starts from a classical non-convex quadratically constrained trajectory optimization formulation, which passes through multiple simplifications and approximations to arrive to two novel convex formulations, namely a second-order cone programming formulation, and a linear programming one. Out of five guidance formulations proposed in this article, the most promising three were compared through an extensive benchmark analysis that is applied to fifteen of the most widely-used solvers. This benchmark experiment provides information about the key distinctions between the different problem formulations, and under which conditions each one of them can be recommended.


title: DeepSense-V2V: A Vehicle-to-Vehicle Multi-Modal Sensing, Localization, and Communications Dataset

abstract: High data rate and low-latency vehicle-to-vehicle (V2V) communication are essential for future intelligent transport systems to enable coordination, enhance safety, and support distributed computing and intelligence requirements. Developing effective communication strategies, however, demands realistic test scenarios and datasets. This is important at the high-frequency bands where more spectrum is available, yet harvesting this bandwidth is challenged by the need for direction transmission and the sensitivity of signal propagation to blockages. This work presents the first large-scale multi-modal dataset for studying mmWave vehicle-to-vehicle communications. It presents a two-vehicle testbed that comprises data from a 360-degree camera, four radars, four 60 GHz phased arrays, a 3D lidar, and two precise GPSs. The dataset contains vehicles driving during the day and night for 120 km in intercity and rural settings, with speeds up to 100 km per hour. More than one million objects were detected across all images, from trucks to bicycles. This work further includes detailed dataset statistics that prove the coverage of various situations and highlights how this dataset can enable novel machine-learning applications.


title: Input-to-state stability meets small-gain theory

abstract: Input-to-state stability (ISS) unifies global asymptotic stability with respect to variations of initial conditions with robustness with respect to external disturbances. First, we present Lyapunov characterizations for input-to-state stability as well as ISS superpositions theorems showing relations of ISS to other robust stability properties. Next, we present one of the characteristic applications of the ISS framework - the design of event-based control schemes for the stabilization of nonlinear systems. In the second half of the paper, we focus on small-gain theorems for stability analysis of finite and infinite networks with input-to-state stable components. First, we present a classical small-gain theorem in terms of trajectories for the feedback interconnection of 2 nonlinear systems. Finally, a recent Lyapunov-based small-gain result for a network with infinitely many ISS components is shown.


title: Transforming Software Development: Evaluating the Efficiency and Challenges of GitHub Copilot in Real-World Projects

abstract: Generative AI technologies promise to transform the product development lifecycle. This study evaluates the efficiency gains, areas for improvement, and emerging challenges of using GitHub Copilot, an AI-powered coding assistant. We identified 15 software development tasks and assessed Copilot's benefits through real-world projects on large proprietary code bases. Our findings indicate significant reductions in developer toil, with up to 50% time saved in code documentation and autocompletion, and 30-40% in repetitive coding tasks, unit test generation, debugging, and pair programming. However, Copilot struggles with complex tasks, large functions, multiple files, and proprietary contexts, particularly with C/C++ code. We project a 33-36% time reduction for coding-related tasks in a cloud-first software development lifecycle. This study aims to quantify productivity improvements, identify underperforming scenarios, examine practical benefits and challenges, investigate performance variations across programming languages, and discuss emerging issues related to code quality, security, and developer experience.


title: X-ray Made Simple: Radiology Report Generation and Evaluation with Layman's Terms

abstract: Radiology Report Generation (RRG) has achieved significant progress with the advancements of multimodal generative models. However, the evaluation in the domain suffers from a lack of fair and robust metrics. We reveal that, high performance on RRG with existing lexical-based metrics (e.g. BLEU) might be more of a mirage - a model can get a high BLEU only by learning the template of reports. This has become an urgent problem for RRG due to the highly patternized nature of these reports. In this work, we un-intuitively approach this problem by proposing the Layman's RRG framework, a layman's terms-based dataset, evaluation and training framework that systematically improves RRG with day-to-day language. We first contribute the translated Layman's terms dataset. Building upon the dataset, we then propose a semantics-based evaluation method, which is proved to mitigate the inflated numbers of BLEU and provides fairer evaluation. Last, we show that training on the layman's terms dataset encourages models to focus on the semantics of the reports, as opposed to overfitting to learning the report templates. We reveal a promising scaling law between the number of training examples and semantics gain provided by our dataset, compared to the inverse pattern brought by the original formats. Our code is available at \url{https://github.com/hegehongcha/LaymanRRG}.


title: Numerical Modeling of Galactic Superwinds with Time-evolving Stellar Feedback

abstract: Mass-loss and radiation feedback from evolving massive stars produce galactic-scale superwinds, sometimes surrounded by pressure-driven bubbles. Using the time-dependent stellar population typically seen in star-forming regions, we conduct hydrodynamic simulations of a starburst-driven superwind model coupled with radiative efficiency rates to investigate the formation of radiative cooling superwinds and bubbles. Our numerical simulations depict the parameter space where radiative cooling superwinds with or without bubbles occur. Moreover, we employ the physical properties and time-dependent ionization states to predict emission line profiles under the assumption of collisional ionization and non-equilibrium ionization caused by wind thermal feedback in addition to photoionization created by the radiation background. We see the dependence of non-equilibrium ionization structures on the time-evolving ionizing source, leading to a deviation from collisional ionization in radiative cooling wind regions over time.


title: Distributions and Legendrian foliations in dimension 3

abstract: We study the field of rational first integrals of distributions. We show that for a distribution on 3 dimensional manifolds there exists a tangent vector field with the same field of first integrals. We also show a similar result for integrable distributions in any dimension.


title: Topological edge states of massless fermion with non-quantized and zero Berry phases

abstract: We investigate the bulk-boundary correspondence for massless Dirac fermion in $\alpha$-${T}_3$ lattice where the Berry phase can be continuously tuned from $\pi $ (graphene) to $0$ ($T_3$ or dice lattice) without modifying the energy dispersion. The topological origin of edge states is revealed by unitary transform of the Hamiltonian, which maps $\alpha$-${T}_3$ zigzag ribbon (ZR) into stub Su-Schrieffer-Heeger (SSH) chain. In the Majorana representation of the eigenstates, the $\mathbb{Z}_2$ invariant is manifested by azimuthal winding numbers on the Bloch sphere. Particularly, $T_3$ ZR exemplifies a topologically nontrivial system with zero Berry phase. Contrary to the conventional topological insulators, band gap closing in the corresponding stub SSH chain is not accompanied by a topological phase transition.


title: Semi-supervised classification of dental conditions in panoramic radiographs using large language model and instance segmentation: A real-world dataset evaluation

abstract: Dental panoramic radiographs offer vast diagnostic opportunities, but training supervised deep learning networks for automatic analysis of those radiology images is hampered by a shortage of labeled data. Here, a different perspective on this problem is introduced. A semi-supervised learning framework is proposed to classify thirteen dental conditions on panoramic radiographs, with a particular emphasis on teeth. Large language models were explored to annotate the most common dental conditions based on dental reports. Additionally, a masked autoencoder was employed to pre-train the classification neural network, and a Vision Transformer was used to leverage the unlabeled data. The analyses were validated using two of the most extensive datasets in the literature, comprising 8,795 panoramic radiographs and 8,029 paired reports and images. Encouragingly, the results consistently met or surpassed the baseline metrics for the Matthews correlation coefficient. A comparison of the proposed solution with human practitioners, supported by statistical analysis, highlighted its effectiveness and performance limitations; based on the degree of agreement among specialists, the solution demonstrated an accuracy level comparable to that of a junior specialist.


title: Camera Model Identification Using Audio and Visual Content from Videos

abstract: The identification of device brands and models plays a pivotal role in the realm of multimedia forensic applications. This paper presents a framework capable of identifying devices using audio, visual content, or a fusion of them. The fusion of visual and audio content occurs later by applying two fundamental fusion rules: the product and the sum. The device identification problem is tackled as a classification one by leveraging Convolutional Neural Networks. Experimental evaluation illustrates that the proposed framework exhibits promising classification performance when independently using audio or visual content. Furthermore, although the fusion results don't consistently surpass both individual modalities, they demonstrate promising potential for enhancing classification performance. Future research could refine the fusion process to improve classification performance in both modalities consistently. Finally, a statistical significance test is performed for a more in-depth study of the classification results.


title: Minimax-robust estimation problems for stationary stochastic sequences

abstract: This survey provides an overview of optimal estimation of linear functionals which depend on the unknown values of a stationary stochastic sequence. Based on observations of the sequence without noise as well as observations of the sequence with a stationary noise, estimates could be obtained. Formulas for calculating the spectral characteristics and the mean-square errors of the optimal estimates of functionals are derived in the case of spectral certainty, where spectral densities of the sequences are exactly known. In the case of spectral uncertainty, where spectral densities of the sequences are not known exactly while sets of admissible spectral densities are given, the minimax-robust method of estimation is applied. Formulas that determine the least favourable spectral densities and the minimax spectral characteristics of estimates are presented for some special classes of admissible spectral densities.


title: GraphSnapShot: Graph Machine Learning Acceleration with Fast Storage and Retrieval

abstract: In our recent research, we have developed a framework called GraphSnapShot, which has been proven an useful tool for graph learning acceleration. GraphSnapShot is a framework for fast cache, storage, retrieval and computation for graph learning. It can quickly store and update the local topology of graph structure and allows us to track patterns in the structure of graph networks, just like take snapshots of the graphs. In experiments, GraphSnapShot shows efficiency, it can achieve up to 30% training acceleration and 73% memory reduction for lossless graph ML training compared to current baselines such as dgl.This technique is particular useful for large dynamic graph learning tasks such as social media analysis and recommendation systems to process complex relationships between entities.


title: Majorana representation for topological edge states of massless Dirac fermion with non-quantized Berry phase

abstract: We study the bulk-boundary correspondences for zigzag ribbons (ZRs) of massless Dirac fermion in two-dimensional $\alpha$-${T}_3$ lattice. By tuning the hopping parameter $\alpha\in[0,1]$, the $\alpha$-${T}_3$ lattice interpolates between pseudospin $S=1/2$ (graphene) and $S=1$ (${T}_3$ or dice lattice), for $\alpha=0$ and $1$, respectively, which is followed by continuous change of the Berry phase from $\pi$ to $0$. The range of existence for edge states in the momentum space is determined by solving tight-binding equations at the boundaries of the ZRs. We find that the transitions of in-gap bands from bulk to edge states in the momentum space do not only occur at the positions of the Dirac cones but also at additional points depending on $\alpha\notin \{0,1\}$. The $\alpha$-${T}_3$ ZRs are mapped into stub Su-Schrieffer-Heeger chains by performing unitary transforms of the bulk Hamiltonian. The non-trivial topology of the bulk bands is revealed by the Majorana representation of the eigenstates, where the $\mathbb{Z}_2$ topological invariant is manifested by the winding numbers on the complex plane and the Bloch sphere.


title: Comment on "Fully gapped superconductivity and topological aspects of the noncentrosymmetric superconductor TaReSi"

abstract: In a recent paper [T. Shang et al., Phys. Rev. B 107, 224504 (2023)], the authors study the physical properties of TaReSi compounds having Ima2 structure. This noncentrosymmetric structure is proposed to be the source of topological properties for mentioned compound. However, for a correct description of topological features, it is important to recognize the correct structure of the compound at low temperature. In this Comment, we show that Ima2 cannot be realized by TaReSi and is unstable at low temperature. The Ima2 structure contains the soft modes at S (1/2,0,0) point, which leads to the stable structure with Cm symmetry. Notably, the stable Cm system also has a noncentrosymmetric structure, which can be the actual source of topological properties.


title: On the lack of X-ray pulsation in most neutron star low-mass X-ray binaries

abstract: We have investigated whether the lack of X-ray pulsations from most neutron star (NS) low-mass X-ray binaries (LMXBs) could be due to the extension of their inner disc to the NS surface. To estimate the inner disc radii, we have employed the model, recently proposed to account for the torque reversals of LMXBs. In this model, the inner disc radius depends on the spin period as well as the dipole moment and the mass inflow rate of the disc. Our model results indicate that most LMXBs have mass accretion rates above the minimum critical rates required for the inner disc to reach down to the NS surface and thereby quench the pulsed X-ray emission. For most sources X-ray pulsations are allowed when the period decreases below a certain critical value. For the same parameters, the model is also consistent with the observed X-ray luminosity ranges of the individual accreting millisecond X-ray pulsars (AMXPs). The paucity of AMXPs compared to the majority population of non-pulsing LMXBs is explained, as well as the fact that AMXPs are transient sources.


title: On induced L-infinity action of diffeomorphisms on Cochains

abstract: One of the approaches to quantum gravity is to formulate it in terms of De Rham algebra, choose a triangulation of space-time, and replace differential forms by cochains (that form a finite dimensional vector space). The key issue of general relativity is the action of diffeomorphisms of space-time on fields. In this paper, we induce the action of diffeomorphisms on cochains by homotopy transfer (or, equivalently, BV integral) that leads to a $L_{\infty}$ action. We explicitly compute this action for the space-time being an interval, a circle, and a square.


title: PAFT: A Parallel Training Paradigm for Effective LLM Fine-Tuning

abstract: Large language models (LLMs) have shown remarkable abilities in diverse natural language processing (NLP) tasks. The LLMs generally undergo supervised fine-tuning (SFT) followed by preference alignment to be usable in downstream applications. However, this sequential training pipeline leads to alignment tax that degrades the LLM performance. This paper introduces PAFT, a new PArallel training paradigm for effective LLM Fine-Tuning, which independently performs SFT and preference alignment (e.g., DPO and ORPO, etc.) with the same pre-trained model on respective datasets. The model produced by SFT and the model from preference alignment are then merged into a final model by parameter fusing for use in downstream applications. This work reveals important findings that preference alignment like DPO naturally results in a sparse model while SFT leads to a natural dense model which needs to be sparsified for effective model merging. This paper introduces an effective interference resolution which reduces the redundancy by sparsifying the delta parameters. The LLM resulted from the new training paradigm achieved Rank #1 on the HuggingFace Open LLM Leaderboard. Comprehensive evaluation shows the effectiveness of the parallel training paradigm.


title: Flux dependence of redshift distribution and clustering of LOFAR radio sources

abstract: In this work we study the flux density dependence of the redshift distribution of low-frequency radio sources observed in the LOFAR Two-metre Sky Survey (LoTSS) deep fields and apply it to estimate the clustering length of the large-scale structure of the Universe, examining flux density limited samples (1 mJy, 2 mJy, 4 mJy and 8 mJy) of LoTSS wide field radio sources. We utilise and combine the posterior probability distributions of photometric redshift determinations for LoTSS deep field observations from three different fields (Bo\"otes, Lockman hole and ELAIS-N1, together about $26$ square degrees of sky), which are available for between $91\%$ to $96\%$ of all sources above the studied flux density thresholds and observed in the area covered by multi-frequency data. We estimate uncertainties by a bootstrap method. We apply the inferred redshift distribution on the LoTSS wide area radio sources from the HETDEX field (LoTSS-DR1; about $424$ square degrees) and make use of the Limber approximation and a power-law model of three dimensional clustering to measure the clustering length, $r_0$, for various models of the evolution of clustering. We find that the redshift distributions from all three LoTSS deep fields agree within expected uncertainties. We show that the radio source population probed by LoTSS at flux densities above $1$ mJy has a median redshift of at least $0.9$. At $2$ mJy, we measure the clustering length of LoTSS radio sources to be $r_0 = (10.1\pm 2.6) \ h^{-1}$Mpc in the context of the comoving clustering model. Our findings are in agreement with measurements at higher flux density thresholds at the same frequency and with measurements at higher frequencies in the context of the comoving clustering model.


title: On Kakeya's Geometric Proof of Enestr\"om-Kakeya's Theorem

abstract: This paper is devoted to demonstrate Kakeya's geometric proof of his theorem (1912), independently established earlier by Enestr\"om (1893). By calculating centers and radii of the interlacing circles of Kakeya's method, we prove Kakeya's geometric structure, which has not been previously established. We give an equivalent proof, which is based on the construction of internally interlacing circles, which has been geometrically considered by Tomic (1948).


title: FASA: a Flexible and Automatic Speech Aligner for Extracting High-quality Aligned Children Speech Data

abstract: Automatic Speech Recognition (ASR) for adults' speeches has made significant progress by employing deep neural network (DNN) models recently, but improvement in children's speech is still unsatisfactory due to children's speech's distinct characteristics. DNN models pre-trained on adult data often struggle in generalizing children's speeches with fine tuning because of the lack of high-quality aligned children's speeches. When generating datasets, human annotations are not scalable, and existing forced-alignment tools are not usable as they make impractical assumptions about the quality of the input transcriptions. To address these challenges, we propose a new forced-alignment tool, FASA, as a flexible and automatic speech aligner to extract high-quality aligned children's speech data from many of the existing noisy children's speech data. We demonstrate its usage on the CHILDES dataset and show that FASA can improve data quality by 13.6$\times$ over human annotations.


title: Onset of slow dynamics in dense suspensions of active colloids

abstract: Slow relaxation and heterogeneous dynamics are characteristic features of glasses. The presence of glassy dynamics in nonequilibrium systems, such as active matter, is of significant interest due to its implications for living systems and material science. In this study, we use dense suspensions of self-propelled Janus particles moving on a substrate to investigate the onset of slow dynamics. Our findings show that dense active suspensions exhibit several hallmark features of slow dynamics similar to systems approaching equilibrium. The relaxation time fits well with the Vogel-Fulcher-Tamman (VFT) equation, and the system displays heterogeneous dynamics. Furthermore, increasing the activity leads to faster relaxation of the system, and the glass transition density predicted by the VFT equation shifts to higher densities. The measurement of the cage length and persistence length reveal they are of the same order over the range of activities explored in our study. These results are in agreement with recent particle simulations.


title: Total Variation Regularization for Tomographic Reconstruction of Cylindrically Symmetric Objects

abstract: Flash X-ray computed tomography (CT) is an important imaging modality for characterization of high-speed dynamic events, such as Kolsky bar impact experiments for the study of mechanical properties of materials subjected to impulsive forces. Due to experimental constraints, the number of X-ray views that can be obtained is typically very sparse in both space and time, requiring strong priors in order to enable a CT reconstruction. In this paper, we propose an effective method for exploiting the cylindrical symmetry inherent in the experiment via a variant of total variation (TV) regularization that operates in cylindrical coordinates, and demonstrate that it outperforms competing approaches.


title: Asymptotically Minimax Regret by Bayes Mixtures

abstract: We study the problems of data compression, gambling and prediction of a sequence $x^n=x_1x_2...x_n$ from an alphabet ${\cal X}$, in terms of regret and expected regret (redundancy) with respect to various smooth families of probability distributions. We evaluate the regret of Bayes mixture distributions compared to maximum likelihood, under the condition that the maximum likelihood estimate is in the interior of the parameter space. For general exponential families (including the non-i.i.d.\ case) the asymptotically mimimax value is achieved when variants of the prior of Jeffreys are used. %under the condition that the maximum likelihood estimate is in the interior of the parameter space. Interestingly, we also obtain a modification of Jeffreys prior which has measure outside the given family of densities, to achieve minimax regret with respect to non-exponential type families. This modification enlarges the family using local exponential tilting (a fiber bundle). Our conditions are confirmed for certain non-exponential families, including curved families and mixture families (where either the mixture components or their weights of combination are parameterized) as well as contamination models. Furthermore for mixture families we show how to deal with the full simplex of parameters. These results also provide characterization of Rissanen's stochastic complexity.


title: Accelerated Structure Formation: the Early Emergence of Massive Galaxies and Clusters of Galaxies

abstract: Galaxies in the early universe appear to have grown too big too fast, assembling into massive, monolithic objects more rapidly than anticipated in the hierarchical $\Lambda$CDM structure formation paradigm. The available data are consistent with there being a population of massive galaxies that form early ($z \gtrsim 10$) and follow an approximately exponential star formation history with a short ($\lesssim 1$ Gyr) e-folding timescale on the way to becoming massive ($M_* \approx 10^{11}\;\mathrm{M}_{\odot}$) galaxies by $z = 0$, consistent with the traditional picture for the evolution of giant elliptical galaxies. Observations of the kinematics of spiral galaxies as a function of redshift similarly show that massive disks and their scaling relations were in place at early times, indicating a genuine effect in mass that cannot be explained as a quirk of luminosity evolution. That massive galaxies could form by $z = 10$ was explicitly predicted in advance by MOND. We discuss some further predictions of MOND, such as the early emergence of clusters of galaxies and the cosmic web.


title: CAT: Interpretable Concept-based Taylor Additive Models

abstract: As an emerging interpretable technique, Generalized Additive Models (GAMs) adopt neural networks to individually learn non-linear functions for each feature, which are then combined through a linear model for final predictions. Although GAMs can explain deep neural networks (DNNs) at the feature level, they require large numbers of model parameters and are prone to overfitting, making them hard to train and scale. Additionally, in real-world datasets with many features, the interpretability of feature-based explanations diminishes for humans. To tackle these issues, recent research has shifted towards concept-based interpretable methods. These approaches try to integrate concept learning as an intermediate step before making predictions, explaining the predictions in terms of human-understandable concepts. However, these methods require domain experts to extensively label concepts with relevant names and their ground-truth values. In response, we propose CAT, a novel interpretable Concept-bAsed Taylor additive model to simply this process. CAT does not have to require domain experts to annotate concepts and their ground-truth values. Instead, it only requires users to simply categorize input features into broad groups, which can be easily accomplished through a quick metadata review. Specifically, CAT first embeds each group of input features into one-dimensional high-level concept representation, and then feeds the concept representations into a new white-box Taylor Neural Network (TaylorNet). The TaylorNet aims to learn the non-linear relationship between the inputs and outputs using polynomials. Evaluation results across multiple benchmarks demonstrate that CAT can outperform or compete with the baselines while reducing the need of extensive model parameters. Importantly, it can explain model predictions through high-level concepts that human can understand.


title: SonicSense: Object Perception from In-Hand Acoustic Vibration

abstract: We introduce SonicSense, a holistic design of hardware and software to enable rich robot object perception through in-hand acoustic vibration sensing. While previous studies have shown promising results with acoustic sensing for object perception, current solutions are constrained to a handful of objects with simple geometries and homogeneous materials, single-finger sensing, and mixing training and testing on the same objects. SonicSense enables container inventory status differentiation, heterogeneous material prediction, 3D shape reconstruction, and object re-identification from a diverse set of 83 real-world objects. Our system employs a simple but effective heuristic exploration policy to interact with the objects as well as end-to-end learning-based algorithms to fuse vibration signals to infer object properties. Our framework underscores the significance of in-hand acoustic vibration sensing in advancing robot tactile perception.


title: Modeling and simulations of high-density two-phase flows using projection-based Cahn-Hilliard Navier-Stokes equations

abstract: Accurately modeling the dynamics of high-density ratio ($\mathcal{O}(10^5)$) two-phase flows is important for many applications in material science and manufacturing. In this work, we consider numerical simulations of molten metal undergoing microgravity oscillations. Accurate simulation of the oscillation dynamics allows us to characterize the interplay between the two fluids' surface tension and density ratio, which is an important consideration for terrestrial manufacturing applications. We present a projection-based computational framework for solving a thermodynamically-consistent Cahn-Hilliard Navier-Stokes equations for two-phase flows under these large density ratios. A modified version of the pressure-decoupled solver based on the Helmholtz-Hodge decomposition presented in Khanwale et al. [$\textit{A fully-coupled framework for solving Cahn-Hilliard Navier-Stokes equations: Second-order, energy-stable numerical methods on adaptive octree based meshes.}$, Journal of Computational Physics 475 (2023): 111874] is used. We present a comprehensive convergence study to investigate the effect of mesh resolution, time-step, and interfacial thickness on droplet-shape oscillations. We deploy our framework to predict the oscillation behavior of three physical systems exhibiting very large density ratios ($10^4-10^5:1$) that have previously never been performed.


title: Rapid protoplanet formation in vortices: three-dimensional local simulations with selfgravity

abstract: Disk vortices, seen in numerical simulations of protoplanetary disks and found observationally in ALMA and VLA images of these objects, are promising sites for planet formation given their pebble trapping abilities. Previous works have shown strong concentration of pebbles in vortices, but gravitational collapse has only been shown in low-resolution, two-dimensional, global models. In this letter, we aim to study the pebble concentration and gravitational collapse of pebble clouds in vortices via high-resolution, three-dimensional, local models. We performed simulations of the dynamics of gas and solids in a local shearing box where the gas is subject to convective overstability, generating a persistent giant vortex. We find that the vortex produces objects of Moon and Mars mass, with mass function of power law $d\ln N/d\ln M=-1.6\pm 0.3$. The protoplanets grow rapidly, doubling in mass in about 5 orbits, following pebble accretion rates. The mass range and mass doubling rate are in broad agreement with previous low resolution global models. We conclude that Mars-mass planetary embryos are the natural outcome of planet formation inside the disk vortices seen in millimeter and radio images of protoplanetary disks.


title: Sequential Editing for Lifelong Training of Speech Recognition Models

abstract: Automatic Speech Recognition (ASR) traditionally assumes known domains, but adding data from a new domain raises concerns about computational inefficiencies linked to retraining models on both existing and new domains. Fine-tuning solely on new domain risks Catastrophic Forgetting (CF). To address this, Lifelong Learning (LLL) algorithms have been proposed for ASR. Prior research has explored techniques such as Elastic Weight Consolidation, Knowledge Distillation, and Replay, all of which necessitate either additional parameters or access to prior domain data. We propose Sequential Model Editing as a novel method to continually learn new domains in ASR systems. Different than previous methods, our approach does not necessitate access to prior datasets or the introduction of extra parameters. Our study demonstrates up to 15% Word Error Rate Reduction (WERR) over fine-tuning baseline, and superior efficiency over other LLL techniques on CommonVoice English multi-accent dataset.


title: Hot-Distance: Combining One-Hot and Signed Distance Embeddings for Segmentation

abstract: Machine learning models are only as good as the data to which they are fit. As such, it is always preferable to use as much data as possible in training models. What data can be used for fitting a model depends a lot on the formulation of the task. We introduce Hot-Distance, a novel segmentation target that incorporates the strength of signed boundary distance prediction with the flexibility of one-hot encoding, to increase the amount of usable training data for segmentation of subcellular structures in focused ion beam scanning electron microscopy (FIB-SEM).


title: Using a Feedback-Based Quantum Algorithm to Analyze the Critical Properties of the ANNNI Model Without Classical Optimization

abstract: We investigate the critical properties of the Anisotropic Next-Nearest-Neighbor Ising (ANNNI) model using a feedback-based quantum algorithm (FALQON). This approach allows us to compute both ground and excited states without relying on classical optimization methods. We study the quantum phase transitions using the Finite Size Scaling method, analyze correlation functions through spin correlations in the ground state, and examine magnetic structure by calculating structure factors via the Discrete Fourier Transform. Our results demonstrate the algorithm's capability to identify quantum phase transitions and efficiently map the ANNNI model's magnetic phases, establishing FALQON as a powerful tool to study complex magnetic systems.


title: QMol-grid: A MATLAB package for quantum-mechanical simulations in atomic and molecular systems

abstract: The QMol-grid package provides a suite of routines for performing quantum-mechanical simulations in atomic and molecular systems in one spatial dimension. It supports ground- and excited-state calculations for the Schrodinger equation, density-functional theory, and Hartree-Fock levels of theory as well as propagators for field-free and field-driven time-dependent Schrodinger equation (TDSE) and real-time time-dependent density-functional theory (TDDFT), using symplectic-split schemes. The package is written using MATLAB's object-oriented features and handle classes. It is designed to facilitate access to the wave function(s) (TDSE) and the Kohn-Sham orbitals (TDDFT) within MATLAB's environment.


title: Dynamics of multidimensional fundamental and vortex solitons in random media

abstract: We study the dynamics of fundamental and vortex solitons in the framework of the nonlinear Schr\"{o}dinger equation with the spatial dimension $D\geqslant 2$ with a multiplicative random term depending on the time and space coordinates. To this end, we develop a new technique for calculating the even moments of the $N$th order. The proposed formalism does not use closure procedures for the nonlinear term, as well as the smallness of the random term and the use of perturbation theory. The essential point is the quadratic form of the autocorrelation function of the random field and the special stochastic change of variables. Using variational analysis to determine the field of structures in the deterministic case, we analytically calculate a number of statistical characteristics describing the dynamics of fundamental and vortex solitons in random medium, such as the mean intensities, the variance of the intensity, the centroid and spread of the structures, the spatial mutual coherence function etc. In particular, we show that, under the irreversible action of fluctuations, the solitons spread out, i.e., no collapse occurs.


title: Time-kernel for lattice determinations of NLO hadronic vacuum polarization contributions to the muon $g$-$2$

abstract: We study the time-momentum representation of the kernel needed to compute hadronic vacuum polarization contributions to the muon $g$-$2$ in the space-like region at next-to-leading order. For small values of the time, we present analytical series expansions; for large values of the time, we present numerical series expansions which overcome the problems showed by na\"ive asymptotic expansions. These results are to be employed in lattice QCD determination of hadronic vacuum polarization contributions to the muon $g$-$2$ at next-to-leading order.