title: Performance of Joint XR and Best Effort eMBB Traffic in 5G-Advanced Networks

abstract: In this paper, we address the joint performance of eXtended reality (XR) and best effort enhanced mobile broadband (eMBB) traffic for a 5G-Advanced system. Although XR users require stringent throughput and latency performance, operators do not lose significant additional network capacity when adding XR users to an eMBB dominated network. For instance, adding an XR service at 45 Mbps with 10 ms packet delay budget, yields close to a 45 Mbps drop in eMBB capacity. In an XR only network layer, we show how the capacity in number of supported XR users depends significantly on the rate but also the latency budget. We show also how the XR service capacity is significantly reduced in the mixed service setting as the system goes into full load and other-cell interference becomes significant. The presented results can be used by cellular service providers to assess their networks performance of XR traffic based on their current eMBB performance, or as input to dimensioning to be able to serve certain XR traffic loads.


title: causalgraph: A Python Package for Modeling, Persisting and Visualizing Causal Graphs Embedded in Knowledge Graphs

abstract: This paper describes a novel Python package, named causalgraph, for modeling and saving causal graphs embedded in knowledge graphs. The package has been designed to provide an interface between causal disciplines such as causal discovery and causal inference. With this package, users can create and save causal graphs and export the generated graphs for use in other graph-based packages. The main advantage of the proposed package is its ability to facilitate the linking of additional information and metadata to causal structures. In addition, the package offers a variety of functions for graph modeling and plotting, such as editing, adding, and deleting nodes and edges. It is also compatible with widely used graph data science libraries such as NetworkX and Tigramite and incorporates a specially developed causalgraph ontology in the background. This paper provides an overview of the package's main features, functionality, and usage examples, enabling the reader to use the package effectively in practice.


title: Modeling Moral Choices in Social Dilemmas with Multi-Agent Reinforcement Learning

abstract: Practical uses of Artificial Intelligence (AI) in the real world have demonstrated the importance of embedding moral choices into intelligent agents. They have also highlighted that defining top-down ethical constraints on AI according to any one type of morality is extremely challenging and can pose risks. A bottom-up learning approach may be more appropriate for studying and developing ethical behavior in AI agents. In particular, we believe that an interesting and insightful starting point is the analysis of emergent behavior of Reinforcement Learning (RL) agents that act according to a predefined set of moral rewards in social dilemmas. In this work, we present a systematic analysis of the choices made by intrinsically-motivated RL agents whose rewards are based on moral theories. We aim to design reward structures that are simplified yet representative of a set of key ethical systems. Therefore, we first define moral reward functions that distinguish between consequence- and norm-based agents, between morality based on societal norms or internal virtues, and between single- and mixed-virtue (e.g., multi-objective) methodologies. Then, we evaluate our approach by modeling repeated dyadic interactions between learning moral agents in three iterated social dilemma games (Prisoner's Dilemma, Volunteer's Dilemma and Stag Hunt). We analyze the impact of different types of morality on the emergence of cooperation, defection or exploitation, and the corresponding social outcomes. Finally, we discuss the implications of these findings for the development of moral agents in artificial and mixed human-AI societies.


title: WASP-39b: exo-Saturn with patchy cloud composition, moderate metallicity, and underdepleted S/O

abstract: WASP-39b is one of the first extrasolar giant gas planets that has been observed within the JWST ERS program. Fundamental properties that may enable the link to exoplanet formation differ amongst retrieval methods, for example metallicity and mineral ratios. In this work, the formation of clouds in the atmosphere of WASP-39b is explored to investigate how inhomogeneous cloud properties (particle sizes, material composition, opacity) may be for this intermediately warm gaseous exoplanet. WASP-39b's atmosphere has a comparable day-night temperature median with sufficiently low temperatures that clouds may form globally. The presence of clouds on WASP-39b can explain observations without resorting to a high (> 100x solar) metallicity atmosphere for a reduced vertical mixing efficiency. The assessment of mineral ratios shows an under-depletion of S/O due to condensation compared to C/O, Mg/O, Si/O, Fe/O ratios. Vertical patchiness due to heterogeneous cloud composition challenges simple cloud models. An equal mixture of silicates and metal oxides is expected to characterise the cloud top. Further, optical properties of Fe and Mg silicates in the mid-infrared differ significantly which will impact the interpretation of JWST observations. We conclude that WASP-39b's atmosphere contains clouds and the underdepletion of S/O by atmospheric condensation processes suggest the use of sulphur gas species as a possible link to primordial element abundances. Over-simplified cloud models do not capture the complex nature of mixed-condensate clouds in exoplanet atmospheres. The clouds in the observable upper atmosphere of WASP-39b are a mixture of different silicates and metal oxides. The use of constant particles sizes and/or one-material cloud particles alone to interpret spectra may not be sufficient to capture the full complexity available through JWST observations.


title: Massive superfluid vortices and vortex necklaces on a planar annulus

abstract: We study a superfluid in a planar annulus hosting vortices with massive cores. An analytical point-vortex model shows that the massive vortices may perform radial oscillations on top of the usual uniform precession of their massless counterpart. Beyond a critical vortex mass, this oscillatory motion becomes unstable and the vortices are driven towards one of the edges. The analogy with the motion of a charged particle in a static electromagnetic field leads to the development of a plasma orbit theory that provides a description of the trajectories which remains accurate even beyond the regime of small radial oscillations. These results are confirmed by the numerical solution of coupled two-component Gross-Pitaevskii equations. The analysis is then extended to a necklace of vortices symmetrically arranged within the annulus.


title: Application of a Neural Network classifier for the generation of clean Small Magellanic Cloud stellar samples

abstract: Context. Previous attempts to separate Small Magellanic Cloud (SMC) stars from the Milky Way (MW) foreground stars are based only on the proper motions of the stars. Aims. In this paper we develop a statistical classification technique to effectively separate the SMC stars from the MW stars using a wider set of Gaia data. We aim to reduce the possible contamination from MW stars compared to previous strategies. Methods. The new strategy is based on neural network classifier, applied to the bulk of the Gaia DR3 data. We produce three samples of stars flagged as SMC members, with varying levels of completeness and purity, obtained by application of this classifier. Using different test samples we validate these classification results and we compare them with the results of the selection technique employed in the Gaia Collaboration papers, which was based solely on the proper motions. Results. The contamination of MW in each of the three SMC samples is estimated to be in the 10-40%; the "best case" in this range is obtained for bright stars (G > 16), which belong to the Vlos sub-samples, and the "worst case" for the full SMC sample determined by using very stringent criteria based on StarHorse distances. A further check based on the comparison with a nearby area with uniform sky density indicates that the global contamination in our samples is probably close to the low end of the range, around 10%. Conclusions. We provide three selections of SMC star samples with different degrees of purity and completeness, for which we estimate a low contamination level and have successfully validated using SMC RR Lyrae, SMC Cepheids and SMC/MW StarHorse samples.


title: Magnetic Helicity and Free Magnetic Energy as Tools to Probe Eruptions in two Differently Evolving Solar Active Regions

abstract: Using vector magnetograms from the HMI/SDO and a magnetic connectivity-based method, we calculate the instantaneous relative magnetic helicity and free magnetic energy budgets for several days in two solar active regions (ARs), AR11890 and AR11618, both with complex photospheric magnetic field configurations. The ARs produced several major eruptive flares while their photospheric magnetic field exhibited primarily flux decay in AR11890 and primarily flux emergence in AR11618. Throughout much of their evolution both ARs featured substantial budgets of free magnetic energy and of both positive and negative helicity. In fact, the imbalance between the signed components of their helicity was as low as in the quiet Sun and their net helicity eventually changed sign 14-19 hours after their last major flare. Despite such incoherence, the eruptions occurred at times of net helicity peaks that were co-temporal with peaks in the free magnetic energy. The losses associated with the eruptive flares in the normalized free magnetic energy were in the range 10-60%. For the helicity, changes ranged from 25% to the removal of the entire excess helicity of the prevailing sign, leading a roughly zero net helicity, but with significant equal and opposite budgets of both helicity senses. The removal of the slowly varying background component of the free energy and helicity timeseries revealed that all eruption-related peaks of both quantities exceeded the 2$\sigma$ levels of their detrended timeseries. There was no eruption when only one or none of these quantities exceeded its 2$\sigma$ level. Our results indicate that differently evolving ARs may produce major eruptive flares even when, in addition to the accumulation of significant free magnetic energy budgets, they accumulate large amounts of both negative and positive helicity without a strong dominance of one handedness over the other.


title: Introducing Expertise Logic into Graph Representation Learning from A Causal Perspective

abstract: Benefiting from the injection of human prior knowledge, graphs, as derived discrete data, are semantically dense so that models can efficiently learn the semantic information from such data. Accordingly, graph neural networks (GNNs) indeed achieve impressive success in various fields. Revisiting the GNN learning paradigms, we discover that the relationship between human expertise and the knowledge modeled by GNNs still confuses researchers. To this end, we introduce motivating experiments and derive an empirical observation that the GNNs gradually learn human expertise in general domains. By further observing the ramifications of introducing expertise logic into graph representation learning, we conclude that leading the GNNs to learn human expertise can improve the model performance. Hence, we propose a novel graph representation learning method to incorporate human expert knowledge into GNN models. The proposed method ensures that the GNN model can not only acquire the expertise held by human experts but also engage in end-to-end learning from datasets. Plentiful experiments on the crafted and real-world domains support the consistent effectiveness of the proposed method.


title: Hierarchical Classification of Variable Stars Using Deep Convolutional Neural Networks

