title: Flavor-spin symmetry of the $P^N_{\psi}/H_{\Omega_{ccc}}^N$ and $P^\Lambda_{\psi s}/H^{\Lambda}_{\Omega_{ccc}s}$ molecular states

abstract: Based on a contact lagrangian that incorporates the SU(3) flavor and SU(2) spin symmetries, we discuss the symmetry properties of the interactions among the heavy flavor meson-baryon $P_{\psi}^N$, $P_{\psi s}^\Lambda$ (with quark components [$n\bar{c}$][$nnc$], [$s\bar{c}$][$nnc$], or [$n\bar{c}$][$nsc$]) systems and di-baryon $H_{\Omega_{ccc}}^N$, $H^{\Lambda}_{\Omega_{ccc}s}$ (with quark components [$nnc$][$ncc$], [$nnc$][$scc$] or [$nsc$][$ncc$]) systems ($n=u$, $d$). The light quark components of the $P_{\psi}^N$ ($P_{\psi s}^\Lambda$) and $H_{\Omega_{ccc}}^N$ ($H_{\Omega_{ccc}s}^\Lambda$) systems have identical flavors, the interactions generated from the exchanges of light mesons in the $P_{\psi}^N$ ($P^\Lambda_{\psi s}$) systems should be very similar to that of the $H_{\Omega_{ccc}}^N$ ($H^{\Lambda}_{\Omega_{ccc}s}$) systems. We perform the single-channel and multi-channel calculations on the $P_{\psi}^N/P^\Lambda_{\psi s}/H_{\Omega_{ccc}}^N/H^{\Lambda}_{\Omega_{ccc}s}$ systems and introduce the SU(3) breaking effect to identify the different mass spectra among the $P_{\psi}^N$ ($H_{\Omega_{ccc}}^N$) and $P^\Lambda_{\psi s}$ ($H^{\Lambda}_{\Omega_{ccc}s}$) systems. We suggest two kinds of evidences for the existence of the flavor-spin symmetry among the heavy flavor $P_{\psi}^N/H_{\Omega_{ccc}}^N/P^\Lambda_{\psi s}/H^{\Lambda}_{\Omega_{ccc}s}$ molecule community, i.e., the mass arrangements of the $P_{\psi}^N/H_{\Omega_{ccc}}^N/P^\Lambda_{\psi s}/H^{\Lambda}_{\Omega_{ccc}s}$ mass spectra and the binding energies of the heavy flavor meson-baryon (di-baryon) systems attributed to the same contact potentials.


title: Highly efficient NURBS-based isogeometric analysis for coupled nonlinear diffusion-reaction equations with and without advection

abstract: Nonlinear diffusion-reaction systems model a multitude of physical phenomena. A common situation is biological development modeling where such systems have been widely used to study spatiotemporal phenomena in cell biology. Systems of coupled diffusion-reaction equations are usually subject to some complicated features directly related to their multiphysics nature. Moreover, the presence of advection is source of numerical instabilities, in general, and adds another challenge to these systems. In this study, we propose a NURBS-based isogeometric analysis (IgA) combined with a second-order Strang operator splitting to deal with the multiphysics nature of the problem. The advection part is treated in a semi-Lagrangian framework and the resulting diffusion-reaction equations are then solved using an efficient time-stepping algorithm based on operator splitting. The accuracy of the method is studied by means of a advection-diffusion-reaction system with analytical solution. To further examine the performance of the new method on complex geometries, the well-known Schnakenberg-Turing problem is considered with and without advection. Finally, a Gray-Scott system on a circular domain is also presented. The results obtained demonstrate the efficiency of our new algorithm to accurately reproduce the solution in the presence of complex patterns on complex geometries. Moreover, the new method clarifies the effect of geometry on Turing patterns.


title: Superior Genetic Algorithms for the Target Set Selection Problem Based on Power-Law Parameter Choices and Simple Greedy Heuristics

abstract: The target set selection problem (TSS) asks for a set of vertices such that an influence spreading process started in these vertices reaches the whole graph. The current state of the art for this NP-hard problem are three recently proposed randomized search heuristics, namely a biased random-key genetic algorithm (BRKGA) obtained from extensive parameter tuning, a max-min ant system (MMAS), and a MMAS using Q-learning with a graph convolutional network. We show that the BRKGA with two simple modifications and without the costly parameter tuning obtains significantly better results. Our first modification is to simply choose all parameters of the BRKGA in each iteration randomly from a power-law distribution. The resulting parameterless BRKGA is already competitive with the tuned BRKGA, as our experiments on the previously used benchmarks show. We then add a natural greedy heuristic, namely to repeatedly discard small-degree vertices that are not necessary for reaching the whole graph. The resulting algorithm consistently outperforms all of the state-of-the-art algorithms. Besides providing a superior algorithm for the TSS problem, this work shows that randomized parameter choices and elementary greedy heuristics can give better results than complex algorithms and costly parameter tuning.


title: Bifurcation diagrams of semilinear elliptic equations for supercritical nonlinearities in two dimensions

abstract: We consider the Gelfand problem with general supercritical nonlinearities in the two-dimensional unit ball. In this paper, we prove the non-existence of an unstable solution for any small parameter and the uniformly boundedness of finite Morse index solutions. As a result, we obtain the existence of a radial singular solution and prove that the bifurcation curve has infinitely many turning points. We remark that these properties are well-known in $N$ dimensions with $3\le N \le 9$ and less known in two dimensions. The key idea of the proof is to utilize an interaction between a key gradient estimate of solutions and the supercriticality of the nonlinearities.


title: Unified equations of state for cold nonaccreting neutron stars with Brussels-Montreal functionals. V. Improved parametrization of the nucleon density distributions

abstract: We previously studied the inner crust and the pasta mantle of a neutron star within the 4th-order extended Thomas-Fermi (ETF) approach with consistent proton shell corrections added perturbatively via the Strutinsky integral (SI) theorem together with the contribution due to pairing. To speed up the computations and avoid numerical problems, we adopted parametrized nucleon density distributions. However, the errors incurred by the choice of the parametrization are expected to become more significant as the mean baryon number density is increased, especially in the pasta mantle where the differences in the energy per nucleon of the different phases are very small, typically a few keV. To improve the description of these exotic structures, we discuss the important features that a nuclear profile should fulfill and introduce two new parametrizations. Performing calculations using the BSk24 functional, we find that these parametrizations lead to lower ETF energy solutions for all pasta phases than the parametrization we adopted before and more accurately reproduce the exact equilibrium nucleon density distributions obtained from unconstrained variational calculations. Within the ETFSI method, all parametrizations predict the same composition in the region with quasi-spherical clusters. However, the two new parametrizations lead to a different mantle structure at mean baryon densities above about 0.07 fm^-3, at which point lasagna is energetically favored. Interestingly, spherical clusters reappear in the pasta region. The inverted pasta phases such as bucatini and Swiss cheese are still found in the densest region above the core in all cases.


title: Vacuum correlations of the stress-energy-momentum tensor with constituent quarks

abstract: The two point correlation function of the stress-energy-momentum tensor describes the propagation of a space-time "micro-earthquake" in the vacuum. In the framework of the path integral formulation of field theory in curved space-time, we derive the Ward-Takashi identity for two-point Green's function of the stress-energy-momentum tensor for a general case of a non-conformal theory. The identity constrains the longitudinal part of the correlator, with the vacuum expectation value of the stress-energy-momentum, non-zero in a non-conformal theory. The obtained formula is demonstrated on the free massive Dirac fermion theory, treated at the one-loop level. This example befits a class of phenomenological chiral quarks models which have been used successfully in numerous applications in the soft non-perturbative regime of strong interactions. We discuss the constraints following from the Ward-Takahashi identity for the correlation functions in these models. We also show how the temporal representation of the two-point correlators, which is an object amenable to lattice QCD, displays an expected exponential fall-off.


title: Good Books are Complex Matters: Gauging Complexity Profiles Across Diverse Categories of Perceived Literary Quality

abstract: In this study, we employ a classification approach to show that different categories of literary "quality" display unique linguistic profiles, leveraging a corpus that encompasses titles from the Norton Anthology, Penguin Classics series, and the Open Syllabus project, contrasted against contemporary bestsellers, Nobel prize winners and recipients of prestigious literary awards. Our analysis reveals that canonical and so called high-brow texts exhibit distinct textual features when compared to other quality categories such as bestsellers and popular titles as well as to control groups, likely responding to distinct (but not mutually exclusive) models of quality. We apply a classic machine learning approach, namely Random Forest, to distinguish quality novels from "control groups", achieving up to 77\% F1 scores in differentiating between the categories. We find that quality category tend to be easier to distinguish from control groups than from other quality categories, suggesting than literary quality features might be distinguishable but shared through quality proxies.


title: Phase Binarization in Mutually Synchronized Bias Field-free Spin Hall Nano-oscillators for Reservoir Computing

abstract: Mutually coupled spin Hall nano-oscillators (SHNO) can exhibit binarized phase state, offering pathways to realize Ising machines and efficient neuromorphic hardware. Conventionally, phase binarization is achieved in coupled SHNOs via injecting an external microwave at twice of the oscillator frequency in presence of a biasing magnetic field. However, this technology poses potential challenges of higher energy consumption and complex circuit design. Moreover, fabrication-induced mismatch in SHNO dimensions may hinder mutual synchronization. Addressing these challenges, we demonstrate purely DC current-driven mutual synchronization and phase binarization of two non-identical nanoconstriction SHNOs without biasing magnetic field and microwave injection. We thoroughly investigate these phenomena and underlying mechanisms using micromagnetic simulation. We further demonstrate the bias field-free synchronized SHNO pair efficiently performing a reservoir computing benchmark learning task: sin and square wave classification, utilizing current tunable phase binarization. Our results showcase promising magnetization dynamics of coupled bias field-free SHNOs for future computing applications.


title: Colored Gaussian DAG models

