title: Analysis of the Geometric Structure of Neural Networks and Neural ODEs via Morse Functions

abstract: Besides classical feed-forward neural networks, also neural ordinary differential equations (neural ODEs) gained particular interest in recent years. Neural ODEs can be interpreted as an infinite depth limit of feed-forward or residual neural networks. We study the input-output dynamics of finite and infinite depth neural networks with scalar output. In the finite depth case, the input is a state associated to a finite number of nodes, which maps under multiple non-linear transformations to the state of one output node. In analogy, a neural ODE maps a linear transformation of the input to a linear transformation of its time-$T$ map. We show that depending on the specific structure of the network, the input-output map has different properties regarding the existence and regularity of critical points. These properties can be characterized via Morse functions, which are scalar functions, where every critical point is non-degenerate. We prove that critical points cannot exist, if the dimension of the hidden layer is monotonically decreasing or the dimension of the phase space is smaller or equal to the input dimension. In the case that critical points exist, we classify their regularity depending on the specific architecture of the network. We show that each critical point is non-degenerate, if for finite depth neural networks the underlying graph has no bottleneck, and if for neural ODEs, the linear transformations used have full rank. For each type of architecture, the proven properties are comparable in the finite and in the infinite depth case. The established theorems allow us to formulate results on universal embedding, i.e.\ on the exact representation of maps by neural networks and neural ODEs. Our dynamical systems viewpoint on the geometric structure of the input-output map provides a fundamental understanding, why certain architectures perform better than others.


title: On the impact of the antenna radiation patterns in passive radio sensing

abstract: Electromagnetic (EM) body models based on the scalar diffraction theory allow to predict the impact of subject motions on the radio propagation channel without requiring a time-consuming full-wave approach. On the other hand, they are less effective in complex environments characterized by significant multipath effects. Recently, emerging radio sensing applications have proposed the adoption of smart antennas with non-isotropic radiation characteristics to improve coverage.This letter investigates the impact of antenna radiation patterns in passive radio sensing applications. Adaptations of diffraction-based EM models are proposed to account for antenna non-uniform angular filtering. Next, we quantify experimentally the impact of diffraction and multipath disturbance components on radio sensing accuracy in environments with smart antennas.


title: Large coordinate kernel attention network for lightweight image super-resolution

abstract: The multi-scale receptive field and large kernel attention (LKA) module have been shown to significantly improve performance in the lightweight image super-resolution task. However, existing lightweight super-resolution (SR) methods seldom pay attention to designing efficient building block with multi-scale receptive field for local modeling, and their LKA modules face a quadratic increase in computational and memory footprints as the convolutional kernel size increases. To address the first issue, we propose the multi-scale blueprint separable convolutions (MBSConv) as highly efficient building block with multi-scale receptive field, it can focus on the learning for the multi-scale information which is a vital component of discriminative representation. As for the second issue, we revisit the key properties of LKA in which we find that the adjacent direct interaction of local information and long-distance dependencies is crucial to provide remarkable performance. Thus, taking this into account and in order to mitigate the complexity of LKA, we propose a large coordinate kernel attention (LCKA) module which decomposes the 2D convolutional kernels of the depth-wise convolutional layers in LKA into horizontal and vertical 1-D kernels. LCKA enables the adjacent direct interaction of local information and long-distance dependencies not only in the horizontal direction but also in the vertical. Besides, LCKA allows for the direct use of extremely large kernels in the depth-wise convolutional layers to capture more contextual information, which helps to significantly improve the reconstruction performance, and it incurs lower computational complexity and memory footprints. Integrating MBSConv and LCKA, we propose a large coordinate kernel attention network (LCAN).


title: 3D-DASH: The Evolution of Size, Shape, and Intrinsic Scatter in Populations of Young and Old Quiescent Galaxies at 0.5 < z < 3

abstract: We present a study of the growth of the quiescent galaxy population between 0.5 < z < 3 by tracing the number density and structural evolution of a sample of 4518 old and 583 young quiescent galaxies with log($M_*$/$M_{\odot}$)>10.4, selected from the COSMOS2020 catalog with complementary HST/F160W imaging from the 3D-DASH survey. Among the quiescent population at z$\sim$2, roughly 50% are recently quenched galaxies; these young quiescent galaxies become increasingly rare towards lower redshift, supporting the idea that the peak epoch of massive galaxy quenching occurred at z>2. Our data show that while the effective half-light radii of quiescent galaxies generally increases with time, young quiescent galaxies are significantly smaller than their older counterparts at the same redshift. In this work we investigate the connection between this size difference and other structural properties, including axis ratios, color gradients, stellar mass, and the intrinsic scatter in effective radii. We demonstrate that the size difference is driven by the most massive sub-population (log($M_*$/$M_{\odot}$)>11) and does not persist when restricting the sample to intermediate mass galaxies (10.4<log($M_*$/$M_{\odot}$)<11). Interestingly, the intrinsic scatter in physical size shows a strong co-evolution over the investigated time period and peaks around z$\sim$2 for both populations, only diverging at z < 1. Taken together, and assuming we are not missing a significant population of lower surface brightness galaxies, while the formation and quenching mechanisms that dominate at higher redshifts yield compact remnants, multiple evolutionary pathways may explain the diverse morphologies of galaxies that quench at z<1.


title: Vision-Based Neurosurgical Guidance: Unsupervised Localization and Camera-Pose Prediction

abstract: Localizing oneself during endoscopic procedures can be problematic due to the lack of distinguishable textures and landmarks, as well as difficulties due to the endoscopic device such as a limited field of view and challenging lighting conditions. Expert knowledge shaped by years of experience is required for localization within the human body during endoscopic procedures. In this work, we present a deep learning method based on anatomy recognition, that constructs a surgical path in an unsupervised manner from surgical videos, modelling relative location and variations due to different viewing angles. At inference time, the model can map an unseen video's frames on the path and estimate the viewing angle, aiming to provide guidance, for instance, to reach a particular destination. We test the method on a dataset consisting of surgical videos of transsphenoidal adenomectomies, as well as on a synthetic dataset. An online tool that lets researchers upload their surgical videos to obtain anatomy detections and the weights of the trained YOLOv7 model are available at: https://surgicalvision.bmic.ethz.ch.


title: Branch-and-price with novel cuts, and a new Stackelberg Security Game

abstract: Anticipating the strategies of potential attackers is crucial for protecting critical infrastructure. We can represent the challenge of the defenders of such infrastructure as a Stackelberg security game. The defender must decide how to allocate limited resources to protect specific targets, aiming to maximize their expected utility (such as minimizing the extent of damage) and considering that attackers will respond in a way that is most advantageous to them. We present novel valid inequalities to find a Strong Stackelberg Equilibrium in both Stackelberg games and Stackelberg security games. We also consider a Stackelberg security game that aims to protect targets with a defined budget. We use branch-and-price in this game to show that our approach outperforms the standard formulation in the literature, and we conduct an extensive computational study to analyze the impact of various branch-and-price parameters on the performance of our method in different game settings.


title: A universal optimization framework based on cycle ranking for influence maximization in complex networks

abstract: Influence maximization aims to identify a set of influential individuals, referred to as influencers, as information sources to maximize the spread of information within networks, constituting a vital combinatorial optimization problem with extensive practical applications and sustained interdisciplinary interest. Diverse approaches have been devised to efficiently address this issue, one of which involves selecting the influencers from a given centrality ranking. In this paper, we propose a novel optimization framework based on ranking basic cycles in networks, capable of selecting the influencers from diverse centrality measures. The experimental results demonstrate that, compared to directly selecting the top-k nodes from centrality sequences and other state-of-the-art optimization approaches, the new framework can expand the dissemination range by 1.5 to 3 times. Counterintuitively, it exhibits minimal hub property, with the average distance between influencers being only one-third of alternative approaches, regardless of the centrality metrics or network types. Our study not only paves the way for novel strategies in influence maximization but also underscores the unique potential of underappreciated cycle structures.


title: Global Sobolev theory for Kolmogorov-Fokker-Planck operators with coefficients measurable in time and $VMO$ in space

abstract: We consider Kolmogorov-Fokker-Planck operators of the form $$ \mathcal{L}u=\sum_{i,j=1}^{q}a_{ij}(x,t)u_{x_{i}x_{j}}+\sum_{k,j=1}^{N} b_{jk}x_{k}u_{x_{j}}-\partial_{t}u, $$ with $\left( x,t\right) \in\mathbb{R}^{N+1},N\geq q\geq1$. We assume that $a_{ij}\in L^{\infty}\left( \mathbb{R}^{N+1}\right) $, the matrix $\left\{ a_{ij}\right\} $ is symmetric and uniformly positive on $\mathbb{R}^{q}$, and the drift \[ Y=\sum_{k,j=1}^{N}b_{jk}x_{k}\partial_{x_{j}}-\partial_{t} \] has a structure which makes the model operator with constant $a_{ij}$ hypoelliptic, translation invariant w.r.t. a suitable Lie group operation, and $2$-homogeneus w.r.t. a suitable family of dilations. We also assume that the coefficients $a_{ij}$ are $VMO$ w.r.t. the space variable, and only bounded measurable in $t$. We prove, for every $p\in\left( 1,\infty\right) $, global Sobolev estimates of the kind: \begin{align*} \Vert u\Vert _{W_{X}^{2,p}(S_{T})} \equiv & \sum_{i,j=1}^{q}\Vert u_{x_{i}x_{j}}\Vert_{L^{p}(S_{T})} +\Vert Yu\Vert _{L^{p}(S_{T})} +\sum_{i=1}^{q}\Vert u_{x_{i}}\Vert _{L^{p}(S_{T})} +\Vert u\Vert _{L^{p}(S_{T})} \\ & \leq c\big\{ \Vert \mathcal{L}u\Vert _{L^{p}(S_{T})}+\Vert u\Vert_{L^{p}(S_{T})}\big\} \end{align*} with $S_{T}=\mathbb{R}^{N}\times\left( -\infty,T\right) $ for any $T\in(-\infty,+\infty]$. Also, the well-posedness in $W_{X}^{2,p}(\Omega_{T})$, with $\Omega_{T}=\mathbb{R}^{N}\times(0,T) $ and $T\in\mathbb{R}$, of the Cauchy problem% $$ \begin{cases} \mathcal{L}u=f & \text{in $\Omega_{T}$} \\ u(\cdot,0) =g & \text{in $\mathbb{R}^{N}$} \end{cases} $$ is proved, for $f\in L^{p}(\Omega_{T}), g\in W_{X}^{2,p}(\mathbb{R}^{N})$.


