title: Measurements of single top quark production processes with the ATLAS and CMS experiments

abstract: This report contains a brief summary of the latest single top quark production cross-section measurements performed by the ATLAS and CMS collaborations on pp collisions collected during Run 2 of the LHC. Various results for t-channel, s-channel and W associated single top production are discussed. Particular attention is given to the main techniques used by the analyses and the main systematic uncertainties limiting these precise measurements.


title: Unsupervised learning of quantum many-body scars using intrinsic dimension

abstract: Quantum many-body scarred systems contain both thermal and non-thermal scar eigenstates in their spectra. When these systems are quenched from special initial states which share high overlap with scar eigenstates, the system undergoes dynamics with atypically slow relaxation and periodic revival. This scarring phenomenon poses a potential avenue for circumventing decoherence in various quantum engineering applications. Given access to an unknown scar system, current approaches for identification of special states leading to non-thermal dynamics rely on costly measures such as entanglement entropy. In this work, we show how two dimensionality reduction techniques, multidimensional scaling and intrinsic dimension estimation, can be used to learn structural properties of dynamics in the PXP model and distinguish between thermal and scar initial states. The latter method is shown to be robust against limited sample sizes and experimental measurement errors.


title: Fusing Echocardiography Images and Medical Records for Continuous Patient Stratification

abstract: Deep learning now enables automatic and robust extraction of cardiac function descriptors from echocardiographic sequences, such as ejection fraction or strain. These descriptors provide fine-grained information that physicians consider, in conjunction with more global variables from the clinical record, to assess patients' condition. Drawing on novel transformer models applied to tabular data (e.g., variables from electronic health records), we propose a method that considers all descriptors extracted from medical records and echocardiograms to learn the representation of a difficult-to-characterize cardiovascular pathology, namely hypertension. Our method first projects each variable into its own representation space using modality-specific approaches. These standardized representations of multimodal data are then fed to a transformer encoder, which learns to merge them into a comprehensive representation of the patient through a pretext task of predicting a clinical rating. This pretext task is formulated as an ordinal classification to enforce a pathological continuum in the representation space. We observe the major trends along this continuum for a cohort of 239 hypertensive patients to describe, with unprecedented gradation, the effect of hypertension on a number of cardiac function descriptors. Our analysis shows that i) pretrained weights from a foundation model allow to reach good performance (83% accuracy) even with limited data (less than 200 training samples), ii) trends across the population are reproducible between trainings, and iii) for descriptors whose interactions with hypertension are well documented, patterns are consistent with prior physiological knowledge.


title: The role of topology and capacity in some bounds for principal frequencies

abstract: We prove a lower bound on the sharp Poincar\'e-Sobolev embedding constants for general open sets, in terms of their inradius. We consider the following two situations: planar sets with given topology; open sets in any dimension, under the restriction that points are not removable sets. In the first case, we get an estimate which optimally depends on the topology of the sets, thus generalizing a result by Croke, Osserman and Taylor, originally devised for the first eigenvalue of the Dirichlet-Laplacian. We also consider some limit situations, like the sharp Moser-Trudinger constant and the Cheeger constant. As a a byproduct of our discussion, we also obtain a Buser--type inequality for open subsets of the plane, with given topology. An interesting problem on the sharp constant for this inequality is presented.


title: Constraints on axion-like particles with the Perseus Galaxy Cluster with MAGIC

abstract: Axion-like particles (ALPs) are pseudo-Nambu-Goldstone bosons that emerge in various theories beyond the standard model. These particles can interact with high-energy photons in external magnetic fields, influencing the observed gamma-ray spectrum. This study analyzes 41.3 hrs of observational data from the Perseus Galaxy Cluster collected with the MAGIC telescopes. We focused on the spectra the radio galaxy in the center of the cluster: NGC 1275. By modeling the magnetic field surrounding this target, we searched for spectral indications of ALP presence. Despite finding no statistical evidence of ALP signatures, we were able to exclude ALP models in the sub-micro electronvolt range. Our analysis improved upon previous work by calculating the full likelihood and statistical coverage for all considered models across the parameter space. Consequently, we achieved the most stringent limits to date for ALP masses around 50 neV, with cross sections down to $g_{a\gamma} = 3 \times 10^{-12}$ GeV$^{-1}$.


title: Renormalization of Karsten-Wilczek Quarks on a Staggered Background

abstract: The Karsten-Wilczek action is a formulation of minimally doubled fermions on the lattice. It explicitly breaks hypercubic symmetry and introduces three counterterms with respective bare parameters. We present a tuning of the bare parameters of the Karsten-Wilczek action on staggered configurations at the physical point. We study the magnitude of the taste-splitting as a function of the lattice spacing.


title: CYT and SKT manifolds with parallel Bismut torsion

abstract: In the present paper, we study compact complex manifolds admitting a Hermitian metric which is SKT and CYT and whose Bismut torsion is parallel. We first obtain a characterization of the universal cover of such manifolds as a product of a Kaehler Ricci-flat manifold with a Bismut flat one. Then, using a mapping torus construction, we provide non-Bismut flat examples. The existence of generalized Kaehler structures is also investigated.


title: Pedestrian Detection in Low-Light Conditions: A Comprehensive Survey

abstract: Pedestrian detection remains a critical problem in various domains, such as computer vision, surveillance, and autonomous driving. In particular, accurate and instant detection of pedestrians in low-light conditions and reduced visibility is of utmost importance for autonomous vehicles to prevent accidents and save lives. This paper aims to comprehensively survey various pedestrian detection approaches, baselines, and datasets that specifically target low-light conditions. The survey discusses the challenges faced in detecting pedestrians at night and explores state-of-the-art methodologies proposed in recent years to address this issue. These methodologies encompass a diverse range, including deep learning-based, feature-based, and hybrid approaches, which have shown promising results in enhancing pedestrian detection performance under challenging lighting conditions. Furthermore, the paper highlights current research directions in the field and identifies potential solutions that merit further investigation by researchers. By thoroughly examining pedestrian detection techniques in low-light conditions, this survey seeks to contribute to the advancement of safer and more reliable autonomous driving systems and other applications related to pedestrian safety. Accordingly, most of the current approaches in the field use deep learning-based image fusion methodologies (i.e., early, halfway, and late fusion) for accurate and reliable pedestrian detection. Moreover, the majority of the works in the field (approximately 48%) have been evaluated on the KAIST dataset, while the real-world video feeds recorded by authors have been used in less than six percent of the works.


title: High entropy alloys and their affinity to hydrogen: from Cantor to platinum group elements alloys

abstract: Properties of high entropy alloys are currently in the spotlight due to their promising applications. One of the least investigated aspects is the affinity of these alloys to hydrogen, its diffusion and reactions. In this study we apply high-pressure at ambient temperature and investigate stress-induced diffusion of hydrogen into the tructure of high entropy alloys HEA including the famous Cantor alloy as well as less known, but nevertheless important platinum group PGM alloys. By applying X-ray diffraction to samples loaded into diamond anvil cells we perform a comparative investigation of these HEA alloys in Ne and H2 pressure-transmitting media. Surprisingly, even under stresses far exceeding conventional industrial processes both Cantor and PGM alloys show exceptional resistance to hydride formation, on par with widely used industrial grade CuBe alloys. Our observations inspire optimism for practical HEA applications in hydrogen-relevant industry and technology e.g. coatings, etc, particularly those related to transport and storage.


title: Uncovering the Full Potential of Visual Grounding Methods in VQA

abstract: Visual Grounding (VG) methods in Visual Question Answering (VQA) attempt to improve VQA performance by strengthening a model's reliance on question-relevant visual information. The presence of such relevant information in the visual input is typically assumed in training and testing. This assumption, however, is inherently flawed when dealing with imperfect image representations common in large-scale VQA, where the information carried by visual features frequently deviates from expected ground-truth contents. As a result, training and testing of VG-methods is performed with largely inaccurate data, which obstructs proper assessment of their potential benefits. In this study, we demonstrate that current evaluation schemes for VG-methods are problematic due to the flawed assumption of availability of relevant visual information. Our experiments show that these methods can be much more effective when evaluation conditions are corrected. Code is provided on GitHub.


title: Extreme types and extremal models

abstract: In the affine fragment of continuous logic, type spaces are compact convex sets. I study some model theoretic properties of extreme types. It is proved that every complete theory $T$ has an extremal model, i.e. a model which realizes only extreme types. Extremal models form an elementary class in the full continuous logic sense if and only if the set of extreme $n$-types is closed in $S_n(T)$ for each $n$. Also, some applications are given in the special cases where the theory has a compact or first order model.


title: A consistent diffuse-interface model for two-phase flow problems with rapid evaporation

abstract: We present accurate and mathematically consistent formulations of a diffuse-interface model for two-phase flow problems involving rapid evaporation. The model addresses challenges including discontinuities in the density field by several orders of magnitude, leading to high velocity and pressure jumps across the liquid-vapor interface, along with dynamically changing interface topologies. To this end, we integrate an incompressible Navier--Stokes solver combined with a conservative level-set formulation and a regularized, i.e., diffuse, representation of discontinuities into a matrix-free adaptive finite element framework. The achievements are three-fold: First, this work proposes mathematically consistent definitions for the level-set transport velocity in the diffuse interface region by extrapolating the velocity from the liquid or gas phase, which exhibit superior prediction accuracy for the evaporated mass and the resulting interface dynamics compared to a local velocity evaluation, especially for highly curved interfaces. Second, we show that accurate prediction of the evaporation-induced pressure jump requires a consistent, namely a reciprocal, density interpolation across the interface, which satisfies local mass conservation. Third, the combination of diffuse interface models for evaporation with standard Stokes-type constitutive relations for viscous flows leads to significant pressure artifacts in the diffuse interface region. To mitigate these, we propose a modification for such constitutive model types. Through selected analytical and numerical examples, the aforementioned properties are validated. The presented model promises new insights in simulation-based prediction of melt-vapor interactions in thermal multiphase flows such as in laser-based powder bed fusion of metals.


