title: Trustworthiness of Pretrained Transformers for Lung Cancer Segmentation

abstract: We assessed the trustworthiness of two self-supervision pretrained transformer models, Swin UNETR and SMIT, for fine-tuned lung (LC) tumor segmentation using 670 CT and MRI scans. We measured segmentation accuracy on two public 3D-CT datasets, robustness on CT scans of patients with COVID-19, CT scans of patients with ovarian cancer and T2-weighted MRI of men with prostate cancer, and zero-shot generalization of LC for T2-weighted MRIs. Both models demonstrated high accuracy on in-distribution data (Dice 0.80 for SMIT and 0.78 for Swin UNETR). SMIT showed similar near-out-of-distribution performance on CT scans (AUROC 89.85% vs. 89.19%) but significantly better far-out-of-distribution accuracy on CT (AUROC 97.2% vs. 87.1%) and MRI (92.15% vs. 73.8%). SMIT outperformed Swin UNETR in zero-shot segmentation on MRI (Dice 0.78 vs. 0.69). We expect these findings to guide the safe development and deployment of current and future pretrained models in routine clinical use.


title: On Observation and The Completion of Quantum Mechanics

abstract: We start with a discussion of the use of mathematics to model the real world then justify the role of Hilbert space formalism for such modelling in the general context of quantum logic. Following this, the incompleteness of the Schr\"odinger equation is discussed as well as the incompleteness of von Neumann's measurement approach \cite{vN}. Subsequently, it is shown that quantum mechanics is indeed completed by the addition of an observer, however the observer is not described in the Hamiltonian formalism but \emph{necessarily} by the quantum stochastic formalism discovered in \cite{HP}. Consequently, the complete theory of quantum mechanics appears to be the Quantum Filtering Theory \cite{ND,NLF}. Finally, it is shown how Schr\"odinger's cat may be understood as a quantum filter, providing an intuitively realistic model and an insight into how quantum filtering works.


title: Professional Insights into Benefits and Limitations of Implementing MLOps Principles

abstract: Context: Machine Learning Operations (MLOps) has emerged as a set of practices that combines development, testing, and operations to deploy and maintain machine learning applications. Objective: In this paper, we assess the benefits and limitations of using the MLOps principles in online supervised learning. Method: We conducted two focus group sessions on the benefits and limitations of applying MLOps principles for online machine learning applications with six experienced machine learning developers. Results: The focus group revealed that machine learning developers see many benefits of using MLOps principles but also that these do not apply to all the projects they worked on. According to experts, this investment tends to pay off for larger applications with continuous deployment that require well-prepared automated processes. However, for initial versions of machine learning applications, the effort taken to implement the principles could enlarge the project's scope and increase the time needed to deploy a first version to production. The discussion brought up that most of the benefits are related to avoiding error-prone manual steps, enabling to restore the application to a previous state, and having a robust continuous automated deployment pipeline. Conclusions: It is important to balance the trade-offs of investing time and effort in implementing the MLOps principles considering the scope and needs of the project, favoring such investments for larger applications with continuous model deployment requirements.


title: Noisy Fixed Points: Stability of the Invariant Distribution of the Random Logistic Map

abstract: The full family of discrete logistic maps has been widely studied both as a canonical example of the period-doubling route to chaos, and as a model of natural processes. In this paper we present a study of the stochastic process described by iterations of the logistic map with a random parameter. In addition to bringing together previously known results, we present a proof that the unique invariant measure of the process in the chaotic regime is asymptotically stable.


title: Optimal Flow Matching: Learning Straight Trajectories in Just One Step

abstract: Over the several recent years, there has been a boom in development of Flow Matching (FM) methods for generative modeling. One intriguing property pursued by the community is the ability to learn flows with straight trajectories which realize the Optimal Transport (OT) displacements. Straightness is crucial for the fast integration (inference) of the learned flow's paths. Unfortunately, most existing flow straightening methods are based on non-trivial iterative FM procedures which accumulate the error during training or exploit heuristics based on minibatch OT. To address these issues, we develop and theoretically justify the novel Optimal Flow Matching approach which allows recovering the straight OT displacement for the quadratic transport in just one FM step. The main idea of our approach is the employment of vector field for FM which are parameterized by convex functions.


title: Modal Analysis of Spatiotemporal Data via Multivariate Gaussian Process Regression

abstract: Modal analysis has become an essential tool to understand the coherent structure of complex flows. The classical modal analysis methods, such as dynamic mode decomposition (DMD) and spectral proper orthogonal decomposition (SPOD), rely on a sufficient amount of data that is regularly sampled in time. However, often one needs to deal with sparse temporally irregular data, e.g., due to experimental measurements and simulation algorithm. To overcome the limitations of data scarcity and irregular sampling, we propose a novel modal analysis technique using multi-variate Gaussian process regression (MVGPR). We first establish the connection between MVGPR and the existing modal analysis techniques, DMD and SPOD, from a linear system identification perspective. Next, leveraging this connection, we develop a MVGPR-based modal analysis technique that addresses the aforementioned limitations. The capability of MVGPR is endowed by its judiciously designed kernel structure for correlation function, that is derived from the assumed linear dynamics. Subsequently, the proposed MVGPR method is benchmarked against DMD and SPOD on a range of examples, from academic and synthesized data to unsteady airfoil aerodynamics. The results demonstrate MVGPR as a promising alternative to classical modal analysis methods, especially in the scenario of scarce and temporally irregular data.


title: Statistic Vectorial Complex Ray Model and its Application to Three-Dimension Scattering of a Non-spherical Particle

abstract: A Statistic Vectorial Complex Ray Model (SVCRM) is proposed for the scattering of a plane wave by a non-spherical dielectric particle in three dimensions. This method counts the complex amplitudes of all rays arriving in a tiny box in the observation direction. It avoids the two-dimensional interpolation necessary in the Vectorial Complex Ray Model (VCRM) for the calculation of the total field. So, it is more flexible and suitable to deal with the particle of complex shape. The algorithm has been carefully designed for the calculation of the phases due to the optical path, the reflection and the focal lines/points as well as the amplitude variation caused by the reflection, the refraction and the divergence of the wave on the particle surface. This model is then applied, as an example, to simulate the three-dimensional scattering patterns of a pendent drop. The scattering mechanism is analyzed in details and the special attention has been paid to the scattering patterns around the rainbow angles where the caustics occur. The simulated results have been compared to the experimental results for a pendent drop of two typical sizes and shapes. It is shown that the simulated and the experimental results are in good agreement. This method opens a promising potential in the development of optical measurement techniques in fluid mechanics.


title: Degree asymptotics of the numerical semigroup tree

abstract: A \emph{numerical semigroup} is a subset $\Lambda$ of the nonnegative integers that is closed under addition, contains $0$, and omits only finitely many nonnegative integers (called the \emph{gaps} of $\Lambda$). The collection of all numerical semigroups may be visually represented by a tree of element removals, in which the children of a semigroup $\Lambda$ are formed by removing one element of $\Lambda$ that exceeds all existing gaps of $\Lambda$. In general, a semigroup may have many children or none at all, making it difficult to understand the number of semigroups at a given depth on the tree. We investigate the problem of estimating the number of semigroups at depth $g$ (i.e.\ of genus $g$) with $h$ children, showing that as $g$ becomes large, it tends to a proportion $\phi^{-h-2}$ of all numerical semigroups, where $\phi$ is the golden ratio.


title: Self-avoiding walk is ballistic on graphs with more than one end

abstract: We prove that on any transitive graph $G$ with infinitely many ends, a self-avoiding walk of length $n$ is ballistic with extremely high probability, in the sense that there exist constants $c,t>0$ such that $\mathbb{P}_n(d_G(w_0,w_n)\geq cn)\geq 1-e^{-tn}$ for every $n\geq 1$. Furthermore, we show that the number of self-avoiding walks of length $n$ grows asymptotically like $\mu_w^n$, in the sense that there exists $C>0$ such that $\mu_w^n\leq c_n\leq C\mu_w^n$ for every $n\geq 1$. Our results extend more generally to quasi-transitive graphs with infinitely many ends, satisfying the additional technical property that there is a quasi-transitive group of automorphisms of $G$ which does not fix an end of $G$.


title: Characterizing unstructured data with the nearest neighbor permutation entropy

abstract: Permutation entropy and its associated frameworks are remarkable examples of physics-inspired techniques adept at processing complex and extensive datasets. Despite substantial progress in developing and applying these tools, their use has been predominantly limited to structured datasets such as time series or images. Here, we introduce the k-nearest neighbor permutation entropy, an innovative extension of the permutation entropy tailored for unstructured data, irrespective of their spatial or temporal configuration and dimensionality. Our approach builds upon nearest neighbor graphs to establish neighborhood relations and uses random walks to extract ordinal patterns and their distribution, thereby defining the k-nearest neighbor permutation entropy. This tool not only adeptly identifies variations in patterns of unstructured data, but also does so with a precision that significantly surpasses conventional measures such as spatial autocorrelation. Additionally, it provides a natural approach for incorporating amplitude information and time gaps when analyzing time series or images, thus significantly enhancing its noise resilience and predictive capabilities compared to the usual permutation entropy. Our research substantially expands the applicability of ordinal methods to more general data types, opening promising research avenues for extending the permutation entropy toolkit for unstructured data.


title: On incomplete Cholesky factorizations in half precision arithmetic

abstract: Incomplete factorizations have long been popular general-purpose algebraic preconditioners for solving large sparse linear systems of equations. Guaranteeing the factorization is breakdown free while computing a high quality preconditioner is challenging. A resurgence of interest in using low precision arithmetic makes the search for robustness more urgent and tougher. In this paper, we focus on symmetric positive definite problems and explore a number of approaches: a look-ahead strategy to anticipate break down as early as possible, the use of global shifts, and a modification of an idea developed in the field of numerical optimization for the complete Cholesky factorization of dense matrices. Our numerical simulations target highly ill-conditioned sparse linear systems with the goal of computing the factors in half precision arithmetic and then achieving double precision accuracy using mixed precision refinement.


