title: Diffusion limited aggregation, resetting and large deviations of Brownian motion

abstract: Models of fractal growth commonly consider particles diffusing in a medium and that stick irreversibly to the forming aggregate when making contact for the first time. As shown by the well-known diffusion limited aggregation (DLA) model and its generalisations, the fractal dimension is sensitive to the nature of the stochastic motion of the particles. Here, we study the structures formed by finite-lived Brownian particles, i.e., particles constrained to find the aggregate within a prescribed time, and which are removed otherwise. This motion can be modelled by diffusion with stochastic resetting, a class of processes which has been widely studied in recent years. In the short lifetime limit, a very small fraction of the particles manage to reach the aggregate. Hence, growth is controlled by atypical Brownian trajectories, that move nearly in straight line according to a large deviation principle. In $d$ dimensions, the resulting fractal dimension of the aggregate decreases from the DLA value and tends to 1, instead of increasing to $d$ as expected from ballistic aggregation. In the zero lifetime limit one recovers the non-trivial model of "aggregation by the tips" proposed long ago by R. Jullien [J. Phys. A: Math. Gen. 19, 2129 (1986)].


title: Exact Learning with Tunable Quantum Neural Networks and a Quantum Example Oracle

abstract: In this paper, we study the tunable quantum neural network architecture in the quantum exact learning framework with access to a uniform quantum example oracle. We present an approach that uses amplitude amplification to correctly tune the network to the target concept. We applied our approach to the class of positive $k$-juntas and found that $O(n^22^k)$ quantum examples are sufficient with experimental results seemingly showing that a tighter upper bound is possible.


title: Escaping kinetic traps using non-reciprocal interactions

abstract: Kinetic traps are a notorious problem in equilibrium statistical mechanics, where temperature quenches ultimately fail to bring the system to low energy configurations. Using multifarious self-assembly as a model system, we introduce a mechanism to escape kinetic traps by utilizing non-reciprocal interactions between components. Introducing non-equilibrium effects offered by broken action-reaction symmetry in the system, we can push the trajectory of the system out of arrested dynamics. The dynamics of the model is studied using tools from the physics of interfaces and defects. Our proposal can find applications in self-assembly, glassy systems and systems with arrested dynamics.


title: Catalyst Property Prediction with CatBERTa: Unveiling Feature Exploration Strategies through Large Language Models

abstract: Efficient catalyst screening necessitates predictive models for adsorption energy, a key property of reactivity. However, prevailing methods, notably graph neural networks (GNNs), demand precise atomic coordinates for constructing graph representations, while integrating observable attributes remains challenging. This research introduces CatBERTa, an energy prediction Transformer model using textual inputs. Built on a pretrained Transformer encoder, CatBERTa processes human-interpretable text, incorporating target features. Attention score analysis reveals CatBERTa's focus on tokens related to adsorbates, bulk composition, and their interacting atoms. Moreover, interacting atoms emerge as effective descriptors for adsorption configurations, while factors such as bond length and atomic properties of these atoms offer limited predictive contributions. By predicting adsorption energy from the textual representation of initial structures, CatBERTa achieves a mean absolute error (MAE) of 0.75 eV-comparable to vanilla Graph Neural Networks (GNNs). Furthermore, the subtraction of the CatBERTa-predicted energies effectively cancels out their systematic errors by as much as 19.3% for chemically similar systems, surpassing the error reduction observed in GNNs. This outcome highlights its potential to enhance the accuracy of energy difference predictions. This research establishes a fundamental framework for text-based catalyst property prediction, without relying on graph representations, while also unveiling intricate feature-property relationships.


title: Interpretation of High-Dimensional Linear Regression: Effects of Nullspace and Regularization Demonstrated on Battery Data

abstract: High-dimensional linear regression is important in many scientific fields. This article considers discrete measured data of underlying smooth latent processes, as is often obtained from chemical or biological systems. Interpretation in high dimensions is challenging because the nullspace and its interplay with regularization shapes regression coefficients. The data's nullspace contains all coefficients that satisfy $\mathbf{Xw}=\mathbf{0}$, thus allowing very different coefficients to yield identical predictions. We developed an optimization formulation to compare regression coefficients and coefficients obtained by physical engineering knowledge to understand which part of the coefficient differences are close to the nullspace. This nullspace method is tested on a synthetic example and lithium-ion battery data. The case studies show that regularization and z-scoring are design choices that, if chosen corresponding to prior physical knowledge, lead to interpretable regression results. Otherwise, the combination of the nullspace and regularization hinders interpretability and can make it impossible to obtain regression coefficients close to the true coefficients when there is a true underlying linear model. Furthermore, we demonstrate that regression methods that do not produce coefficients orthogonal to the nullspace, such as fused lasso, can improve interpretability. In conclusion, the insights gained from the nullspace perspective help to make informed design choices for building regression models on high-dimensional data and reasoning about potential underlying linear models, which are important for system optimization and improving scientific understanding.


title: Influence of the magnetic field's curvature on the radial-azimuthal dynamics of a Hall thruster plasma discharge with different propellants

abstract: The topology of the applied magnetic field is an important design aspect of Hall thrusters. For modern Hall thrusters, the field topology most often features curved lines with a concave (negative) curvature upstream of the field peak and a convex (positive) curvature downstream. Additionally, the advent of the magnetic shielding technique has resulted in the design of Hall thrusters with non-conventional magnetic fields that exhibit high degrees of concavity upstream of the field's peak. We carry out a rigorous and detailed study of the effects that the magnetic field's curvature has on the plasma properties and the underlying processes in a 2D configuration representative of a Hall thruster's radial-azimuthal cross-section. The analyses are performed for plasma discharges of three propellants: xenon, krypton, and argon. For each propellant, we have carried out high-fidelity reduced-order particle-in-cell (PIC) simulations with various degrees of positive and negative curvatures of the magnetic field. Corresponding 1D radial PIC simulations were also performed for xenon to compare the observations between 1D and 2D simulations. We observed that there are distinct differences in the plasma phenomena between the cases with positive and negative field curvatures. The instability spectra in the cases of positive curvature is mostly dominated by the Electron Cyclotron Drift Instability, whereas the Modified Two Stream Instability is dominant in the negative-curvature cases. The distribution of the plasma properties, particularly the electron and ion temperatures, and the contribution of various mechanisms to electrons' cross-field transport showed notable variations with the field's curvature, especially between the positive and the negative values. Finally, the magnetic field curvature was observed to majorly influence the ion beam divergence along the radial and azimuthal coordinates.


title: Presentation of some elementary properties of Segal-Bargmann space and of unitary Segal-Bargmann transform with applications

abstract: In this work, we present some elementary properties of Segal-Bargmann space and some properties of unitary Segal Bargmann transform with applications to differential operators arising out of diffusion problem or of reggeon field theory.


title: Remarks on a Formula of Ramanujan

abstract: Assuming an averaged form of Mertens' conjecture and that the ordinates of the non-trivial zeros of the Riemann zeta function are linearly independent over the rationals, we analyze the finer structure of the terms in a well-known formula of Ramanujan.


title: Saturation of the anomalous Hall effect at high magnetic fields in altermagnetic RuO2

abstract: Observations of the anomalous Hall effect in RuO$_2$ and MnTe have demonstrated unconventional time-reversal symmetry breaking in the electronic structure of a recently identified new class of compensated collinear magnets, dubbed altermagnets. While in MnTe the unconventional anomalous Hall signal accompanied by a vanishing magnetization is observable at remanence, the anomalous Hall effect in RuO$_2$ is excluded by symmetry for the N\'eel vector pointing along the zero-field [001] easy-axis. Guided by a symmetry analysis and ab initio calculations, a field-induced reorientation of the N\'eel vector from the easy-axis towards the [110] hard-axis was used to demonstrate the anomalous Hall signal in this altermagnet. We confirm the existence of an anomalous Hall effect in our RuO$_2$ thin-film samples whose set of magnetic and magneto-transport characteristics is consistent with the earlier report. By performing our measurements at extreme magnetic fields up to 68 T, we reach saturation of the anomalous Hall signal at a field $H_{\rm c} \simeq$ 55 T that was inaccessible in earlier studies, but is consistent with the expected N\'eel-vector reorientation field.


title: Amyloid-Beta Axial Plane PET Synthesis from Structural MRI: An Image Translation Approach for Screening Alzheimer's Disease

abstract: In this work, an image translation model is implemented to produce synthetic amyloid-beta PET images from structural MRI that are quantitatively accurate. Image pairs of amyloid-beta PET and structural MRI were used to train the model. We found that the synthetic PET images could be produced with a high degree of similarity to truth in terms of shape, contrast and overall high SSIM and PSNR. This work demonstrates that performing structural to quantitative image translation is feasible to enable the access amyloid-beta information from only MRI.


title: Mechanism of feature learning in convolutional neural networks

abstract: Understanding the mechanism of how convolutional neural networks learn features from image data is a fundamental problem in machine learning and computer vision. In this work, we identify such a mechanism. We posit the Convolutional Neural Feature Ansatz, which states that covariances of filters in any convolutional layer are proportional to the average gradient outer product (AGOP) taken with respect to patches of the input to that layer. We present extensive empirical evidence for our ansatz, including identifying high correlation between covariances of filters and patch-based AGOPs for convolutional layers in standard neural architectures, such as AlexNet, VGG, and ResNets pre-trained on ImageNet. We also provide supporting theoretical evidence. We then demonstrate the generality of our result by using the patch-based AGOP to enable deep feature learning in convolutional kernel machines. We refer to the resulting algorithm as (Deep) ConvRFM and show that our algorithm recovers similar features to deep convolutional networks including the notable emergence of edge detectors. Moreover, we find that Deep ConvRFM overcomes previously identified limitations of convolutional kernels, such as their inability to adapt to local signals in images and, as a result, leads to sizable performance improvement over fixed convolutional kernels.


title: Correction to: Criteria for Strong and Weak Random Attractors