title: Visual Attention Based Cognitive Human-Robot Collaboration for Pedicle Screw Placement in Robot-Assisted Orthopedic Surgery

abstract: Current orthopedic robotic systems largely focus on navigation, aiding surgeons in positioning a guiding tube but still requiring manual drilling and screw placement. The automation of this task not only demands high precision and safety due to the intricate physical interactions between the surgical tool and bone but also poses significant risks when executed without adequate human oversight. As it involves continuous physical interaction, the robot should collaborate with the surgeon, understand the human intent, and always include the surgeon in the loop. To achieve this, this paper proposes a new cognitive human-robot collaboration framework, including the intuitive AR-haptic human-robot interface, the visual-attention-based surgeon model, and the shared interaction control scheme for the robot. User studies on a robotic platform for orthopedic surgery are presented to illustrate the performance of the proposed method. The results demonstrate that the proposed human-robot collaboration framework outperforms full robot and full human control in terms of safety and ergonomics.


title: The Unfairness of $\varepsilon$-Fairness

abstract: Fairness in decision-making processes is often quantified using probabilistic metrics. However, these metrics may not fully capture the real-world consequences of unfairness. In this article, we adopt a utility-based approach to more accurately measure the real-world impacts of decision-making process. In particular, we show that if the concept of $\varepsilon$-fairness is employed, it can possibly lead to outcomes that are maximally unfair in the real-world context. Additionally, we address the common issue of unavailable data on false negatives by proposing a reduced setting that still captures essential fairness considerations. We illustrate our findings with two real-world examples: college admissions and credit risk assessment. Our analysis reveals that while traditional probability-based evaluations might suggest fairness, a utility-based approach uncovers the necessary actions to truly achieve equality. For instance, in the college admission case, we find that enhancing completion rates is crucial for ensuring fairness. Summarizing, this paper highlights the importance of considering the real-world context when evaluating fairness.


title: Quantum operations for Kramers-Wannier duality

abstract: We study the Kramers-Wannier duality for the transverse-field Ising lattice on a ring. A careful consideration of the ring boundary conditions shows that the duality has to be implemented with a proper treatment of different charge sectors of both the twisted and untwisted Ising and the dual-Ising Hilbert spaces. We construct a superoperator that explicitly maps the Ising operators to the dual-Ising operators. The superoperator naturally acts on the tensor product of the Ising and the dual-Ising Hilbert space. We then show that the relation between our superoperator and the Kramers-Wannier duality operator that maps the Ising Hilbert space to the dual-Ising Hilbert space is naturally provided by quantum operations and the duality can be understood as a quantum operation that we construct. We provide the operator-sum representation for the Kramers-Wannier quantum operations and reproduce the well-known fusion rules. In addition to providing the quantum information perspective on the Kramers-Wannier duality, our explicit protocol will also be useful in implementing the Kramers-Wannier duality on a quantum computer.


title: On the Saturation Effect of Kernel Ridge Regression

abstract: The saturation effect refers to the phenomenon that the kernel ridge regression (KRR) fails to achieve the information theoretical lower bound when the smoothness of the underground truth function exceeds certain level. The saturation effect has been widely observed in practices and a saturation lower bound of KRR has been conjectured for decades. In this paper, we provide a proof of this long-standing conjecture.


title: Tri-resonant leptogenesis from modular symmetry neutrino models

abstract: In this paper, we have studied the consequences of some representative modular symmetry neutrino models for tri-resonant leptogenesis (which is realized by having three nearly degenerate right-handed neutrinos). To be specific, we have considered modular ${\rm A}^{}_4$, ${\rm S}^{}_4$ and ${\rm A}^{}_5$ symmetry models that have a right-handed neutrino mass matrix $M^{}_{\rm R}$ as shown in Eq.~(\ref{5}) which gives three degenerate right-handed neutrino masses and consequently prohibits the leptogenesis mechanism to work. For these models, we have considered two minimal ways to generate the desired small mass splittings among the three right-handed neutrinos: one scenario is to modify $M^{}_{\rm R}$ to a form as shown in Eq.~(\ref{7}), while another scenario is to consider the renormalization-group corrections for the right-handed neutrino masses. In the former scenario, for the considered models, the observed value of $\eta^{}_{\rm B}$ can always be successfully reproduced for appropriate values of $\mu$. But in the latter scenario not all the considered models can successfully reproduce the observed value of $\eta^{}_{\rm B}$.


title: Orbital Stability Study of the Taiji Space Gravitational Wave Detector

abstract: Space-based gravitational wave detection is extremely sensitive to disturbances. The Keplerian configuration cannot accurately reflect the variations in spacecraft configuration. Planetary gravitational disturbances are one of the main sources. Numerical simulation is an effective method to investigate the impact of perturbation on spacecraft orbits. This study shows that, in the context of the Taiji project, Earth's gravity is an essential factor in the change in heliocentric formation configuration, contributing to the relative acceleration between spacecrafts in the order of $\mathcal O(10^{-6})\,{\rm m\cdot s^{-2}}$. Considering 00:00:00 on 27 October 2032 as the initial orbiting moment, under the influence of Earth's gravitational perturbation, the maximum relative change in armlengths and variation rates of armlengths for Taiji is $1.6\times 10^{5}\,{\rm km}$, $32\,{\rm m\cdot s^{-1}}$, respectively, compared with the unperturbed Keplerian orbit. Additionally, by considering the gravitational perturbations of Venus and Jupiter, the armlength and relative velocity for Taiji are reduced by $16.01\%$ and $17.45\%$, respectively, compared with when only considering that of Earth. The maximum amplitude of the formation motion indicator changes with the orbit entry time. Results show that the relative velocity increase between the spacecrafts is minimal when the initial orbital moment occurs in July. Moreover, the numerical simulation results are inconsistent when using different ephemerides. The differences between ephemerides DE440 and DE430 are smaller than those between DE440 and DE421.


title: SARATR-X: A Foundation Model for Synthetic Aperture Radar Images Target Recognition

abstract: Synthetic aperture radar (SAR) is essential in actively acquiring information for Earth observation. SAR Automatic Target Recognition (ATR) focuses on detecting and classifying various target categories under different image conditions. The current deep learning-based SAR ATR methods are typically designed for specific datasets and applications. Various target characteristics, scene background information, and sensor parameters across ATR datasets challenge the generalization of those methods. This paper aims to achieve general SAR ATR based on a foundation model with Self-Supervised Learning (SSL). Our motivation is to break through the specific dataset and condition limitations and obtain universal perceptual capabilities across the target, scene, and sensor. A foundation model named SARATR-X is proposed with the following four aspects: pre-training dataset, model backbone, SSL, and evaluation task. First, we integrated 14 datasets with various target categories and imaging conditions as a pre-training dataset. Second, different model backbones were discussed to find the most suitable approaches for remote-sensing images. Third, we applied two-stage training and SAR gradient features to ensure the diversity and scalability of SARATR-X. Finally, SARATR-X has achieved competitive and superior performance on 5 datasets with 8 task settings, which shows that the foundation model can achieve universal SAR ATR. We believe it is time to embrace fundamental models for SAR image interpretation in the era of increasing big data.


title: sQFT -- an autonomous explanation of the interactions of quantum particles

abstract: Successful applications of a conceptually novel setup of Quantum Field Theory, that accounts for all subtheories of the Standard Model (QED, Electroweak Interaction and Higgs, Yang-Mills and QCD) and beyond (Helicity 2), call for a perspective view in a broader conceptual context. The setting is "autonomous" in the sense of being intrinsically quantum. Its principles are: Hilbert space, Poincar\'e symmetry and causality. Its free quantum fields are obtained from Wigner's unitary representations of the Poincar\'e group, with only physical and observable degrees of freedom. A "quantization" of an "underlying" classical theory is not needed. It allows renormalizable perturbation theory with interactions whose detailed structure, and in some cases even the particle content, is predicted by internal consistency. The results confirm and extend observable predictions for the interactions of the SM without assuming a "principle" of gauge invariance.


title: Efficient WENO schemes for nonuniform grids

abstract: A set of arbitrarily high-order WENO schemes for reconstructions on nonuniform grids is presented. These non-linear interpolation methods use simple smoothness indicators with a linear cost with respect to the order, making them easy to implement and computationally efficient. The theoretical analysis to verify the accuracy and the essentially non-oscillatory properties are presented together with some numerical experiments involving algebraic problems in order to validate them. Also, these general schemes are applied for the solution of conservation laws and hyperbolic systems in the context of finite volume methods.


title: Quantum droplets in two-dimensional Bose mixtures at finite temperature

abstract: We investigate the formation of quantum droplets at finite temperature in attractive Bose mixtures subject to a strong transverse harmonic confinement. By means of exact path-integral Monte Carlo methods we determine the equilibrium density of the gas and the liquid as well as the pressure vs. volume dependence along isothermal curves. Results for the equation of state and for the gas-liquid coexistence region in quasi-2D configurations are compared with calculations in strictly two dimensions, finding excellent agreement. Within the pure 2D model we explore the relevance of the quantum scale anomaly and we determine the critical interaction strength for the occurrence of the first-order gas to liquid transition. Furthermore, we find that the superfluid response develops suddenly, following the density jump from the gas to the liquid state.


title: Diffusion-based Contrastive Learning for Sequential Recommendation