abstract: The importance of using fast and automatic methods to classify variable stars for large amounts of data is undeniable. There have been many attempts to classify variable stars by traditional algorithms like Random Forest. In recent years, neural networks as classifiers have come to notice because of their lower computational cost compared to traditional algorithms. This paper uses the Hierarchical Classification technique, which contains two main steps of predicting class and then subclass of stars. All the models in both steps have same network structure and we test both Convolutional Neural Networks (CNN) and Recurrent Neural Networks (RNN). Our pre-processing method uses light curves and period of stars as input data. We consider most of the classes and subclasses of variable stars in OGLE-IV database and show that using Hierarchical Classification technique and designing appropriate preprocessing can increase accuracy of predicting smaller classes, ACep and T2Cep. We obtain an accuracy of 98% for class classification and 93% for subclasses classification.


title: Transition routes of electrokinetic flow in a divergent microchannel with bending walls

abstract: Electrokinetic flow can be generated as a highly coupled phenomenon among velocity field, electric conductivity field and electric field. It can exhibit different responses to AC electric fields in different frequency regimes, according to different instability/receptivity mechanisms. In this investigation, by both flow visualization and single-point laser-induced fluorescence (LIF) method, the response of AC electrokinetic flow and the transition routes towards chaos and turbulence have been experimentally investigated. It is found, when the AC frequency $f_f<30$ Hz, the interface responds at both the neutral frequency of the basic flow and the AC frequency. However, when $f_f>=30$ Hz, the interface responds only at the neutral frequency of the basic flow. Both periodic doubling and subcritical bifurcations have been observed in the transition of AC electrokinetic flow. We hope the current investigation can promote our current understanding on the ultrafast transition process of electrokinetic flow from laminar state to turbulence.


title: A triangle process on graphs with given degree sequence

abstract: The triangle switch Markov chain is designed to generate random graphs with given degree sequence, but having more triangles than would appear under the uniform distribution. Transition probabilities of the chain depends on a parameter, called the activity, which is used to assign higher stationary probability to graphs with more triangles. In previous work we proved ergodicity of the triangle switch chain for regular graphs. Here we prove ergodicity for all sequences with minimum degree at least 3, and show rapid mixing of the chain when the activity and the maximum degree are not too large. As far as we are aware, this is the first rigorous analysis of a Markov chain algorithm for generating graphs from a a known non-uniform distribution.


title: From the Boltzmann equation with non-local correlations to a standard non-linear Fokker-Planck equation

abstract: In this work, we study the formal connections between the non-linear Fokker-Planck Equation associated with the non-additive entropy and the Boltzmann Equation with the non-additive correlation functional. The collisional term following the $q$-algebra is adopted. In the derivation of the non-additive Fokker-Planck Equation, two constraints are imposed on the final result: i) that the entropic index $q$ is a characteristic parameter of the non-additive systems with a value that does not change with time, and ii) that for $q \rightarrow 1$ a smooth transition for the standard Fokker-Planck Equation is obtained.


title: Harnack's inequality for degenerate double phase parabolic equations under the non-logarithmic Zhikov's condition

abstract: We prove Harnack's type inequalities for bounded non-negative solutions of degenerate parabolic equations with $(p,q)$ growth $$ u_{t}-{\rm div}\left(\mid \nabla u \mid^{p-2}\nabla u + a(x,t) \mid \nabla u \mid^{q-2}\nabla u \right)=0,\quad a(x,t) \geq 0 , $$ under the generalized non-logarithmic Zhikovs conditions $$ \mid a(x,t)-a(y,\tau)\mid \leqslant A\mu(r) r^{q-p},\quad (x,t),(y,\tau)\in Q_{r,r}(x_{0},t_{0}),$$ $$\lim\limits_{r\rightarrow 0}\mu(r) r^{q-p}=0,\quad \lim\limits_{r\rightarrow 0}\mu(r)=+\infty,\quad \int\limits_{0} \mu^{-\beta}(r)\frac{dr}{r} =+\infty,$$ with some $\beta >0$.


title: Plan To Predict: Learning an Uncertainty-Foreseeing Model for Model-Based Reinforcement Learning

abstract: In Model-based Reinforcement Learning (MBRL), model learning is critical since an inaccurate model can bias policy learning via generating misleading samples. However, learning an accurate model can be difficult since the policy is continually updated and the induced distribution over visited states used for model learning shifts accordingly. Prior methods alleviate this issue by quantifying the uncertainty of model-generated samples. However, these methods only quantify the uncertainty passively after the samples were generated, rather than foreseeing the uncertainty before model trajectories fall into those highly uncertain regions. The resulting low-quality samples can induce unstable learning targets and hinder the optimization of the policy. Moreover, while being learned to minimize one-step prediction errors, the model is generally used to predict for multiple steps, leading to a mismatch between the objectives of model learning and model usage. To this end, we propose \emph{Plan To Predict} (P2P), an MBRL framework that treats the model rollout process as a sequential decision making problem by reversely considering the model as a decision maker and the current policy as the dynamics. In this way, the model can quickly adapt to the current policy and foresee the multi-step future uncertainty when generating trajectories. Theoretically, we show that the performance of P2P can be guaranteed by approximately optimizing a lower bound of the true environment return. Empirical results demonstrate that P2P achieves state-of-the-art performance on several challenging benchmark tasks.


title: A Systolic Inequality for the Filling Area Conjecture

abstract: We prove an upper bound on the systolic ratio of an orientable isometric filling of the circle equipped with a Riemannian metric. The bound depends only on the genus of isometric filling. We also apply the bound to the class of orientable isometric filling with a certain lower bound on the systole. We deduce that the Filling Area Conjecture holds true for this class when the genus is sufficiently large.


title: Hydrodynamic scales of integrable many-particle systems

abstract: The lecture notes cover the emergence of generalized hydrodynamics for the classical and quantum Toda chain, the classical Calogero fluid, the Ablowitz-Ladik discretization of the non-linear Schroedinger equation, and the Lieb-Liniger delta-Bose gas. Such diverse models have structurally identical hydrodynamic equations. Added is a comparison with conventional soliton gases.

categories: cond-mat.stat-mech math-ph math.MP nlin.SI


title: Asymptotic Behavior of Zero-Forcing Precoding based on Imperfect Channel Knowledge for Massive MISO FDD Systems

abstract: In this work, we study the asymptotic behavior of the zero-forcing precoder based on the least squares (LS) and the linear minimum mean-square error (LMMSE) channel estimates for the downlink (DL) of a frequency-division-duplex (FDD) massive multiple-input-single-output (MISO) system. We show analytically the rather surprising result that zero-forcing precoding based on the LS estimate leads asymptotically to an interference-free transmission, even if the number of pilots used for DL channel training is less than the number of antennas available at the base station (BS). Although the LMMSE channel estimate exhibits a better quality in terms of the MSE due to the exploitation of the channel statistics, we show that in the case of contaminated channel observations, zero-forcing based on the LMMSE is unable to eliminate the inter-user interference in the asymptotic limit of high DL transmit powers. In order for the results to hold, mild conditions on the channel probing phase are assumed. The validity of our analytical results is demonstrated through numerical simulations for different scenarios.


title: Language Agnostic Data-Driven Inverse Text Normalization

abstract: With the emergence of automatic speech recognition (ASR) models, converting the spoken form text (from ASR) to the written form is in urgent need. This inverse text normalization (ITN) problem attracts the attention of researchers from various fields. Recently, several works show that data-driven ITN methods can output high-quality written form text. Due to the scarcity of labeled spoken-written datasets, the studies on non-English data-driven ITN are quite limited. In this work, we propose a language-agnostic data-driven ITN framework to fill this gap. Specifically, we leverage the data augmentation in conjunction with neural machine translated data for low resource languages. Moreover, we design an evaluation method for language agnostic ITN model when only English data is available. Our empirical evaluation shows this language agnostic modeling approach is effective for low resource languages while preserving the performance for high resource languages.


title: Inelastic neutron scattering study of crystalline electric field excitations in the caged compounds NdT2Zn20 (T = Co, Rh, and Ir)

abstract: We have measured crystalline electric field (CEF) excitations of Nd3+ ions in the two-channel Kondo lattice candidates NdT2Zn20 (T = Co, Rh, and Ir) by means of inelastic neutron scattering (INS). In the INS measurements at 5 K, dispersionless excitations were observed at 3.8 and 7.2 meV for T = Co, 3.1 and 5.8 meV for T = Rh, and 3.0 and 5.3 meV for T = Ir. Analyses of the temperature dependence of the INS spectra confirm that the CEF ground states are the Gamma 6 doublet, that is a requisite for manifestation of the magnetic two-channel Kondo effect. For T = Co, a shoulder was observed at 7.7 meV close to the CEF excitation peak centered at 7.2 meV. The shoulder is attributed to a bound state of the CEF and low-lying optical phonon excitations.


title: Connecting transonic buffet with incompressible low-frequency oscillations on aerofoils

abstract: Self-sustained low-frequency flow unsteadiness over rigid aerofoils in the transonic regime is referred to as transonic buffet. Although the exact physical mechanisms underlying this phenomenon are unclear, it is generally assumed to be unique to the transonic regime. This assumption is shown to be incorrect here by performing large-eddy simulations of flow over a NACA0012 profile for a wide range of flow conditions. At zero incidence and sufficiently high freestream Mach numbers, M, transonic buffet occurs with shock waves present in the flow. However, self-sustained oscillations that occur at similar frequencies are observed at lower M for which shock waves are absent and the entire flow field remains subsonic at all times. At higher incidences, the oscillations are sustained at progressively lower M. Oscillations were observed for M as low as 0.3, where compressibility effects are small. A spectral proper orthogonal decomposition shows that the spatial structure of these oscillations (i.e., mode shapes) are essentially the same for all cases. These results indicate that buffet on aerofoils does not necessarily require the presence of shock waves. Furthermore, the trend seen with increasing incidence angles suggests that transonic buffet on aerofoils and low-frequency oscillations reported in the incompressible regime (Zaman et al., 1989, J. Fluid Mech., vol. 202, pp. 403--442) have similar origins. Thus, models which rely specifically on shock waves to explain transonic buffet are incorrect. These insights could be useful in understanding the origins of ``transonic" buffet and reformulating mitigation strategies by shifting the focus away from shock waves.


title: Generative Logic with Time: Beyond Logical Consistency and Statistical Possibility