title: Cooperative Modular Manipulation with Numerous Cable-Driven Robots for Assistive Construction and Gap Crossing

abstract: Soldiers in the field often need to cross negative obstacles, such as rivers or canyons, to reach goals or safety. Military gap crossing involves on-site temporary bridges construction. However, this procedure is conducted with dangerous, time and labor intensive operations, and specialized machinery. We envision a scalable robotic solution inspired by advancements in force-controlled and Cable Driven Parallel Robots (CDPRs); this solution can address the challenges inherent in this transportation problem, achieving fast, efficient, and safe deployment and field operations. We introduce the embodied vision in Co3MaNDR, a solution to the military gap crossing problem, a distributed robot consisting of several modules simultaneously pulling on a central payload, controlling the cables' tensions to achieve complex objectives, such as precise trajectory tracking or force amplification. Hardware experiments demonstrate teleoperation of a payload, trajectory following, and the sensing and amplification of operators' applied physical forces during slow operations. An operator was shown to manipulate a 27.2 kg (60 lb) payload with an average force utilization of 14.5\% of its weight. Results indicate that the system can be scaled up to heavier payloads without compromising performance or introducing superfluous complexity. This research lays a foundation to expand CDPR technology to uncoordinated and unstable mobile platforms in unknown environments.


title: Probabilistic Circuits with Constraints via Convex Optimization

abstract: This work addresses integrating probabilistic propositional logic constraints into the distribution encoded by a probabilistic circuit (PC). PCs are a class of tractable models that allow efficient computations (such as conditional and marginal probabilities) while achieving state-of-the-art performance in some domains. The proposed approach takes both a PC and constraints as inputs, and outputs a new PC that satisfies the constraints. This is done efficiently via convex optimization without the need to retrain the entire model. Empirical evaluations indicate that the combination of constraints and PCs can have multiple use cases, including the improvement of model performance under scarce or incomplete data, as well as the enforcement of machine learning fairness measures into the model without compromising model fitness. We believe that these ideas will open possibilities for multiple other applications involving the combination of logics and deep probabilistic models.


title: Neutral Fraction of Hydrogen in the Intergalactic Medium Surrounding High-Redshift Gamma-Ray Burst 210905A

abstract: The Epoch of Reionization (EoR) is a key period of cosmological history in which the intergalactic medium (IGM) underwent a major phase change from being neutral to almost completely ionized. Gamma-ray bursts (GRBs) are luminous and unique probes of their environments that can be used to study the timeline for the progression of the EoR. Here we present a detailed analysis of the ESO Very Large Telescope X-shooter spectrum of GRB 210905A, which resides at a redshift of z ~ 6.3. We focus on estimating the fraction of neutral hydrogen, xHI, on the line of sight to the host galaxy of GRB 210905A by fitting the shape of the Lyman-alpha damping wing of the afterglow spectrum. The X-shooter spectrum has a high signal to noise ratio, but the complex velocity structure of the host galaxy limits the precision of our conclusions. The statistically preferred model suggests a low neutral fraction with an 3-sigma upper limit of xHI < 0.15, indicating that the IGM around the GRB host galaxy is mostly ionized. We discuss complications in current analyses and potential avenues for future studies of the progression of the EoR and its evolution with redshift.


title: Timing analysis of the newly discovered black hole candidate Swift J1727.8-1613 with Insight-HXMT

abstract: We present the results obtained from an X-ray timing study of the new black hole candidate (BHC) Swift J1727.8-1613. The work is based on Hard X-ray Modulation Telescope (Insight-HXMT) observations carried out during the 2023 outburst. Prominent type-C low-frequency Quasi-periodic Oscillations (LFQPOs) are detected throughout the observations. With the substantial effective area of the Insight-HXMT at high energies, we examine the energy dependence of various parameters, including the centroid frequency, fractional rms, and phase lags of the type-C QPOs. Our findings align closely with those observed in high-inclination systems. During the initial stage of the outburst, a peaked noise component is also detected, the frequency of which is highly correlated with the LFQPO frequency, aligning with the Psaltis-Belloni-van der Klis (PBK) relation. By assuming that the peaked noise originates from the precession of the accretion disc, the spin of this source can be constrained. Our results suggest that this source may possess a high spin.


title: AdaFish: Fast low-rank parameter-efficient fine-tuning by using second-order information

abstract: Recent advancements in large-scale pretrained models have significantly improved performance across a variety of tasks in natural language processing and computer vision. However, the extensive number of parameters in these models necessitates substantial memory and computational resources for full training. To adapt these models for downstream tasks or specific application-oriented datasets, parameter-efficient fine-tuning methods leveraging pretrained parameters have gained considerable attention. However, it can still be time-consuming due to lots of parameters and epochs. In this work, we introduce AdaFish, an efficient algorithm of the second-order type designed to expedite the training process within low-rank decomposition-based fine-tuning frameworks. Our key observation is that the associated generalized Fisher information matrix is either low-rank or extremely small-scaled. Such a generalized Fisher information matrix is shown to be equivalent to the Hessian matrix. Moreover, we prove the global convergence of AdaFish, along with its iteration/oracle complexity. Numerical experiments show that our algorithm is quite competitive with the state-of-the-art AdamW method.


title: Better Call SAL: Towards Learning to Segment Anything in Lidar

abstract: We propose $\texttt{SAL}$ ($\texttt{S}$egment $\texttt{A}$nything in $\texttt{L}$idar) method consisting of a text-promptable zero-shot model for segmenting and classifying any object in Lidar, and a pseudo-labeling engine that facilitates model training without manual supervision. While the established paradigm for $\textit{Lidar Panoptic Segmentation}$ (LPS) relies on manual supervision for a handful of object classes defined a priori, we utilize 2D vision foundation models to generate 3D supervision "for free". Our pseudo-labels consist of instance masks and corresponding CLIP tokens, which we lift to Lidar using calibrated multi-modal data. By training our model on these labels, we distill the 2D foundation models into our Lidar $\texttt{SAL}$ model. Even without manual labels, our model achieves $91\%$ in terms of class-agnostic segmentation and $44\%$ in terms of zero-shot LPS of the fully supervised state-of-the-art. Furthermore, we outperform several baselines that do not distill but only lift image features to 3D. More importantly, we demonstrate that $\texttt{SAL}$ supports arbitrary class prompts, can be easily extended to new datasets, and shows significant potential to improve with increasing amounts of self-labeled data.


title: Self-generated Replay Memories for Continual Neural Machine Translation

abstract: Modern Neural Machine Translation systems exhibit strong performance in several different languages and are constantly improving. Their ability to learn continuously is, however, still severely limited by the catastrophic forgetting issue. In this work, we leverage a key property of encoder-decoder Transformers, i.e. their generative ability, to propose a novel approach to continually learning Neural Machine Translation systems. We show how this can effectively learn on a stream of experiences comprising different languages, by leveraging a replay memory populated by using the model itself as a generator of parallel sentences. We empirically demonstrate that our approach can counteract catastrophic forgetting without requiring explicit memorization of training data. Code will be publicly available upon publication. Code: https://github.com/m-resta/sg-rep


title: Bosonic near-CFT$_1$ models from Fock-space fluxes

abstract: We construct a family of near-CFT$_1$ models with a conserved U(1) charge, whose basic degrees of freedom are canonical bosons. The Sachdev-Ye-Kitaev (SYK) model -- the first microscopic model that realizes the near-CFT$_1$ dynamics -- is based on random $p$-local interactions among fermions. However, a bosonic near-CFT$_1$ model has remained elusive in the $p$-local approach because such constructions generally suffer from unwanted orderings at low temperatures. Our construction is based on a recent insight that near-CFT$_1$ dynamics can quite generally arise if we place a large amount of random fluxes in a many-body Fock space and $p$-locality is not essential. All such models are essentially solved by chord diagrams regardless of the nature of the underlying degrees of freedom. We further argue that such bosonic models do not suffer from energetic instablities or unwanted low-temperature orderings. For comparison we also consider a second class of charge-conserving models which are based on qubits. The thermodynamic scalings of these models are very similar to those of the double-scaled complex SYK model but are free of certain singularities the latter suffers from. We also show the level statistics of both models are described by random matrix theory universality down to very low energies.


title: Wearable Roller Rings to Enable Robot Dexterous In-Hand Manipulation through Active Surfaces

abstract: In-hand manipulation is a crucial ability for reorienting and repositioning objects within grasps. The main challenges are not only the complexity in the computational models, but also the risks of grasp instability caused by active finger motions, such as rolling, sliding, breaking, and remaking contacts. Based on the idea of manipulation without lifting a finger, this paper presents the development of Roller Rings (RR), a modular robotic attachment with active surfaces that is wearable by both robot and human hands. By installing and angling the RRs on grasping systems, such that their spatial motions are not co-linear, we derive a general differential motion model for the object actuated by the active surfaces. Our motion model shows that complete in-hand manipulation skill sets can be provided by as few as only 2 RRs through non-holonomic object motions, while more RRs can enable enhanced manipulation dexterity with fewer motion constraints. Through extensive experiments, we wear RRs on both a robot hand and a human hand to evaluate their manipulation capabilities, and show that the RRs can be employed to manipulate arbitrary object shapes to provide dexterous in-hand manipulation.


title: Roots of full polynomials related to diagonal polynomials

abstract: Let $p$ be an odd prime, $m$ an even integer, $\mathbb{F}_q$ a finite field with $q = p^m$ elements, $f \in \mathbb{F}_q[x_1, \dots, x_n]$ a polynomial in $n$ variables and let us denote by $N(f)$ the number of roots of $f$ in $\mathbb{F}_q^n$. In this paper we consider the family of full polynomials, i.e., polynomials of the form \begin{equation*} f(x_1, \dots, x_n) = a_1 x_1^{d_{1,1}}\cdots x_n^{d_{n,1}} + a_2 x_1^{d_{1,2}}\cdots x_n^{d_{n,2}} + \dots + a_n x_1^{d_{1,s}}\cdots x_n^{d_{n,s}} - b, \end{equation*} where $d_{i,j} > 0$ for all $1 \le i\le n$, $1 \le j \le s$. For these polynomials, we obtain explicit formulas for $N(f)$ when the augmented degree matrix of $f$ is row-equivalent to the augmented degree matrix of a diagonal polynomial \begin{equation*} f(x_1, \dots, x_n) = a_1 x_1^d + a_2 x_2^{d} + \dots + a_n x_2^{d} - b, \end{equation*} when the positive integer $d$ satisfies a special condition with respect to $q$.


