title: Paracompactness and Open Relations

abstract: The countably paracompact normal spaces were characterised by Dowker and Kat\v{e}tov in terms of an insertion property. Dowker also characterised them by normality of their product with the closed unit interval. Michael used the Dowker-Kat\v{e}tov insertion property to motivate his selection characterisation of these spaces. Morita extended in a natural way Dowker's product characterisation to all $\tau$-paracompact normal spaces. In this paper, we look at these results from the point of view of open relations. Insertions and selections are equivalent for such relations. Furthermore, we obtain a natural characterisation of $\tau$-paracompact normal spaces in terms of selections for convex-valued open relations. Based on this characterisation, we give simple alternative proofs of the above mentioned results. Other applications are obtained as well.


title: Asymmetry of wetting and de-wetting on high-friction surfaces originates from the same molecular physics

abstract: The motion of three-phase contact lines is one of the most relevant research topics of micro- and nano-fluidics. According to many hydrodynamic and molecular models, the dynamics of contact lines is assumed overdamped and dominated by localised liquid-solid friction, entailing the existence of a mobility relation between contact line speed and microscopic contact angle. We present and discuss a set of non-equilibrium atomistic Molecular Dynamics simulations of water nanodroplets spreading on or confined between silica-like walls, showing the existence of the aforementioned relation and its invariance under wetting modes (`spontaneous' or `forced'). Upon changing the wettability of the walls, it has been noticed that more hydrophilic substrates are easier to wet rather than de-wet; we show how this asymmetry can be automatically captured by a contact line friction model that accounts for the molecular transport between liquid layers. A simple examination of the order and orientation of near-contact-line water molecules corroborates the physical foundation of the model. Lastly, we propose an approach to discriminate between contact line friction models which overcomes the limitations of experimental resolution. This work constitutes a stepping stone towards demystifying wetting dynamics on high-friction hydrophilic substrates and underlines the relevance of contact line friction in modelling the motion of three-phase contact lines.


title: No Tradeoff between Coherence and Sub-Poissonianity for Heisenberg-Limited Lasers

abstract: The Heisenberg limit to laser coherence $\mathfrak{C}$ -- the number of photons in the maximally populated mode of the laser beam -- is the fourth power of the number of excitations inside the laser. We generalize the previous proof of this upper bound scaling by dropping the requirement that the beam photon statistics be Poissonian (i.e., Mandel's $Q=0$). We then show that the relation between $\mathfrak{C}$ and sub-Poissonianity ($Q<0$) is win-win, not a tradeoff. For both regular (non-Markovian) pumping with semi-unitary gain (which allows $Q\xrightarrow{}-1$), and random (Markovian) pumping with optimized gain, $\mathfrak{C}$ is maximized when $Q$ is minimized.


title: Optimized Laser Models with Heisenberg-Limited Coherence and Sub-Poissonian Beam Photon Statistics

abstract: Recently it has been shown that it is possible for a laser to produce a stationary beam with a coherence (quantified as the mean photon number at spectral peak) which scales as the fourth power of the mean number of excitations stored within the laser, this being quadratically larger than the standard or Schawlow-Townes limit [1]. Moreover, this was analytically proven to be the ultimate quantum limit (Heisenberg limit) scaling under defining conditions for CW lasers, plus a strong assumption about the properties of the output beam. In Ref. [2], we show that the latter can be replaced by a weaker assumption, which allows for highly sub-Poissonian output beams, without changing the upper bound scaling or its achievability. In this Paper, we provide details of the calculations in Ref. [2], and introduce three new families of laser models which may be considered as generalizations of those presented in that work. Each of these families of laser models is parameterized by a real number, $p$, with $p=4$ corresponding to the original models. The parameter space of these laser families is numerically investigated in detail, where we explore the influence of these parameters on both the coherence and photon statistics of the laser beams. Two distinct regimes for the coherence may be identified based on the choice of $p$, where for $p>3$, each family of models exhibits Heisenberg-limited beam coherence, while for $p<3$, the Heisenberg limit is no longer attained. Moreover, in the former regime, we derive formulae for the beam coherence of each of these three laser families which agree with the numerics. We find that the optimal parameter is in fact $p\approx4.15$, not $p=4$.


title: White-noise fluctuation theorem for Langevin dynamics

abstract: Fluctuation theorems based on time-reversal have provided remarkable insight into the non-equilibrium statistics of thermodynamic quantities like heat, work, and entropy production. These types of laws impose constraints on the distributions of certain trajectory functionals that reflect underlying dynamical symmetries. In this work, we introduce a detailed fluctuation theorem for Langevin dynamics that follows from the statistics of Gaussian white noise rather than from time-reversal. The theorem, which originates from a point-wise symmetry in phase space, holds individually for each degree of freedom coupled to additive or multiplicative noise. The relation is independent of the phase space distribution generated by the dynamics and can be used to derive a versatile parameter inference algorithm applicable to the a wide range of systems, including non-conservative and non-Markovian ones.


title: Ageing and Quenching through the ageing diagram: predictions from simulations and observational constraints

abstract: We study recent changes on the star formation history (SFH) of galaxies by means of the ageing diagram (AD), tracing the fraction of stars formed during the last $\sim 20$ Myr through the equivalent width of the H$\alpha$ line and $\sim 1-3$ Gyr through the dust-corrected optical colour $(g-r)_0$ or the Balmer break. We provide a physical characterization by using Pipe3D estimates of the SFH of CALIFA and MaNGA galaxies, in combination with the predictions from IllustrisTNG-100. Our results show that the AD may be divided into four domains that correlate with the stellar mass fractions formed in the last 20 Myr and 3 Gyr: Ageing systems, whose SFR changes on scales of several Gyr, account for $70-80\%$ of the galaxy population. Objects whose SFH was abruptly truncated in the last $\sim 1$ Gyr arrange along a detached Quenched sequence that represents $\sim 5-10\%$ by (volume-corrected) number for $10^9 < M_*/{\rm M_\odot} < 10^{12}$. Undetermined systems represent an intermediate population between the Ageing and Quenched regimes. Finally, Retired galaxies, dominated by old stellar populations, are located at the region in the AD where the Ageing and Quenched sequences converge. Defining different star formation activity levels in terms of the birth rate parameter $b\equiv \frac{SFR}{\langle SFR \rangle}$, we find that galaxies transit from the Ageing to Quenched sequences on scales $\sim 500$ Myr. We conclude that the ageing diagram provides a useful tool to discern recently Quenched galaxies from the dominant Ageing population.


title: Evaluating Point Cloud from Moving Camera Videos: A No-Reference Metric

abstract: Point cloud is one of the most widely used digital representation formats for three-dimensional (3D) contents, the visual quality of which may suffer from noise and geometric shift distortions during the production procedure as well as compression and downsampling distortions during the transmission process. To tackle the challenge of point cloud quality assessment (PCQA), many PCQA methods have been proposed to evaluate the visual quality levels of point clouds by assessing the rendered static 2D projections. Although such projection-based PCQA methods achieve competitive performance with the assistance of mature image quality assessment (IQA) methods, they neglect that the 3D model is also perceived in a dynamic viewing manner, where the viewpoint is continually changed according to the feedback of the rendering device. Therefore, in this paper, we evaluate the point clouds from moving camera videos and explore the way of dealing with PCQA tasks via using video quality assessment (VQA) methods. First, we generate the captured videos by rotating the camera around the point clouds through several circular pathways. Then we extract both spatial and temporal quality-aware features from the selected key frames and the video clips through using trainable 2D-CNN and pre-trained 3D-CNN models respectively. Finally, the visual quality of point clouds is represented by the video quality values. The experimental results reveal that the proposed method is effective for predicting the visual quality levels of the point clouds and even competitive with full-reference (FR) PCQA methods. The ablation studies further verify the rationality of the proposed framework and confirm the contributions made by the quality-aware features extracted via the dynamic viewing manner. The code is available at https://github.com/zzc-1998/VQA_PC.


title: Constraining first-order phase transitions with curvature perturbations

abstract: We investigate the curvature perturbations induced by the randomness of the quantum tunneling process during cosmological first-order phase transitions (PTs) and for the first time ultilize curvature perturbations to constrain the PT parameters. We find that the observations of the cosmic microwave background spectrum distortion and the ultracompact minihalo abundance can give strict constraints on the PTs below 100GeV, especially for the low-scale PTs and the weak PTs. The current constraint on the PT parameters is largely extended by the results in this work.


title: To the cusp and back: Resurgent analysis for modular graph functions

abstract: Modular graph functions arise in the calculation of the low-energy expansion of closed-string scattering amplitudes. For toroidal world-sheets, they are ${\rm SL}(2,\mathbb{Z})$-invariant functions of the torus complex structure that have to be integrated over the moduli space of inequivalent tori. We use methods from resurgent analysis to construct the non-perturbative corrections arising when the argument of the modular graph function approaches the cusp on this moduli space. ${\rm SL}(2,\mathbb{Z})$-invariance will in turn strongly constrain the behaviour of the non-perturbative sector when expanded at the origin of the moduli space.


title: The challenge of ruling out inflation via the primordial graviton background

abstract: Recent debates around the testability of the inflationary paradigm raise the question of how to model-independently discriminate it from competing scenarios. We argue that a detection of the Cosmic Graviton Background (CGB), the relic radiation from gravitons decoupling around the Planck time, would rule out the inflationary paradigm, as realistic inflationary models would dilute the CGB to an unobservable level. The CGB contribution to the effective number of relativistic species, $\Delta N_{{\rm eff},g} \approx 0.054$, is well within the reach of next-generation cosmological probes. We argue that detecting the high-frequency stochastic gravitational wave background associated to the CGB will be challenging but potentially feasible. We briefly discuss expectations within alternatives to inflation, focusing on bouncing cosmologies and emergent scenarios.


title: Searches for QCD instantons with forward proton tagging

abstract: We study the possibility to observe heavy ($M_{\rm inst}> 60$ GeV) QCD instantons at the LHC in events with one or two tagged leading protons including fast simulation of detector and pile-up effects. We show that the expected instanton signal in a single-tagged configuration is strongly affected by central detector and pile-up effects. For double-tagged approach, where larger integrated luminosities and hence larger pile-up contaminations need to be considered, the combinatorial background overwhelms the expected signal. We suggest that additional time information about tracks at central and forward rapidities would be crucial for potential improvements.


title: Bounds for invariants of numerical semigroups and Wilf's Conjecture

abstract: Given coprime positive integers $g_1 < \ldots < g_e$, the Frobenius number $F=F(g_1,\ldots,g_e)$ is the largest integer not representable as a linear combination of $g_1,\ldots,g_e$ with non-negative integer coefficients. Let $n$ denote the number of all representable non-negative integers less than $F$; Wilf conjectured that $F+1 \le e n$. We provide bounds for $g_1$ and for the type of the numerical semigroup $S=\langle g_1,\ldots,g_e \rangle$ in function of $e$ and $n$, and use these bounds to prove that $F+1 \le q e n$, where $q= \left \lceil \frac{F+1}{g_1} \right \rceil$, and $F+1 \le e n^2$. Finally, we give an alternative, simpler proof for the Wilf conjecture if the numerical semigroup $S=\langle g_1,\ldots,g_e \rangle$ is almost-symmetric.


title: Multilayer network analysis to study complex inter-subsystem interactions in a turbulent thermoacoustic system

abstract: Thermoacoustic systems are complex systems where the interactions between the hydrodynamic, acoustic and heat release rate fluctuations lead to diverse dynamics such as chaos, intermittency, and ordered dynamics. Such complex interactions cause catastrophically high-amplitude acoustic pressure oscillations and the emergence of order in the spatio-temporal dynamics, referred to as thermoacoustic instability. In this work, we use multilayer networks to study the spatial pattern of inter-subsystem interactions between the vorticity dynamics and thermoacoustic power generated due to acoustically-coupled combustion in a bluff-body stabilized turbulent dump combustor. We construct a two-layered network where the layers represent the thermoacoustic power and vorticity fields. The inter-layer links are determined using cross-variable short-window correlations between vorticity and thermoacoustic power fluctuations at any two locations in the flow field. Analyzing the topology of inter-layer networks, using network properties such as degree correlations and link-rank distributions, helps us infer the spatial inhomogeneities in inter-subsystem interactions and unravel the fluid mechanical processes involved during different dynamical states. We show that, during chaotic dynamics, interactions between subsystems are non-localized and spread throughout the flow field of the combustor. During the state of thermoacoustic instability (order), we find that intense interactions occur in between regions of coherent vortex shedding and thermoacoustic power generation and we understand that these processes are strongly and locally coupled. Moreover, we discover that such dense inter-layer connections emerge in spatial pockets in the dump plane of the combustor during the state of intermittency much prior to the onset of order.


title: Super-model ecosystem: A domain-adaptation perspective

abstract: This paper attempts to establish the theoretical foundation for the emerging super-model paradigm via domain adaptation, where one first trains a very large-scale model, {\it i.e.}, super model (or foundation model in some other papers), on a large amount of data and then adapts it to various specific domains. Super-model paradigms help reduce computational and data cost and carbon emission, which is critical to AI industry, especially enormous small and medium-sized enterprises. We model the super-model paradigm as a two-stage diffusion process: (1) in the pre-training stage, the model parameter diffuses from random initials and converges to a steady distribution; and (2) in the fine-tuning stage, the model parameter is transported to another steady distribution. Both training stages can be mathematically modeled by the Uhlenbeck-Ornstein process which converges to two Maxwell-Boltzmann distributions, respectively, each of which characterizes the corresponding convergent model. An $\mathcal O(1/\sqrt{N})$ generalization bound is then established via PAC-Bayesian framework. The theory finds that the generalization error of the fine-tuning stage is dominant in domain adaptation. In addition, our theory suggests that the generalization is determined by a new measure that characterizes the domain discrepancy between the source domain and target domain, based on the covariance matrices and the shift of the converged local minimum.


title: SSORN: Self-Supervised Outlier Removal Network for Robust Homography Estimation

abstract: The traditional homography estimation pipeline consists of four main steps: feature detection, feature matching, outlier removal and transformation estimation. Recent deep learning models intend to address the homography estimation problem using a single convolutional network. While these models are trained in an end-to-end fashion to simplify the homography estimation problem, they lack the feature matching step and/or the outlier removal step, which are important steps in the traditional homography estimation pipeline. In this paper, we attempt to build a deep learning model that mimics all four steps in the traditional homography estimation pipeline. In particular, the feature matching step is implemented using the cost volume technique. To remove outliers in the cost volume, we treat this outlier removal problem as a denoising problem and propose a novel self-supervised loss to solve the problem. Extensive experiments on synthetic and real datasets demonstrate that the proposed model outperforms existing deep learning models.


title: Spinor superfluid currents of exciton-polaritons on a split-ring

abstract: Recently, split-ring bosonic condensates of exciton polaritons have been proposed for realisation of qubits. We formulate an analytical model of a polariton condensate in a one-dimensional ring split by a delta-function potential. The persistent current is stopped by the potential defect embedded in a scalar condensate of non-interacting particles, however, it reappears in the presence of an up-critical non-linearity. The nonlinear supercurrents are characterised by fractional orbital momenta while their eigenfunctions may feature grey or dark solitons. The coupling between the spin and the orbital angular momentum of a spinor condensate affects persistent currents crucially. We show that the spin-orbit interaction (SOI) induces the net superfluid current in the condensate with a spatially uniform spin polarisation. We also find solutions where the SOI-induced currents of two spin components of the condensate propagate in opposite directions. The corresponding states of spinor condensates obey a combined mirror reflection and the spin-flip symmetry.


title: Shape-Faithful Graph Drawings

abstract: Shape-based metrics measure how faithfully a drawing D represents the structure of a graph G, using the proximity graph S of D. While some limited graph classes admit proximity drawings (i.e., optimally shape-faithful drawings, where S = G), algorithms for shape-faithful drawings of general graphs have not been investigated. In this paper, we present the first study for shape-faithful drawings of general graphs. First, we conduct extensive comparison experiments for popular graph layouts using the shape-based metrics, and examine the properties of highly shape-faithful drawings. Then, we present ShFR and ShSM, algorithms for shape-faithful drawings based on force-directed and stress-based algorithms, by introducing new proximity forces/stress. Experiments show that ShFR and ShSM obtain significant improvement over FR (Fruchterman-Reingold) and SM (Stress Majorization), on average 12% and 35% respectively, on shape-based metrics.


title: Pulsed Laser Ejection of Single-Crystalline III-V Solar Cells From GaAs Substrates

abstract: Like many optoelectronics, the highest quality III-V solar cells start out as thin single-crystalline multilayers on GaAs substrates. Separating these device layers from their growth substrate enables higher performing devices and wafer reuse, both of which are critical for III-V solar cell viability in a terrestrial market. Here, we remove rigidly-bonded, lattice-matched, 16 mm$^2$ x 3.5 um thick GaAs devices off a GaAs substrate using a 10 ns, unfocused Nd:YAG laser pulse. The pulse is selectively absorbed in a lower-bandgap, lattice-matched, crystalline layer below the device, driving a quasi-two dimensional ablation event that ejects the crystalline multilayer from the substrate. After minutes of selective wet-chemical etching and front contact deposition, our champion 0.1 cm$^2$ device showed a (17.4 +/- 0.5) % power conversion efficiency and an open-circuit voltage of 1.07 V, using AM1.5 direct (1000 W m$^{-2}$) with no anti-reflection coating. We show that the performance is comparable to similar solar cells produced via conventional substrate dissolution processes. We discuss unique process characteristics and opportunities, such as the potential to separate wafer-sized thin film solar cells per laser pulse.


title: A numerical investigation on turbulent convective flow characteristics over periodic grooves of different curvatures

abstract: Heat transfer augmentation is an essential requirement in all heat transfer devices, such as heat exchangers used in biomedical applications, electronic cooling, solar air heaters, nuclear reactor cores, and gas turbine blade cooling etc. Extended surfaces, protrusions, dimples, internal ribs or, grooves are among the few which are incorporated in the last three decades with the goal of heat transfer augmentation for the better performance of the thermal device. However, considering the usefulness, its relative scarcity in literature, and other advantages of grooved surfaces, we have considered this as a method of heat transfer augmentation here. This makes its necessary to investigate the physics due to turbulence and thermal behavior over periodic grooves (or, ribs) is the prime importance of the present paper. In this work, numerical simulations of turbulent forced convection are carried out by introducing curvatures at sharp corners of a periodic grooved channel at the lower wall. A heat source of constant magnitude is supplied in the bottom wall while the upper wall is insulated. Computations were performed using k-epsilon(RNG) model in RANS formulation implemented in finite volume-based solver in the commercial package ANSYS Fluent 19.2. The simulations are performed over varying Reynolds numbers of 6000-36000 where ratio of the height of the channel and breadth of the groove, groove pitch ratio, and depth ratio kept constant as 1, 2, and 0.5 respectively. Assessment of coefficient of heat transfer, frictional losses, and magnitude of heat enhancement are systematically carried out over varying radius of curvatures on grooves. The insertion of curvatures improves the overall heat transfer by a reasonable magnitude of 12% with an overall 5% increment in the magnitude of heat transfer enhancement. Further, the magnitude of heat transfer increases with increase in curvature radius.


title: A microfluidic method for passive trapping of sperms in microstructures

abstract: Sperm motility is a prerequisite for male fertility. Enhancing the concentration of motile sperms in assisted reproductive technologies - for human and animal reproduction - is typically achieved through aggressive methods such as centrifugation. Here we propose a passive technique for the amplification of motile sperm concentration, with no externally imposed forces or flows. The technique is based upon the disparity between probability rates, for motile cells, of entering in and escaping from complex structures. The effectiveness of the technique is demonstrated in microfluidic experiments with microstructured devices, comparing the trapping power in different geometries. In these micro-traps we observe an enhancement of cells concentration close to 10, with a contrast between motile and non-motile increased by a similar factor. Simulations of suitable interacting model sperms in realistic geometries reproduce quantitatively the experimental results, extend the range of observations and highlight the ingredients that are key to optimal trap design.


title: Kinetics of drug release from clay using enhanced sampling methods

abstract: A key step in the development of a new drug is the design of drug-excipient complexes that lead to an optimal drug release kinetics. Computational chemistry, specifically enhanced sampling molecular dynamics methods, can play a key role in this context by minimizing the need for expensive experiments and reducing cost and time. Here, we show that recent advances in enhanced sampling methodologies can be brought to fruition in this area. We demonstrate the potential of these methodologies by simulating the release kinetics of the complex praziquantel-montmorillonite in water. Praziquantel finds promising applications in the treatment of schistosomiasis, but its biopharmaceutical profile needs to be improved and a cheap material like the montmorillonite clay would be a very convenient excipient. We simulate the drug release both from surface and interlayer space and find that the time it takes to the drug to diffuse from the interlayer space to the solution controls the release time.


title: On the boundedness of the type of an almost Gorenstein monomial curve in $\mathbb{A}^5$

abstract: We prove that the Cohen-Macaulay type of an almost Gorenstein monomial curve $\mathcal{C} \subseteq \mathbb{A}^5$ is bounded.


title: Breaking correlation in the inflow parameters of interstellar neutral gas in direct-sampling observations

abstract: We analyze the reasons for the correlation between the temperature, direction, and speed of the interstellar neutral gas inflow into the heliosphere, obtained in analyzes of observations performed by the IBEX-Lo instrument onboard Interstellar Boundary Explorer (IBEX). We point out that this correlation is the combined result of the inability to measure the speed of the atoms that enter the instrument and the restriction of the observations to a short orbital arc around the Sun performed by the instrument during observation. We demonstrate that without the capability to measure the speed, but with the ability to perform observations along longer orbital arcs, or from at least two distant locations on the orbit around the Sun, it is possible to break the parameter correlation. This, however, requires a capability to adjust the boresight of the instrument relative to the spacecraft rotation axis, such as that of the planned IMAP-Lo camera onboard the Interstellar Mapping and Acceleration Probe (IMAP).


title: Role of heterogeneity in dictating tumorigenesis in epithelial tissues

abstract: Biological systems across various length and time scales are noisy, including tissues. Why are biological tissues inherently chaotic? Does heterogeneity play a role in determining the physiology and pathology of tissues? How do physical and biochemical heterogeneity crosstalk to dictate tissue function? In this review, we begin with a brief primer on heterogeneity in biological tissues. Then, we take examples from recent literature indicating functional relevance of biochemical and physical heterogeneity and discuss the impact of heterogeneity on tissue function and pathology. We take specific examples from studies on epithelial tissues to discuss the potential role of inherent tissue heterogeneity in tumorigenesis.


title: XPOL-III: a New-Generation VLSI CMOS ASIC for High-Throughput X-ray Polarimetry

abstract: While the successful launch and operation in space of the Gas Pixel Detectors onboard the PolarLight cubesat and the Imaging X-ray Polarimetry Explorer demonstrate the viability and the technical soundness of this class of detectors for astronomical X-ray polarimetry, it is clear that the current state of the art is not ready to meet the challenges of the next generation of experiments, such as the enhanced X-ray Timing and Polarimetry mission, designed to allow for a significantly larger data throughput. In this paper we describe the design and test of a new custom, self-triggering readout ASIC, dubbed XPOL-III, specifically conceived to address and overcome these limitations. While building upon the overall architecture of the previous generations, the new chip improves over its predecessors in several, different key areas: the sensitivity of the trigger electronics, the flexibility in the definition of the readout window, as well as the maximum speed for the serial event readout. These design improvements, when combined, allow for almost an order of magnitude smaller dead time per event with no measurable degradation of the polarimetric, spectral, imaging or timing capability of the detector, providing a good match for the next generation of X-ray missions.


title: Sim-to-Real Transfer of Robotic Assembly with Visual Inputs Using CycleGAN and Force Control

abstract: Recently, deep reinforcement learning (RL) has shown some impressive successes in robotic manipulation applications. However, training robots in the real world is nontrivial owing to sample efficiency and safety concerns. Sim-to-real transfer is proposed to address the aforementioned concerns but introduces a new issue called the reality gap. In this work, we introduce a sim-to-real learning framework for vision-based assembly tasks and perform training in a simulated environment by employing inputs from a single camera to address the aforementioned issues. We present a domain adaptation method based on cycle-consistent generative adversarial networks (CycleGAN) and a force control transfer approach to bridge the reality gap. We demonstrate that the proposed framework trained in a simulated environment can be successfully transferred to a real peg-in-hole setup.


title: A theoretical review on the single-impurity electron spin resonance on surfaces

abstract: The development of electron spin resonance (ESR) combined with scanning tunneling spectroscopy (STM) is undoubtedly one of the main experimental breakthroughs in surface science of the last decade thanks to joining the extraordinarily high energy resolution of ESR (nano-eV scale) with the single-atom spatial resolution of STM (sub-\AA ngstr\"om scale). While the experimental results have \fer{significantly} grown with the number of groups that have succeeded in implementing the technique, the physical mechanism behind it is still unclear, with several different mechanisms proposed to explain it. Here, we start by revising the main characteristics of the experimental setups and observed features. Then, we review the main theoretical proposals, with both their strengths and weaknesses. One of our conclusions is that many of the proposed mechanisms share the same basic principles, \fer{the time-dependent electric field at the STM junction is modulating the coupling of the spin-polarized transport electrons with the local spin.} This explains why these mechanims are essentially equivalent in a broad picture. We analyze the subtle differences between some of them and how they compare with the different experimental observations.


title: Identifying Dominant Industrial Sectors in Market States of the S&P 500 Financial Data

abstract: Understanding and forecasting changing market conditions in complex economic systems like the financial market is of great importance to various stakeholders such as financial institutions and regulatory agencies. Based on the finding that the dynamics of sector correlation matrices of the S&P 500 stock market can be described by a sequence of distinct states via a clustering algorithm, we try to identify the industrial sectors dominating the correlation structure of each state. For this purpose, we use a method from Explainable Artificial Intelligence (XAI) on daily S&P 500 stock market data from 1992 to 2012 to assign relevance scores to every feature of each data point. To compare the significance of the features for the entire data set we develop an aggregation procedure and apply a Bayesian change point analysis to identify the most significant sector correlations. We show that the correlation matrix of each state is dominated only by a few sector correlations. Especially the energy and IT sector are identified as key factors in determining the state of the economy. Additionally we show that a reduced surrogate model, using only the eight sector correlations with the highest XAI-relevance, can replicate 90% of the cluster assignments. In general our findings imply an additional dimension reduction of the dynamics of the financial market.


title: Functional Renormalization Group Approach to Circuit Quantum Electrodynamics

abstract: A nonperturbative approach is developed to analyze superconducting circuits coupled to quantized electromagnetic continuum within the framework of the functional renormalization group. The formalism allows us to determine complete physical pictures of equilibrium properties in the circuit quantum electrodynamics (cQED) architectures with high-impedance waveguides, which have recently become accessible in experiments. We point out that nonperturbative effects can trigger breakdown of the supposedly effective descriptions, such as the spin-boson and boundary sine-Gordon models, and lead to qualitatively new phase diagrams. The origin of the failure of conventional understandings is traced to strong renormalizations of circuit parameters at low-energy scales. Our results indicate that a nonperturbative analysis is essential for a comprehensive understanding of cQED platforms consisting of superconducting circuits and long high-impedance transmission lines.

categories: quant-ph cond-mat.mes-hall cond-mat.stat-mech cond-mat.supr-con hep-th


title: Broadband biphoton generation and polarization splitting in a monolithic AlGaAs chip

abstract: The ability to combine various advanced functionalities on a single chip is a key issue for both classical and quantum photonic-based technologies. On-chip generation and handling of orthogonally polarized photon pairs, one of the most used resource in quantum information protocols, is a central challenge for the development of scalable quantum photonics circuits; in particular, the management of spectrally broadband biphoton states, an asset attracting a growing attention for its capability to convey large-scale quantum information in a single spatial mode, is missing. Here, we demonstrate a monolithic AlGaAs chip including the generation of broadband orthogonally polarized photon pairs and their polarization splitting; 85% of the pairs are deterministically separated by the chip over a 60 nm bandwidth. The quality of the two-photon interference at the chip output is assessed via a Hong-Ou-Mandel experiment displaying a visibility of 75.5 % over the same bandwidth. These results, obtained at room temperature and telecom wavelength, in a platform combining high second-order nonlinearity, electro-optic effect and direct bandgap, confirm the validity of our approach and represent a significant step towards miniaturized and easy-to-handle photonic devices working in the broadband regime for quantum information processing.


title: On Temporal Isolation Assessment in Virtualized Railway Signaling as a Service Systems

abstract: Railway signaling systems provide numerous critical functions at different safety level, to correctly implement the entire transport ecosystem. Today, we are witnessing the increasing use of the cloud and virtualization technologies in such mixed-criticality systems, with the main goal of reducing costs, improving reliability, while providing orchestration capabilities. Unfortunately, virtualization includes several issues for assessing temporal isolation, which is critical for safety-related standards like EN50128. In this short paper, we envision leveraging the real-time flavor of a general-purpose hypervisor, like Xen, to build the Railway Signaling as a Service (RSaaS) systems of the future. We provide a preliminary background, highlighting the need for a systematic evaluation of the temporal isolation to demonstrate the feasibility of using general-purpose hypervisors in the safety-critical context for certification purposes.


title: The proper motion of stars in dwarf galaxies: distinguishing central density cusps from cores

abstract: We show that measuring the proper motion of ${{\sim 2000}}$ stars within a dwarf galaxy, with an uncertainty of 1 km/s at most, can establish whether the Dark Matter (DM) density profile of the dwarf has a central core or cusp. We derive these limits by building mock star catalogues similar to those expected from future astrometric {\it Theia}-like missions and including celestial coordinates, radial velocity and proper motion of the stars. The density field of the DM halo of the dwarf is sampled from an extended Navarro-Frank-White (eNWF) spherical model, whereas the number density distribution of the stars is a Plummer sphere. The velocity field of the stars is set according to the Jeans equations. A Monte Carlo Markov Chain algorithm applied to a sample of $N\gtrsim 2000$ stars returns unbiased estimates of the eNFW DM parameters within $10\%$ of the true values and with $1\sigma$ relative uncertainties $\lesssim 20$\%. The proper motions of the stars lift the degeneracy among the eNFW parameters which appears when the line-of-sight velocities alone are available. {Our analysis demonstrates that, by estimating the log-slope of the mass density profile estimated at the half-light radius, a sample of $N=2000$ stars can distinguish between a core and a cusp at more than $8\sigma$.} Proper motions also return unbiased estimates of the dwarf mass profile with $1\sigma$ uncertainties that decrease, on average, from 2.65 dex to 0.15 dex when the size of the star sample increases from $N=100$ to $N=6000$ stars. The measure of the proper motions can thus strongly constrain the distribution of DM in nearby dwarfs and provides a fundamental contribution to understanding the nature and the properties of DM.


title: Transformers with Learnable Activation Functions

abstract: Activation functions can have a significant impact on reducing the topological complexity of input data and therefore improve the performance of the model. Selecting a suitable activation function is an essential step in neural model design. However, the choice of activation function is seldom discussed or explored in Transformer-based language models. Their activation functions are chosen beforehand and then remain fixed from pre-training to fine-tuning. As a result, the inductive biases they imposed on models cannot be adjusted during this long life cycle. Moreover, subsequently developed models (e.g., RoBERTa, BART, and GPT-3) often follow up prior work (e.g., BERT) to use the same activation function without justification. In this paper, we investigate the effectiveness of using Rational Activation Function (RAF), a learnable activation function, in the Transformer architecture. In contrast to conventional, predefined activation functions, RAFs can adaptively learn optimal activation functions during training according to input data. Our experiments show the RAF-based Transformer (RAFT) achieves a lower validation perplexity than a vanilla BERT with the GELU function. We further evaluate RAFT on downstream tasks in low- and full-data settings. Our results show that RAFT outperforms the counterpart model across the majority of tasks and settings. For instance, RAFT outperforms vanilla BERT on the GLUE benchmark by 5.71 points on average in low-data scenario (where 100 training examples are available) and by 2.05 points on SQuAD in full-data setting. Analysis of the shapes of learned RAFs further unveils that they substantially vary between different layers of the pre-trained model and mostly look very different from conventional activation functions. RAFT opens a new research direction for analyzing and interpreting pre-trained models according to the learned activation functions.


title: The Carnegie-Irvine Galaxy Survey. X. Bulges in Stellar Mass-based Scaling Relations

abstract: We measure optical colors for the bulges of 312 disk galaxies from the Carnegie-Irvine Galaxy Survey and convert their previously available $R$-band structural parameters to stellar mass parameters. We also measure their average stellar mass surface density in the central 1 kpc ($\Sigma_{1}$). Comparing the mass-based Kormendy relation with the original one based on flux, we find that the majority of the classifications into classical and pseudo bulges, as well as their overall statistical properties, remain essentially unchanged. While the bulge type classifications of the Kormendy relation are robust against stellar population effects, the mass-based classification criteria do produce better agreement between bulge structural properties and their stellar populations. Moreover, the mass-based Kormendy relation reveals a population of ultra-dense bulges akin to high-$z$ compact early-type galaxies, which are otherwise hidden in the original Kormendy relation. These bulges are probably relics of spheroids assembled in the early Universe, although for some we cannot rule out some contribution from secular growth. We confirm previous studies that $\Sigma_1$ correlates well with bulge surface densities.


title: G-SemTMO: Tone Mapping with a Trainable Semantic Graph

abstract: A Tone Mapping Operator (TMO) is required to render images with a High Dynamic Range (HDR) on media with limited dynamic capabilities. TMOs compress the dynamic range with the aim of preserving the visually perceptual cues of the scene. Previous literature has established the benefits of TMOs being semantic aware, understanding the content in the scene to preserve the cues better. Expert photographers analyze the semantic and the contextual information of a scene and decide tonal transformations or local luminance adjustments. This process can be considered a manual analogy to tone mapping. In this work, we draw inspiration from an expert photographer's approach and present a Graph-based Semantic-aware Tone Mapping Operator, G-SemTMO. We leverage semantic information as well as the contextual information of the scene in the form of a graph capturing the spatial arrangements of its semantic segments. Using Graph Convolutional Network (GCN), we predict intermediate parameters called Semantic Hints and use these parameters to apply tonal adjustments locally to different semantic segments in the image. In addition, we also introduce LocHDR, a dataset of 781 HDR images tone mapped manually by an expert photo-retoucher with local tonal enhancements. We conduct ablation studies to show that our approach, G-SemTMO\footnote{Code and dataset to be published with the final version of the manuscript}, can learn both global and local tonal transformations from a pair of input linear and manually retouched images by leveraging the semantic graphs and produce better results than both classical and learning based TMOs. We also conduct ablation experiments to validate the advantage of using GCN.


title: Robust Sound-Guided Image Manipulation

abstract: Recent successes suggest that an image can be manipulated by a text prompt, e.g., a landscape scene on a sunny day is manipulated into the same scene on a rainy day driven by a text input "raining". These approaches often utilize a StyleCLIP-based image generator, which leverages multi-modal (text and image) embedding space. However, we observe that such text inputs are often bottlenecked in providing and synthesizing rich semantic cues, e.g., differentiating heavy rain from rain with thunderstorms. To address this issue, we advocate leveraging an additional modality, sound, which has notable advantages in image manipulation as it can convey more diverse semantic cues (vivid emotions or dynamic expressions of the natural world) than texts. In this paper, we propose a novel approach that first extends the image-text joint embedding space with sound and applies a direct latent optimization method to manipulate a given image based on audio input, e.g., the sound of rain. Our extensive experiments show that our sound-guided image manipulation approach produces semantically and visually more plausible manipulation results than the state-of-the-art text and sound-guided image manipulation methods, which are further confirmed by our human evaluations. Our downstream task evaluations also show that our learned image-text-sound joint embedding space effectively encodes sound inputs.


title: Spatially-resolved properties of early-type group-dominant galaxies with MUSE: gas content, ionisation mechanisms and metallicity gradients

abstract: With the goal of a thorough investigation of the ionised gas and its origin in early-type group-dominant galaxies, we present archival MUSE data for 18 galaxies from the Complete Local-Volume Groups Sample (CLoGS). This data allowed us to study the spatially-resolved warm gas properties, including the morphology of the ionised gas, EW(H$\alpha$) and kinematics as well as the gas-phase metallicity (12 + log(O/H)) of these systems. In order to distinguish between different ionisation mechanisms, we used the emission-line ratios [O III]/H$\beta$ and [N II]/H$\alpha$ in the BPT diagrams and EW(H$\alpha$). We find that the ionisation sources in our sample have variable impacts at different radii, central regions are more influenced by low-luminosity AGN, while extended regions of LINER-like emission are ionised by other mechanisms with pAGBs photoionisation likely contributing significantly. We classified our sample into three H$\alpha$+[N II] emission morphology types. We calculate the gas-phase metallicity assuming several methods and ionisation sources. In general, 12 + log(O/H) decreases with radius from the centre for all galaxies, independently of nebular morphology type, indicating a metallicity gradient in the abundance profiles. Interestingly, the more extended filamentary structures and all extranuclear star-forming regions present shallow metallicity gradients. Within the uncertainties these extended structures can be considered chemically homogeneous. We suggest that group-dominant galaxies in our sample likely acquired their cold gas in the past as a consequence of one or more mechanisms, e.g. gas-clouds or satellite mergers/accretion and/or cooling flows that contribute to the growth of the ionised gas structures.


title: Distributed Constraint-Coupled Optimization over Lossy Networks

abstract: This paper considers distributed resource allocation and sum-preserving constrained optimization over lossy networks, where the links are unreliable and subject to packet drops. We define the conditions to ensure convergence under packet drops and link removal by focusing on two main properties of our allocation algorithm: (i) The weight-stochastic condition in typical consensus schemes is reduced to balanced weights, with no need for readjusting the weights to satisfy stochasticity. (ii) The algorithm does not require all-time connectivity but instead uniform connectivity over some non-overlapping finite time intervals. First, we prove that our algorithm provides primal-feasible allocation at every iteration step and converges under the conditions (i)-(ii) and some other mild conditions on the nonlinear iterative dynamics. These nonlinearities address possible practical constraints in real applications due to, for example, saturation or quantization among others. Then, using (i)-(ii) and the notion of bond-percolation theory, we relate the packet drop rate and the network percolation threshold to the (finite) number of iterations ensuring uniform connectivity and, thus, convergence towards the optimum value.


title: Opportunistic search for continuous gravitational waves from compact objects in long-period binaries

abstract: Most all-sky searches for continuous gravitational waves assume the source to be isolated. In this paper, we allow for an unknown companion object in a long-period orbit and opportunistically use previous results from an all-sky search for isolated sources to constrain the continuous gravitational wave amplitude over a large and unexplored range of binary orbital parameters without explicitly performing a dedicated search for binary systems. The resulting limits are significantly more constraining than any existing upper limit for unknown binary systems, albeit the latter apply to different orbital parameter ranges that are computationally much costlier to explore.


title: R\'enyi entropy and negativity for massless complex boson at conformal interfaces and junctions

abstract: We consider the ground state of a theory composed by $M$ species of massless complex bosons in one dimension coupled together via a conformal interface. We compute both the R\'enyi entropy and the negativity of a generic partition of wires, generalizing the approach developed in a recent work for free fermions. These entanglement measures show a logarithmic growth with the system size, and the universal prefactor depends both on the details of the interface and the bipartition. We test our analytical predictions against exact numerical results for the harmonic chain.


title: Fundamental decoherence from quantum spacetime

abstract: We show that quantum properties of spacetime, encoded by noncommutativity at the Planck scale, lead to a generalized time evolution of quantum systems in which pure states can evolve into mixed states. Specifically, a decoherence mechanism is obtained in the form of a Lindblad-like time evolution for the density operator when the action of time translations generator is deformed by the effects of spacetime noncommutativity. The decoherence time for the evolution of a free particle is used to show that the Planck mass is the maximum allowed mass for elementary quantum systems.


title: Learning Optimal Feedback Operators and their Polynomial Approximation

abstract: A learning based method for obtaining feedback laws for nonlinear optimal control problems is proposed. The learning problem is posed such that the open loop value function is its optimal solution. This infinite dimensional, function space, problem, is approximated by a polynomial ansatz and its convergence is analyzed. An $\ell_1$ penalty term is employed, which combined with the proximal point method, allows to find sparse solutions for the learning problem. The approach requires multiple evaluations of the elements of the polynomial basis and of their derivatives. In order to do this efficiently a graph-theoretic algorithm is devised. Several examples underline that the proposed methodology provides a promising approach for mitigating the curse of dimensionality which would be involved in case the optimal feedback law was obtained by solving the Hamilton Jacobi Bellman equation.


title: Prolonged Learning and Hasty Stopping: the Wald Problem with Ambiguity

abstract: This paper studies sequential information acquisition by an ambiguity-averse decision maker (DM), who decides how long to collect information before taking an irreversible action. The agent optimizes against the worst-case belief and updates prior by prior. We show that the consideration of ambiguity gives rise to rich dynamics: compared to the Bayesian DM, the DM here tends to experiment excessively when facing modest uncertainty and, to counteract it, may stop experimenting prematurely when facing high uncertainty. In the latter case, the DM's stopping rule is non-monotonic in beliefs and features randomized stopping.


title: Capturing membrane structure and function in lattice Boltzmann models

abstract: We develop a mesoscopic approach to model the non-equilibrium behavior of membranes at the cellular scale. Relying on lattice Boltzmann methods, we develop a solution procedure to recover the Nernst-Planck equations and Gauss's law. A general closure rule is developed to describe mass transport across the membrane, which is able to account for protein-mediated diffusion based on a coarse-grained representation. We demonstrate that our model is able to recover the Goldman equation from first principles and show that hyper-polarization occurs when membrane charging dynamics are controlled by multiple relaxation timescales. The approach provides a promising way to characterize non-equilibrium behaviors that arise due to the role of membranes in mediating transport based on realistic three-dimensional cell geometries.


title: Catalytic Priors: Using Synthetic Data to Specify Prior Distributions in Bayesian Analysis

abstract: Catalytic prior distributions provide general, easy-to-use, and interpretable specifications of prior distributions for Bayesian analysis. They are particularly beneficial when the observed data are inadequate to stably estimate a complex target model. A catalytic prior distribution is constructed by augmenting the observed data with synthetic data that are sampled from the predictive distribution of a simpler model estimated from the observed data. We illustrate the usefulness of the catalytic prior approach using an example from labor economics. In the example, the resulting Bayesian inference reflects many important aspects of the observed data, and the estimation accuracy and predictive performance of the inference based on the catalytic prior are superior to, or comparable to, that of other commonly used prior distributions. We further explore the connection between the catalytic prior approach and a few popular regularization methods. We expect the catalytic prior approach to be useful in many applications.


title: Towards making the most of NLP-based device mapping optimization for OpenCL kernels

abstract: Nowadays, we are living in an era of extreme device heterogeneity. Despite the high variety of conventional CPU architectures, accelerator devices, such as GPUs and FPGAs, also appear in the foreground exploding the pool of available solutions to execute applications. However, choosing the appropriate device per application needs is an extremely challenging task due to the abstract relationship between hardware and software. Automatic optimization algorithms that are accurate are required to cope with the complexity and variety of current hardware and software. Optimal execution has always relied on time-consuming trial and error approaches. Machine learning (ML) and Natural Language Processing (NLP) has flourished over the last decade with research focusing on deep architectures. In this context, the use of natural language processing techniques to source code in order to conduct autotuning tasks is an emerging field of study. In this paper, we extend the work of Cummins et al., namely Deeptune, that tackles the problem of optimal device selection (CPU or GPU) for accelerated OpenCL kernels. We identify three major limitations of Deeptune and, based on these, we propose four different DNN models that provide enhanced contextual information of source codes. Experimental results show that our proposed methodology surpasses that of Cummins et al. work, providing up to 4\% improvement in prediction accuracy.


title: A Diffusion Model Predicts 3D Shapes from 2D Microscopy Images

abstract: Diffusion models are a special type of generative model, capable of synthesising new data from a learnt distribution. We introduce DISPR, a diffusion-based model for solving the inverse problem of three-dimensional (3D) cell shape prediction from two-dimensional (2D) single cell microscopy images. Using the 2D microscopy image as a prior, DISPR is conditioned to predict realistic 3D shape reconstructions. To showcase the applicability of DISPR as a data augmentation tool in a feature-based single cell classification task, we extract morphological features from the red blood cells grouped into six highly imbalanced classes. Adding features from the DISPR predictions to the three minority classes improved the macro F1 score from $F1_\text{macro} = 55.2 \pm 4.6\%$ to $F1_\text{macro} = 72.2 \pm 4.9\%$. We thus demonstrate that diffusion models can be successfully applied to inverse biomedical problems, and that they learn to reconstruct 3D shapes with realistic morphological features from 2D microscopy images.


title: Small Point-Sets Supporting Graph Stories

abstract: In a graph story the vertices enter a graph one at a time and each vertex persists in the graph for a fixed amount of time $\omega$, called viewing window. At any time, the user can see only the drawing of the graph induced by the vertices in the viewing window and this determines a sequence of drawings. For readability, we require that all the drawings of the sequence are planar. For preserving the user's mental map we require that when a vertex or an edge is drawn, it has the same drawing for its entire life. We study the problem of drawing the entire sequence by mapping the vertices only to $\omega+k$ given points, where $k$ is as small as possible. We show that: $(i)$ The problem does not depend on the specific set of points but only on its size; $(ii)$ the problem is NP-hard and is FPT when parameterized by $\omega+k$; $(iii)$ there are families of graph stories that can be drawn with $k=0$ for any $\omega$, while for $k=0$ and small values of $\omega$ there are families of graph stories that can be drawn and others that cannot; $(iv)$ there are families of graph stories that cannot be drawn for any fixed $k$ and families of graph stories that require at least a certain $k$.


title: Solving the Capsulation Attack against Backdoor-based Deep Neural Network Watermarks by Reversing Triggers

abstract: Backdoor-based watermarking schemes were proposed to protect the intellectual property of artificial intelligence models, especially deep neural networks, under the black-box setting. Compared with ordinary backdoors, backdoor-based watermarks need to digitally incorporate the owner's identity, which fact adds extra requirements to the trigger generation and verification programs. Moreover, these concerns produce additional security risks after the watermarking scheme has been published for as a forensics tool or the owner's evidence has been eavesdropped on. This paper proposes the capsulation attack, an efficient method that can invalidate most established backdoor-based watermarking schemes without sacrificing the pirated model's functionality. By encapsulating the deep neural network with a rule-based or Bayes filter, an adversary can block ownership probing and reject the ownership verification. We propose a metric, CAScore, to measure a backdoor-based watermarking scheme's security against the capsulation attack. This paper also proposes a new backdoor-based deep neural network watermarking scheme that is secure against the capsulation attack by reversing the encoding process and randomizing the exposure of triggers.


title: The Role of Feedback in AoI Optimization Under Limited Transmission Opportunities

abstract: Scheduling updates from remote sensors is a key task for the internet of things (IoT). In this context, the mathematical concept of age of information is often used to capture the freshness of received data. This is, in turn, relevant to optimize the frequency of the exchanges, especially for resource constrained (e.g., energy-limited) sensors. Most investigations on the subject assume that the transmitter can leverage knowledge of the age of information at the receiver side to decide when to send data, even when the communication channel is unreliable. In reality, tracking the outcome of the updates would require additional consumption of resources to acquire a feedback. We investigate the optimal schedule of updates over a finite time horizon for a resource-constrained sensor that is allowed to perform a limited number of updates, as typical of IoT devices. We discuss the role of the feedback from the receiver, and whether it is convenient to ask for it whenever this causes additional energy consumption and consequently allows the transmission of a lower number of updates. We analytically identify regions for the feedback cost and the reliability of the channel where making use of feedback may or may not be beneficial.


title: On the Fixed-Parameter Tractability of Capacitated Clustering

abstract: We study the complexity of the classic capacitated k-median and k-means problems parameterized by the number of centers, k. These problems are notoriously difficult since the best known approximation bound for high dimensional Euclidean space and general metric space is $\Theta(\log k)$ and it remains a major open problem whether a constant factor exists. We show that there exists a $(3+\epsilon)$-approximation algorithm for the capacitated k-median and a $(9+\epsilon)$-approximation algorithm for the capacitated k-means problem in general metric spaces whose running times are $f(\epsilon,k) n^{O(1)}$. For Euclidean inputs of arbitrary dimension, we give a $(1+\epsilon)$-approximation algorithm for both problems with a similar running time. This is a significant improvement over the $(7+\epsilon)$-approximation of Adamczyk et al. for k-median in general metric spaces and the $(69+\epsilon)$-approximation of Xu et al. for Euclidean k-means.


title: The BioExcel methodology for developing dynamic, scalable, reliable and portable computational biomolecular workflows

abstract: Developing complex biomolecular workflows is not always straightforward. It requires tedious developments to enable the interoperability between the different biomolecular simulation and analysis tools. Moreover, the need to execute the pipelines on distributed systems increases the complexity of these developments. To address these issues, we propose a methodology to simplify the implementation of these workflows on HPC infrastructures. It combines a library, the BioExcel Building Blocks (BioBBs), that allows scientists to implement biomolecular pipelines as Python scripts, and the PyCOMPSs programming framework which allows to easily convert Python scripts into task-based parallel workflows executed in distributed computing systems such as HPC clusters, clouds, containerized platforms, etc. Using this methodology, we have implemented a set of computational molecular workflows and we have performed several experiments to validate its portability, scalability, reliability and malleability.


title: Global solution to the 3D Dirac--Klein-Gordon system with uniform energy bounds

abstract: On the (1+3) dimensional Minkowski spacetime, for small, regular initial data, it is well-known that the Dirac-Klein-Gordon system admits a global solution. In the present paper, we aim to establish the uniform boundedness of the total energy of the solution for this system. The proof relies on Klainerman's vector field and Alinhac's ghost weight methods. The main difficulty originates from the slow decay nature of the Dirac and wave components in three space dimensions. To overcome the difficulty, a sharp understanding of the structure for this system, and a new weighted conformal energy estimate are required. In addition, we also provide a few scattering results for the system.


title: On Sparse Hitting Sets: from Fair Vertex Cover to Highway Dimension

abstract: We consider the Sparse Hitting Set (Sparse-HS) problem, where we are given a set system $(V,\mathcal{F},\mathcal{B})$ with two families $\mathcal{F},\mathcal{B}$ of subsets of $V$. The task is to find a hitting set for $\mathcal{F}$ that minimizes the maximum number of elements in any of the sets of $\mathcal{B}$. Our focus is on determining the complexity of some special cases of Sparse-HS with respect to the sparseness $k$, which is the optimum number of hitting set elements in any set of $\mathcal{B}$. For the Sparse Vertex Cover (Sparse-VC) problem, $V$ is given by the vertex set of a graph, and $\mathcal{F}$ is its edge set. We prove NP-hardness for sparseness $k\geq 2$ and polynomial time solvability for $k=1$. We also provide a polynomial-time $2$-approximation for any $k$. A special case of Sparse-VC is Fair Vertex Cover (Fair-VC), where the family $\mathcal{B}$ is given by vertex neighbourhoods. For this problem we prove NP-hardness for constant $k$ and provide a polynomial-time $(2-\frac{1}{k})$-approximation. This is better than any approximation possible for Sparse-VC or Vertex Cover (under UGC). We then consider two problems derived from Sparse-HS related to the highway dimension, a graph parameter modelling transportation networks. Most algorithms for graphs of low highway dimension compute solutions to the $r$-Shortest Path Cover ($r$-SPC) problem, where $r>0$, $\mathcal{F}$ contains all shortest paths of length between $r$ and $2r$, and $\mathcal{B}$ contains all balls of radius $2r$. There is an XP algorithm that computes solutions to $r$-SPC of sparseness at most $h$ if the input graph has highway dimension $h$, but the existence if an FPT algorithm was open. We prove that $r$-SPC and also the related $r$-Highway Dimension ($r$-HD) problem are both W[1]-hard. Furthermore, we prove that $r$-SPC admits a polynomial-time $O(\log n)$-approximation.


title: Deep Generative Modeling on Limited Data with Regularization by Nontransferable Pre-trained Models

abstract: Deep generative models (DGMs) are data-eager because learning a complex model on limited data suffers from a large variance and easily overfits. Inspired by the classical perspective of the bias-variance tradeoff, we propose regularized deep generative model (Reg-DGM), which leverages a nontransferable pre-trained model to reduce the variance of generative modeling with limited data. Formally, Reg-DGM optimizes a weighted sum of a certain divergence and the expectation of an energy function, where the divergence is between the data and the model distributions, and the energy function is defined by the pre-trained model w.r.t. the model distribution. We analyze a simple yet representative Gaussian-fitting case to demonstrate how the weighting hyperparameter trades off the bias and the variance. Theoretically, we characterize the existence and the uniqueness of the global minimum of Reg-DGM in a non-parametric setting and prove its convergence with neural networks trained by gradient-based methods. Empirically, with various pre-trained feature extractors and a data-dependent energy function, Reg-DGM consistently improves the generation performance of strong DGMs with limited data and achieves competitive results to the state-of-the-art methods. Our implementation is available at https://github.com/ML-GSAI/Reg-ADA-APA.


title: Dark off-limb gap: manifestation of temperature minimum and dynamic nature of the chromosphere

abstract: We study off-limb emission of the lower solar atmosphere using high-resolution imaging spectroscopy in the H$\beta$ and Ca II 8542 \r{A} lines obtained with the CHROMospheric Imaging Spectrometer (CHROMIS) and the CRisp Imaging SpectroPolarimeter (CRISP) on the Swedish 1-m Solar Telescope. The H$\beta$ line wing images show the dark intensity gap between the photospheric limb and chromosphere which is absent in the Ca II images. We calculate synthetic spectra of the off-limb emissions with the RH code in the one-dimension spherical geometry and find good agreement with the observations. The analysis of synthetic line profiles shows that the gap in the H$\beta$ line wing images maps the temperature minimum region between the photosphere and chromosphere due to the well known opacity and emissivity gap of Balmer lines in this layer. However, observed gap is detected farther from the line core in the outer line wing positions than in the synthetic profiles. We found that an increased microturbulence in the model chromosphere is needed to reproduce the dark gap in the outer line wing, suggesting that observed H$\beta$ gap is the manifestation of the temperature minimum and the dynamic nature of the solar chromosphere. The temperature minimum produces a small enhancement in synthetic Ca II line-wing intensities. Observed off-limb Ca II line-wing emissions show similar enhancement below temperature minimum layer near the edge of the photospheric limb.


title: Vector Perturbation Channel Inversion for SWIPT MU-MISO Systems

abstract: This letter investigates the employment of vector-perturbation (VP) precoding to convey simultaneously information and energy in multiple-user multiple-input single-output (MU-MISO) downlink channel. We show that the conventional VP in addition to the information capacity benefits that provides to linear channel inversion techniques, it enhances the harvested energy at the receivers due to the extended symbol constellation. To further boost harvesting performance, the proposed modified VP technique (named VP-EH) designs the VP integer offsets in order to maximize the delivered power. The proposed scheme incorporates an integer least square problem to find the closest lattice point to a point which is given by a Rayleigh quotient optimization problem. Finally, a convex combination between conventional VP and VP-EH is proposed to achieve a trade-off between maximizing information or energy. Theoretical and simulations results validate that VP is a promising technique to simultaneously convey information and energy in MU-MISO systems.


title: The Geometry of the solution space of first order Hamiltonian field theories I: from particle dynamics to free Electrodynamics

abstract: We analyse the problem of defining a Poisson bracket structure on the space of solutions of the equations of motions of first order Hamiltonian field theories. The cases of Hamiltonian mechanical point systems (as a (0 + 1)-dimensional field) and more general field theories without gauge symmetries are addressed by showing the existence of a symplectic (and, thus, a Poisson) structure on the space of solutions. Also the easiest case of gauge theory, namely free electrodynamics, is considered: within this problem, a pre-symplectic tensor on the space of solutions is introduced, and a Poisson structure is induced in terms of a flat connection on a suitable bundle associated to the theory.


title: On the Trade-Off between Actionable Explanations and the Right to be Forgotten

abstract: As machine learning (ML) models are increasingly being deployed in high-stakes applications, policymakers have suggested tighter data protection regulations (e.g., GDPR, CCPA). One key principle is the "right to be forgotten" which gives users the right to have their data deleted. Another key principle is the right to an actionable explanation, also known as algorithmic recourse, allowing users to reverse unfavorable decisions. To date, it is unknown whether these two principles can be operationalized simultaneously. Therefore, we introduce and study the problem of recourse invalidation in the context of data deletion requests. More specifically, we theoretically and empirically analyze the behavior of popular state-of-the-art algorithms and demonstrate that the recourses generated by these algorithms are likely to be invalidated if a small number of data deletion requests (e.g., 1 or 2) warrant updates of the predictive model. For the setting of differentiable models, we suggest a framework to identify a minimal subset of critical training points which, when removed, maximize the fraction of invalidated recourses. Using our framework, we empirically show that the removal of as little as 2 data instances from the training set can invalidate up to 95 percent of all recourses output by popular state-of-the-art algorithms. Thus, our work raises fundamental questions about the compatibility of "the right to an actionable explanation" in the context of the "right to be forgotten", while also providing constructive insights on the determining factors of recourse robustness.


title: Revealing Double White Dwarf Mergers with Multi-messenger Signals

abstract: A significant number of double white dwarfs (DWDs) are believed to merge within the Hubble time due to the gravitational wave (GW) emission during their inspiraling phase. The outcome of a DWD system is either a type Ia Supernova as the double-degenerate model, or a massive, long-lasting merger remnant. Expected multi-messenger signals of these events will help us to distinguish detailed merging physical processes. In this work, we aim to provide a generic scenario of DWD merging, investigate the emission of all major messengers, with a focus on GWs and neutrinos. Our goal is to provide some guidance for current and future (collaborative) efforts of multi-messenger observations. Throughout the merging evolution of a DWD system, different messengers (GW, neutrino and electromagnetic wave) will dominate at different times. In this work, we show that DWD merger events located at the distance of 1 kpc can indeed produce detectable signals of GWs and neutrinos. The GW frequency are in 0.3-0.6 Hz band around 10 days before tidal disruption begin. We estimate that in optimistic situations, the neutrino number detected by upcoming detectors such as JUNO and Hyper-Kamiokande can reach O(1) for a DWD merging event at $\sim$ 1 kpc.


title: Large-scale Multi-granular Concept Extraction Based on Machine Reading Comprehension

abstract: The concepts in knowledge graphs (KGs) enable machines to understand natural language, and thus play an indispensable role in many applications. However, existing KGs have the poor coverage of concepts, especially fine-grained concepts. In order to supply existing KGs with more fine-grained and new concepts, we propose a novel concept extraction framework, namely MRC-CE, to extract large-scale multi-granular concepts from the descriptive texts of entities. Specifically, MRC-CE is built with a machine reading comprehension model based on BERT, which can extract more fine-grained concepts with a pointer network. Furthermore, a random forest and rule-based pruning are also adopted to enhance MRC-CE's precision and recall simultaneously. Our experiments evaluated upon multilingual KGs, i.e., English Probase and Chinese CN-DBpedia, justify MRC-CE's superiority over the state-of-the-art extraction models in KG completion. Particularly, after running MRC-CE for each entity in CN-DBpedia, more than 7,053,900 new concepts (instanceOf relations) are supplied into the KG. The code and datasets have been released at https://github.com/fcihraeipnusnacwh/MRC-CE


title: A General Model for Pointing Error of High Frequency Directional Antennas

abstract: This paper focuses on providing an analytical framework for the quantification and evaluation of the pointing error for a general case at high-frequency millimeter wave (mmWave) and terahertz (THz) communication links. For this aim, we first derive the the probability density function (PDF) and cumulative distribution functions (CDF) of the pointing error between an unstable transmitter (Tx) and receiver (Rx), that have different antenna patterns and for which the vibrations are not similar in the Yaw and Pitch directions. The special case where the Tx and Rx are both equipped with uniform linear array antenna is also investigated. In addition, using $\alpha-\mu$ distribution, which is a valid model for small-scale fading of mmWave/THz links, the end-to-end PDF and CDF of the considered channel is derived for all the considered cases. Finally, by employing Monte-Carlo simulations, the accuracy of the analytical expressions is verified and the performance of the system is studied.


title: Airway measurement by refinement of synthetic images improves mortality prediction in idiopathic pulmonary fibrosis

abstract: Several chronic lung diseases, like idiopathic pulmonary fibrosis (IPF) are characterised by abnormal dilatation of the airways. Quantification of airway features on computed tomography (CT) can help characterise disease progression. Physics based airway measurement algorithms have been developed, but have met with limited success in part due to the sheer diversity of airway morphology seen in clinical practice. Supervised learning methods are also not feasible due to the high cost of obtaining precise airway annotations. We propose synthesising airways by style transfer using perceptual losses to train our model, Airway Transfer Network (ATN). We compare our ATN model with a state-of-the-art GAN-based network (simGAN) using a) qualitative assessment; b) assessment of the ability of ATN and simGAN based CT airway metrics to predict mortality in a population of 113 patients with IPF. ATN was shown to be quicker and easier to train than simGAN. ATN-based airway measurements were also found to be consistently stronger predictors of mortality than simGAN-derived airway metrics on IPF CTs. Airway synthesis by a transformation network that refines synthetic data using perceptual losses is a realistic alternative to GAN-based methods for clinical CT analyses of idiopathic pulmonary fibrosis. Our source code can be found at https://github.com/ashkanpakzad/ATN that is compatible with the existing open-source airway analysis framework, AirQuant.


title: Unit-length Rectangular Drawings of Graphs

abstract: A rectangular drawing of a planar graph $G$ is a planar drawing of $G$ in which vertices are mapped to grid points, edges are mapped to horizontal and vertical straight-line segments, and faces are drawn as rectangles. Sometimes this latter constraint is relaxed for the outer face. In this paper, we study rectangular drawings in which the edges have unit length. We show a complexity dichotomy for the problem of deciding the existence of a unit-length rectangular drawing, depending on whether the outer face must also be drawn as a rectangle or not. Specifically, we prove that the problem is NP-complete for biconnected graphs when the drawing of the outer face is not required to be a rectangle, even if the sought drawing must respect a given planar embedding, whereas it is polynomial-time solvable, both in the fixed and the variable embedding settings, if the outer face is required to be drawn as a rectangle.


title: FAKD: Feature Augmented Knowledge Distillation for Semantic Segmentation

abstract: In this work, we explore data augmentations for knowledge distillation on semantic segmentation. To avoid over-fitting to the noise in the teacher network, a large number of training examples is essential for knowledge distillation. Imagelevel argumentation techniques like flipping, translation or rotation are widely used in previous knowledge distillation framework. Inspired by the recent progress on semantic directions on feature-space, we propose to include augmentations in feature space for efficient distillation. Specifically, given a semantic direction, an infinite number of augmentations can be obtained for the student in the feature space. Furthermore, the analysis shows that those augmentations can be optimized simultaneously by minimizing an upper bound for the losses defined by augmentations. Based on the observation, a new algorithm is developed for knowledge distillation in semantic segmentation. Extensive experiments on four semantic segmentation benchmarks demonstrate that the proposed method can boost the performance of current knowledge distillation methods without any significant overhead. Code is available at: https://github.com/jianlong-yuan/FAKD.


title: Structure and evolution of ultra-massive white dwarfs in general relativity

abstract: We present the first set of constant rest-mass ultra-massive oxygen/neon white dwarf cooling tracks with masses larger than 1.29 Msun which fully take into account the effects of general relativity on their structural and evolutionary properties. We have computed the full evolution sequences of 1.29, 1.31, 1.33, 1.35, and 1.369 Msun white dwarfs with the La Plata stellar evolution code, LPCODE. For this work, the standard equations of stellar structure and evolution have been modified to include the full effects of general relativity. For comparison purposes, the same sequences have been computed but for the Newtonian case. According to our calculations, the evolutionary properties of the most massive white dwarfs are strongly modified by general relativity effects. In particular, the resulting stellar radius is markedly smaller in the general relativistic case, being up to 25% smaller than predicted by the Newtonian treatment for the more massive ones. We find that oxygen/neon white dwarfs more massive than 1.369 Msun become gravitationally unstable with respect to general relativity effects. When core chemical distribution due to phase separation on crystallization is considered, such instability occurs at somewhat lower stellar masses, greater than 1.36 Msun. In addition, cooling times for the most massive white dwarf sequences result in about a factor of two smaller than in the Newtonian case at advanced stages of evolution. Finally, a sample of white dwarfs has been identified as ideal candidates to test these general relativistic effects. We conclude that the general relativity effects should be taken into account for an accurate assessment of the structural and evolutionary properties of the most massive white dwarfs.


title: Correction of Variation due to Non-Hydrostatic Effects The Observed Temperature in Upper-Air Sounding

abstract: There are a lot of oscillatory motions of various kinds in the atmosphere, for example, internal gravity waves (IGW), which have a period less than the time of flight of the radiosonde. Oscillatory motions lead to adiabatic cooling during the shift of air mass upwards from equilibrium or heat when shifting down. The magnitude and sign of the shift from the equilibrium state of a specific volume of air at the time of measurements by radiosonde are unknown. Therefore the displacement of measured (essentially instantaneous) temperature is unknown relative to the equilibrium temperature. These errors in some cases can reach values of 10 degrees or more. The algorithm for correcting of these effects is proposed. The algorithm of correction calculates the shift of the vertical displacement of the radiosonde from the polynomial curve. The correction for temperature is calculated as a product of the dry adiabatic lapse rate and the shift of the radiosonde altitude. The result is subtracted from the measured temperature. The observed height is corrected in dependence of the shift value.


title: Inelastic electron tunneling spectroscopy of a Mn dimer

abstract: A scanning tunneling microscope (STM) can probe the inelastic spin excitations of single magnetic atoms in a surface via spin-flip assisted tunneling. A particular and intriguing case is the Mn dimer case. We show here that the existing theories for inelastic transport spectroscopy do not explain the observed spin transitions when both atoms are equally coupled to the STM tip and the substrate. The hyperfine coupling to the nuclear spins is shown to lead to a finite excitation amplitude, but the physical mechanism leading to the large inelastic signal observed is still unknown. We discuss some other alternatives that break the symmetry of the system and allows for larger excitation probabilities.


title: An orthogonal relation on inverse cyclotomic polynomials

abstract: Let $\Phi_n(X)$ and $\Psi_n(X)=\frac{X^{n}-1}{\Phi_{n}(X)}$ be the $n$-th cyclotomic and inverse cyclotomic polynomials respectively. In this short note, for any pair of divisors $ d_{1} \neq d_{2} $ of $ n $, and integers $l_1$ and $l_2$ such that $ 0 \leq l_{1} \leq \varphi(d_{1})-1 $ and $ 0 \leq l_{2} \leq \varphi(d_{2})-1 $, we show that \[\left \langle X^{l_{1}} \Psi_{d_{1}}(X) (1+X^{d_1}+\dots X^{n-d_1}), X^{l_{2}} \Psi_{d_{2}}(X) (1+X^{d_2}+\dots X^{n-d_2}) \right \rangle =0, \] where $ \langle \cdot, \cdot \rangle $ is the inner product on $\mathbb{Q}[X]$ defined by $ \langle \sum_{k} a_{k}X^{k},\sum_{k} b_{k}X^{k} \rangle =\sum_{k} a_{k}b_{k}$.


title: Large-step neural network for learning the symplectic evolution from partitioned data

abstract: In this study, we focus on learning Hamiltonian systems, which involves predicting the coordinate (q) and momentum (p) variables generated by a symplectic mapping. Based on Chen & Tao (2021), the symplectic mapping is represented by a generating function. To extend the prediction time period, we develop a new learning scheme by splitting the time series (q_i, p_i) into several partitions. We then train a large-step neural network (LSNN) to approximate the generating function between the first partition (i.e. the initial condition) and each one of the remaining partitions. This partition approach makes our LSNN effectively suppress the accumulative error when predicting the system evolution. Then we train the LSNN to learn the motions of the 2:3 resonant Kuiper belt objects for a long time period of 25000 yr. The results show that there are two significant improvements over the neural network constructed in our previous work (Li et al. 2022): (1) the conservation of the Jacobi integral, and (2) the highly accurate predictions of the orbital evolution. Overall, we propose that the designed LSNN has the potential to considerably improve predictions of the long-term evolution of more general Hamiltonian systems.


title: LinkGlide-S: A Wearable Multi-Contact Tactile Display Aimed at Rendering Object Softness at the Palm with Impedance Control in VR and Telemanipulation

abstract: LinkGlide-S is a novel wearable hand-worn tactile display to deliver multi-contact and multi-modal stimuli at the user's palm.} The array of inverted five-bar linkages generates three independent contact points to cover the whole palm area. \textcolor{black} {The independent contact points generate various tactile patterns at the user's hand, providing multi-contact tactile feedback. An impedance control delivers the stiffness of objects according to different parameters. Three experiments were performed to evaluate the perception of patterns, investigate the realistic perception of object interaction in Virtual Reality, and assess the users' softness perception by the impedance control. The experimental results revealed a high recognition rate for the generated patterns. These results confirm that the performance of LinkGlide-S is adequate to detect and manipulate virtual objects with different stiffness. This novel haptic device can potentially achieve a highly immersive VR experience and more interactive applications during telemanipulation.


title: Noise-correlation spectrum for a pair of spin qubits in silicon

abstract: Semiconductor qubits are appealing for building quantum processors as they may be densely integrated due to small footprint. However, a high density raises the issue of noise correlated across different qubits, which is of practical concern for scalability and fault tolerance. Here, we analyse and quantify in detail the degree of noise correlation in a pair of neighbouring silicon spin qubits ~100 nm apart. We evaluate all a-priori independent auto- and cross- power spectral densities of noise as a function of frequency. We reveal strong inter-qubit noise correlation with a correlation strength as large as ~0.7 at ~1 Hz (70% of the maximum in-phase correlation), even in the regime where the spin-spin exchange interaction contributes negligibly. We furthermore find that fluctuations of single-spin precession rates are strongly correlated with exchange noise, giving away their electrical origin. Noise cross-correlations have thus enabled us to pinpoint the most influential noise in the present device among compelling mechanisms including nuclear spins. Our work presents a powerful tool set to assess and identify the noise acting on multiple qubits and highlights the importance of long-range electric noise in densely packed silicon spin qubits.


title: Building the Learning Environment for Sustainable Development: a Co-creation approach

abstract: Education for sustainable development supports the improvement of knowledge, skills, attitudes and behaviors related to global challenges such as climate change, global warming and environmental degradation, among others. It is increasingly taking place through projects based on information and communication technologies. The effectiveness of the actions taken depends not only on the quality of the project activities or the sophistication of the innovative tools used. Social commitment also depends on the beliefs and moral judgements manifested by potential recipients of educational activities on environmental issues. This study aimed to identify the beliefs and moral judgements that may facilitate or hinder the implementation of educational activities based on information and communication technology, shaping pro-environmental attitudes and behavior among city dwellers. Based on the co-creation workshops conducted, five general categories emerged: responsibility, sense of empowerment, local leadership, real eco-approach, and eco-knowledge. The research findings may contribute to the design of educational activities dedicated to shaping the pro-environmental behavior of city dwellers.


title: Value-at-Risk constrained portfolios in incomplete markets: a dynamic programming approach to Heston's model

abstract: We solve an expected utility-maximization problem with a Value-at-risk constraint on the terminal portfolio value in an incomplete financial market due to stochastic volatility. To derive the optimal investment strategy, we use the dynamic programming approach. We demonstrate that the value function in the constrained problem can be represented as the expected modified utility function of a vega-neutral financial derivative on the optimal terminal wealth in the unconstrained utility-maximization problem. Via the same financial derivative, the optimal wealth and the optimal investment strategy in the constrained problem are linked to the optimal wealth and the optimal investment strategy in the unconstrained problem. In numerical studies, we substantiate the impact of risk aversion levels and investment horizons on the optimal investment strategy. We observe a 20% relative difference between the constrained and unconstrained allocations for average parameters in a low-risk-aversion short-horizon setting.


title: Identifying Weight-Variant Latent Causal Models

abstract: The task of causal representation learning aims to uncover latent higher-level causal representations that affect lower-level observations. Identifying true latent causal representations from observed data, while allowing instantaneous causal relations among latent variables, remains a challenge, however. To this end, we start from the analysis of three intrinsic properties in identifying latent space from observations: transitivity, permutation indeterminacy, and scaling indeterminacy. We find that transitivity acts as a key role in impeding the identifiability of latent causal representations. To address the unidentifiable issue due to transitivity, we introduce a novel identifiability condition where the underlying latent causal model satisfies a linear-Gaussian model, in which the causal coefficients and the distribution of Gaussian noise are modulated by an additional observed variable. Under some mild assumptions, we can show that the latent causal representations can be identified up to trivial permutation and scaling. Furthermore, based on this theoretical result, we propose a novel method, termed Structural caUsAl Variational autoEncoder, which directly learns latent causal representations and causal relationships among them, together with the mapping from the latent causal variables to the observed ones. We show that the proposed method learns the true parameters asymptotically. Experimental results on synthetic and real data demonstrate the identifiability and consistency results and the efficacy of the proposed method in learning latent causal representations.


title: Charge stability and charge-state-based spin readout of shallow nitrogen-vacancy centers in diamond

abstract: Spin-based applications of the negatively charged nitrogen-vacancy (NV) center in diamonds require efficient spin readout. One approach is the spin-to-charge conversion (SCC), relying on mapping the spin states onto the neutral (NV$^0$) and negative (NV$^-$) charge states followed by a subsequent charge readout. With high charge-state stability, SCC enables extended measurement times, increasing precision and minimizing noise in the readout compared to the commonly used fluorescence detection. Nano-scale sensing applications, however, require shallow NV centers within a few $\si{\nano \meter}$ distance from the surface where surface related effects might degrade the NV charge state. In this article, we investigate the charge state initialization and stability of single NV centers implanted $\approx \SI{5}{\nano \meter}$ below the surface of a flat diamond plate. We demonstrate the SCC protocol on four shallow NV centers suitable for nano-scale sensing, obtaining a reduced readout noise of 5--6 times the spin-projection noise limit. We investigate the general applicability of SCC for shallow NV centers and observe a correlation between NV charge-state stability and readout noise. Coating the diamond with glycerol improves both charge initialization and stability. Our results reveal the influence of the surface-related charge environment on the NV charge properties and motivate further investigations to functionalize the diamond surface with glycerol or other materials for charge-state stabilization and efficient spin-state readout of shallow NV centers suitable for nano-scale sensing.


title: The Geometry of the solution space of first order Hamiltonian field theories II: non-Abelian gauge theories

abstract: We go on with the program started in the companion paper [CDI+] of defining a Poisson bracket structure on the space of solutions of the equations of motion of first order Hamiltonian field theories. The case of non-Abelian gauge theories is addressed by using a suitable version of the coisotropic embedding theorem.


title: The GW-Universe Toolbox III: simulating joint observations of gravitational waves and gamma-ray bursts

abstract: In the current multi-messenger astronomy era, it is important that information about joint gravitational wave (GW) and electromagnetic (EM) observations through short gamma-ray burst (sGRBs) remains easily accessible. The possibility for non-experts to execute quick computations of joint GW-sGRB detections should be facilitated. We construct a sGRB model and add this to the framework of the previously-built Gravitational Wave Universe Toolbox. We provide expected joint GW-sGRB detection rates for different combinations of GW detectors and high-energy (HE) instruments. We employ and adapt a generic GRB model to create a top-hat jet model suitable for the Toolbox. We simulate a population of binary neutron stars (BNSs) observed by a user-specified GW detector. Our model predicts the properties of a resulting sGRB, as well as its detectability. We report predicted joint detection rates for combinations of GW detectors with HE instruments. Our findings stress the significance of the impact of the Einstein Telescope (ET); ET will observe BNSs at such a rate that the vast majority of detected sGRBs will have an observed GW counterpart. Additionally, given the limited LIGO horizon, a search for sub-threshold GW signals at higher redshifts using sGRB information from HE detectors has the potential to be very successful. Equivalently, during the ET era, GW data can assist in finding sub-threshold sGRBs, potentially increasing e.g. the number of joint ET-Fermi/GBM observations by $\sim$270%. Lastly, we find that our top-hat jet model underestimates the number of joint detections that include an off-axis sGRB. We correct for this with a second, wider and weaker jet component. We find that the majority of joint detections during the current era will include an off-axis sGRB, making GRB170817A not as unlikely as one would think. In the ET era, most joint detections will contain an on-axis sGRB.


title: Implicit and semi-implicit well-balanced finite-volume methods for systems of balance laws

abstract: The aim of this work is to design implicit and semi-implicit high-order well-balanced finite-volume numerical methods for 1D systems of balance laws. The strategy introduced by two of the authors in a previous paper for explicit schemes based on the application of a well-balanced reconstruction operator has been applied. The well-balanced property is preserved when quadrature formulas are used to approximate the averages and the integral of the source term in the cells. Concerning the time evolution, this technique is combined with a time discretization method of type RK-IMEX or RK-implicit. The methodology will be applied to several systems of balance laws.


title: {\AE}r{\o}: A Platform Architecture for Mixed-Criticality Airborne Systems

abstract: Real-time embedded platforms with resource constraints can take the benefits of mixed-criticality system where applications with different criticality-level share computational resources, with isolation in the temporal and spatial domain. A conventional software-based isolation mechanism adds additional overhead and requires certification with the highest level of criticality present in the system, which is often an expensive process. In this article, we present a different approach where the required isolation is established at the hardware-level by featuring partitions within the processor. A four-stage pipelined soft-processor with replicated resources in the data-path is introduced to establish isolation and avert interference between the partitions. A cycle-accurate scheduling mechanism is implemented in the hardware for hard-real-time partition scheduling that can accommodate different periodicity and execution time for each partition as per user needs, while preserving time-predictability at the individual application level. Applications running within a partition has no sense of the virtualization and can execute either on a host-software or directly on the hardware. The proposed architecture is implemented on FPGA thread and demonstrated with an avionics use case.