title: On the behavior of adjoint ideals under pure morphisms

abstract: We characterize adjoint ideal sheaves via ultraproducts and, utilizing this characterization, study their behavior under pure morphisms. In particular, given a pure morphism $f:Y \to X$ between normal quasi-projective complex varieties, a reduced divisor $D$ and an effective $\mathbb{Q}$-Weil divisor $\Gamma$ on $X$ without common components, we have the following result: if the cycle-theoretic pullback $E:=f^{\natural}D$ is reduced and $(Y, E+f^*\Gamma)$ is of plt type along $E$, then $(X, D+\Gamma)$ is of plt type along $D$. This provides an affirmative answer to a question posed by Z. Zhuang.


title: Distance Guided Generative Adversarial Network for Explainable Binary Classifications

abstract: Despite the potential benefits of data augmentation for mitigating the data insufficiency, traditional augmentation methods primarily rely on the prior intra-domain knowledge. On the other hand, advanced generative adversarial networks (GANs) generate inter-domain samples with limited variety. These previous methods make limited contributions to describing the decision boundaries for binary classification. In this paper, we propose a distance guided GAN (DisGAN) which controls the variation degrees of generated samples in the hyperplane space. Specifically, we instantiate the idea of DisGAN by combining two ways. The first way is vertical distance GAN (VerDisGAN) where the inter-domain generation is conditioned on the vertical distances. The second way is horizontal distance GAN (HorDisGAN) where the intra-domain generation is conditioned on the horizontal distances. Furthermore, VerDisGAN can produce the class-specific regions by mapping the source images to the hyperplane. Experimental results show that DisGAN consistently outperforms the GAN-based augmentation methods with explainable binary classification. The proposed method can apply to different classification architectures and has potential to extend to multi-class classification.


title: Competitive Search in the Line and the Star with Predictions

abstract: We study the classic problem of searching for a hidden target in the line and the $m$-ray star, in a setting in which the searcher has some prediction on the hider's position. We first focus on the main metric for comparing search strategies under predictions; namely, we give positive and negative results on the consistency-robustness tradeoff, where the performance of the strategy is evaluated at extreme situations in which the prediction is either error-free, or adversarially generated, respectively. For the line, we show tight bounds concerning this tradeoff, under the untrusted advice model, in which the prediction is in the form of a $k$-bit string which encodes the responses to $k$ binary queries. For the star, we give tight, and near-tight tradeoffs in the positional and the directional models, in which the prediction is related to the position of the target within the star, and to the ray on which the target hides, respectively. Last, for all three prediction models, we show how to generalize our study to a setting in which the performance of the strategy is evaluated as a function of the searcher's desired tolerance to prediction errors, both in terms of positive and inapproximability results.


title: Co-evolution of replicators and their parasites

abstract: The problem of evolutionary complexification of life is considered one of the fundamental aspects in contemporary evolutionary theory. Parasitism is ubiquitous, inevitable, and arises as soon as the first replicators appear, even during the prebiotic stages of evolution. Both in theoretical approaches (computer modeling and analysis) and in real experiments (replication of biological macromolecules), parasitic processes emerge almost immediately. An effective way to avoid the elimination of the host-parasite system is through compartmentalization. In both theory and experiments, the pressure of parasitism leads to the complexification of the host-parasite system into a network of cooperative replicators and their parasites. Parasites have the ability to create niches for new replicators. The co-evolutionary arms race between defense systems and counter-defense mechanisms among parasites and hosts can progress for a considerable duration, involving multiple stages, if not indefinitely.


title: Quasi-Lie bialgebroids, Dirac structures and deformations of Poisson quasi-Nijenhuis manifolds

abstract: We show how to deform a Poisson quasi-Nijenhuis manifold by means of a closed 2-form. Then we interpret this procedure in the context of quasi-Lie bialgebroids, as a particular case of the so called twisting of a quasi-Lie bialgebroid. Finally, we frame our result in the setting of Courant algebroids and Dirac structures.


title: Generalized Approach for the Perturbative Dynamical Braneworld in $D$ dimensions

abstract: In this paper, we propose an approach to derive the brane cosmology in the $D$-dimensional braneworld model. We generalize the "bulk-based" approach by treating the 4-brane as a small perturbation to the $D$-dimensional spherically symmetric spacetime. The linear corrections from a static 4-brane to the metric are derived from the linearized perturbation equations, while the nonlinear corrections are found by a parameterization of the perturbed metric solution. We use a time-dependent generalization to give the nonlinearly perturbed metric solution for the dynamical braneworld model, and analyse the stability of the model under the motion of the 4-brane. Through the fine tuning, we can recover the Friedmann equations for the universe with and without an effective cosmological constant. More importantly, the de Sitter expansion of the universe can be reproduced.


title: Building Efficient Universal Classifiers with Natural Language Inference

abstract: Generative Large Language Models (LLMs) have become the mainstream choice for fewshot and zeroshot learning thanks to the universality of text generation. Many users, however, do not need the broad capabilities of generative LLMs when they only want to automate a classification task. Smaller BERT-like models can also learn universal tasks, which allow them to do any text classification task without requiring fine-tuning (zeroshot classification) or to learn new tasks with only a few examples (fewshot), while being significantly more efficient than generative LLMs. This paper (1) explains how Natural Language Inference (NLI) can be used as a universal classification task that follows similar principles as instruction fine-tuning of generative LLMs, (2) provides a step-by-step guide with reusable Jupyter notebooks for building a universal classifier, and (3) shares the resulting universal classifier that is trained on 33 datasets with 389 diverse classes. Parts of the code we share has been used to train our older zeroshot classifiers that have been downloaded more than 55 million times via the Hugging Face Hub as of December 2023. Our new classifier improves zeroshot performance by 9.4%.


title: Liquid-phase epitaxy of neutron star crusts and white dwarf cores

abstract: Near-equilibrium bottom-up crystallization of fully-ionized neutron star crusts or white dwarf cores is considered. We argue that this process is similar to liquid-phase epitaxial (i.e. preserving order of previous layers) crystal growth or crystal pulling from melt in Earth laboratories whereby lateral positions of newly crystallizing ions are anchored by already solidified layers. Their vertical positions are set by charge neutrality. Consequently, interplane spacing of a growing crystal either gradually increases, tracing $n_\mathrm{e}$ decrease, as the crystallization front moves away from the stellar center, or decreases, tracing decrease of $\langle Z \rangle$, when the crystallization front crosses a boundary between layers of different compositions. This results in a formation of stretched Coulomb crystals, in contrast to the standard assumption of cubic crystal formation, which is based on energetics arguments but does not take into account growth kinetics. Overstretched crystals break, which limits the vertical sizes of growing crystallites. We study breaking shear strain and effective shear modulus of stretched matter and discuss possibility of macrocrystallite formation. The latter has interesting astrophysical implications, for instance, appearance of weak crustal layers, whose strength may increase by a few orders of magnitude upon breaking and refreezing at a late-time event. We also analyze interaction of adjacent Coulomb crystals, having different ion compositions, and estimate the strength of such interfaces.

categories: astro-ph.SR astro-ph.HE physics.geo-ph physics.plasm-ph


title: Effect of Point Defects and Lattice Distortions on the Structural, Electronic, and Magnetic properties of Co$_2$MnAl Heusler alloy

abstract: The effects of various point defects and lattice distortions on the structural, electronic, and magnetic properties of Co$_2$MnAl alloy are investigated using density functional theory calculations. For the point defects, six types of binary antisites, three types of ternary antisites, and three kinds of vacancies have been simulated with different disorder degrees, up to a maximum of 12.50%. For the lattice distortions, cubic strain within -10% $\leq$$\Delta{V/V_0}$$\leq$ 10% (corresponding to 5.50\r{A} $\leq$ a $\leq$5.88\r{A}) and tetragonal distortions with 0.5$\leq$$\textit{c/a}$$\leq$1.5 at three different unit-cell volumes - $\textit{V}_0$ and ($\textit{V}_0$$\pm5$%$\textit{V}_0$) have been considered. The Co$_{Al}$ and Mn$_{Al}$ binary antisite disordered structures (namely, Co$_{2.0625}$MnAl$_{0.9375}$, Co$_{2.125}$MnAl$_{0.875}$, Co$_2$Mn$_{1.0625}$Al$_{0.9375}$ and Co$_2$Mn$_{1.125}$Al$_{0.875}$) and (Co$_{Al}$+Mn$_{Al}$) ternary antisite disordered structure (Co$_{2.0625}$Mn$_{1.0625}$Al$_{0.875}$) exhibit perfect half-metallicity. The rest of the antisite disorders have a marginal effect on the half-metallic properties of Co$_2$MnAl, along with high spin polarization ($\textit{P}$ $\geq$ 70%) and nearly same magnetization ($\textit{M$_s$}$) as that for ideal structure. Conversely, the vacancy defects significantly affect the electronic and magnetic properties. The cubic strained structures exhibit high $\textit{P}$ and constant $\textit{M$_s$}$. Under negative strain within -10% $\leq$$\Delta{V/V_0}$$\leq$ -7% (for 5.50\r{A} $\leq$ a $\leq$ 5.58\r{A}), the strained structures have perfect half-metallicity. On the other hand, tetragonal distortions lead to significant degradation in half-metallic behavior, except for small distortion values $\Delta{c/a}$, irrespective of their volume.


title: Quantum measure as a necessary ingredient in quantum gravity and modified gravities

abstract: We suggest commutation relations for a quantum measure. In one version of these relations, the right-hand side takes account of the presence of curvature of space; in the simplest case, this yields the action of general relativity. We consider the cases of the quantization of the measure on spaces of constant curvature and show that in this case the commutation relations for the quantum measure are analogues of commutation relations in loop quantum gravity. It is assumed that, in contrast to loop quantum gravity, a triangulation of space is a necessary trick for quantizing such a nonlocal quantity like a measure; in doing so, the space remains a smooth manifold. We consider the self-consistent problem of the interaction of the quantum measure and classical gravitation. It is shown that this inevitably leads to the appearance of modified gravities. Also, we consider the problem of defining the Euler-Lagrange equations for a matter field in the background of a space endowed with quantum measure.