title: Robust NAS under adversarial training: benchmark, theory, and beyond

abstract: Recent developments in neural architecture search (NAS) emphasize the significance of considering robust architectures against malicious data. However, there is a notable absence of benchmark evaluations and theoretical guarantees for searching these robust architectures, especially when adversarial training is considered. In this work, we aim to address these two challenges, making twofold contributions. First, we release a comprehensive data set that encompasses both clean accuracy and robust accuracy for a vast array of adversarially trained networks from the NAS-Bench-201 search space on image datasets. Then, leveraging the neural tangent kernel (NTK) tool from deep learning theory, we establish a generalization theory for searching architecture in terms of clean accuracy and robust accuracy under multi-objective adversarial training. We firmly believe that our benchmark and theoretical insights will significantly benefit the NAS community through reliable reproducibility, efficient assessment, and theoretical foundation, particularly in the pursuit of robust architectures.


title: A Parallel Workflow for Polar Sea-Ice Classification using Auto-labeling of Sentinel-2 Imagery

abstract: The observation of the advancing and retreating pattern of polar sea ice cover stands as a vital indicator of global warming. This research aims to develop a robust, effective, and scalable system for classifying polar sea ice as thick/snow-covered, young/thin, or open water using Sentinel-2 (S2) images. Since the S2 satellite is actively capturing high-resolution imagery over the earth's surface, there are lots of images that need to be classified. One major obstacle is the absence of labeled S2 training data (images) to act as the ground truth. We demonstrate a scalable and accurate method for segmenting and automatically labeling S2 images using carefully determined color thresholds. We employ a parallel workflow using PySpark to scale and achieve 9-fold data loading and 16-fold map-reduce speedup on auto-labeling S2 images based on thin cloud and shadow-filtered color-based segmentation to generate label data. The auto-labeled data generated from this process are then employed to train a U-Net machine learning model, resulting in good classification accuracy. As training the U-Net classification model is computationally heavy and time-consuming, we distribute the U-Net model training to scale it over 8 GPUs using the Horovod framework over a DGX cluster with a 7.21x speedup without affecting the accuracy of the model. Using the Antarctic's Ross Sea region as an example, the U-Net model trained on auto-labeled data achieves a classification accuracy of 98.97% for auto-labeled training datasets when the thin clouds and shadows from the S2 images are filtered out.


title: Multi-fidelity surrogate with heterogeneous input spaces for modeling melt pools in laser-directed energy deposition

abstract: Multi-fidelity (MF) modeling is a powerful statistical approach that can intelligently blend data from varied fidelity sources. This approach finds a compelling application in predicting melt pool geometry for laser-directed energy deposition (L-DED). One major challenge in using MF surrogates to merge a hierarchy of melt pool models is the variability in input spaces. To address this challenge, this paper introduces a novel approach for constructing an MF surrogate for predicting melt pool geometry by integrating models of varying complexity, that operate on heterogeneous input spaces. The first thermal model incorporates five input parameters i.e., laser power, scan velocity, powder flow rate, carrier gas flow rate, and nozzle height. In contrast, the second thermal model can only handle laser power and scan velocity. A mapping is established between the heterogeneous input spaces so that the five-dimensional space can be morphed into a pseudo two-dimensional space. Predictions are then blended using a Gaussian process-based co-kriging method. The resulting heterogeneous multi-fidelity Gaussian process (Het-MFGP) surrogate not only improves predictive accuracy but also offers computational efficiency by reducing evaluations required from the high-dimensional, high-fidelity thermal model. The results underscore the benefits of employing Het-MFGP for modeling melt pool behavior in L-DED. The framework successfully demonstrates how to leverage multimodal data and handle scenarios where certain input parameters may be difficult to model or measure.


title: Predicted Complex Lithium Phases at Terapascal Pressures

abstract: We investigate the pressure-temperature ($p$-$T$) phase diagram of elemental lithium (Li) up to multiterapascal (TPa) pressures using ab-initio random structure search (AIRSS) and density functional theory (DFT). At zero temperature, beyond the high-pressure $Fd\bar{3}m$ diamond structure predicted in previous studies, we find eleven solid-state phase transitions to structures of greatly varying complexity, in addition to two structures that we calculate will become stable with sufficient temperature. The full $p$-$T$ dependence of the phase boundaries are computed within the vibrational harmonic approximation, and the solid-liquid melting line is calculated using ab-initio molecular dynamics simulations. Notably, between 39.1 TPa and 55.7 TPa, Li adopts an elaborate monoclinic structure with 46 atoms in the primitive unit cell, and between 71.9 TPa and $103$ TPa, an incommensurate host-guest phase of the Ba-IV type. We find that Li, hitherto predicted to be an electride at TPa pressures, abruptly loses its electride character above 16 TPa, reverting back to normal metallic behaviour with a corresponding rise in the Fermi-level electronic density of states (eDOS) and broadening of the electronic bands.


title: Max-stability under first-order stochastic dominance

abstract: Max-stability is the property that taking a maximum between two inputs results in a maximum between two outputs. We investigate max-stability with respect to first-order stochastic dominance, the most fundamental notion of stochastic dominance in decision theory. Under two additional standard axioms of monotonicity and lower semicontinuity, we establish a representation theorem for functionals satisfying max-stability, which turns out to be represented by the supremum of a bivariate function. Our characterized functionals encompass special classes of functionals in the literature of risk measures, such as benchmark-loss Value at Risk (VaR) and $\Lambda$-quantile.


title: Generating Automatic Feedback on UI Mockups with Large Language Models

abstract: Feedback on user interface (UI) mockups is crucial in design. However, human feedback is not always readily available. We explore the potential of using large language models for automatic feedback. Specifically, we focus on applying GPT-4 to automate heuristic evaluation, which currently entails a human expert assessing a UI's compliance with a set of design guidelines. We implemented a Figma plugin that takes in a UI design and a set of written heuristics, and renders automatically-generated feedback as constructive suggestions. We assessed performance on 51 UIs using three sets of guidelines, compared GPT-4-generated design suggestions with those from human experts, and conducted a study with 12 expert designers to understand fit with existing practice. We found that GPT-4-based feedback is useful for catching subtle errors, improving text, and considering UI semantics, but feedback also decreased in utility over iterations. Participants described several uses for this plugin despite its imperfect suggestions.


title: Constrained Bayesian optimization with merit functions

abstract: Bayesian optimization is a powerful optimization tool for problems where native first-order derivatives are unavailable. Recently, constrained Bayesian optimization (CBO) has been applied to many engineering applications where constraints are essential. However, several obstacles remain with current CBO algorithms that could prevent a wider adoption. We propose CBO algorithms using merit functions, such as the penalty merit function, in acquisition functions, inspired by nonlinear optimization methods, e.g., sequential quadratic programming. Merit functions measure the potential progress of both the objective and constraint functions, thus increasing algorithmic efficiency and allowing infeasible initial samples. The acquisition functions with merit functions are relaxed to have closed forms, making its implementation readily available wherever Bayesian optimization is. We further propose a unified CBO algorithm that can be seen as extension to the popular expected constrained improvement (ECI) approach. We demonstrate the effectiveness and efficiency of the proposed algorithms through numerical experiments on synthetic problems and a practical data-driven engineering design problem in the field of plasma physics.


title: Function Trees: Transparent Machine Learning

abstract: The output of a machine learning algorithm can usually be represented by one or more multivariate functions of its input variables. Knowing the global properties of such functions can help in understanding the system that produced the data as well as interpreting and explaining corresponding model predictions. A method is presented for representing a general multivariate function as a tree of simpler functions. This tree exposes the global internal structure of the function by uncovering and describing the combined joint influences of subsets of its input variables. Given the inputs and corresponding function values, a function tree is constructed that can be used to rapidly identify and compute all of the function's main and interaction effects up to high order. Interaction effects involving up to four variables are graphically visualized.


title: Loops in Anti de Sitter space

abstract: We discuss general one and two-loop banana diagrams and one-loop diagrams with external lines with arbitrary masses on the anti de Sitter spacetime by using methods of AdS quantum field theory in the dimensional regularization approach. The banana diagrams explicitly computed in this paper are indeed the necessary ingredients for the evaluation of the two-loop effective potential of the Standard Model and can be used to extend the flat space results in in presence of a negative cosmological constant. In the one-loop case we also compute the effective potential for an $O(N)$ model in $d=4$ dimension as an explicit function of the cosmological constant $\Lambda$, both exactly and perturbatively up to order $\Lambda$. In the two-loop case we show the explicit calculation is possible thanks to a remarkable discrete K\"all\'en-Lehmann formula which we found and proved sometimes ago and whose domain of applicability we extend in the present paper.


title: On sequential theorems in Reverse Mathematics

abstract: Many theorems of mathematics have the form that for a certain problem, e.g. a differential equation or polynomial (in)equality, there exists a solution. The sequential version then states that for a sequence of problems, there is a sequence of solutions. The original and sequential theorem can often be proved via the same (or similar) proof and often have the same (or similar) logical properties, esp. if everything is formulated in the language of second-order arithmetic. In this paper, we identify basic theorems of third-order arithmetic, e.g. concerning semi-continuous functions, such that the sequential versions have very different logical properties. In particular, depending on the constructive status of the original theorem, very different and independent choice principles are needed. Despite these differences, the associated Reverse Mathematics, working in Kohlenbach's higher-order framework, is rather elegant and is still based at the core on weak K\"onig's lemma.


title: Interactive Robot-Environment Self-Calibration via Compliant Exploratory Actions