title: Optimal design for linear models via gradient flow

abstract: Optimal experimental design (OED) aims to choose the observations in an experiment to be as informative as possible, according to certain statistical criteria. In the linear case (when the observations depend linearly on the unknown parameters), it seeks the optimal weights over rows of the design matrix A under certain criteria. Classical OED assumes a discrete design space and thus a design matrix with finite dimensions. In many practical situations, however, the design space is continuous-valued, so that the OED problem is one of optimizing over a continuous-valued design space. The objective becomes a functional over the probability measure, instead of over a finite dimensional vector. This change of perspective requires a new set of techniques that can handle optimizing over probability measures, and Wasserstein gradient flow becomes a natural candidate. Both the first-order criticality and the convexity properties of the OED objective are presented. Computationally Monte Carlo particle simulation is deployed to formulate the main algorithm. This algorithm is applied to two elliptic inverse problems.


title: A Higher Order Unfitted Space-Time Finite Element Method for Coupled Surface-Bulk problems

abstract: We present a higher order space-time unfitted finite element method for convection-diffusion problems on coupled (surface and bulk) domains. In that way, we combine a method suggested by Heimann, Lehrenfeld, Preu{\ss} (SIAM J. Sci. Comput. 45(2), 2023, B139 - B165) for the bulk case with a method suggested by Sass, Reusken (Comput. Math. Appl. 146(15), 2023, 253-270) for the surface case. The geometry is allowed to change with time, and the higher order discrete approximation of this geometry is ensured by a time-dependent isoparametric mapping. The space-time discretisation approach allows for straightforward handling of arbitrary high orders. In that way, we also generalise results of Hansbo, Larson, Zahedi (Comput. Methods Appl. Mech. Engrg. 307, 2016, 96-116) to higher orders. The convergence of the proposed higher order discretisations is confirmed numerically.


title: Fully nonlinear Yamabe-type problems on non-compact manifolds

abstract: We obtain existence results for a class of fully nonlinear Yamabe-type problems on non-compact manifolds, addressing both the so-called positive and negative cases. We also give explicit examples of manifolds with warped product ends and asymptotically flat ends satisfying the hypotheses of our theorems.


title: Optimal Data Splitting in Distributed Optimization for Machine Learning

abstract: The distributed optimization problem has become increasingly relevant recently. It has a lot of advantages such as processing a large amount of data in less time compared to non-distributed methods. However, most distributed approaches suffer from a significant bottleneck - the cost of communications. Therefore, a large amount of research has recently been directed at solving this problem. One such approach uses local data similarity. In particular, there exists an algorithm provably optimally exploiting the similarity property. But this result, as well as results from other works solve the communication bottleneck by focusing only on the fact that communication is significantly more expensive than local computing and does not take into account the various capacities of network devices and the different relationship between communication time and local computing expenses. We consider this setup and the objective of this study is to achieve an optimal ratio of distributed data between the server and local machines for any costs of communications and local computations. The running times of the network are compared between uniform and optimal distributions. The superior theoretical performance of our solutions is experimentally validated.


title: Consolidating Strategies for Countering Hate Speech Using Persuasive Dialogues

abstract: Hateful comments are prevalent on social media platforms. Although tools for automatically detecting, flagging, and blocking such false, offensive, and harmful content online have lately matured, such reactive and brute force methods alone provide short-term and superficial remedies while the perpetrators persist. With the public availability of large language models which can generate articulate synthetic and engaging content at scale, there are concerns about the rapid growth of dissemination of such malicious content on the web. There is now a need to focus on deeper, long-term solutions that involve engaging with the human perpetrator behind the source of the content to change their viewpoint or at least bring down the rhetoric using persuasive means. To do that, we propose defining and experimenting with controllable strategies for generating counter-arguments to hateful comments in online conversations. We experiment with controlling response generation using features based on (i) argument structure and reasoning-based Walton argument schemes, (ii) counter-argument speech acts, and (iii) human characteristics-based qualities such as Big-5 personality traits and human values. Using automatic and human evaluations, we determine the best combination of features that generate fluent, argumentative, and logically sound arguments for countering hate. We further share the developed computational models for automatically annotating text with such features, and a silver-standard annotated version of an existing hate speech dialog corpora.


title: A Study on the Number of Representations of an Integer into Certain Quadratic Forms

abstract: Let $a_k(n)$ denotes the number of representations of a non-negative integer $n$ as sum of $k$ quadratic forms of the type $x^2+xy+y^2$ and $a_{\lambda_1,\lambda_2,\lambda_3\dots\lambda_k}(n)$ denotes the number of representations $n$ as a linear combination of $k$ quadratic forms of the aforementioned type, where $\lambda_i$'s are positive integers. The expressions for $a_k(n)$ and $a_{\lambda_1,\lambda_2,\lambda_3\dots\lambda_k}(n)$ for different values of $k$ and $\lambda_i$ are available in the literature. In this project, we attempt to find relationships among some of these particular $a_{\lambda_1,\lambda_2,\lambda_3\dots\lambda_k}(n)$'s in a generalized manner.


title: Wikidata as a seed for Web Extraction

abstract: Wikidata has grown to a knowledge graph with an impressive size. To date, it contains more than 17 billion triples collecting information about people, places, films, stars, publications, proteins, and many more. On the other side, most of the information on the Web is not published in highly structured data repositories like Wikidata, but rather as unstructured and semi-structured content, more concretely in HTML pages containing text and tables. Finding, monitoring, and organizing this data in a knowledge graph is requiring considerable work from human editors. The volume and complexity of the data make this task difficult and time-consuming. In this work, we present a framework that is able to identify and extract new facts that are published under multiple Web domains so that they can be proposed for validation by Wikidata editors. The framework is relying on question-answering technologies. We take inspiration from ideas that are used to extract facts from textual collections and adapt them to extract facts from Web pages. For achieving this, we demonstrate that language models can be adapted to extract facts not only from textual collections but also from Web pages. By exploiting the information already contained in Wikidata the proposed framework can be trained without the need for any additional learning signals and can extract new facts for a wide range of properties and domains. Following this path, Wikidata can be used as a seed to extract facts on the Web. Our experiments show that we can achieve a mean performance of 84.07 at F1-score. Moreover, our estimations show that we can potentially extract millions of facts that can be proposed for human validation. The goal is to help editors in their daily tasks and contribute to the completion of the Wikidata knowledge graph.


title: Superdiffusive planar random walks with polynomial space-time drifts

abstract: We quantify superdiffusive transience for a two-dimensional random walk in which the vertical coordinate is a martingale and the horizontal coordinate has a positive drift that is a polynomial function of the individual coordinates and of the present time. We describe how the model was motivated through an heuristic connection to a self-interacting, planar random walk which interacts with its own centre of mass via an excluded-volume mechanism, and is conjectured to be superdiffusive with a scale exponent $3/4$. The self-interacting process originated in discussions with Francis Comets.


title: Correlated spectroscopy of electric noise with color center clusters

abstract: Experimental noise often contains valuable information on the interactions of a system with its environment but establishing a relation between the measured time fluctuations and relevant physical observables is rarely apparent. Here, we leverage a multi-dimensional and multi-sensor analysis of spectral diffusion to investigate the dynamics of carriers in charge traps surrounding color center clusters in diamond. Working with nitrogen-vacancy (NV) centers sharing the same diffraction-limited volume, we establish statistical correlations in the spectral changes we measure as we recursively probe the optical resonances of the cluster, which we subsequently exploit to unveil proximal traps. By simultaneously co-monitoring the spectra of multiple NVs in the set, we show the ability to deterministically induce Stark shifts in the observed optical resonances, hence allowing us to identify electrostatically coupled sets of emitters. These cross-correlated measurements allow us to determine the relative three-dimensional positions of interacting NVs in a cluster as well as the location and charge sign of proximal traps. Our results can be generalized to other color centers and open intriguing opportunities for the microscopic characterization of photo-carrier dynamics in semiconductors and for the manipulation of nanoscale spin-qubit clusters connected via electric fields.


title: Anti-Context-Free languages

abstract: Context-free languages can be characterized in several ways. This article studies projective linearisations of languages of simple dependency trees, i.e., dependency trees in which a node can govern at most one node with a given syntactic function. We prove that the projective linearisations of local languages of simple dependency trees coincide with the context-free languages. Simple dependency trees suggest alternative dual notions of locality and projectivity, which permits defining a dual language for each context-free language. We call this new class of languages anti-context-free. These languages are related to some linguistic constructions exhibiting the so-called cross-serial dependencies that were historically important for the development of computational linguistics. We propose that this duality could be a relevant linguistic phenomenon.


title: Modelling Dynamic Limitations of Lithium Transport in Lithium-Sulfur Batteries

abstract: A common, yet unmodelled experimental phenomenon is explained first through the experimental data and then through modelling efforts. The phenomenon is a large, temporary loss in voltage during constant current discharge. This effect can be observed in several independent experimental settings, such as during low-temperature operation, under high currents, with low Electrolyte-to-Sulfur (E/S) ratios, as well as in cells with high salt concentrations. The model presented here is the first to prove to capture this effect. Moreover, several other related experimental results are presented, discussed, and predicted by the model. A fundamental explanation for why most Li-S models are unlikely to be able to capture the large voltage loss effect is also given.


title: Question Translation Training for Better Multilingual Reasoning