abstract: Self-supervised contrastive learning, which directly extracts inherent data correlations from unlabeled data, has been widely utilized to mitigate the data sparsity issue in sequential recommendation. The majority of existing methods create different augmented views of the same user sequence via random augmentation, and subsequently minimize their distance in the embedding space to enhance the quality of user representations. However, random augmentation often disrupts the semantic information and interest evolution pattern inherent in the user sequence, leading to the generation of semantically distinct augmented views. Promoting similarity of these semantically diverse augmented sequences can render the learned user representations insensitive to variations in user preferences and interest evolution, contradicting the core learning objectives of sequential recommendation. To address this issue, we leverage the inherent characteristics of sequential recommendation and propose the use of context information to generate more reasonable augmented positive samples. Specifically, we introduce a context-aware diffusion-based contrastive learning method for sequential recommendation. Given a user sequence, our method selects certain positions and employs a context-aware diffusion model to generate alternative items for these positions with the guidance of context information. These generated items then replace the corresponding original items, creating a semantically consistent augmented view of the original sequence. Additionally, to maintain representation cohesion, item embeddings are shared between the diffusion model and the recommendation model, and the entire framework is trained in an end-to-end manner. Extensive experiments on five benchmark datasets demonstrate the superiority of our proposed method.


title: Non-abelian models in sQFT

abstract: It is shown how string-localized QFT predicts interactions of the Standard Model. Detailed computations are presented for various non-abelian models: Yang-Mills, QCD, Higgs-Kibble. They serve as backup for [11,12] and as "proof of concept" for the treatment of the full Standard Model.


title: Formation of Beta-Indium Selenide Layers Grown via Selenium Passivation of InP(111)B Substrate

abstract: Indium selenide, In2Se3, has recently attracted growing interest due to its novel properties, including room temperature ferroelectricity, outstanding photoresponsivity, and exotic in-plane ferroelectricity, which open up new regimes for next generation electronics. In2Se3 also provides the important advantage of tuning the electrical properties of ultra-thin layers with an external electrical and magnetic field, making it a potential platform to study novel two-dimensional physics. Yet, In2Se3 has many different polymorphs, and it has been challenging to synthesize single-phase material, especially using scalable growth methods, as needed for technological applications. In this paper, we use aberration-corrected scanning transmission electron microscopy to characterize the microstructure of twin-free single-phase ultra-thin layers of beta-In2Se3, prepared by a unique molecular beam epitaxy approach. We emphasize features of the In2Se3 layer and In2Se3/InP interface which provide evidence for understanding the growth mechanism of the single-phase In2Se3. This novel approach for forming high-quality twin-free single phase two-dimensional crystals on InP substrates is likely to be applicable to other technologically important substrates.


title: Investigating the Effect of Operation Mode and Manifestation on Physicalizations of Dynamic Processes

abstract: We conducted a study to systematically investigate the communication of complex dynamic processes along a two-dimensional design space, where the axes represent a representation's manifestation (physical or virtual) and operation (manual or automatic). We exemplify the design space on a model embodying cardiovascular pathologies, represented by a mechanism where a liquid is pumped into a draining vessel, with complications illustrated through modifications to the model. The results of a mixed-methods lab study with 28 participants show that both physical manifestation and manual operation have a strong positive impact on the audience's engagement. The study does not show a measurable knowledge increase with respect to cardiovascular pathologies using manually operated physical representations. However, subjectively, participants report a better understanding of the process-mainly through non-visual cues like haptics, but also auditory cues. The study also indicates an increased task load when interacting with the process, which, however, seems to play a minor role for the participants. Overall, the study shows a clear potential of physicalization for the communication of complex dynamic processes, which only fully unfold if observers have to chance to interact with the process.


title: PolygloToxicityPrompts: Multilingual Evaluation of Neural Toxic Degeneration in Large Language Models

abstract: Recent advances in large language models (LLMs) have led to their extensive global deployment, and ensuring their safety calls for comprehensive and multilingual toxicity evaluations. However, existing toxicity benchmarks are overwhelmingly focused on English, posing serious risks to deploying LLMs in other languages. We address this by introducing PolygloToxicityPrompts (PTP), the first large-scale multilingual toxicity evaluation benchmark of 425K naturally occurring prompts spanning 17 languages. We overcome the scarcity of naturally occurring toxicity in web-text and ensure coverage across languages with varying resources by automatically scraping over 100M web-text documents. Using PTP, we investigate research questions to study the impact of model size, prompt language, and instruction and preference-tuning methods on toxicity by benchmarking over 60 LLMs. Notably, we find that toxicity increases as language resources decrease or model size increases. Although instruction- and preference-tuning reduce toxicity, the choice of preference-tuning method does not have any significant impact. Our findings shed light on crucial shortcomings of LLM safeguarding and highlight areas for future research.


title: A note on some moduli spaces of Ulrich Bundles

abstract: We prove that the modular component $\mathcal M(r)$, constructed in the Main Theorem of a former paper of us (published in Adv. Math on 2024), paramatrizing (isomorphism classes of) Ulrich vector bundles of rank $r$ and given Chern classes, on suitable $3$-fold scrolls $X_e$ over Hirzebruch surfaces $\mathbb{F}_{e\geq 0}$, which arise as tautological embeddings of projectivization of very-ample vector bundles on $\mathbb{F}_e$, is generically smooth and unirational. A stronger result holds for the suitable associated moduli space $\mathcal M_{\mathbb F_e}(r)$ of vector bundles of rank $r$ and given Chern classes on $\mathbb{F}_e$, Ulrich w.r.t. the very ample polarization $c_1({\mathcal E}_e) = \mathcal O_{\mathbb F_e}(3, b_e),$ which turns out to be generically smooth, irreducible and unirational.


title: VascularPilot3D: Toward a 3D fully autonomous navigation for endovascular robotics

abstract: This research reports VascularPilot3D, the first 3D fully autonomous endovascular robot navigation system. As an exploration toward autonomous guidewire navigation, VascularPilot3D is developed as a complete navigation system based on intra-operative imaging systems (fluoroscopic X-ray in this study) and typical endovascular robots. VascularPilot3D adopts previously researched fast 3D-2D vessel registration algorithms and guidewire segmentation methods as its perception modules. We additionally propose three modules: a topology-constrained 2D-3D instrument end-point lifting method, a tree-based fast path planning algorithm, and a prior-free endovascular navigation strategy. VascularPilot3D is compatible with most mainstream endovascular robots. Ex-vivo experiments validate that VascularPilot3D achieves 100% success rate among 25 trials. It reduces the human surgeon's overall control loops by 18.38%. VascularPilot3D is promising for general clinical autonomous endovascular navigations.


title: Maxwell's demon across the quantum-to-classical transition

abstract: In scenarios coined Maxwell's demon, information on microscopic degrees of freedom is used to seemingly violate the second law of thermodynamics. This has been studied in the classical as well as the quantum domain. In this paper, we study an implementation of Maxwell's demon that can operate in both domains. In particular, we investigate information-to-work conversion over the quantum-to-classical transition. The demon continuously measures the charge state of a double quantum dot, and uses this information to guide electrons against a voltage bias by tuning the on-site energies of the dots. Coherent tunneling between the dots allows for the buildup of quantum coherence in the system. Under strong measurements, the coherence is suppressed, and the system is well-described by a classical model. As the measurement strength is further increased, the Zeno effect prohibits interdot tunneling. A Zeno-like effect is also observed for weak measurements, where measurement errors lead to fluctuations in the on-site energies, dephasing the system. We anticipate similar behaviors in other quantum systems under continuous measurement and feedback control, making our results relevant for implementations in quantum technology and quantum control.


title: Strategic Data Re-Uploads: A Pathway to Improved Quantum Classification Data Re-Uploading Strategies for Improved Quantum Classifier Performance

abstract: Quantum machine learning (QML) is a promising field that explores the applications of quantum computing to machine learning tasks. A significant hurdle in the advancement of quantum machine learning lies in the development of efficient and resilient quantum classifiers capable of accurately mapping input data to specific, discrete target outputs. In this paper, we propose a novel approach to improve quantum classifier performance by using a data re-uploading strategy. Re-uploading classical information into quantum states multiple times can enhance the accuracy of quantum classifiers. We investigate the effects of different cost functions, such as fidelity and trace distance, on the optimization process and the classification results. We demonstrate our approach to two classification patterns: a linear classification pattern (LCP) and a non-linear classification pattern (NLCP). We evaluate the efficacy of our approach by benchmarking it against four distinct optimization techniques: L-BFGS-B, COBYLA, Nelder-Mead, and SLSQP. Additionally, we study the different impacts of fixed datasets and random datasets. Our results show that our approach can achieve high classification accuracy and robustness and outperform the existing quantum classifier models.


title: Boundedness of metaplectic operators within $L^p$ spaces, applications to pseudodifferential calculus, and time-frequency representations

abstract: Housdorff-Young's inequality establishes the boundedness of the Fourier transform from $L^p$ to $L^q$ spaces for $1\leq p\leq2$ and $q=p'$, where $p'$ denotes the Lebesgue-conjugate exponent of $p$. This paper extends this classical result by characterizing the $L^p-L^q$ boundedness of all metaplectic operators, which play a significant role in harmonic analysis. We demonstrate that metaplectic operators are bounded on Lebesgue spaces if and only if their symplectic projection is either free or lower block triangular. As a byproduct, we identify metaplectic operators that serve as homeomorphisms of $L^p$ spaces. To achieve this, we leverage a parametrization of the symplectic group by F. M. Dopico and C. R. Johnson involving products of complex exponentials with quadratic phase, Fourier multipliers, linear changes of variables, and partial Fourier transforms. Then, we use our findings to provide boundedness results within $L^p$ spaces for pseudodifferential operators with symbols in Lebesgue spaces, and quantized by means of metaplectic operators. These quantizations consists of shift-invertible metaplectic Wigner distributions, which play a fundamental role in measuring local phase-space concentration of signals. Using the Dopico-Johnson factorization, we infer a decomposition law for metaplectic operators on $L^2(\mathbb{R}^{2d})$ in terms of shift-invertible metaplectic operators, establish the density of shift-invertible symplectic matrices in $Sp(2d,\mathbb{R})$, and prove that the lack of shift-invertibility prevents metaplectic Wigner distributions to define the so-called modulation spaces $M^p(\mathbb{R}^d)$.