title: Electron-doped magnetic Weyl semimetal LixCo3Sn2S2 by bulk-gating

abstract: Manipulating carrier density through gate effects, both in electrostatic charge storage and electrochemical intercalation mode, offers powerful control over material properties, although commonly restricted to ultra-thin films or van der Waals materials. Here we demonstrate the application of gate-driven carrier modulation in the microdevice of magnetic Weyl semimetal Co3Sn2S2, fabricated from a bulk single crystal via focused ion beam (FIB). We discovered a Li-intercalated phase LixCo3Sn2S2 featuring electron doping exceeding 5*1021 cm-3, resulting in the Fermi energy shift of 200 meV. The carrier density dependent anomalous Hall conductivity shows fair agreement with density functional theory (DFT) calculation, which also predicts intercalated Li+ ion stabilization within the anion layer while maintaining the kagome-lattice intact. This likely explains the observed rigid band behavior and constant Curie temperature, contrasting with magnetic site substitution experiments. Our findings suggest ionic gating on FIB devices broadens the scope of gate-tuning in quantum materials.


title: A new method to measure the unloaded quality factor of superconducting cavities

abstract: We describe an method that measures the unloaded quality factor $Q_0$, the external quality factor $Q_E$, and the cavity detuning $\Delta\omega$ with a recursive least-squares algorithm. It combines a large number of consecutive measurements to successively improve an estimate of fit parameters that asymptotically converges to the ``real'' values. Exploiting the large amount of data acquired by a digital low-level RF system permits us to reach this asymptotic regime in a moderate time frame of seconds to minutes. Simulations show that the method works both for critically coupled and over-coupled cavities. A new calibration method adresses very tight tolerances of the method on system parameters.


title: Limiting the Number of Extra Dimensions with Shortcuts

abstract: In higher-dimensional theories, a graviton propagating in the bulk can follow a shorter path, known as a shortcut, compared to a photon propagating in a four-dimensional spacetime. Thus by combining the observations of gravitational waves and their electromagnetic counterparts, one can gain insights into the structure and number of extra dimensions. In this paper, we construct a braneworld model that allows the existence of shortcuts in a $D(=4+d)$-dimensional spacetime. It has been proven that the equations for modeling brane cosmology recover the standard Friedmann equations for the late universe. We derive analytically the graviton and photon horizon radii on the brane under the low-energy limit. With the event GW170817/GRB 170817A, we find that the number of extra dimensions has an upper limit of $d\leq9$. Because of the errors in the source redshift and time delay, this upper limit can be shifted to $d\leq4$ and $d\leq12$. Although with the joint constraint on the $\text{AdS}_{D}^{~}$ radius from torsion balance measurements, theories with large $d$ are not yet ruled out, our work provides a new way to limit the number of extra dimensions.


title: Probing the dark matter velocity distribution via daily modulation

abstract: We consider dark matter velocity distributions with an anisotropic component, and analyze how the velocity structure can be probed in a solid state ionization detector with no directional detection capability using a daily modulation effect due to the anisotropic response function of the target. We show that with an energy resolution of < 10 eV it is possible to identify the presence of an anisotropic component consistent with observations for sub-GeV dark matter, and that introduction of daily modulation information substantially improves the sensitivity in a narrow mass range.


title: Z\'eros de caract\`eres

abstract: Let G be a compact real Lie group, and let f be an irreducible complex character of G, of degree > 1. We show that there exists an element g of G, of finite order, such that f(g)=0.


title: Exploring Deep Reinforcement Learning for Robust Target Tracking using Micro Aerial Vehicles

abstract: The capability to autonomously track a non-cooperative target is a key technological requirement for micro aerial vehicles. In this paper, we propose an output feedback control scheme based on deep reinforcement learning for controlling a micro aerial vehicle to persistently track a flying target while maintaining visual contact. The proposed method leverages relative position data for control, relaxing the assumption of having access to full state information which is typical of related approaches in literature. Moreover, we exploit classical robustness indicators in the learning process through domain randomization to increase the robustness of the learned policy. Experimental results validate the proposed approach for target tracking, demonstrating high performance and robustness with respect to mass mismatches and control delays. The resulting nonlinear controller significantly outperforms a standard model-based design in numerous off-nominal scenarios.


title: A Fully Automated Pipeline Using Swin Transformers for Deep Learning-Based Blood Segmentation on Head CT Scans After Aneurysmal Subarachnoid Hemorrhage

abstract: Background: Accurate volumetric assessment of spontaneous subarachnoid hemorrhage (SAH) is a labor-intensive task performed with current manual and semiautomatic methods that might be relevant for its clinical and prognostic implications. In the present research, we sought to develop and validate an artificial intelligence-driven, fully automated blood segmentation tool for SAH patients via noncontrast computed tomography (NCCT) scans employing a transformer-based Swin UNETR architecture. Methods: We retrospectively analyzed NCCT scans from patients with confirmed aneurysmal subarachnoid hemorrhage (aSAH) utilizing the Swin UNETR for segmentation. The performance of the proposed method was evaluated against manually segmented ground truth data using metrics such as Dice score, intersection over union (IoU), the volumetric similarity index (VSI), the symmetric average surface distance (SASD), and sensitivity and specificity. A validation cohort from an external institution was included to test the generalizability of the model. Results: The model demonstrated high accuracy with robust performance metrics across the internal and external validation cohorts. Notably, it achieved high Dice coefficient (0.873), IoU (0.810), VSI (0.840), sensitivity (0.821) and specificity (0.996) values and a low SASD (1.866), suggesting proficiency in segmenting blood in SAH patients. The model's efficiency was reflected in its processing speed, indicating potential for real-time applications. Conclusions: Our Swin UNETR-based model offers significant advances in the automated segmentation of blood after aSAH on NCCT images. Despite the computational intensity, the model operates effectively on standard hardware with a user-friendly interface, facilitating broader clinical adoption. Further validation across diverse datasets is warranted to confirm its clinical reliability.


title: Spin-glass states generated in van der Waals magnet Cr$_2$Ge$_2$Te$_6$ by alkali-ion intercalation

abstract: Tuning magnetic properties in layered van der Waals (vdW) materials has captured a significant attention due to the efficient control of ground-states by heterostructuring and external stimuli. Electron doping by electrostatic gating, interfacial charge transfer and intercalation is particularly effective in manipulating the exchange and spin-orbit properties, resulting in a control of Curie temperature ($T_{\text{C}}$) and magnetic anisotropy. Here, we discover an uncharted role of intercalation to generate magnetic frustration. As a model study, we intercalate Na atoms into the vdW gaps of pristine Cr$_2$Ge$_2$Te$_6$ (CGT) where generated magnetic frustration leads to emerging spin-glass states coexisting with a ferromagnetic order. A series of dynamic magnetic susceptibility measurements/analysis confirms the formation of magnetic clusters representing slow dynamics with a distribution of relaxation times. The intercalation also modifies other macroscopic physical parameters including the significant enhancement of $T_{\text{C}}$ from 66K\, to 240\,K and the switching of magnetic easy-hard axis direction. Our study identifies intercalation as a unique route to generate emerging frustrated spin states in simple vdW crystals.


title: Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security

abstract: In this paper we present an efficient approach to implementing model checking in the Higher Order Logic (HOL) of Isabelle. This is a non-trivial task since model checking is restricted to finite state sets. By restricting our scope to considering security attacks, we achieve an efficient executable specification of a model checking algorithm for attack trees. We provide the existing background, the necessary theory and illustrate its application. Theory and application are fully formalized in Isabelle thus providing an executable model checking algorithm.


title: An algorithm to construct one-vertex triangulations of Heegaard splittings

abstract: Following work of Jaco and Rubinstein (2006), which (non-constructively) proved that any 3-manifold admits a one-vertex layered triangulation, we present an algorithm, with implementation using Regina, that uses a combinatorial presentation of a Heegaard diagram to construct a generalised notion of a layered triangulation. We show that work of Husz\'ar and Spreer (2019) extends to our construction: given a genus-$g$ Heegaard splitting, our algorithm generates a triangulation with cutwidth bounded above by $4g-2$. Beyond Heegaard splittings, our construction actually extends to a natural generalisation of Dehn fillings: given a one-vertex triangulation with a genus-$g$ boundary component $B$, we can construct a one-vertex triangulation of any 3-manifold obtained by filling $B$ with a handlebody. To demonstrate the usefulness of our algorithm, we present findings from preliminary computer searches using this algorithm.


title: A study of form factors in relativistic mixed-flux AdS_3

abstract: We study the two-particle form-factors for the relativistic limit of the integrable S-matrix of the mixed-flux AdS_3 X S^3 X T^4 string theory. The S-matrix theory was formally constructed in two distinct ways by two different teams. We focus on the massive theory built up by Frolov, Polvara and Sfondrini, and derive expressions for the minimal solutions to the axioms, in both integral and manifestly meromorphic form, and then proceed to apply the off-shell Bethe ansatz method of Babujian et al. We obtain the integral formulas for the two-particle complete form-factors and check the axioms at this particle number.


title: Distributed convergence detection based on global residual error under asynchronous iterations

abstract: Convergence of classical parallel iterations is detected by performing a reduction operation at each iteration in order to compute a residual error relative to a potential solution vector. To efficiently run asynchronous iterations, blocking communication requests are avoided, which makes it hard to isolate and handle any global vector. While some termination protocols were proposed for asynchronous iterations, only very few of them are based on global residual computation and guarantee effective convergence. But the most effective and efficient existing solutions feature two reduction operations, which constitutes an important factor of termination delay. In this paper, we present new, non-intrusive, protocols to compute a residual error under asynchronous iterations, requiring only one reduction operation. Various communication models show that some heuristics can even be introduced and formally evaluated. Extensive experiments with up to 5600 processor cores confirm the practical effectiveness and efficiency of our approach.


title: Shadow of a collapsing star in a regular spacetime

abstract: We describe the dynamical formation of the shadow of a collapsing star in a Hayward spacetime in terms of an observer far away from the center and a free falling observer. By solving the time-like and light-like radial geodesics we determine the angular size of the shadow as a function of time. We found that the formation of the shadow is a finite process for both observers and its size is affected by the Hayward spacetime parameters. We consider several scenarios, from the Schwarzschild limit to an extreme Hayward black hole.