abstract: Large language models show compelling performance on reasoning tasks but they tend to perform much worse in languages other than English. This is unsurprising given that their training data largely consists of English text and instructions. A typical solution is to translate instruction data into all languages of interest, and then train on the resulting multilingual data, which is called translate-training. This approach not only incurs high cost, but also results in poorly translated data due to the non-standard formatting of mathematical chain-of-thought. In this paper, we explore the benefits of question alignment, where we train the model to translate reasoning questions into English by finetuning on X-English parallel question data. In this way we perform targeted, in-domain language alignment which makes best use of English instruction data to unlock the LLMs' multilingual reasoning abilities. Experimental results on LLaMA2-13B show that question alignment leads to consistent improvements over the translate-training approach: an average improvement of 11.3% and 16.1% accuracy across ten languages on the MGSM and MSVAMP multilingual reasoning benchmarks. The project will be available at: https://github.com/NJUNLP/QAlign.


title: A General Approach for Computing a Consensus in Group Decision Making That Integrates Multiple Ethical Principles

abstract: We tackle the problem of computing a consensus according to multiple ethical principles -- which can include, for example, the principle of maximum freedom associated with the Benthamite doctrine and the principle of maximum fairness associated with the Rawlsian principles -- among the preferences of different individuals in the context of Group-Decision-Making. More formally, we put forward a novel formalisation of the above-mentioned problem based on a multinorm approximation problem that aims at minimising multiple p-metric distance functions, where each parameter p represents a given ethical principle. Our contribution incurs obvious benefits from a social-choice perspective. Firstly, our approach significantly generalises state-of-the-art approaches that were limited to only two ethical principles (p set to one, for maximum freedom, and p set to infinity, for maximum fairness). Secondly, our experimental results considering an established test case demonstrate that our approach is capable, thanks to a novel re-weighting scheme, to compute a multi-norm consensus that takes into account each ethical principle in a balanced way, in contrast with state-of-the-art approaches that were heavily biased towards the p=1 ethical principle


title: Enforcing contraction via data

abstract: We present data-based conditions for enforcing contractivity via feedback control and obtain desired asymptotic properties of the closed-loop system. We focus on unknown nonlinear control systems whose vector fields are expressible via a dictionary of functions and derive data-dependent semidefinite programs whose solution returns the controller that guarantees contractivity. When data are perturbed by disturbances that are linear combination of sinusoids of known frequencies (but unknown amplitude and phase) and constants, we remarkably obtain conditions for contractivity that do not depend on the magnitude of the disturbances, with imaginable positive consequences for the synthesis of the controller. Finally, we show how to design from data an integral controller for nonlinear systems that achieves constant reference tracking and constant disturbance rejection.


title: Posterior shrinkage towards linear subspaces

abstract: It is common to hold prior beliefs that are not characterized by points in the parameter space but instead are relational in nature and can be described by a linear subspace. While some previous work has been done to account for such prior beliefs, the focus has primarily been on point estimators within a regression framework. We argue, however, that prior beliefs about parameters ought to be encoded into the prior distribution rather than in the formation of a point estimator. In this way, the prior beliefs help shape \textit{all} inference. Through exponential tilting, we propose a fully generalizable method of taking existing prior information from, e.g., a pilot study, and combining it with additional prior beliefs represented by parameters lying on a linear subspace. We provide computationally efficient algorithms for posterior inference that, once inference is made using a non-tilted prior, does not depend on the sample size. We illustrate our proposed approach on an antihypertensive clinical trial dataset where we shrink towards a power law dose-response relationship, and on monthly influenza and pneumonia data where we shrink moving average lag parameters towards smoothness. Software to implement the proposed approach is provided in the R package \verb+SUBSET+ available on GitHub.


title: Free-abelian by free groups: homomorphisms and algorithmic explorations

abstract: We obtain an explicit description of the endomorphisms of free-abelian by free groups together with a characterization of when they are injective and surjective. As a consequence we see that free-abelian by free groups are Hopfian and not coHopfian, and we investigate the isomorphism problem and the Brinkmann Problem for this family of groups. In particular, we prove that the isomorphism problem (undecidable in general) is decidable when restricted to finite actions, and that the Brinkmann Problem is decidable both for monomorphisms and automorphisms.


title: Original $\mathbb F_1$ in emergent spacetime

abstract: The existence of a quantum field theory over the "field with one element" was first addressed in 2012 by Bejleri and Marcolli, where it was shown that wonderful compactifications of the graph configuration spaces that appear in the calculation of Feynman integrals, as well as the moduli spaces of curves, admit an $\mathbb F_1$ structure. Recently, we also examined some advantages of studying finite fields $\mathbb F_q$, wherein $\mathbb F_1$ represents the fundamental string with the Planck length, playing a fundamental role in the model. Such a role was briefly described by comparing the similarity between the collapse of the spacetime concept probing the scales below the Planck length and the mathematical collapse of the 'field' concept at $q=1$. In this letter, we elaborate more on this role by explaining how Kapranov and Smirnov's perspective based on the Iwasawa theory is a perfect mathematical fit for string theory. Particularly, their work suggests that the existence of $\mathbb F_1$ alone is sufficient to create other fields $\mathbb F_q$ emergent as its extensions, reflecting the postulate of string theory, where various vibrational modes of the fundamental string manifest as other fields. As support, a couple of evidence are provided that illustrate the physical importance of the Weyl group (known to be a reductive group over $\mathbb F_1$) and explain why the calculation of the amplitudes in the "amplitudes=combinatorial geometry" program (initiated by Arkani-Hamed et al. in 2013) exhibits a combinatorial nature and simplifies the exponentially growing ($\mathcal{O}(4^n)$) calculations of the Feynman diagrams to a polynomially growing order ($\mathcal{O}(n^2)$) in the kinematic space of scattering data for the scalar theory with cubic interactions.


title: A three-grid high-order immersed finite element method for the analysis of CAD models

abstract: The automated finite element analysis of complex CAD models using boundary-fitted meshes is rife with difficulties. Immersed finite element methods are intrinsically more robust but usually less accurate. In this work, we introduce an efficient, robust, high-order immersed finite element method for complex CAD models. Our approach relies on three adaptive structured grids: a geometry grid for representing the implicit geometry, a finite element grid for discretising physical fields and a quadrature grid for evaluating the finite element integrals. The geometry grid is a sparse VDB (Volumetric Dynamic B+ tree) grid that is highly refined close to physical domain boundaries. The finite element grid consists of a forest of octree grids distributed over several processors, and the quadrature grid in each finite element cell is an octree grid constructed in a bottom-up fashion. We discretise physical fields on the finite element grid using high-order Lagrange basis functions. The resolution of the quadrature grid ensures that finite element integrals are evaluated with sufficient accuracy and that any sub-grid geometric features, like small holes or corners, are resolved up to a desired resolution. The conceptual simplicity and modularity of our approach make it possible to reuse open-source libraries, i.e. openVDB and p4est for implementing the geometry and finite element grids, respectively, and BDDCML for iteratively solving the discrete systems of equations in parallel using domain decomposition. We demonstrate the efficiency and robustness of the proposed approach by solving the Poisson equation on domains given by complex CAD models and discretised with tens of millions of degrees of freedom.


title: Hydrogen recombination continuum as the radiative model for stellar optical flares

abstract: The study of stellar flares has increased with new observations from CoRoT, Kepler, and TESS satellites, revealing the broadband visible emission from these events. Typically, stellar flares have been modelled as $10^4$ K blackbody plasma to obtain estimates of their total energy. In the Sun, white light flares (WLFs) are much fainter than their stellar counterparts, and normally can only be detected via spatially resolved observations. Identifying the radiation mechanism for the formation of the visible spectrum from solar and stellar flares is crucial to understand the energy transfer processes during these events, but spectral data for WLFs are relatively rare, and insufficient to remove the ambiguity of their origin: photospheric blackbody radiation and/or Paschen continuum from hydrogen recombination in the chromosphere. We employed an analytical solution for the recombination continuum of hydrogen instead of the typically assumed $10^4$ K blackbody spectrum to study the energy of stellar flares and infer their fractional area coverage. We investigated 37 events from Kepler-411 and 5 events from Kepler-396, using both radiation mechanisms. We find that estimates for the total flare energy from the H recombination spectrum are about an order of magnitude lower than the values obtained from the blackbody radiation. Given the known energy transfer processes in flares, we argue that the former is a physically more plausible model than the latter to explain the origin of the broadband optical emission from flares.


title: Phenotyping calcification in vascular tissues using artificial intelligence

abstract: Vascular calcification is implicated as an important factor in major adverse cardiovascular events (MACE), including heart attack and stroke. A controversy remains over how to integrate the diverse forms of vascular calcification into clinical risk assessment tools. Even the commonly used calcium score for coronary arteries, which assumes risk scales positively with total calcification, has important inconsistencies. Fundamental studies are needed to determine how risk is influenced by the diverse calcification phenotypes. However, studies of these kinds are hindered by the lack of high-throughput, objective, and non-destructive tools for classifying calcification in imaging data sets. Here, we introduce a new classification system for phenotyping calcification along with a semi-automated, non-destructive pipeline that can distinguish these phenotypes in even atherosclerotic tissues. The pipeline includes a deep-learning-based framework for segmenting lipid pools in noisy micro-CT images and an unsupervised clustering framework for categorizing calcification based on size, clustering, and topology. This approach is illustrated for five vascular specimens, providing phenotyping for thousands of calcification particles across as many as 3200 images in less than seven hours. Average Dice Similarity Coefficients of 0.96 and 0.87 could be achieved for tissue and lipid pool, respectively, with training and validation needed on only 13 images despite the high heterogeneity in these tissues. By introducing an efficient and comprehensive approach to phenotyping calcification, this work enables large-scale studies to identify a more reliable indicator of the risk of cardiovascular events, a leading cause of global mortality and morbidity.


title: Predicting heteropolymer interactions: demixing and hypermixing of disordered protein sequences