title: Optimal asymptotic volume ratio for noncompact 3-manifolds with asymptotically nonnegative Ricci curvature and a uniformly positive scalar curvature lower bound

abstract: In this paper, we study 3-dimensional complete non-compact Riemannian manifolds with asymptotically nonnegative Ricci curvature and a uniformly positive scalar curvature lower bound. Our main result is that, if this manifold has $k$ ends and finite first Betti number, then it has at most linear volume growth, and furthermore, if the negative part of Ricci curvature decays sufficiently fast at infinity, then we have an optimal asymptotic volume ratio $\limsup_{r\rightarrow\infty}\frac{\mathrm{Vol}(B(p, r))}{r}\leq4k\pi$. In particular, our results apply to 3-dimensional complete non-compact Riemannian manifolds with nonnegative Ricci curvature and a uniformly positive scalar curvature lower bound.


title: Time-dependent models of AGN disks with radiation from embedded stellar-mass black holes

abstract: The brightest steady sources of radiation in the universe, active galactic nuclei (AGN), are powered by gas accretion onto a central supermassive black hole (SMBH). The large sizes and accretion rates implicated in AGN accretion disks are expected to lead to gravitational instability and fragmentation, effectively cutting off mass inflow to the SMBH. Radiative feedback from disk-embedded stars has been invoked to yield marginally stable, steady-state solutions in the outer disks. Here, we examine the consequences of this star formation with a semi-analytical model in which stellar-mass black hole (sBH) remnants in the disk provide an additional source of stabilizing radiative feedback. Assuming star formation seeds the embedded sBH population, we model the time-evolving feedback from both stars and the growing population of accreting sBHs. We find that in the outer disk, the luminosity of the sBHs quickly dominates that of their parent stars. However, because sBHs consume less gas than stars to stabilize the disk, the presence of the sBHs enhances the mass flux to the inner disk. As a result, star formation persists over the lifetime of the AGN, damped in the outer disk, but amplified in a narrow ring in the inner disk. Heating from the embedded sBHs significantly modifies the disk's temperature profile and hardens its spectral energy distribution, and direct emission from the sBHs adds a new hard X ray component, resembling a Compton reflection "hump".


title: $p$-Wasserstein barycenters

abstract: We study barycenters of $N$ probability measures on $\mathbb{R}^d$ with respect to the $p$-Wasserstein metric ($1<p<\infty$). We prove that -- $p$-Wasserstein barycenters of absolutely continuous measures are unique, and again absolutely continuous -- $p$-Wasserstein barycenters admit a multi-marginal formulation -- the optimal multi-marginal plan is unique and of Monge form if the marginals are absolutely continuous, and its support has an explicit parametrization as a graph over any marginal space. This extends the Agueh--Carlier theory of Wasserstein barycenters [SIAM J. Math. Anal. 43 (2011), no.2, 904--924] to exponents $p\neq 2$. A key ingredient is a quantitative injectivity estimate for the (highly non-injective) map from $N$-point configurations to their $p$-barycenter on the support of an optimal multi-marginal plan. We also discuss the statistical meaning of $p$-Wasserstein barycenters in one dimension.


title: Matrix viscoelasticity decouples bubble growth and dynamics in coarsening foams

abstract: Pressure-driven coarsening triggers bubble rearrangements in liquid foams. Our experiments show that changing the continuous phase rheology can alter these internal bubble dynamics without influencing the coarsening kinetics. Through bubble tracking, we find that increasing the matrix yield stress permits bubble growth without stress relaxation via neighbor-switching events, promoting more spatially homogeneous rearrangements and decoupling bubble growth from dynamics. This eventually leads to a structural change which directly impacts the foam mechanical and stability properties, essential for applications in various technological and industrial contexts.


title: Fat minors cannot be thinned (by quasi-isometries)

abstract: We disprove the conjecture of Georgakopoulos and Papasoglu that a length space (or graph) with no $K$-fat $H$ minor is quasi-isometric to a graph with no $H$ minor. Our counterexample is furthermore not quasi-isometric to a graph with no 2-fat $H$ minor or a length space with no $H$ minor. On the other hand, we show that the following weakening holds: any graph with no $K$-fat $H$ minor is quasi-isometric to a graph with no $3$-fat $H$ minor.


title: Probing particle acceleration in Abell 2256: from to 16 MHz to gamma rays

abstract: Merging galaxy clusters often host spectacular diffuse radio synchrotron sources. These sources can be explained by a non-thermal pool of relativistic electrons accelerated by shocks and turbulence in the intracluster medium. The origin of the pool and details of the cosmic ray transport and acceleration mechanisms in clusters are still open questions. Due to the often extremely steep spectral indices of diffuse radio emission, it is best studied at low frequencies. However, the lowest frequency window available to ground-based telescopes (10-30 MHz) has remained largely unexplored, as radio frequency interference and calibration problems related to the ionosphere become severe. Here, we present LOFAR observations from 16 to 168 MHz targeting the famous cluster Abell 2256. In the deepest-ever images at decametre wavelengths, we detect and resolve the radio halo, radio shock and various steep spectrum sources. We measure standard single power-law behaviour for the radio halo and radio shock spectra and find significant spectral index and curvature fluctuations across the radio halo, indicating an inhomogeneous emitting volume. In contrast to the straight power-law spectra of the large-scale diffuse sources, the various AGN-related sources often show extreme steepening towards higher frequencies and flattening towards low frequencies. We also discover a new fossil plasma source with a steep spectrum between 23 and 144 MHz, with $\alpha=-1.9\pm 0.1$. Finally, by comparing radio and gamma-ray observations, we rule out purely hadronic models for the radio halo origin in Abell 2256, unless the magnetic field strength in the cluster is exceptionally high, which is unsupportable by energetic arguments and inconsistent with the knowledge of other cluster magnetic fields.


title: Odderon contribution in light of the LHC low-$t$ data

abstract: We perform the analysis of elastic scattering $pp$ and $\bar{p}p$ data at low momentum transfer $|t|<0.1$ GeV$^2$ within large collider energy interval $\sqrt{s}=50$ GeV - 13 TeV in order to evaluate quantitatively the possible Odderon contribution. We use the two-channel eikonal model, which naturally accounts for the screening of the Odderon amplitude by $C$-even (Pomeron) exchanges.


title: Quantum vertex algebra associated to quantum toroidal $\mathfrak{gl}_N$

abstract: In this paper, we associate the quantum toroidal algebra $\mathcal{E}_N$ of type $\mathfrak{gl}_N$ with quantum vertex algebra through equivariant $\phi$-coordinated quasi modules. More precisely, for every $\ell\in \mathbb{C}$, by deforming the universal affine vertex algebra of $\mathfrak{sl}_\infty$, we construct an $\hbar$-adic quantum $\Z$-vertex algebra $V_{\widehat{\mathfrak{sl}}_{\infty},\hbar}(\ell,0)$. Then we prove that the category of restricted $\mathcal{E}_N$-modules of level $\ell$ is canonically isomorphic to that of equivariant $\phi$-coordinated quasi $V_{\widehat{\mathfrak{sl}}_{\infty},\hbar}(\ell,0)$-modules.


title: On representations and topological aspects of positive maps on non-unital quasi *-algebras

abstract: In this paper, we provide a representation of a certain class of C*-valued positive sesquilinear and linear maps on non-unital quasi *-algebras. Also, we illustrate our results on the concrete examples of non-unital Banach quasi *-algebras, such as the standard Hilbert module over a commutative C*-algebra, Schatten p-ideals, and noncommutative L2 spaces induced by a semifinite, nonfinite trace. As a consequence of our results, we obtain a representation of all bounded positive linear C*-valued maps on non-unital C*-algebras. We also deduce some norm inequalities for these maps. Finally, we consider a noncommutative L2 space equipped with the topology generated by a positive sesquilinear form and we construct a topologically transitive operator on this space.


title: Clustering of higher order connected correlations in C$^*$ dynamical systems

abstract: In the context of $C^*$ dynamical systems, we consider a locally compact group $G$ acting by $^*$-automorphisms on a C$^*$ algebra $\mathfrak{U}$ of observables, and assume a state of $\mathfrak{U}$ that satisfies the clustering property with respect to a net of group elements of $G$. That is, the two-point connected correlation function vanishes in the limit on the net, when one observable is translated under the group action. Then we show that all higher order connected correlation functions (Ursell functions, or classical cumulants) and all free correlation functions (free cumulants, from free probability) vanish at the same rate in that limit. Additionally, we show that mean clustering, also called ergodicity, extends to higher order correlations. We then apply those results to equilibrium states of quantum spin lattice models. Under certain assumptions on the range of the interaction, high temperature Gibbs states are known to be exponentially clustering w.r.t. space translations. Combined with the Lieb-Robinson bound, one obtains exponential clustering for space-time translations outside the Lieb-Robinson light-cone. Therefore, by our present results, all the higher order connected and free correlation functions will vanish exponentially under space-time translations outside the Lieb-Robinson light cone, in high temperature Gibbs states. Another consequence is that their long-time averaging over a space-time ray vanishes for almost every ray velocity.


title: Phylotrack: C++ and Python libraries for in silico phylogenetic tracking

abstract: In silico evolution instantiates the processes of heredity, variation, and differential reproductive success (the three "ingredients" for evolution by natural selection) within digital populations of computational agents. Consequently, these populations undergo evolution, and can be used as virtual model systems for studying evolutionary dynamics. This experimental paradigm -- used across biological modeling, artificial life, and evolutionary computation -- complements research done using in vitro and in vivo systems by enabling experiments that would be impossible in the lab or field. One key benefit is complete, exact observability. For example, it is possible to perfectly record all parent-child relationships across simulation history, yielding complete phylogenies (ancestry trees). This information reveals when traits were gained or lost, and also facilitates inference of underlying evolutionary dynamics. The Phylotrack project provides libraries for tracking and analyzing phylogenies in in silico evolution. The project is composed of 1) Phylotracklib: a header-only C++ library, developed under the umbrella of the Empirical project, and 2) Phylotrackpy: a Python wrapper around Phylotracklib, created with Pybind11. Both components supply a public-facing API to attach phylogenetic tracking to digital evolution systems, as well as a stand-alone interface for measuring a variety of popular phylogenetic topology metrics. Underlying design and C++ implementation prioritizes efficiency, allowing for fast generational turnover for agent populations numbering in the tens of thousands. Several explicit features (e.g., phylogeny pruning and abstraction, etc.) are provided for reducing the memory footprint of phylogenetic information.