abstract: Calibrating robots into their workspaces is crucial for manipulation tasks. Existing calibration techniques often rely on sensors external to the robot (cameras, laser scanners, etc.) or specialized tools. This reliance complicates the calibration process and increases the costs and time requirements. Furthermore, the associated setup and measurement procedures require significant human intervention, which makes them more challenging to operate. Using the built-in force-torque sensors, which are nowadays a default component in collaborative robots, this work proposes a self-calibration framework where robot-environmental spatial relations are automatically estimated through compliant exploratory actions by the robot itself. The self-calibration approach converges, verifies its own accuracy, and terminates upon completion, autonomously purely through interactive exploration of the environment's geometries. Extensive experiments validate the effectiveness of our self-calibration approach in accurately establishing the robot-environment spatial relationships without the need for additional sensing equipment or any human intervention.


title: Loops in de Sitter space

abstract: We discuss general one and two-loops banana diagrams with arbitrary masses on the de Sitter spacetime by using direct methods of dS quantum field theory in the dimensional regularization approach. In the one-loop case we also compute the effective potential for an $O(N)$ model in $d=4$ dimension as an explicit function of the cosmological constant $\Lambda$, both exactly and perturbatively up to order $\Lambda$. For the two-loop case we show that the calculation is made easy thanks to a remarkable Kallen-Lehmann formula that has been in the literature for a while. We discuss the divergent cases at d=3 using a contiguity formula for generalized hypergeometric functions and we extract the dominant term at d=4 proving a general formula to deal with a divergent hypergeometric series.


title: Sandwich Bernstein-Sato Polynomials and Bernstein's Inequality

abstract: Bernstein's inequality is a central result in the theory of $D$-modules on smooth varieties. While Bernstein's inequality fails for rings of differential operators on general singularities, recent work of \`{A}lvarez Montaner, Hern\'andez, Jeffries, N\'u\~nez-Betancourt, Teixeira, and Witt establishes Bernstein's inequality for invariants of finite groups in characteristic zero and certain other mild singularities in positive characteristic. Motivated by extending this result to new classes of singular rings, we introduce a ``two-sided'' analogue of the Bernstein-Sato polynomial which we call the sandwich Bernstein-Sato polynomial. We apply this notion to give an effective criterion to verify Bernstein's inequality, and apply this to show that Bernstein's inequality holds for the coordinate ring of $\mathbb{P}^a \times \mathbb{P}^b$ via the Segre embedding. We also establish a number of examples and basic results on sandwich Bernstein-Sato polynomials.


title: Meta-Learning for Fast Adaptation in Intent Inferral on a Robotic Hand Orthosis for Stroke

abstract: We propose MetaEMG, a meta-learning approach for fast adaptation in intent inferral on a robotic hand orthosis for stroke. One key challenge in machine learning for assistive and rehabilitative robotics with disabled-bodied subjects is the difficulty of collecting labeled training data. Muscle tone and spasticity often vary significantly among stroke subjects, and hand function can even change across different use sessions of the device for the same subject. We investigate the use of meta-learning to mitigate the burden of data collection needed to adapt high-capacity neural networks to a new session or subject. Our experiments on real clinical data collected from five stroke subjects show that MetaEMG can improve the intent inferral accuracy with a small session- or subject-specific dataset and very few fine-tuning epochs. To the best of our knowledge, we are the first to formulate intent inferral on stroke subjects as a meta-learning problem and demonstrate fast adaptation to a new session or subject for controlling a robotic hand orthosis with EMG signals.


title: SIFT-DBT: Self-supervised Initialization and Fine-Tuning for Imbalanced Digital Breast Tomosynthesis Image Classification

abstract: Digital Breast Tomosynthesis (DBT) is a widely used medical imaging modality for breast cancer screening and diagnosis, offering higher spatial resolution and greater detail through its 3D-like breast volume imaging capability. However, the increased data volume also introduces pronounced data imbalance challenges, where only a small fraction of the volume contains suspicious tissue. This further exacerbates the data imbalance due to the case-level distribution in real-world data and leads to learning a trivial classification model that only predicts the majority class. To address this, we propose a novel method using view-level contrastive Self-supervised Initialization and Fine-Tuning for identifying abnormal DBT images, namely SIFT-DBT. We further introduce a patch-level multi-instance learning method to preserve spatial resolution. The proposed method achieves 92.69% volume-wise AUC on an evaluation of 970 unique studies.


title: Bernstein-Nikolskii Inequality: Optimality with Respect to the Smoothness Parameter

abstract: In this paper, we study the form of the constant $C$ in the Bernstein--Nikolskii inequalities $\|f^{(s)}\|_q \lesssim C(s, p, q)\left\|f\right\|_p,\,0<p<q \leq\infty$, for trigonometric polynomials and entire functions of exponential type. We obtain the optimal behavior of the constant with respect to the smoothness parameter $s$.


title: Training Survival Models using Scoring Rules

abstract: Survival Analysis provides critical insights for partially incomplete time-to-event data in various domains. It is also an important example of probabilistic machine learning. The probabilistic nature of the predictions can be exploited by using (proper) scoring rules in the model fitting process instead of likelihood-based optimization. Our proposal does so in a generic manner and can be used for a variety of model classes. We establish different parametric and non-parametric sub-frameworks that allow different degrees of flexibility. Incorporated into neural networks, it leads to a computationally efficient and scalable optimization routine, yielding state-of-the-art predictive performance. Finally, we show that using our framework, we can recover various parametric models and demonstrate that optimization works equally well when compared to likelihood-based methods.


title: Metaplectic cusp forms and the large sieve

abstract: We prove a power saving upper bound for the sum of Fourier coefficients $\rho_f(\cdot)$ of a fixed cubic metaplectic cusp form $f$ over primes. Our result is the cubic analogue of a celebrated 1990 Theorem of Duke and Iwaniec, and the cuspidal analogue of a Theorem due to the author and Radziwill for the bias in cubic Gauss sums. The proof has two main inputs, both of independent interest. Firstly, we prove a new large sieve estimate for a bilinear form whose kernel function is $\rho_f(\cdot)$. The proof of the bilinear estimate uses a number field version of circle method due to Browning and Vishe, Voronoi summation, and Gauss-Ramanujan sums. Secondly, we use Voronoi summation and the cubic large sieve of Heath-Brown to prove an estimate for a linear form involving $\rho_f(\cdot)$. Our linear estimate overcomes a bottleneck occurring at level of distribution $2/3$.


title: Escape into the Third Dimension in Cholesteric Liquid Crystals

abstract: Integer winding disclinations are unstable in a nematic and are removed by an `escape into the third dimension', resulting in a non-singular texture. This process is frustrated in a cholesteric material due to the requirement of maintaining a uniform handedness and instead results in the formation of strings of point defects, as well as complex three-dimensional solitons such as heliknotons that consist of linked dislocations. We give a complete description of this frustration using methods of contact topology. Furthermore, we describe how this frustration can be exploited to stabilise regions of the material where the handedness differs from the preferred handedness. These `twist solitons' are stable in numerical simulation and are a new form of topological defect in cholesteric materials that have not previously been studied.


title: Tensor Time Series Imputation through Tensor Factor Modelling

abstract: We propose tensor time series imputation when the missing pattern in the tensor data can be general, as long as any two data positions along a tensor fibre are both observed for enough time points. The method is based on a tensor time series factor model with Tucker decomposition of the common component. One distinguished feature of the tensor time series factor model used is that there can be weak factors in the factor loadings matrix for each mode. This reflects reality better when real data can have weak factors which drive only groups of observed variables, for instance, a sector factor in financial market driving only stocks in a particular sector. Using the data with missing entries, asymptotic normality is derived for rows of estimated factor loadings, while consistent covariance matrix estimation enables us to carry out inferences. As a first in the literature, we also propose a ratio-based estimator for the rank of the core tensor under general missing patterns. Rates of convergence are spelt out for the imputations from the estimated tensor factor models. We introduce a new measure for gauging imputation performances, and simulation results show that our imputation procedure works well, with asymptotic normality and corresponding inferences also demonstrated. Re-imputation performances are also gauged when we demonstrate that using slightly larger rank then estimated gives superior re-imputation performances. An NYC taxi traffic data set is also analyzed by imposing general missing patterns and gauging the imputation performances.


title: Vison condensation and spinon confinement in a kagome lattice $\mathbb{Z}_2$ spin liquid: A numerical study of a quantum dimer model

abstract: Quantum spin liquids are exotic many-body states featured with long-range entanglement and fractional anyon quasiparticles. Quantum phase transitions of spin liquids are particularly interesting problems related with novel phenomena of anyon condensation and anyon confinement. Here we study a quantum dimer model which implements a transition between a $\mathbb{Z}_2$ spin liquid ($\mathbb{Z}_2$SL) and a valence bond solid (VBS) on the kagome lattice. The transition is driven by the condensation of vison excitation of the $\mathbb{Z}_2$ spin liquid, which impacts on other anyon excitations especially leading to the confinement of spinon excitations. By numerical exact diagonalization of the dimer model, we directly measure the vison condensation using vison string operators, and explicitly check a confining potential acting on spinon excitations in the VBS state. It is observed that topological degeneracy of the spin liquid state is lifted concomitantly with the vison condensation. The dimer ordering pattern of the VBS state is identified by investigating dimer structure factor. Furthermore, we find an interesting state that exhibits features of spin liquid and VBS simultaneously. We discuss the origin of the mixed behaviors and possible scenarios expected in thermodynamic limit. This work complements the previous analytical studies on the dimer model, Phys. Rev. B 87, 104408 (2013) and Phys. Rev. B 92, 205131 (2015), by providing numerical evidences on the vison condensation and the spinon confinement in the $\mathbb{Z}_2$SL-to-VBS transition.


title: Recent Efforts Towards Understanding the Early Universe from a Fundamental Quantum Perspective