abstract: Cells contain multiple condensates which spontaneously form due to the heterotypic interactions between their components. Although the proteins and disordered region sequences that are responsible for condensate formation have been extensively studied, the rule of interactions between the components that allow demixing, i.e., the coexistence of multiple condensates, is yet to be elucidated. Here we construct an effective theory of the interaction between heteropolymers by fitting it to the molecular dynamics simulation results obtained for more than 200 sequences sampled from the disordered regions of human proteins. We find that the sum of amino acid pair interactions across two heteropolymers predicts the Boyle temperature qualitatively well, which can be quantitatively improved by the dimer pair approximation, where we incorporate the effect of neighboring amino acids in the sequences. The improved theory, combined with the finding of a metric that captures the effective interaction strength between distinct sequences, allowed the selection of up to three disordered region sequences that demix with each other in multicomponent simulations, as well as the generation of artificial sequences that demix with a given sequence.The theory points to a generic sequence design strategy to demix or hypermix thanks to the low dimensional nature of the space of the interactions that we identify. As a consequence of the geometric arguments in the space of interactions, we find that the number of distinct sequences that can demix with each other is strongly constrained, irrespective of the choice of the coarse-grained model. Altogether, we construct a theoretical basis for methods to estimate the effective interaction between heteropolymers, which can be utilized in predicting phase separation properties as well as rules of assignment in the localization and functions of disordered proteins.


title: Growth and density in free magmas

abstract: The density of a submagma with respect to a free magma is defined as the asymptotic ratio of their growths. This notion, similar to the inverse of the index for groups, permits differentiating submagmas that are isomorphic as magmas. The present paper studies the growth and density of several submagmas of a free magma. It is conjectured that finitely generated proper submagmas of the cyclic free magma have null density. In addition, some aspects of enumeration related to the Motzkin paths are shown.


title: Transient Magnetoelastic Coupling in CrSBr

abstract: Recent research has revealed remarkable properties of the two-dimensional (2D) van der Waals layered crystal CrSBr, which is both a semiconductor and an A-type antiferromagnet. Here we show the role of strong magnetoelastic coupling in the generation and propagation of coherent magnons in CrSBr. Time and spatially resolved magneto-optical Kerr effect (tr-MOKE) microscopy reveals two time-varying transient strain fields induced by out-of-plane transverse and in-plane longitudinal lattice displacements. These transient strain fields launch coherent wavepackets of magnons, optical and acoustic at 24.6 GHz and 33.4 GHz, respectively. These findings suggest mechanisms for controlling and manipulating coherent magnons from distinct magnetoelastic couplings in this 2D van der Waals magnetic semiconductor.


title: Cooling the Earth with $CO_2$ filled containers in space

abstract: We argue that geostationary (GEO) reflective containers filled with $CO_2$ could be used as shading devices to selectively cool areas on Earth's surface. This proposal would be an interesting addition to the recently discussed suggestion of dumping $CO_2$ to space through the well of a space lift \cite{OB2023}. We also explore the possibility of producing propellants in GEO out of greenhouse gases expelled from the space lift. Finally, we discuss the much less effective idea of filtering the most prominent infrared bands of the incoming solar radiation using the $CO_2$ wrapped in transparent vessels.


title: The magnetohydrodynamic equations in terms of waveframe variables

abstract: Generalising the Elsasser variables, we introduce the Q-variables. These are more flexible than the Elsasser variables, because they also allow to track waves with phase speeds different than the Alfven speed. We rewrite the MHD equations with these Q-variables. We consider also the linearised version of the resulting MHD equations in a uniform plasma, and recover the classical Alfven waves, but also separate the fast and slow magnetosonic waves in upward and downward propagating waves. Moreover, we show that the Q-variables may also track the upward and downward propagating surface Alfven waves in a non-uniform plasma, displaying the power of our generalisation. In the end, we lay the mathematical framework for driving solar wind models with a multitude of wave drivers.


title: Reduced polygons in the hyperbolic plane

abstract: For a hyperplane $H$ supporting a convex body $C$ in the hyperbolic space $\mathbb{H}^d$ we define the width of $C$ determined by $H$ as the distance between $H$ and a most distant ultraparallel hyperplane supporting $C$. The minimum width of $C$ over all supporting $H$ is called the thickness $\Delta (C)$ of $C$. A convex body $R \subset \mathbb{H}^d$ is said to be reduced if $\Delta (Z) < \Delta (R)$ for every convex body $Z$ properly contained in $R$. We describe a class of reduced polygons in $\mathbb{H}^2$ and present some properties of them. In particular, we estimate their diameters in terms of their thicknesses.


title: Newton's laws of motion can generate gravity-mediated entanglement

abstract: The interface between quantum theory and gravity represents still uncharted territory. Recently, some works suggested promising alternative approaches aimed at witnessing quantum features to test the fundamental nature of gravity in tabletop experiments: Two masses in an initial superposition of spatially localized states are allowed to interact only through gravity and it is measured whether the final state is entangled. Here we show that one can generate the same amount of entanglement in this setup by using classical time evolution given by Newton's laws of motion. We argue that theories of quantum gravity that can be approximated by the Newtonian potential and classical time evolution given by Newton's laws of motion will generate gravity-mediated entanglement.


title: The role of initial coherence in the phase-space entropy production rate

abstract: The second law of thermodynamics can be expressed in terms of entropy production, which can be used to quantify the degree of irreversibility of a process. In this Chapter, we consider the standard scenario of open quantum systems, where a system irreversibly interacts with an external environment. We show that the standard approach, based on von Neumann entropy, can be replaced by a phase-space formulation of the problem. In particular, we focus on spin systems that can be described using the so-called spin coherent states. We deploy this formalism to study the interplay between the entropy production rate and the initial quantum coherence available to the system.


title: Exponent-Critical Groups

abstract: We define and investigate the property of being `exponent-critical' for a finite group. A finite group is said to be exponent-critical if its exponent is not the least common multiple of the exponents of its proper non-abelian subgroups. We explore properties of exponent-critical groups and give a characterization of such groups. This characterization generalises a classical result of Miller and Moreno on minimal non-abelian groups; interesting families of $p$-groups appear.


title: $q$-ary Sequential Locally Recoverable Codes from the Product Construction

abstract: This work focuses on sequential locally recoverable codes (SLRCs), a special family of locally repairable codes, capable of correcting multiple code symbol erasures, which are commonly used for distributed storage systems. First, we construct an extended $q$-ary family of non-binary SLRCs using code products with a novel maximum number of recoverable erasures $t$ and a minimal repair alternativity $A$. Second, we study how MDS and BCH codes can be used to construct $q$-ary SLRCs. Finally, we compare our codes to other LRCs.


title: Two Types of AI Existential Risk: Decisive and Accumulative

abstract: The conventional discourse on existential risks (x-risks) from AI typically focuses on abrupt, dire events caused by advanced AI systems, particularly those that might achieve or surpass human-level intelligence. These events have severe consequences that either lead to human extinction or irreversibly cripple human civilization to a point beyond recovery. This discourse, however, often neglects the serious possibility of AI x-risks manifesting incrementally through a series of smaller yet interconnected disruptions, gradually crossing critical thresholds over time. This paper contrasts the conventional "decisive AI x-risk hypothesis" with an "accumulative AI x-risk hypothesis." While the former envisions an overt AI takeover pathway, characterized by scenarios like uncontrollable superintelligence, the latter suggests a different causal pathway to existential catastrophes. This involves a gradual accumulation of critical AI-induced threats such as severe vulnerabilities and systemic erosion of econopolitical structures. The accumulative hypothesis suggests a boiling frog scenario where incremental AI risks slowly converge, undermining resilience until a triggering event results in irreversible collapse. Through systems analysis, this paper examines the distinct assumptions differentiating these two hypotheses. It is then argued that the accumulative view reconciles seemingly incompatible perspectives on AI risks. The implications of differentiating between these causal pathways -- the decisive and the accumulative -- for the governance of AI risks as well as long-term AI safety are discussed.


title: A rigid bender study of the bending relaxation of H2O and D2O by collisions with Ar

abstract: The bending relaxation of H2O and D2O by collisions with Ar is studied at the Close Coupling level. Two new 4D PES are developed for these two systems. They are tested by performing rigid rotor calculations as well as computing the bound states of D2O with Ar. The results are compared with available theoretical and experimental data. Propensity rules for the dynamics are discussed and compared to those of H2O colliding with Ne or He. The bending relaxation cross sections and rates are then calculated for these two systems. The results are analysed and compared with available experimental data.


title: Steven Weinberg and Higgs Physics

abstract: As a tribute to Steven Weinberg, we summarize the immense impact that he had on the understanding of the mechanism of spontaneous symmetry breaking and on the physics of the Higgs boson. In particular, four landmark contributions to this field are highlighted. A first one is his early work with Goldstone and Salam on spontaneously broken continuous symmetries that paved the way to the Higgs mechanism. A second towering breakthrough is his model of leptons which later became the Standard Model of particle physics and for which he was awarded the Nobel prize with Glashow and Salam. A third seminal work is the so-called Weinberg-Linde lower bound on the Higgs boson mass that was derived from the requirement of the stability of the electroweak vacuum. Finally, we will summarize his important contributions in model-building of new physics with extended Higgs sectors and their possible impact in flavor physics and CP-violation. The historical aspects as well as the contemporary way of viewing these four major topics are summarized and their impact on today Higgs physics, and more generally particle physics, is highlighted.


title: Theory for Cd$_3$As$_2$ thin films in the presence of magnetic fields

abstract: We present a theory for thin films of the Dirac semimetal Cd$_3$As$_2$ in the presence of magnetic fields. We show that, above a critical thickness, specific subbands $n$ of thin film Cd$_3$As$_2$ are in a quantum spin Hall insulator regime and study their response to in- and out-of-plane magnetic fields. We find that sufficiently large in-plane Zeeman fields drive the system toward a 2D Dirac semimetal regime, provided the field is directed perpendicular to a high-symmetry mirror plane. For other directions, we find the Dirac points to be weakly gapped. We further investigate how the system responds to finite out-of-plane field components, both starting from the quantum spin Hall regime at small in-plane fields and from the 2D Dirac semimetal regimes at larger in-plane fields, addressing recent experimental observations in [A. C. Lygo et al., Phys. Rev. Lett. 130 046201 (2023)] and [B. Guo et al., Phys. Rev. Lett. 131, 046601(2023)].


title: Generating functions of lattice paths

abstract: We recall the main types of lattice paths, which are sequences in the lattice of integer coordinates points in the plane. We start with the fundamental central lattice paths and Dyck paths and proceed in elementary terms through recently introduced lattice paths. For every type, we consider the respective generating function. In fact, through our approach (via Riordan arrays), various entries of the On-Line Encyclopedia of Integer Sequences are unified, clarified, and simplified.


title: Online Simulation at Machine Level: A Systematic Review

abstract: The importance of simulation at machine level in industrial environments is steadily increasing especially in the design and commissioning phase. Using models during the operation phase together with the real machine or plant is referred to as online simulation. Online simulation is used for system monitoring, predictive analyses, decision support or online optimization and therefore has various advantages and a wide field of applications. This paper has the aim to characterize online simulation at machine level in industrial automation focusing on key technologies and common applications. Therefore, a set of 65 relevant publications, which are focusing on this subject, is found by database search, expert consultation, and snowballing. As key technological aspects, the used model types, interfaces and platforms, and the aspects of initialization and synchronization are further investigated. The results are interpreted and limitations, knowledge gaps and future prospects are discussed. The potential of online simulation at machine level especially arises due to the increasing availability of component and machine models from the design and commissioning phase, which can be reused for online simulation. Remaining challenges are identified concerning implementation, simulation platforms, model maintenance and especially in the field of synchronization.


title: Closing the Performance and Management Gaps with Satellite Internet: Challenges, Approaches, and Future Directions

abstract: Recent advancements in low-Earth orbit (LEO) satellites represented by large constellations and advanced payloads provide great promises for enabling beyond 5G and 6G telecommunications and high-quality and ubiquitous Internet connectivity to everyone anywhere on Earth. LEO satellite networks are envisioned to bridge the urban-rural connectivity gap for the digital divide. However, the digital divide can hardly be closed by only providing connectivity to rural and remote areas. Various unprecedented challenges brought by the emerging satellite Internet still need to be resolved, such as inconsistent end-to-end performance guarantees and a lack of efficient management and operations in these areas, which are referred to as "performance gap" and "management gap", respectively. This position paper will briefly discuss these gaps, approaches to addressing the gaps, and some research directions based on our recent works.


title: Integrability and periodic orbits of polynomial vector fields on the torus

abstract: In this paper, we classify all cubic vector fields in $\mathbb{R}^3$ such that their flow makes the torus $$\mathbb{T}^2=\{(x,y,z)\in \mathbb{R}^3:(x^2+y^2-a^2)^2+z^2-1=0\}~\mbox{with}~a\in (1,\infty)$$ invariant. We also classify cubic Kolmogorov vector fields on $\mathbb{T}^2$ and prove that they exhibit a rational first integral. We explicitly find all cubic vector fields on $\mathbb{T}^2$ which achieve the sharp upper bounds for the number of invariant meridians and parallels. We present necessary and sufficient conditions when invariant meridians and parallels of cubic vector fields on $\mathbb{T}^2$ are periodic orbits or limit cycles. We study `Pseudo Type-$n$' vector fields on $\mathbb{T}^2$ and show that any such vector field is completely integrable. We discuss invariant meridians and parallels of Pseudo Type-$n$ vector fields also. We prove that Lie bracket of any two quadratic vector field on $\mathbb{T}^2$ is completely integrable. Moreover, Lie bracket of two Pseudo Type-2 vector fields on $\mathbb{T}^2$ can have at most two invariant meridians.