title: Uncertain research country rankings. Should we continue producing uncertain rankings?

abstract: Citation based country rankings consistently categorize Japan as a developing country, even in those from the most reputed institutions. This categorization challenges the credibility of such rankings, considering Japan elevated scientific standing. In most cases, these rankings use percentile indicators and are accurate if country citations fit an ideal model of distribution, but they can be misleading in cases of deviations. The ideal model implies a lognormal citation distribution and a power law citation based double rank: in the global and country lists. This report conducts a systematic examination of deviations from the ideal model and their consequential impact on evaluations. The study evaluates six selected countries across three scientifically relevant topics and utilizes Leiden Ranking assessments of over 300 universities. The findings reveal three types of deviations from the lognormal citation distribution: i deviations in the extreme upper tail; ii inflated lower tails; and iii deflated lower part of the distributions. These deviations stem from structural differences among research systems that are prevalent and have the potential to mislead evaluations across all research levels. Consequently, reliable evaluations must consider these deviations. Otherwise, while some countries and institutions will be correctly evaluated, failure to identify deviations in each specific country or institution will render uncertain evaluations. For reliable assessments, future research evaluations of countries and institutions must identify deviations from the ideal model.


title: Informative Rays Selection for Few-Shot Neural Radiance Fields

abstract: Neural Radiance Fields (NeRF) have recently emerged as a powerful method for image-based 3D reconstruction, but the lengthy per-scene optimization limits their practical usage, especially in resource-constrained settings. Existing approaches solve this issue by reducing the number of input views and regularizing the learned volumetric representation with either complex losses or additional inputs from other modalities. In this paper, we present KeyNeRF, a simple yet effective method for training NeRF in few-shot scenarios by focusing on key informative rays. Such rays are first selected at camera level by a view selection algorithm that promotes baseline diversity while guaranteeing scene coverage, then at pixel level by sampling from a probability distribution based on local image entropy. Our approach performs favorably against state-of-the-art methods, while requiring minimal changes to existing NeRF codebases.


title: Effect of Exchange Interaction and Spin-Orbit Coupling on Spin Splitting in CdSnX (X = S, Se and Te) nanoribbons

abstract: We have studied the topological properties of free standing Sn doped cadmium chalcogenide (CdSnX, X = S, Se and Te) nanoribbons of varying widths and three types of edges viz., distorted armchair, normal armchair and normal zigzag edges. The unsatisfied bonds of X and Sn atoms at the edges cause non-zero values of the magnetic moment. This introduces an exchange field leading to inverted band structure. The electronic band structures of distorted armchair edge nanoribbons also exhibit different types of spin splitting property for different X atoms due to the different local orbital angular momentum at specific X atomic site with the inclusion of spin orbit coupling (SOC). The gap opening at the band crossings near the Fermi level after inclusion of SOC are mainly due to SOC of Sn atom and are responsible for the electron and hole pockets making the system topologically exotic. All the distorted edge nanoribbons show metallic behaviour with non-zero magnetic moments. Amongst CdX (X = S, Se and Te) nanoribbons, systems containing S atoms exhibit Weyl-like semi-metallic behavior and not much change with width, that of Se atoms exhibit Zeeman-type spin splitting and significant change with varying width, whereas systems containing Te atoms show signature of Rashba spin splitting along with Zeeman-type spin splitting and moderate change with varying width. The armchair edge nanoribbons show wide gap semiconducting behaviour. Zeeman-type spin splitting is seen in the valence band region for systems containing S atoms and Rashba spin splitting is visible in the conduction band region for systems containing Se and Te atoms. For zigzag edge nanoribbons, no such signature of spin splitting is observed although all the nanoribbons acquire very high magnetic moments.


title: Energy transfer in the collision of two scalar wave packets in spherical symmetry

abstract: We study the collisions of two scalar wave packets in the asymptotically flat spacetime and asymptotically anti-de Sitter spacetime in spherical symmetry. An energy transfer formula is obtained, $y=Cm_{i}m_{o}/r$, where $y$ is the transferred energy in the collisions of the two wave packets, $m_i$ and $m_o$ are the Misner-Sharp energies for the ingoing and outgoing wave packets, respectively, $r$ is the areal radius and collision place, and $C=1.873$ and $C=1.875$ for the asymptotically flat spacetime and asymptotically anti-de Sitter spacetime circumstances, respectively. The formula is universal, independent of the initial profiles of the scalar fields.


title: An effective slip boundary for micro-structured surfaces containing a second immiscible fluid

abstract: Effective slip boundary conditions for flows over periodic micro-structured surfaces containing a secondary immiscible fluid are derived. The primary fluid is in the Cassie state, while the geometries of the micro-structures can be arbitrary. We investigate the impact of the second immiscible fluid on external flow, introducing the effect caused by the viscosity difference between two fluids and the inertia effect of the second fluid into classic Navier slip condition. The effective slip length obtained from our theory for flows over rectangular micro-structures is in good agreement with prior analytical findings. We also apply the theory to mushroom-like micro-structures. The derived effective slip velocity also matches well with two-phase numerical simulations. Implementing the slip boundary conditions on micro-structured surfaces produces external flow fields that are aligned well with the simulation results. Employing a multi-scale homogenization method, we dispose of two-phase flows characterized by strong coupling at the fluid-fluid interface. By introducing the framework of lid-driven cavity approximation, our theory finds practical applications across various scenarios.


title: Thermodynamics of the five-vertex model with scalar-product boundary conditions

abstract: We consider the homogeneous five-vertex model on a rectangle domain of the square lattice with so-called scalar-product boundary conditions. Peculiarity of these boundary conditions is that the configurations of the model are in an one-to-one correspondence with the 3D Young diagrams limited by a box of a given size. We address the thermodynamics of the model using a connection of the partition function with the $\tau$-function of the sixth Painlev\'e equation. We compute an expansion of the logarithm of the partition function to the order of a constant in the size of the system. We find that the geometry of the domain is crucial for phase transition phenomena. Two cases need to be considered separately: one is where the region has an asymptotically square shape and the second one is where it is of an arbitrary rectangle, but not square, shape. In the first case there are three regimes, which can be attributed to dominance in the configurations of a ferroelectric order, disorder, and anti-ferroelectric order. In the second case the third regime is absent.

categories: math-ph cond-mat.stat-mech math.MP math.PR


title: Doublethink: simultaneous Bayesian-frequentist model-averaged hypothesis testing

abstract: Bayesian model-averaged hypothesis testing is an important technique in regression because it addresses the problem that the evidence one variable directly affects an outcome often depends on which other variables are included in the model. This problem is caused by confounding and mediation, and is pervasive in big data settings with thousands of variables. However, model-averaging is under-utilized in fields, like epidemiology, where classical statistical approaches dominate. Here we show that simultaneous Bayesian and frequentist model-averaged hypothesis testing is possible in large samples, for a family of priors. We show that Bayesian model-averaged regression is a closed testing procedure, and use the theory of regular variation to derive interchangeable posterior odds and $p$-values that jointly control the Bayesian false discovery rate (FDR), the frequentist type I error rate, and the frequentist familywise error rate (FWER). These results arise from an asymptotic chi-squared distribution for the model-averaged deviance, under the null hypothesis. We call the approach 'Doublethink'. In a related manuscript (Arning, Fryer and Wilson, 2024), we apply it to discovering direct risk factors for COVID-19 hospitalization in UK Biobank, and we discuss its broader implications for bridging the differences between Bayesian and frequentist hypothesis testing.


title: Significance of the compound nucleus surface energy coefficients in the synthesis of the superheavy nuclei with $\textbf{Z=112-120}$

abstract: This paper investigates the impacts of the different surface energy coefficients on the compound nucleus decay modes during heavy ion fusion reactions, with focus given to the superheavy nuclei (SHN) in the range of $Z=112-118$. The evaporation-residue (ER) cross sections were calculated for different surface asymmetric constants, $k_{s}$ and surface energy constants, $\gamma_{0}$. In these calculations, the di-nuclear system model and proximity potential, along with considering deformed nuclei, were employed. Comparing the experimental data and this theoretical approach, the best values of $k_{s}$ and $\gamma_{0}$ are $0.7546$ and $0.9180~\mathrm{MeV~fm^{-2}}$, respectively. Furthermore, this new model was used to investigate the probability of synthesis of experimentally unknown heavier systems with $Z=119$ and $120$. There exist five promising combinations to synthesize SHN with $Z=119$: a) ${^{249}}\mathrm{Cf}({^{45}}\mathrm{Sc},3n){^{291}}119$, b) ${^{249}}\mathrm{Cf}({^{45}}\mathrm{Sc},4n){^{290}}119$, c) ${^{247}}\mathrm {Bk}({^{50}}\mathrm{Ti},3n){^{294}}119$, d) ${^{254}}\mathrm{Es}({^{48}}\mathrm{Ca},3n){^{299}}119$, and e) ${^{254}}\mathrm{Es}({^{48}}\mathrm{Ca},4n){^{298}}119$. In addition, it is found that the best combinations to synthesize SHN with $Z=120$ are ${^{249}}\mathrm{Cf}({^{50}}\mathrm{Ti},3n){^{296}}120$, and ${^{251}}\mathrm{Cf}({^{50}}\mathrm{Ti},3n){^{298}}120$.


title: Light baryon in three quark picture light front approach and its application: hyperon weak radiative decays

abstract: Motivated by recent experimental data on $\Sigma^+\to p\gamma$ at BESIII, we investigate a class of hyperon weak radiative decays. To estimate these processes, in our research, we employ a new type of light-front quark model with a three-quark picture for octet baryons. In the three-quark picture, with the use of $SU(3)_f$ and spin symmetries, we present a general form of the light front wave function for each octet baryon. By including contributions from the penguin diagram and W exchange diagram, we perform a complete calculation on the branching ratios ($Br$) and the asymmetry parameter ($\alpha$) for hyperon weak radiative decay processes. Our results are helpful for discovering additional hyperon weak radiative decay processes in experimental facilities, and our research will promote the theoretical study of baryons.


title: On the complexity of a maintenance problem for hierarchical systems