title: Continuous Multi-Link Operation: A Contention-Free Mechanism for the Unlicensed Spectrum

abstract: This paper proposes a novel mechanism to enforce contention-free channel access in the unlicensed spectrum, as opposed to the traditional contention-based approach. To achieve this objective, we build on the Wi-Fi~7 multi-link operation (MLO) and define the means whereby independent channel access attempts are performed in all the addressable links to ensure one available channel/link is ready for transmission at all times, such that a sequence of continuous acquired channels can be maintained. We call this method continuous multi-link operation (ConMLO). In this work, we aim to verify the applicability of ConMLO, its ability to retain spectrum resources for a given duration of time, and its fairness with respect existing approaches, namely legacy single-link operation (SLO) and MLO. To this end, we use realistic data traffic measurements acquired in a crowded football stadium as an exemplary case of challenging spectrum occupation. Our results show that the proposed ConMLO can effectively guarantee continuous channel acquisition under different occupancy scenarios without compromising fairness of channel access compared to existing legacy modes.


title: Compositional imprecise probability

abstract: Imprecise probability is concerned with uncertainty about which probability distributions to use. It has applications in robust statistics and elsewhere. Imprecise probability can be modelled in various ways, including by convex sets of probability distributions. We look at programming language models for imprecise probability. Our desiderata are that we would like our model to support all kinds of composition, categorical and monoidal, in other words, guided by dataflow diagrams. Another equivalent perspective is that we would like a model of synthetic probability in the sense of Markov categories. There is already a fairly popular monad-based approach to imprecise probability, but it is not fully compositional because the monad involved is not commutative, which means that we do not have a proper monoidal structure. In this work, we provide a new fully compositional account. The key idea is to name the non-deterministic choices. To manage the renamings and disjointness of names, we use graded monads. We show that the resulting compositional model is maximal. We relate with the earlier monad approach, showing that we obtain tighter bounds on the uncertainty.


title: Coherent $\pi^0\eta d$ photoproduction at forward deuteron angles measured at BGOOD

abstract: The coherent reaction, $\gamma d \rightarrow \pi^0\eta d$ was studied with the BGOOD experiment at ELSA from threshold to a centre-of-mass energy of 3200\,MeV. A full kinematic reconstruction was made, with final state deuterons identified in the forward spectrometer and $\pi^0$ and $\eta$ decays in the central BGO Rugby Ball. The strength of the differential cross section exceeds what can be described by models of coherent photoproduction at forward angles by orders of magnitude. The distribution of the differential cross section has an excellent agreement with a model including quasi-free $\Delta \pi$ photoproduction, pion re-scattering and $N(1535)$ formation and subsequent nucleon coalescence to the deuteron. This also gives a reasonable description of the two-body invariant mass distributions and naturally explains the similar magnitudes of this channel and $\pi^0\pi^0 d$ coherent photoproduction.


title: Counting overlapping pairs of strings

abstract: A correlation is a binary vector that encodes all possible positions of overlaps of two words, where an overlap for an ordered pair of words (u,v) occurs if a suffix of word u matches a prefix of word v. As multiple pairs can have the same correlation, it is relevant to count how many pairs of words share the same correlation depending on the alphabet size and word length n. We exhibit recurrences to compute the number of such pairs -- which is termed population size -- for any correlation; for this, we exploit a relationship between overlaps of two words and self-overlap of one word. This theorem allows us to compute the number of pairs with a longest overlap of a given length and to show that the expected length of the longest border of two words asymptotically diverges, which solves two open questions raised by Gabric in 2022. Finally, we also provide bounds for the asymptotic of the population ratio of any correlation. Given the importance of word overlaps in areas like word combinatorics, bioinformatics, and digital communication, our results may ease analyses of algorithms for string processing, code design, or genome assembly.


title: SA-FedLora: Adaptive Parameter Allocation for Efficient Federated Learning with LoRA Tuning

abstract: Fine-tuning large-scale pre-trained models via transfer learning is an emerging important paradigm for a wide range of downstream tasks, with performance heavily reliant on extensive data. Federated learning (FL), as a distributed framework, provides a secure solution to train models on local datasets while safeguarding raw sensitive data. However, FL networks encounter high communication costs due to the massive parameters of large-scale pre-trained models, necessitating parameter-efficient methods. Notably, parameter efficient fine tuning, such as Low-Rank Adaptation (LoRA), has shown remarkable success in fine-tuning pre-trained models. However, prior research indicates that the fixed parameter budget may be prone to the overfitting or slower convergence. To address this challenge, we propose a Simulated Annealing-based Federated Learning with LoRA tuning (SA-FedLoRA) approach by reducing trainable parameters. Specifically, SA-FedLoRA comprises two stages: initiating and annealing. (1) In the initiating stage, we implement a parameter regularization approach during the early rounds of aggregation, aiming to mitigate client drift and accelerate the convergence for the subsequent tuning. (2) In the annealing stage, we allocate higher parameter budget during the early 'heating' phase and then gradually shrink the budget until the 'cooling' phase. This strategy not only facilitates convergence to the global optimum but also reduces communication costs. Experimental results demonstrate that SA-FedLoRA is an efficient FL, achieving superior performance to FedAvg and significantly reducing communication parameters by up to 93.62%.


title: Matching domain experts by training from scratch on domain knowledge

abstract: Recently, large language models (LLMs) have outperformed human experts in predicting the results of neuroscience experiments (Luo et al., 2024). What is the basis for this performance? One possibility is that statistical patterns in that specific scientific literature, as opposed to emergent reasoning abilities arising from broader training, underlie LLMs' performance. To evaluate this possibility, we trained (next word prediction) a relatively small 124M-parameter GPT-2 model on 1.3 billion tokens of domain-specific knowledge. Despite being orders of magnitude smaller than larger LLMs trained on trillions of tokens, small models achieved expert-level performance in predicting neuroscience results. Small models trained on the neuroscience literature succeeded when they were trained from scratch using a tokenizer specifically trained on neuroscience text or when the neuroscience literature was used to finetune a pretrained GPT-2. Our results indicate that expert-level performance may be attained by even small LLMs through domain-specific, auto-regressive training approaches.


title: $O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof

abstract: Classifying formal languages according to the expressiveness of grammars able to generate them is a fundamental problem in computational linguistics and, therefore, in the theory of computation. Furthermore, such kind of analysis can give insight into the classification of abstract algebraic structure such as groups, for example through the correspondence given by the word problem. While many such classification problems remain open, others have been settled. Recently, it was proved that $n$-balanced languages (i.e., whose strings contain the same occurrences of letters $a_i$ and $A_i$ with $1\leq i \leq n$) can be generated by multiple context-free grammars (MCFGs), which are one of the several slight extensions of context free grammars added to the classical Chomsky hierarchy to make the mentioned classification more precise. This paper analyses the existing proofs from the computational and the proof-theoretical point of views, systematically studying whether each proof can lead to a verified (i.e., checked by a proof assistant) algorithm parsing balanced languages via MCFGs. We conclude that none of the existing proofs is realistically suitable against this practical goal, and proceed to provide a radically new, elementary, extremely short proof for the crucial case $n \leq 2$. A comparative analysis with respect to the existing proofs is finally performed to justify why the proposed proof is a substantial step towards concretely obtaining a verified parsing algorithm for $O_2$.


title: Sharp PDE estimates for random two-dimensional bipartite matching with power cost function

abstract: We investigate the random bipartite optimal matching problem on a flat torus in two-dimensions, considering general strictly convex power costs of the distance. We extend the successful ansatz first introduced by Caracciolo et al. for the quadratic case, involving a linear Poisson equation, to a non-linear equation of $q$-Poisson type, allowing for a more comprehensive analysis of the optimal transport cost. Our results establish new asymptotic connections between the energy of the solution to the PDE and the optimal transport cost, providing insights on their asymptotic behavior.


title: Encrypted Container File: Design and Implementation of a Hybrid-Encrypted Multi-Recipient File Structure

abstract: Modern software engineering trends towards Cloud-native software development by international teams of developers. Cloud-based version management services, such as GitHub, are used for the source code and other artifacts created during the development process. However, using such a service usually means that every developer has access to all data stored on the platform. Particularly, if the developers belong to different companies or organizations, it would be desirable for sensitive files to be encrypted in such a way that these can only be decrypted again by a group of previously defined people. In this paper, we examine currently available tools that address this problem, but which have certain shortcomings. We then present our own solution, Encrypted Container Files (ECF), for this problem, eliminating the deficiencies found in the other tools.


title: Giant branch planetary systems: Dynamical and radiative evolution

abstract: In seven billion years, the Sun will be dead. As stars like the Sun pass from their present state to that of a dead white dwarf star, they undergo two phases of extremely high luminosity and radius -- the red giant branch and the asymptotic giant branch -- during which they will lose half or more of their mass. These changes to the star have a significant impact on orbiting planets, asteroids and comets. The large stellar radius (beyond the current orbit of the Earth) leads to the engulfment of bodies entering the stellar envelope, a process enhanced by strong tidal interactions. The high luminosity affects bodies' orbits and physical properties, while mass loss can later trigger the destabilisation of bodies around white dwarfs. It is necessary to understand these processes to understand both the future of our Solar System, and to interpret growing observations of planetary systems around evolved stars.


title: Flow updates for domain decomposition of entropic optimal transport