abstract: The observable universe is fundamentally inhomogeneous and anisotropic. Quantum description of the generation of these inhomogeneities and anisotropies is ill-understood and unsatisfactory. After providing a brief account of the standard approach of the generation of the classical density perturbations starting from the quantum fluctuations of inflaton field, I critically review various assumptions which are crucial for the success of this description, and point out various shortcomings around it. I also discuss the basic ideas and recent works by using an alternative path to overcome those shortcomings which is motivated by the so-called Collapse Model interpretation of quantum mechanics. Inspired by these works, I argue the necessity of constructing a class of manifestly inhomogeneous and anisotropic quantum states after inflation and discuss my recent works which provide one such prescription of building such a state, called the $T-$vacuum, defined in the radiation dominated stage of the early universe.


title: The Kawamata-Morrison Cone Conjecture for Generalized Hyperelliptic Variety

abstract: A Generalized Hyperelliptic Variety (GHV) is the quotient of an abelian variety by a free action of a finite group which does not contain any translation. These varieties are natural generalizations of bi-elliptic surfaces. In this paper we prove the Kawamata-Morrison Cone Conjecture for these manifolds using the analogous results established by Prendergast-Smith for abelian varieties.


title: A note on zero density results implying large value estimates for Dirichlet polynomials

abstract: In this note we investigate connections between zero density estimates for the Riemann zeta function and large value estimates for Dirichlet polynomials. It is well known that estimates of the latter type imply estimates of the former type. Our goal is to show that there is an implication to the other direction as well, i.e. zero density estimates for the Riemann zeta function imply large value estimates for Dirichlet polynomials.


title: Status of the Top Plate and Anticryostat for High Field Cable Test Facility at Fermilab

abstract: Fermi National Accelerator Laboratory (Fermilab) is currently constructing a new High Field Vertical Magnet Test Facility (HFVMTF) designed for testing High Temperature Superconducting (HTS) cables under high magnetic fields. This facility is expected to offer capabilities similar to those of EDIPO at PSI and FRESCA2 at CERN. The background magnetic field of 15 T will be generated by a magnet supplied by Lawrence Berkeley National Laboratory. The primary function of HFVMTF will be to serve as a superconducting cable test facility, facilitating tests under high magnetic fields and a broad spectrum of cryogenic temperatures. Additionally, the facility will be utilized for testing highfield superconducting magnet models and demonstrators, including hybrid magnets, developed by the US Magnet Development Program (MDP). This paper provides a comprehensive description of the current status of two pivotal components of the facility: the Top/Lambda Plates Assembly and the Anticryostat for the Test Sample Holder. The latter will serve as a principal interface component connecting cable test samples with the facility's cryostat.


title: Lower bounds for coefficients of certain cyclotomic polynomials

abstract: In this paper I prove a conjecture which gives a lower bound for the largest absolute value of the coefficients of the n-th cyclotomic polynomial for some n. Moreover this estimate is essentially sharp.


title: Revisiting shear stress tensor evolution: Non-resistive magnetohydrodynamics with momentum-dependent relaxation time

abstract: This study aims to develop second-order relativistic viscous magnetohydrodynamics (MHD) derived from kinetic theory within an extended relaxation time approximation (momentum/energy dependent) for the collision kernel. The investigation involves a detailed examination of shear stress tensor evolution equations and associated transport coefficients. The Boltzmann equation is solved using a Chapman-Enskog-like gradient expansion for a charge-conserved conformal system, incorporating a momentum-dependent relaxation time. The derived relativistic non-resistive, viscous second-order MHD equations for the shear stress tensor reveal significant modifications in the coupling with dissipative charge current and magnetic field due to the momentum dependence of the relaxation time. By utilizing a power law parametrization to quantify the momentum dependence of the relaxation time, the anisotropic magnetic field-dependent shear coefficients in the Navier-Stokes limit have been investigated. The resulting viscous coefficients are seen to be sensitive to the momentum dependence of the relaxation time.


title: Sharp local propagation of chaos for mean field particles with $W^{-1,\infty}$ kernels

abstract: We present two methods to obtain $O(1/N^2)$ local propagation of chaos bounds for $N$ diffusive particles in $W^{-1,\infty}$ mean field interaction. This extends the recent finding of Lacker [Probab. Math. Phys., 4(2):377-432, 2023] to the case of singular interactions. The first method is based on a hierarchy of relative entropies and Fisher informations, and applies to the 2D viscous vortex model in the high temperature regime. Time-uniform local chaos bounds are also shown in this case. In the second method, we work on a hierarchy of $L^2$ distances and Dirichlet energies, and derive the desired sharp estimates for the same model in short time without restrictions on the temperature.


title: A Textbook Solution for Dynamic Strings

abstract: We consider the problem of maintaining a collection of strings while efficiently supporting splits and concatenations on them, as well as comparing two substrings, and computing the longest common prefix between two suffixes. This problem can be solved in optimal time $\mathcal{O}(\log N)$ whp for the updates and $\mathcal{O}(1)$ worst-case time for the queries, where $N$ is the total collection size [Gawrychowski et al., SODA 2018]. We present here a much simpler solution based on a forest of enhanced splay trees (FeST), where both the updates and the substring comparison take $\mathcal{O}(\log n)$ amortized time, $n$ being the lengths of the strings involved. The longest common prefix of length $\ell$ is computed in $\mathcal{O}(\log n + \log^2\ell)$ amortized time. Our query results are correct whp. Our simpler solution enables other more general updates in $\mathcal{O}(\log n)$ amortized time, such as reversing a substring and/or mapping its symbols. We can also regard substrings as circular or as their omega extension.


title: DeblurDiNAT: A Lightweight and Effective Transformer for Image Deblurring

abstract: While recent Transformer-based architectures generate improved deblurring outcomes than prior convolutional neural networks (CNNs), the large model size and heavy computational cost are still two bothersome issues which have not been fully resolved. Besides, the existing state-of-the-art (SOTA) approach trained on synthetic datasets may not perform well on a broad range of unseen real-world deblurring scenarios. To this end, we propose DeblurDiNAT, a compact and robust encoder-decoder Transformer which efficiently restores clean images from blurred ones. We adopt an alternating dilation factor structure to learn local and global blur patterns. Also, we observe that Transformers with conventional self-attention layers do not always produce good deblurred results. To solve this problem, we propose a channel modulation self-attention (CMSA) block, where a local cross-channel learner (LCCL) is utilized to capture channel relationships. In addition, we present a divide and multiply feed-forward network (DMFN) allowing fast feature propagation. Moreover, we design a lightweight dual-stage feature fusion (LDFF) module to introduce non-linearity. Comprehensive experimental results show that the proposed DeblurDiNAT provides a significant performance boost without a noticeable increase in computational cost over the baseline, and achieves SOTA performance on mainstream image deblurring datasets. Compared to nearest competitors, our space-efficient and time-saving model demonstrates a stronger generalization ability with 3%-68% fewer parameters and produces deblurred images that are visually closer to the ground truth.


title: VL-ICL Bench: The Devil in the Details of Benchmarking Multimodal In-Context Learning

abstract: Large language models (LLMs) famously exhibit emergent in-context learning (ICL) -- the ability to rapidly adapt to new tasks using few-shot examples provided as a prompt, without updating the model's weights. Built on top of LLMs, vision large language models (VLLMs) have advanced significantly in areas such as recognition, reasoning, and grounding. However, investigations into \emph{multimodal ICL} have predominantly focused on few-shot visual question answering (VQA), and image captioning, which we will show neither exploit the strengths of ICL, nor test its limitations. The broader capabilities and limitations of multimodal ICL remain under-explored. In this study, we introduce a comprehensive benchmark VL-ICL Bench for multimodal in-context learning, encompassing a broad spectrum of tasks that involve both images and text as inputs and outputs, and different types of challenges, from {perception to reasoning and long context length}. We evaluate the abilities of state-of-the-art VLLMs against this benchmark suite, revealing their diverse strengths and weaknesses, and showing that even the most advanced models, such as GPT-4, find the tasks challenging. By highlighting a range of new ICL tasks, and the associated strengths and limitations of existing models, we hope that our dataset will inspire future work on enhancing the in-context learning capabilities of VLLMs, as well as inspire new applications that leverage VLLM ICL. The code and dataset are available at https://github.com/ys-zong/VL-ICL.


title: Simplification & Incidence: How an Incidence-focused Perspective Patches Category-theoretic Problems in Graph Theory

abstract: By applying simplification operations to categories of multigraphs, several natural graph operations are shown to demonstrate categorical issues. The replacement of an undirected edge with a directed cycle for digraphs admits both a left and a right adjoint, while the analogous operation for quivers only admits a left adjoint. The clique-replacement graph, intersection graph, and dual hypergraph fail to be functorial with traditional graph homomorphisms. The three failures are remedied by considering weak set-system homomorphisms, which form a category isomorphic to both the category of incidence structures and a lax comma category.


title: Improving tracking algorithms with machine learning: a case for line-segment tracking at the High Luminosity LHC

abstract: In this work, we present a study on ways that tracking algorithms can be improved with machine learning (ML). We base this study on the line segment tracking (LST) algorithm that we have designed to be naturally parallelized and vectorized in order to efficiently run on modern processors. LST has been developed specifically for the CMS Experiment at the LHC, towards the High Luminosity LHC (HL-LHC) upgrade. Moreover, we have already shown excellent efficiency and performance results as we iteratively improve LST, leveraging a full simulation of the CMS detector. At the same time, promising deep-learning-based tracking algorithms, such as Graph Neural Networks (GNNs), are being pioneered on the simplified TrackML dataset. These results suggest that parts of LST could be improved or replaced by ML. Thus, a thorough, step-by-step investigation of exactly how and where ML can be utilized, while still meeting realistic HL-LHC performance and efficiency constraints, is implemented as follows. First, a lightweight neural network is used to replace and improve upon explicitly defined track quality selections. This neural network is shown to be highly efficient and robust to displaced tracks while having little-to-no impact on the runtime of LST. These results clearly establish that ML can be used to improve LST without penalty. Next, exploratory studies of GNN track-building algorithms are described. In particular, low-level track objects from LST are considered as nodes in a graph, where edges represent higher-level objects or even entire track candidates. Then, an edge-classifier GNN is trained, and the efficiency of the resultant edge scores is compared with that of the existing LST track quality selections. These GNN studies provide insights into the practicality and performance of using more ambitious and complex ML algorithms for HL-LHC tracking at the CMS Experiment.