abstract: In the article 'Criteria for Strong and Weak Random Attractors' necessary and sufficient conditions for strong attractors and weak attractors are studied. In this note we correct two of its theorems on strong attractors.


title: Do Type Ia Supernovae Explode Inside Planetary Nebulae?

abstract: The nature of Type Ia Supernova (SN Ia) explosions remains an open issue, with several contending progenitor scenarios actively being considered. One such scenario involves a SN Ia explosion inside a planetary nebula (PN) in the aftermath of a stellar merger triggered by a common envelope (CE) episode. We examine this scenario using hydrodynamic and non-equilibrium ionization simulations of the interaction between the SN ejecta and the PN cocoon into the supernova remnant (SNR) phase, focusing on the impact of the delay between the CE episode and the SN explosion. We compare the bulk dynamics and X-ray spectra of our simulated SNRs to the observed properties of known Type Ia SNRs in the Milky Way and the Magellanic Clouds. We conclude that models where the SN explosion happens in the immediate aftermath of the CE episode (with a delay $\lesssim$1,000 yr) are hard to reconcile with the observations, because the interaction with the dense PN cocoon results in ionization timescales much higher than those found in any known Type Ia SNR. Models with a longer delay between the CE episode and the SN explosion ($\sim$10,000 yr) are closer to the observations, and may be able to explain the bulk properties of some Type Ia SNRs.


title: Photodissociation and induced chemical asymmetries on ultra-hot gas giants. A case study of HCN on WASP-76 b

abstract: Recent observations have resulted in the detection of chemical gradients on ultra-hot gas giants. Notwithstanding their high temperature, chemical reactions in ultra-hot atmospheres may occur in disequilibrium, due to vigorous day-night circulation and intense UV radiation from their stellar hosts. The goal of this work is to explore whether photochemistry is affecting the composition of ultra-hot giant planets, and if it can introduce horizontal chemical gradients. In particular, we focus on hydrogen cyanide (HCN) on WASP-76 b, as it is a photochemically active molecule with a reported detection on only one side of this planet. We use a pseudo-2D chemical kinetics code to model the chemical composition of WASP-76 b along its equator. Our approach improves on chemical equilibrium models by computing vertical mixing, horizontal advection, and photochemistry. We find that production of HCN is initiated through thermal and photochemical dissociation of CO and N$_2$ on the day side of WASP-76 b. The resulting radicals are subsequently transported to the night side via the equatorial jet stream, where they recombine into different molecules. This process results in an HCN gradient with a maximal abundance on the planet's morning limb. We verified that photochemical dissociation is a necessary condition for this mechanism, as thermal dissociation alone proves insufficient. Other species produced via night-side disequilibrium chemistry are SO$_2$ and S$_2$. Our model acts as a proof of concept for chemical gradients on ultra-hot exoplanets. We demonstrate that even ultra-hot planets can exhibit disequilibrium chemistry and recommend that future studies do not neglect photochemistry in their analyses of ultra-hot planets.


title: On blow-up conditions for nonlinear higher order evolution inequalities