abstract: This paper gives a simple theory of inference to logically reason symbolic knowledge fully from data over time. We take a Bayesian approach to model how data causes symbolic knowledge. Probabilistic reasoning with symbolic knowledge is modelled as a process of going the causality forwards and backwards. The forward and backward processes correspond to an interpretation and inverse interpretation of formal logic, respectively. The theory is applied to a localisation problem to show a robot with broken or noisy sensors can efficiently solve the problem in a fully data-driven fashion.


title: Modular Model Reduction of Interconnected Systems: A Top-Down Approach

abstract: Models of complex systems often consist of multiple interconnected subsystem/component models that are developed by multi-disciplinary teams of engineers or scientists. To ensure that such interconnected models can be applied for the purpose of simulation and/or control, a reduced-order model for the interconnected dynamics is needed. In the scope of this paper, we pursue this goal by subsystem reduction to warrant modularity of the reduction approach. Clearly, by reducing the complexity of the subsystem models, not only the accuracy of the subsystem models is affected, but, consequently, also the accuracy of the interconnected model. It is typically difficult to predict a priori how the interconnected model accuracy is affected precisely by the subsystem reduction. In this work, we address this challenge by introducing a top-down approach which enables the translation of given accuracy requirements of the interconnected system model to accuracy requirements at subsystem model level, by using mathematical tools from robust performance analysis. This allows for the independent reduction of subsystem models while guaranteeing the desired accuracy of the interconnected model. In addition, we show how this top-down approach can be used to significantly reduce the interconnected model in an illustrative structural dynamics case study.


title: Machine learning and reduced order modelling for the simulation of braided stent deployment

abstract: Endoluminal reconstruction using flow diverters represents a novel paradigm for the minimally invasive treatment of intracranial aneurysms. The configuration assumed by these very dense braided stents once deployed within the parent vessel is not easily predictable and medical volumetric images alone may be insufficient to plan the treatment satisfactorily. Therefore, here we propose a fast and accurate machine learning and reduced order modelling framework, based on finite element simulations, to assist practitioners in the planning and interventional stages. It consists of a first classification step to determine a priori whether a simulation will be successful (good conformity between stent and vessel) or not from a clinical perspective, followed by a regression step that provides an approximated solution of the deployed stent configuration. The latter is achieved using a non-intrusive reduced order modelling scheme that combines the proper orthogonal decomposition algorithm and Gaussian process regression. The workflow was validated on an idealised intracranial artery with a saccular aneurysm and the effect of six geometrical and surgical parameters on the outcome of stent deployment was studied. The two-step workflow allows the classification of deployment conditions with up to 95% accuracy and real-time prediction of the stent deployed configuration with an average prediction error never greater than the spatial resolution of 3D rotational angiography (0.15 mm). These results are promising as they demonstrate the ability of these techniques to achieve simulations within a few milliseconds while retaining the mechanical realism and predictability of the stent deployed configuration.


title: A Unified Model for Bipolar Outflows from Young Stars: Apparent Magnetic Jet Acceleration

abstract: We explore a new, efficient mechanism that can power toroidally magnetized jets up to two to three times their original terminal velocity after they enter a self-similar phase of magnetic acceleration. Underneath the elongated outflow lobe formed by a magnetized bubble, a wide-angle free wind, through the interplay with its ambient toroid, is compressed and accelerated around its axial jet. The extremely magnetic bubble can inflate over its original size, depending on the initial Alfv\'en Mach number $M_A$ of the launched flow. The shape-independent slope $\partial{}v_r/\partial{}r=2/3t$ is a salient feature of the self-similarity in the acceleration phase. Peculiar kinematic signatures are observable in the position--velocity (PV) diagrams and can combine with other morphological signatures as probes for the density-collimated jets arising in toroidally dominated magnetized winds. The apparent second acceleration is powered by the decrease of the toroidal magnetic field but operates far beyond the scales of the primary magnetocentrifugal launch region and the free asymptotic terminal state. Rich implications may connect the jets arising from the youngest protostellar outflows such as HH 211 and HH 212 and similar systems with parsec-scale jets across the mass and evolutionary spectra.

categories: astro-ph.SR astro-ph.GA astro-ph.HE physics.flu-dyn physics.plasm-ph


title: Piecewise Temperleyan dimers and a multiple SLE$_8$

abstract: We consider the dimer model on piecewise Temperleyan, simply connected domains, on families of graphs which include the square lattice as well as superposition graphs. We focus on the spanning tree $\mathcal{T}_\delta$ associated to this model via Temperley's bijection, which turns out to be a Uniform Spanning Tree with singular alternating boundary conditions. Generalising the work of the second author with Peltola and Wu \cite{LiuPeltolaWuUST} we obtain a scaling limit result for $\mathcal{T}_\delta$. For instance, in the simplest nontrivial case, the limit of $\mathcal{T}_\delta$ is described by a pair of trees whose Peano curves are shown to converge jointly to a multiple SLE$_8$ pair. The interface between the trees is shown to be given by an SLE$_2(-1, \ldots, -1)$ curve. More generally we provide an equivalent description of the scaling limit in terms of imaginary geometry. This allows us to make use of the results developed by the first author and Laslier and Ray \cite{BLRdimers}. We deduce that, universally across these classes of graphs, the corresponding height function converges to a multiple of the Gaussian free field with boundary conditions that jump at each non-Temperleyan corner. After centering, this generalises a result of Russkikh \cite{RusskikhDimers} who proved it in the case of the square lattice. Along the way, we obtain results of independent interest on chordal hypergeometric SLE$_8$; for instance we show its law is equal to that of an SLE$_8 (\bar \rho)$ for a certain vector of force points, conditional on its hitting distribution on a specified boundary arc.


title: Scalar dark matter induced oscillation of permanent-magnet field

abstract: Scalar-field dark matter models imply small oscillations of fundamental constants. These oscillations could result in observable variations of the magnetic field in a permanent magnet. We propose an experiment for detection of this type of dark matter through searches of oscillations of magnetic field of permanent magnets with a SQUID magnetometer or a low-noise radiofrequency amplifier. We show that this experiment may have comparable sensitivity to leading experiments searching for variations of fundamental constants in the range of frequencies from a few Hz to about 1 MHz. We also discuss applicability of the approach of variations of fundamental constants for accounting for the interaction with scalar dark matter.

categories: hep-ph astro-ph.CO cond-mat.other physics.atom-ph


title: Coordination and thermodynamic properties of aqueous protactinium(V) by first-principle calculations

abstract: Protactinium ($Z$ = 91) is a very rare actinide with peculiar physico-chemical properties. Indeed, although one may naively think that it behaves similarly to either thorium or uranium by its position in the periodic table, it may in fact follow its own rules. Because of the quite small energy gap between its valence shells (in particular the 5$f$ and 6$d$ ones) and also the strong influence of relativistic effects on its properties, it is actually a challenging element for theoretical chemists. In this article, we combine experimental information, chemical arguments and standard first-principle calculations, complemented by implicit and explicit solvation, to revisit the stepwise complexation of aqueous protactinium(V) with sulfate and oxalate dianionic ligands (SO$_4$$^{2-}$ and C$_2$O$_4$$^{2-}$, respectively). From a methodological viewpoint, we notably conclude that it is necessary to at least saturate the coordination sphere of protactinium(V) to reach converged equilibrium constant values. Furthermore, in the case of single complexations (i.e. with one sulfate or oxalate ligand bound in the bidentate fashion), we show that it is necessary to maintain the coordination of one hydroxyl group, present in the supposed [PaO(OH)]$^{2+}$ precursor, to obtain coherent complexation constants. Therefore, we predict that this hydroxyl group is maintained in the formation of 1:1 complexes while we confirm that it is withdrawn when coordinating three sulfate or oxalate ligands. Finally, we stress that this work is a first step toward the future use of theoretical predictions to elucidate the enigmatic chemistry of protactinium in solution.


title: A Fully Digital Relaxation-Aware Analog Programming Technique for HfOx RRAM Arrays

abstract: For neuromorphic engineering to emulate the human brain, improving memory density with low power consumption is an indispensable but challenging goal. In this regard, emerging RRAMs have attracted considerable interest for their unique qualities like low power consumption, high integration potential, durability, and CMOS compatibility. Using RRAMs to imitate the more analog storage behavior of brain synapses is also a promising strategy for further improving memory density and power efficiency. However, RRAM devices display strong stochastic behavior, together with relaxation effects, making it more challenging to precisely control their multi-level storage capability. To address this, researchers have reported different multi-level programming strategies, mostly involving the precise control of analog parameters like compliance current during write operations and/or programming voltage amplitudes. Here, we present a new fully digital relaxation-aware method for tuning the conductance of analog RRAMs. The method is based on modulating digital pulse widths during erase operations while keeping other parameters fixed, and therefore requires no precise alterations to analog parameters like compliance currents or programming voltage amplitudes. Experimental results, with and without relaxation effect awareness, on a 64 RRAM 1T1R HfOx memory array of cells, fabricated in 130nm CMOS technology, indicate that it is possible to obtain 2-bit memory per cell multi-value storage at the array level, verified 1000 seconds after programming.


title: Cohere: Managing Differential Privacy in Large Scale Systems

abstract: The need for a privacy management layer in today's systems started to manifest with the emergence of new systems for privacy-preserving analytics and privacy compliance. As a result, many independent efforts have emerged that try to provide system support for privacy. Recently, the scope of privacy solutions used in systems has expanded to encompass more complex techniques such as Differential Privacy (DP). The use of these solutions in large-scale systems imposes new challenges and requirements. Careful planning and coordination are necessary to ensure that privacy guarantees are maintained across a wide range of heterogeneous applications and data systems. This requires new solutions for managing and allocating scarce and non-replenishable privacy resources. In this paper, we introduce Cohere, a new system that simplifies the use of DP in large-scale systems. Cohere implements a unified interface that allows heterogeneous applications to operate on a unified view of users' data. In this work, we further address two pressing system challenges that arise in the context of real-world deployments: ensuring the continuity of privacy-based applications (i.e., preventing privacy budget depletion) and effectively allocating scarce shared privacy resources (i.e., budget) under complex preferences. Our experiments show that Cohere achieves a 6.4--28x improvement in utility compared to the state-of-the-art across a range of complex workloads.