title: Improved EATFormer: A Vision Transformer for Medical Image Classification

abstract: The accurate analysis of medical images is vital for diagnosing and predicting medical conditions. Traditional approaches relying on radiologists and clinicians suffer from inconsistencies and missed diagnoses. Computer-aided diagnosis systems can assist in achieving early, accurate, and efficient diagnoses. This paper presents an improved Evolutionary Algorithm-based Transformer architecture for medical image classification using Vision Transformers. The proposed EATFormer architecture combines the strengths of Convolutional Neural Networks and Vision Transformers, leveraging their ability to identify patterns in data and adapt to specific characteristics. The architecture incorporates novel components, including the Enhanced EA-based Transformer block with Feed-Forward Network, Global and Local Interaction , and Multi-Scale Region Aggregation modules. It also introduces the Modulated Deformable MSA module for dynamic modeling of irregular locations. The paper discusses the Vision Transformer (ViT) model's key features, such as patch-based processing, positional context incorporation, and Multi-Head Attention mechanism. It introduces the Multi-Scale Region Aggregation module, which aggregates information from different receptive fields to provide an inductive bias. The Global and Local Interaction module enhances the MSA-based global module by introducing a local path for extracting discriminative local information. Experimental results on the Chest X-ray and Kvasir datasets demonstrate that the proposed EATFormer significantly improves prediction speed and accuracy compared to baseline models.


title: Magnetoelectric coupling at the domain level in polycrystalline ErMnO3

abstract: We explore the impact of a magnetic field on the ferroelectric domain pattern in polycrystalline hexagonal ErMnO3 at cryogenic temperatures. Utilizing piezoelectric force microscopy measurements at 1.65 K, we observe modifications of the topologically protected ferroelectric domain structure induced by the magnetic field. These alterations likely result from strain induced by the magnetic field, facilitated by intergranular coupling in polycrystalline multiferroics. Our findings give insights into the interplay between electric and magnetic properties at the local scale and represent a so far unexplored pathway for manipulating topologically protected ferroelectric vortex patterns in hexagonal manganites.


title: Wav2Gloss: Generating Interlinear Glossed Text from Speech

abstract: Thousands of the world's languages are in danger of extinction--a tremendous threat to cultural identities and human language diversity. Interlinear Glossed Text (IGT) is a form of linguistic annotation that can support documentation and resource creation for these languages' communities. IGT typically consists of (1) transcriptions, (2) morphological segmentation, (3) glosses, and (4) free translations to a majority language. We propose Wav2Gloss: a task in which these four annotation components are extracted automatically from speech, and introduce the first dataset to this end, Fieldwork: a corpus of speech with all these annotations, derived from the work of field linguists, covering 37 languages, with standard formatting, and train/dev/test splits. We provide various baselines to lay the groundwork for future research on IGT generation from speech, such as end-to-end versus cascaded, monolingual versus multilingual, and single-task versus multi-task approaches.


title: On Designing Consistent Covariance Recovery from a Deep Learning Visual Odometry Engine

abstract: Deep learning techniques have significantly advanced in providing accurate visual odometry solutions by leveraging large datasets. However, generating uncertainty estimates for these methods remains a challenge. Traditional sensor fusion approaches in a Bayesian framework are well-established, but deep learning techniques with millions of parameters lack efficient methods for uncertainty estimation. This paper addresses the issue of uncertainty estimation for pre-trained deep-learning models in monocular visual odometry. We propose formulating a factor graph on an implicit layer of the deep learning network to recover relative covariance estimates, which allows us to determine the covariance of the Visual Odometry (VO) solution. We showcase the consistency of the deep learning engine's covariance approximation with an empirical analysis of the covariance model on the EUROC datasets to demonstrate the correctness of our formulation.


title: LUWA Dataset: Learning Lithic Use-Wear Analysis on Microscopic Images

abstract: Lithic Use-Wear Analysis (LUWA) using microscopic images is an underexplored vision-for-science research area. It seeks to distinguish the worked material, which is critical for understanding archaeological artifacts, material interactions, tool functionalities, and dental records. However, this challenging task goes beyond the well-studied image classification problem for common objects. It is affected by many confounders owing to the complex wear mechanism and microscopic imaging, which makes it difficult even for human experts to identify the worked material successfully. In this paper, we investigate the following three questions on this unique vision task for the first time:(i) How well can state-of-the-art pre-trained models (like DINOv2) generalize to the rarely seen domain? (ii) How can few-shot learning be exploited for scarce microscopic images? (iii) How do the ambiguous magnification and sensing modality influence the classification accuracy? To study these, we collaborated with archaeologists and built the first open-source and the largest LUWA dataset containing 23,130 microscopic images with different magnifications and sensing modalities. Extensive experiments show that existing pre-trained models notably outperform human experts but still leave a large gap for improvements. Most importantly, the LUWA dataset provides an underexplored opportunity for vision and learning communities and complements existing image classification problems on common objects.


title: Identifying codes in graphs of given maximum degree. I. Trees