abstract: We study submodels of Gaussian DAG models defined by partial homogeneity constraints imposed on the model error variances and structural coefficients. We represent these models with colored DAGs and investigate their properties for use in statistical and causal inference. Local and global Markov properties are provided and shown to characterize the colored DAG model. Additional properties relevant to causal discovery are studied, including the existence and non-existence of faithful distributions and structural identifiability. Extending prior work of Peters and B\"uhlman and Wu and Drton, we prove structural identifiability under the assumption of homogeneous structural coefficients, as well as for a family of models with partially homogeneous structural coefficients. The latter models, termed BPEC-DAGs, capture additional causal insights by clustering the direct causes of each node into communities according to their effect on their common target. An analogue of the GES algorithm for learning BPEC-DAGs is given and evaluated on real and synthetic data. Regarding model geometry, we prove that these models are contractible, smooth, algebraic manifolds and compute their dimension. We also provide a proof of a conjecture of Sullivant which generalizes to colored DAG models, colored undirected graphical models and ancestral graph models. The proof yields a tool for the identification of Markov properties for rationally parameterized statistical models with globally, rationally identifiable parameters.


title: Framework to generate perfusion map from CT and CTA images in patients with acute ischemic stroke: A longitudinal and cross-sectional study

abstract: Stroke is a leading cause of disability and death. Effective treatment decisions require early and informative vascular imaging. 4D perfusion imaging is ideal but rarely available within the first hour after stroke, whereas plain CT and CTA usually are. Hence, we propose a framework to extract a predicted perfusion map (PPM) derived from CT and CTA images. In all eighteen patients, we found significantly high spatial similarity (with average Spearman's correlation = 0.7893) between our predicted perfusion map (PPM) and the T-max map derived from 4D-CTP. Voxelwise correlations between the PPM and National Institutes of Health Stroke Scale (NIHSS) subscores for L/R hand motor, gaze, and language on a large cohort of 2,110 subjects reliably mapped symptoms to expected infarct locations. Therefore our PPM could serve as an alternative for 4D perfusion imaging, if the latter is unavailable, to investigate blood perfusion in the first hours after hospital admission.


title: MM-Gaussian: 3D Gaussian-based Multi-modal Fusion for Localization and Reconstruction in Unbounded Scenes

abstract: Localization and mapping are critical tasks for various applications such as autonomous vehicles and robotics. The challenges posed by outdoor environments present particular complexities due to their unbounded characteristics. In this work, we present MM-Gaussian, a LiDAR-camera multi-modal fusion system for localization and mapping in unbounded scenes. Our approach is inspired by the recently developed 3D Gaussians, which demonstrate remarkable capabilities in achieving high rendering quality and fast rendering speed. Specifically, our system fully utilizes the geometric structure information provided by solid-state LiDAR to address the problem of inaccurate depth encountered when relying solely on visual solutions in unbounded, outdoor scenarios. Additionally, we utilize 3D Gaussian point clouds, with the assistance of pixel-level gradient descent, to fully exploit the color information in photos, thereby achieving realistic rendering effects. To further bolster the robustness of our system, we designed a relocalization module, which assists in returning to the correct trajectory in the event of a localization failure. Experiments conducted in multiple scenarios demonstrate the effectiveness of our method.


title: Elastic Curves with Variable Bending Stiffness

abstract: We study stationary points of the bending energy of curves $\gamma\colon[a,b]\to\mathbb{R}^n$ subject to constraints on the arc-length and total torsion while simultaneously allowing for a variable bending stiffness along the arc-length of the curve. Physically, this can be understood as a model for an elastic wire with isotropic cross-section of varying thickness. We derive the corresponding Euler-Lagrange equations for variations that are compactly supported away from the end points thus obtaining characterizations for elastic curves with variable bending stiffness. Moreover, we provide a collection of alternative characterizations, e.g., in terms of the curvature function. Adding to numerous known results relating elastic curves to dynamics, we establish connections between elastic curves with variable bending stiffness and damped pendulums and the flow of vortex filaments with finite thickness.


title: $\mathbb R$- and $\mathbb C$-supercyclicity for some classes of operators

abstract: The concept of $\mathbb C$-supercyclic operators was introduced by Hilden and Wallen in \cite{hilden} and, since then, a multitude of variants have been studied. In \cite{herzog1992linear}, Herzog proved that every real or complex, separable, infinite dimensional Banach space supports a $\mathbb C$-supercyclic operator. In the present paper we investigate different variants of supercyclicity, precisely $\mathbb R^+$-, $\mathbb R$- and $\mathbb C$-supercyclicity in the context of composition operators. We characterize $\mathbb R$-supercyclic composition operators on $L^p$, $1 \leq p < \infty$. Then, we turn our attention to dissipative composition operators, and we show that $\mathbb R$- and $\mathbb C$-supercyclicity are equivalent notions in this setting and they have a ``shift-like'' characterization.


title: Habitability constraints by nutrient availability in atmospheres of rocky exoplanets

abstract: Life as we know it requires the presence of liquid water and the availability of nutrients, which are mainly based on the elements C, H, N, O, P, and S (CHNOPS) and trace metal micronutrients. We aim to understand the presence of these nutrients within atmospheres that show the presence of water cloud condensates, potentially allowing the existence of aerial biospheres. In this paper we introduce a framework of nutrient availability levels based on the presence of water condensates and the chemical state of the CHNOPS elements. These nutrient availability levels are applied to a set of atmospheric models based on different planetary surface compositions resulting in a range of atmospheric compositions. The atmospheric model is a bottom-to-top equilibrium chemistry atmospheric model which includes the atmosphere-crust interaction and the element depletion due to the formation of clouds. While the reduced forms of CNS are present at the water cloud base for most atmospheric compositions, P and metals are lacking. This indicates the potential bio-availability of CNS, while P and metals are limiting factors for aerial biospheres.


title: Effect of magnetospheric conditions on the morphology of Jupiter's UV main auroral emission, as observed by Juno-UVS

abstract: Auroral emissions are a reflection of magnetospheric processes, and, at Jupiter, it is not entirely certain how the morphology of the UV main emission (ME) varies with magnetospheric compression or the strength of the central current sheet. This work leverages the observations from Juno-UVS to link ME variability with magnetospheric states. Novel arc-detection techniques are used to determine new reference ovals for the ME from perijoves 1 through 54, in both hemispheres, and analyse how the size and shape of the ME vary compared to this reference oval. The morphology and brightness of the ME vary in local time: the dawn-side ME is typically expanded and the dusk-side ME typically contracted compared to the reference oval, and the dusk-side ME being typically twice as bright as the dawn-side ME. Both the northern and southern ME, and the day-side and night-side ME, expand and contract from their reference ovals synchronously, which indicates that the variable size of the ME is caused by a process occurring throughout the jovian magnetosphere. The poleward latitudinal shift of the auroral footprint of Ganymede correlates with the poleward motion of the ME, whereas a similar relation is not present for the footprint of Io. Additionally, the expansion of the ME correlates well with an increase in magnetodisc current. These two results suggest that a changing current-sheet magnetic field is partially responsible for the variable size of the ME. Finally, magnetospheric compression is linked to a global ME contraction and brightening, though this brightening occurs predominantly in the day-side ME. This observation, and the observation that the dusk-side ME is typically brighter than the dawn-side ME, stands in contrast to the modelled and observed behaviour of field-aligned currents and thus weakens the theoretical link between field-aligned currents and the generation of the auroral ME.


title: Willkommens-Merkel, Chaos-Johnson, and Tore-Klose: Modeling the Evaluative Meaning of German Personal Name Compounds

abstract: We present a comprehensive computational study of the under-investigated phenomenon of personal name compounds (PNCs) in German such as Willkommens-Merkel ('Welcome-Merkel'). Prevalent in news, social media, and political discourse, PNCs are hypothesized to exhibit an evaluative function that is reflected in a more positive or negative perception as compared to the respective personal full name (such as Angela Merkel). We model 321 PNCs and their corresponding full names at discourse level, and show that PNCs bear an evaluative nature that can be captured through a variety of computational methods. Specifically, we assess through valence information whether a PNC is more positively or negatively evaluative than the person's name, by applying and comparing two approaches using (i) valence norms and (ii) pretrained language models (PLMs). We further enrich our data with personal, domain-specific, and extra-linguistic information and perform a range of regression analyses revealing that factors including compound and modifier valence, domain, and political party membership influence how a PNC is evaluated.


title: Numerical study of neutral and charged microgel suspensions: from single-particle to collective behavior

abstract: We perform extensive Molecular Dynamics simulations of an ensemble of realistic microgel particles in swollen conditions in a wide range of packing fractions $\zeta$. We compare neutral and charged microgels, where we consider charges distribution adherent to experimental conditions. Through a detailed analysis of single-particle behavior, we are able to identify the different regimes occurring upon increasing concentration: from shrinking to deformation and interpenetration, always connecting our findings to available experimental observations. We then link these single-particle features to the collective behavior of the suspension, finding evidence of a structural reentrance, that has no counterpart in the dynamics. Hence, while the maximum of the radial distribution function displays a non-monotonic behavior with increasing $\zeta$, the dynamics, quantified by the microgels' mean-squared displacement, always slows down. Key similarities and differences between neutral and charged microgels are identified. Importantly, at high enough $\zeta$ we also detect the fusion of the shells of charged microgels, that was previously invoked to explain key experimental findings. This highlights the fact that even for standard poly(N-isopropylacrylamide) microgels, commonly considered as a prototype of soft colloid, charge effects are relevant. Overall, our study establishes a powerful framework to uncover the physics of microgel suspensions under several different conditions. Indeed, it can be readily extended to tackle different regimes, e.g. high temperature, and systems, e.g. complex microgel topologies such as ultra-low-crosslinked ones, where experimental evidence is still limited.


title: Impacts of nonthermal emission on the images of a black hole shadow and extended jets in two-temperature GRMHD simulations

abstract: The recent 230 GHz observations from the Event Horizon Telescope collaboration can image the innermost structure of the M87 galaxy showing the shadow of the black hole, a photon ring, and a ring-like structure that agrees with thermal synchrotron emission from the accretion disc. However, at lower frequencies, M87 is characterized by a large-scale jet with clear signatures of nonthermal emission. It is necessary to explore the impacts of nonthermal emission on black hole shadow images and extended jets, especially at lower frequencies. In this study, we aim to compare models with different electron heating prescriptions and investigate how these prescriptions and nonthermal electron distributions may affect black hole shadow images and the broadband spectrum energy distribution (SED) function. We performed general relativistic radiative transfer (GRRT) calculations in various two-temperature general relativistic magnetohydrodynamic (GRMHD) models utilizing different black hole spins and different electron heating prescriptions coupled with different electron distribution functions (eDFs). Through a comparison with GRRT images and SEDs, we found that when considering a variable kappa eDF, the parameterized prescription of the R-beta model with Rh = 1 is similar to the model with electron heating in the morphology of images, and the SEDs at a high-frequency. This is consistent with previous studies using the thermal eDF. However, the nuance between them could be differentiated through the diffuse extended structure seen in GRRT images, especially at a lower frequency, and the behavior of SEDs at low frequency. The emission from the nearside jet region is enhanced in the reconnection heating case and it will increase the contribution from the regions with stronger magnetization is included or if the magnetic energy contribution to kappa eDF mainly in the magnetized regions is considered.


title: Arboreal Galois groups for cubic polynomials with colliding critical points

abstract: Let $K$ be a field, and let $f\in K(z)$ be a rational function of degree $d\geq 2$. The Galois group of the field extension generated by the preimages of $x_0\in K$ under all iterates of $f$ naturally embeds in the automorphism group of an infinite $d$-ary rooted tree. In some cases the Galois group can be the full automorphism group of the tree, but in other cases it is known to have infinite index. In this paper, we consider a previously unstudied such case: that $f$ is a polynomial of degree $d=3$, and the two finite critical points of $f$ collide at the $\ell$-th iteration, for some $\ell\geq 2$. We describe an explicit subgroup $Q_{\ell,\infty}$ of automorphisms of the $3$-ary tree in which the resulting Galois group must always embed, and we present sufficient conditions for this embedding to be an isomorphism.


title: A Dataset for Physical and Abstract Plausibility and Sources of Human Disagreement

abstract: We present a novel dataset for physical and abstract plausibility of events in English. Based on naturally occurring sentences extracted from Wikipedia, we infiltrate degrees of abstractness, and automatically generate perturbed pseudo-implausible events. We annotate a filtered and balanced subset for plausibility using crowd-sourcing, and perform extensive cleansing to ensure annotation quality. In-depth quantitative analyses indicate that annotators favor plausibility over implausibility and disagree more on implausible events. Furthermore, our plausibility dataset is the first to capture abstractness in events to the same extent as concreteness, and we find that event abstractness has an impact on plausibility ratings: more concrete event participants trigger a perception of implausibility.


title: Which Experimental Design is Better Suited for VQA Tasks? Eye Tracking Study on Cognitive Load, Performance, and Gaze Allocations

abstract: We conducted an eye-tracking user study with 13 participants to investigate the influence of stimulus-question ordering and question modality on participants using visual question-answering (VQA) tasks. We examined cognitive load, task performance, and gaze allocations across five distinct experimental designs, aiming to identify setups that minimize the cognitive burden on participants. The collected performance and gaze data were analyzed using quantitative and qualitative methods. Our results indicate a significant impact of stimulus-question ordering on cognitive load and task performance, as well as a noteworthy effect of question modality on task performance. These findings offer insights for the experimental design of controlled user studies in visualization research.


title: InstructHumans: Editing Animated 3D Human Textures with Instructions

abstract: We present InstructHumans, a novel framework for instruction-driven 3D human texture editing. Existing text-based editing methods use Score Distillation Sampling (SDS) to distill guidance from generative models. This work shows that naively using such scores is harmful to editing as they destroy consistency with the source avatar. Instead, we propose an alternate SDS for Editing (SDS-E) that selectively incorporates subterms of SDS across diffusion timesteps. We further enhance SDS-E with spatial smoothness regularization and gradient-based viewpoint sampling to achieve high-quality edits with sharp and high-fidelity detailing. InstructHumans significantly outperforms existing 3D editing methods, consistent with the initial avatar while faithful to the textual instructions. Project page: https://jyzhu.top/instruct-humans .


title: Refutability as Recursive as Provability

abstract: Godel numbering is an arithmetization of sintax which defines provability by coding a primitive recursive predicate, Pf(x,v). A multiplicity of researches and results all around this well-known recursive predicate are today widespread in many areas of logic and AI. Not equally investigated is the refutability predicate defined by Godel numbering within the same primitive recursive status. Rf(x,v) can be defined as a recursive predicate meaning that x is the Godel number of a refutation in PA of the formula with Godel number v. This article proposes a logical investigation of the interactive links between provability and refutability predicates when defined within the same recursive status. The resulting Lemmas are clarifying and open new perspectives for the incompleteness argument and the codings of its underlying notions.


title: Reconstructing a pseudotree from the distance matrix of its boundary

abstract: A vertex $v$ of a connected graph $G$ is said to be a boundary vertex of $G$ if for some other vertex $u$ of $G$, no neighbor of $v$ is further away from $u$ than $v$. The boundary $\partial(G)$ of $G$ is the set of all of its boundary vertices. The distance matrix $\hat{D}_G$ of the boundary of a graph $G$ is the square matrix of order $\kappa$, being $\kappa$ the order of $\partial(G)$, such that for every $i,j\in \partial(G)$, $[\hat{D}_G]_{ij}=d_G(i,j)$. Given a square matrix $\hat{B}$ of order $\kappa$, we prove under which conditions $\hat{B}$ is the distance matrix $\hat{D}_T$ of the set of leaves of a tree $T$, which is precisely its boundary. We show that if $G$ is either a tree or a unicyclic graph with girth $g\geq 5$ vertices, then $G$ is uniquely determined by the distance matrix $\hat{D}_{G}$ of the boundary of $G$ and we also conjecture that this statement holds for every connected graph. Moreover, two algorithms for reconstructing a tree and a unicyclic graph from the distance matrix of their boundaries are given, whose time complexities in the worst case are, respectively, $O(\kappa n)$ and $O(n^2)$.


title: Dynamic Risk Assessment Methodology with an LDM-based System for Parking Scenarios

abstract: This paper describes the methodology for building a dynamic risk assessment for ADAS (Advanced Driving Assistance Systems) algorithms in parking scenarios, fusing exterior and interior perception for a better understanding of the scene and a more comprehensive risk estimation. This includes the definition of a dynamic risk methodology that depends on the situation from inside and outside the vehicle, the creation of a multi-sensor dataset of risk assessment for ADAS benchmarking purposes, and a Local Dynamic Map (LDM) that fuses data from the exterior and interior of the car to build an LDM-based Dynamic Risk Assessment System (DRAS).


title: The Origin of Mutational Epistasis

abstract: The interconnected processes of protein folding, mutations, epistasis, and evolution have all been the subject of extensive analysis throughout the years due to their significance for structural and evolutionary biology. The origin (molecular basis) of epistasis (the non-additive interactions between mutations) is still, nonetheless, unknown. The existence of a new perspective on protein folding (a problem that needs to be conceived as an analytic whole) will enable us to shed light on the origin of mutational epistasis at the simplest level (within proteins) while also uncovering the reasons on why the genetic background in which they occur (a key component of molecular evolution) could foster changes in epistasis effects. Additionally, because mutations are the source of epistasis, more research is needed to determine the impact of posttranslational modifications (which have the potential to increase the diversity of the proteome by several orders of magnitude) on both mutational epistasis and protein evolvability. Finally, a protein evolution thermodynamic-based analysis that does not consider specific mutational steps or epistasis effects will be discussed. Our study explores the complex processes behind the evolution of proteins upon mutations, clearing up some previously unresolved issues and providing direction for further research in this area.


title: Teaching Llama a New Language Through Cross-Lingual Knowledge Transfer

abstract: This paper explores cost-efficient methods to adapt pretrained Large Language Models (LLMs) to new lower-resource languages, with a specific focus on Estonian. Leveraging the Llama 2 model, we investigate the impact of combining cross-lingual instruction-tuning with additional monolingual pretraining. Our results demonstrate that even a relatively small amount of additional monolingual pretraining followed by cross-lingual instruction-tuning significantly enhances results on Estonian. Furthermore, we showcase cross-lingual knowledge transfer from high-quality English instructions to Estonian, resulting in improvements in commonsense reasoning and multi-turn conversation capabilities. Our best model, named \textsc{Llammas}, represents the first open-source instruction-following LLM for Estonian. Additionally, we publish Alpaca-est, the first general task instruction dataset for Estonia. These contributions mark the initial progress in the direction of developing open-source LLMs for Estonian.


title: Study of mass outflow rates from magnetized advective accretion disk around rotating black holes

abstract: We develop and discuss a model formalism to study the properties of mass outflows that are emerged out from a relativistic, magnetized, viscous, advective accretion flow around a rotating black hole. In doing so, we consider the toroidal component as the dominant magnetic fields and synchrotron process is the dominant cooling mechanism inside the accretion disk. With this, we self-consistently solve the coupled accretion-ejection governing equations in the steady state and obtain the shock-induced global inflow-outflow solutions in terms of the inflow parameters, namely plasma-$\beta$ ($=p_{\rm gas}/p_{\rm mag}$, $p_{\rm gas}$ and $p_{\rm mag}$ being gas and magnetic pressures), accretion rates ($\dot m$) and viscosity ($\alpha_{\rm B}$), respectively. Using these solutions, we compute the mass outflow rate ($R_{\dot m}$, the ratio of outflow to inflow mass flux) and find that mass loss from the magnetized accretion disk continues to take place for wide range of inflow parameters and black hole spin ($a_{\rm k}$). We also observe that $R_{\dot m}$ strongly depends on plasma-$\beta$, $\dot m$, $\alpha_{\rm B}$ and $a_{\rm k}$, and it increases as the magnetic activity inside the accretion disk is increased. Further, we compute the maximum mass outflow rate ($R^{\rm max}_{\dot m}$) by freely varying the inflow parameters and find that for magnetic pressure dominated disk, $R^{\rm max}_{\dot m} \sim 24\%$ ($\sim 30\%$) for $a_{\rm k}=0.0$ ($0.99$). Finally, while discussing the implication of our model formalism, we compute the maximum jet kinetic power using $R^{\rm max}_{\dot m}$ which appears to be in close agreement with the observed jet kinetic power of several black hole sources.


title: A Comparison of Methods for Evaluating Generative IR

abstract: Information retrieval systems increasingly incorporate generative components. For example, in a retrieval augmented generation (RAG) system, a retrieval component might provide a source of ground truth, while a generative component summarizes and augments its responses. In other systems, a large language model (LLM) might directly generate responses without consulting a retrieval component. While there are multiple definitions of generative information retrieval (Gen-IR) systems, in this paper we focus on those systems where the system's response is not drawn from a fixed collection of documents or passages. The response to a query may be entirely new text. Since traditional IR evaluation methods break down under this model, we explore various methods that extend traditional offline evaluation approaches to the Gen-IR context. Offline IR evaluation traditionally employs paid human assessors, but increasingly LLMs are replacing human assessment, demonstrating capabilities similar or superior to crowdsourced labels. Given that Gen-IR systems do not generate responses from a fixed set, we assume that methods for Gen-IR evaluation must largely depend on LLM-generated labels. Along with methods based on binary and graded relevance, we explore methods based on explicit subtopics, pairwise preferences, and embeddings. We first validate these methods against human assessments on several TREC Deep Learning Track tasks; we then apply these methods to evaluate the output of several purely generative systems. For each method we consider both its ability to act autonomously, without the need for human labels or other input, and its ability to support human auditing. To trust these methods, we must be assured that their results align with human assessments. In order to do so, evaluation criteria must be transparent, so that outcomes can be audited by human assessors.


title: The Stochastic Guitar

abstract: Stochastic physics is a central pillar of modern research in many fields, but is rarely presented to undergrad students in a hands-on experiment. Here, we demonstrate how a human-scale, simple, and affordable experimental setup can be used to fill this gap, and to illustrate many advanced concepts in a step-by-step approach. Based on a metal wire (such as a guitar string), our setup facilitates the observation of fluctuating dynamics in the time domain, the frequency spectrum, and in the rotating phase space. The latter allows introducing time-dependent cross-correlations between the sine and cosine quadratures of the stochastic motion, which feature deterministic order even in the absence of any deterministic forces.


title: Analyzing the Influence of Geometrical Deformation on Photon Sphere and Shadow Radius: A New Analytical Approach -- Spherically Symmetric Spacetimes

abstract: In this paper, we introduce a new approach to study the behavior of the photon sphere and shadow radius. Our method uses extended gravitational decoupling and reveals two important analytic results. First, the additional matter field alters the photon sphere radius: it increases if $g'(r_{ph}^{(0)})>0$ and decreases if $g'(r_{ph}^{(0)})<0$ (where $g'$ represents the derivative of a specific metric function evaluated at the original photon sphere radius). Second, the presence of the matter field can modify the black hole shadow size. If $g\left(r_{ph}^{(0)}\right)>0$, the shadow shrinks, while it grows for $g\left(r_{ph}^{(0)}\right)<0$. These findings provide a deeper insight into how matter distribution influences the characteristics of black holes and their observable features. Through a systematic framework and various illustrative examples, our investigation not only clarifies these fundamental aspects but also significantly enhances the theoretical framework of black hole astrophysics.


title: Constraining stellar tidal quality factors from planet-induced stellar spin-up

abstract: The dynamical evolution of tight star-planet systems is influenced by tidal interactions between the star and the planet, as was shown recently. The rate at which spins and orbits in such a system evolve depends on the stellar and planetary tidal dissipation efficiency. Here, we present a method to constrain the modified tidal quality factor $Q'_*$ of a planet-hosting star whose rotational evolution has been altered by its planet through angular momentum transfer from the planetary orbital motion to the rotation of the stellar convective zone. The altered rotation is estimated from an observed discrepancy of magnetic activity of the planet-hosting star and a coeval companion star, i.e. this method is applicable to star-planet systems with wide stellar companions. We give an example of the planet-hosting wide binary system HD189733 and find that the planet host's modified tidal quality factor is constrained to be $Q'_* \leq 2.33 \times 10^7$.


title: Revealing the Boundary between Quantum Mechanics and Classical Model by EPR-Steering Inequality

abstract: In quantum information, the Werner state is a benchmark to test the boundary between quantum mechanics and classical models. There have been three well-known critical values for the two-qubit Werner state, i.e., $V_{\rm c}^{\rm E}=1/3$ characterizing the boundary between entanglement and separable model, $V_{\rm c}^{\rm B}=1/K_G(3)$ characterizing the boundary between Bell's nonlocality and the local-hidden-variable model, while $V_{\rm c}^{\rm S}=1/2$ characterizing the boundary between Einstein-Podolsky-Rosen (EPR) steering and the local-hidden-state model. So far, the problem of $V_{\rm c}^{\rm E}=1/3$ has been completely solved by an inequality involving in the positive-partial-transpose criterion, while how to reveal the other two critical values by the inequality approach are still open. In this work, we focus on EPR steering, which is a form of quantum nonlocality intermediate between entanglement and Bell's nonlocality. By proposing the optimal $N$-setting linear EPR-steering inequalities, we have successfully obtained the desired value $V_{\rm c}^{\rm S}=1/2$ for the two-qubit Werner state, thus resolving the long-standing problem.


title: Cycle Life Prediction for Lithium-ion Batteries: Machine Learning and More

abstract: Batteries are dynamic systems with complicated nonlinear aging, highly dependent on cell design, chemistry, manufacturing, and operational conditions. Prediction of battery cycle life and estimation of aging states is important to accelerate battery R&D, testing, and to further the understanding of how batteries degrade. Beyond testing, battery management systems rely on real-time models and onboard diagnostics and prognostics for safe operation. Estimating the state of health and remaining useful life of a battery is important to optimize performance and use resources optimally. This tutorial begins with an overview of first-principles, machine learning, and hybrid battery models. Then, a typical pipeline for the development of interpretable machine learning models is explained and showcased for cycle life prediction from laboratory testing data. We highlight the challenges of machine learning models, motivating the incorporation of physics in hybrid modeling approaches, which are needed to decipher the aging trajectory of batteries but require more data and further work on the physics of battery degradation. The tutorial closes with a discussion on generalization and further research directions.


title: No Time to Train: Empowering Non-Parametric Networks for Few-shot 3D Scene Segmentation

abstract: To reduce the reliance on large-scale datasets, recent works in 3D segmentation resort to few-shot learning. Current 3D few-shot segmentation methods first pre-train models on 'seen' classes, and then evaluate their generalization performance on 'unseen' classes. However, the prior pre-training stage not only introduces excessive time overhead but also incurs a significant domain gap on 'unseen' classes. To tackle these issues, we propose a Non-parametric Network for few-shot 3D Segmentation, Seg-NN, and its Parametric variant, Seg-PN. Without training, Seg-NN extracts dense representations by hand-crafted filters and achieves comparable performance to existing parametric models. Due to the elimination of pre-training, Seg-NN can alleviate the domain gap issue and save a substantial amount of time. Based on Seg-NN, Seg-PN only requires training a lightweight QUEry-Support Transferring (QUEST) module, which enhances the interaction between the support set and query set. Experiments suggest that Seg-PN outperforms previous state-of-the-art method by +4.19% and +7.71% mIoU on S3DIS and ScanNet datasets respectively, while reducing training time by -90%, indicating its effectiveness and efficiency.


title: Generalization of Ramanujan Famous Nested Radicals to the nth Root and their Evaluation

abstract: Srinivasa Ramanujan posed a problem on infinite nested radical of the square root in the Journal of Indian Mathematical Society in 1911. He had generated the problem years before in the form of an example illustrating a more general theorem. Of course, how we would figure the solution out without Ramanujan theorem was scarcely obvious. Generation of infinite nested radicals, the roots being of higher order i.e. proceeding from the cube roots to the nth root as well as their evaluation may seem to be somewhat complex. For this purpose a general solution in the form of a theorem needs to be provided whereby symmetric patterns of infinite nested radicals of any order of roots may be evaluated including that of Ramanujan involving square root. In our work, we have rendered the required solution.


title: An Insight of Heart-Like Systems with Percolation

abstract: We study the signal percolation through heart-like biological system. Starting from an initial distribution of Waiting and Inactive cells with probabilities $p$ and $(1-p)$ respectively the signal propagation is observed in terms of Active cells. As the signal enters the system from one end, the number of arrival of Active sites at the other end is studied and analysis of the system behaviour is made by varying a few important parameters of the system like $p_{switch}$ (switching probability from Inactive to Waiting) and $p_{act}$ (switching probability from Waiting to active). In this connection, the non-regular heart rhythms are discussed. Fraction of percolating paths through the system is studied and showed a transition from $0$ to $1$ near $p=p_c$. Some other important quantities like tortuosity and cluster distribution are discussed and corresponding exponents have been found.


title: Attosecond Rabi Oscillations in High Harmonic Generation Resonantly Driven by Extreme Ultraviolet Laser Fields

abstract: High-order harmonic generation driven by intense extreme ultraviolet (EUV) fields merges quantum optics and attosecond science, giving rise to an appealing route for the generation of coherent EUV and soft X-ray light for high-resolution imaging and spectroscopies. We theoretically investigate ultrafast resonant dynamics during the interaction of He atoms with strong extreme ultraviolet pulses. At high driving intensities, we identify record fast attosecond Rabi oscillations imprinting observable signatures in the high harmonic spectrum. At field strengths suppressing the Coulomb potential barrier for all the bounded states, we demonstrate the survival of the attosecond two-level dynamics for several Rabi cycles. Consequently, this intense EUV laser-atom interaction reveals a new strong-field scenario where the resonant coupling of two-level bound-bound transitions prevails, contrasting with the dominance of bound-continuum transitions in the conventional strong-field infrared regimes. These findings set an interesting perspective for extreme attosecond nonlinear optics with intense short-wavelength fields.


title: Constructive proofs for some semilinear PDEs on $H^2(e^{|x|^2/4},\mathbb{R}^d)$

abstract: We develop computer-assisted tools to study semilinear equations of the form \begin{equation*} -\Delta u -\frac{x}{2}\cdot \nabla{u}= f(x,u,\nabla u) ,\quad x\in\mathbb{R}^d. \end{equation*} Such equations appear naturally in several contexts, and in particular when looking for self-similar solutions of parabolic PDEs. We develop a general methodology, allowing us not only to prove the existence of solutions, but also to describe them very precisely. We introduce a spectral approach based on an eigenbasis of $\mathcal{L}:= -\Delta -\frac{x}{2}\cdot \nabla$ in spherical coordinates, together with a quadrature rule allowing to deal with nonlinearities, in order to get accurate approximate solutions. We then use a Newton-Kantorovich argument, in an appropriate weighted Sobolev space, to prove the existence of a nearby exact solution. We apply our approach to nonlinear heat equations, to nonlinear Schr\"odinger equations and to a generalised viscous Burgers equation, and obtain both radial and non-radial self-similar profiles.


title: Higher-Order Analysis of Three-Dimensional Anisotropy in Imbalanced Alfv\'enic Turbulence

abstract: We analyze in-situ observations of imbalanced solar wind turbulence to evaluate MHD turbulence models grounded in "Critical Balance" (CB) and "Scale-Dependent Dynamic Alignment" (SDDA). At energy injection scales, both outgoing and ingoing modes exhibit a weak cascade; a simultaneous tightening of SDDA is noted. Outgoing modes persist in a weak cascade across the inertial range, while ingoing modes shift to a strong cascade at $\lambda \approx 3 \times 10^{4} d_i$, with associated spectral scalings deviating from expected behavior due to "anomalous coherence" effects. The inertial range comprises two distinct sub-inertial segments. Beyond $\lambda \gtrsim 100 d_i$, eddies adopt a field-aligned tube topology, with SDDA signatures mainly evident in high amplitude fluctuations. The scaling exponents $\zeta_{n}$ of the $n$-th order conditional structure functions, orthogonal to both the local mean field and fluctuation direction, align with the analytical models of Chandran et al. 2015 and Mallet et al. 2017, indicating "multifractal" statistics and strong intermittency; however, scaling in parallel and displacement components is more concave than predicted, possibly influenced by expansion effects. Below $\lambda \approx 100 d_i$, eddies become increasingly anisotropic, evolving into thin current sheet-like structures. Concurrently, $\zeta_{n}$ scales linearly with order, marking a shift towards "monofractal" statistics. At $\lambda \approx 8 d_i$, the increase in aspect ratio halts, and the eddies become quasi-isotropic. This change may signal tearing instability, leading to reconnection, or result from energy redirection into the ion-cyclotron wave spectrum, aligning with the "helicity barrier". Our analysis utilizes 5-point structure functions, proving more effective than the traditional 2-point method in capturing steep scaling behaviors at smaller scales.


title: An unoriented analogue of slice-torus invariant

abstract: A slice-torus invariant is an $\mathbb{R}$-valued homomorphism on the knot concordance group whose value gives a lower bound for the 4-genus such that the equality holds for any positive torus knot. Such invariants have been discovered in many of knot homology theories, while it is known that any slice-torus invariant does not factor through the topological concordance group. In this paper, we introduce the notion of "unoriented slice-torus invariant", which can be regarded as the same as slice-torus invariant except for the condition about the orientability of surfaces. Then we show that the Ozsv\'ath-Stipsicz-Szab\'o $\upsilon$-invariant, the Ballinger $t$-invariant and the Daemi-Scaduto $h_{\mathbb{Z}}$-invariant (shifted by a half of the knot signature) are unoriented slice-torus invariants. As an application, we give a new method for computing the above invariants, which is analogous to Livingston's method for computing slice-torus invariants. Moreover, we use the method to prove that any unoriented slice-torus invariant does not factor through the topological concordance group.


title: Score identity Distillation: Exponentially Fast Distillation of Pretrained Diffusion Models for One-Step Generation

abstract: We introduce Score identity Distillation (SiD), an innovative data-free method that distills the generative capabilities of pretrained diffusion models into a single-step generator. SiD not only facilitates an exponentially fast reduction in Fr\'echet inception distance (FID) during distillation but also approaches or even exceeds the FID performance of the original teacher diffusion models. By reformulating forward diffusion processes as semi-implicit distributions, we leverage three score-related identities to create an innovative loss mechanism. This mechanism achieves rapid FID reduction by training the generator using its own synthesized images, eliminating the need for real data or reverse-diffusion-based generation, all accomplished within significantly shortened generation time. Upon evaluation across four benchmark datasets, the SiD algorithm demonstrates high iteration efficiency during distillation and surpasses competing distillation approaches, whether they are one-step or few-step, data-free, or dependent on training data, in terms of generation quality. This achievement not only redefines the benchmarks for efficiency and effectiveness in diffusion distillation but also in the broader field of diffusion-based generation. The PyTorch implementation is available at https://github.com/mingyuanzhou/SiD


title: Alternative Proof of the Determinant of Complete Non-Ambiguous Trees

abstract: Complete non-ambiguous trees have been studied in various contexts. Recently, a conjecture was made about their determinants, and subsequently proved by Aval. An alternative proof is given here.


title: On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives

abstract: Human oversight is currently discussed as a potential safeguard to counter some of the negative aspects of high-risk AI applications. This prompts a critical examination of the role and conditions necessary for what is prominently termed effective or meaningful human oversight of these systems. This paper investigates effective human oversight by synthesizing insights from psychological, legal, philosophical, and technical domains. Based on the claim that the main objective of human oversight is risk mitigation, we propose a viable understanding of effectiveness in human oversight: for human oversight to be effective, the oversight person has to have (a) sufficient causal power with regard to the system and its effects, (b) suitable epistemic access to relevant aspects of the situation, (c) self-control, and (d) fitting intentions for their role. Furthermore, we argue that this is equivalent to saying that an oversight person is effective if and only if they are morally responsible and have fitting intentions. Against this backdrop, we suggest facilitators and inhibitors of effectiveness in human oversight when striving for practical applicability. We discuss factors in three domains, namely, the technical design of the system, individual factors of oversight persons, and the environmental circumstances in which they operate. Finally, this paper scrutinizes the upcoming AI Act of the European Union -- in particular Article 14 on Human Oversight -- as an exemplary regulatory framework in which we study the practicality of our understanding of effective human oversight. By analyzing the provisions and implications of the European AI Act proposal, we pinpoint how far that proposal aligns with our analyses regarding effective human oversight as well as how it might get enriched by our conceptual understanding of effectiveness in human oversight.


title: The Hadamard variational formula for Riesz capacity and its applications

abstract: In this paper, our focus lies on a fundamental geometric invariant known as Riesz capacity, which holds an essential position in potential theory. We establish the Hadamard variational formula for Riesz capacity of convex bodies. As a meaningful application, we derive a Serrin-type symmetry result for an overdetermined problem.


title: KRATOS: A large suite of N-body simulations to interpret the stellar kinematics of LMC-like discs

abstract: We present KRATOS, a comprehensive suite of 28 open access pure N-body simulations of isolated and interacting LMC-like galaxies, to study the formation of substructures in their disc after the interaction with an SMC-mass galaxy. The primary objective of this paper is to provide theoretical models that help interpreting the formation of general structures of an LMC-like galaxy under various tidal interaction scenarios. This is the first paper of a series that will be dedicated to the analysis of this complex interaction. Simulations are grouped in 11 sets of at most three configurations each containing: (1) a control model of an isolated LMC-like galaxy; (2) a model that contains the interaction with an SMC-mass galaxy, and; (3) the most realistic configuration where both an SMC-mass and MW-mass galaxies may interact with the LMC-like galaxy. In each simulation, we analyse the orbital history between the three galaxies and examine the morphological and kinematic features of the LMC-like disc galaxy throughout the interaction. This includes investigating the disc scale height and velocity maps. When a bar develops, our analysis involves characterising its strength, length, off-centeredness and pattern speed. The diverse outcomes found in the KRATOS simulations, including the presence of bars, warped discs, or various spiral arm shapes (along with the high spatial, temporal, and mass resolution used), demonstrate their capability to explore a range of LMC-like galaxy morphologies. Those directly correspond to distinct disc kinematic maps, making them well-suited for a first-order interpretation of the LMC's kinematic maps. From the simulations we note that tidal interactions can: boost the disc scale height; both destroy and create bars, and; naturally explain the off-center stellar bars. The bar length and pattern speed of long-lived bars are not appreciably altered by the interaction.


title: Derivative-free tree optimization for complex systems

abstract: A tremendous range of design tasks in materials, physics, and biology can be formulated as finding the optimum of an objective function depending on many parameters without knowing its closed-form expression or the derivative. Traditional derivative-free optimization techniques often rely on strong assumptions about objective functions, thereby failing at optimizing non-convex systems beyond 100 dimensions. Here, we present a tree search method for derivative-free optimization that enables accelerated optimal design of high-dimensional complex systems. Specifically, we introduce stochastic tree expansion, dynamic upper confidence bound, and short-range backpropagation mechanism to evade local optimum, iteratively approximating the global optimum using machine learning models. This development effectively confronts the dimensionally challenging problems, achieving convergence to global optima across various benchmark functions up to 2,000 dimensions, surpassing the existing methods by 10- to 20-fold. Our method demonstrates wide applicability to a wide range of real-world complex systems spanning materials, physics, and biology, considerably outperforming state-of-the-art algorithms. This enables efficient autonomous knowledge discovery and facilitates self-driving virtual laboratories. Although we focus on problems within the realm of natural science, the advancements in optimization techniques achieved herein are applicable to a broader spectrum of challenges across all quantitative disciplines.


title: The De Giorgi method for local and nonlocal systems

abstract: We extend the De Giorgi iteration technique to the vectorial setting. For this we replace the usual scalar truncation operator by a vectorial shortening operator. As an application, we prove local boundedness for local and nonlocal nonlinear systems. Furthermore, we show convex hull properties, which are a generalization of the maximum principle to the case of systems.


title: Fusing Dictionary Learning and Support Vector Machines for Unsupervised Anomaly Detection

abstract: We study in this paper the improvement of one-class support vector machines (OC-SVM) through sparse representation techniques for unsupervised anomaly detection. As Dictionary Learning (DL) became recently a common analysis technique that reveals hidden sparse patterns of data, our approach uses this insight to endow unsupervised detection with more control on pattern finding and dimensions. We introduce a new anomaly detection model that unifies the OC-SVM and DL residual functions into a single composite objective, subsequently solved through K-SVD-type iterative algorithms. A closed-form of the alternating K-SVD iteration is explicitly derived for the new composite model and practical implementable schemes are discussed. The standard DL model is adapted for the Dictionary Pair Learning (DPL) context, where the usual sparsity constraints are naturally eliminated. Finally, we extend both objectives to the more general setting that allows the use of kernel functions. The empirical convergence properties of the resulting algorithms are provided and an in-depth analysis of their parametrization is performed while also demonstrating their numerical performance in comparison with existing methods.


title: Discrete Fr\'echet Distance Oracles

abstract: It is unlikely that the discrete Fr\'echet distance between two curves of length $n$ can be computed in strictly subquadratic time. We thus consider the setting where one of the curves, $P$, is known in advance. In particular, we wish to construct data structures (distance oracles) of near-linear size that support efficient distance queries with respect to $P$ in sublinear time. Since there is evidence that this is impossible for query curves of length $\Theta(n^\alpha)$, for any $\alpha > 0$, we focus on query curves of (small) constant length, for which we are able to devise distance oracles with the desired bounds. We extend our tools to handle subcurves of the given curve, and even arbitrary vertex-to-vertex subcurves of a given geometric tree. That is, we construct an oracle that can quickly compute the distance between a short polygonal path (the query) and a path in the preprocessed tree between two query-specified vertices. Moreover, we define a new family of geometric graphs, $t$-local graphs (which strictly contains the family of geometric spanners with constant stretch), for which a similar oracle exists: we can preprocess a graph $G$ in the family, so that, given a query segment and a pair $u,v$ of vertices in $G$, one can quickly compute the smallest discrete Fr\'echet distance between the segment and any $(u,v)$-path in $G$. The answer is exact, if $t=1$, and approximate if $t>1$.


title: VoicePilot: Harnessing LLMs as Speech Interfaces for Physically Assistive Robots

abstract: Physically assistive robots present an opportunity to significantly increase the well-being and independence of individuals with motor impairments or other forms of disability who are unable to complete activities of daily living. Speech interfaces, especially ones that utilize Large Language Models (LLMs), can enable individuals to effectively and naturally communicate high-level commands and nuanced preferences to robots. Frameworks for integrating LLMs as interfaces to robots for high level task planning and code generation have been proposed, but fail to incorporate human-centric considerations which are essential while developing assistive interfaces. In this work, we present a framework for incorporating LLMs as speech interfaces for physically assistive robots, constructed iteratively with 3 stages of testing involving a feeding robot, culminating in an evaluation with 11 older adults at an independent living facility. We use both quantitative and qualitative data from the final study to validate our framework and additionally provide design guidelines for using LLMs as speech interfaces for assistive robots. Videos and supporting files are located on our project website: https://sites.google.com/andrew.cmu.edu/voicepilot/


title: CLUE: A Clinical Language Understanding Evaluation for LLMs

abstract: Large Language Models (LLMs) are expected to significantly contribute to patient care, diagnostics, and administrative processes. Emerging biomedical LLMs aim to address healthcare-specific challenges, including privacy demands and computational constraints. Assessing the models' suitability for this sensitive application area is of the utmost importance. However, evaluation has primarily been limited to non-clinical tasks, which do not reflect the complexity of practical clinical applications. To fill this gap, we present the Clinical Language Understanding Evaluation (CLUE), a benchmark tailored to evaluate LLMs on clinical tasks. CLUE includes six tasks to test the practical applicability of LLMs in complex healthcare settings. Our evaluation includes a total of $25$ LLMs. In contrast to previous evaluations, CLUE shows a decrease in performance for nine out of twelve biomedical models. Our benchmark represents a step towards a standardized approach to evaluating and developing LLMs in healthcare to align future model development with the real-world needs of clinical application. We open-source all evaluation scripts and datasets for future research at https://github.com/TIO-IKIM/CLUE.


title: Assessing the quality of information extraction

abstract: Advances in large language models have notably enhanced the efficiency of information extraction from unstructured and semi-structured data sources. As these technologies become integral to various applications, establishing an objective measure for the quality of information extraction becomes imperative. However, the scarcity of labeled data presents significant challenges to this endeavor. In this paper, we introduce an automatic framework to assess the quality of the information extraction/retrieval and its completeness. The framework focuses on information extraction in the form of entity and its properties. We discuss how to handle the input/output size limitations of the large language models and analyze their performance when extracting the information. In particular, we introduce scores to evaluate the quality of the extraction and provide an extensive discussion on how to interpret them.


title: Bidirectional Human Interactive AI Framework for Social Robot Navigation

abstract: Trustworthiness is a crucial concept in the context of human-robot interaction. Cooperative robots must be transparent regarding their decision-making process, especially when operating in a human-oriented environment. This paper presents a comprehensive end-to-end framework aimed at fostering trustworthy bidirectional human-robot interaction in collaborative environments for the social navigation of mobile robots. In this framework, the robot communicates verbally while the human guides with gestures. Our method enables a mobile robot to predict the trajectory of people and adjust its route in a socially-aware manner. In case of conflict between human and robot decisions, detected through visual examination, the route is dynamically modified based on human preference while verbal communication is maintained. We present our pipeline, framework design, and preliminary experiments that form the foundation of our proposition.


title: Hierarchical Neural Additive Models for Interpretable Demand Forecasts

abstract: Demand forecasts are the crucial basis for numerous business decisions, ranging from inventory management to strategic facility planning. While machine learning (ML) approaches offer accuracy gains, their interpretability and acceptance are notoriously lacking. Addressing this dilemma, we introduce Hierarchical Neural Additive Models for time series (HNAM). HNAM expands upon Neural Additive Models (NAM) by introducing a time-series specific additive model with a level and interacting covariate components. Covariate interactions are only allowed according to a user-specified interaction hierarchy. For example, weekday effects may be estimated independently of other covariates, whereas a holiday effect may depend on the weekday and an additional promotion may depend on both former covariates that are lower in the interaction hierarchy. Thereby, HNAM yields an intuitive forecasting interface in which analysts can observe the contribution for each known covariate. We evaluate the proposed approach and benchmark its performance against other state-of-the-art machine learning and statistical models extensively on real-world retail data. The results reveal that HNAM offers competitive prediction performance whilst providing plausible explanations.


title: High-Frequency Capacitive Sensing for Electrohydraulic Soft Actuators

abstract: The need for compliant and proprioceptive actuators has grown more evident in pursuing more adaptable and versatile robotic systems. Hydraulically Amplified Self-Healing Electrostatic (HASEL) actuators offer distinctive advantages with their inherent softness and flexibility, making them promising candidates for various robotic tasks, including delicate interactions with humans and animals, biomimetic locomotion, prosthetics, and exoskeletons. This has resulted in a growing interest in the capacitive self-sensing capabilities of HASEL actuators to create miniature displacement estimation circuitry that does not require external sensors. However, achieving HASEL self-sensing for actuation frequencies above 1 Hz and with miniature high-voltage power supplies has remained limited. In this paper, we introduce the F-HASEL actuator, which adds an additional electrode pair used exclusively for capacitive sensing to a Peano-HASEL actuator. We demonstrate displacement estimation of the F-HASEL during high-frequency actuation up to 20 Hz and during external loading using miniaturized circuitry comprised of low-cost off-the-shelf components and a miniature high-voltage power supply. Finally, we propose a circuitry to estimate the displacement of multiple F-HASELs and demonstrate it in a wearable application to track joint rotations of a virtual reality user in real-time.


title: Label Propagation for Zero-shot Classification with Vision-Language Models

abstract: Vision-Language Models (VLMs) have demonstrated impressive performance on zero-shot classification, i.e. classification when provided merely with a list of class names. In this paper, we tackle the case of zero-shot classification in the presence of unlabeled data. We leverage the graph structure of the unlabeled data and introduce ZLaP, a method based on label propagation (LP) that utilizes geodesic distances for classification. We tailor LP to graphs containing both text and image features and further propose an efficient method for performing inductive inference based on a dual solution and a sparsification step. We perform extensive experiments to evaluate the effectiveness of our method on 14 common datasets and show that ZLaP outperforms the latest related works. Code: https://github.com/vladan-stojnic/ZLaP


title: Newton's method for nonlinear mappings into vector bundles

abstract: We consider Newton's method for finding zeros of mappings from a manifold $\mathcal{X}$ into a vector bundle $\mathcal{E}$. In this setting a connection on $\mathcal{E}$ is required to render the Newton equation well defined, and a retraction on $\mathcal{X}$ is needed to compute a Newton update. We discuss local convergence in terms of suitable differentiability concepts, using a Banach space variant of a Riemannian distance. We also carry over an affine covariant damping strategy to our setting. Finally, we will discuss some applications of our approach, namely, finding fixed points of vector fields, variational problems on manifolds and finding critical points of functionals.


title: DGP-LVM: Derivative Gaussian process latent variable model

abstract: We develop a framework for derivative Gaussian process latent variable models (DGP-LVM) that can handle multi-dimensional output data using modified derivative covariance functions. The modifications account for complexities in the underlying data generating process such as scaled derivatives, varying information across multiple output dimensions as well as interactions between outputs. Further, our framework provides uncertainty estimates for each latent variable samples using Bayesian inference. Through extensive simulations, we demonstrate that latent variable estimation accuracy can be drastically increased by including derivative information due to our proposed covariance function modifications. The developments are motivated by a concrete biological research problem involving the estimation of the unobserved cellular ordering from single-cell RNA (scRNA) sequencing data for gene expression and its corresponding derivative information known as RNA velocity. Since the RNA velocity is only an estimate of the exact derivative information, the derivative covariance functions need to account for potential scale differences. In a real-world case study, we illustrate the application of DGP-LVMs to such scRNA sequencing data. While motivated by this biological problem, our framework is generally applicable to all kinds of latent variable estimation problems involving derivative information irrespective of the field of study.


title: Crosstalk-mitigated microelectronic control for optically-active spins

abstract: To exploit the sub-nanometre dimensions of qubits for large-scale quantum information processing, corresponding control architectures require both energy and space efficiency, with the on-chip footprint of unit-cell electronics ideally micron-scale. However, the spin coherence of qubits in close packing is severely deteriorated by microwave crosstalk from neighbouring control sites. Here, we present a crosstalk-mitigation scheme using foundry microelectronics, to address solid-state spins at sub-100 um spacing without the need for qubit-detuning. Using nitrogen-vacancy centres in nanodiamonds as qubit prototypes, we first demonstrate 10 MHz Rabi oscillation at milliwatts of microwave power. Implementing the active cancellation, we then prove that the crosstalk field from neighbouring lattice sites can be reduced to undetectable levels. We finally extend the scheme to show increased qubit control, tripling the spin coherence under crosstalk mitigation. Compatible with integrated optics, our results present a step towards scalable control across quantum platforms using silicon microelectronics.


title: Neutrinos as possible probes for quantum gravity

abstract: In this paper, we aim to explore the interplay between neutrinos and quantum gravity, illustrating some proposals about the use of these particles as probes for the supposed quantized structure of spacetime. The residual signatures of a more fundamental theory of quantum gravity can manifest themselves modifying the free particle dispersion relations and the connected velocity. In neutrino sector these supposed effects can modify the time of flight for astrophysical particles with different energies and can affect the usual neutrino oscillation pattern introducing species depending perturbations. We will highlight how perturbations caused by non-standard interactions in the solar neutrino sector can mimic the presumed quantum gravity effects. In fact, the mathematical formulation of non-standard interactions is equivalent to that of CPT-odd perturbations. We will, therefore, emphasize the need to identify the nature of different contributions in order to disentangle them in the search for quantum gravity effects. As a final point we will discuss the possibility to detect in the neutrino sector decoherence effects caused by the quantum gravity supposed perturbations. By reviewing current experimental constraints and observations, we seek to shed light on the intricate relationship between neutrinos and quantum gravity, and discuss the challenges and future directions in this fascinating field of research.


title: The forgotten pillar of sustainability: development of the S-assessment tool to evaluate Organizational Social Sustainability

abstract: Pursuing sustainable development has become a global imperative, underscored adopting of the 2030 Agenda for Sustainable Development and its 17 Sustainable Development Goals (SDG). At the heart of this agenda lies the recognition of social sustainability as a pivotal component, emphasizing the need for inclusive societies where every individual can thrive. Despite its significance, social sustainability remains a "forgotten pillar," often overshadowed by environmental concerns. In response, this paper presents the development and validation of the S-Assessment Tool for Social Sustainability, a comprehensive questionnaire designed to evaluate organizations' performance across critical dimensions such as health and wellness, gender equality, decent work, and economic growth, reducing inequalities, and responsible production and consumption. The questionnaire was constructed on the critical dimensions identified through a systematic and narrative hybrid approach to the analysis of peer-reviewed literature. The framework has been structured around the values of the SDGs. It aims to empower organizations to better understand and address their social impact, fostering positive change and contributing to the collective effort towards a more equitable and sustainable future. Through collaborative partnerships and rigorous methodology, this research underscores the importance of integrating social sustainability into organizational practices and decision-making processes, ultimately advancing the broader agenda of sustainable development.


title: Strangeness $+1$ light multiquark baryons: a jinx?

abstract: In view of the renewing experimental interest for searching strangeness $+1$ baryons at J-PARC, we study the existence of light baryon resonances with strangeness +1 generated in the $K$-$(N^*/\Delta^*)$ system, where $N^*$ represents either $N^*(1535)$/$N^*(1650)$/$N^*(1700)$, and $\Delta^*$ corresponds to $\Delta(1620)$. The description of the properties of the aforementioned states requires considering the dynamics involved in the coupled pseudoscalar-baryon and vector-baryon systems with strangeness $S=0$ in the s-wave. For the purpose of our current study, we consider the pseudoscalar-baryon (PB) and vector-baryon channels (VB) to which the mentioned $N^*$ and $\Delta^*$ resonances couple and solve the Faddeev equations for the coupled channel system $K$-$\text{PB}$, $K$-$\text{VB}$, with all interactions being in the s-wave. Despite some strong attraction present in two of the subsystems, we do not find clear evidence supporting the formation of strangeness +1 states, with spin-parity $J^P=1/2^+$, in the energy region $2000-2200$ MeV. However, the case of spin-parity $J^P=3/2^+$ seems more promising, showing the formation of a resonance with a mass around 2167 MeV, with a width of 90-100 MeV. We suggest that a signal of such a state could be found in processes with final states like $KN$, $K^*(892) N$.


title: Self-Sensing Feedback Control of an Electrohydraulic Robotic Shoulder

abstract: The human shoulder, with its glenohumeral joint, tendons, ligaments, and muscles, allows for the execution of complex tasks with precision and efficiency. However, current robotic shoulder designs lack the compliance and compactness inherent in their biological counterparts. A major limitation of these designs is their reliance on external sensors like rotary encoders, which restrict mechanical joint design and introduce bulk to the system. To address this constraint, we present a bio-inspired antagonistic robotic shoulder with two degrees of freedom powered by self-sensing hydraulically amplified self-healing electrostatic actuators. Our artificial muscle design decouples the high-voltage electrostatic actuation from the pair of low-voltage self-sensing electrodes. This approach allows for proprioceptive feedback control of trajectories in the task space while eliminating the necessity for any additional sensors. We assess the platform's efficacy by comparing it to a feedback control based on position data provided by a motion capture system. The study demonstrates closed-loop controllable robotic manipulators based on an inherent self-sensing capability of electrohydraulic actuators. The proposed architecture can serve as a basis for complex musculoskeletal joint arrangements.


title: Queue-aware Network Control Algorithm with a High Quantum Computing Readiness-Evaluated in Discrete-time Flow Simulator for Fat-Pipe Networks

abstract: The emerging technology of quantum computing has the potential to change the way how problems will be solved in the future. This work presents a centralized network control algorithm executable on already existing quantum computer which are based on the principle of quantum annealing like the D-Wave Advantage. We introduce a resource reoccupation algorithm for traffic engineering in wide-area networks. The proposed optimization algorithm changes traffic steering and resource allocation in case of overloaded transceivers. Settings of active components like fiber amplifiers and transceivers are not changed for the reason of stability. This algorithm is beneficial in situations when the network traffic is fluctuating in time scales of seconds or spontaneous bursts occur. Further, we developed a discrete-time flow simulator to study the algorithm's performance in wide-area networks. Our network simulator considers backlog and loss modeling of buffered transmission lines. Concurring flows are handled equally in case of a backlog. This work provides an ILP-based network configuring algorithm that is applicable on quantum annealing computers. We showcase, that traffic losses can be reduced significantly by a factor of 2 if a resource reoccupation algorithm is applied in a network with bursty traffic. As resources are used more efficiently by reoccupation in heavy load situations, overprovisioning of networks can be reduced. Thus, this new form of network operation leads toward a zero-margin network. We show that our newly introduced network simulator enables analyses of short-time effects like buffering within fat-pipe networks. As the calculation of network configurations in real-sized networks is typically time-consuming, quantum computing can enable the proposed network configuration algorithm for application in real-sized wide-area networks.


title: Clock offset recovery with sublinear complexity enables synchronization on low-level hardware for quantum key distribution

abstract: We introduce iQSync, a clock offset recovery method designed for implementation on low-level hardware, such as FPGAs or microcontrollers, for quantum key distribution (QKD). iQSync requires minimal memory, only a simple instruction set (e.g. no floating-point operations), and can be evaluated with sublinear time complexity, typically involving no more than a few thousand iterations of a simple loop. Furthermore, iQSync allows for a precise clock offset recovery within few seconds, even for large offsets, and is well suited for scenarios with high channel loss and low signal-to-noise ratio, irrespective of the prepare-and-measure QKD protocol used. We implemented the method on our QKD platform, demonstrating its performance and conformity with analytically derived success probabilities for channel attenuations exceeding 70 dB.


title: Logarithmic Gysin sequences for regular immersions

abstract: For a regular immersion of schemes $Z\to X$ and a cohomology theory of fs log schemes, we formulate the logarithmic Gysin sequence using the "logarithmic compactification" $(\mathrm{Bl}_Z X,E)$ instead of the open complement $X-Z$, where $E$ is the exceptional divisor. We show that all $\mathbb{A}^1$-invariant cohomology theories produced from motivic spectra and various non $\mathbb{A}^1$-invariant cohomology theories like Nygaard completed prismatic cohomology admit logarithmic Gysin sequences.


title: A note on the cohomology of moduli spaces of local shtukas

abstract: We study localized versions of the spectral action of Fargues--Scholze, using methods from higher algebra. As our main motivation and application, we deduce a formula for the cohomology of moduli spaces of local shtukas under certain genericity assumptions, and discuss its relation with the Kottwitz conjecture.


title: The CO-to-H$_2$ Conversion Factor in the Central Molecular Zone of the Milky Way using CO isotopologues

abstract: We performed correlation analyses between the $^{12}$CO and $^{13}$CO $J=$1-0 line intensities in order to derive the variability of the CO-to-H$_2$ conversion factor ($X_{\rm CO, iso}$) in the central molecular zone (CMZ) of our Galaxy. New high-resolution $X_{\rm CO, iso}$ maps at a resolution of $\sim 30$" and the longitude-velocity diagram (LVD) at resolution $\sim 30$" $ \times\ 2$ km s$^{-1}$ are presented using the $^{12}$CO and $^{13}$CO archival survey data obtained by the Nobeyama 45 m telescope. We revealed the variation of $X_{\rm CO, iso}$ in the CMZ within the range of $X_{\rm CO, iso} \sim (0.2-1.3) \times 10^{20}\ {\rm cm^{-2}\ (K\ km\ s^{-1})^{-1}}$, if we assume the normalization value of $0.59 \times 10^{20}\ {\rm cm^{-2}\ (K\ km\ s^{-1})^{-1}}$. The mean value is obtained as $X_{\rm CO, iso} = (0.48 \pm 0.15) \times 10^{20}\ {\rm cm^{-2}\ (K\ km\ s^{-1})^{-1}}$ in the CMZ of our Galaxy.


title: Some conjectures around magnetic modular forms

abstract: We study a class of meromorphic modular forms characterised by Fourier coefficients that satisfy certain divisibility properties. We present new candidates for these so-called magnetic modular forms, and we conjecture properties that these functions should obey. In particular, we conjecture that magnetic modular forms are closed under the standard operators acting on spaces of modular forms (SL$_2(\mathbb{Z})$ action, Hecke and Atkin-Lehner operators), and that they are characterised by algebraic residues and vanishing period polynomials. We use our conjectures to construct examples of real-analytic modular forms with poles.


title: A first passage model of intravitreal drug delivery and residence time, in relation to ocular geometry, individual variability, and injection location

abstract: Purpose: Standard of care for various retinal diseases involves recurrent intravitreal injections. This motivates mathematical modelling efforts to identify influential factors for drug residence time, aiming to minimise administration frequency. We sought to describe the vitreal diffusion of therapeutics in nonclinical species used during drug development assessments. In human eyes, we investigated the impact of variability in vitreous cavity size and eccentricity, and in injection location, on drug elimination. Methods: Using a first passage time approach, we modelled the transport-controlled distribution of two standard therapeutic protein formats (Fab and IgG) and elimination through anterior and posterior pathways. Detailed anatomical 3D geometries of mouse, rat, rabbit, cynomolgus monkey, and human eyes were constructed using ocular images and biometry datasets. A scaling relationship was derived for comparison with experimental ocular half-lives. Results: Model simulations revealed a dependence of residence time on ocular size and injection location. Delivery to the posterior vitreous resulted in increased vitreal half-life and retinal permeation. Interindividual variability in human eyes had a significant influence on residence time (half-life range of 5-7 days), showing a strong correlation to axial length and vitreal volume. Anterior exit was the predominant route of drug elimination. Contribution of the posterior pathway displayed a small (3%) difference between protein formats, but varied between species (10-30%). Conclusions: The modelling results suggest that experimental variability in ocular half-life is partially attributed to anatomical differences and injection site location. Simulations further suggest a potential role of the posterior pathway permeability in determining species differences in ocular pharmacokinetics.


title: Field Teams Coordination for Earthquake-Damaged Distribution System Energization

abstract: The re-energization of electrical distribution systems in a post-disaster scenario is of grave importance as most modern infrastructure systems rely heavily on the presence of electricity. This paper introduces a method to coordinate the field teams for the optimal energization of an electrical distribution system after an earthquake-induced blackout. The proposed method utilizes a Markov Decision Process (MDP) to create an optimal energization strategy, which aims to minimize the expected time to energize each distribution system component. The travel duration of each team and the possible outcomes of the energization attempts are considered in the state transitions. The failure probabilities of the system components are computed using the fragility curves of structures and the Peak Ground Acceleration (PGA) values which are encoded to the MDP model via transition probabilities. Furthermore, the proposed solution offers several methods to determine the non-optimal actions during the construction of the MDP and eliminate them in order to improve the run-time performance without sacrificing the optimality of the solution.


title: Center-of-mass energy dependence of intrinsic-$k_T$ distributions obtained from Drell-Yan production

abstract: The internal motion of partons inside hadrons has been studied through its impact on very low transverse momentum spectra of Drell-Yan (DY) pairs created in hadron-hadron collisions. We study DY production at next-to-leading order using the Parton Branching (PB) method which describes the evolution of transverse momentum dependent parton distributions. The main focus is on studying the intrinsic transverse momentum distribution (intrinsic-$k_T$) as a function of the center-of-mass energy $\sqrt s$. While collinear parton shower Monte Carlo event generators require intrinsic transverse momentum distributions strongly dependent on $\sqrt s$, this is not the case for the PB method. We perform a detailed study of the impact of soft parton emissions. We show that by requiring a minimal transverse momentum, $q_0$, of a radiated parton, a dependence of the width of the intrinsic-$k_T$ distribution as a function of $\sqrt{s}$ is observed. This dependence becomes stronger with increasing $q_0$.


title: A single shooting method with approximate Fr\'{e}chet derivative for computing geodesics on the Stiefel manifold

abstract: This paper shows how to use the shooting method, a classical numerical algorithm for solving boundary value problems, to compute the Riemannian distance on the Stiefel manifold $ \mathrm{St}(n,p) $, the set of $ n \times p $ matrices with orthonormal columns. The proposed method is a shooting method in the sense of the classical shooting methods for solving boundary value problems; see, e.g., Stoer and Bulirsch, 1991. The main feature is that we provide an approximate formula for the Fr\'{e}chet derivative of the geodesic involved in our shooting method. Numerical experiments demonstrate the algorithms' accuracy and performance. Comparisons with existing state-of-the-art algorithms for solving the same problem show that our method is competitive and even beats several algorithms in many cases.


title: PASO -- Astronomy and Space Situational Awareness in a Dark Sky Destination

abstract: The Pampilhosa da Serra Space Observatory (PASO) is located in the center of the continental Portuguese territory, in the heart of a certified Dark Sky destination by the Starlight Foundation (Aldeias do Xisto) and has been an instrumental asset to advance science, education and astrotourism certifications. PASO hosts astronomy and Space Situational Awareness (SSA) activities including a node of the Portuguese Space Surveillance \& Tracking (SST) infrastructure network, such as a space radar currently in test phase using GEM radiotelescope, a double Wide Field of View Telescope system, a EUSST optical sensor telescope. These instruments allow surveillance of satellite and space debris in LEO, MEO and GEO orbits. The WFOV telescope offers spectroscopy capabilities enabling light curve analysis and cosmic sources monitoring. Instruments for Space Weather are being considered for installation to monitor solar activities and expand the range of SSA services.

categories: astro-ph.IM astro-ph.EP astro-ph.HE eess.SP physics.soc-ph


title: Bijections on pattern avoiding inversion sequences and related objects

abstract: The number of inversion sequences avoiding two patterns $101$ and $102$ is known to be the same as the number of permutations avoiding three patterns $2341$, $2431$, and $3241$. This sequence also counts the number of Schr\"{o}der paths without triple descents, restricted bicolored Dyck paths, $(101,021)$-avoiding inversion sequences, and weighted ordered trees. We provide bijections to integrate them together by introducing $F$-paths. Moreover, we define three kinds of statistics for each of the objects and count the number of each object with respect to these statistics. We also discuss direct sums of each object.


title: Generating functions for irreversible Hamiltonian systems

abstract: The definition of conservative-irreversible functions is extended to smooth manifolds. The local representation of these functions is studied and reveals that not each conservative-irreversible function is given by the weighted product of almost Poisson brackets. The biquadratic functions given by conservative-irreversible functions are studied and reveal a possibility for an algebraic framework on arbitrary and in particular complex algebras.


title: From STPA to Safe Behavior Models

abstract: Model checking is a proven approach for checking whether the behavior model of a safety-critical system fulfills safety properties that are stated as LTL formulas.We propose rules for generating such LTL formulas automatically based on the result of the risk analysis technique System-Theoretic Process Analysis (STPA). Additionally, we propose a synthesis of a Safe Behavior Model from these generated LTL formulas. To also cover liveness properties in the model, we extend STPA with Desired Control Actions. We demonstrate our approach on an example system using SCCharts for the behavior model. The resulting model is not necessarily complete but provides a good foundation that already covers safety and liveness properties.


title: Almost zero transfer in continuous-time quantum walks on weighted tree graphs

abstract: We study the probability flux on the central vertex in continuous-time quantum walks on weighted tree graphs. In a weighted graph, each edge has a weight we call hopping. This hopping sets the jump rate of the particle between the vertices connected by the edge. Here, the edges of the central vertex (root) have a hopping parameter $J$ larger than those of the other edges. For star graphs, this hopping gives only how often the walker visits the central vertex over time. However, for weighted spider graphs $S_{n,2}$ and $S_{n,3}$, the probability on the central vertex drops with $J^2$ for walks starting from a state of any superposition of leaf vertices. We map Cayley trees $C_{3,2}$ and $C_{3,3}$ into these spider graphs and observe the same dependency. Our results suggest this is a general feature of such walks on weighted trees and a way of probing decoherence effects in an open quantum system context.


title: Dynamic Prompt Optimizing for Text-to-Image Generation

abstract: Text-to-image generative models, specifically those based on diffusion models like Imagen and Stable Diffusion, have made substantial advancements. Recently, there has been a surge of interest in the delicate refinement of text prompts. Users assign weights or alter the injection time steps of certain words in the text prompts to improve the quality of generated images. However, the success of fine-control prompts depends on the accuracy of the text prompts and the careful selection of weights and time steps, which requires significant manual intervention. To address this, we introduce the \textbf{P}rompt \textbf{A}uto-\textbf{E}diting (PAE) method. Besides refining the original prompts for image generation, we further employ an online reinforcement learning strategy to explore the weights and injection time steps of each word, leading to the dynamic fine-control prompts. The reward function during training encourages the model to consider aesthetic score, semantic consistency, and user preferences. Experimental results demonstrate that our proposed method effectively improves the original prompts, generating visually more appealing images while maintaining semantic alignment. Code is available at https://github.com/Mowenyii/PAE.


title: Machine Learning-Aided Cooperative Localization under Dense Urban Environment

abstract: Future wireless network technology provides automobiles with the connectivity feature to consolidate the concept of vehicular networks that collaborate on conducting cooperative driving tasks. The full potential of connected vehicles, which promises road safety and quality driving experience, can be leveraged if machine learning models guarantee the robustness in performing core functions including localization and controls. Location awareness, in particular, lends itself to the deployment of location-specific services and the improvement of the operation performance. The localization entails direct communication to the network infrastructure, and the resulting centralized positioning solutions readily become intractable as the network scales up. As an alternative to the centralized solutions, this article addresses decentralized principle of vehicular localization reinforced by machine learning techniques in dense urban environments with frequent inaccessibility to reliable measurement. As such, the collaboration of multiple vehicles enhances the positioning performance of machine learning approaches. A virtual testbed is developed to validate this machine learning model for real-map vehicular networks. Numerical results demonstrate universal feasibility of cooperative localization, in particular, for dense urban area configurations.