title: Regular Time-series Generation using SGM

abstract: Score-based generative models (SGMs) are generative models that are in the spotlight these days. Time-series frequently occurs in our daily life, e.g., stock data, climate data, and so on. Especially, time-series forecasting and classification are popular research topics in the field of machine learning. SGMs are also known for outperforming other generative models. As a result, we apply SGMs to synthesize time-series data by learning conditional score functions. We propose a conditional score network for the time-series generation domain. Furthermore, we also derive the loss function between the score matching and the denoising score matching in the time-series generation domain. Finally, we achieve state-of-the-art results on real-world datasets in terms of sampling diversity and quality.


title: Rendezvous on a Known Dynamic Point on a Finite Unoriented Grid

abstract: In this paper, we have considered two fully synchronous $\mathcal{OBLOT}$ robots having no agreement on coordinates entering a finite unoriented grid through a door vertex at a corner, one by one. There is a resource that can move around the grid synchronously with the robots until it gets co-located along with at least one robot. Assuming the robots can see and identify the resource, we consider the problem where the robots must meet at the location of this dynamic resource within finite rounds. We name this problem "Rendezvous on a Known Dynamic Point". Here, we have provided an algorithm for the two robots to gather at the location of the dynamic resource. We have also provided a lower bound on time for this problem and showed that with certain assumption on the waiting time of the resource on a single vertex, the algorithm provided is time optimal. We have also shown that it is impossible to solve this problem if the scheduler considered is semi-synchronous.


title: Homological propeties of Bimeasure algebras and their BSE properties

abstract: Let $G$ and $H$ be locally compact groups. $BM(G, H)$ denoted the Banach algebra of bounded bilinear forms on $C_{0}(G)\times C_{0}(H)$.In this paper, the homological properties of Bimeasure algebras are investigated. It is found and approved that the Bimeasure algebras $BM(G, H)$ is amenable if and only if $G$ and $H$ are discrete. The correlation between the weak amenability of $BM(G, H)$ and $M(G\times H)$ is assessed. It is found and approved that the biprojectivity of the bimeasure algebra $BM(G, H)$ is equivalent to the finiteness of $G$ and $H$. Furthermore, we show that the bimeasure group algebra $BM_{a}(G, H)$ is a BSE algebra. It will be concluded that $BM(G, H)$ is a BSE- algebra if and only if $G$ and $H$ are discrete groups.


title: Towards Convectons in the Supercritical Regime: Homoclinic Snaking in Natural Doubly Diffusive Convection

abstract: Fluids subject to both thermal and compositional variations can undergo doubly diffusive convection when these properties both affect the fluid density and diffuse at different rates. A variety of patterns can arise from these buoyancy-driven flows, including spatially localised states known as convectons, which consist of convective fluid motion localised within a background of quiescent fluid. We consider these states in a vertical slot with the horizontal temperature and solutal gradients providing competing effects to the fluid density while allowing the existence of a conduction state. In this configuration, convectons have been studied with specific parameter values where the onset of convection is subcritical, and the states have been found to lie on a pair of secondary branches that undergo homoclinic snaking in a parameter regime below the onset of linear instability. In this paper, we show that convectons persist into parameter regimes in which the primary bifurcation is supercritical and there is no bistability, despite coexistence between the stable conduction state and large-amplitude convection. We detail this transition by considering spatial dynamics and observe how the structure of the secondary branches becomes increasingly complex owing to the increased role of inertia at low Prandtl numbers.


title: Quasi-classical simulations of resonance Raman spectra based on path integral linearization

abstract: Based on a linearization approximation coupled with path integral formalism, we propose a method derived from the propagation of quasi-classical trajectories to simulate resonance Raman spectra. This method is based on a ground state sampling followed by an ensemble of trajectories on the mean surface between the ground and excited states. The method was tested on three models and compared to quantum mechanics solution based on a sum-over-states approach: harmonic and anharmonic oscillators and the HOCl molecule (hypochlorous acid). The method proposed is able to correctly characterize resonance Raman scattering and enhancement, including the description of overtones and combination bands. The absorption spectrum is obtained at the same time and the vibrational fine structure can be reproduced for long excited state relaxation times. The method can be applied also to dissociating excited states (as is the case for HOCl).


title: Side Contract Commitment Attacks on Blockchains

abstract: We identify a subtle security issue that impacts the design of smart contracts, because agents may themselves deploy smart contracts (side contracts). Typically, equilibria of games are analyzed in vitro, under the assumption that players cannot arbitrarily commit to strategies. However, equilibria thus obtained do not hold in general in vivo, when games are deployed on a blockchain. Being able to deploy side contracts changes fundamental game-theoretic assumptions by inducing a meta-game wherein agents strategize to deploy the best contracts. Not taking side contracts into account thus fails to capture an important aspect of deploying smart contracts in practice. A game that remains secure when the players can deploy side contracts is said to be side contract resilient. We demonstrate the non-triviality of side contract resilience by analyzing two smart contracts for decentralized commerce. These contracts have the same intended functionality, but we show that only one is side contract resilient. We then demonstrate a side contract attack on first-price auctions, which are the transaction mechanisms used by most major blockchains. We show that an agent may deploy a contract ensuring their transaction is included in the next block at almost zero cost while forcing most other agents to enter into a lottery for the remaining block space. This benefits all the users, but is detrimental to the miners. This might be cause for re-evaluation of the use of auctions in transaction fee mechanisms. We show that the attack works under certain conditions that hold with high probability from natural distributions. The attack also works against the transaction mechanism EIP-1559. Our work highlights an issue that is necessary to address to ensure the secure deployment of smart contracts and suggests that other contracts already deployed on major blockchains may be susceptible to these attacks.


title: Clustering Human Mobility with Multiple Spaces

abstract: Human mobility clustering is an important problem for understanding human mobility behaviors (e.g., work and school commutes). Existing methods typically contain two steps: choosing or learning a mobility representation and applying a clustering algorithm to the representation. However, these methods rely on strict visiting orders in trajectories and cannot take advantage of multiple types of mobility representations. This paper proposes a novel mobility clustering method for mobility behavior detection. First, the proposed method contains a permutation-equivalent operation to handle sub-trajectories that might have different visiting orders but similar impacts on mobility behaviors. Second, the proposed method utilizes a variational autoencoder architecture to simultaneously perform clustering in both latent and original spaces. Also, in order to handle the bias of a single latent space, our clustering assignment prediction considers multiple learned latent spaces at different epochs. This way, the proposed method produces accurate results and can provide reliability estimates of each trajectory's cluster assignment. The experiment shows that the proposed method outperformed state-of-the-art methods in mobility behavior detection from trajectories with better accuracy and more interpretability.


title: Promises and pitfalls of deep neural networks in neuroimaging-based psychiatric research

abstract: By promising more accurate diagnostics and individual treatment recommendations, deep neural networks and in particular convolutional neural networks have advanced to a powerful tool in medical imaging. Here, we first give an introduction into methodological key concepts and resulting methodological promises including representation and transfer learning, as well as modelling domain-specific priors. After reviewing recent applications within neuroimaging-based psychiatric research, such as the diagnosis of psychiatric diseases, delineation of disease subtypes, normative modeling, and the development of neuroimaging biomarkers, we discuss current challenges. This includes for example the difficulty of training models on small, heterogeneous and biased data sets, the lack of validity of clinical labels, algorithmic bias, and the influence of confounding variables.


title: Semi-analytical computation of heteroclinic connections between center manifolds with the parameterization method

abstract: This paper presents methodology for the computation of whole sets of heteroclinic connections between iso-energetic slices of center manifolds of center x center x saddle fixed points of autonomous Hamiltonian systems. It involves: (a) computing Taylor expansions of the center-unstable and center-stable manifolds of the departing and arriving fixed points through the parameterization method, using a new style that uncouples the center part from the hyperbolic one, thus making the fibered structure of the manifolds explicit; (b) uniformly meshing iso-energetic slices of the center manifolds, using a novel strategy that avoids numerical integration of the reduced differential equations and makes an explicit 3D representation of these slices as deformed solid ellipsoids; (c) matching the center-stable and center-unstable manifolds of the departing and arriving points in a Poincar\'e section. The methodology is applied to obtain the whole set of iso-energetic heteroclinic connections from the center manifold of L2 to the center manifold of L1 in the Earth-Moon circular, spatial Restricted Three-Body Problem, for nine increasing energy levels that reach the appearance of Halo orbits in both L1 and L2. Some comments are made on possible applications to space mission design.


title: Predicting Surface Texture in Steel Manufacturing at Speed

abstract: Control of the surface texture of steel strip during the galvanizing and temper rolling processes is essential to satisfy customer requirements and is conventionally measured post-production using a stylus. In-production laser reflection measurement is less consistent than physical measurement but enables real time adjustment of processing parameters to optimize product surface characteristics. We propose the use of machine learning to improve accuracy of the transformation from inline laser reflection measurements to a prediction of surface properties. In addition to accuracy, model evaluation speed is important for fast feedback control. The ROCKET model is one of the fastest state of the art models, however it can be sped up by utilizing a GPU. Our contribution is to implement the model in PyTorch for fast GPU kernel transforms and provide a soft version of the Proportion of Positive Values (PPV) nonlinear pooling function, allowing gradient flow. We perform timing and performance experiments comparing the implementations


title: Gromov width of the disk cotangent bundle of spheres of revolution

abstract: Inspired by work of the first and second author, this paper studies the Gromov width of the disk cotangent bundle of spheroids and Zoll spheres of revolution. This is achieved with the use of techniques from integrable systems and embedded contact homology capacities.