abstract: An identifying code of a closed-twin-free graph $G$ is a dominating set $S$ of vertices of $G$ such that any two vertices in $G$ have a distinct intersection between their closed neighborhoods and $S$. It was conjectured that there exists an absolute constant $c$ such that for every connected graph $G$ of order $n$ and maximum degree $\Delta$, the graph $G$ admits an identifying code of size at most $( \frac{\Delta-1}{\Delta} )n +c$. We provide significant support for this conjecture by proving that it holds for all trees. Moreover, our proof allows us to precisely determine the constant $c$ for trees, and the list of trees requiring $c>0$. For $\Delta=2$ (the graph is a path or a cycle), it is long known that $c=3/2$ suffices. For trees, for each $\Delta\ge 3$, we show that $c=1/\Delta\le 1/3$ suffices and that $c$ is required to be a positive number only for a finite number of trees. In particular, for $\Delta = 3$, there are 12 trees with diameter at most $6$ with a positive constant $c$ and, for each $\Delta \ge 4$, the only tree with positive constant $c$ is the $\Delta$-star. Our proof is based on induction and utilizes recent results from [F. Foucaud, T. Lehtil\"a. Revisiting and improving upper bounds for identifying codes. SIAM Journal on Discrete Mathematics, 2022]. We also remark that there are infinitely many trees for which the bound is tight when $\Delta=3$; for every $\Delta\ge 4$, we construct an infinite family of trees of order $n$ with identification number very close to the bound, namely $\left( \frac{\Delta-1+\frac{1}{\Delta-2}}{\Delta+\frac{2}{\Delta-2}} \right) n > (\frac{\Delta-1}{\Delta} ) n -\frac{n}{\Delta^2}$.


title: GerontoVis: Data Visualization at the Confluence of Aging

abstract: Despite the explosive growth of the aging population worldwide, older adults have been largely overlooked by visualization research. This paper is a critical reflection on the underrepresentation of older adults in visualization research. We discuss why investigating visualization at the intersection of aging matters, why older adults may have been omitted from sample populations in visualization research, how aging may affect visualization use, and how this differs from traditional accessibility research. To encourage further discussion and novel scholarship in this area, we introduce GerontoVis, a term which encapsulates research and practice of data visualization design that primarily focuses on older adults. By introducing this new subfield of visualization research, we hope to shine a spotlight on this growing user population and stimulate innovation toward the development of aging-aware visualization tools. We offer a birds-eye view of the GerontoVis landscape, explore some of its unique challenges, and identify promising areas for future research.


title: Ionized Gas in an Annular Region

abstract: We consider a plasma that is created by a high voltage difference $\lambda$, which is known as a Townsend discharge. We consider it to be confined to the region $\Omega$ between two concentric spheres, two concentric cylinders, or more generally between two star-shaped surfaces. We first prove that if the plasma is initially relatively dilute, then either it may remain dilute for all time or it may not, depending on a certain parameter $\kappa(\lambda, \Omega)$. Secondly, we prove that there is a connected one-parameter family of steady states. This family connects the non-ionized gas to a plasma, either with a sparking voltage $\lambda^*$ or with very high ionization, at least in the cylindrical or spherical cases.


title: Systematic errors in searches for nanohertz gravitational waves

abstract: A number of pulsar timing arrays have recently reported preliminary evidence for the existence of a nanohertz frequency gravitational-wave background. These analyses rely on detailed noise analyses, which are inherently complex due to the many astrophysical and instrumental factors that contribute to the pulsar noise budget. We investigate whether realistic systematic errors, stemming from misspecified noise models that fail to capture salient features of the pulsar timing noise, could bias the evidence for gravitational waves. We consider two plausible forms of misspecification: small unmodeled jumps and unmodeled chromatic noise. Using simulated data, we calculate the distribution of the commonly used optimal statistic with no signal present and using plausibly misspecified noise models. By comparing the optimal statistic distribution with the distribution created using ``quasi-resampling'' techniques (such as sky scrambles and phase shifts), we endeavor to determine the extent to which plausible misspecification might lead to a false positive. The results are reassuring: we find that quasi-resampling techniques tend to underestimate the significance of pure-noise datasets. We conclude that recent reported evidence for a nanohertz gravitational-wave background is likely robust to the most obvious sources of systematic errors; if anything, the significance of the signal is potentially underestimated.


title: Castor: Competing shapelets for fast and accurate time series classification

abstract: Shapelets are discriminative subsequences, originally embedded in shapelet-based decision trees but have since been extended to shapelet-based transformations. We propose Castor, a simple, efficient, and accurate time series classification algorithm that utilizes shapelets to transform time series. The transformation organizes shapelets into groups with varying dilation and allows the shapelets to compete over the time context to construct a diverse feature representation. By organizing the shapelets into groups, we enable the transformation to transition between levels of competition, resulting in methods that more closely resemble distance-based transformations or dictionary-based transformations. We demonstrate, through an extensive empirical investigation, that Castor yields transformations that result in classifiers that are significantly more accurate than several state-of-the-art classifiers. In an extensive ablation study, we examine the effect of choosing hyperparameters and suggest accurate and efficient default values.


title: User-customizable Shared Control for Fine Teleoperation via Virtual Reality

abstract: Shared control can ease and enhance a human operator's ability to teleoperate robots, particularly for intricate tasks demanding fine control over multiple degrees of freedom. However, the arbitration process dictating how much autonomous assistance to administer in shared control can confuse novice operators and impede their understanding of the robot's behavior. To overcome these adverse side-effects, we propose a novel formulation of shared control that enables operators to tailor the arbitration to their unique capabilities and preferences. Unlike prior approaches to customizable shared control where users could indirectly modify the latent parameters of the arbitration function by issuing a feedback command, we instead make these parameters observable and directly editable via a virtual reality (VR) interface. We present our user-customizable shared control method for a teleoperation task in SE(3), known as the buzz wire game. A user study is conducted with participants teleoperating a robotic arm in VR to complete the game. The experiment spanned two weeks per subject to investigate longitudinal trends. Our findings reveal that users allowed to interactively tune the arbitration parameters across trials generalize well to adaptations in the task, exhibiting improvements in precision and fluency over direct teleoperation and conventional shared control.


title: Fast Value Tracking for Deep Reinforcement Learning

abstract: Reinforcement learning (RL) tackles sequential decision-making problems by creating agents that interacts with their environment. However, existing algorithms often view these problem as static, focusing on point estimates for model parameters to maximize expected rewards, neglecting the stochastic dynamics of agent-environment interactions and the critical role of uncertainty quantification. Our research leverages the Kalman filtering paradigm to introduce a novel and scalable sampling algorithm called Langevinized Kalman Temporal-Difference (LKTD) for deep reinforcement learning. This algorithm, grounded in Stochastic Gradient Markov Chain Monte Carlo (SGMCMC), efficiently draws samples from the posterior distribution of deep neural network parameters. Under mild conditions, we prove that the posterior samples generated by the LKTD algorithm converge to a stationary distribution. This convergence not only enables us to quantify uncertainties associated with the value function and model parameters but also allows us to monitor these uncertainties during policy updates throughout the training phase. The LKTD algorithm paves the way for more robust and adaptable reinforcement learning approaches.


title: Predictive, scalable and interpretable knowledge tracing on structured domains

abstract: Intelligent tutoring systems optimize the selection and timing of learning materials to enhance understanding and long-term retention. This requires estimates of both the learner's progress (''knowledge tracing''; KT), and the prerequisite structure of the learning domain (''knowledge mapping''). While recent deep learning models achieve high KT accuracy, they do so at the expense of the interpretability of psychologically-inspired models. In this work, we present a solution to this trade-off. PSI-KT is a hierarchical generative approach that explicitly models how both individual cognitive traits and the prerequisite structure of knowledge influence learning dynamics, thus achieving interpretability by design. Moreover, by using scalable Bayesian inference, PSI-KT targets the real-world need for efficient personalization even with a growing body of learners and learning histories. Evaluated on three datasets from online learning platforms, PSI-KT achieves superior multi-step predictive accuracy and scalable inference in continual-learning settings, all while providing interpretable representations of learner-specific traits and the prerequisite structure of knowledge that causally supports learning. In sum, predictive, scalable and interpretable knowledge tracing with solid knowledge mapping lays a key foundation for effective personalized learning to make education accessible to a broad, global audience.


title: Outward Migration in Nascent Stellar Groups

abstract: As a stellar group forms within its parent molecular cloud, new members first appear in the deep interior. These overcrowded stars continually diffuse outward to the cloud boundary, and even beyond. Observations have so far documented only the interior drift. Those stars that actually leave the cloud form an expanding envelope that I call the "stellar mantle." Simple fluid models for the cloud and mantle illustrate their basic structure. The mantle's expansion speed is subsonic with respect to the cloud's dynamical temperature. I describe, in qualitative terms, how the expanding mantle and Galactic tidal radius might together shape the evolution of specific types of stellar groups. The massive stars in OB associations form in clouds that contract before extruding a substantial mantle. In contrast, the more slowly evolving clouds forming open clusters and T associations have extended mantles that encounter a shrinking tidal radius. These clouds are dispersed by internal stellar outflows. If the remaining group of stars is gravitationally bound, it appears as a long-lived open cluster, truncated by the tidal radius. If the group is unbound, it is a late-stage T association that will soon be torn apart by the tidal force. The "distributed" populations of pre-main~sequence stars observed in the outskirts of several star-forming regions are too distant to be stellar mantles. Rather, they could be the remnants of especially low-mass T associations.


title: Efficient k-step Weighted Reachability Query Processing Algorithms

abstract: Given a data graph G, a source vertex u and a target vertex v of a reachability query, the reachability query is used to answer whether there exists a path from u to v in G. Reachability query processing is one of the fundamental operations in graph data management, which is widely used in biological networks, communication networks, and social networks to assist data analysis. The data graphs in practical applications usually contain information such as quantization weights associated with the structural relationships, in addition to the structural relationships between vertices. Thus, in addition to the traditional reachability relationships, users may want to further understand whether such reachability relationships satisfy specific constraints. In this paper, we study the problem of efficiently processing k -step reachability queries with weighted constraints in weighted graphs. The k -step weighted reachability query questions are used to answer the question of whether there exists a path from a source vertex u to a goal vertex v in a given weighted graph. If it exists, the path needs to satisfy 1) all edges in the path satisfy the given weight constraints, and 2) the length of the path does not exceed the given distance threshold k. To address the problem, firstly, WKRI index supporting k -step weighted reachability query processing and index construction methods based on efficient pruning strategies are proposed. Secondly, the idea of constructing index based on part of the vertexs is proposed to reduce the size of the index. We design and implement two optimized indexes GWKRI and LWKRI based on the vertex coverage set. Finally, experiments are conducted on several real datasets. The experimental results verify the efficiency of the method proposed in this paper in answering k -step weighted reachability queries.


title: The modular properties of $\mathfrak{sl}(2)$ torus $1$-point functions

abstract: Conformal field theory and its axiomatisation in terms of vertex operator algebras or chiral algebras are most commonly considered on the Riemann sphere. However, an important constraint in physics and an interesting source of mathematics is the fact that conformal field theories are expected to be well defined on any Riemann surface. To this end, a thorough understanding of chiral torus 1-point functions, ideally including explicit formulae, is a prerequisite for a detailed understanding of higher genera. These are distinguished from characters or vacuum torus 1-point functions because the insertion point is explicitly allowed to be labelled by any module over the vertex operator algebra rather than just the vertex operator algebra itself. Compellingly, chiral torus 1-point functions exhibit interesting modular properties, which we explore here in the example of the simple affine $\mathfrak{sl}(2)$ vertex operator algebras at non-negative integral levels. We determine the dimension of the space spanned by such functions, choose a natural basis to construct vector-valued modular forms and describe the congruence properties of these forms. In particular, we find explicit generators for the spaces of all vector-valued modular forms of dimension at most three, when the insertion comes from a simple module other than the vertex operator algebra. Finally, we use the fact that categories of modules over rational vertex operator algebras are modular tensor categories to give explicit formulae for the action of the modular group on chiral torus 1-point functions entirely in terms of categorical data. The usual modular $\mathsf{S}$ and $\mathsf{T}$ matrices of characters are known not to be complete invariants of modular tensor categories, so these generalised modular data are good candidates for more fine-grained invariants.


title: Resolving Sets in Temporal Graphs

abstract: A $\textit{resolving set}$ $R$ in a graph $G$ is a set of vertices such that every vertex of $G$ is uniquely identified by its distances to the vertices of $R$. Introduced in the 1970s, this concept has been since then extensively studied from both combinatorial and algorithmic point of view. We propose a generalization of the concept of resolving sets to temporal graphs, i.e., graphs with edge sets that change over discrete time-steps. In this setting, the $\textit{temporal distance}$ from $u$ to $v$ is the earliest possible time-step at which a journey with strictly increasing time-steps on edges leaving $u$ reaches $v$, i.e., the first time-step at which $v$ could receive a message broadcast from $u$. A $\textit{temporal resolving set}$ of a temporal graph $\mathcal{G}$ is a subset $R$ of its vertices such that every vertex of $\mathcal{G}$ is uniquely identified by its temporal distances from vertices of $R$. We study the problem of finding a minimum-size temporal resolving set, and show that it is NP-complete even on very restricted graph classes and with strong constraints on the time-steps: temporal complete graphs where every edge appears in either time-step 1 or 2, temporal trees where every edge appears in at most two consecutive time-steps, and even temporal subdivided stars where every edge appears in at most two (not necessarily consecutive) time-steps. On the other hand, we give polynomial-time algorithms for temporal paths and temporal stars where every edge appears in exactly one time-step, and give a combinatorial analysis and algorithms for several temporal graph classes where the edges appear in periodic time-steps.


title: The Mass Density of MgII Absorbers from the Australian Dark Energy Survey

abstract: We present an all-southern sky survey for MgII doublet absorbers in 951 z < 4 AGN/quasar spectra from the Australian Dark Energy Survey (OzDES). The spectral resolution ranges from R = 1400-1700 over the wavelengths 3700 A-8800 A. The survey has a 5sigma detection completeness of 50% and above for rest-frame equivalent widths W_r(2796) >= 0.3 A. We studied 656 MgII absorption systems over the redshift range 0.33 < z < 2.19 with equivalent widths 0.3 < W_r(2796) < 3.45 A. The equivalent width distribution is well fit by an exponential function with W* = 0.76 +/- 0.04 A and the redshift path density exhibits very little evolution. Overall, our findings are consistent with the large, predominantly northern-sky, surveys of MgII absorbers. We developed and implemented a Monte Carlo model informed by a high-resolution MgII survey for determining the MgII mass density, Omega_MgII. We found Omega_MgII ~ 5 x 10^-7 with no evidence of evolution over a ~7 Gyr time span following Cosmic Noon. Incorporating measurements covering 2.0 < z < 6.4 from the literature, we extended our insights into MgII mass density evolution from the end of reionization well past the Cosmic Noon epoch. The presented Monte Carlo model has potential for advancing our knowledge of the evolution of mass densities of metal-ions common to quasar absorption line studies, as it exploits the efficiency of large low-resolution surveys while requiring only small samples from expensive high-resolution surveys.