title: The ODE Method for Stochastic Approximation and Reinforcement Learning with Markovian Noise

abstract: Stochastic approximation is a class of algorithms that update a vector iteratively, incrementally, and stochastically, including, e.g., stochastic gradient descent and temporal difference learning. One fundamental challenge in analyzing a stochastic approximation algorithm is to establish its stability, i.e., to show that the stochastic vector iterates are bounded almost surely. In this paper, we extend the celebrated Borkar-Meyn theorem for stability from the Martingale difference noise setting to the Markovian noise setting, which greatly improves its applicability in reinforcement learning, especially in those off-policy reinforcement learning algorithms with linear function approximation and eligibility traces. Central to our analysis is the diminishing asymptotic rate of change of a few functions, which is implied by both a form of strong law of large numbers and a commonly used V4 Lyapunov drift condition and trivially holds if the Markov chain is finite and irreducible.


title: Searches for invisible new particles at Belle II

abstract: Belle~II has unique sensitivity for a broad class of models postulating the existence of dark matter particles with masses in the MeV--GeV range. We present recent world-leading results from Belle~II searches for several non-SM particles. These include production of $Z'$ bosons, axion-like particles, and dark scalars in association with two muons in $e^+e^-$ collisions; long-lived (pseudo)scalars produced in decays of \textit{B}-mesons; and invisible particles produced in decays of $\tau$ leptons.


title: Circular light orbits of a general, static, and spherical symmetrical wormhole with $Z_2$ symmetry

abstract: A general asymptotically-flat, static, and spherical symmetrical wormhole without a thin shell has at least one unstable circular light orbit at a radius. If the wormhole has $Z_2$ symmetry against the throat, the stable or unstable circular light orbit must be on the throat but this fact is often overlooked. In this study, we categorize the numbers of the circular light orbits of the $Z_2$-symmetrical wormhole and their stability from the derivatives of an effective potential at the throat and we investigate the circular light orbits around a Simpson-Visser black-bounce spacetime, a DamourSolodukhin wormhole spacetime, a Reissner-Nordstr\"{o}m black-hole-like wormhole spacetime or a charged Damour-Solodukhin wormhole spacetime as examples. We give complete treaments including degenerated circular light orbits made from more than one stable and unstable circular light orbits on and off the throat.


title: Milestones in Bengali Sentiment Analysis leveraging Transformer-models: Fundamentals, Challenges and Future Directions

abstract: Sentiment Analysis (SA) refers to the task of associating a view polarity (usually, positive, negative, or neutral; or even fine-grained such as slightly angry, sad, etc.) to a given text, essentially breaking it down to a supervised (since we have the view labels apriori) classification task. Although heavily studied in resource-rich languages such as English thus pushing the SOTA by leaps and bounds, owing to the arrival of the Transformer architecture, the same cannot be said for resource-poor languages such as Bengali (BN). For a language spoken by roughly 300 million people, the technology enabling them to run trials on their favored tongue is severely lacking. In this paper, we analyze the SOTA for SA in Bengali, particularly, Transformer-based models. We discuss available datasets, their drawbacks, the nuances associated with Bengali i.e. what makes this a challenging language to apply SA on, and finally provide insights for future direction to mitigate the limitations in the field.


title: Torsion from Twisted Spectral Triples

abstract: We show how an orthogonal and geodesic preserving torsion is generated by a twisted fluctuation of the Dirac operator on a 4-dimensional closed Riemannian spin manifold. The group of unitaries (with respect to the inner product induced by the twist) turns out to have a double importance: it generates the torsion, and implements Lorentz symmetry, as illustrated in the fermionic action. We also investigate the spectral action related to this model.


title: Comparison of Frequency-Fusion Mechanisms for Binaural Direction-of-Arrival Estimation for Multiple Speakers

abstract: To estimate the direction of arrival (DOA) of multiple speakers with methods that use prototype transfer functions, frequency-dependent spatial spectra (SPS) are usually constructed. To make the DOA estimation robust, SPS from different frequencies can be combined. According to how the SPS are combined, frequency fusion mechanisms are categorized into narrowband, broadband, or speaker-grouped, where the latter mechanism requires a speaker-wise grouping of frequencies. For a binaural hearing aid setup, in this paper we propose an interaural time difference (ITD)-based speaker-grouped frequency fusion mechanism. By exploiting the DOA dependence of ITDs, frequencies can be grouped according to a common ITD and be used for DOA estimation of the respective speaker. We apply the proposed ITD-based speaker-grouped frequency fusion mechanism for different DOA estimation methods, namely the multiple signal classification, steered response power and a recently published method based on relative transfer function (RTF) vectors. In our experiments, we compare DOA estimation with different fusion mechanisms. For all considered DOA estimation methods, the proposed ITD-based speaker-grouped frequency fusion mechanism results in a higher DOA estimation accuracy compared with the narrowband and broadband fusion mechanisms.


title: Viennot shadows and graded module structure in colored permutation groups

abstract: Let $\mathbf{x}_{n \times n}$ be a matrix of $n \times n$ variables, and let $\mathbb{C}[\mathbf{x}_{n \times n}]$ be the polynomial ring on these variables. Let $\mathfrak{S}_{n,r}$ be the group of colored permutations, consisting of $n \times n$ complex matrices with exactly one nonzero entry in each row and column, and each nonzero entry is a $r$-th root of unity. We associate an ideal $I_{\mathfrak{S}_{n,r}} \subseteq \mathbb{C}[\mathbf{x}_{n \times n}]$ with the group $\mathfrak{S}_{n,r}$, and use orbit harmonics to give an ideal-theoretic extension of the Viennot shadow line construction to $\mathfrak{S}_{n,r}$. This extension gives a standard monomial basis of $\mathbb{C}[\mathbf{x}_{n \times n}]/I_{\mathfrak{S}_{n,r}}$, and gives an analogous definition of "longest increasing subsequence" to the group $\mathfrak{S}_{n,r}$. We examine the extension of Chen's conjecture to this analogy. We also study the structure of $\mathbb{C}[\mathbf{x}_{n \times n}]/I_{\mathfrak{S}_{n,r}}$ as a graded $\mathfrak{S}_{n,r} \times \mathfrak{S}_{n,r}$ module, which then induces a graded $\mathfrak{S}_{n,r} \times \mathfrak{S}_{n,r}$ module structure on the $\mathbb{C}$-algebra $\mathbb{C}[\mathfrak{S}_{n,r}]$.