title: Exploration of Various Fractional Order Derivatives in Parkinson's Disease Dysgraphia Analysis

abstract: Parkinson's disease (PD) is a common neurodegenerative disorder with a prevalence rate estimated to 2.0% for people aged over 65 years. Cardinal motor symptoms of PD such as rigidity and bradykinesia affect the muscles involved in the handwriting process resulting in handwriting abnormalities called PD dysgraphia. Nowadays, online handwritten signal (signal with temporal information) acquired by the digitizing tablets is the most advanced approach of graphomotor difficulties analysis. Although the basic kinematic features were proved to effectively quantify the symptoms of PD dysgraphia, a recent research identified that the theory of fractional calculus can be used to improve the graphomotor difficulties analysis. Therefore, in this study, we follow up on our previous research, and we aim to explore the utilization of various approaches of fractional order derivative (FD) in the analysis of PD dysgraphia. For this purpose, we used the repetitive loops task from the Parkinson's disease handwriting database (PaHaW). Handwritten signals were parametrized by the kinematic features employing three FD approximations: Gr\"unwald-Letnikov's, Riemann-Liouville's, and Caputo's. Results of the correlation analysis revealed a significant relationship between the clinical state and the handwriting features based on the velocity. The extracted features by Caputo's FD approximation outperformed the rest of the analyzed FD approaches. This was also confirmed by the results of the classification analysis, where the best model trained by Caputo's handwriting features resulted in a balanced accuracy of 79.73% with a sensitivity of 83.78% and a specificity of 75.68%.


title: Self-Organization Towards $1/f$ Noise in Deep Neural Networks

abstract: The presence of $1/f$ noise, also known as pink noise, is a well-established phenomenon in biological neural networks, and is thought to play an important role in information processing in the brain. In this study, we find that such $1/f$ noise is also found in deep neural networks trained on natural language, resembling that of their biological counterparts. Specifically, we trained Long Short-Term Memory (LSTM) networks on the `IMDb' AI benchmark dataset, then measured the neuron activations. The detrended fluctuation analysis (DFA) on the time series of the different neurons demonstrate clear $1/f$ patterns, which is absent in the time series of the inputs to the LSTM. Interestingly, when the neural network is at overcapacity, having more than enough neurons to achieve the learning task, the activation patterns deviate from $1/f$ noise and shifts towards white noise. This is because many of the neurons are not effectively used, showing little fluctuations when fed with input data. We further examine the exponent values in the $1/f$ noise in ``internal" and ``external" activations in the LSTM cell, finding some resemblance in the variations of the exponents in fMRI signals of the human brain. Our findings further supports the hypothesis that $1/f$ noise is a signature of optimal learning. With deep learning models approaching or surpassing humans in certain tasks, and being more ``experimentable'' than their biological counterparts, our study suggests that they are good candidates to understand the fundamental origins of $1/f$ noise.


title: Computation of Hilbert class polynomials and modular polynomials from supersingular elliptic curves

abstract: We present several new heuristic algorithms to compute class polynomials and modular polynomials modulo a prime $p$ by revisiting the idea of working with supersingular elliptic curves. The best known algorithms to this date are based on ordinary curves, due to the supposed inefficiency of the supersingular case. While this was true a decade ago, the recent advances in the study of supersingular curves through the Deuring correspondence motivated by isogeny-based cryptography has provided all the tools to perform the necessary tasks efficiently.


title: Repercussion of the $a_0(1710)$ [$a_0(1817)$] resonance and future developments

abstract: In this paper, we discuss the significance and prospect for the newly discovered a0(1710)[a0(1817)] resonance state at BESIII experiment, in which they reported the observation of a scalar meson of spin-parity $J^P=0^+$ with isospin $I=1$, branded as $a_0(1817)$. This state may be the same particle as the $a_0(1710)$ observed by the BaBar experiment earlier. As early as 2008, we found that f0(1710) can be regarded as a $K^* \bar{K}^*$ molecular state based on the chiral unitary theory, and there is a partner state $a_0(1710)$ with an isospin $I=1$. Our theoretical prediction based on this picture is in good agreement with the latest BESIII data, which further supports the molecular state picture of $a_0(1710)[a_0(1817)]$. If it is indeed the isospin partner state of $f_0(1710)$, this would rule out $f_0(1710)$ as a glueball candidate. This paper briefly reviews the relevant theoretical studies and suggests new experiments to further examine the nature of $a_0(1710)[a_0(1817)]$.


title: Learning Frequency-Specific Quantization Scaling in VVC for Standard-Compliant Task-driven Image Coding

abstract: Today, visual data is often analyzed by a neural network without any human being involved, which demands for specialized codecs. For standard-compliant codec adaptations towards certain information sinks, HEVC or VVC provide the possibility of frequency-specific quantization with scaling lists. This is a well-known method for the human visual system, where scaling lists are derived from psycho-visual models. In this work, we employ scaling lists when performing VVC intra coding for neural networks as information sink. To this end, we propose a novel data-driven method to obtain optimal scaling lists for arbitrary neural networks. Experiments with Mask R-CNN as information sink reveal that coding the Cityscapes dataset with the proposed scaling lists result in peak bitrate savings of 8.9 % over VVC with constant quantization. By that, our approach also outperforms scaling lists optimized for the human visual system. The generated scaling lists can be found under https://github.com/FAU-LMS/VCM_scaling_lists.


title: Prodromal Diagnosis of Lewy Body Diseases Based on the Assessment of Graphomotor and Handwriting Difficulties

abstract: To this date, studies focusing on the prodromal diagnosis of Lewy body diseases (LBDs) based on quantitative analysis of graphomotor and handwriting difficulties are missing. In this work, we enrolled 18 subjects diagnosed with possible or probable mild cognitive impairment with Lewy bodies (MCI-LB), 7 subjects having more than 50% probability of developing Parkinson's disease (PD), 21 subjects with both possible/probable MCI-LB and probability of PD > 50%, and 37 age- and gender-matched healthy controls (HC). Each participant performed three tasks: Archimedean spiral drawing (to quantify graphomotor difficulties), sentence writing task (to quantify handwriting difficulties), and pentagon copying test (to quantify cognitive decline). Next, we parameterized the acquired data by various temporal, kinematic, dynamic, spatial, and task-specific features. And finally, we trained classification models for each task separately as well as a model for their combination to estimate the predictive power of the features for the identification of LBDs. Using this approach we were able to identify prodromal LBDs with 74% accuracy and showed the promising potential of computerized objective and non-invasive diagnosis of LBDs based on the assessment of graphomotor and handwriting difficulties.


title: Globular clusters as indicators of Galactic evolution

abstract: We have studied the system of globular clusters (GCs) that formed in other galaxies and eventually accreted onto the Milky Way. Thus, the samples of GCs belonging to different tidal streams, obtained on the basis of the latest data from the Gaia observatory, were taken from the literature. We measured the anisotropy of the distribution of these GCs using the gyration tensor and found that the distribution of GCs in the streams is isotropic. Nevertheless, it can be seen that some of the accreted GCs included into existing samples actually belong to the disk of the Galaxy. To clarify the origin of GCs, we investigated the ``age--metallicity'' relation. This dependence demonstrates bimodality and its two different branches clearly show the difference between the clusters formed in the streams and in the disk of the Galaxy. Furthermore, we have studied the influence of the large--scale environment of the Galaxy (i.e., the Local Supercluster) on the distribution of satellite galaxies and Galactic GCs. The satellite galaxies of the Milky Way are known to form an anisotropic planar structure, so we included them in our analysis too. An inspection has shown that the plane of the satellite galaxies is perpendicular both to the disk of the Galaxy and the supergalactic plane. For GCs more distant than 100~Kpc, a similar picture is observed.


title: Overcoming Separation Between Counterparts Due to Unknown Proper Motions in Catalogue Cross-Matching

abstract: To perform precise and accurate photometric catalogue cross-matches -- assigning counterparts between two separate datasets -- we need to describe all possible sources of uncertainty in object position. With ever-increasing time baselines between observations, like 2MASS in 2001 and the next generation of surveys, such as the Vera C. Rubin Observatory's LSST, Euclid, and the Nancy Grace Roman telescope, it is crucial that we can robustly describe and model the effects of stellar motions on source positions in photometric catalogues. While Gaia has revolutionised astronomy with its high-precision astrometry, it will only provide motions for ~10% of LSST sources; additionally, LSST itself will not be able to provide high-quality motion information for sources below its single-visit depth, and other surveys may measure no motions at all. This leaves large numbers of objects with potentially significant positional drifts that may incorrectly lead matching algorithms to deem two detections too far separated on the sky to be counterparts. To overcome this, in this paper we describe a model for the statistical distribution of on-sky motions of sources of given sky coordinates and brightness, allowing for the cross-match process to take into account this extra potential separation between Galactic sources. We further detail how to fold these probabilistic proper motions into Bayesian cross-matching frameworks, such as those of Wilson & Naylor. This will vastly improve the recovery of e.g. very red objects across optical-infrared matches, and decrease the false match rate of photometric catalogue counterpart assignment.


title: Towards Multi-robot Exploration: A Decentralized Strategy for UAV Forest Exploration

abstract: Efficient exploration strategies are vital in tasks such as search-and-rescue missions and disaster surveying. Unmanned Aerial Vehicles (UAVs) have become particularly popular in such applications, promising to cover large areas at high speeds. Moreover, with the increasing maturity of onboard UAV perception, research focus has been shifting toward higher-level reasoning for single- and multi-robot missions. However, autonomous navigation and exploration of previously unknown large spaces still constitutes an open challenge, especially when the environment is cluttered and exhibits large and frequent occlusions due to high obstacle density, as is the case of forests. Moreover, the problem of long-distance wireless communication in such scenes can become a limiting factor, especially when automating the navigation of a UAV swarm. In this spirit, this work proposes an exploration strategy that enables UAVs, both individually and in small swarms, to quickly explore complex scenes in a decentralized fashion. By providing the decision-making capabilities to each UAV to switch between different execution modes, the proposed strategy strikes a great balance between cautious exploration of yet completely unknown regions and more aggressive exploration of smaller areas of unknown space. This results in full coverage of forest areas of variable density, consistently faster than the state of the art. Demonstrating successful deployment with a single UAV as well as a swarm of up to three UAVs, this work sets out the basic principles for multi-root exploration of cluttered scenes, with up to 65% speed up in the single UAV case and 40% increase in explored area for the same mission time in multi-UAV setups.


title: Finite presentation of finitely determined modules

abstract: In this article we study certain notions of `tameness' for the persistence modules studied in topological data analysis. In particular, we show that after adding infinitary points the so called finitely determined modules become finitely presented.