abstract: Domain decomposition has been shown to be a computationally efficient distributed method for solving large scale entropic optimal transport problems. However, a naive implementation of the algorithm can freeze in the limit of very fine partition cells (i.e.~it asymptotically becomes stationary and does not find the global minimizer), since information can only travel slowly between cells. In practice this can be avoided by a coarse-to-fine multiscale scheme. In this article we introduce flow updates as an alternative approach. Flow updates can be interpreted as a variant of the celebrated algorithm by Angenent, Haker, and Tannenbaum, and can be combined canonically with domain decomposition. We prove convergence to the global minimizer and provide a formal discussion of its continuity limit. We give a numerical comparison with naive and multiscale domain decomposition, and show that the hybrid method does not suffer from freezing in the regime of very many cells. While the multiscale scheme is observed to be faster than the hybrid approach in general, the latter could be a viable alternative in cases where a good initial coupling is available. Our numerical experiments are based on a novel GPU implementation of domain decomposition that we describe in the appendix.


title: Failure of the Blok-Esakia Theorem in the monadic setting

abstract: The Blok-Esakia Theorem establishes that the lattice of superintuitionistic logics is isomorphic to the lattice of extensions of Grzegorczyk's logic. We prove that the Blok-Esakia isomorphism $\sigma$ does not extend to the fragments of the corresponding predicate logics of already one fixed variable. In other words, we prove that $\sigma$ is no longer an isomorphism from the lattice of extensions of the monadic intuitionistic logic to the lattice of extensions of the monadic Grzegorczyk logic.


title: A Generalization of Varnavides's Theorem

abstract: A linear equation $E$ is said to be sparse if there is $c>0$ so that every subset of $[n]$ of size $n^{1-c}$ contains a solution of $E$ in distinct integers. The problem of characterizing the sparse equations, first raised by Ruzsa in the 90's, is one of the most important open problems in additive combinatorics. We say that $E$ in $k$ variables is abundant if every subset of $[n]$ of size $\varepsilon n$ contains at least poly$(\varepsilon)\cdot n^{k-1}$ solutions of $E$. It is clear that every abundant $E$ is sparse, and Gir\~{a}o, Hurley, Illingworth and Michel asked if the converse implication also holds. In this note we show that this is the case for every $E$ in $4$ variables. We further discuss a generalization of this problem which applies to all linear equations.


title: Identity Overlap Between Face Recognition Train/Test Data: Causing Optimistic Bias in Accuracy Measurement

abstract: A fundamental tenet of pattern recognition is that overlap between training and testing sets causes an optimistic accuracy estimate. Deep CNNs for face recognition are trained for N-way classification of the identities in the training set. Accuracy is commonly estimated as average 10-fold classification accuracy on image pairs from test sets such as LFW, CALFW, CPLFW, CFP-FP and AgeDB-30. Because train and test sets have been independently assembled, images and identities in any given test set may also be present in any given training set. In particular, our experiments reveal a surprising degree of identity and image overlap between the LFW family of test sets and the MS1MV2 training set. Our experiments also reveal identity label noise in MS1MV2. We compare accuracy achieved with same-size MS1MV2 subsets that are identity-disjoint and not identity-disjoint with LFW, to reveal the size of the optimistic bias. Using more challenging test sets from the LFW family, we find that the size of the optimistic bias is larger for more challenging test sets. Our results highlight the lack of and the need for identity-disjoint train and test methodology in face recognition research.


title: Time-Equivariant Contrastive Learning for Degenerative Disease Progression in Retinal OCT

abstract: Contrastive pretraining provides robust representations by ensuring their invariance to different image transformations while simultaneously preventing representational collapse. Equivariant contrastive learning, on the other hand, provides representations sensitive to specific image transformations while remaining invariant to others. By introducing equivariance to time-induced transformations, such as disease-related anatomical changes in longitudinal imaging, the model can effectively capture such changes in the representation space. In this work, we pro-pose a Time-equivariant Contrastive Learning (TC) method. First, an encoder embeds two unlabeled scans from different time points of the same patient into the representation space. Next, a temporal equivariance module is trained to predict the representation of a later visit based on the representation from one of the previous visits and the corresponding time interval with a novel regularization loss term while preserving the invariance property to irrelevant image transformations. On a large longitudinal dataset, our model clearly outperforms existing equivariant contrastive methods in predicting progression from intermediate age-related macular degeneration (AMD) to advanced wet-AMD within a specified time-window.


title: On identifying the non-linear dynamics of a hovercraft using an end-to-end deep learning approach

abstract: We present the identification of the non-linear dynamics of a novel hovercraft design, employing end-to-end deep learning techniques. Our experimental setup consists of a hovercraft propelled by racing drone propellers mounted on a lightweight foam base, allowing it to float and be controlled freely on an air hockey table. We learn parametrized physics-inspired non-linear models directly from data trajectories, leveraging gradient-based optimization techniques prevalent in machine learning research. The chosen model structure allows us to control the position of the hovercraft precisely on the air hockey table. We then analyze the prediction performance and demonstrate the closed-loop control performance on the real system.


title: Bounded-Memory Strategies in Partial-Information Games

abstract: We study the computational complexity of solving stochastic games with mean-payoff objectives. Instead of identifying special classes in which simple strategies are sufficient to play $\epsilon$-optimally, or form $\epsilon$-Nash equilibria, we consider general partial-information multiplayer games and ask what can be achieved with (and against) finite-memory strategies up to a {given} bound on the memory. We show $NP$-hardness for approximating zero-sum values, already with respect to memoryless strategies and for 1-player reachability games. On the other hand, we provide upper bounds for solving games of any fixed number of players $k$. We show that one can decide in polynomial space if, for a given $k$-player game, $\epsilon\ge 0$ and bound $b$, there exists an $\epsilon$-Nash equilibrium in which all strategies use at most $b$ memory modes. For given $\epsilon>0$, finding an $\epsilon$-Nash equilibrium with respect to $b$-bounded strategies can be done in $FN[NP]$. Similarly for 2-player zero-sum games, finding a $b$-bounded strategy that, against all $b$-bounded opponent strategies, guarantees an outcome within $\epsilon$ of a given value, can be done in $FNP[NP]$. Our constructions apply to parity objectives with minimal simplifications. Our results improve the status quo in several well-known special cases of games. In particular, for $2$-player zero-sum concurrent mean-payoff games, one can approximate ordinary zero-sum values (without restricting admissible strategies) in $FNP[NP]$.


title: Strain effects on the electronic properties of a graphene wormhole

abstract: In this work, we explore the strain and curvature effects on the electronic properties of a curved graphene structure, called the graphene wormhole. The electron dynamics is described by a massless Dirac fermion containing position--dependent Fermi velocity. In addition, the strain produces a pseudo--magnetic vector potential to the geometric coupling. For an isotropic strain tensor, the decoupled components of the spinor field exhibit a supersymmetric (SUSY) potential, depending on the centrifugal term and the external magnetic field only. In the absence of a external magnetic field, the strain yields to an exponential damped amplitude, whereas the curvature leads to a power--law damping of the wave function. The spin--curvature coupling breaks the chiral symmetry between the upper and the lower spinor component, which leads to the increasing of the wave function on either upper or lower region of the wormhole, i.e., depending on the spin number. By adding an uniform magnetic field, the effective potential exhibits an asymptotic quadratic profile and a spin--curvature barrier near the throat. As a result, the bound states (Landau levels) are confined around the wormhole throat showing an asymmetric and spin--dependent profile.


title: A velocity-based moving mesh Discontinuous Galerkin method for the advection-diffusion equation

abstract: In convection-dominated flows, robustness of the spatial discretisation is a key property. While Interior Penalty Galerkin (IPG) methods already proved efficient in the situation of large mesh Peclet numbers, Arbitrary Lagrangian-Eulerian (ALE) methods are able to reduce the convection-dominance by moving the mesh. In this paper, we introduce and analyse a velocity-based moving mesh discontinuous Galerkin method for the solution of the linear advection-diffusion equation. By introducing a smooth parameterized velocity $\tilde{V}$ that separates the flow into a mean flow, also called moving mesh velocity, and a remaining advection field $V-\tilde{V}$, we made a convergence analysis based on the smoothness of the mesh velocity. Furthermore, the reduction of the advection speed improves the stability of an explicit time-stepping and the use of the nonconservative ALE formulation changes the coercivity condition. Finally, by adapting the existing robust error criteria to this moving mesh situation, we derived robust \textit{a posteriori} error criteria that describe the potentially small deviation to the mean flow and include the information of a transition towards $V=\tilde{V}$.


title: Real-World Federated Learning in Radiology: Hurdles to overcome and Benefits to gain

abstract: Objective: Federated Learning (FL) enables collaborative model training while keeping data locally. Currently, most FL studies in radiology are conducted in simulated environments due to numerous hurdles impeding its translation into practice. The few existing real-world FL initiatives rarely communicate specific measures taken to overcome these hurdles, leaving behind a significant knowledge gap. Minding efforts to implement real-world FL, there is a notable lack of comprehensive assessment comparing FL to less complex alternatives. Materials & Methods: We extensively reviewed FL literature, categorizing insights along with our findings according to their nature and phase while establishing a FL initiative, summarized to a comprehensive guide. We developed our own FL infrastructure within the German Radiological Cooperative Network (RACOON) and demonstrated its functionality by training FL models on lung pathology segmentation tasks across six university hospitals. We extensively evaluated FL against less complex alternatives in three distinct evaluation scenarios. Results: The proposed guide outlines essential steps, identified hurdles, and proposed solutions for establishing successful FL initiatives conducting real-world experiments. Our experimental results show that FL outperforms less complex alternatives in all evaluation scenarios, justifying the effort required to translate FL into real-world applications. Discussion & Conclusion: Our proposed guide aims to aid future FL researchers in circumventing pitfalls and accelerating translation of FL into radiological applications. Our results underscore the value of efforts needed to translate FL into real-world applications by demonstrating advantageous performance over alternatives, and emphasize the importance of strategic organization, robust management of distributed data and infrastructure in real-world settings.


title: Advection of the image point in probabilistically-reconstructed phase spaces