abstract: For the problem $$ \left\{ \begin{aligned} & \partial_t^k u - \sum_{|\alpha| = m} \partial^\alpha a_\alpha (x, t, u) \ge f (|u|) \quad \mbox{in } {\mathbb R}_+^{n+1} = {\mathbb R}^n \times (0, \infty), & u (x, 0) = u_0 (x), \: \partial_t u (x, 0) = u_1 (x), \ldots, \partial_t^{k-1} u (x, 0) = u_{k-1} (x) \ge 0, \end{aligned} \right. $$ we obtain exact conditions on the function $f$ guaranteeing that any global weak solution is identically zero.


title: Critical roles of edge turbulent transport in the formation of high-field-side high-density front and density limit disruption in J-TEXT tokamak

abstract: This article presents an in-depth study of the sequence of events leading to density limit disruption in J-TEXT tokamak plasmas, with an emphasis on boudary turbulent transport and the high-field-side high-density (HFSHD) front. These phenomena were extensively investigated by using Langmuir probe and Polarimeter-interferometer diagnostics.


title: Fuzzy Onion as a Matrix Model

abstract: We propose a matrix model realisation of a three-dimensional quantum space. It has an onion-like structure composed of concentric fuzzy spheres of increasing radius. The angular part of the Laplace operator is inherited from that of the fuzzy sphere. The radial part is constructed using operators that relate matrices of various sizes using the matrix harmonic expansion. As an example of this approach, we produce a numerical simulation of a scalar quantum field theory, the classical heat transfer, study the quantum mechanical hydrogen atom, and consider some analytical aspects of the scalar field theory on this space.


title: Iterated magnitude homology

abstract: Magnitude homology is an invariant of enriched categories which generalizes ordinary categorical homology -- the homology of the classifying space of a small category. The classifying space can also be generalized in a different direction: it extends from categories to bicategories as the geometric realization of the geometric nerve. This paper introduces a hybrid of the two ideas: an iterated magnitude homology theory for categories with a second- or higher-order enrichment. This encompasses, for example, groups equipped with extra structure such as a partial ordering or a bi-invariant metric. In the case of a strict 2-category, iterated magnitude homology recovers the homology of the classifying space; we investigate its content and behaviour when interpreted for partially ordered groups, normed groups, and strict $n$-categories for $n > 2$.


title: Consistency of Lloyd's Algorithm Under Perturbations

abstract: In the context of unsupervised learning, Lloyd's algorithm is one of the most widely used clustering algorithms. It has inspired a plethora of work investigating the correctness of the algorithm under various settings with ground truth clusters. In particular, in 2016, Lu and Zhou have shown that the mis-clustering rate of Lloyd's algorithm on $n$ independent samples from a sub-Gaussian mixture is exponentially bounded after $O(\log(n))$ iterations, assuming proper initialization of the algorithm. However, in many applications, the true samples are unobserved and need to be learned from the data via pre-processing pipelines such as spectral methods on appropriate data matrices. We show that the mis-clustering rate of Lloyd's algorithm on perturbed samples from a sub-Gaussian mixture is also exponentially bounded after $O(\log(n))$ iterations under the assumptions of proper initialization and that the perturbation is small relative to the sub-Gaussian noise. In canonical settings with ground truth clusters, we derive bounds for algorithms such as $k$-means$++$ to find good initializations and thus leading to the correctness of clustering via the main result. We show the implications of the results for pipelines measuring the statistical significance of derived clusters from data such as SigClust. We use these general results to derive implications in providing theoretical guarantees on the misclustering rate for Lloyd's algorithm in a host of applications, including high-dimensional time series, multi-dimensional scaling, and community detection for sparse networks via spectral clustering.


title: Bayesian location of the QCD critical point from a holographic perspective

abstract: A fundamental question in QCD is the existence of a phase transition at large doping of quarks over antiquarks. We present the first prediction of a QCD critical point (CP) from a Bayesian analysis constrained by first principle results at zero doping. We employ the gauge/gravity duality to map QCD onto a theory of dual black holes. Predictions for the CP location in different realizations of the model overlap at one sigma. Even if many prior samples do not include a CP, one is found in nearly 100% of posterior samples, indicating a strong preference for a CP.


title: Semipositive line bundles and (1,1)-classes

abstract: We survey some recent developments on various notions of semipositivity for (1,1)-classes on complex manifolds, and discuss a number of open questions.


title: First data and preliminary experimental results from a new Doppler Backscattering system on the MAST-U spherical tokamak

abstract: A new Doppler backscattering (DBS) system, consisting of Q-band and V-band, has been installed and achieved its first data on the MAST-U spherical tokamak. The Q-band and V-band have separate microwave source systems, but share the same optical front-end components. The Q-band and V-band sources simultaneously generate eight (34, 36, 38, 40, 42, 44, 46 and 48 GHz) and seven (52.5, 55, 57.5, 60, 62.5, 65 and 67.5 GHz) fixed frequency probe beams, respectively. These frequencies provide a large range of radial positions from the low-field-side edge plasma to the core, and possibly to the high-field-side edge, depending on the plasma conditions. The quasi-optical system consists of a remotely-tunable polarizer, a focusing lens and a remotely-steerable mirror. By steering the mirror, the system provides remote control of the probed density fluctuation wavenumber, and allow the launch angle to match the magnetic field. The range of accessible turbulence wavenumbers (k_\theta) is reasonably large with normalized wavenumber k_\theta\rho_s ranging from <0.5 to 9. The first data acquired by this DBS system is validated by comparing with the data from the other DBS system on MAST-U (introduced in Ref. [21]). An example of measuring the velocity profile spanning from the edge to the center in a high-density plasma is presented, indicating the robust capabilities of the integrated Q-band and V-band DBS systems.


title: Modulating Hierarchical Self-Assembly In Thermoresponsive Intrinsically Disordered Proteins Through High-Temperature Incubation Time

abstract: The cornerstone of structural biology is the unique relationship between protein sequence and the 3D structure at equilibrium. Although intrinsically disordered proteins (IDPs) do not fold into a specific 3D structure, breaking this paradigm, some IDPs exhibit large-scale organization, such as liquid-liquid phase separation. In such cases, the structural plasticity has the potential to form numerous self-assembled structures out of thermal equilibrium. Here, we report that high-temperature incubation time is a defining parameter for micro and nanoscale self-assembly of resilin-like IDPs. Interestingly, high-resolution scanning electron microscopy micrographs reveal that an extended incubation time leads to the formation of micron-size rods and ellipsoids that depend on the amino acid sequence. More surprisingly, a prolonged incubation time also induces amino acid composition-dependent formation of short-range nanoscale order, such as periodic lamellar nanostructures. We, therefore, suggest that regulating the period of high-temperature incubation, in the one-phase regime, can serve as a unique method of controlling the hierarchical self-assembly mechanism of structurally disordered proteins.


title: Geometry-Informed Neural Operator for Large-Scale 3D PDEs

abstract: We propose the geometry-informed neural operator (GINO), a highly efficient approach to learning the solution operator of large-scale partial differential equations with varying geometries. GINO uses a signed distance function and point-cloud representations of the input shape and neural operators based on graph and Fourier architectures to learn the solution operator. The graph neural operator handles irregular grids and transforms them into and from regular latent grids on which Fourier neural operator can be efficiently applied. GINO is discretization-convergent, meaning the trained model can be applied to arbitrary discretization of the continuous domain and it converges to the continuum operator as the discretization is refined. To empirically validate the performance of our method on large-scale simulation, we generate the industry-standard aerodynamics dataset of 3D vehicle geometries with Reynolds numbers as high as five million. For this large-scale 3D fluid simulation, numerical methods are expensive to compute surface pressure. We successfully trained GINO to predict the pressure on car surfaces using only five hundred data points. The cost-accuracy experiments show a $26,000 \times$ speed-up compared to optimized GPU-based computational fluid dynamics (CFD) simulators on computing the drag coefficient. When tested on new combinations of geometries and boundary conditions (inlet velocities), GINO obtains a one-fourth reduction in error rate compared to deep neural network approaches.


title: Laminar: A New Serverless Stream-based Framework with Semantic Code Search and Code Completion

abstract: This paper introduces Laminar, a novel serverless framework based on dispel4py, a parallel stream-based dataflow library. Laminar efficiently manages streaming workflows and components through a dedicated registry, offering a seamless serverless experience. Leveraging large lenguage models, Laminar enhances the framework with semantic code search, code summarization, and code completion. This contribution enhances serverless computing by simplifying the execution of streaming computations, managing data streams more efficiently, and offering a valuable tool for both researchers and practitioners.


title: PolyGET: Accelerating Polymer Simulations by Accurate and Generalizable Forcefield with Equivariant Transformer

abstract: Polymer simulation with both accuracy and efficiency is a challenging task. Machine learning (ML) forcefields have been developed to achieve both the accuracy of ab initio methods and the efficiency of empirical force fields. However, existing ML force fields are usually limited to single-molecule settings, and their simulations are not robust enough. In this paper, we present PolyGET, a new framework for Polymer Forcefields with Generalizable Equivariant Transformers. PolyGET is designed to capture complex quantum interactions between atoms and generalize across various polymer families, using a deep learning model called Equivariant Transformers. We propose a new training paradigm that focuses exclusively on optimizing forces, which is different from existing methods that jointly optimize forces and energy. This simple force-centric objective function avoids competing objectives between energy and forces, thereby allowing for learning a unified forcefield ML model over different polymer families. We evaluated PolyGET on a large-scale dataset of 24 distinct polymer types and demonstrated state-of-the-art performance in force accuracy and robust MD simulations. Furthermore, PolyGET can simulate large polymers with high fidelity to the reference ab initio DFT method while being able to generalize to unseen polymers.


title: 'Fat-brane' Universal Extra Dimension model confronted with the ATLAS multi-jet and photonic searches at 13 TeV LHC

abstract: The current status of `fat-brane' minimal Universal Extra Dimensions (fat-mUED) is studied in the light of ATLAS experiment's recent reports. At the Large Hadron Collider (LHC) color charged first level Kaluza-Klein (KK) particles (first level excited quarks and gluons) can be abundantly pair-produced due to conserved quantity, viz., KK-parity, and strong interaction. The cascade decay of these particles to one or more Standard Model (SM) particle(s) and lighter first level KK particle(s) stops after producing the lightest excited massive state, named as the lightest KK particle (LKP). With the presence of gravity induced decays, stability of the LKP is lost and it may decay to photon or Z-boson by radiating KK-excited gravitons, hence leading to final state with photon(s) at the LHC. A variant signal topology is established when pair-produced first level colored KK particles undergo direct decay to an associated SM partner along with KK-excitations of graviton; thus leading to a signal with two hard jets and substantial missing energy. The ATLAS experiment lately reported two searches at 13 TeV LHC with 139 inverse-femtobarn of data; (i) multi-jet and (ii) photon and jets with missing energy. In both searches, the results showed no substantial deviation from the number of background events of the SM. Provided the absence of any number of excess events in both searches we constrained the parameters of the fat-mUED model, viz., the higher-dimensional Planck mass and the compactification scale.


title: ALP-Assisted Strong First-Order Electroweak Phase Transition and Baryogenesis

abstract: Axion-like particles (ALPs) can be naturally lighter than the electroweak scale. We consider an ALP that couples to the Standard Model Higgs to achieve the strong first-order electroweak phase transition. We discuss the two-field dynamics of the phase transition and the associated computation in detail and identify the viable parameter space. The ALP mass can be from the MeV to GeV scale. Baryon asymmetry can be explained by local baryogenesis without violating the current electron and atom electric dipole moment bound in most of the viable parameter space. The viable parameter space can be probed through Higgs exotic decay, rare kaon decay, the electron and atomic electric dipole moment, and the effective number of neutrinos in the cosmic microwave background in the future. The gravitational-wave signal is too weak to be detected.


title: Discrete Morphological Neural Networks

abstract: A classical approach to designing binary image operators is Mathematical Morphology (MM). We propose the Discrete Morphological Neural Networks (DMNN) for binary image analysis to represent W-operators and estimate them via machine learning. A DMNN architecture, which is represented by a Morphological Computational Graph, is designed as in the classical heuristic design of morphological operators, in which the designer should combine a set of MM operators and Boolean operations based on prior information and theoretical knowledge. Then, once the architecture is fixed, instead of adjusting its parameters (i.e., structural elements or maximal intervals) by hand, we propose a lattice descent algorithm (LDA) to train these parameters based on a sample of input and output images under the usual machine learning approach. We also propose a stochastic version of the LDA that is more efficient, is scalable and can obtain small error in practical problems. The class represented by a DMNN can be quite general or specialized according to expected properties of the target operator, i.e., prior information, and the semantic expressed by algebraic properties of classes of operators is a differential relative to other methods. The main contribution of this paper is the merger of the two main paradigms for designing morphological operators: classical heuristic design and automatic design via machine learning. As a proof-of-concept, we apply the DMNN to recognize the boundary of digits with noise, and we discuss many topics for future research.


title: Killing tensors on complex projective space

abstract: The Killing tensors of arbitrary rank on complex projective space with its Fubini-Study metric are determined and it is shown that these spaces are generated by the Killing fields.


title: Neural blind deconvolution for deblurring and supersampling PSMA PET

abstract: Objective: To simultaneously deblur and supersample prostate specific membrane antigen (PSMA) positron emission tomography (PET) images using neural blind deconvolution. Approach: Blind deconvolution is a method of estimating the hypothetical "deblurred" image along with the blur kernel (related to the point spread function) simultaneously. Traditional \textit{maximum a posteriori} blind deconvolution methods require stringent assumptions and suffer from convergence to a trivial solution. A method of modelling the deblurred image and kernel with independent neural networks, called "neural blind deconvolution" had demonstrated success for deblurring 2D natural images in 2020. In this work, we adapt neural blind deconvolution for PVE correction of PSMA PET images with simultaneous supersampling. We compare this methodology with several interpolation methods, using blind image quality metrics, and test the model's ability to predict kernels by re-running the model after applying artificial "pseudokernels" to deblurred images. The methodology was tested on a retrospective set of 30 prostate patients as well as phantom images containing spherical lesions of various volumes. Results: Neural blind deconvolution led to improvements in image quality over other interpolation methods in terms of blind image quality metrics, recovery coefficients, and visual assessment. Predicted kernels were similar between patients, and the model accurately predicted several artificially-applied pseudokernels. Localization of activity in phantom spheres was improved after deblurring, allowing small lesions to be more accurately defined. Significance: The intrinsically low spatial resolution of PSMA PET leads to PVEs which negatively impact uptake quantification in small regions. The proposed method can be used to mitigate this issue, and can be straightforwardly adapted for other imaging modalities.


title: Fast and Regret Optimal Best Arm Identification: Fundamental Limits and Low-Complexity Algorithms

abstract: This paper considers a stochastic Multi-Armed Bandit (MAB) problem with dual objectives: (i) quick identification and commitment to the optimal arm, and (ii) reward maximization throughout a sequence of $T$ consecutive rounds. Though each objective has been individually well-studied, i.e., best arm identification for (i) and regret minimization for (ii), the simultaneous realization of both objectives remains an open problem, despite its practical importance. This paper introduces \emph{Regret Optimal Best Arm Identification} (ROBAI) which aims to achieve these dual objectives. To solve ROBAI with both pre-determined stopping time and adaptive stopping time requirements, we present an algorithm called EOCP and its variants respectively, which not only achieve asymptotic optimal regret in both Gaussian and general bandits, but also commit to the optimal arm in $\mathcal{O}(\log T)$ rounds with pre-determined stopping time and $\mathcal{O}(\log^2 T)$ rounds with adaptive stopping time. We further characterize lower bounds on the commitment time (equivalent to the sample complexity) of ROBAI, showing that EOCP and its variants are sample optimal with pre-determined stopping time, and almost sample optimal with adaptive stopping time. Numerical results confirm our theoretical analysis and reveal an interesting "over-exploration" phenomenon carried by classic UCB algorithms, such that EOCP has smaller regret even though it stops exploration much earlier than UCB, i.e., $\mathcal{O}(\log T)$ versus $\mathcal{O}(T)$, which suggests over-exploration is unnecessary and potentially harmful to system performance.


title: Engineering Dynamical Phase Diagrams with Driven Lattices in Spinor Gases

abstract: We experimentally demonstrate that well-designed driven lattices are versatile tools to simultaneously tune multiple key parameters (namely spin-dependent interactions, spinor phase, and Zeeman energy) for manipulating phase diagrams of spinor gases with negligible heating and atom losses. This opens a new avenue for studying dynamical phase transitions in engineered Hamiltonians. The driven lattice creates additional separatrices in phase space at driving-frequency-determined locations, with progressively narrower separatrices at higher Zeeman energies due to modulation-induced higher harmonics. The vastly expanded range of magnetic fields at which significant spin dynamics occur and improved sensitivities at higher harmonics represent a step towards quantum sensing with ultracold gases.


title: Representations of Coxeter groups of Lusztig's a-function value 1

abstract: In this paper, we give a characterization of Coxeter group representations of Lusztig's a-function value 1, and determine all the irreducible such representations for certain simply laced Coxeter groups.


title: Time Series Analysis of Urban Liveability

abstract: In this paper we explore deep learning models to monitor longitudinal liveability changes in Dutch cities at the neighbourhood level. Our liveability reference data is defined by a country-wise yearly survey based on a set of indicators combined into a liveability score, the Leefbaarometer. We pair this reference data with yearly-available high-resolution aerial images, which creates yearly timesteps at which liveability can be monitored. We deploy a convolutional neural network trained on an aerial image from 2016 and the Leefbaarometer score to predict liveability at new timesteps 2012 and 2020. The results in a city used for training (Amsterdam) and one never seen during training (Eindhoven) show some trends which are difficult to interpret, especially in light of the differences in image acquisitions at the different time steps. This demonstrates the complexity of liveability monitoring across time periods and the necessity for more sophisticated methods compensating for changes unrelated to liveability dynamics.


title: Optimization towards Efficiency and Stateful of dispel4py

abstract: Scientific workflows bridge scientific challenges with computational resources. While dispel4py, a stream-based workflow system, offers mappings to parallel enactment engines like MPI or Multiprocessing, its optimization primarily focuses on dynamic process-to-task allocation for improved performance. An efficiency gap persists, particularly with the growing emphasis on conserving computing resources. Moreover, the existing dynamic optimization lacks support for stateful applications and grouping operations. To address these issues, our work introduces a novel hybrid approach for handling stateful operations and groupings within workflows, leveraging a new Redis mapping. We also propose an auto-scaling mechanism integrated into dispel4py's dynamic optimization. Our experiments showcase the effectiveness of auto-scaling optimization, achieving efficiency while upholding performance. In the best case, auto-scaling reduces dispel4py's runtime to 87% compared to the baseline, using only 76% of process resources. Importantly, our optimized stateful dispel4py demonstrates a remarkable speedup, utilizing just 32% of the runtime compared to the contender.


title: Ricci flow and PIC1

abstract: We survey several problems concerning Riemannian manifolds with positive curvature of one form or another. We describe the PIC1 notion of positive curvature and argue that it is often the sharp notion of positive curvature to consider. Finally we explain how recent Ricci flow theory is particularly well adapted to solve these problems.


title: The QUATRO Application Suite: Quantum Computing for Models of Human Cognition

abstract: Research progress in quantum computing has, thus far, focused on a narrow set of application domains. Expanding the suite of quantum application domains is vital for the discovery of new software toolchains and architectural abstractions. In this work, we unlock a new class of applications ripe for quantum computing research -- computational cognitive modeling. Cognitive models are critical to understanding and replicating human intelligence. Our work connects computational cognitive models to quantum computer architectures for the first time. We release QUATRO, a collection of quantum computing applications from cognitive models. The development and execution of QUATRO shed light on gaps in the quantum computing stack that need to be closed to ease programming and drive performance. Among several contributions, we propose and study ideas pertaining to quantum cloud scheduling (using data from gate- and annealing-based quantum computers), parallelization, and more. In the long run, we expect our research to lay the groundwork for more versatile quantum computer systems in the future.


title: A mathematical construction of the 260 day mesoamerican calendar based on archaeoastronomical alignments

abstract: Ancient mesoamerican cultures built a short ritual 260 day calendar and used it for daily routinary life. Using simple arithmetic calculations it is first shown that by forcing the introduction of the the fundamental number 13 to calculate days in a calendar, a 364 day count can be built and from this, the short mesoamerican calendar of 260 days is constructed. It is also shown that the basic mesoamerican relation between the full solar 365 day calendar and the short one of 260 days given by: 365 x 52 = 260 x 73 is Kepler's third law of orbital motion between Earth's period of time about the Sun and an imaginary synodic orbit with a 260 day period. Based on this basic mesoamerican relation and a general definition of an archaeoastronomical alignment, a full mathematical definition of a short calendar count is made. For particular cases, approximate calendar counts of 364 and 360 days are obtained with fundamental numbers 13 and 18 associated to each one respectively. The extra days required for this approximate calendar counts are a given solstice day for the former, and 4 plus 1 (the given solstice day) for the latter, generating the 5 nemontemi days used by ancient mesoamerican cultures. Motivated by an extended mesoamerican relation, two types of archaeoastronomical alignments are defined and their consequences are investigated. These Type-A and Type-B archaeoastronomical alignments motivate the introduction of extended fundamental or monad fractions that partition the approximate and short counts.


title: Uniqueness and non-uniqueness for the asymptotic Plateau problem in hyperbolic space

abstract: We prove a number of results on the number of solutions to the asymptotic Plateau problem in $\mathbb H^3$. In the direction of non-uniqueness, we construct an example of a quasicircle that is the asymptotic boundary of uncountably many pairwise distinct stable minimal disks. Moreover, we discuss criteria that ensure uniqueness. Given a Jordan curve $\Lambda$ in the asymptotic boundary of $\mathbb H^3$, we show that uniqueness of the minimal surfaces with asymptotic boundary $\Lambda$ is equivalent to uniqueness in the smaller class of stable minimal disks, and, when $\Lambda$ is invariant by a Kleinian group, to uniqueness in the even smaller class of group invariant stable minimal disks. Finally, we show that if a quasicircle (or more generally, a Jordan curve of finite width) $\Lambda$ is the asymptotic boundary of a minimal surface $\Sigma$ with principal curvatures less than or equal to 1 in absolute value, then uniqueness holds.


title: Signal-to-noise improvement through neural network contour deformations for 3D $SU(2)$ lattice gauge theory

abstract: Complex contour deformations of the path integral have been demonstrated to significantly improve the signal-to-noise ratio of observables in previous studies of two-dimensional gauge theories with open boundary conditions. In this work, new developments based on gauge fixing and a neural network definition of the deformation are introduced, which enable an effective application to theories in higher dimensions and with generic boundary conditions. Improvements of the signal-to-noise ratio by up to three orders of magnitude for Wilson loop measurements are shown in $SU(2)$ lattice gauge theory in three spacetime dimensions.


title: Fast quantum gates based on Landau-Zener-St\"uckelberg-Majorana transitions

abstract: Fast quantum gates are of paramount importance for enabling efficient and error-resilient quantum computations. In the present work we analyze Landau-Zener-St\"uckelberg-Majorana (LSZM) strong driving protocols, tailored to implement fast gates with particular emphasis on small gap qubits. We derive analytical equations to determine the specific set of driving parameters for the implementation of single qubit and two qubit gates employing single period sinusoidal pulses. Our approach circumvents the need to scan experimentally a wide range of parameters and instead it allows to focus in fine-tuning the device near the analytically predicted values. We analyze the dependence of relaxation and decoherence on the amplitude and frequency of the pulses, obtaining the optimal regime of driving parameters to mitigate the effects of the environment. Our results focus on the study of the single qubit $X_{\frac{\pi}{2}}$, $Y_{\frac{\pi}{2}}$ and identity gates. Also, we propose the $\sqrt{\rm{bSWAP}}$ as the simplest two-qubit gate attainable through a robust LZSM driving protocol.


title: A Semi-classical Spacetime Region with Maximum Entropy

abstract: We consider a 4D spherically-symmetric static finite spacetime region as a collection of quanta in the semi-classical Einstein equation and study the entropy including the self-gravity. For sufficiently excited states, we estimate the entropy in a WKB-like method considering local consistency with thermodynamics and find its upper bound. The saturation condition uniquely determines the entropy-maximized spacetime as a radially uniform dense configuration with near-Planckian curvatures and a surface just outside the Schwarzschild radius. The interior metric is a non-perturbative solution in $\hbar$, leading to the species bound. The maximum entropy then saturates the Bousso bound and coincides with the Bekenstein-Hawking formula. Thus, the Bousso bound in this class of spacetime is verified by constructing the saturating configuration that has no horizon and stores information inside.


title: Regular singular Volterra equations on complex domains

abstract: The inverse Laplace transform can turn a linear differential equation on a complex domain into an equivalent Volterra integral equation on a real domain. This can make things simpler: for example, a differential equation with irregular singularities can become a Volterra equation with regular singularities. It can also reveal hidden structure, especially when the Volterra equation extends to a complex domain. Our main result is to show that for a certain kind of regular singular Volterra equation on a complex domain, there is always a unique solution of a certain form. As a motivating example, this kind of Volterra equation arises when using Laplace transform methods to solve a level 1 differential equation.


title: Bulk density signatures of a lattice quasihole with very few particles

abstract: Motivated by the recent experimental realization of a two-particle fractional quantum Hall state of ultracold atoms in a small optical lattice [Nature 619, 495 (2023)], we propose a minimal setup to create and observe a quasihole in such a system. We find that clear signatures of a quasihole state with two or three atoms can be obtained through a standard site-resolved density measurement provided that the system is appropriately modified with simple additional potential profiles. By adding a single-site repulsive potential to pin the quasihole and superimposing a harmonic trap on top of the optical lattice to keep the particles away from the system edge, we determine via exact diagonalization an optimal range for system parameters such as the magnetic flux and the strengths of the additional potentials that would favour the creation of the quasihole state. We hope that our results will be a useful guide for a possible proof-of-principle experiment that will demonstrate the first controllable creation of a simple quasihole state in a condensed matter system, which will pave the way for the observation of the anyonic statistics of quasiholes in a more complex system.


title: A decoupled, convergent and fully linear algorithm for the Landau--Lifshitz--Gilbert equation with magnetoelastic effects

abstract: We consider the coupled system of the Landau--Lifshitz--Gilbert equation and the conservation of linear momentum law to describe magnetic processes in ferromagnetic materials including magnetoelastic effects in the small-strain regime. For this nonlinear system of time-dependent partial differential equations, we present a decoupled integrator based on first-order finite elements in space and an implicit one-step method in time. We prove unconditional convergence of the sequence of discrete approximations towards a weak solution of the system as the mesh size and the time-step size go to zero. Compared to previous numerical works on this problem, for our method, we prove a discrete energy law that mimics that of the continuous problem and, passing to the limit, yields an energy inequality satisfied by weak solutions. Moreover, our method does not employ a nodal projection to impose the unit length constraint on the discrete magnetisation, so that the stability of the method does not require weakly acute meshes. Furthermore, our integrator and its analysis hold for a more general setting, including body forces and traction, as well as a more general representation of the magnetostrain. Numerical experiments underpin the theory and showcase the applicability of the scheme for the simulation of the dynamical processes involving magnetoelastic materials at submicrometer length scales.


title: Non-Einsteinian Viscosity Reduction in Boron Nitride Nanotube Nanofluids

abstract: (1) Introduction: Nanoparticles have multiple applications, including drug delivery systems, biosensing, and carbon capture. Non-Einstein-like viscosity reduction has been reported in nanoparticle-polymer blends at low nanoparticle concentrations. More recently, a similar non-Einsteinian viscosity reduction effect has been observed in aqueous ultra-low concentration carbon-based nanofluids. (2) Methods: We use a boron nitride nanotube functionalized with hydrophilic groups in rheological experiments to investigate the viscosity reduction in ultra-low concentration nanofluids (0.1-10 ppm). We measure the dynamic viscosity in an air atmosphere and methane (0-5 MPag) at low temperatures (0-10 C). (3) Results: A negligible effect on the temperature dependence of viscosity was found. Ultra-low concentrations of BNNT reduced the viscosity of the nanofluid by up to 29% at 10 ppm in the presence of methane. The results presented here were compared to similar studies on O-GNF and O-MWCNT nanofluids, which also reported significant viscosity reductions. (4) Conclusions: This work identified a non-Einsteinian viscosity reduction in BNNT nanofluids, which was exacerbated by methane dissolved in the nanofluid.


title: The ALE Partition Functions of M-Strings

abstract: We compute the equivariant partition function of the six-dimensional M-string SCFTs on a background with the topology of a product of a two-dimensional torus and an ALE singularity. We determine the result by exploiting BPS strings probing the singularity, whose worldvolume theories we determine via a chain of string dualities. A distinguished feature we observe is that for this class of background the BPS strings' worldsheet theories become relative field theories that are sensitive to finer discrete data generalizing to 6d the familiar choices of flat connections at infinity for instantons on ALE spaces. We test our proposal against a conjectural 6d N = (1,0) generalization of the Nekrasov master formula, as well as against known results on ALE partition functions in four dimensions.


title: Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair

abstract: During Automated Program Repair (APR), it can be challenging to synthesize correct patches for real-world systems in general-purpose programming languages. Recent Large Language Models (LLMs) have been shown to be helpful "copilots" in assisting developers with various coding tasks, and have also been directly applied for patch synthesis. However, most LLMs treat programs as sequences of tokens, meaning that they are ignorant of the underlying semantics constraints of the target programming language. This results in plenty of statically invalid generated patches, impeding the practicality of the technique. Therefore, we propose Repilot, a general code generation framework to further copilot the AI "copilots" (i.e., LLMs) by synthesizing more valid patches during the repair process. Our key insight is that many LLMs produce outputs autoregressively (i.e., token by token), resembling human writing programs, which can be significantly boosted and guided through a Completion Engine. Repilot synergistically synthesizes a candidate patch through the interaction between an LLM and a Completion Engine, which 1) prunes away infeasible tokens suggested by the LLM and 2) proactively completes the token based on the suggestions provided by the Completion Engine. Our evaluation on a subset of the widely-used Defects4j 1.2 and 2.0 datasets shows that Repilot outperforms state-of-the-art techniques by fixing 27% and 47% more bugs, respectively. Moreover, Repilot produces more valid and correct patches than the base LLM with the same budget. While we focus on leveraging Repilot for APR in this work, the overall approach is also generalizable to other code generation tasks.


title: Higher resonance schemes and Koszul modules of simplicial complexes

abstract: Each connected graded, graded-commutative algebra $A$ of finite type over a field $\Bbbk$ of characteristic zero defines a complex of finitely generated, graded modules over a symmetric algebra, whose homology graded modules are called the (higher) Koszul modules of $A$. In this note, we investigate the geometry of the support loci of these modules, called the resonance schemes of the algebra. When $A=\Bbbk\langle \Delta \rangle$ is the exterior Stanley-Reisner algebra associated to a finite simplicial complex $\Delta$, we show that the resonance schemes are reduced. We also compute the Hilbert series of the Koszul modules and give bounds on the regularity and projective dimension of these graded modules. This leads to a relationship between resonance and Hilbert series that generalizes a known formula for the Chen ranks of a right-angled Artin group.


title: CityDreamer: Compositional Generative Model of Unbounded 3D Cities

abstract: 3D city generation is a desirable yet challenging task, since humans are more sensitive to structural distortions in urban environments. Additionally, generating 3D cities is more complex than 3D natural scenes since buildings, as objects of the same class, exhibit a wider range of appearances compared to the relatively consistent appearance of objects like trees in natural scenes. To address these challenges, we propose \textbf{CityDreamer}, a compositional generative model designed specifically for unbounded 3D cities. Our key insight is that 3D city generation should be a composition of different types of neural fields: 1) various building instances, and 2) background stuff, such as roads and green lands. Specifically, we adopt the bird's eye view scene representation and employ a volumetric render for both instance-oriented and stuff-oriented neural fields. The generative hash grid and periodic positional embedding are tailored as scene parameterization to suit the distinct characteristics of building instances and background stuff. Furthermore, we contribute a suite of CityGen Datasets, including OSM and GoogleEarth, which comprises a vast amount of real-world city imagery to enhance the realism of the generated 3D cities both in their layouts and appearances. CityDreamer achieves state-of-the-art performance not only in generating realistic 3D cities but also in localized editing within the generated cities.


title: Symmetries and spectral statistics in chaotic conformal field theories II: Maass cusp forms and arithmetic chaos

abstract: We continue the study of random matrix universality in two-dimensional conformal field theories. This is facilitated by expanding the spectral form factor in a basis of modular invariant eigenfunctions of the Laplacian on the fundamental domain. The focus of this paper is on the discrete part of the spectrum, which consists of the Maass cusp forms. Both their eigenvalues and Fourier coefficients are sporadic discrete numbers with interesting statistical properties and relations to analytic number theory; this is referred to as `arithmetic chaos'. We show that the near-extremal spectral form factor at late times is only sensitive to a statistical average over these erratic features. Nevertheless, complete information about their statistical distributions is encoded in the spectral form factor if all its spin sectors exhibit universal random matrix eigenvalue repulsion (a `linear ramp'). We `bootstrap' the spectral correlations between the cusp form basis functions that correspond to a universal linear ramp and show that they are unique up to theory-dependent subleading corrections. The statistical treatment of cusp forms provides a natural avenue to fix the subleading corrections in a minimal way, which we observe leads to the same correlations as those described by the [torus]$\times$[interval] wormhole amplitude in AdS${}_3$ gravity.


title: Bayesian deep learning for cosmic volumes with modified gravity

abstract: The new generation of galaxy surveys will provide unprecedented data allowing us to test gravity at cosmological scales. A robust cosmological analysis of the large-scale structure demands exploiting the nonlinear information encoded in the cosmic web. Machine Learning techniques provide such tools, however, do not provide a priori assessment of uncertainties. This study aims at extracting cosmological parameters from modified gravity (MG) simulations through deep neural networks endowed with uncertainty estimations. We implement Bayesian neural networks (BNNs) with an enriched approximate posterior distribution considering two cases: one with a single Bayesian last layer (BLL), and another one with Bayesian layers at all levels (FullB). We train both BNNs with real-space density fields and power-spectra from a suite of 2000 dark matter only particle mesh $N$-body simulations including modified gravity models relying on MG-PICOLA covering 256 $h^{-1}$ Mpc side cubical volumes with 128$^3$ particles. BNNs excel in accurately predicting parameters for $\Omega_m$ and $\sigma_8$ and their respective correlation with the MG parameter. We find out that BNNs yield well-calibrated uncertainty estimates overcoming the over- and under-estimation issues in traditional neural networks. We observe that the presence of MG parameter leads to a significant degeneracy with $\sigma_8$ being one of the possible explanations of the poor MG predictions. Ignoring MG, we obtain a deviation of the relative errors in $\Omega_m$ and $\sigma_8$ by at least $30\%$. Moreover, we report consistent results from the density field and power spectra analysis, and comparable results between BLL and FullB experiments which permits us to save computing time by a factor of two. This work contributes in setting the path to extract cosmological parameters from complete small cosmic volumes towards the highly nonlinear regime.


title: Iterative Multi-granular Image Editing using Diffusion Models

abstract: Recent advances in text-guided image synthesis has dramatically changed how creative professionals generate artistic and aesthetically pleasing visual assets. To fully support such creative endeavors, the process should possess the ability to: 1) iteratively edit the generations and 2) control the spatial reach of desired changes (global, local or anything in between). We formalize this pragmatic problem setting as Iterative Multi-granular Editing. While there has been substantial progress with diffusion-based models for image synthesis and editing, they are all one shot (i.e., no iterative editing capabilities) and do not naturally yield multi-granular control (i.e., covering the full spectrum of local-to-global edits). To overcome these drawbacks, we propose EMILIE: Iterative Multi-granular Image Editor. EMILIE introduces a novel latent iteration strategy, which re-purposes a pre-trained diffusion model to facilitate iterative editing. This is complemented by a gradient control operation for multi-granular control. We introduce a new benchmark dataset to evaluate our newly proposed setting. We conduct exhaustive quantitatively and qualitatively evaluation against recent state-of-the-art approaches adapted to our task, to being out the mettle of EMILIE. We hope our work would attract attention to this newly identified, pragmatic problem setting.


title: Baseline Defenses for Adversarial Attacks Against Aligned Language Models

abstract: As Large Language Models quickly become ubiquitous, it becomes critical to understand their security vulnerabilities. Recent work shows that text optimizers can produce jailbreaking prompts that bypass moderation and alignment. Drawing from the rich body of work on adversarial machine learning, we approach these attacks with three questions: What threat models are practically useful in this domain? How do baseline defense techniques perform in this new domain? How does LLM security differ from computer vision? We evaluate several baseline defense strategies against leading adversarial attacks on LLMs, discussing the various settings in which each is feasible and effective. Particularly, we look at three types of defenses: detection (perplexity based), input preprocessing (paraphrase and retokenization), and adversarial training. We discuss white-box and gray-box settings and discuss the robustness-performance trade-off for each of the defenses considered. We find that the weakness of existing discrete optimizers for text, combined with the relatively high costs of optimization, makes standard adaptive attacks more challenging for LLMs. Future research will be needed to uncover whether more powerful optimizers can be developed, or whether the strength of filtering and preprocessing defenses is greater in the LLMs domain than it has been in computer vision.


title: Point-Bind & Point-LLM: Aligning Point Cloud with Multi-modality for 3D Understanding, Generation, and Instruction Following

abstract: We introduce Point-Bind, a 3D multi-modality model aligning point clouds with 2D image, language, audio, and video. Guided by ImageBind, we construct a joint embedding space between 3D and multi-modalities, enabling many promising applications, e.g., any-to-3D generation, 3D embedding arithmetic, and 3D open-world understanding. On top of this, we further present Point-LLM, the first 3D large language model (LLM) following 3D multi-modal instructions. By parameter-efficient fine-tuning techniques, Point-LLM injects the semantics of Point-Bind into pre-trained LLMs, e.g., LLaMA, which requires no 3D instruction data, but exhibits superior 3D and multi-modal question-answering capacity. We hope our work may cast a light on the community for extending 3D point clouds to multi-modality applications. Code is available at https://github.com/ZiyuGuo99/Point-Bind_Point-LLM.


title: OpenIns3D: Snap and Lookup for 3D Open-vocabulary Instance Segmentation

abstract: Current 3D open-vocabulary scene understanding methods mostly utilize well-aligned 2D images as the bridge to learn 3D features with language. However, applying these approaches becomes challenging in scenarios where 2D images are absent. In this work, we introduce a new pipeline, namely, OpenIns3D, which requires no 2D image inputs, for 3D open-vocabulary scene understanding at the instance level. The OpenIns3D framework employs a "Mask-Snap-Lookup" scheme. The "Mask" module learns class-agnostic mask proposals in 3D point clouds. The "Snap" module generates synthetic scene-level images at multiple scales and leverages 2D vision language models to extract interesting objects. The "Lookup" module searches through the outcomes of "Snap" with the help of Mask2Pixel maps, which contain the precise correspondence between 3D masks and synthetic images, to assign category names to the proposed masks. This 2D input-free and flexible approach achieves state-of-the-art results on a wide range of indoor and outdoor datasets by a large margin. Moreover, OpenIns3D allows for effortless switching of 2D detectors without re-training. When integrated with powerful 2D open-world models such as ODISE and GroundingDINO, excellent results were observed on open-vocabulary instance segmentation. When integrated with LLM-powered 2D models like LISA, it demonstrates a remarkable capacity to process highly complex text queries which require intricate reasoning and world knowledge. Project page: https://zheninghuang.github.io/OpenIns3D/


title: Dirac hydrodynamics in 19 forms

abstract: We consider the relativistic spinor field theory re-formulated in polar variables so to allow for the interpretation given in terms of fluid variables. After that the dynamics of spinor fields is converted as dynamics of a special type of spin fluid, we demonstrate that such conversion into dynamical spin fluid is not unique but it can be obtained through $19$ different rearrangements, by explicitly showing the $19$ minimal systems of hydrodynamic equations that are equivalent to the Dirac equations.


title: Short-Term Stock Price Forecasting using exogenous variables and Machine Learning Algorithms

abstract: Creating accurate predictions in the stock market has always been a significant challenge in finance. With the rise of machine learning as the next level in the forecasting area, this research paper compares four machine learning models and their accuracy in forecasting three well-known stocks traded in the NYSE in the short term from March 2020 to May 2022. We deploy, develop, and tune XGBoost, Random Forest, Multi-layer Perceptron, and Support Vector Regression models. We report the models that produce the highest accuracies from our evaluation metrics: RMSE, MAPE, MTT, and MPE. Using a training data set of 240 trading days, we find that XGBoost gives the highest accuracy despite running longer (up to 10 seconds). Results from this study may improve by further tuning the individual parameters or introducing more exogenous variables.


title: A Simple Modification of DC Current Septa to Reduce Current Density by Half

abstract: Circular accelerators typically have one injection and one extraction septum magnet. CEBAF is a recircuating electron linac which has a total of 27 DC current septa and one Lambertson. Current densities range from 28-48 A/mm 2 . Current sheet widths are 5-24 mm, turns count 5-24 and lengths 1000-3000 mm. A design exercise to increase the beam energy to 22 GeV is underway. Since doubling the current density in copper is not practical in the CEBAF layout a conductively cooled superconducting septum concept was examined. Putting the current sheet and its cryostat between the poles as in a standard current sheet septum would have required 90 mm pole gap. The poles were brought to 40 mm separation and the steel notched for the 90 mm cryostat. The field in the bore increased while the field outside the current sheet remained close to zero as in a conventional septum. Required current density dropped enough that a copper coil became possible. Two examples will be shown, the one discussed above and the modification of the 3000 mm septum with 0.92 T bore field.


title: Extension of measurement range in OCDR based on double-modulation scheme

abstract: We extend the measurement range of optical correlation-domain reflectometry (OCDR) by modulating the laser output frequency at two frequencies, while preserving spatial resolution. We demonstrate distributed reflectivity sensing with a ten-fold extended measurement range.


title: The Calculation of Kinetic and Static Friction Coefficient and Friction Graph Analysis Using Arduino

abstract: In this study, with the help of the Arduino UNO and Load-cell force sensor, a simple experimental material has been developed to calculate kinetic and static friction coefficients and analyse the friction force in detail. The system with a force sensor mounted on it is placed on the plane. With the help of the rope attached to the force sensor, a force, whose magnitude increased over time, was applied on the sensor. After the force applied was large enough to move the system, the force was applied to move the system at a constant speed. Since the net force acting on the system is zero while the system is stationary and moving with a constant speed, in these cases the magnitudes of force read through the sensor are equal to the static and kinetic friction forces acting on the object. Using these static and kinetic friction forces values, the maximum value of the static friction coefficient and the kinetic friction coefficient were calculated as 0.484 and 0.313, respectively.


title: Quantum secure direct communication with SU(2) invariant separable polarisation- OAM states

abstract: We propose a quantum secure direct communication protocol using SU (2)- invariant $2\times N$ separable states, identified as separable equivalents of two-qubit entangled Werner states in [Bharath & Ravishankar, Phys. Rev. A 89, 062110}]. These states can be experimentally realized as incoherent superpositions of separable polarisation-OAM states.


title: Radioactivity in a bucket

abstract: In Radiation Physics classes, point sources are typically used, for which it is relatively easy to describe the signal obtained by a radiation detector, such as the NaI(Tl) scintillation detector. The use of large extended radiation sources is generally avoided due to the mathematical complexity that their description may involve. However, the use of Monte Carlo simulation methods allows this limitation to be overcome. Potassium chloride, containing the 40K isotope, is an ideal candidate for carrying out this type of experiment. The source activity is obtained through the detection of the 1460.8 keV gamma-photon emitted in the 40K decay. In the first experiment, a cylindrical container is used, placing the NaI(Tl) detector in its center and filling the remaining space with potassium chloride. In a second, more complex case, a large radioactive source consisting of a container filled with a mixture of sand and potassium chloride, with the NaI(Tl) detector placed in the center of the mixture, is used. In this case, the mass of potassium chloride is approximately 1/5 of the sand mass. In both experiments, the detection efficiency is obtained by Monte Carlo simulation. A careful analysis of the experimental data allows to obtain a good agreement between the measured and calculated value of the activity.


title: Casimir force in discrete scalar fields I: 1D and 2D cases

abstract: We calculate the Casimir force between parallel plates for a massless scalar field. When adding the energy of normal modes, we avoid infinities by using a discrete spacetime lattice; however, this approach proves ineffective as long as both space and time are kept discrete. Yet, when time is treated as continuous while the scalar field forms a spatial periodic lattice, our method succeeds, and we refer to this approach as Hamiltonian lattice theory. The dispersion relation for both square and triangular lattices accurately reproduces the subtle Casimir effect, providing evidence that the Casimir force is independent of the type of lattice used. At low frequencies, both lattices exhibit a high level of rotational symmetry. However, at high frequencies, they lose this symmetry, even though the propagation of high-frequency waves becomes limited as their group velocity approaches zero.


title: Identifying Secure Operating Ranges for DER Control using Bilevel Optimization

abstract: Active distribution grids are accommodating an increasing number of controllable electric loads and distributed energy resources (DERs). A majority of these DERs are managed by entities other than the distribution utility, such as individual customers or third-party aggregators, who control the loads and DERs without consideration of any distribution grid constraints. This makes it challenging for a distribution system operator (DSO) to allow third-party aggregators and transmission operators to fully exploit the flexibility offered by these resources while also ensuring that distribution grid constraints such as voltage magnitude limits are not violated. In this paper, we develop a bilevel optimization-based framework to determine the aggregate power flexibility that can be obtained from an unbalanced distribution grid while ensuring that there is no disaggregation solution that leads to grid constraint violations. The results are a set of constraints and operating rules that are easy to communicate, and which provide the entities that procure flexibility from DERs (e.g. transmission operators or third-party aggregators) with the ability to freely implement their own disaggregation strategy without intervention from the DSO. The proposed approach is tested on two unbalanced distribution feeders and our simulation results indicate that it is possible to determine a wide range of aggregate power flexibility, as long as a simple set of rules for DER control activation are followed.


title: An Ensemble Method of Deep Reinforcement Learning for Automated Cryptocurrency Trading

abstract: We propose an ensemble method to improve the generalization performance of trading strategies trained by deep reinforcement learning algorithms in a highly stochastic environment of intraday cryptocurrency portfolio trading. We adopt a model selection method that evaluates on multiple validation periods, and propose a novel mixture distribution policy to effectively ensemble the selected models. We provide a distributional view of the out-of-sample performance on granular test periods to demonstrate the robustness of the strategies in evolving market conditions, and retrain the models periodically to address non-stationarity of financial data. Our proposed ensemble method improves the out-of-sample performance compared with the benchmarks of a deep reinforcement learning strategy and a passive investment strategy.


title: Through their eyes: multi-subject Brain Decoding with simple alignment techniques

abstract: Previous brain decoding research primarily involves single-subject studies, reconstructing stimuli via fMRI activity from the same subject. Our study aims to introduce a generalization technique for cross-subject brain decoding, facilitated by exploring data alignment methods. We utilized the NSD dataset, a comprehensive 7T fMRI vision experiment involving multiple subjects exposed to 9841 images, 982 of which were viewed by all. Our approach involved training a decoding model on one subject, aligning others' data to this space, and testing the decoding on the second subject. We compared ridge regression, hyper alignment, and anatomical alignment techniques for fMRI data alignment. We established that cross-subject brain decoding is feasible, even using around 10% of the total data, or 982 common images, with comparable performance to single-subject decoding. Ridge regression was the best method for functional alignment. Through subject alignment, we achieved superior brain decoding and a potential 90% reduction in scan time. This could pave the way for more efficient experiments and further advancements in the field, typically requiring an exorbitant 20-hour scan time per subject.


title: Algoritmos para Multiplica\c{c}\~ao Matricial

abstract: The goal of this article is to study algorithms that compute the product between two matrixes, specifically using the ingenuous methods of Strassen and Strassen-Winograd, which will be presented in Section 2. At present, the cited methods are not the most optimal considering the arithmetic complexity of these algorithms (see Table 1). However, changes to the Strassen and Strassen-Winograd methods will be exposed which will result in a reduction in their memory allocation and/or execution time. The algorithms in this study were implemented using the Julia programming language, version 1.9.1, with the aid of the packages Pluto (notebooks), Plots (graphic visualization of the results) and BenchmarkTools (measurement of memory allocation and execution time of the algorithms). -- O objetivo deste artigo \'e estudar algoritmos que computam o produto entre duas matrizes, mais especificamente utilizando os m\'etodos ing\^enuo, de Strassen e de Strassen-Winograd, que ser\~ao apresentados na Se\c{c}\~ao 2. Atualmente, os m\'etodos citados n\~ao s\~ao os mais otimizados considerando a complexidade aritm\'etica de seus algoritmos (vide Tabela 1). No entanto, ser\~ao expostas modifica\c{c}\~oes dos m\'etodos de Strassen e Strassen-Winograd que conseguem reduzir sua aloca\c{c}\~ao de mem\'oria e/ou tempo de execu\c{c}\~ao. Os algoritmos do problema em estudo foram implementados utilizando a linguagem de programa\c{c}\~ao Julia, na vers\~ao 1.9.1, com o aux\'ilio dos pacotes Pluto (notebooks), Plots (visualiza\c{c}\~ao gr\'afica dos resultados) e BenchmarkTools (medi\c{c}\~ao de aloca\c{c}\~ao de mem\'oria e tempo de execu\c{c}\~ao dos algoritmos).


title: Quantifying MEV On Layer 2 Networks

abstract: This paper addresses the lack of research on quantifying Maximal Extractable Value (MEV) on Ethereum Layer 2 networks (L2s). Our findings reveal a substantial amount of MEV to be extracted on L2s, particularly on Polygon, with a lower bound of $213 million surpassing previous estimates. We observe that the majority of detected MEV on L2s consists of arbitrage opportunities, as liquidations are rare. These results emphasize the need for continuous monitoring and analysis of MEV on L2s, promoting informed decision-making for network selection and highlighting the associated risks.


title: Commodities Trading through Deep Policy Gradient Methods

abstract: Algorithmic trading has gained attention due to its potential for generating superior returns. This paper investigates the effectiveness of deep reinforcement learning (DRL) methods in algorithmic commodities trading. It formulates the commodities trading problem as a continuous, discrete-time stochastic dynamical system. The proposed system employs a novel time-discretization scheme that adapts to market volatility, enhancing the statistical properties of subsampled financial time series. To optimize transaction-cost- and risk-sensitive trading agents, two policy gradient algorithms, namely actor-based and actor-critic-based approaches, are introduced. These agents utilize CNNs and LSTMs as parametric function approximators to map historical price observations to market positions.Backtesting on front-month natural gas futures demonstrates that DRL models increase the Sharpe ratio by $83\%$ compared to the buy-and-hold baseline. Additionally, the risk profile of the agents can be customized through a hyperparameter that regulates risk sensitivity in the reward function during the optimization process. The actor-based models outperform the actor-critic-based models, while the CNN-based models show a slight performance advantage over the LSTM-based models.


title: A Few Properties of $\delta$-Continuity and $\delta$-Closure on Delta Weak Topological Spaces

abstract: The main aim of this paper is to define a weakest topology $\sigma$ on a linear topological space $(E, \tau)$ such that each $\delta$-continuous functional on $(E, \tau)$ is $\delta$-continuous functional on $(E, \sigma)$ and to find out the relation between the set of these $\delta$-continuous functionals on $(E, \tau)$ and the set of all $\delta$-continuous functionals on $(E, \sigma)$. Also we find out the closure of a subset $A$ of $E$ on that weakest topology by the $\delta$-closure of $A$ with respect to the given topology.


title: Improving Capital Efficiency and Impermanent Loss: Multi-Token Proactive Market Maker

abstract: Current approaches to the cryptocurrency automated market makers result in poor impermanent loss and fragmented liquidity. We focus on the development and analysis of a multi-token proactive market maker (MPMM). MPMM is an extension of the proactive market maker (PMM) introduced by DODO Exchange, which generalizes the constant product market maker (CPMM) and allows for adjustments to the pricing curve's ``flatness" and equilibrium points. We analyze these mechanics as used in both PMM and MPMM and demonstrate via simulation that MPMM significantly improves capital efficiency and price impact compared to its 2-token pool counterparts as well as their multi-token pool generalizations. Furthermore, in typical market conditions, MPMM also combats impermanent loss more effectively than other market maker variants. Overall, this research highlights the advantages multi-token market makers have over pairwise-token models, and poses a novel market making algorithm. The findings provide valuable insights for designing market makers that optimize capital efficiency and mitigate risks in decentralized finance ecosystems.


title: Control of the Scattering Properties of Complex Systems By Means of Tunable Metasurfaces

abstract: We demonstrate the ability to control the scattering properties of a two-dimensional wave-chaotic microwave billiard through the use of tunable metasurfaces located on the interior walls of the billiard. The complex reflection coefficient of the metasurfaces can be varied by applying a DC voltage bias to varactor diodes on mushroom-shaped resonant patches, and this proves to be very effective at perturbing the eigenmodes of the cavity. Placing multiple metasurfaces inside the cavity allows us to engineer desired scattering conditions, such as coherent perfect absorption (CPA), by actively manipulating the poles and zeros of the scattering matrix through the application of multiple voltage biases. We demonstrate the ability to create on-demand CPA conditions at a specific frequency, and document the near-null of output power as a function of four independent parameters tuned through the CPA point. A remarkably low output-to-input power ratio of $\frac{P_{out}}{P_{in}} = 3.71 \times 10^{-8}$ is achieved near the CPA point at 8.54 GHz.


title: Topological Group Construction In Proximity And Descriptive Proximity Spaces

abstract: This paper aims to examine the version of the topological group structure in proximity and especially descriptive proximity spaces, that is, the concepts of proximal group and descriptive proximal group are introduced. In addition, the concepts of homomorphism and isomorphism, which give important results in group theory, are discussed by interpreting the concepts of continuity in the theory of (descriptive) proximity.


title: Theoretical foundation for the Pareto distribution of international trade strength and introduction of an equation for international trade forecasting

abstract: I propose a new terminology, international trade strength, which is defined as the ratio of a country's total international trade to its GDP. This parameter represents a country's ability to generate international trade by utilizing its GDP. This figure is equivalent to GDP per capita, which represents a country's ability to use its population to generate GDP. Trade strength varies by country. The intriguing question is, what distribution function does the trade strength fulfill? In this paper, a theoretical foundation for predicting the distribution of trade strength and the rate of change of trade strength were developed. These two quantities were found to satisfy the Pareto distribution function. The equations were confirmed using data from the World Integrated Trade Solution (WITS) and the World Bank by comparing the Akaike Information Criterion (AIC) and Bayesian Information Criterion (BIC) to five types of distribution functions (exponential, lognormal, gamma, Pareto, and Weibull). I also discovered that the fitting Pareto power parameter is fairly close to the theoretical parameter. In addition, a formula for forecasting a country's total international trade in the following years was also developed.


title: On Convergence Rate of the Generalized Diversity Subsampling Method

abstract: arXiv:2206.10812v1 [stat.ME] proposes a useful algorithm, named generalized Diversity Subsampling (g-DS) algorithm, to select a subsample following some target probability distribution from a finite data set and demonstrates its effectiveness numerically. While the asymptotic performances of g-DS when the true data distribution is known was discussed in arXiv:2206.10812v1 [stat.ME], it remains an interesting question how the estimation errors in the density estimation step, which is an unavoidable step to use g-DS in real-world data sets, influences its asymptotic performance. In this paper, we study the pointwise convergence rate of probability density function (p.d.f) the g-DS subsample to the target p.d.f value, as the data set size approaches infinity, under consideration of the pointwise bias and variance of the estimated data p.d.f.


title: Finite Element Analysis and Machine Learning Guided Design of Carbon Fiber Organosheet-based Battery Enclosures for Crashworthiness

abstract: Carbon fiber composite can be a potential candidate for replacing metal-based battery enclosures of current electric vehicles (E.V.s) owing to its better strength-to-weight ratio and corrosion resistance. However, the strength of carbon fiber-based structures depends on several parameters that should be carefully chosen. In this work, we implemented high throughput finite element analysis (FEA) based thermoforming simulation to virtually manufacture the battery enclosure using different design and processing parameters. Subsequently, we performed virtual crash simulations to mimic a side pole crash to evaluate the crashworthiness of the battery enclosures. This high throughput crash simulation dataset was utilized to build predictive models to understand the crashworthiness of an unknown set. Our machine learning (ML) models showed excellent performance (R2 > 0.97) in predicting the crashworthiness metrics, i.e., crush load efficiency, absorbed energy, intrusion, and maximum deceleration during a crash. We believe that this FEA-ML work framework will be helpful in down select process parameters for carbon fiber-based component design and can be transferrable to other manufacturing technologies.


title: Generative AI for End-to-End Limit Order Book Modelling: A Token-Level Autoregressive Generative Model of Message Flow Using a Deep State Space Network

abstract: Developing a generative model of realistic order flow in financial markets is a challenging open problem, with numerous applications for market participants. Addressing this, we propose the first end-to-end autoregressive generative model that generates tokenized limit order book (LOB) messages. These messages are interpreted by a Jax-LOB simulator, which updates the LOB state. To handle long sequences efficiently, the model employs simplified structured state-space layers to process sequences of order book states and tokenized messages. Using LOBSTER data of NASDAQ equity LOBs, we develop a custom tokenizer for message data, converting groups of successive digits to tokens, similar to tokenization in large language models. Out-of-sample results show promising performance in approximating the data distribution, as evidenced by low model perplexity. Furthermore, the mid-price returns calculated from the generated order flow exhibit a significant correlation with the data, indicating impressive conditional forecast performance. Due to the granularity of generated data, and the accuracy of the model, it offers new application areas for future work beyond forecasting, e.g. acting as a world model in high-frequency financial reinforcement learning applications. Overall, our results invite the use and extension of the model in the direction of autoregressive large financial models for the generation of high-frequency financial data and we commit to open-sourcing our code to facilitate future research.


title: Misinformation Concierge: A Proof-of-Concept with Curated Twitter Dataset on COVID-19 Vaccination

abstract: We demonstrate the Misinformation Concierge, a proof-of-concept that provides actionable intelligence on misinformation prevalent in social media. Specifically, it uses language processing and machine learning tools to identify subtopics of discourse and discern non/misleading posts; presents statistical reports for policy-makers to understand the big picture of prevalent misinformation in a timely manner; and recommends rebuttal messages for specific pieces of misinformation, identified from within the corpus of data - providing means to intervene and counter misinformation promptly. The Misinformation Concierge proof-of-concept using a curated dataset is accessible at: https://demo-frontend-uy34.onrender.com/


title: Stackelberg Mean Field Games: convergence and existence results to the problem of Principal with multiple Agents in competition

abstract: In a situation of moral hazard, this paper investigates the problem of Principal with $n$ Agents when the number of Agents $n$ goes to infinity. There is competition between the Agents expressed by the fact that they optimize their utility functions through a Nash equilibrium criterion. Each Agent is offered by the Principal a contract which is divided into a Markovian part involving the state/production of the Agent and a non--Markovian part involving the states/productions of all the other Agents. The Agents are in interactions. These interactions are characterized by common noise, the empirical distribution of states/productions and controls, and the contract which is not assumed to be a map of the empirical distribution. By the help of the mean field games theory, we are able to formulate an appropriate $limit$ problem involving a Principal with a $representative$ Agent. We start by solving the problem of both the Principal and the $representative$ Agent in this $limit$ problem. Then, when $n$ goes to infinity, we show that the problem of Principal with $n$ Agents converges to the $limit$ problem of Principal with a $representative$ Agent. A notable result is that, despite allowing a general type of contracts, it is approximately optimal for the Principal to offer contracts to the $n$ Agents that are maps of the empirical distribution of states/productions and controls of the Agents.


title: Modified Lagrangian Formulation of Gear Tooth Crack Analysis using Combined Approach of Variable Mode Decomposition (VMD) and Time Synchronous Averaging (TSA)

abstract: This paper discusses the possible observation of an integrated gear tooth crack analysis procedure that employs the combined approach of variable mode decomposition (VMD) and time synchronous averaging (TSA) based on the coupled electromechanical gearbox (CEMG) system. This paper also incorporates the modified Lagrangian formulation to model the CEMG system by considering Rayleigh's dissipative potential. An analytical improved time-varying mesh stiffness (IAM-TVMS) with different levels of gear tooth crack depts is also incorporated into the CEMG system to inspect the influence of cracks on the system's dynamic behavior. Dynamic responses of the CEMG system with different tooth crack levels have been used for further investigations. For the first time, the integrated approach of variable mode decomposition (VMD) and time-synchronous averaging (TSA) has been presented to analyze the dynamic behaviour of CEMG systems at the different gear tooth cracks have been experienced as non-stationary and complex vibration signals with noise. Based on the integrated approach of VMD-TSA, two types of nonlinear features, i.e., Lyapunov Exponent (LE) and Correlation Dimension (CD), were calculated to predict the level of chaotic vibration and complexity of the CEMG system at the different levels of gear tooth cracks. Also, the LE and CD are used as chaotic behaviour features to predict the gear tooth crack propagation level. The results of the proposed approach show significant improvements in the gear tooth crack analysis based on the chaotic features. Also, this is one of the first attempts to study the CEMG system using chaotic features based on the combined approach of VMD-TSA.


title: Extracting Mathematical Concepts with Large Language Models

abstract: We extract mathematical concepts from mathematical text using generative large language models (LLMs) like ChatGPT, contributing to the field of automatic term extraction (ATE) and mathematical text processing, and also to the study of LLMs themselves. Our work builds on that of others in that we aim for automatic extraction of terms (keywords) in one mathematical field, category theory, using as a corpus the 755 abstracts from a snapshot of the online journal "Theory and Applications of Categories", circa 2020. Where our study diverges from previous work is in (1) providing a more thorough analysis of what makes mathematical term extraction a difficult problem to begin with; (2) paying close attention to inter-annotator disagreements; (3) providing a set of guidelines which both human and machine annotators could use to standardize the extraction process; (4) introducing a new annotation tool to help humans with ATE, applicable to any mathematical field and even beyond mathematics; (5) using prompts to ChatGPT as part of the extraction process, and proposing best practices for such prompts; and (6) raising the question of whether ChatGPT could be used as an annotator on the same level as human experts. Our overall findings are that the matter of mathematical ATE is an interesting field which can benefit from participation by LLMs, but LLMs themselves cannot at this time surpass human performance on it.


title: A Simulation--Based Optimization approach for analyzing the ambulance diversion phenomenon in an Emergency-Department network

abstract: Ambulance Diversion (AD) is one of the possible strategies for relieving the worldwide phenomenon of Emergency Department (ED) overcrowding. It can be carried out when an ED is overloaded and consists of redirecting incoming by ambulance patients to neighboring EDs. Properly implemented, AD should result in reducing delays of patient treatment, ensuring safety and rescue of life-threatening patients. From an operational point of view, AD corresponds to a resource pooling policy among EDs in a network. In this paper we propose a novel model for studying the effectiveness of AD strategies, based on the Simulation-Based Optimization (SBO) approach. In particular, we developed a discrete event simulation model for reproducing the ED network operation. Then, for each AD policy considered, we formulate and solve an optimal resources allocation problem consisting of a bi-objective SBO problem where the target is the minimization of the non-value added time spent by patients and the overall cost incurred by the ED network. A set of optimal points belonging to the Pareto frontier is obtained for each policy. To show the reliability of the proposed approach, a real case study consisting of six large EDs in the Lazio region of Italy is considered, analyzing the effects of adopting different AD policies.


title: Ten New Benchmarks for Optimization

abstract: Benchmarks are used for testing new optimization algorithms and their variants to evaluate their performance. Most existing benchmarks are smooth functions. This chapter introduces ten new benchmarks with different properties, including noise, discontinuity, parameter estimation and unknown paths.


title: Minimal Assumptions for Optimal Serology Classification: Theory and Implications for Multidimensional Settings and Impure Training Data

abstract: Minimizing error in prevalence estimates and diagnostic classifiers remains a challenging task in serology. In theory, these problems can be reduced to modeling class-conditional probability densities (PDFs) of measurement outcomes, which control all downstream analyses. However, this task quickly succumbs to the curse of dimensionality, even for assay outputs with only a few dimensions (e.g. target antigens). To address this problem, we propose a technique that uses empirical training data to classify samples and estimate prevalence in arbitrary dimension without direct access to the conditional PDFs. We motivate this method via a lemma that relates relative conditional probabilities to minimum-error classification boundaries. This leads us to formulate an optimization problem that: (i) embeds the data in a parameterized, curved space; (ii) classifies samples based on their position relative to a coordinate axis; and (iii) subsequently optimizes the space by minimizing the empirical classification error of pure training data, for which the classes are known. Interestingly, the solution to this problem requires use of a homotopy-type method to stabilize the optimization. We then extend the analysis to the case of impure training data, for which the classes are unknown. We find that two impure datasets suffice for both prevalence estimation and classification, provided they satisfy a linear independence property. Lastly, we discuss how our analysis unifies discriminative and generative learning techniques in a common framework based on ideas from set and measure theory. Throughout, we validate our methods in the context of synthetic data and a research-use SARS-CoV-2 enzyme-linked immunosorbent (ELISA) assay.