title: Temperature-dependent magnetic particle imaging with multi-harmonic lock-in detection

abstract: Advances in instrumentation and tracer materials are still required to enable sensitive and accurate 3D temperature monitoring by magnetic particle imaging. We have developed a magnetic particle imaging instrument to observe temperature variations using MPI, and discuss resolution dependence on temperature and harmonic number. Furthermore, we present a low noise approach using lock-in detection for temperature measurement, and discuss implications for a new detection modality of MPI.

categories: physics.med-ph cond-mat.mtrl-sci physics.app-ph physics.ins-det


title: Liouville's theorems for L\'evy operators

abstract: Let $L$ be a L\'evy operator. A function $h$ is said to be harmonic with respect to $L$ if $L h = 0$ in an appropriate sense. We prove Liouville's theorem for positive functions harmonic with respect to a general L\'evy operator $L$: such functions are necessarily mixtures of exponentials. For signed harmonic functions we provide a fairly general result, which encompasses and extends all Liouville-type theorems previously known in this context, and which allows to trade regularity assumptions on $L$ for growth restrictions on $h$. Finally, we construct an explicit counterexample which shows that Liouville's theorem for signed functions harmonic with respect to a general L\'evy operator $L$ does not hold.


title: Evolutionary implications of a magnetar interpretation for GLEAM-X J162759.5-523504.3

abstract: The radio pulsar GLEAM-X J162759.5-523504.3 has an extremely long spin period ($P = 1091.17\, \mbox{s}$), and yet seemingly continues to spin down rapidly ($\dot{P} < 1.2 \times 10^{-9}\, \mbox{ss}^{-1}$). The magnetic field strength that is implied, if the source is a neutron star undergoing magnetic dipole braking, could exceed $10^{16}\,\mbox{G}$. This object may therefore be the most magnetised neutron star observed to date. In this paper, a critical analysis of a magnetar interpretation for the source is provided. (i) A minimum polar magnetic field strength of $B \sim 5 \times 10^{15}\,\mbox{G}$ appears to be necessary for the star to activate as a radio pulsar, based on conventional `death valley' assumptions. (ii) Back-extrapolation from magnetic braking and Hall-plastic-Ohm decay suggests that a large angular momentum reservoir was available at birth to support intense field amplification. (iii) The observational absence of X-rays constrains the star's field strength and age, as the competition between heating from field decay and Urca cooling implies a surface luminosity as a function of time. If the object is an isolated, young ($\sim 10\, \mbox{kyr}$) magnetar with a present-day field strength of $B \gtrsim 10^{16}\,\mbox{G}$, the upper limit ($\approx 10^{30}\, \mbox{erg s}^{-1}$) set on its thermal luminosity suggests it is cooling via a direct Urca mechanism.


title: Error Correction of Quantum Algorithms: Arbitrarily Accurate Recovery Of Noisy Quantum Signal Processing

abstract: The intrinsic probabilistic nature of quantum systems makes error correction or mitigation indispensable for quantum computation. While current error-correcting strategies focus on correcting errors in quantum states or quantum gates, these fine-grained error-correction methods can incur significant overhead for quantum algorithms of increasing complexity. We present a first step in achieving error correction at the level of quantum algorithms by combining a unified perspective on modern quantum algorithms via quantum signal processing (QSP). An error model of under- or over-rotation of the signal processing operator parameterized by $\epsilon < 1$ is introduced. It is shown that while Pauli $Z$-errors are not recoverable without additional resources, Pauli $X$ and $Y$ errors can be arbitrarily suppressed by coherently appending a noisy `recovery QSP.' Furthermore, it is found that a recovery QSP of length $O(2^k c^{k^2} d)$ is sufficient to correct any length-$d$ QSP with $c$ unique phases to $k^{th}$-order in error $\epsilon$. Allowing an additional assumption, a lower bound of $\Omega(cd)$ is shown, which is tight for $k = 1$, on the length of the recovery sequence. Our algorithmic-level error correction method is applied to Grover's fixed-point search algorithm as a demonstration.


title: On the growth rate inequality for self-maps of the sphere

abstract: Let $S^m = \{x_0^2 + x_1^2 + \cdots + x_m^2 = 1\}$ and $P = \{x_0 = x_1 = 0\} \cap S^m$. Suppose that $f$ is a self--map of $S^m$ such that $f^{-1}(P) = P$ and $|\mathrm{deg}(f_{|P})| < |\mathrm{deg}(f)|$. Then, the number of fixed points of $f^n$ grows at least exponentially with base $|d| > 1$, where $d = \mathrm{deg}(f)/\mathrm{deg}(f_{|P}) \in \mathbb Z$.


title: Multi-Armed Bandits and Quantum Channel Oracles

abstract: Multi-armed bandits are one of the theoretical pillars of reinforcement learning. Recently, the investigation of quantum algorithms for multi-armed bandit problems was started, and it was found that a quadratic speed-up (in query complexity) is possible when the arms and the randomness of the rewards of the arms can be queried in superposition. Here we introduce further bandit models where we only have limited access to the randomness of the rewards, but we can still query the arms in superposition. We show that then the query complexity is the same as for classical algorithms. This generalizes the prior result that no speed-up is possible for unstructured search when the oracle has positive failure probability.


title: Nonlinear MPC for Full-Pose Manipulation of a Cable-Suspended Load using Multiple UAVs

abstract: In this work, we propose a centralized control method based on nonlinear model predictive control to let multiple UAVs manipulate the full pose of an object via cables. At the best of the authors knowledge this is the first method that takes into account the full nonlinear model of the load-UAV system, and ensures all the feasibility constraints concerning the UAV maximumum and minimum thrusts, the collision avoidance between the UAVs, cables and load, and the tautness and maximum tension of the cables. By taking into account the above factors, the proposed control algorithm can fully exploit the performance of UAVs and facilitate the speed of operation. Simulations are conducted to validate the algorithm to achieve fast and safe manipulation of the pose of a rigid-body payload using multiple UAVs. We demonstrate that the computational time of the proposed method is sufficiently small (<100 ms) for UAV teams composed by up to 10 units, which makes it suitable for a huge variety of future industrial applications, such as autonomous building construction and heavy-load transportation.


title: Disorder Induced Nonlinear Mode Coupling and Symmetry Breaking in Amorphous Solids

abstract: Applying very small purely radial strains on amorphous solids in radial geometry one observes elastic responses that break the radial symmetry. Without any plasticity involved, the responses indicate nonlinear mode coupling contributions even for minute strains. We show that these symmetry-breaking responses are due to disorder, typical to amorphous configurations. The symmetry breaking responses are quantitatively explained using the classical Michell solutions which are excited by mode coupling.


title: Infinite collision property for the three-dimensional uniform spanning tree

abstract: Let $\mathcal{U}$ be the uniform spanning tree on $\mathbb{Z}^3$, whose probability law is denoted by $\mathbf{P}$. For $\mathbf{P}$-a.s. realization of $\mathcal{U}$, the recurrence of the the simple random walk on $\mathcal{U}$ is proved in [5] and it is also demonstrated in [8] that two independent simple random walks on $\mathcal{U}$ collide infinitely often. In this article, we will give a quantitative estimate on the number of collisions of two independent simple random walks on $\mathcal{U}$, which provides another proof of the infinite collision property of $\mathcal{U}$.


title: Uniform persistence criteria for a variable inputs chemostat model with delayed response in growth and complete analysis of the periodic case

abstract: We study a single-species chemostat model with variable nutrient input and variable dilution rate with delayed (fixed) response in growth. The first goal of this article is to prove that persistence implies uniform persistence. Then we concentrate in the particular case with periodic nutrient input and same periodic dilution with delayed response in growth. We obtain a threshold for either the (uniform) persistence of the model or that the biomass of every solution tends to vanish. Furthermore, we prove that persistence is equivalent to the existence of a unique non-trivial periodic solution. We also prove that this solution is attractive. We remark in no case we need to impose any restrictions on the size of the delay.


title: Transforming Unstructured Text into Data with Context Rule Assisted Machine Learning (CRAML)

abstract: We describe a method and new no-code software tools enabling domain experts to build custom structured, labeled datasets from the unstructured text of documents and build niche machine learning text classification models traceable to expert-written rules. The Context Rule Assisted Machine Learning (CRAML) method allows accurate and reproducible labeling of massive volumes of unstructured text. CRAML enables domain experts to access uncommon constructs buried within a document corpus, and avoids limitations of current computational approaches that often lack context, transparency, and interpetability. In this research methods paper, we present three use cases for CRAML: we analyze recent management literature that draws from text data, describe and release new machine learning models from an analysis of proprietary job advertisement text, and present findings of social and economic interest from a public corpus of franchise documents. CRAML produces document-level coded tabular datasets that can be used for quantitative academic research, and allows qualitative researchers to scale niche classification schemes over massive text data. CRAML is a low-resource, flexible, and scalable methodology for building training data for supervised ML. We make available as open-source resources: the software, job advertisement text classifiers, a novel corpus of franchise documents, and a fully replicable start-to-finish trained example in the context of no poach clauses.


title: Superconducting fluctuations and charge-4$e$ plaquette state at strong coupling