title: Unlocking Efficiency in Large Language Model Inference: A Comprehensive Survey of Speculative Decoding

abstract: To mitigate the high inference latency stemming from autoregressive decoding in Large Language Models (LLMs), Speculative Decoding has emerged as a novel decoding paradigm for LLM inference. In each decoding step, this method first drafts several future tokens efficiently and then verifies them in parallel. Unlike autoregressive decoding, Speculative Decoding facilitates the simultaneous decoding of multiple tokens per step, thereby accelerating inference. This paper presents a comprehensive overview and analysis of this promising decoding paradigm. We begin by providing a formal definition and formulation of Speculative Decoding. Then, we organize in-depth discussions on its key facets, such as drafter selection and verification strategies. Furthermore, we present a comparative analysis of leading methods under third-party testing environments. We aim for this work to serve as a catalyst for further research on Speculative Decoding, ultimately contributing to more efficient LLM inference.


title: On spectral outliers of inhomogeneous symmetric random matrices

abstract: Sharp conditions for the presence of spectral outliers are well understood for Wigner random matrices with iid entries. In the setting of inhomogeneous symmetric random matrices (i.e., matrices with a non-trivial variance profile), the corresponding problem has been considered only recently. Of special interest is the setting of sparse inhomogeneous matrices since sparsity is both a key feature and a technical obstacle in various aspects of random matrix theory. For such matrices, the largest of the variances of the entries has been used in the literature as a natural proxy for sparsity. We contribute sharp conditions in terms of this parameter for an inhomogeneous symmetric matrix with sub-Gaussian entries to have outliers. Our result implies a ``structural'' universality principle: the presence of outliers is only determined by the level of sparsity, rather than the detailed structure of the variance profile.


title: VeCAF: Vision-language Collaborative Active Finetuning with Training Objective Awareness

abstract: Finetuning a pretrained vision model (PVM) is a common technique for learning downstream vision tasks. However, the conventional finetuning process with randomly sampled data points results in diminished training efficiency. To address this drawback, we propose a novel approach, Vision-language Collaborative Active Finetuning (VeCAF). With the emerging availability of labels and natural language annotations of images through web-scale crawling or controlled generation, VeCAF makes use of these information to perform parametric data selection for PVM finetuning. VeCAF incorporates the finetuning objective to select significant data points that effectively guide the PVM towards faster convergence to meet the performance goal. This process is assisted by the inherent semantic richness of the text embedding space which we use to augment image features. Furthermore, the flexibility of text-domain augmentation allows VeCAF to handle out-of-distribution scenarios without external data. Extensive experiments show the leading performance and high computational efficiency of VeCAF that is superior to baselines in both in-distribution and out-of-distribution image classification tasks. On ImageNet, VeCAF uses up to 3.3x less training batches to reach the target performance compared to full finetuning, and achieves an accuracy improvement of 2.7% over the state-of-the-art active finetuning method with the same number of batches.


title: $M^{2}$Fusion: Bayesian-based Multimodal Multi-level Fusion on Colorectal Cancer Microsatellite Instability Prediction

abstract: Colorectal cancer (CRC) micro-satellite instability (MSI) prediction on histopathology images is a challenging weakly supervised learning task that involves multi-instance learning on gigapixel images. To date, radiology images have proven to have CRC MSI information and efficient patient imaging techniques. Different data modalities integration offers the opportunity to increase the accuracy and robustness of MSI prediction. Despite the progress in representation learning from the whole slide images (WSI) and exploring the potential of making use of radiology data, CRC MSI prediction remains a challenge to fuse the information from multiple data modalities (e.g., pathology WSI and radiology CT image). In this paper, we propose $M^{2}$Fusion: a Bayesian-based multimodal multi-level fusion pipeline for CRC MSI. The proposed fusion model $M^{2}$Fusion is capable of discovering more novel patterns within and across modalities that are beneficial for predicting MSI than using a single modality alone, as well as other fusion methods. The contribution of the paper is three-fold: (1) $M^{2}$Fusion is the first pipeline of multi-level fusion on pathology WSI and 3D radiology CT image for MSI prediction; (2) CT images are the first time integrated into multimodal fusion for CRC MSI prediction; (3) feature-level fusion strategy is evaluated on both Transformer-based and CNN-based method. Our approach is validated on cross-validation of 352 cases and outperforms either feature-level (0.8177 vs. 0.7908) or decision-level fusion strategy (0.8177 vs. 0.7289) on AUC score.


title: Deformable Tip Mount for Soft Growing Eversion Robots

abstract: Here we present a flexible tip mount for eversion (vine) robots. This soft cap allows attaching a payload to an eversion robot while allowing moving through narrow openings, as well as the eversion of protruding objects, and expanded surfaces.


title: Information hiding cameras: optical concealment of object information into ordinary images

abstract: Data protection methods like cryptography, despite being effective, inadvertently signal the presence of secret communication, thereby drawing undue attention. Here, we introduce an optical information hiding camera integrated with an electronic decoder, optimized jointly through deep learning. This information hiding-decoding system employs a diffractive optical processor as its front-end, which transforms and hides input images in the form of ordinary-looking patterns that deceive/mislead human observers. This information hiding transformation is valid for infinitely many combinations of secret messages, all of which are transformed into ordinary-looking output patterns, achieved all-optically through passive light-matter interactions within the optical processor. By processing these ordinary-looking output images, a jointly-trained electronic decoder neural network accurately reconstructs the original information hidden within the deceptive output pattern. We numerically demonstrated our approach by designing an information hiding diffractive camera along with a jointly-optimized convolutional decoder neural network. The efficacy of this system was demonstrated under various lighting conditions and noise levels, showing its robustness. We further extended this information hiding camera to multi-spectral operation, allowing the concealment and decoding of multiple images at different wavelengths, all performed simultaneously in a single feed-forward operation. The feasibility of our framework was also demonstrated experimentally using THz radiation. This optical encoder-electronic decoder-based co-design provides a novel information hiding camera interface that is both high-speed and energy-efficient, offering an intriguing solution for visual information security.


title: A simplification of the C-realizability criterion for the Nonnegative Inverse Eigenvalue Problem for integers

abstract: A multiset $\Lambda=\{\lambda_1,\ldots,\lambda_n\}$ of complex numbers is said to be realizable whenever there exists a nonnegative matrix of order $n$ with spectrum $\Lambda$. One of the broadest criterion that guarantees realizability is the $C-$realizability. It says that $\Lambda$, with real numbers, is $C-$realizable if it can be obtained starting from $n$ basic multisets $\{0\},\ldots,\{0\}$ by successively applying any finite number of times any of the following rules: (a) join two of the multisets; (b) increase by $\epsilon>0$ the Perron root of one of the multisets; (c) increase by $\epsilon>0$ the Perron root of one of the multisets and simultaneously increase or decrease by $\epsilon$ any other value of the same multiset.


title: Optimal Analysis of Method with Batching for Monotone Stochastic Finite-Sum Variational Inequalities

abstract: Variational inequalities are a universal optimization paradigm that is interesting in itself, but also incorporates classical minimization and saddle point problems. Modern realities encourage to consider stochastic formulations of optimization problems. In this paper, we present an analysis of a method that gives optimal convergence estimates for monotone stochastic finite-sum variational inequalities. In contrast to the previous works, our method supports batching and does not lose the oracle complexity optimality. The effectiveness of the algorithm, especially in the case of small but not single batches is confirmed experimentally.


title: Acoustic manipulation of multi-body structures and dynamics

abstract: Sound can exert forces on objects of any material and shape. This has made the contactless manipulation of objects by intense ultrasound a fascinating area of research with wide-ranging applications. While much is understood for acoustic forcing of individual objects, sound-mediated interactions among multiple objects at close range gives rise to a rich set of structures and dynamics that are less explored and have been emerging as a frontier for research. We introduce the basic mechanisms giving rise to sound-mediated interactions among rigid as well as deformable particles, focusing on the regime where the particles' size and spacing are much smaller than the sound wavelength. The interplay of secondary acoustic scattering, Bjerknes forces, and micro-streaming is discussed and the role of particle shape is highlighted. Furthermore, we present recent advances in characterizing non-conservative and non-pairwise additive contributions to the particle interactions, along with instabilities and active fluctuations. These excitations emerge at sufficiently strong sound energy density and can act as an effective temperature in otherwise athermal systems.


abstract: We consider a special class of Galton-Watson theta-processes in a varying environment fully defined by four parameters, with two of them $(\theta,r)$ being fixed over time $n$, and the other two $(a_n,c_n)$ characterizing the altering reproduction laws. We establish a sequence of transparent limit theorems for the theta-processes with possibly defective reproduction laws. These results may serve as a stepping stone towards incisive general results for the Galton-Watson processes in a varying environment.


title: PATSMA: Parameter Auto-tuning for Shared Memory Algorithms

abstract: Programs with high levels of complexity often face challenges in adjusting execution parameters, particularly when these parameters vary based on the execution context. These dynamic parameters significantly impact the program's performance, such as loop granularity, which can vary depending on factors like the execution environment, program input, or the choice of compiler. Given the expensive nature of testing each case individually, one viable solution is to automate parameter adjustments using optimization methods. This article introduces PATSMA, a parameter auto-tuning tool that leverages Coupled Simulated Annealing (CSA) and Nelder-Mead (NM) optimization methods to fine-tune existing parameters in an application. We demonstrate how auto-tuning can contribute to the real-time optimization of parallel algorithms designed for shared memory systems. PATSMA is a C++ library readily available under the MIT license.