abstract: Insufficient reference data is ubiquitous in data-driven computational fluid dynamics, as it is usually too expensive to compute or impossible to observe over long enough times needed for data-driven methods to properly operate out of the sampled range. Ultimately, the lack of data can significantly compromise the fidelity of results computed with data-driven methods or make the data-driven approach inapplicable. In order to challenge this problem, we propose a probabilistic reconstruction method which enriches the hyper-parameterisation approach with ideas underlying the probabilistic-evolutionary approach. We offer to use Advection of the image point (a hyper-parameterisation method) on data sampled from the joint probability distribution of the reference dataset. The idea is to blend together the simplicity of the hyper-parameterisation (HP) method with an extra source of reference data provided through sampling from the joint probability distribution. The HP method has been tested on the sea surface temperature and surface relative vorticity computed with the global 1/4-degree and 1/12-degree resolution NEMO model. Our results show that the HP solution (the solution computed with the HP method) in the probabilistically-reconstructed and reduced (in terms of dimensionality) phase space at 1/4-degree resolution is more accurate compared to the 1/4-degree solution computed with NEMO and it is also several orders of magnitude faster to compute than the 1/4-degree run. The proposed method shows encouraging results for the NEMO model and the potential for the use in other operational ocean and ocean-atmospheric models for both deterministic and probabilistic predictions.


title: Spin-spin Interactions in General Relativity versus Linearized Massive Gravity: $N$-body Simulations

abstract: We simulated spin-spin interactions of $N$-bodies in linearized General Relativity (GR) and linearized Massive Gravity of the Fierz-Pauli type (mGR). It was noted earlier that there is a discrete difference between the spin-spin interaction potential in GR and mGR for a $2$-body system, akin to the van Dam-Veltman-Zakharov discontinuity in the static Newton's potential. Specifically, at large distances, GR favors anti-parallel spin orientation with total spin pointing along the interaction axis, while mGR favors parallel spin orientation with total spin perpendicular to the axis between the sources. For an $N$-body system, a simulation in mGR hitherto has not been done and one would like to know the total spin of the system in both theories. Here we remedy this. In the simulations of GR, we observed that the total spin tends to decrease from a random initial configuration, while for mGR with a large distance, the total spin increases.

categories: gr-qc astro-ph.CO hep-th math-ph math.MP


title: Distinguishing Tor From Other Encrypted Network Traffic Through Character Analysis

abstract: For journalists reporting from a totalitarian regime, whistleblowers and resistance fighters, the anonymous use of cloud services on the Internet can be vital for survival. The Tor network provides a free and widely used anonymization service for everyone. However, there are different approaches to distinguishing Tor from non-Tor encrypted network traffic, most recently only due to the (relative) frequencies of hex digits in a single encrypted payload packet. While conventional data traffic is usually encrypted once, but at least three times in the case of Tor due to the structure and principle of the Tor network, we have examined to what extent the number of encryptions contributes to being able to distinguish Tor from non-Tor encrypted data traffic.


title: Three Dimensional Spatial Cognition: Bees and Bats

abstract: The paper describes a program which computes the best possible Bayesian model of 3D space from vision (in bees) or echo location (in bats), at Marrs [1982] Level 2. The model exploits the strong Bayesian prior probability that most other things do not move, as the animal moves. 3D locations of things are computed from successive sightings or echoes, computing structure from the animals motion (SFM). The program can be downloaded and run. It also computes a tracking approximate model, which is more tractable for animal brains than the full Bayesian computation. The tracking model is nearly as good as the full Bayesian model, but only if spatial memory storage errors are small. Neural storage of spatial positions gives too high error levels, and is too slow. Alternatively, a 3D model of space could be stored in a wave excitation, as a Fourier transform of real space. This could give high memory capacity and precision, with low spatial distortion, fast response, and simpler computation. Evidence is summarized from related papers that a wave excitation holds spatial memory in the mammalian thalamus, and in the central body of the insect brain.


title: Improving the convergence analysis of linear subdivision schemes

abstract: This work presents several new results concerning the analysis of the convergence of binary, univariate, and linear subdivision schemes, all related to the {\it contractivity factor} of a convergent scheme. First, we prove that a convergent scheme cannot have a contractivity factor lower than half. Since the lower this factor is, the faster is the convergence of the scheme, schemes with contractivity factor $\frac{1}{2}$, such as those generating spline functions, have optimal convergence rate. Additionally, we provide further insights and conditions for the convergence of linear schemes and demonstrate their applicability in an improved algorithm for determining the convergence of such subdivision schemes.


title: On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head

abstract: The relation between (a fragment of) assumption-based argumentation (ABA) and logic programs (LPs) under stable model semantics is well-studied. However, for obtaining this relation, the ABA framework needs to be restricted to being flat, i.e., a fragment where the (defeasible) assumptions can never be entailed, only assumed to be true or false. Here, we remove this restriction and show a correspondence between non-flat ABA and LPs with negation as failure in their head. We then extend this result to so-called set-stable ABA semantics, originally defined for the fragment of non-flat ABA called bipolar ABA. We showcase how to define set-stable semantics for LPs with negation as failure in their head and show the correspondence to set-stable ABA semantics.


title: Refined determination of the weak mixing angle at low energy

abstract: The weak mixing angle is a fundamental parameter of the electroweak theory of the standard model whose measurement in the low-energy regime is still not precisely determined. Different probes are sensitive to its value, among which atomic parity violation, coherent elastic neutrino-nucleus scattering and parity-violating electron scattering on different nuclei. In this work, we attempt for the first time to combine all these various determinations by performing a global fit that also keeps into account the unavoidable dependence on the experimentally poorly known neutron distribution radius of the nuclei employed, for which a new measurement using proton-cesium elastic scattering became available. By using all present direct determinations of the neutron distribution radius of cesium we find $\sin^2\!\vartheta_{W} =0.2396^{+0.0020}_{-0.0019}$, which should supersede the previous value determined from atomic parity violation on cesium. When including electroweak only, but also indirect, determinations of the neutron distribution radius of cesium the uncertainty reduces to 0.0017 maintaining the same central value, showing an excellent agreement independently of the method used.


title: Study of charged Lepton Flavor Violation in electron muon interactions

abstract: With the improvement of muon acceleration technology, it has received great interest to exploit high-energy muon beams for collision or target experiments. We investigate possible charged Lepton Flavor Violation (cLFV) processes mediated by an extra massive neutral gauge boson Zprime in electron muon interactions, either at a proposed electron muon collider or in a fixed target experiment with high-energy muon beam hitting electrons in the target. Based on Monte Carlo calculations and fast detector simulations, we study in detail our signal and possible backgrounds, giving the sensitivity results of cLFV signals at the 90% confidence level. Compared with current and prospective limits set by other experiments, electron muon interactions demonstrate significant advantages in the cLFV coupling strength sensitivity with tau in the final states. In addition, a special cLFV coupling combination, lambda_emu * lambda_mumu, can also be probed in our proposal.


title: Highly Tunable Ru-dimer Molecular Orbital State in 6H-perovskite Ba$_3$MRu$_2$O$_9$

abstract: Molecular orbital (MO) systems with clusters of heavy transition metal (TM) ions are one of the most important classes of model materials for studying the interplay between local physics and effects of itinerancy. Despite a large number of candidates identified in the family of 4d TM materials, an understanding of their physics from competing \textit{microscopic} energy scales is still missing. We bridge this gap by reporting the first resonant inelastic X-ray scattering (RIXS) measurement on a well-known series of Ru dimer systems with a 6H-perovskite structure, Ba$_3$MRu$_2$O$_9$ (M$^{3+}$=In$^{3+}$, Y$^{3+}$, La$^{3+}$). Our RIXS measurements reveal an extremely fragile MO state in these Ru dimer compounds, evidenced by an abrupt change in the RIXS spectrum accompanying a tiny change in the local structure tuned by the M-site ion. By modelling the RIXS spectra, we attribute the enhanced electronic instability in Ba$_3$MRu$_2$O$_9$ to the combined effect of a large hopping and a small spin-orbit coupling in the Ru dimers. The unique combination of energy scales uncovered in the present study make Ru MO systems ideal model systems for studying quantum phase transitions with molecular orbitals.


title: Exploiting Sign Symmetries in Minimizing Sums of Rational Functions

abstract: This paper is devoted to the problem of minimizing a sum of rational functions over a basic semialgebraic set. We provide a hierarchy of sum of squares (SOS) relaxations that is dual to the generalized moment problem approach due to Bugarin, Henrion, and Lasserre. The investigation of the dual SOS aspect offers two benefits: 1) it allows us to conduct a convergence rate analysis for the hierarchy; 2) it leads to a sign symmetry adapted hierarchy consisting of block-diagonal semidefinite relaxations. When the problem possesses correlative sparsity as well as sign symmetries, we propose sparse semidefinite relaxations by exploiting both structures. Various numerical experiments are performed to demonstrate the efficiency of our approach. Finally, an application to maximizing sums of generalized Rayleigh quotients is presented.


title: Exciton self-trapping in twisted hexagonal boron nitride homostructures

abstract: One of the main interests of 2D materials is their ability to be assembled with many degrees of freedom for tuning and manipulating excitonic properties. There is a need to understand how the structure of the interfaces between atomic layers influences exciton properties. Here we use cathodoluminescence (CL) and time-resolved CL experiments to study how excitons interact with the interface between two twisted hexagonal boron nitride (hBN) crystals with various angles. An efficient capture of free excitons by the interface is demonstrated, which leads to a population of long lived and interface-localized (2D) excitons. Temperature dependent experiments indicate that for high twist angles, these excitons localized at the interface further undergo a self-trapping. It consists in a distortion of the lattice around the exciton on which the exciton traps itself. Our results suggest that this exciton-interface interaction causes a broad optical emission of highly twisted hBN-hBN structures around 300 nm (4 eV). Exciton self-trapping is finally discussed as a common feature of sp2 hybridized boron nitride polytypes and nanostructures due to the ionic nature of the B-N bond and their compact excitons.


title: A positive proportion of monic odd-degree hyperelliptic curves of genus $g \geq 4$ have no unexpected quadratic points

abstract: Let $\mathcal{F}_g$ be the family of monic odd-degree hyperelliptic curves of genus $g$ over $\mathbb{Q}$. Poonen and Stoll have shown that for every $g \geq 3$, a positive proportion of curves in $\mathcal{F}_g$ have no rational points except the point at infinity. In this note, we prove the analogue for quadratic points: for each $g\geq 4$, a positive proportion of curves in $\mathcal{F}_g$ have no points defined over quadratic extensions except those that arise by pulling back rational points from $\mathbb{P}^1$.