abstract: We apply the static auxiliary field Monte Carlo approach to study phase correlations of the pairing fields in a microscopic model with spin-singlet pairing interaction. We find that the short- and long-range phase correlations are well captured by the phase mutual information, which allows us to construct a theoretical phase diagram containing the uniform $d$-wave superconducting region, the phase fluctuating region, the local pairing region, and the disordered region. We show that the gradual development of phase coherence has a number of consequences on spectroscopic measurements, such as the development of the Fermi arc and the anisotropy in the angle-resolved spectra, scattering rate, entropy, specific heat, and quasiparticle dispersion, in good agreement with experimental observations. For strong coupling, our Monte Carlo simulation reveals an unexpected charge-4$e$ plaquette state with $d$-wave bonds, which competes with the uniform $d$-wave superconductivity and exhibits a U-shaped density of states.


title: Transmission-based noise spectroscopy for quadratic qubit-resonator interactions

abstract: We develop a theory describing the transient transmission through noisy qubit-resonator systems with quadratic interactions as are found in superconducting and nanomechanical resonators coupled to solid-state qubits. After generalizing the quantum Langevin equations to arbitrary qubit-resonator couplings, we show that only the cases of linear and quadratic couplings allow for an analytical treatment within standard input-output theory. Focussing for the first time on quadratic couplings and allowing for arbitrary initial qubit coherences, it is shown that noise characteristics can be extracted from input-output measurements by recording both the averaged fluctuations in the transmission probability and the averaged phase. Our results represent an extension to the field of transmission-based noise spectroscopy with immediate practical applications.


title: Out of equilibrium dynamics of repulsive ranked diffusions: the expanding crystal

abstract: We study the non-equilibrium Langevin dynamics of $N$ particles in one dimension with Coulomb repulsive linear interactions. This is a dynamical version of the so-called jellium model (without confinement) also known as ranked diffusion. Using a mapping to the Lieb-Liniger model of quantum bosons, we obtain an exact formula for the joint distribution of the positions of the $N$ particles at time $t$, all starting from the origin. A saddle point analysis shows that the system converges at large time to a linearly expanding crystal. Properly rescaled, this dynamical state resembles the equilibrium crystal in a time dependent effective quadratic potential. This analogy allows to study the fluctuations around the perfect crystal, which, to leading order, are Gaussian. There are however deviations from this Gaussian behavior, which embody long-range correlations of purely dynamical origin, characterized by the higher order cumulants of, e.g., the gaps between the particles, that we calculate exactly. We complement these results using a recent approach by one of us in terms of a noisy Burgers equation. In the large $N$ limit, the mean density of the gas can be obtained at any time from the solution of a deterministic viscous Burgers equation. This approach provides a quantitative description of the dense regime at shorter times. Our predictions are in good agreement with numerical simulations for finite and large $N$.


title: Optimality-preserving Reduction of Chemical Reaction Networks

abstract: Across many disciplines, chemical reaction networks (CRNs) are an established population model defined as a system of coupled nonlinear ordinary differential equations. In many applications, for example, in systems biology and epidemiology, CRN parameters such as the kinetic reaction rates can be used as control inputs to steer the system toward a given target. Unfortunately, the resulting optimal control problem is nonlinear, therefore, computationally very challenging. We address this issue by introducing an optimality-preserving reduction algorithm for CRNs. The algorithm partitions the original state variables into a reduced set of macro-variables for which one can define a reduced optimal control problem from which one can exactly recover the solution of the original control problem. Notably, the reduction algorithm runs with polynomial time complexity in the size of the CRN. We use this result to reduce reachability and control problems of large-scale protein-interaction networks and vaccination models with hundreds of thousands of state variables.


title: Magnetic isotope effects: a potential testing ground for quantum biology

abstract: One possible explanation for magnetosensing in biology, such as avian magnetoreception, is based on the spin dynamics of certain chemical reactions that involve radical pairs. Radical pairs have been suggested to also play a role in anesthesia, hyperactivity, neurogenesis, circadian clock rhythm, microtubule assembly, etc. It thus seems critical to probe the credibility of such models. One way to do so is through isotope effects with different nuclear spins. Here we briefly review the papers involving spin-related isotope effects in biology. We suggest studying isotope effects can be an interesting avenue for quantum biology.

categories: physics.bio-ph physics.med-ph q-bio.BM quant-ph


title: Hybrid Open-set Segmentation with Synthetic Negative Data

abstract: Open-set segmentation can be conceived by complementing closed-set classification with anomaly detection. Many of the existing dense anomaly detectors operate through generative modelling of regular data or by discriminating with respect to negative data. These two approaches optimize different objectives and therefore exhibit different failure modes. Consequently, we propose a novel anomaly score that fuses generative and discriminative cues. Our score can be implemented by upgrading any closed-set segmentation model with dense estimates of dataset posterior and unnormalized data likelihood. The resulting dense hybrid open-set models require negative training images that can be sampled from an auxiliary negative dataset, from a jointly trained generative model, or from a mixture of both sources. We evaluate our contributions on benchmarks for dense anomaly detection and open-set segmentation. The experiments reveal strong open-set performance in spite of negligible computational overhead.


title: NeRF in the Palm of Your Hand: Corrective Augmentation for Robotics via Novel-View Synthesis