title: Adaptive Neural-Operator Backstepping Control of a Benchmark Hyperbolic PDE

abstract: To stabilize PDEs, feedback controllers require gain kernel functions, which are themselves governed by PDEs. Furthermore, these gain-kernel PDEs depend on the PDE plants' functional coefficients. The functional coefficients in PDE plants are often unknown. This requires an adaptive approach to PDE control, i.e., an estimation of the plant coefficients conducted concurrently with control, where a separate PDE for the gain kernel must be solved at each timestep upon the update in the plant coefficient function estimate. Solving a PDE at each timestep is computationally expensive and a barrier to the implementation of real-time adaptive control of PDEs. Recently, results in neural operator (NO) approximations of functional mappings have been introduced into PDE control, for replacing the computation of the gain kernel with a neural network that is trained, once offline, and reused in real-time for rapid solution of the PDEs. In this paper, we present the first result on applying NOs in adaptive PDE control, presented for a benchmark 1-D hyperbolic PDE with recirculation. We establish global stabilization via Lyapunov analysis, in the plant and parameter error states, and also present an alternative approach, via passive identifiers, which avoids the strong assumptions on kernel differentiability. We then present numerical simulations demonstrating stability and observe speedups up to three orders of magnitude, highlighting the real-time efficacy of neural operators in adaptive control. Our code (Github) is made publicly available for future researchers.

categories: eess.SY cs.AI cs.LG cs.SY math.DS math.OC


title: The Relation Between AGN and Host Galaxy Properties: I. Obscured AGN reside in disturbed hosts at 0<z<4

abstract: The morphology of a galaxy is a manifestation of the complex interplay of physical processes occurring within and around it, and therefore offers indirect clues to its formation and evolution. We use both visual classification and computer vision to verify the suspected connection between galaxy merging activity - as evidenced by a close/merging galaxy pair, or tidal features surrounding an apparently singular system - and AGN activity. This study makes use of JADES JWST/NIRCam imagery, along with an unprecedentedly complete sample of AGN built using JWST/MIRI photometry in the same field. This 0.9-25 micron dataset enables constraints on the host galaxy morphologies of the broadest possible range of AGN beyond z~1, including heavily obscured examples missing from previous studies. We consider two AGN samples, one consisting of lightly to highly obscured X-ray-selected AGN (Lyu et al. 2022), and the other, presumed Compton-thick mid-infrared-bright/X-ray-faint AGN recently revealed by MIRI (Lyu et al. 2023). Both samples contain a significant fraction of host galaxies with disturbed morphologies at all redshifts sampled, and increasingly so towards higher redshift and AGN bolometric luminosity. The most obscured systems show the highest fraction of strongly disturbed host galaxies at $95\pm4$%, followed by the moderately and unobscured/lightly obscured subsets at $78\pm6$% and $63\pm6.5$%, respectively. From this pattern of disturbances, we conclude that mergers are common amongst obscured AGN, and that the obscured AGN phase may mark a period of significant SMBH growth. This finding presents tension with the leading model on AGN fueling mechanisms (Hopkins et al. 2014) that needs reconciling.


title: New Harmonic Coils for Enhanced Beam Extraction at the U-120M Cyclotron

abstract: Since its commissioning in 1977, the U-120M cyclotron has been equipped with one pair of harmonic coils dedicated to establishing optimal beam quality at low accelerating radii. In 2022, the cyclotron was upgraded and a second pair of harmonic coils was added. The new harmonic coils are positioned at a radius of approximately 50\,cm corresponding to the outermost beam orbit, where they were installed to ensure efficient extraction of positively accelerated ions from the cyclotron in the newly developed extraction system. This article describes in detail the design of the new harmonic coils, their installation in the accelerator vacuum chamber, and their use in the extraction process. Furthermore, the design of a new extraction system using the precession and linear integer resonance extraction methods is presented and a comparison of the basic properties of these two methods is given. Finally, an evaluation of their advantages and limitations concerning their possible use in the cyclotron and an estimation of the efficiency of the new extraction system is made.


title: BOATS: Bayesian Optimization for Active Control of ThermoacousticS

abstract: This investigation presents novel adaptive control algorithms specifically designed to address and mitigate thermoacoustic instabilities. Two control strategies are available to alleviate this issue: active and passive. Active control strategies have a wider flexibility than passive control strategies because they can adapt to the operating conditions of the gas turbine. However, optimizing the control parameters remains a challenge, especially if additional constraints have to be fulfilled, such as e.g. pollutant emission levels. To address this issue, we propose three adaptive control strategies based on Bayesian optimization. The first and foundational algorithm is the safeOpt algorithm, and the two adaptations that have been made are stageOpt and shrinkAlgo. The Gaussian Process Regressor (GPR) is employed to approximate both the objective and constraint functions, with continuous updates occurring during iterations. The algorithms also enable the transfer of knowledge obtained from one operating point to another, thereby reducing the number of iterations needed to reach the optimal point. We demonstrate the effectiveness of the algorithms both numerically and through two distinct experimental validations. In the numerical demonstration, we employ a low-order thermoacoustic network model to simulate a single-stage combustor setup equipped with loudspeaker actuation and a gain-delay ($n-\tau$) controller for active stabilization. The first experimental demonstration has the same structure as the numerical case. For the second experimental validation, we apply the framework to a sequential combustor configuration utilizing nanosecond repetitively pulsed discharges (NRPD) as the control actuator. This demonstrates the framework's adaptability to various control actuation methods in turbulent combustors where control parameter optimization is required.


title: Weak cosmic censorship with excited scalar fields and bound on charge-to-mass ratio

abstract: Recent study in [1] discovered that introducing a massive charged scalar field and requiring the Weak Gravity Conjecture (WGC) to hold can eliminate a class of Weak Cosmic Censorship Conjecture (WCCC) counterexamples in anti-de Sitter spacetime, indicating a potential connection between WCCC and WGC. In this paper, we extend the study to the case of excited-state scalar fields, and numerically construct the static solutions of excited massive charged scalar fields coupled to the Einstein-Maxwell field in four dimensional spacetime with asymptotically anti-de Sitter boundary conditions. In the absence of scalar field, there is a class of counterexamples to cosmic censorship. However, after adding the scalar field with sufficiently large charge, the original counterexamples can be removed and cosmic censorship is preserved. We find this conclusion also applies to the excited-state of scalar field. There is a minimum value $q_c^{bound}$. When the charge of the excited scalar field is larger than this minimum value, for sufficiently large boundary electric amplitude $a$, there will not appear a region with arbitrarily large curvature. That means there exists lower bound on the charge for excited state fields which protects cosmic censorship from being violated.


title: Authorship Obfuscation in Multilingual Machine-Generated Text Detection

abstract: High-quality text generation capability of recent Large Language Models (LLMs) causes concerns about their misuse (e.g., in massive generation/spread of disinformation). Machine-generated text (MGT) detection is important to cope with such threats. However, it is susceptible to authorship obfuscation (AO) methods, such as paraphrasing, which can cause MGTs to evade detection. So far, this was evaluated only in monolingual settings. Thus, the susceptibility of recently proposed multilingual detectors is still unknown. We fill this gap by comprehensively benchmarking the performance of 10 well-known AO methods, attacking 37 MGT detection methods against MGTs in 11 languages (i.e., 10 $\times$ 37 $\times$ 11 = 4,070 combinations). We also evaluate the effect of data augmentation on adversarial robustness using obfuscated texts. The results indicate that all tested AO methods can cause evasion of automated detection in all tested languages, where homoglyph attacks are especially successful. However, some of the AO methods severely damaged the text, making it no longer readable or easily recognizable by humans (e.g., changed language, weird characters).


title: Consolidating Trees of Robotic Plans Generated Using Large Language Models to Improve Reliability

abstract: The inherent probabilistic nature of Large Language Models (LLMs) introduces an element of unpredictability, raising concerns about potential discrepancies in their output. This paper introduces an innovative approach aims to generate correct and optimal robotic task plans for diverse real-world demands and scenarios. LLMs have been used to generate task plans, but they are unreliable and may contain wrong, questionable, or high-cost steps. The proposed approach uses LLM to generate a number of task plans as trees and amalgamates them into a graph by removing questionable paths. Then an optimal task tree can be retrieved to circumvent questionable and high-cost nodes, thereby improving planning accuracy and execution efficiency. The approach is further improved by incorporating a large knowledge network. Leveraging GPT-4 further, the high-level task plan is converted into a low-level Planning Domain Definition Language (PDDL) plan executable by a robot. Evaluation results highlight the superior accuracy and efficiency of our approach compared to previous methodologies in the field of task planning.


title: Evolutionary dynamics of organised crime and terrorist networks

abstract: Crime is pervasive into modern societies, although with different levels of diffusion across regions. Its dynamics are dependent on various socio-economic factors that make the overall picture particularly complex. While several theories have been proposed to account for the establishment of criminal behaviour, from a modelling perspective organised crime and terrorist networks received much less attention. In particular, the dynamics of recruitment into such organisations deserve specific considerations, as recruitment is the mechanism that makes crime and terror proliferate. We propose a framework able to model such processes in both organised crime and terrorist networks from an evolutionary game theoretical perspective. By means of a stylised model, we are able to study a variety of different circumstances and factors influencing the growth or decline of criminal organisations and terrorist networks, and observe the convoluted interplay between agents that decide to get associated to illicit groups, criminals that prefer to act on their own, and the rest of the civil society.


title: JumpCoder: Go Beyond Autoregressive Coder via Online Modification