abstract: We prove that a maintenance problem on frequency-constrained maintenance jobs with a hierarchical structure is integer-factorization hard. This result holds even on simple systems with just two components to maintain. As a corollary, we provide a first hardness result for Levi et al.'s modular maintenance scheduling problem (Naval Research Logistics 61, 472-488, 2014).


title: The Quantum House Of Cards

abstract: Quantum computers have been proposed to solve a number of important problems such as discovering new drugs, new catalysts for fertilizer production, breaking encryption protocols, optimizing financial portfolios, or implementing new artificial intelligence applications. Yet, to date, a simple task such as multiplying 3 by 5 is beyond existing quantum hardware. This article examines the difficulties that would need to be solved for quantum computers to live up to their promises. I discuss the whole stack of technologies that has been envisioned to build a quantum computer from the top layers (the actual algorithms and associated applications) down to the very bottom ones (the quantum hardware, its control electronics, cryogeny, etc.) while not forgetting the crucial intermediate layer of quantum error correction.


title: Palindromic concatenations of two distinct repdigits in Narayana's cows sequence

abstract: Let $(N_{n})_{n\ge 0}$ be Narayana's cows sequence given by a recurrence relation $ N_{n+3}=N_{n+2}+N_n $ for all $ n\ge 0 $, with initial conditions $ N_0=0 $, and $ N_1= N_2=1 $. In this paper, we find all members in Narayana's cow sequence that are palindromic concatenations of two distinct repdigits. Our proofs use techniques on Diophantine approximation which include the theory of linear forms in logarithms of algebraic numbers and Baker's reduction method. We show that $595$ is the only member in Narayana's cow sequence that is a palindromic concatenation of two distinct repdigits in base $10$.


title: Mixing time of the conditional backward sampling particle filter