abstract: Expert demonstrations are a rich source of supervision for training visual robotic manipulation policies, but imitation learning methods often require either a large number of demonstrations or expensive online expert supervision to learn reactive closed-loop behaviors. In this work, we introduce SPARTN (Synthetic Perturbations for Augmenting Robot Trajectories via NeRF): a fully-offline data augmentation scheme for improving robot policies that use eye-in-hand cameras. Our approach leverages neural radiance fields (NeRFs) to synthetically inject corrective noise into visual demonstrations, using NeRFs to generate perturbed viewpoints while simultaneously calculating the corrective actions. This requires no additional expert supervision or environment interaction, and distills the geometric information in NeRFs into a real-time reactive RGB-only policy. In a simulated 6-DoF visual grasping benchmark, SPARTN improves success rates by 2.8$\times$ over imitation learning without the corrective augmentations and even outperforms some methods that use online supervision. It additionally closes the gap between RGB-only and RGB-D success rates, eliminating the previous need for depth sensors. In real-world 6-DoF robotic grasping experiments from limited human demonstrations, our method improves absolute success rates by $22.5\%$ on average, including objects that are traditionally challenging for depth-based methods. See video results at \url{https://bland.website/spartn}.


title: The linear stability of weakly charged and slowly rotating Kerr-Newman family of charged black holes

abstract: In this paper, we prove the linear stability of weakly charged and slowly rotating Kerr-Newman black holes under coupled gravitational and electromagnetic perturbations. We show that the solutions to the linearized Einstein-Maxwell equations decay at an inverse polynomial rate to a linearized Kerr-Newman solution plus a pure gauge term. This work builds on the framework developed by H\"{a}fner-Hintz-Vasy for the study of the Einstein vacuum equations. We work in the generalized wave map and Lorenz gauge. The proof involves the analysis of the resolvent of the Fourier transformed linearized Einstein-Maxwell operator on asymptotically flat spaces, which relies on recent advances in microlocal analysis and non-elliptic Fredholm theory developed by Vasy. The most delicate part of the proof is the description of the resolvent at low frequencies.


title: About constant-product automated market makers

abstract: Constant-product market making functions were first introduced by Hayden Adams in 2017 to create Uniswap, a decentralised exchange on Ethereum. This enables users to exchange assets at any given rate. Some variations such as Balancer and Curve were later introduced. In this paper, we analyse the maths that rule this type of protocol. We show that splitting a trade in multiple smaller trades does not impact the final exchange rate. We also show that the protocol is safer and more profitable when no one recompounds their fees.


title: The Lost Art of Mathematical Modelling

abstract: We provide a critique of mathematical biology in light of rapid developments in modern machine learning. We argue that out of the three modelling activities -- (1) formulating models; (2) analysing models; and (3) fitting or comparing models to data -- inherent to mathematical biology, researchers currently focus too much on activity (2) at the cost of (1). This trend, we propose, can be reversed by realising that any given biological phenomena can be modelled in an infinite number of different ways, through the adoption of an open/pluralistic approach. We explain the open approach using fish locomotion as a case study and illustrate some of the pitfalls -- universalism, creating models of models, etc. -- that hinder mathematical biology. We then ask how we might rediscover a lost art: that of creative mathematical modelling. This article is dedicated to the memory of Edmund Crampin.


title: Modeling and analysis of ensemble average solvation energy and solute-solvent interfacial fluctuations

abstract: ariational implicit solvation models (VISM) have gained extensive popularity in the molecular-level solvation analysis of biological systems due to their cost-effectiveness and satisfactory accuracy. Central in the construction of VISM is an interface separating the solute and the solvent. However, traditional sharp-interface VISMs fall short in adequately representing the inherent randomness of the solute-solvent interface, a consequence of thermodynamic fluctuations within the solute-solvent system. Given that experimentally observable quantities are ensemble-averaged, the computation of the ensemble average solvation energy (EASE)-the averaged solvation energy across all thermodynamic microscopic states-emerges as a key metric for reflecting thermodynamic fluctuations during solvation processes. This study introduces a novel approach to calculating the EASE. We devise two diffuse-interface VISMs: one within the classic Poisson-Boltzmann (PB) framework and another within the framework of size-modified PB theory, accounting for the finite-size effects. The construction of these models relies on a new diffuse interface definition $u(x)$, which represents the probability of a point $x $ found in the solute phase among all microstates. Drawing upon principles of statistical mechanics and geometric measure theory, we rigorously demonstrate that the proposed models effectively capture EASE during the solvation process. Moreover, preliminary analyses indicate that the size-modified EASE functional surpasses its counterpart based on classic PB theory across various analytic aspects. Our work is the first step towards calculating EASE through the utilization of diffuse-interface VISM. energy by using diffuse-interface VISMs.


title: Existence result of the global attractor for a triply nonlinear thermistor problem

abstract: We study the existence and uniqueness of a bounded weak solution for a triply nonlinear thermistor problem in Sobolev spaces. Furthermore, we prove the existence of an absorbing set and, consequently, the universal attractor.


title: Latent Autoregressive Source Separation

abstract: Autoregressive models have achieved impressive results over a wide range of domains in terms of generation quality and downstream task performance. In the continuous domain, a key factor behind this success is the usage of quantized latent spaces (e.g., obtained via VQ-VAE autoencoders), which allow for dimensionality reduction and faster inference times. However, using existing pre-trained models to perform new non-trivial tasks is difficult since it requires additional fine-tuning or extensive training to elicit prompting. This paper introduces LASS as a way to perform vector-quantized Latent Autoregressive Source Separation (i.e., de-mixing an input signal into its constituent sources) without requiring additional gradient-based optimization or modifications of existing models. Our separation method relies on the Bayesian formulation in which the autoregressive models are the priors, and a discrete (non-parametric) likelihood function is constructed by performing frequency counts over latent sums of addend tokens. We test our method on images and audio with several sampling strategies (e.g., ancestral, beam search) showing competitive results with existing approaches in terms of separation quality while offering at the same time significant speedups in terms of inference time and scalability to higher dimensional data.


title: A Semi-supervised Sensing Rate Learning based CMAB Scheme to Combat COVID-19 by Trustful Data Collection in the Crowd

abstract: The recruitment of trustworthy and high-quality workers is an important research issue for MCS. Previous studies either assume that the qualities of workers are known in advance, or assume that the platform knows the qualities of workers once it receives their collected data. In reality, to reduce costs and thus maximize revenue, many strategic workers do not perform their sensing tasks honestly and report fake data to the platform, which is called False data attacks. And it is very hard for the platform to evaluate the authenticity of the received data. In this paper, an incentive mechanism named Semi-supervision based Combinatorial Multi-Armed Bandit reverse Auction (SCMABA) is proposed to solve the recruitment problem of multiple unknown and strategic workers in MCS. First, we model the worker recruitment as a multi-armed bandit reverse auction problem and design an UCB-based algorithm to separate the exploration and exploitation, regarding the Sensing Rates (SRs) of recruited workers as the gain of the bandit. Next, a Semi-supervised Sensing Rate Learning (SSRL) approach is proposed to quickly and accurately obtain the workers' SRs, which consists of two phases, supervision and self-supervision. Last, SCMABA is designed organically combining the SRs acquisition mechanism with multi-armed bandit reverse auction, where supervised SR learning is used in the exploration, and the self-supervised one is used in the exploitation. We theoretically prove that our SCMABA achieves truthfulness and individual rationality and exhibits outstanding performances of the SCMABA mechanism through in-depth simulations of real-world data traces.


title: An NDN-Enabled Fog Radio Access Network Architecture With Distributed In-Network Caching

abstract: To meet the increasing demands of next-generation cellular networks (e.g., 6G), advanced networking technologies must be incorporated. On one hand, the Fog Radio Access Network (F-RAN), has been proposed as an enhancement to the Cloud Radio Access Network (C-RAN). On the other hand, efficient network architectures, such as Named Data Networking (NDN), have been recognized as prominent Future Internet candidates. Nevertheless, the interplay between F-RAN and NDN warrants further investigation. In this paper, we propose an NDN-enabled F-RAN architecture featuring a strategy for distributed in-network caching. Through a simulation study, we demonstrate the superiority of the proposed in-network caching strategy in comparison with baseline caching strategies in terms of network resource utilization, cache hits, and fronthaul channel usage.


title: Developing a Framework for Heterotopias as Discursive Playgrounds: A Comparative Analysis of Non-Immersive and Immersive Technologies

abstract: The discursive space represents the reordering of knowledge gained through accumulation. In the digital age, multimedia has become the language of information, and the space for archival practices is provided by non-immersive technologies, resulting in the disappearance of several layers from discursive activities. Heterotopias are unique, multilayered epistemic contexts that connect other systems through the exchange of information. This paper describes a process to create a framework for Virtual Reality, Mixed Reality, and personal computer environments based on heterotopias to provide absent layers. This study provides virtual museum space as an informational terrain that contains a "world within worlds" and presents place production as a layer of heterotopia and the subject of discourse. Automation for the individual multimedia content is provided via various sorting and grouping algorithms, and procedural content generation algorithms such as Binary Space Partitioning, Cellular Automata, Growth Algorithm, and Procedural Room Generation. Versions of the framework were comparatively evaluated through a user study involving 30 participants, considering factors such as usability, technology acceptance, and presence. The results of the study show that the framework can serve diverse contexts to construct multilayered digital habitats and is flexible for integration into professional and daily life practices.


title: The higher direct images of locally constant group schemes from the Kummer log flat topology to the classical flat topology

abstract: Let $S$ be an fs log scheme, and let $F$ be a group scheme over the underlying scheme which is \'etale locally representable by (1) a finite dimensional $\mathbb{Q}$-vector space, or (2) a finite rank free abelian group, or (3) a finite abelian group. We give a full description of all the higher direct images of $F$ from the Kummer log flat site to the classical flat site. In particular, we show that: in case (1) the higher direct images of $F$ vanish; and in case (2) the first higher direct image of $F$ vanishes and the $n$-th ($n>1$) higher direct image of $F$ is isomorphic to the $(n-1)$-th higher direct image of $F\otimes_{\mathbb{Z}}\mathbb{Q}/\mathbb{Z}$. In the end, we make some computations when the base is a standard log trait or a Dedekind scheme endowed with the log structure associated to a finite set of closed points.


title: Contributions on complexity bounds for Deterministic Partially Observed Markov Decision Process

abstract: Markov Decision Processes (Mdps) form a versatile framework used to model a wide range of optimization problems. The Mdp model consists of sets of states, actions, time steps, rewards, and probability transitions. When in a given state and at a given time, the decision maker's action generates a reward and determines the state at the next time step according to the probability transition function. However, Mdps assume that the decision maker knows the state of the controlled dynamical system. Hence, when one needs to optimize controlled dynamical systems under partial observation, one often turns toward the formalism of Partially Observed Markov Decision Processes (Pomdp). Pomdps are often untractable in the general case as Dynamic Programming suffers from the curse of dimensionality. Instead of focusing on the general Pomdps, we present a subclass where transitions and observations mappings are deterministic: Deterministic Partially Observed Markov Decision Processes (Det-Pomdp). That subclass of problems has been studied by (Littman, 1996) and (Bonet, 2009). It was first considered as a limit case of Pomdps by Littman, mainly used to illustrate the complexity of Pomdps when considering as few sources of uncertainties as possible. In this paper, we improve on Littman's complexity bounds. We then introduce and study an even simpler class: Separated Det-Pomdps and give some new complexity bounds for this class. This new class of problems uses a property of the dynamics and observation to push back the curse of dimensionality.


title: Physics-guided neural networks for feedforward control with input-to-state stability guarantees

abstract: The increasing demand on precision and throughput within high-precision mechatronics industries requires a new generation of feedforward controllers with higher accuracy than existing, physics-based feedforward controllers. As neural networks are universal approximators, they can in principle yield feedforward controllers with a higher accuracy, but suffer from bad extrapolation outside the training data set, which makes them unsafe for implementation in industry. Motivated by this, we develop a novel physics-guided neural network (PGNN) architecture that structurally merges a physics-based layer and a black-box neural layer in a single model. The parameters of the two layers are simultaneously identified, while a novel regularization cost function is used to prevent competition among layers and to preserve consistency of the physics-based parameters. Moreover, in order to ensure stability of PGNN feedforward controllers, we develop sufficient conditions for analyzing or imposing (during training) input-to-state stability of PGNNs, based on novel, less conservative Lipschitz bounds for neural networks. The developed PGNN feedforward control framework is validated on a real-life, high-precision industrial linear motor used in lithography machines, where it reaches a factor 2 improvement with respect to physics-based mass-friction feedforward and it significantly outperforms alternative neural network based feedforward controllers.


title: Overcharging process around a magnetized black hole: Can the backreaction effect of magnetic field restore cosmic censorship conjecture?

abstract: It is well known that the electrically charged Reissner-Nordstr\"{o}m black hole could be overcharged. Here, we investigate the process of overcharging of a magnetized Reissner-Nordstr\"{o}m black hole that includes effect of the magnetic field generated by own magnetic charge of source on the background geometry. It is found that magnetic field prevents a transition to occur from black hole to naked singularity, thus overcharging cannot be attained which happens due to the fact that the magnetic field reaches its threshold value. It turns out that beyond threshold value the magnetic field can exert large Lorentz force on particles and dominate over the gravitational force, allowing charged particles not to fall into the black hole. One may conclude, there occurs no evidence for violation of cosmic censorship conjecture for a magnetized Reissner-Nordstr\"{o}m black hole beyond threshold value of the magnetic field.


title: Distributed Non-Interference

abstract: Information flow security properties were defined some years ago (see, e.g., the surveys \cite{FG01,Ry01}) in terms of suitable equivalence checking problems. These definitions were provided by using sequential models of computations (e.g., labeled transition systems \cite{GV15}), and interleaving behavioral equivalences (e.g., bisimulation equivalence \cite{Mil89}). More recently, the distributed model of Petri nets has been used to study non-interference in \cite{BG03,BG09,BC15}, but also in these papers an interleaving semantics was used. We argue that in order to capture all the relevant information flows, truly-concurrent behavioral equivalences must be used. In particular, we propose for Petri nets the distributed non-interference property, called DNI, based on {\em branching place bisimilarity} \cite{Gor23b}, which is a sensible, decidable equivalence for finite Petri nets with silent moves. Then we focus our attention on the subclass of Petri nets called {\em finite-state machines}, which can be represented (up to isomorphism) by the simple process algebra CFM \cite{Gor17}. DNI is very easily checkable on CFM processes, as it is compositional, so that it does does not suffer from the state-space explosion problem. Moreover, we show that DNI can be characterized syntactically on CFM by means of a type system.