title: The trimer paradox: the effect of stiff constraints on equilibrium distributions in overdamped dynamics

abstract: We reconsider the classical problem of a freely joined chain of Brownian particles connected by elastic springs and study its conformational probability distribution function in the overdamped regime in the limit of infinite stiffness of constraints. We show that the well-known solution by Fixman is missing a shape-related term, later alluded to but not computed by Helfand. In our approach, the shape term, also termed zero-point energy, arises explicitly from a careful treatment of the distributional limit. We present a computationally feasible method of calculation of the shape term and demonstrate its validity in a couple of examples.


title: Towards complexity in de Sitter space from the double-scaled Sachdev-Ye-Kitaev model

abstract: How can we define complexity in dS space from microscopic principles? Based on recent developments pointing towards a correspondence between a pair of double-scaled Sachdev-Ye-Kitaev (DSSYK) models/ 2D Liouville-de Sitter (LdS$_2$) field theory/ 3D Schwarzschild de Sitter (SdS$_3$) space in arXiv:2310.16994, arXiv:2402.00635, arXiv:2402.02584, we study concrete complexity proposals in the microscopic models and their dual descriptions. First, we examine the spread complexity of the maximal entropy state of the doubled DSSYK model. We show that it counts the number of entangled chord states in its doubled Hilbert space. We interpret spread complexity in terms of a time difference between antipodal observers in SdS$_3$ space, and a boundary time difference of the dual LdS$_2$ CFTs. This provides a new connection between entanglement and geometry in dS space. Second, Krylov complexity, which describes operator growth, is computed for physical operators on all sides of the correspondence. Their late time evolution behaves as expected for chaotic systems. Later, we define the query complexity in the LdS$_2$ model as the number of steps in an algorithm computing n-point correlation functions of boundary operators of the corresponding antipodal points in SdS$_3$ space. We interpret query complexity as the number of matter operator chord insertions in a cylinder amplitude in the DSSYK, and the number of junctions of Wilson lines between antipodal static patch observers in SdS$_3$ space. Finally, we evaluate a specific proposal of Nielsen complexity for the DSSYK model and comment on its possible dual manifestations.


title: Evolutionary Optimization of Model Merging Recipes

abstract: We present a novel application of evolutionary algorithms to automate the creation of powerful foundation models. While model merging has emerged as a promising approach for LLM development due to its cost-effectiveness, it currently relies on human intuition and domain knowledge, limiting its potential. Here, we propose an evolutionary approach that overcomes this limitation by automatically discovering effective combinations of diverse open-source models, harnessing their collective intelligence without requiring extensive additional training data or compute. Our approach operates in both parameter space and data flow space, allowing for optimization beyond just the weights of the individual models. This approach even facilitates cross-domain merging, generating models like a Japanese LLM with Math reasoning capabilities. Surprisingly, our Japanese Math LLM achieved state-of-the-art performance on a variety of established Japanese LLM benchmarks, even surpassing models with significantly more parameters, despite not being explicitly trained for such tasks. Furthermore, a culturally-aware Japanese VLM generated through our approach demonstrates its effectiveness in describing Japanese culture-specific content, outperforming previous Japanese VLMs. This work not only contributes new state-of-the-art models back to the open-source community, but also introduces a new paradigm for automated model composition, paving the way for exploring alternative, efficient approaches to foundation model development.


title: Reflectivity Is All You Need!: Advancing LiDAR Semantic Segmentation

abstract: LiDAR semantic segmentation frameworks predominantly leverage geometry-based features to differentiate objects within a scan. While these methods excel in scenarios with clear boundaries and distinct shapes, their performance declines in environments where boundaries are blurred, particularly in off-road contexts. To address this, recent strides in 3D segmentation algorithms have focused on harnessing raw LiDAR intensity measurements to improve prediction accuracy. Despite these efforts, current learning-based models struggle to correlate the intricate connections between raw intensity and factors such as distance, incidence angle, material reflectivity, and atmospheric conditions. Building upon our prior work, this paper delves into the advantages of employing calibrated intensity (also referred to as reflectivity) within learning-based LiDAR semantic segmentation frameworks. We initially establish that incorporating reflectivity as an input enhances the existing LiDAR semantic segmentation model. Furthermore, we present findings that enable the model to learn to calibrate intensity can boost its performance. Through extensive experimentation on the off-road dataset Rellis-3D, we demonstrate notable improvements. Specifically, converting intensity to reflectivity results in a 4% increase in mean Intersection over Union (mIoU) when compared to using raw intensity in Off-road scenarios. Additionally, we also investigate the possible benefits of using calibrated intensity in semantic segmentation in urban environments (SemanticKITTI) and cross-sensor domain adaptation.


title: The Johnson-Mercier elasticity element in any dimensions

abstract: Mixed methods for linear elasticity with strongly symmetric stresses of lowest order are studied in this paper. On each simplex, the stress space has piecewise linear components with respect to its Alfeld split (which connects the vertices to barycenter), generalizing the Johnson-Mercier two-dimensional element to higher dimensions. Further reductions in the stress space in the three-dimensional case (to 24 degrees of freedom per tetrahedron) are possible when the displacement space is reduced to local rigid displacements. Proofs of optimal error estimates of numerical solutions and improved error estimates via postprocessing and the duality argument are presented.


title: 3D Semantic MapNet: Building Maps for Multi-Object Re-Identification in 3D

abstract: We study the task of 3D multi-object re-identification from embodied tours. Specifically, an agent is given two tours of an environment (e.g. an apartment) under two different layouts (e.g. arrangements of furniture). Its task is to detect and re-identify objects in 3D - e.g. a "sofa" moved from location A to B, a new "chair" in the second layout at location C, or a "lamp" from location D in the first layout missing in the second. To support this task, we create an automated infrastructure to generate paired egocentric tours of initial/modified layouts in the Habitat simulator using Matterport3D scenes, YCB and Google-scanned objects. We present 3D Semantic MapNet (3D-SMNet) - a two-stage re-identification model consisting of (1) a 3D object detector that operates on RGB-D videos with known pose, and (2) a differentiable object matching module that solves correspondence estimation between two sets of 3D bounding boxes. Overall, 3D-SMNet builds object-based maps of each layout and then uses a differentiable matcher to re-identify objects across the tours. After training 3D-SMNet on our generated episodes, we demonstrate zero-shot transfer to real-world rearrangement scenarios by instantiating our task in Replica, Active Vision, and RIO environments depicting rearrangements. On all datasets, we find 3D-SMNet outperforms competitive baselines. Further, we show jointly training on real and generated episodes can lead to significant improvements over training on real data alone.


title: Micro-Raman spectroscopy of graphene defects and tracing the oxidation process caused by UV exposure

abstract: Raman spectroscopy is one of the widely used methods in the analysis of various samples including carbon-based materials. This study aimed to identify the number of layers and defects in graphene using micro-Raman spectroscopy. More specifically, the study examined tracing the oxidation process of graphene under UV exposure. Investigation of the effect of the power density of the Raman excitation laser reveals a linear dependence between the ratio of I2D/IG and the power density of the excitation laser. Also, the absence of peak D due to the increase in power density provides evidence for the non-destructive nature of micro-Raman spectroscopy. Given the value of I2D/IG, one of the parameters for determining the number of layers in graphene which has reached 1.39 at the edge, the findings indicate the possibility of an edge fold of single-layer graphene. During the oxidation process, the intensity and position of the D peak increase as a function of exposure time. Alterations in the graphene Raman spectrum, comprising the disappearance of the 2D peak and the appearance of the D peak, trace and confirm the oxidation process of the sample.


title: Modeling stock price dynamics on the Ghana Stock Exchange: A Geometric Brownian Motion approach

abstract: Modeling financial data often relies on assumptions that may prove insufficient or unrealistic in practice. The Geometric Brownian Motion (GBM) model is frequently employed to represent stock price processes. This study investigates whether the behavior of weekly and monthly returns of selected equities listed on the Ghana Stock Exchange conforms to the GBM model. Parameters of the GBM model were estimated for five equities, and forecasts were generated for three months. Evaluation of estimation accuracy was conducted using mean square error (MSE). Results indicate that the expected prices from the modeled equities closely align with actual stock prices observed on the Exchange. Furthermore, while some deviations were observed, the actual prices consistently fell within the estimated confidence intervals.


title: A Study of Vulnerability Repair in JavaScript Programs with Large Language Models

abstract: In recent years, JavaScript has become the most widely used programming language, especially in web development. However, writing secure JavaScript code is not trivial, and programmers often make mistakes that lead to security vulnerabilities in web applications. Large Language Models (LLMs) have demonstrated substantial advancements across multiple domains, and their evolving capabilities indicate their potential for automatic code generation based on a required specification, including automatic bug fixing. In this study, we explore the accuracy of LLMs, namely ChatGPT and Bard, in finding and fixing security vulnerabilities in JavaScript programs. We also investigate the impact of context in a prompt on directing LLMs to produce a correct patch of vulnerable JavaScript code. Our experiments on real-world software vulnerabilities show that while LLMs are promising in automatic program repair of JavaScript code, achieving a correct bug fix often requires an appropriate amount of context in the prompt.


title: X-ray analysis of Seyfert 1 galaxies with optical polarization: a test for unification models

abstract: In accordance with the AGN Unified Model, observed polarization can be related to the orientation of the line of sight with respect to the torus. AGN X-ray emission arises from the central region and carries the imprints of the obscuring material. We aim to test a unified scheme based on optical polarization using X-ray absorption. Using the XMM-Newton data of 19, optically polarized Seyfert 1 sources, we developed a systematic analysis by fitting a baseline model to test the presence of X-ray neutral or ionized (warm) absorption. We find that 100\% of the polar-polarized sources show the presence of absorption, with 70\% favoring the presence of a warm absorber. In contrast, the equatorial-polarized sources show a fraction of absorbed spectra of 75\%, with only 50\% consistent with the presence of a warm absorber.