abstract: While existing code large language models (code LLMs) exhibit impressive capabilities in code generation, their autoregressive sequential generation inherently lacks reversibility. This limitation hinders them from timely correcting previous missing statements during coding as humans do, often leading to error propagation and suboptimal performance. We introduce JumpCoder, a novel model-agnostic framework that enables human-like online modification and non-sequential generation to augment code LLMs. The key idea behind JumpCoder is to insert new code into the currently generated code when necessary during generation, which is achieved through an auxiliary infilling model that works in tandem with the code LLM. Since identifying the best infill position beforehand is intractable, we adopt an \textit{infill-first, judge-later} strategy, which experiments with filling at the $k$ most critical positions following the generation of each line, and uses an Abstract Syntax Tree (AST) parser alongside the Generation Model Scoring to effectively judge the validity of each potential infill. Extensive experiments using six state-of-the-art code LLMs across multiple and multilingual benchmarks consistently indicate significant improvements over all baselines. Our code is public at https://github.com/Keytoyze/JumpCoder.


title: Explainable Predictive Maintenance: A Survey of Current Methods, Challenges and Opportunities

abstract: Predictive maintenance is a well studied collection of techniques that aims to prolong the life of a mechanical system by using artificial intelligence and machine learning to predict the optimal time to perform maintenance. The methods allow maintainers of systems and hardware to reduce financial and time costs of upkeep. As these methods are adopted for more serious and potentially life-threatening applications, the human operators need trust the predictive system. This attracts the field of Explainable AI (XAI) to introduce explainability and interpretability into the predictive system. XAI brings methods to the field of predictive maintenance that can amplify trust in the users while maintaining well-performing systems. This survey on explainable predictive maintenance (XPM) discusses and presents the current methods of XAI as applied to predictive maintenance while following the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) 2020 guidelines. We categorize the different XPM methods into groups that follow the XAI literature. Additionally, we include current challenges and a discussion on future research directions in XPM.


title: The What, Why, and How of Context Length Extension Techniques in Large Language Models -- A Detailed Survey

abstract: The advent of Large Language Models (LLMs) represents a notable breakthrough in Natural Language Processing (NLP), contributing to substantial progress in both text comprehension and generation. However, amidst these advancements, it is noteworthy that LLMs often face a limitation in terms of context length extrapolation. Understanding and extending the context length for LLMs is crucial in enhancing their performance across various NLP applications. In this survey paper, we delve into the multifaceted aspects of exploring why it is essential, and the potential transformations that superior techniques could bring to NLP applications. We study the inherent challenges associated with extending context length and present an organized overview of the existing strategies employed by researchers. Additionally, we discuss the intricacies of evaluating context extension techniques and highlight the open challenges that researchers face in this domain. Furthermore, we explore whether there is a consensus within the research community regarding evaluation standards and identify areas where further agreement is needed. This comprehensive survey aims to serve as a valuable resource for researchers, guiding them through the nuances of context length extension techniques and fostering discussions on future advancements in this evolving field.


title: Inequality leads to the evolution of intolerance in reputation-based populations

abstract: This work studies the impact of economic inequality on the evolution of intolerance through a reputation-based model of indirect reciprocity. Results show that economic inequality is a powerful enhancer of intolerance, inducing the escalation of out-group discrimination even without the presence of new intolerant mutants. It also generates behavior modifications within tolerant disfavored minorities: their members either relax punishments against the uncooperative or prioritize helping the wealthy, even suffering discrimination in return. On the other hand, the redistribution of wealth is proved as a viable solution to avoid the spread of intolerance as long as it increases equality and is implemented before intolerance permeates part of the population.


title: Do stable neural networks exist for classification problems? -- A new view on stability in AI

abstract: In deep learning (DL) the instability phenomenon is widespread and well documented, most commonly using the classical measure of stability, the Lipschitz constant. While a small Lipchitz constant is traditionally viewed as guarantying stability, it does not capture the instability phenomenon in DL for classification well. The reason is that a classification function -- which is the target function to be approximated -- is necessarily discontinuous, thus having an 'infinite' Lipchitz constant. As a result, the classical approach will deem every classification function unstable, yet basic classification functions a la 'is there a cat in the image?' will typically be locally very 'flat' -- and thus locally stable -- except at the decision boundary. The lack of an appropriate measure of stability hinders a rigorous theory for stability in DL, and consequently, there are no proper approximation theoretic results that can guarantee the existence of stable networks for classification functions. In this paper we introduce a novel stability measure $\mathscr{S}(f)$, for any classification function $f$, appropriate to study the stability of discontinuous functions and their approximations. We further prove two approximation theorems: First, for any $\epsilon > 0$ and any classification function $f$ on a \emph{compact set}, there is a neural network (NN) $\psi$, such that $\psi - f \neq 0$ only on a set of measure $< \epsilon$, moreover, $\mathscr{S}(\psi) \geq \mathscr{S}(f) - \epsilon$ (as accurate and stable as $f$ up to $\epsilon$). Second, for any classification function $f$ and $\epsilon > 0$, there exists a NN $\psi$ such that $\psi = f$ on the set of points that are at least $\epsilon$ away from the decision boundary.


title: Safely and Autonomously Cutting Meat with a Collaborative Robot Arm

abstract: Labor shortages in the United States are impacting a number of industries including the meat processing sector. Collaborative technologies that work alongside humans while increasing production abilities may support the industry by enhancing automation and improving job quality. However, existing automation technologies used in the meat industry have limited collaboration potential, low flexibility, and high cost. The objective of this work was to explore the use of a robot arm to collaboratively work alongside a human and complete tasks performed in a meat processing facility. Toward this objective, we demonstrated proof-of-concept approaches to ensure human safety while exploring the capacity of the robot arm to perform example meat processing tasks. In support of human safety, we developed a knife instrumentation system to detect when the cutting implement comes into contact with meat within the collaborative space. To demonstrate the capability of the system to flexibly conduct a variety of basic meat processing tasks, we developed vision and control protocols to execute slicing, trimming, and cubing of pork loins. We also collected a subjective evaluation of the actions from experts within the U.S. meat processing industry. On average the experts rated the robot's performance as adequate. Moreover, the experts generally preferred the cuts performed in collaboration with a human worker to cuts completed autonomously, highlighting the benefits of robotic technologies that assist human workers rather than replace them. Video demonstrations of our proposed framework can be found here: https://youtu.be/56mdHjjYMVc


title: Characterization of the asymptotic behavior of $U$-statistics on row-column exchangeable matrices

abstract: We consider $U$-statistics on row-column exchangeable matrices. We derive a decomposition for them, based on orthogonal projections on probability spaces generated by sets of Aldous-Hoover-Kallenberg variables. The specificity of these sets is that they are indexed by bipartite graphs, which allows for the use of concepts from graph theory to describe this decomposition. The decomposition is used to investigate the asymptotic behavior of $U$-statistics of row-column exchangeable matrices, including in degenerate cases. In particular, it depends only on a few terms of the decomposition, corresponding to the non-zero elements that are indexed by the smallest graphs, named principal support graphs, after an analogous concept suggested by Janson and Nowicki (1991). Hence, we show that the asymptotic behavior of a $U$-statistic and its degeneracy are characterized by the properties of its principal support graphs. Indeed, their number of nodes gives the convergence rate of a $U$-statistic to its limit distribution. Specifically, the latter is degenerate if and only if this number is strictly greater than 1. Finally, when the principal support graphs are connected, we find that the limit distribution is Gaussian, even in degenerate cases.


title: EMBRE: Entity-aware Masking for Biomedical Relation Extraction

abstract: Information extraction techniques, including named entity recognition (NER) and relation extraction (RE), are crucial in many domains to support making sense of vast amounts of unstructured text data by identifying and connecting relevant information. Such techniques can assist researchers in extracting valuable insights. In this paper, we introduce the Entity-aware Masking for Biomedical Relation Extraction (EMBRE) method for biomedical relation extraction, as applied in the context of the BioRED challenge Task 1, in which human-annotated entities are provided as input. Specifically, we integrate entity knowledge into a deep neural network by pretraining the backbone model with an entity masking objective. We randomly mask named entities for each instance and let the model identify the masked entity along with its type. In this way, the model is capable of learning more specific knowledge and more robust representations. Then, we utilize the pre-trained model as our backbone to encode language representations and feed these representations into two multilayer perceptron (MLPs) to predict the logits for relation and novelty, respectively. The experimental results demonstrate that our proposed method can improve the performances of entity pair, relation and novelty extraction over our baseline.


title: A-B transition in superfluid $^3$He and cosmological phase transitions

abstract: First order phase transitions in the very early universe are a prediction of many extensions of the Standard Model of particle physics and could provide the departure from equilibrium needed for a dynamical explanation of the baryon asymmetry of the Universe. They could also produce gravitational waves of a frequency observable by future space-based detectors such as the Laser Interferometer Space Antenna (LISA). All calculations of the gravitational wave power spectrum rely on a relativistic version of the classical nucleation theory of Cahn-Hilliard and Langer, due to Coleman and Linde. The high purity and precise control of pressure and temperature achievable in the laboratory made the first-order A to B transition of superfluid $^3$He an ideal for test of classical nucleation theory. As Leggett and others have noted the theory fails dramatically. The lifetime of the metastable A phase is measurable, typically of order minutes to hours, far faster than classical nucleation theory predicts. If the nucleation of B phase from the supercooled A phase is due to a new, rapid intrinsic mechanism that would have implications for first-order cosmological phase transitions as well as predictions for gravitational wave (GW) production in the early universe. Here we discuss studies of the AB phase transition dynamics in $^3$He, both experimental and theoretical, and show how the computational technology for cosmological phase transition can be used to simulate the dynamics of the A-B transition, support the experimental investigations of the A-B transition in the QUEST-DMC collaboration with the goal of identifying and quantifying the mechanism(s) responsible for nucleation of stable phases in ultra-pure metastable quantum phases.