title: Was there a Big Bang?

abstract: New one parameter family of exact solutions in General Relativity with a scalar field is found. The metric is of Liouville type which admits complete separation of variables in the geodesic Hamilton--Jacobi equation. This solution exists for the exponential potential for a scalar field and is invariant with respect to global Lorentz transformations. It describes, in particular, a black hole formation as well as a naked singularity. Solutions corresponding to the naked singularity describe accelerating expansion of the homogeneous and isotropic Universe, and can be smoothly continued along geodesics to infinite past without Big Bang.


title: MicroPython Testbed for Federated Learning Algorithms

abstract: Recently, Python Testbed for Federated Learning Algorithms emerged as a low code and generative large language models amenable framework for developing decentralized and distributed applications, primarily targeting edge systems, by nonprofessional programmers with the help of emerging artificial intelligence tools. This light framework is written in pure Python to be easy to install and to fit into a small IoT memory. It supports formally verified generic centralized and decentralized federated learning algorithms, as well as the peer-to-peer data exchange used in time division multiplexing communication, and its current main limitation is that all the application instances can run only on a single PC. This paper presents the MicroPyton Testbed for Federated Learning Algorithms, the new framework that overcomes its predecessor's limitation such that individual application instances may run on different network nodes like PCs and IoTs, primarily in edge systems. The new framework carries on the pure Python ideal, is based on asynchronous I/O abstractions, and runs on MicroPython, and therefore is a great match for IoTs and devices in edge systems. The new framework was experimentally validated on a wireless network comprising PCs and Raspberry Pi Pico W boards, by using application examples originally developed for the predecessor framework.


title: On backward problem for a time-fractional fourth order parabolic equation

abstract: This paper is concerned with the inverse problem of retrieving the initial value of a time-fractional fourth order parabolic equation from source and final time observation. The considered problem is an {\it ill-posed problem.} We obtain regularized approximations for the sought initial value by employing the quasi-boundary value method, its modified version and by Fourier truncation method(FTM). We provide both the apriori and aposteriori parameter choice strategies and derive the error estimates for all these methods under some {\it source conditions} involving some Sobolev smoothness. As an important implication of the obtained rates, we observe that for both the apriori and aposteriori cases, the rates obtained by all these three methods are same for some source sets. Moreover, we observe that in both the apriori and aposteriori cases, the FTM is free from the so-called {\it saturation effect}, whereas both the quasi-boundary value method and its generalizations possesses the saturation effect for both the cases. Further, we observe that the rates obtained by the FTM is always order optimal for all the considered source sets.


title: Robust Covariance-Based Activity Detection for Massive Access

abstract: The wireless channel is undergoing continuous changes, and the block-fading assumption, despite its popularity in theoretical contexts, never holds true in practical scenarios. This discrepancy is particularly critical for user activity detection in grant-free random access, where joint processing across multiple resource blocks is usually undesirable. In this paper, we propose employing a low-dimensional approximation of the channel to capture variations over time and frequency and robustify activity detection algorithms. This approximation entails projecting channel fading vectors onto their principal directions to minimize the approximation order. Through numerical examples, we demonstrate a substantial performance improvement achieved by the resulting activity detection algorithm.


title: Global-Local Image Perceptual Score (GLIPS): Evaluating Photorealistic Quality of AI-Generated Images

abstract: This paper introduces the Global-Local Image Perceptual Score (GLIPS), an image metric designed to assess the photorealistic image quality of AI-generated images with a high degree of alignment to human visual perception. Traditional metrics such as FID and KID scores do not align closely with human evaluations. The proposed metric incorporates advanced transformer-based attention mechanisms to assess local similarity and Maximum Mean Discrepancy (MMD) to evaluate global distributional similarity. To evaluate the performance of GLIPS, we conducted a human study on photorealistic image quality. Comprehensive tests across various generative models demonstrate that GLIPS consistently outperforms existing metrics like FID, SSIM, and MS-SSIM in terms of correlation with human scores. Additionally, we introduce the Interpolative Binning Scale (IBS), a refined scaling method that enhances the interpretability of metric scores by aligning them more closely with human evaluative standards. The proposed metric and scaling approach not only provides more reliable assessments of AI-generated images but also suggest pathways for future enhancements in image generation technologies.


title: Laser cooling of barium monofluoride molecules using synthesized optical spectra

abstract: We demonstrate laser cooling of barium monofluoride (138BaF) molecules. We use serrodynes to synthesize time-sequenced optical spectra that can be precisely tailored to the hyperfine structure of this heaviest non-radioactive alkaline earth monofluoride. By optimizing these optical spectra, we realize strong Sisyphus cooling forces that efficiently collimate a molecular beam. Our technique is an important step towards using intense beams of barium monofluoride for precision measurement applications, and will be useful for cooling other molecular species with complex level structure.


title: Physics-Informed Neural Network for Multirotor Slung Load Systems Modeling

abstract: Recent advances in aerial robotics have enabled the use of multirotor vehicles for autonomous payload transportation. Resorting only to classical methods to reliably model a quadrotor carrying a cable-slung load poses significant challenges. On the other hand, purely data-driven learning methods do not comply by design with the problem's physical constraints, especially in states that are not densely represented in training data. In this work, we explore the use of physics informed neural networks to learn an end-to-end model of the multirotor-slung-load system and, at a given time, estimate a sequence of the future system states. An LSTM encoder decoder with an attention mechanism is used to capture the dynamics of the system. To guarantee the cohesiveness between the multiple predicted states of the system, we propose the use of a physics-based term in the loss function, which includes a discretized physical model derived from first principles together with slack variables that allow for a small mismatch between expected and predicted values. To train the model, a dataset using a real-world quadrotor carrying a slung load was curated and is made available. Prediction results are presented and corroborate the feasibility of the approach. The proposed method outperforms both the first principles physical model and a comparable neural network model trained without the physics regularization proposed.


title: Generalizations of cyclic polytopes

abstract: Cyclic polytopes have been studied since at least the early last century by Caratheodory and others.A generalization is a construction of a class of polytopes such that the polytopes have some of their properties.The best known example is the class of neighbourly polytopes. Cyclic polytopes have explicit facet structures, important properties and applications in different branches of mathematics. In the past few decades, generalizations of their combinatorial properties have yielded new classes of polytopes that also have explicit facet structures and useful applications. We present an overview of these generalizations along with some applications of the resultant polytopes, and some possible approaches to other generalizations.


title: Analyzing and Enhancing Queue Sampling for Energy-Efficient Remote Control of Bandits

abstract: In recent years, the integration of communication and control systems has gained significant traction in various domains, ranging from autonomous vehicles to industrial automation and beyond. Multi-armed bandit (MAB) algorithms have proven their effectiveness as a robust framework for solving control problems. In this work, we investigate the use of MAB algorithms to control remote devices, which faces considerable challenges primarily represented by latency and reliability. We analyze the effectiveness of MABs operating in environments where the action feedback from controlled devices is transmitted over an unreliable communication channel and stored in a Geo/Geo/1 queue. We investigate the impact of queue sampling strategies on the MAB performance, and introduce a new stochastic approach. Its performance in terms of regret is evaluated against established algorithms in the literature for both upper confidence bound (UCB) and Thompson Sampling (TS) algorithms. Additionally, we study the trade-off between maximizing rewards and minimizing energy consumption.


title: A Survey On Text-to-3D Contents Generation In The Wild

abstract: 3D content creation plays a vital role in various applications, such as gaming, robotics simulation, and virtual reality. However, the process is labor-intensive and time-consuming, requiring skilled designers to invest considerable effort in creating a single 3D asset. To address this challenge, text-to-3D generation technologies have emerged as a promising solution for automating 3D creation. Leveraging the success of large vision language models, these techniques aim to generate 3D content based on textual descriptions. Despite recent advancements in this area, existing solutions still face significant limitations in terms of generation quality and efficiency. In this survey, we conduct an in-depth investigation of the latest text-to-3D creation methods. We provide a comprehensive background on text-to-3D creation, including discussions on datasets employed in training and evaluation metrics used to assess the quality of generated 3D models. Then, we delve into the various 3D representations that serve as the foundation for the 3D generation process. Furthermore, we present a thorough comparison of the rapidly growing literature on generative pipelines, categorizing them into feedforward generators, optimization-based generation, and view reconstruction approaches. By examining the strengths and weaknesses of these methods, we aim to shed light on their respective capabilities and limitations. Lastly, we point out several promising avenues for future research. With this survey, we hope to inspire researchers further to explore the potential of open-vocabulary text-conditioned 3D content creation.


title: Analytic forms for the $e^+e^-$ annihilation cross sections around a resonance including initial state radiation

abstract: The exact analytic form of cross sections including initial state radiation with Kuraev-Fadin radiative function are obtained for $e^+e^-$ annihilation around a resonance. Despite accounting for vacuum polarization and center-of-mass energy spread effects, the precision remains below 0.1\%, meeting the accuracy requirements of quantum electrodynamics corrections up to $\mathcal{O}(\alpha^2)$. The analytic forms lead to an enhancement in the precision of experimental measurements of physical parameters, such as branching fractions, and demonstrate significantly improved computational efficiency in the regression procedures.


title: Infinitary primitive positive definability over the real numbers with convex relations

abstract: On a finite structure, the polymorphism invariant relations are exactly the primitively positively definable relations. On infinite structures, these two sets of relations are different in general. Infinitary primitively positively definable relations are a natural intermediate concept which extends primitive positive definability by infinite conjunctions. We consider for every convex set $S\subset \mathbb{R}^n$ the structure of the real numbers $\mathbb{R}$ with addition, scalar multiplication, constants, and additionally the relation $S$. We prove that depending on $S$, the set of all relations with an infinitary primitive positive definition in this structure equals one out of six possible sets. This dependency gives a natural partition of the convex sets into six nonempty classes. We also give an elementary geometric description of the classes and a description in terms of linear maps. The classification also implies that there is no locally closed clone between the clone of affine combinations and the clone of convex combinations.