abstract: The conditional backward sampling particle filter (CBPF) is a powerful Markov chain Monte Carlo sampler for general state space hidden Markov model smoothing. It was proposed as an improvement over the conditional particle filter, which is known to have an $O(T^2)$ computational time complexity under a general `strong' mixing assumption, where $T$ is the time horizon. We provide the first proof that the CBPF admits an $O(T \log T)$ time complexity under strong mixing, complementing strong empirical evidence of the superiority of the CBPF in practice. In particular, the CBPF's mixing time is upper bounded by $O(\log T)$, for any sufficiently large number of particles $N$ that depends only on the mixing assumptions and not $T$. We show that an $O(\log T)$ mixing time is optimal. The proof involves the analysis of a novel coupling of two CBPFs, which involves a maximal coupling of two particle systems at each time instant. The coupling is implementable, and thus can also be used to construct unbiased, finite variance, estimates of functionals which have arbitrary dependence on the latent state's path, with a total expected cost of $O(T \log T)$. We also investigate other couplings, and we show some of these alternatives have improved empirical behaviour.


title: The BM@N spectrometer at the NICA accelerator complex

abstract: BM@N (Baryonic Matter at Nuclotron) is the first experiment operating and taking data at the Nuclotron/NICA ion-accelerating complex.The aim of the BM@N experiment is to study interactions of relativistic heavy-ion beams with fixed targets. We present a technical description of the BM@N spectrometer including all its subsystems.


title: Convergence of remote projections onto convex sets

abstract: Let $\{C_{\alpha}\}_{\alpha\in \Omega}$ be a family of closed and convex sets in a Hilbert space $H$, having a nonempty intersection $C$. We consider a sequence $\{x_n\}$ of remote projections onto them. This means, $x_0\in H$, and $x_{n+1}$ is the projection of $x_n$ onto such a set $C_{\alpha(n)}$ that the ratio of the distances from $x_n$ to this set and to any other set from the family is at least $t_n\in [0,1]$. We study properties of the weakness parameters $t_n$ and of the sets $C_\alpha$ which ensure the norm or weak convergence of the sequence $\{x_n\}$ to a point in $C$. We show that condition (T) is necessary and sufficient for the norm convergence of $x_n$ to a point in $C$ for any starting element and any family of closed, convex, and symmetric sets $C_\alpha$. This generalizes a result of Temlyakov who introduced (T) in the context of greedy approximation theory. We give examples explaining to what extent the symmetry condition on the sets $C_{\alpha}$ can be dropped. Condition (T) is stronger than $\sum t_n^2=\infty$ and weaker than $\sum t_n/n=\infty$. The condition $\sum t_n^2=\infty$ turns out to be necessary and sufficient for the sequence $\{x_n\}$ to have a partial weak limit in $C$ for any family of closed and convex sets $C_\alpha$ and any starting element.


title: CAD-compatible structural shape optimization with a movable B\'{e}zier tetrahedral mesh

abstract: This paper presents the development of a complete CAD-compatible framework for structural shape optimization in 3D. The boundaries of the domain are described using NURBS while the interior is discretized with B\'ezier tetrahedra. The tetrahedral mesh is obtained from the mesh generator software Gmsh. A methodology to reconstruct the NURBS surfaces from the triangular faces of the boundary mesh is presented. The description of the boundary is used for the computation of the analytical sensitivities with respect to the control points employed in surface design. Further, the mesh is updated at each iteration of the structural optimization process by a pseudo-elastic moving mesh method. In this procedure, the existing mesh is deformed to match the updated surface and therefore reduces the need for remeshing. Numerical examples are presented to test the performance of the proposed method. The use of the movable mesh technique results in a considerable decrease in the computational effort for the numerical examples.


title: Emulsions in microfluidic channels with asymmetric boundary conditions and directional surface roughness: stress and rheology

abstract: The flow of emulsions in confined microfluidic channels is affected by surface roughness. Directional roughness effects have recently been reported in channels with asymmetric boundary conditions featuring a flat wall, and a wall textured with a directional roughness, the latter promoting a change in the velocity profiles when the flow direction of emulsions is inverted [D. Filippi et al., Adv. Mater. Technol. 8, 2201748 (2023)]. An operative protocol is needed to reconstruct the stress profile inside the channel from velocity data to shed light on the trigger of the directional response. To this aim, we performed lattice Boltzmann numerical simulations of the flow of model emulsions with a minimalist model of directional roughness in two dimensions: a confined microfluidic channel with one flat wall and the other patterned by right-angle triangular-shaped posts. Simulations are essential to develop the protocol based on mechanical arguments to reconstruct stress profiles. Hence, one can analyze data to relate directional effects in velocity profiles to different rheological responses close to the rough walls associated with opposite flow directions. We finally show the universality of this protocol by applying it to other realizations of directional roughness by considering experimental data on emulsions in a microfluidic channel featured with a flat wall and a wall textured by herringbone-shaped roughness.


title: Exact Controllability of Discrete-Time Stochastic System with Multiplicative Noise

abstract: This paper is concerned with the exact controllability of discrete-time stochastic system which is one of the basic problems of modern control theory. Though the exact controllability of continuous-time system governed by Ito stochastic differential equations has been well studied in S. Peng, Progress in Natural Science, 1994, the counterpart of the discrete-time case is still open due to the adaptiveness constraint of the controllers and the solvability challenging of stochastic difference equation with terminal value. The main contribution in this paper is to present both the Gramian matrix criterion and the Rank criterion for the exact controllability of discrete-time stochastic system. The novelty lies in the transformation of the forward stochastic difference equation into a novel backward one.


title: Noncommutative Hamiltonian structures and quantizations on preprojective algebras

abstract: Given a noncommutative Hamiltonian space $A$, we show that the conjecture ``{\it quantization commutes with reduction}'' holds on $A$. We also construct a semi-product algebra $A \rtimes \mG^A$, equivariant sheaves on the representation space are related to left $A \rtimes \mG^A$-modules. In the quiver setting, via the quantum and classical trace maps, we establish the explicit correspondence between quantizations on a preprojective algebra and those on a quiver variety.


title: Distribution-based Low-rank Embedding

abstract: The early detection of breast abnormalities is a matter of critical significance. Notably, infrared thermography has emerged as a valuable tool in breast cancer screening and clinical breast examination (CBE). Measuring heterogeneous thermal patterns is the key to incorporating computational dynamic thermography, which can be achieved by matrix factorization techniques. These approaches focus on extracting the predominant thermal patterns from the entire thermal sequence. Yet, the task of singling out the dominant image that effectively represents the prevailing temporal changes remains a challenging pursuit within the field of computational thermography. In this context, we propose applying James-Stein for eigenvector (JSE) and Weibull embedding approaches, as two novel strategies in response to this challenge. The primary objective is to create a low-dimensional (LD) representation of the thermal data stream. This LD approximation serves as the foundation for extracting thermomics and training a classification model with optimized hyperparameters, for early breast cancer detection. Furthermore, we conduct a comparative analysis of various embedding adjuncts to matrix factorization methods. The results of the proposed method indicate an enhancement in the projection of the predominant basis vector, yielding classification accuracy of 81.7% (+/-5.2%) using Weibull embedding, which outperformed other embedding approaches we proposed previously. In comparison analysis, Sparse PCT and Deep SemiNMF showed the highest accuracies having 80.9% and 78.6%, respectively. These findings suggest that JSE and Weibull embedding techniques substantially help preserve crucial thermal patterns as a biomarker leading to improved CBE and enabling the very early detection of breast cancer.


title: Modeling polyelectrolyte hydration from a multi scale polarizable pseudo particle solvent coarse grained approach

abstract: We investigate the reliability of simulations of polyelectrolyte systems in aqueous environments, simulations that are performed using an efficient multi scale coarse grained polarizable pseudo-particle particle approach, denoted as pppl, to model the solvent water, whereas the solutes are modeled using a polarizable all atom force field. We focus our study on issues tied to two key parameters of the pppl approach, namely the extension of the solvent domain SD at the close vicinity of a solute (domain in which each solvent particle corresponds to a single water molecule) and the magnitude of solute/solvent short range polarization damping effects. To this end we built a new pppl models from which we simulate NaCl aqueous solutions at the molar concentration scale. We also re investigate the hydration of a hydrophobic polyelectrolyte polymer that we showed in an earlier study [J Chem Phys, 114903 (155) 2021] to evolve towards a counter intuitive globular form surrounded by a spherical counter ion cloud along pppl-based simulations. Strong short range damping is pivotal to simulate NaCl aqueous solutions. The extension of the domain SD (as well as short range damping) has a weak effect on the conformation of the polymer, but it plays a pivotal role to compute accurate solute/solvent interaction energies. In all our results lead us to recommend to simulate polyelectrolyte polymers as dissolved alone in pppl fluids (i.e. without explicitly accounting for their counter ions) to investigate their behavior at infinite dilution conditions, and to systematically consider strong solute/solvent polarization short range damping to model charged species.


title: Action-Item-Driven Summarization of Long Meeting Transcripts

abstract: The increased prevalence of online meetings has significantly enhanced the practicality of a model that can automatically generate the summary of a given meeting. This paper introduces a novel and effective approach to automate the generation of meeting summaries. Current approaches to this problem generate general and basic summaries, considering the meeting simply as a long dialogue. However, our novel algorithms can generate abstractive meeting summaries that are driven by the action items contained in the meeting transcript. This is done by recursively generating summaries and employing our action-item extraction algorithm for each section of the meeting in parallel. All of these sectional summaries are then combined and summarized together to create a coherent and action-item-driven summary. In addition, this paper introduces three novel methods for dividing up long transcripts into topic-based sections to improve the time efficiency of our algorithm, as well as to resolve the issue of large language models (LLMs) forgetting long-term dependencies. Our pipeline achieved a BERTScore of 64.98 across the AMI corpus, which is an approximately 4.98% increase from the current state-of-the-art result produced by a fine-tuned BART (Bidirectional and Auto-Regressive Transformers) model.


title: Darwin3: A large-scale neuromorphic chip with a Novel ISA and On-Chip Learning

abstract: Spiking Neural Networks (SNNs) are gaining increasing attention for their biological plausibility and potential for improved computational efficiency. To match the high spatial-temporal dynamics in SNNs, neuromorphic chips are highly desired to execute SNNs in hardware-based neuron and synapse circuits directly. This paper presents a large-scale neuromorphic chip named Darwin3 with a novel instruction set architecture(ISA), which comprises 10 primary instructions and a few extended instructions. It supports flexible neuron model programming and local learning rule designs. The Darwin3 chip architecture is designed in a mesh of computing nodes with an innovative routing algorithm. We used a compression mechanism to represent synaptic connections, significantly reducing memory usage. The Darwin3 chip supports up to 2.35 million neurons, making it the largest of its kind in neuron scale. The experimental results showed that code density was improved up to 28.3x in Darwin3, and neuron core fan-in and fan-out were improved up to 4096x and 3072x by connection compression compared to the physical memory depth. Our Darwin3 chip also provided memory saving between 6.8X and 200.8X when mapping convolutional spiking neural networks (CSNN) onto the chip, demonstrating state-of-the-art performance in accuracy and latency compared to other neuromorphic chips.


title: Enhancing the Performance of DeepReach on High-Dimensional Systems through Optimizing Activation Functions

abstract: With the continuous advancement in autonomous systems, it becomes crucial to provide robust safety guarantees for safety-critical systems. Hamilton-Jacobi Reachability Analysis is a formal verification method that guarantees performance and safety for dynamical systems and is widely applicable to various tasks and challenges. Traditionally, reachability problems are solved by using grid-based methods, whose computational and memory cost scales exponentially with the dimensionality of the system. To overcome this challenge, DeepReach, a deep learning-based approach that approximately solves high-dimensional reachability problems, is proposed and has shown lots of promise. In this paper, we aim to improve the performance of DeepReach on high-dimensional systems by exploring different choices of activation functions. We first run experiments on a 3D system as a proof of concept. Then we demonstrate the effectiveness of our approach on a 9D multi-vehicle collision problem.


title: Interpretable and Explainable Machine Learning Methods for Predictive Process Monitoring: A Systematic Literature Review

abstract: This paper presents a systematic literature review (SLR) on the explainability and interpretability of machine learning (ML) models within the context of predictive process mining, using the PRISMA framework. Given the rapid advancement of artificial intelligence (AI) and ML systems, understanding the "black-box" nature of these technologies has become increasingly critical. Focusing specifically on the domain of process mining, this paper delves into the challenges of interpreting ML models trained with complex business process data. We differentiate between intrinsically interpretable models and those that require post-hoc explanation techniques, providing a comprehensive overview of the current methodologies and their applications across various application domains. Through a rigorous bibliographic analysis, this research offers a detailed synthesis of the state of explainability and interpretability in predictive process mining, identifying key trends, challenges, and future directions. Our findings aim to equip researchers and practitioners with a deeper understanding of how to develop and implement more trustworthy, transparent, and effective intelligent systems for predictive process analytics.


title: The Condensation of Ideal Dunkl-Bose Gas in Power-Law Traps

abstract: We explore the phenomenon of Bose-Einstein condensation in two and one-dimensional Dunkl-boson gases confined within a power-law potential, employing the framework of Dunkl-deformed boson theory. Our investigation involves the calculation of particle numbers and phase transition temperatures using the Dunkl formalism. To assess the validity of our findings, we compare them with the corresponding results obtained from the standard approach. We find that the impact of the Dunkl-formalism on the condensate fractions is similar in one and two-dimensional cases. However, we see that this conclusion is not fully valid for the phase transition temperature.


title: Christmas tree-like Coulomb crystals

abstract: We have investigated the formation of microparticles-based Coulomb crystals in a linear vertical quadrupole Paul trap with a single end-cap electrode. For the first time, we have described the effect of gravity on Coulomb crystals formation. We have observed a new type of stable Coulomb crystals configuration that we referred to as "Christmas tree-like Coulomb crystals". We have provided numerical simulation and experimental research of the "Christmas tree-like Coulomb crystals" and discussed these structures in the perspective of Science and Art performance.


title: A Tool for the Procedural Generation of Shaders using Interactive Evolutionary Algorithms

abstract: We present a tool for exploring the design space of shaders using an interactive evolutionary algorithm integrated with the Unity editor, a well-known commercial tool for video game development. Our framework leverages the underlying graph-based representation of recent shader editors and interactive evolution to allow designers to explore several visual options starting from an existing shader. Our framework encodes the graph representation of a current shader as a chromosome used to seed the evolution of a shader population. It applies graph-based recombination and mutation with a set of heuristics to create feasible shaders. The framework is an extension of the Unity editor; thus, designers with little knowledge of evolutionary computation (and shader programming) can interact with the underlying evolutionary engine using the same visual interface used for working on game scenes.


title: Universal bifurcation scenarios in delay-differential equations with one delay

abstract: We show that delay-differential equations (DDE) exhibit universal bifurcation scenarios, which are observed in large classes of DDEs with a single delay. Each such universality class has the same sequence of stabilizing or destabilizing Hopf bifurcations. These bifurcation sequences and universality classes can be explicitly described by using the asymptotic continuous spectrum for DDEs with large delays. Here, we mainly study linear DDEs, provide a general transversality result for the delay-induced bifurcations, and consider three most common universality classes. For each of them, we explicitly describe the sequence of stabilizing and destabilizing bifurcations. We also illustrate the implications for a nonlinear Stuart-Landau oscillator with time-delayed feedback.


title: Improving photon number resolvability of a superconducting nanowire detector array using a level comparator circuit

abstract: Photon number resolving (PNR) capability is very important in many optical applications, including quantum information processing, fluorescence detection, and few-photon-level ranging and imaging. Superconducting nanowire single-photon detectors (SNSPDs) with a multipixel interleaved architecture give the array an excellent spatial PNR capability. However, the signal-to-noise ratio (SNR) of the photon number resolution (SNRPNR) of the array will be degraded with increasing the element number due to the electronic noise in the readout circuit, which limits the PNR resolution as well as the maximum PNR number. In this study, a 16-element interleaved SNSPD array was fabricated, and the PNR capability of the array was investigated and analyzed. By introducing a level comparator circuit (LCC), the SNRPNR of the detector array was improved over a factor of four. In addition, we performed a statistical analysis of the photon number on this SNSPD array with LCC, showing that the LCC method effectively enhances the PNR resolution. Besides, the system timing jitter of the detector was reduced from 90 ps to 72 ps due to the improved electrical SNR.


title: DSBplot: Indels in DNA Double-strand Break Repair Experiments

abstract: Double-strand breaks (DSBs) in DNA are naturally occurring destructive events in all organisms that may lead to genome instability. Cells employ various repair methods known as non-homologous end joining (NHEJ), microhomology mediated end joining (MMEJ), and homology-directed recombination (HDR). These repair processes may lead to DNA sequence variations (e.g., nucleotide insertions, deletions, and substitutions) at the location of the break. Studying DNA DSB repair processes often involves the use of high throughput sequencing assays to precisely quantify the sequence variations near the break with software tools. Often methods of assessing and visualizing these data have not taken into account the full complexity of the sequencing data, such as the frequency, type, and position of the sequence variations in a single comprehensive representation. Here we present a method that allows visualization of the overall variation pattern as well as comparison of these patterns among experimental setups.


title: Towards Faithful Explanations for Text Classification with Robustness Improvement and Explanation Guided Training

abstract: Feature attribution methods highlight the important input tokens as explanations to model predictions, which have been widely applied to deep neural networks towards trustworthy AI. However, recent works show that explanations provided by these methods face challenges of being faithful and robust. In this paper, we propose a method with Robustness improvement and Explanation Guided training towards more faithful EXplanations (REGEX) for text classification. First, we improve model robustness by input gradient regularization technique and virtual adversarial training. Secondly, we use salient ranking to mask noisy tokens and maximize the similarity between model attention and feature attribution, which can be seen as a self-training procedure without importing other external information. We conduct extensive experiments on six datasets with five attribution methods, and also evaluate the faithfulness in the out-of-domain setting. The results show that REGEX improves fidelity metrics of explanations in all settings and further achieves consistent gains based on two randomization tests. Moreover, we show that using highlight explanations produced by REGEX to train select-then-predict models results in comparable task performance to the end-to-end method.


title: On damping a control system of arbitrary order with global aftereffect on a tree

abstract: We study a problem of damping a control system described by functional-differential equations of natural order $n$ and neutral type with non-smooth complex coefficients on an arbitrary tree with global delay. The latter means that the delay propagates through internal vertices of the tree. Minimization of the energy functional of the system leads to a variational problem. We establish its equivalence to a certain self-adjoint boundary value problem on the tree for equations of order $2n$ with nonlocal quasi-derivatives and multidirectional shifts of the argument, as well as Kirchhoff-type conditions emerging at the internal vertices. The unique solvability of both problems is proved.


title: VR interaction for efficient virtual manufacturing: mini map for multi-user VR navigation platform

abstract: Over the past decade, the value and potential of VR applications in manufacturing have gained significant attention in accordance with the rise of Industry 4.0 and beyond. Its efficacy in layout planning, virtual design reviews, and operator training has been well-established in previous studies. However, many functional requirements and interaction parameters of VR for manufacturing remain ambiguously defined. One area awaiting exploration is spatial recognition and learning, crucial for understanding navigation within the virtual manufacturing system and processing spatial data. This is particularly vital in multi-user VR applications where participants' spatial awareness in the virtual realm significantly influences the efficiency of meetings and design reviews. This paper investigates the interaction parameters of multi-user VR, focusing on interactive positioning maps for virtual factory layout planning and exploring the user interaction design of digital maps as navigation aid. A literature study was conducted in order to establish frequently used technics and interactive maps from the VR gaming industry. Multiple demonstrators of different interactive maps provide a comprehensive A/B test which were implemented into a VR multi-user platform using the Unity game engine. Five different prototypes of interactive maps were tested, evaluated and graded by the 20 participants and 40 validated data streams collected. The most efficient interaction design of interactive maps is thus analyzed and discussed in the study.


title: Utilizing the Janus MoSSe surface polarization in designing complementary metal-oxide-semiconductor field-effect transistors

abstract: Janus transition metal dichalcogenides (JTMDs) have attracted much attention because of their outstanding electronic and optical properties. The additional out-of-plane dipole in JTMDs can form n- and p-like Ohmic contacts, and this may be used in device applications such as pin diodes and photovoltaic cells. In this study, we exploit this property to design n- and p-type metal-oxide-semiconductor field effect transistors (MOSFETs). First, we use density-functional theory calculations to study the inherent dipole field strength in the trilayer JTMD MoSSe. The intrinsic dipole of MoSSe causes band bending at both the metal/MoSSe and MoSSe/metal interfaces, resulting in electron and hole accumulation to form n- and p-type Ohmic contact regions. We incorporate this property into a 2D finite-element-based Poisson-drift-diffusion solver to perform simulations, on the basis of which we design complementary MOSFETs. Our results demonstrate that JTMDs can be used to make n- and p-MOSFETs in the same layer without the need for any extra doping.


title: Exploring the current applications and potential of extended reality for environmental sustainability in manufacturing

abstract: In response to the transformation towards Industry 5.0, there is a growing call for manufacturing systems that prioritize environmental sustainability, alongside the emerging application of digital tools. Extended Reality (XR) - including Virtual Reality (VR), Augmented Reality (AR) and Mixed Reality (MR) - is one of the technologies identified as an enabler for Industry 5.0. XR could potentially also be a driver for more sustainable manufacturing: however, its potential environmental benefits have received limited attention. This paper aims to explore the current manufacturing applications and research within the field of XR technology connected to the environmental sustainability principle. The objectives of this paper are two-fold: (1) Identify the currently explored use cases of XR technology in literature and research, addressing environmental sustainability in manufacturing; (2) Provide guidance and references for industry and companies to use cases, toolboxes, methodologies, and workflows for implementing XR in environmental sustainable manufacturing practices. Based on the categorization of sustainability indicators, developed by the National Institute of Standards and Technology (NIST), the authors analyzed and mapped the current literature, with criteria of pragmatic XR use cases for manufacturing. The exploration resulted in a mapping of the current applications and use cases of XR technology within manufacturing that has the potential to drive environmental sustainability. The results are presented as stated use-cases with reference to the literature, contributing as guidance and inspiration for future researchers or implementations in industry, using XR as a driver for environmental sustainability. Furthermore, the authors open up the discussion for future work and research to increase the attention of XR as a driver for environmental sustainability.


title: A "Magnetic" Machine Learning Interatomic Potential for Nickel

abstract: Nickel (Ni) is a magnetic transition metal with two allotropic phases, stable face-centered cubic (FCC) and metastable hexagonal close-packed (HCP), widely used in structural applications. Magnetism affects many mechanical and defect properties, but spin-polarized density functional theory (DFT) calculations are computationally inefficient for studying material behavior requiring large system sizes and/or long simulation times. Here we develop a "magnetism-hidden" machine-learning Deep Potential (DP) model for Ni without a descriptor for magnetic moments, using training datasets derived from spin-polarized DFT calculations. The "magnetism-hidden" DP-Ni model exhibits high transferability and representability for a wide-range of FCC and HCP properties, including (finite-temperature) lattice parameters, elastic constants, phonon spectra, and many defects. As an example of its applicability, we investigate the Ni FCC-HCP allotropic phase transition under (high-stress) uniaxial tensile loading. The DP model for magnetic Ni facilitates accurate large-scale atomistic simulations for complex mechanical behavior and serves as a foundation for developing interatomic potentials for Ni-based superalloys and other multi-principal component alloys.


title: The correspondence between silting objects and $t$-structures for non-positive dg algebras

abstract: We establish a bijective correspondence between isomorphism classes of basic silting objects of $\mathsf{per}(A)$ and algebraic $t$-structures of $\mathsf{D}_{\rm fd}(A)$ for locally finite non-positive dg algebra $A$ over a field $k$ (more generally, we work in the setting of ST-pair inside an algebraic triangulated category). For a non-positive (topologically) homologically smooth dg $k$-algebra $A$ whose zeroth cohomology is finite-dimensional, or for a non-positive proper dg $k$-algebra $A$, the one-to-one correspondence between isomorphism classes of basic silting objects of $\mathsf{per}(A)$ and algebraic $t$-structures on $\mathsf{D}_{\rm fd}(A)$ was already known. The main result of this paper generalizes the above two results to locally finite non-positive dg $k$-algebras.


title: The deep eclipses of RW Aur revisited by long-term photometric and spectroscopic monitoring

abstract: RW Aurigae is a young stellar system containing a classical T Tauri star as the primary component. It shows deep, irregular dimmings, first detected in 2010. At the University Observatory Jena, we carried out optical follow-up observations. We performed multiband (BVRI) photometry of the system with the Cassegrain-Teleskop-Kamera II and the Schmidt-Teleskop-Kamera between September 2016 and April 2019, as well as spectroscopy, using the Fibre Linked \'ECHelle Astronomical Spectrograph between September 2016 and April 2018. We present the apparent photometry of RW Aur, which is consistent with and complementary to photometric data from the American Association of Variable Star Observers. The V-band magnitude of RW Aur changed by up to three magnitudes during the timespan of our monitoring campaign. For the observing epochs 2016/2017 and 2017/2018 we report a decreasing brightness, while in the epoch 2018/2019 the system remained in a relatively constant bright state. In the color-magnitude diagram, we see that RW Aur lies close to a track for grey extinction. The spectra show a decreasing equivalent width of the H$\alpha$ emission line for decreasing brightness, whereas the equivalent width of the [OI] line increases, indicating an increased outflow activity during the obscuration. Both gives further evidence for the favored theory that the obscurations are caused by a hot dusty wind emerging from the inner disk.


title: Light dark matter confronted with the 95 GeV diphoton excess

abstract: The correlation between Higgs-like scalars and light dark matter is an interesting topic, especially now that a $125 GeV$ Higgs was discovered and dark matter (DM) searches got negative results. The $95 GeV$ excess reported by the CMS collaboration with $132 fb^{-1}$ data recently, and the DM search results by XENONnT and LZ collaborations motivate us to revise that. In this work, we study that in the GUT-scale constrained (GUTc) Next-to-Minimal Supersymmetric Model (NMSSM), where most parameters are input at the GUT scale, but with scalar and gaugino masses not unified there. In the calculation we also consider other recent experimental constraints, such as Higgs data, Supersymmetry (SUSY) searches, DM relic density, etc. After detailed analysis and discussion, we find that: (i) The light DM can be bino- or singlino-dominated, but can be mixed with minor components of Higgsino. (ii) Both cases can get right relic density and sizable Higgs invisible decay, by adjusting the dimensionless parameters $\lambda, \kappa$, or suitably mixing with Higgsino. (iii) Both cases can have four funnel annihilation mechanisms, i.e., annihilating through $Z, a_1, h_2, h_1$. (iv) Samples with right relic density usually get weak signal of Higgs invisible decay at future lepton collider, but the $95 GeV$ scalar can have sizable $b\bar{b}$ signal.


title: Generalised Dirac-Schr\"odinger operators and the Callias Theorem

abstract: We consider generalised Dirac-Schr\"odinger operators, consisting of a self-adjoint elliptic first-order differential operator D with a skew-adjoint 'potential' given by a (suitable) family of unbounded operators on an auxiliary Hilbert module. The index of such an operator represents the pairing (Kasparov product) of the K-theory class of the potential with the K-homology class of D. Our main result in this paper is a generalisation of the Callias Theorem: the index of the Dirac-Schr\"odinger operator can be computed from its restriction to a hypersurface. Our theorem simultaneously generalises (and is inspired by) the well-known result that the spectral flow of a path of relatively compact perturbations depends only on the endpoints.


title: The Tyranny of Possibilities in the Design of Task-Oriented LLM Systems: A Scoping Survey

abstract: This scoping survey focuses on our current understanding of the design space for task-oriented LLM systems and elaborates on definitions and relationships among the available design parameters. The paper begins by defining a minimal task-oriented LLM system and exploring the design space of such systems through a thought experiment contemplating the performance of diverse LLM system configurations (involving single LLMs, single LLM-based agents, and multiple LLM-based agent systems) on a complex software development task and hypothesizes the results. We discuss a pattern in our results and formulate them into three conjectures. While these conjectures may be partly based on faulty assumptions, they provide a starting point for future research. The paper then surveys a select few design parameters: covering and organizing research in LLM augmentation, prompting techniques, and uncertainty estimation, and discussing their significance. The paper notes the lack of focus on computational and energy efficiency in evaluating research in these areas. Our survey findings provide a basis for developing the concept of linear and non-linear contexts, which we define and use to enable an agent-centric projection of prompting techniques providing a lens through which prompting techniques can be viewed as multi-agent systems. The paper discusses the implications of this lens, for the cross-pollination of research between LLM prompting and LLM-based multi-agent systems; and also, for the generation of synthetic training data based on existing prompting techniques in research. In all, the scoping survey presents seven conjectures that can help guide future research efforts.


title: Asymmetric Nucleation Processes in Spontaneous Mode Switch of Active Matter

abstract: Flocking and vortical are two typical motion modes in active matter. Although it is known that the two modes can spontaneously switch between each other in a finite-size system, the switching dynamics remain elusive. In this work, by computer simulation of a two-dimensional Vicsek-like system with 1000 particles, we find from the perspective of classical nucleation theory that the forward and backward switching dynamics are asymmetric: from flocking to vortical is a one-step nucleation process, while the opposite is a two-step nucleation process with the system staying in a metastable state before reaching the final flocking state.


title: Quantum-grade nanodiamonds for ultrabright spin detection in live cells

abstract: Optically accessible spin-active nanomaterials are promising as quantum nanosensors for probing biological samples. However, achieving bioimaging-level brightness and high-quality spin properties for these materials is challenging and hinders their application in quantum biosensing. Here, we demonstrate ultrabright fluorescent nanodiamonds (NDs) containing 0.6-1.3-ppm nitrogen-vacancy (NV) centers by spin-environment engineering via enriching spin-less 12C-carbon isotopes and reducing substitutional nitrogen spin impurities. The NDs, readily introduced into cultured cells, exhibited substantially narrow optically detected magnetic resonance (ODMR) spectra, requiring 16-times less microwave excitation power to give an ODMR depth comparable to that of conventional type-Ib NDs. They show average spin-relaxation times of T1 = 0.68 ms and T_2 = 1.6 us (1.6 ms and 2.7 us maximum) that were 5- and 11-fold longer than those of type-Ib, respectively. The bulk-like NV spin properties and bright fluorescence demonstrated in this study significantly improve the sensitivity of ND-based quantum sensors for biological applications.


title: Large volume limit fibrations over fanifolds

abstract: We lift the stratified torus fibration over a fanifold constructed by Gammage--Shende to the associated Weinstein manifold-with-boundary, which is homotopic to a filtered stratified integrable system with noncompact fibers. When the fanifold admits a dual stratified space in a suitable sense, we give a stratified fibration over it completing SYZ picture. For the fanifold associated with a very affine hypersurface, we realize the latter fibration as a restriction of SYZ fibrations over the tropical hypersurface proposed by Abouzaid--Auroux--Katzarkov.


title: Unified Task and Motion Planning using Object-centric Abstractions of Motion Constraints

abstract: In task and motion planning (TAMP), the ambiguity and underdetermination of abstract descriptions used by task planning methods make it difficult to characterize physical constraints needed to successfully execute a task. The usual approach is to overlook such constraints at task planning level and to implement expensive sub-symbolic geometric reasoning techniques that perform multiple calls on unfeasible actions, plan corrections, and re-planning until a feasible solution is found. We propose an alternative TAMP approach that unifies task and motion planning into a single heuristic search. Our approach is based on an object-centric abstraction of motion constraints that permits leveraging the computational efficiency of off-the-shelf AI heuristic search to yield physically feasible plans. These plans can be directly transformed into object and motion parameters for task execution without the need of intensive sub-symbolic geometric reasoning.


title: Adaptive Control Strategy for Quadruped Robots in Actuator Degradation Scenarios

abstract: Quadruped robots have strong adaptability to extreme environments but may also experience faults. Once these faults occur, robots must be repaired before returning to the task, reducing their practical feasibility. One prevalent concern among these faults is actuator degradation, stemming from factors like device aging or unexpected operational events. Traditionally, addressing this problem has relied heavily on intricate fault-tolerant design, which demands deep domain expertise from developers and lacks generalizability. Learning-based approaches offer effective ways to mitigate these limitations, but a research gap exists in effectively deploying such methods on real-world quadruped robots. This paper introduces a pioneering teacher-student framework rooted in reinforcement learning, named Actuator Degradation Adaptation Transformer (ADAPT), aimed at addressing this research gap. This framework produces a unified control strategy, enabling the robot to sustain its locomotion and perform tasks despite sudden joint actuator faults, relying exclusively on its internal sensors. Empirical evaluations on the Unitree A1 platform validate the deployability and effectiveness of Adapt on real-world quadruped robots, and affirm the robustness and practicality of our approach.


title: Dark Matter with Exotic Mediators: The Di-Quark Portal

abstract: This work we build out complete messenger sectors for models of Frustrated Dark Matter where the Dark Sector couples to the SM through a scalar and fermionic mediator pair. The frustrated DM paradigm allows great freedom in the charge assignments of the messenger sector, allowing DM to couple to a mediator pair any representation of the SM gauge group where the scalar and fermionic mediators have the same charges. In this paper we write down all renormalizable models where the messengers make contact with the SM through pairs of quarks. These messengers may be singlets, triplets, sextets, or octets of SU(3). The mediators may additionally be in non-trivial representations of SU(2) including doublet and triplet representations. depending on the SU(3) charges of the mediator. In addition to writing the complete set of renormalizable Lagrangians, we categorize the general collider phenomenology of the models and discuss pair production and single production LHC signatures of the messenger sectors.


title: Unbiased and affordable atomic forces in ab initio Variational Monte Carlo

abstract: Ab initio quantum Monte Carlo (QMC) is a state-of-the-art numerical approach for evaluating accurate expectation values of many-body wavefunctions. However, one of the major drawbacks that still hinders widespread QMC applications is the lack of an affordable scheme to compute unbiased atomic forces. In this study, we propose a very efficient method to obtain unbiased atomic forces and pressures in the Variational Monte Carlo (VMC) framework with the Jastrow-correlated Slater determinant ansatz, exploiting the gauge-invariant and locality properties of its geminal representation. We demonstrate the effectiveness of our method for H$_2$ and Cl$_2$ molecules and for the cubic boron nitride crystal. Our framework has a better algorithmic scaling with the system size than the traditional finite-difference method, and, in practical applications, is as efficient as single-point VMC calculations. Thus, it paves the way to study dynamical properties of materials, such as phonons, and is beneficial for pursuing more reliable machine-learning interatomic potentials based on unbiased VMC forces.


title: Field transformations and invariant quantities in scalar-teleparallel theories of gravity

abstract: We study transformations of the dynamical fields - a metric, a flat affine connection and a scalar field - in scalar-teleparallel gravity theories. The theories we study belong either to the general teleparallel setting, where no further condition besides vanishing curvature is imposed on the affine connection, or the symmetric or metric teleparallel gravity, where one also imposes vanishing torsion or nonmetricity, respectively. For each of these three settings, we find a general class of scalar-teleparallel action functionals which retain their form under the aforementioned field transformations. This is achieved by generalizing the constraint of vanishing torsion or nonmetricity to non-vanishing, but algebraically constrained torsion or nonmetricity. We find a number of invariant quantities which characterize these theories independently of the choice of field variables, and relate these invariants to analogues of the conformal frames known from scalar-curvature gravity. Using these invariants, we are able to identify a number of physically relevant subclasses of scalar-teleparallel theories. We also generalize our results to multiple scalar fields, and speculate on further extended theories with non-vanishing, but algebraically constrained curvature.


title: Wellposedness and singularity formation beyond the Yudovich class

abstract: We introduce a local-in-time existence and uniqueness class for solutions to the 2d Euler equation with unbounded vorticity. Furthermore, we show that solutions belonging to this class can develop stronger singularities in finite time, meaning that they experience finite time blow up and exit the wellposedness class. Such solutions may be continued as weak solutions (potentially non-uniquely) after the singularity. While the general dynamics of 2d Euler solutions beyond the Yudovich class will certainly not be so tame, studying such solutions gives a way to study singular phenomena in a more controlled setting.


title: P2M2-Net: Part-Aware Prompt-Guided Multimodal Point Cloud Completion

abstract: Inferring missing regions from severely occluded point clouds is highly challenging. Especially for 3D shapes with rich geometry and structure details, inherent ambiguities of the unknown parts are existing. Existing approaches either learn a one-to-one mapping in a supervised manner or train a generative model to synthesize the missing points for the completion of 3D point cloud shapes. These methods, however, lack the controllability for the completion process and the results are either deterministic or exhibiting uncontrolled diversity. Inspired by the prompt-driven data generation and editing, we propose a novel prompt-guided point cloud completion framework, coined P2M2-Net, to enable more controllable and more diverse shape completion. Given an input partial point cloud and a text prompt describing the part-aware information such as semantics and structure of the missing region, our Transformer-based completion network can efficiently fuse the multimodal features and generate diverse results following the prompt guidance. We train the P2M2-Net on a new large-scale PartNet-Prompt dataset and conduct extensive experiments on two challenging shape completion benchmarks. Quantitative and qualitative results show the efficacy of incorporating prompts for more controllable part-aware point cloud completion and generation. Code and data are available at https://github.com/JLU-ICL/P2M2-Net.


title: Bespoke Approximation of Multiplication-Accumulation and Activation Targeting Printed Multilayer Perceptrons

abstract: Printed Electronics (PE) feature distinct and remarkable characteristics that make them a prominent technology for achieving true ubiquitous computing. This is particularly relevant in application domains that require conformal and ultra-low cost solutions, which have experienced limited penetration of computing until now. Unlike silicon-based technologies, PE offer unparalleled features such as non-recurring engineering costs, ultra-low manufacturing cost, and on-demand fabrication of conformal, flexible, non-toxic, and stretchable hardware. However, PE face certain limitations due to their large feature sizes, that impede the realization of complex circuits, such as machine learning classifiers. In this work, we address these limitations by leveraging the principles of Approximate Computing and Bespoke (fully-customized) design. We propose an automated framework for designing ultra-low power Multilayer Perceptron (MLP) classifiers which employs, for the first time, a holistic approach to approximate all functions of the MLP's neurons: multiplication, accumulation, and activation. Through comprehensive evaluation across various MLPs of varying size, our framework demonstrates the ability to enable battery-powered operation of even the most intricate MLP architecture examined, significantly surpassing the current state of the art.


title: Lepton universality tests and searches for new physics in charged current decays at Belle II

abstract: We present recent tests of lepton universality as crucial probes of the Standard Model in semileptonic $B$-meson decays at Belle II. All presented analyses use a data sample collected at the $\Upsilon(4S)$ resonance by the Belle II experiment corresponding to an integrated luminosity of $189\,\mathrm{fb}^{-1}$. We report three analyses that probe light-lepton universality: The first measurement of a complete set of five angular asymmetries using $\bar{B}^0 \to D^{*+} \ell^- \bar{\nu}_\ell$ decays, followed by a measurement of the forward-backward asymmetry in untagged $\bar{B}^0 \to D^{*+} \ell^- \bar{\nu}_\ell$ decays, and finally, measurements of the branching-fraction ratios $R(D^{*+}_{e/\mu}) = \mathcal{B}(\bar{B}^0 \to D^{*+} e^- \bar{\nu}_e) / \mathcal{B}(\bar{B}^0 \to D^{*+} \mu^- \bar{\nu}_\mu)$, using the same untagged data set, along with the first measurement of the inclusive light-lepton ratio $R(X_{e/\mu}) = \mathcal{B}(\bar{B} \to X e^- \bar{\nu}_e) / \mathcal{B}(\bar{B} \to X \mu^- \bar{\nu}_\mu)$. Furthermore, we present two tests of heavy-to-light lepton universality. In the first test, we report the measurement of the branching-fraction ratio $R(D^{*}_{\tau/\ell})$ using hadronic tagging. In the second test, we present the first measurement of the inclusive ratio $R(X_{\tau/\ell})$. All presented results are consistent with their corresponding Standard Model predictions and, where applicable, with the experimental world averages.


title: Visibility domains that are not pseudoconvex

abstract: The earliest examples of visibility domains, given by Bharali--Zimmer, are pseudoconvex. In fact, all known examples of visibility domains are pseudoconvex. We show that there exist non-pseudoconvex visibility domains. We supplement this proof by a general method to construct a wide range of non-pseudoconvex, hence non-Kobayashi-complete, visibility domains.


title: One-Shot Multi-Rate Pruning of Graph Convolutional Networks

abstract: In this paper, we devise a novel lightweight Graph Convolutional Network (GCN) design dubbed as Multi-Rate Magnitude Pruning (MRMP) that jointly trains network topology and weights. Our method is variational and proceeds by aligning the weight distribution of the learned networks with an a priori distribution. In the one hand, this allows implementing any fixed pruning rate, and also enhancing the generalization performances of the designed lightweight GCNs. In the other hand, MRMP achieves a joint training of multiple GCNs, on top of shared weights, in order to extrapolate accurate networks at any targeted pruning rate without retraining their weights. Extensive experiments conducted on the challenging task of skeleton-based recognition show a substantial gain of our lightweight GCNs particularly at very high pruning regimes.


title: Interpretations of syntactic fragments of theories of fields

abstract: We set up general machinery to study interpretations of fragments of theories. We then apply this to existential fragments of theories of fields, and especially of henselian valued fields. As an application we prove many-one reductions between various existential theories of fields. In particular we exhibit several theories of fields many-one equivalent to the existential theory of $\mathbb{Q}$.


title: Large Language Models for Generative Information Extraction: A Survey

abstract: Information extraction (IE) aims to extract structural knowledge (such as entities, relations, and events) from plain natural language texts. Recently, generative Large Language Models (LLMs) have demonstrated remarkable capabilities in text understanding and generation, allowing for generalization across various domains and tasks. As a result, numerous works have been proposed to harness abilities of LLMs and offer viable solutions for IE tasks based on a generative paradigm. To conduct a comprehensive systematic review and exploration of LLM efforts for IE tasks, in this study, we survey the most recent advancements in this field. We first present an extensive overview by categorizing these works in terms of various IE subtasks and learning paradigms, then we empirically analyze the most advanced methods and discover the emerging trend of IE tasks with LLMs. Based on thorough review conducted, we identify several insights in technique and promising research directions that deserve further exploration in future studies. We maintain a public repository and consistently update related resources at: \url{https://github.com/quqxui/Awesome-LLM4IE-Papers}.


title: Bessel sequences in Hilbert $C^{\ast}$-modules

abstract: In this peaper we stady certain Bessel sequences $\left\{f_k\right\}_{k=1}^{\infty}$ in Hilbert C*- modules $\mathcal{H}$ for which operator $S$ defined by \ref{eq2} is of the form $\mathcal{T}+\xi I$, for some real number $\xi$ and a adjointable linear operator $\mathcal{T}$. Additionally, we investigate frames known as compact-tight frames, which have frame operators that are compact perturbations of constant multiples of the identity. As a conclusion, we provide a theory regarding the weaving of specific compact-tight frames.


title: Discontinuous Galerkin Methods for Hypersonic Flows

abstract: In recent years, high-order discontinuous Galerkin (DG) methods have emerged as an attractive approach for numerical simulations of compressible flows. This paper presents an overview of the recent development of DG methods for compressible flows with particular focus on hypersononic flows. First, we survey state-of-the-art DG methods for computational fluid dynamics. Next, we discuss both matrix-based and matrix-free iterative methods for the solution of discrete systems stemming from the spatial DG discretizations of the compressible Navier-Stokes equations. We then describe various shock capturing methods to deal with strong shock waves in hypersonic flows. We discuss adaptivity techniques to refine high-order meshes, and synthetic boundary conditions to simulate free-stream disturbances in hypersonic boundary layers. We present a few examples to demonstrate the ability of high-order DG methods to provide accurate solutions of hypersonic laminar flows. Furthermore, we present direct numerical simulations of hypersonic transitional flow past a flared cone at Reynolds number $10.8 \times 10^6$, and hypersonic transitional shock wave boundary layer interaction flow over a flat plate at Reynolds number $3.97 \times 10^6$. These simulations run entirely on hundreds of graphics processing units (GPUs) and demonstrate the ability of DG methods to directly resolve hypersonic transitional flows, even at high Reynolds numbers, without relying on transition or turbulence models. We end the paper by offering our perspectives on error estimation, turbulence modeling, and real gas effects in hypersonic flows.


title: Lower Bounds of Entanglement Quantifiers Based On Entanglement Witnesses

abstract: To quantify the entanglement of bipartite systems in terms of some entanglement measure is a challenging problem in general, and it is much worse when the information about the system is less. In this manuscript, based on two classes of entanglement criteria, we present a method to obtain the lower bounds of the entanglement measures, concurrence, entanglement of formation, and geometrical entanglement measure.


title: Special Relativistic Covariant Fluctuation Theorems

abstract: Fluctuation theorems establish connections between fluctuations and irreversibility by considering stochastic thermodynamic quantities. In this study, we derive special relativistic covariant fluctuation theorems by defining covariant work, heat, and entropy. We focus on a driven scalar field in contact with a Markovian heat bath. For moving inertial observers relative to the heat bath, both the energy components and the momentum components of work and heat must be included to formulate the corresponding fluctuation theorems, and the four-velocity of the heat bath plays an important role. It turns out that, the irreversibility is characterized by the conventional thermodynamic quantities in the rest reference frame of the heat bath, regardless of the reference frame of the observer. Even in the nonrelativistic case, the above identification is nontrivial. We study the work statistics for a Klein-Gordon field in a driving process measured by a moving inertial observer to explicitly verify the covariant version of the Jarzynski equality.


title: Probing interacting dark sector models with future weak lensing-informed galaxy cluster abundance constraints from SPT-3G and CMB-S4

abstract: We forecast the sensitivity of ongoing and future galaxy cluster abundance measurements to detect deviations from the cold dark matter (CDM) paradigm. Concretely, we consider a class of dark sector models that feature an interaction between dark matter and a dark radiation species (IDM-DR). This setup can be naturally realized by a non-Abelian gauge symmetry and has the potential to explain $S_8$ tensions arising within $\Lambda$CDM. We create mock catalogs of the ongoing SPT-3G as well as the future CMB-S4 surveys of galaxy clusters selected via the thermal Sunyaev-Zeldovich effect (tSZE). Both datasets are complemented with cluster mass calibration from next-generation weak gravitational lensing data (ngWL) like those expected from the Euclid mission and the Vera C. Rubin Observatory. We consider an IDM-DR scenario with parameters chosen to be in agreement with Planck 2018 data and that also leads to a low value of $S_8$ as indicated by some local structure formation analyses. Accounting for systematic and stochastic uncertainties in the mass determination and the cluster tSZE selection, we find that both SPT-3G$\times$ngWL and CMB-S4$\times$ngWL cluster data will be able to discriminate this IDM-DR model from $\Lambda$CDM, and thus test whether dark matter - dark radiation interactions are responsible for lowering $S_8$. Assuming IDM-DR, we forecast that the temperature of the dark radiation can be determined to about 40% (10%) with SPT-3G$\times$ngWL (CMB-S4$\times$ngWL), considering 68% credibility, while $S_8$ can be recovered with percent-level accuracy. Furthermore, we show that IDM-DR can be discriminated from massive neutrinos, and that cluster counts will be able to constrain the dark radiation temperature to be below $\sim 10%$ (at 95% credibility) of the cosmic microwave background temperature if the true cosmological model is $\Lambda$CDM.


title: Decision Theory for Treatment Choice Problems with Partial Identification

abstract: We apply classical statistical decision theory to a large class of treatment choice problems with partial identification, revealing important theoretical and practical challenges but also interesting research opportunities. The challenges are: In a general class of problems with Gaussian likelihood, all decision rules are admissible; it is maximin-welfare optimal to ignore all data; and, for severe enough partial identification, there are infinitely many minimax-regret optimal decision rules, all of which sometimes randomize the policy recommendation. The opportunities are: We introduce a profiled regret criterion that can reveal important differences between rules and render some of them inadmissible; and we uniquely characterize the minimax-regret optimal rule that least frequently randomizes. We apply our results to aggregation of experimental estimates for policy adoption, to extrapolation of Local Average Treatment Effects, and to policy making in the presence of omitted variable bias.