title: Asymptotic Security using Bayesian Defense Mechanism with Application to Cyber Deception

abstract: This paper addresses the question whether model knowledge can guide a defender to appropriate decisions, or not, when an attacker intrudes into control systems. The model-based defense scheme considered in this study, namely Bayesian defense mechanism, chooses reasonable reactions through observation of the system's behavior using models of the system's stochastic dynamics, the vulnerability to be exploited, and the attacker's objective. On the other hand, rational attackers take deceptive strategies for misleading the defender into making inappropriate decisions. In this paper, their dynamic decision making is formulated as a stochastic signaling game. It is shown that the belief of the true scenario has a limit in a stochastic sense at an equilibrium based on martingale analysis. This fact implies that there are only two possible cases: the defender asymptotically detects the attack with a firm belief, or the attacker takes actions such that the system's behavior becomes nominal after a finite time step. Consequently, if different scenarios result in different stochastic behaviors, the Bayesian defense mechanism guarantees the system to be secure in an asymptotic manner provided that effective countermeasures are implemented. As an application of the finding, a defensive deception utilizing asymmetric recognition of vulnerabilities exploited by the attacker is analyzed. It is shown that the attacker possibly stops the attack even if the defender is unaware of the exploited vulnerabilities as long as the defender's unawareness is concealed by the defensive deception.


title: Degrees of Freedom Analysis of Mechanisms using the New Zebra Crossing Method

abstract: Mobility, which is a basic property for a mechanism has to be analyzed to find the degrees of freedom. A quick method for calculation of degrees of freedom in a mechanism is proposed in this work. The mechanism is represented in a way that resembles a zebra crossing. An algorithm is proposed which is used to determine the mobility from the zebra crossing diagram. This algorithm takes into account the number of patches between the black patches, the number of joints attached to the fixed link and the number of loops in the mechanism. A number of cases have been discussed which fail to give the desired results using the widely used classical Kutzbach-Grubler formula.


title: Highly coordinated nationwide massive travel restrictions are central to effective mitigation and control of COVID-19 outbreaks in China

abstract: The COVID-19, the disease caused by the novel coronavirus 2019 (SARS-CoV-2), has caused graving woes across the globe since first reported in the epicenter Wuhan, Hubei, China, December 2019. The spread of COVID-19 in China has been successfully curtailed by massive travel restrictions that put more than 900 million people housebound for more than two months since the lockdown of Wuhan on 23 January 2020 when other provinces in China followed suit. Here, we assess the impact of China's massive lockdowns and travel restrictions reflected by the changes in mobility patterns before and during the lockdown period. We quantify the synchrony of mobility patterns across provinces and within provinces. Using these mobility data, we calibrate movement flow between provinces in combination with an epidemiological compartment model to quantify the effectiveness of lockdowns and reductions in disease transmission. Our analysis demonstrates that the onset and phase of local community transmission in other provinces depends on the cumulative population outflow received from the epicenter Hubei. As such, infections can propagate further into other interconnected places both near and far, thereby necessitating synchronous lockdowns. Moreover, our data-driven modeling analysis shows that lockdowns and consequently reduced mobility lag a certain time to elicit an actual impact on slowing down the spreading and ultimately putting the epidemic under check. In spite of the vastly heterogeneous demographics and epidemiological characteristics across China, mobility data shows that massive travel restrictions have been applied consistently via a top-down approach along with high levels of compliance from the bottom up.


title: GenLabel: Mixup Relabeling using Generative Models

abstract: Mixup is a data augmentation method that generates new data points by mixing a pair of input data. While mixup generally improves the prediction performance, it sometimes degrades the performance. In this paper, we first identify the main causes of this phenomenon by theoretically and empirically analyzing the mixup algorithm. To resolve this, we propose GenLabel, a simple yet effective relabeling algorithm designed for mixup. In particular, GenLabel helps the mixup algorithm correctly label mixup samples by learning the class-conditional data distribution using generative models. Via extensive theoretical and empirical analysis, we show that mixup, when used together with GenLabel, can effectively resolve the aforementioned phenomenon, improving the generalization performance and the adversarial robustness.


title: Projective Embedding of Dynamical Systems: uniform mean field equations

abstract: We study embeddings of continuous dynamical systems in larger dimensions via projector operators. We call this technique PEDS, projective embedding of dynamical systems, as the stable fixed point of the dynamics are recovered via projection from the higher dimensional space. In this paper we provide a general definition and prove that for a particular type of projector operator of rank-1, the uniform mean field projector, the equations of motion become a mean field approximation of the dynamical system. While in general the embedding depends on a specified variable ordering, the same is not true for the uniform mean field projector. In addition, we prove that the original stable fixed points remain stable fixed points of the dynamics, saddle points remain saddle, but unstable fixed points become saddles.

categories: math.DS cond-mat.dis-nn cond-mat.mes-hall cs.NE math-ph math.MP


title: Cross-Modality Deep Feature Learning for Brain Tumor Segmentation

abstract: Recent advances in machine learning and prevalence of digital medical images have opened up an opportunity to address the challenging brain tumor segmentation (BTS) task by using deep convolutional neural networks. However, different from the RGB image data that are very widespread, the medical image data used in brain tumor segmentation are relatively scarce in terms of the data scale but contain the richer information in terms of the modality property. To this end, this paper proposes a novel cross-modality deep feature learning framework to segment brain tumors from the multi-modality MRI data. The core idea is to mine rich patterns across the multi-modality data to make up for the insufficient data scale. The proposed cross-modality deep feature learning framework consists of two learning processes: the cross-modality feature transition (CMFT) process and the cross-modality feature fusion (CMFF) process, which aims at learning rich feature representations by transiting knowledge across different modality data and fusing knowledge from different modality data, respectively. Comprehensive experiments are conducted on the BraTS benchmarks, which show that the proposed cross-modality deep feature learning framework can effectively improve the brain tumor segmentation performance when compared with the baseline methods and state-of-the-art methods.


title: Ghost instability in the teleparallel gravity model with parity violations

abstract: In this paper we consider the parity violating gravity model within the framework of teleparallel gravity. The parity violations are caused by the couplings of a scalar field to the scalar invariants which are parity-odd and quadratic in the torsion tensor. Totally there are two such type independent invariants, and one of them is the Nieh-Yan density. Through investigations on the cosmological perturbations of this model, we find that in general it suffers from the difficulties of ghost instability in the scalar and vector perturbations. But in the special case only the coupling to the Nieh-Yan density exists, this model is ghost free and reduces to the Nieh-Yan modified Teleparallel Gravity model. We also analyze the severity of the ghost instability by studying the perturbations around the Minkowski background.


title: Towards Trustworthy DeFi Oracles: Past,Present and Future

abstract: With the rapid development of blockchain technology in recent years, all kinds of blockchain-based applications have emerged. Among them, the decentralized finance (DeFi) is one of the most successful applications, which is regarded as the future of finance. The great success of DeFi relies on the real-world data which is not directly available on the blockchain. Besides, due to the deterministic nature of blockchain,the blockchain cannot directly obtain in-deterministic data from the outside world (off-chain). Thus, oracles have appeared as a viable solution to feed off-chain data to blockchain applications. In this paper, we carryout a comprehensive study on oracles, especially on DeFi oracles. We first briefly introduce the application scenarios of DeFi oracles, and then we talk about the past of DeFi oracles by categorizing them into several types based on their design features. After that, we introduce five popular DeFi oracles currently in use(such as Chainlink and Band Protocol), with the focus on their system architecture, data validation process,and their incentive mechanisms. We compare these present DeFi oracles from their data trustworthiness,data source trustworthiness and their overall trust models. Finally, we propose a set of metrics for designing trustworthiness DeFi oracles, and propose a potential trust architecture and a few promising techniques for building trustworthiness oracles.


title: General rogue wave solutions to the discrete nonlinear Schr\"odinger equation

abstract: In the present paper, we attempt to construct both the general rogue wave solutions to the fully discrete nonlinear Schr\"odinger (fd-NLS) equation via the KP-Toda reduction method. First, we deduce the general breather solution of the fd-NLS equation starting from a pair of bilinear equations. We then derive the general rogue wave solution by taking a limit to the breather solution.


title: Nevanlinna theory via holomorphic forms

abstract: This paper re-develops the Nevanlinna theory for meromorphic functions on $\mathbb C$ in the viewpoint of holomorphic forms. According to our observation, Nevanlinna's functions can be formulated by a holomorphic form. Applying this thought to Riemann surfaces, one then extends the definition of Nevanlinna's functions using a holomorphic form $\mathscr S$. With the new settings, an analogue of Nevanlinna theory on \emph{weak $\mathscr S$-exhausted Riemann surfaces} is obtained, which is viewed as a generalization of the classical Nevanlinna theory on $\mathbb C$ and $\mathbb D.$


title: On M-O.Ore determinants

abstract: The existence of certain Fq-spaces of differential forms of the projective line over a field K containing Fq leads us to prove an identity linking the determinant of the Moore matrix of n indeterminates with the determinant of the Moore matrix of the cofactors of its first row. These same spaces give an interpretation of Elkies pairing in terms of residues of differential forms. This pairing puts in duality the Fq-vector space of the roots of a Fq-linear polynomial and that of the roots of its reversed polynomial.


title: Strongly interacting trapped one-dimensional quantum gases: an exact solution

abstract: Quantum correlations can be used as a resource for quantum computing, eg for quantum state manipulation, and for quantum sensing, eg for creating non-classical states which allow to achieve the quantum advantage regime. This review collects the predictions coming from a family of exact solutions which allows to describe the many-body wavefunction of strongly correlated quantum fluids confined by a tight waveguide and subjected to any form of longitudinal confinement. It directly describes the experiments with trapped ultracold atoms where the strongly correlated regime in one dimension has been achieved. The exact solution applies to bosons, fermions and mixtures. It allows to obtain experimental observables such as the density profiles and momentum distribution at all momentum scales, beyond the Luttinger liquid approach. It also predicts the exact quantum dynamics at all the times, including the small oscillations regime yielding the collective modes of the system and the large quench regime where the system parameters are changed considerably. The solution can be extended to describe finite-temperature conditions, spin and magnetization effects. The review illustrates the idea of the solution, presents the key theoretical achievements and the main experiments on strongly correlated one-dimensional quantum gases.


title: Concentration phenomena in Fitzhugh-Nagumo's equations: A mesoscopic approach

abstract: We consider a spatially extended mesoscopic FitzHugh-Nagumo model with strong local interactions and prove that its asymptotic limit converges towards the classical nonlocal reaction-diffusion FitzHugh-Nagumo system. As the local interactions strongly dominate, the weak solution to the mesoscopic equation under consideration converges to the local equilibrium, which has the form of Dirac distribution concentrated to an averaged membrane potential. Our approach is based on techniques widely developed in kinetic theory (Wasserstein distance, relative entropy method), where macroscopic quantities of the mesoscopic model are compared with the solution to the nonlocal reaction-diffusion system. This approach allows to make the rigorous link between microscopic and reaction-diffusion models.


title: The extent of saturation of induced ideals

abstract: We construct a model with a saturated ideal $I$ over $\mathcal{P}_{\kappa}\lambda$ and study the extent of saturation of $I$.


title: Motion Prediction via Joint Dependency Modeling in Phase Space

abstract: Motion prediction is a classic problem in computer vision, which aims at forecasting future motion given the observed pose sequence. Various deep learning models have been proposed, achieving state-of-the-art performance on motion prediction. However, existing methods typically focus on modeling temporal dynamics in the pose space. Unfortunately, the complicated and high dimensionality nature of human motion brings inherent challenges for dynamic context capturing. Therefore, we move away from the conventional pose based representation and present a novel approach employing a phase space trajectory representation of individual joints. Moreover, current methods tend to only consider the dependencies between physically connected joints. In this paper, we introduce a novel convolutional neural model to effectively leverage explicit prior knowledge of motion anatomy, and simultaneously capture both spatial and temporal information of joint trajectory dynamics. We then propose a global optimization module that learns the implicit relationships between individual joint features. Empirically, our method is evaluated on large-scale 3D human motion benchmark datasets (i.e., Human3.6M, CMU MoCap). These results demonstrate that our method sets the new state-of-the-art on the benchmark datasets. Our code will be available at https://github.com/Pose-Group/TEID.


title: Uncertainty-Aware Cascaded Dilation Filtering for High-Efficiency Deraining

abstract: Deraining is a significant and fundamental computer vision task, aiming to remove the rain streaks and accumulations in an image or video captured under a rainy day. Existing deraining methods usually make heuristic assumptions of the rain model, which compels them to employ complex optimization or iterative refinement for high recovery quality. This, however, leads to time-consuming methods and affects the effectiveness for addressing rain patterns deviated from from the assumptions. In this paper, we propose a simple yet efficient deraining method by formulating deraining as a predictive filtering problem without complex rain model assumptions. Specifically, we identify spatially-variant predictive filtering (SPFilt) that adaptively predicts proper kernels via a deep network to filter different individual pixels. Since the filtering can be implemented via well-accelerated convolution, our method can be significantly efficient. We further propose the EfDeRain+ that contains three main contributions to address residual rain traces, multi-scale, and diverse rain patterns without harming the efficiency. First, we propose the uncertainty-aware cascaded predictive filtering (UC-PFilt) that can identify the difficulties of reconstructing clean pixels via predicted kernels and remove the residual rain traces effectively. Second, we design the weight-sharing multi-scale dilated filtering (WS-MS-DFilt) to handle multi-scale rain streaks without harming the efficiency. Third, to eliminate the gap across diverse rain patterns, we propose a novel data augmentation method (i.e., RainMix) to train our deep models. By combining all contributions with sophisticated analysis on different variants, our final method outperforms baseline methods on four single-image deraining datasets and one video deraining dataset in terms of both recovery quality and speed.


title: Deligne-Beilinson cohomology of the universal K3 surface

abstract: O'Grady's generalized Franchetta conjecture (GFC) is concerned with codimension 2 algebraic cycles on universal polarized K3 surfaces. In \cite{BL17}, this conjecture has been studied in the Betti cohomology groups. Following a suggestion of Voisin, we investigate this problem in the Deligne-Beilinson (DB) cohomology groups. In this paper, we develop the theory of Deligne-Beilinson cohomology groups on separated (smooth) Deligne-Mumford stacks. Using the automorphic cohomology group and Noether-Lefschetz theory, we compute the 4-th DB-cohomology group of universal oriented polarized K3 surfaces with at worst an $A_1$-singularity and show that GFC for such family holds in DB-cohomology. In particular, this confirms O'Grady's original conjecture in DB cohomology.


title: Systematic treatment of hypernuclear data and application to the hypertriton

abstract: A database is under construction to provide a complete collection of published basic properties of hypernuclei such as {\Lambda} binding energies, lifetimes, or excitation energies. From these values, averages with related errors are computed in a systematic way. For each property, the overall experimental situation is depicted in form of an ideogram showing the combined probability density function of the measurements. The database is accessible via a dynamic website at https://hypernuclei.kph.uni-mainz.de with an user interface offering customizable visualizations, selections, or unit conversions. The capabilities of the database are demonstrated for the puzzling and disputed data situation of the hypertriton.


title: Deep Generative Framework for Interactive 3D Terrain Authoring and Manipulation

abstract: Automated generation and (user) authoring of the realistic virtual terrain is most sought for by the multimedia applications like VR models and gaming. The most common representation adopted for terrain is Digital Elevation Model (DEM). Existing terrain authoring and modeling techniques have addressed some of these and can be broadly categorized as: procedural modeling, simulation method, and example-based methods. In this paper, we propose a novel realistic terrain authoring framework powered by a combination of VAE and generative conditional GAN model. Our framework is an example-based method that attempts to overcome the limitations of existing methods by learning a latent space from a real-world terrain dataset. This latent space allows us to generate multiple variants of terrain from a single input as well as interpolate between terrains while keeping the generated terrains close to real-world data distribution. We also developed an interactive tool, that lets the user generate diverse terrains with minimalist inputs. We perform thorough qualitative and quantitative analysis and provide comparisons with other SOTA methods. We intend to release our code/tool to the academic community.


title: Control problem for quadratic parabolic differential equations with sparse sensor sets of finite volume or anisotropically decaying density

abstract: We prove observability and null-controllability for quadratic parabolic differential equations. The sensor set is allowed to be sparse and have finite volume if the generator has trivial singular space $S$. In the case of generators with singular space $S \neq \{0\}$ the sensor set is permitted to decay in directions determined by $S$. The proof is based on dissipation estimates for the quadratic differential operator with respect to spectral projections of partial harmonic oscillators and corresponding uncertainty relations.


title: The Green's function of the Lax-Wendroff and Beam-Warming schemes

abstract: We prove a sharp uniform generalized Gaussian bound for the Green's function of the Lax-Wendroff and Beam-Warming schemes. Our bound highlights the spatial region that leads to the well-known (rather weak) instability of these schemes in the maximum norm. We also recover uniform bounds in the maximum norm when these schemes are applied to initial data of bounded variation.


title: Investigation of the Relationship Between Localization Accuracy and Sensor Array

abstract: The magnetic localization method has been widely studied, which is mainly based on the accurate mapping of the magnetic field generated by magnetic sources. Many factors affect localization accuracy in the experiment. Therefore, this paper tends to study the relationship between localization accuracy and sensor array with different experiments. This system uses a small magnet as the magnetic source, and the mathematical model of the magnetic positioning system is established based on the magnetic dipole model to estimate the magnetic field. The Levenberg-Marquardt algorithm was used to construct a magnetic positioning objective function for comparison experiments. Experimental results show:When the sensor is evenly distributed around the magnet, the positioning accuracy is higher than other layout of the sensor array, the average localization error is 0.47mm and the average orientation error is 0.92 degree.


title: Mirror Learning: A Unifying Framework of Policy Optimisation

abstract: Modern deep reinforcement learning (RL) algorithms are motivated by either the generalised policy iteration (GPI) or trust-region learning (TRL) frameworks. However, algorithms that strictly respect these theoretical frameworks have proven unscalable. Surprisingly, the only known scalable algorithms violate the GPI/TRL assumptions, e.g. due to required regularisation or other heuristics. The current explanation of their empirical success is essentially "by analogy": they are deemed approximate adaptations of theoretically sound methods. Unfortunately, studies have shown that in practice these algorithms differ greatly from their conceptual ancestors. In contrast, in this paper we introduce a novel theoretical framework, named Mirror Learning, which provides theoretical guarantees to a large class of algorithms, including TRPO and PPO. While the latter two exploit the flexibility of our framework, GPI and TRL fit in merely as pathologically restrictive corner cases thereof. This suggests that the empirical performance of state-of-the-art methods is a direct consequence of their theoretical properties, rather than of aforementioned approximate analogies. Mirror learning sets us free to boldly explore novel, theoretically sound RL algorithms, a thus far uncharted wonderland.


title: As-Continuous-As-Possible Extrusion Fabrication of Surface Models

abstract: We propose a novel computational framework for optimizing the toolpath continuity in fabricating surface models on an extrusion-based 3D printer. Toolpath continuity has been a critical issue for extrusion-based fabrications that affects both quality and efficiency. Transfer moves cause non-smoothor bumpy surfaces and get worse for materials with large inertia like clay. For surface models, the effects of continuity are even more severe, in terms of surface quality and model stability. In this paper, we introduce an original criterion "one-path-patch" (OPP), for representing a shell surface patch that can be traversed in one path considering fabrication constraints. We study the properties of an OPP and the merging operations for OPPs, and propose a bottom-up OPP merging procedure for decomposing the given shell surface into a minimal number of OPPs and generating the "as-continuous-as-possible" (ACAP) toolpath. Furthermore, we customize the path planning algorithm with a curved layer printing scheme, which reduces the staircase defect and improves the toolpath continuity via possibly connecting multiple segments. We evaluate the ACAP algorithm for both ceramic and thermoplastic materials, and results demonstrate that it improves the fabrication of surface models in both surface quality and efficiency.


title: Not all nilpotent monoids are finitely related

abstract: A finite semigroup is finitely related (has finite degree) if its term functions are determined by a finite set of finitary relations. For example, it is known that all nilpotent semigroups are finitely related. A nilpotent monoid is a nilpotent semigroup with adjoined identity. We show that every $4$-nilpotent monoid is finitely related. We also give an example of a $5$-nilpotent monoid that is not finitely related. To our knowledge, this is the first example of a finitely related semigroup where adjoining an identity yields a semigroup which is not finitely related. We also provide examples of finitely related semigroups which have subsemigroups, homomorphic images, and in particular Rees quotients, that are not finitely related.


title: Proving some conjectures on Kekul\'{e} numbers for certain benzenoids by using Chebyshev polynomials

abstract: In chemistry, Cyvin-Gutman enumerates Kekul\'{e} numbers for certain benzenoids and record it as $A050446$ on OEIS. This number is exactly the two variable array $T(n,m)$ defined by the recursion $T(n, m) = T(n, m-1) + \sum^{\lfloor\frac{n-1}{2}\rfloor}_{k=0} T(2k, m-1)T(n-1-2k, m)$, where $T(n,0)=T(0,m)=1$ for all nonnegative integers $m,n$. Interestingly, this number also appeared in the context of weighted graphs, graph polytopes, magic labellings, and unit primitive matrices, studied by different authors. Several interesting conjectures were made on the OEIS. These conjectures are related to both the row and column generating function of $T(n,m)$. In this paper, give explicit formula of the column generating function, which is also the generating function $F(n,x)$ studied by B\'{o}na, Ju, and Yoshida. We also get trig function representations by using Chebyshev polynomials of the second kind. This allows us to prove all these conjectures.


title: Energy transfer, discontinuities and heating in the inner solar wind measured with a weak and local formulation of the Politano-Pouquet law

abstract: The solar wind is a highly turbulent plasma for which the mean rate of energy transfer $\varepsilon$ has been measured for a long time using the Politano-Pouquet (PP98) exact law. However, this law assumes statistical homogeneity that can be violated by the presence of discontinuities. Here, we introduce a new method based on the inertial dissipation $\Dis$ whose analytical form is derived from incompressible magnetohydrodynamics (MHD); it can be considered as a weak and {\it local} (in space) formulation of the PP98 law whose expression is recovered after integration is space. We used $\Dis$ to estimate the local energy transfer rate from the \textit{THEMIS-B} and \textit{Parker Solar Probe} (PSP) data taken in the solar wind at different heliospheric distances. Our study reveals that discontinuities near the Sun lead to a strong energy transfer that affects a wide range of scales $\sigma$. We also observe that switchbacks seem to be characterized by a singular behavior with an energy transfer varying as $\sigma^{-3/4}$, which slightly differs from classical discontinuities characterized by a $\sigma^{-1}$ scaling. A comparison between the measurements of $\varepsilon$ and $\Dis$ shows that in general the latter is significantly larger than the former.


title: On the exclusion limits in $t\bar{t}+$DM searches at the LHC

abstract: In these proceedings we discuss the importance of higher-order corrections and off-shell effects for the calculation of signal strength exclusion limits in $t\bar{t}+$DM searches at the Large Hadron Collider. We present limits for the spin-0 s-channel mediator model using state-of-the-art NLO QCD predictions with full off-shell effects for the relevant $t\bar{t}$ and $t\bar{t}Z$ background processes. These are then compared to less sophisticated predictions using either the narrow-width approximation or LO calculations in order to asses the respective effects.


title: The prototype X-ray binary GX 339-4: using TeV gamma-rays to assess LMXBs as Galactic cosmic ray accelerators

abstract: Since the discovery of cosmic rays (CRs) over a century ago, their origin remains an open question. Galactic CRs with energy up to the knee ($10^{15}$ eV) are considered to originate from supernova remnants, but this scenario has recently been questioned due to lack of TeV $\gamma$-ray counterparts in many cases. Extragalactic CRs on the other hand, are thought to be associated with accelerated particles in the relativistic jets launched by supermassive accreting black holes at the center of galaxies. Scaled down versions of such jets have been detected in X-ray binaries hosting a stellar black hole (BHXBs). In this work, we investigate the possibility that the smaller-scale jets in transient outbursts of low-mass BHXBs could be sources of Galactic CRs. To better test this scenario, we model the entire electromagnetic spectrum of such sources focusing on the potential TeV regime, using the `canonical' low-mass BHXB GX 339-4 as a benchmark. Taking into account both the leptonic radiative processes and the $\gamma$-rays produced via neutral pion decay from inelastic hadronic interactions, we predict the GeV and TeV $\gamma$-ray spectrum of GX 339-4 using lower-frequency emission as constraints. Based on this test-case of GX 339-4 we investigate whether other, nearby low-mass BHXBs could be detected by the next-generation very-high-energy $\gamma$-ray facility the Cherenkov Telescope Array, which would establish them as additional and numerous potential sources of CRs in the Galaxy.


title: Diffeomorphisms of discs

abstract: I describe what is currently known, for $d \geq 5$, about the rational homotopy type of the group of diffeomorphisms of the $d$-disc relative to its boundary, and the closely related group of homeomorphisms of $d$-dimensional Euclidean space.


title: Offline Reinforcement Learning for Road Traffic Control

abstract: Traffic signal control is an important problem in urban mobility with a significant potential of economic and environmental impact. While there is a growing interest in Reinforcement Learning (RL) for traffic signal control, the work so far has focussed on learning through simulations which could lead to inaccuracies due to simplifying assumptions. Instead, real experience data on traffic is available and could be exploited at minimal costs. Recent progress in offline or batch RL has enabled just that. Model-based offline RL methods, in particular, have been shown to generalize from the experience data much better than others. We build a model-based learning framework which infers a Markov Decision Process (MDP) from a dataset collected using a cyclic traffic signal control policy that is both commonplace and easy to gather. The MDP is built with pessimistic costs to manage out-of-distribution scenarios using an adaptive shaping of rewards which is shown to provide better regularization compared to the prior related work in addition to being PAC-optimal. Our model is evaluated on a complex signalized roundabout showing that it is possible to build highly performant traffic control policies in a data efficient manner.


title: Malleable patterns from the evaporation of colloidal liquid bridge: coffee ring to the scallop shell

abstract: The present article highlights an approach to generate contrasting patterns from drying droplets in a liquid bridge configuration, different from well-known coffee rings. Reduction of the confinement distance (the gap between the solid surfaces) leads to systematized nano-particle agglomeration yielding to spokes-like patterns similar to those found on scallop shells instead of circumferential edge deposition. Alteration of the confinement length modulates the curvature that entails variations in the evaporation flux across the liquid-vapor interface. Consequently, flow inside different liquid bridges (LBs) varies significantly for different confinement lengths. Small confinement lengths result in the stick-slip motion of squeezed liquid bridges. On the contrary, the stretched LBs exhibit pinned contact lines. We decipher a proposition that a drying liquid thin film present during dewetting near the three-phase contact line is responsible for the aligned deposition of particles. The confinement distance determines the height of this thin film, and its theoretical estimations are validated against the experimental observations using reflection interferometry, further exhibiting good agreement (in order of magnitude). Modulating the particle size does not significantly influence the precipitate patterns; however, particle concentration can substantially affect the deposition patterns. The differences in deposition patterns are attributed to the complex interplay of the gradient of evaporation flux induced motion of contact line in combination with the drying of thin liquid film during dewetting.


title: The regulator dominates the rank

abstract: After noticing that the regulator of a number field dominates the rank of its group of units, we bound from below the regulator of the Mordell-Weil group of elliptic curves over global function fields of characteristic $p\geq5$. The lower bound is an increasing function of the rank and of the height.


title: Asymptotic shape of isolated magnetic domains

abstract: We investigate the energy of an isolated magnetized domain $\Omega \subset \mathbb{R}^n$ for $n=2,3$. In non-dimensionalized variables, the energy given by $$ \mathcal{E}(\Omega) \ = \ \int_{\mathbb{R}^n} |\nabla \chi_{\Omega}| \ dx + \int_{\mathbb{R}^n} |\nabla h_\Omega|^2 \ dx $$ penalizes the interfacial area of the domain as well as the energy of the corresponding magnetostatic field. Here, the magnetostatic potential $h_\Omega$ is determined by $\Delta h_\Omega = \partial_1 \chi_\Omega$, corresponding to uniform magnetization within the domain. We consider the macroscopic regime $|\Omega| \rightarrow \infty$, in which we derive compactness and $\Gamma$-limit which is formulated in terms of the cross-sectional area of the anisotropically rescaled configuration. We then give the solutions for the limit problems.


title: Direct $CP$ violation of three bodies decay process from the resonance effect

abstract: The physical state of $\rho$-$\omega$-$\phi$ mesons can be mixed by the unitary matrix. The decay processes of $\omega \rightarrow \pi^{+}\pi^{-}$ and $\phi \rightarrow \pi^{+}\pi^{-}$ are from the isospin symmetry breaking. The $\rho-\omega$, $\rho-\phi$ and $\omega-\phi$ interferences lead to resonance contribution to produce the strong phases. The $CP$ asymmetry is considered from above isospin symmetry breaking due to the new strong phase for the first order. It has been found the $CP$ asymmetry can be enhanced greatly for the decay process of $B^{0}\rightarrow\pi^+\pi^{-}\eta^{(')}$ when the invariant masses of the $\pi^+\pi^{-}$ pairs are in the area around the $\omega$ resonance range and the $\phi$ resonance range in perturbative QCD. We also discuss the possibility to search the predicted $CP$ violation at the LHC.


title: Exploring neutrinos from proton decays catalyzed by GUT monopoles in the Sun

abstract: We explore the neutrino signals from proton decays catalyzed by GUT monopoles in the Sun. Three typical proton decay modes, $p \rightarrow e^+ + (\rho^0, \eta, \omega...) \rightarrow \pi^+$, $p \rightarrow \mu^+ K^0$ and $p \rightarrow \bar{\nu}_e \pi^+$, have been analyzed for the Super-Kamiokande experiment. The monopole-induced neutrinos arise from interactions and subsequent decays of the proton decay products. To obtain the neutrino energy spectra, we use the Geant4 software to simulate propagations of daughter particles in the highly-dense solar center. It is found that $K^0$ can produce a large amount of 236 MeV monoenergetic $\nu_\mu$ neutrinos through the charge exchange process $K^0 + p \rightarrow K^+ + n$ and the subsequent decay $K^+ \rightarrow \mu^+ \nu_\mu$ at rest. Based on this interesting feature, $p \rightarrow \mu^+ K^0$ can give the best discovery potential among three decay modes for most of the parameter space. In addition, we present the Super-Kamiokande sensitivities to the monopole flux for three proton decay modes.


title: The Defeat of the Winograd Schema Challenge

abstract: The Winograd Schema Challenge - a set of twin sentences involving pronoun reference disambiguation that seem to require the use of commonsense knowledge - was proposed by Hector Levesque in 2011. By 2019, a number of AI systems, based on large pre-trained transformer-based language models and fine-tuned on these kinds of problems, achieved better than 90% accuracy. In this paper, we review the history of the Winograd Schema Challenge and discuss the lasting contributions of the flurry of research that has taken place on the WSC in the last decade. We discuss the significance of various datasets developed for WSC, and the research community's deeper understanding of the role of surrogate tasks in assessing the intelligence of an AI system.


title: The Dynamic Coupling of Streamers and Pseudostreamers to the Heliosphere

abstract: The slow solar wind is generally believed to result from the interaction of open and closed coronal magnetic flux at streamers and pseudostreamers. We use 3-dimensional magnetohydrodynamic simulations to determine the detailed structure and dynamics of open-closed interactions that are driven by photospheric convective flows. The photospheric magnetic field model includes a global dipole giving rise to a streamer together with a large parasitic polarity region giving rise to a pseudostreamer that separates a satellite coronal hole from the main polar hole. Our numerical domain extends out to 30 solar radii and includes an isothermal solar wind, so that the coupling between the corona and heliosphere can be calculated rigorously. This system is driven by imposing a large set of quasi-random surface flows that capture the driving of coronal flux in the vicinity of streamer and pseudostreamer boundaries by the supergranular motions. We describe the resulting structures and dynamics. Interchange reconnection dominates the evolution at both streamer and pseudostreamer boundaries, but the details of the resulting structures are clearly different from one another. Additionally, we calculate in situ signatures of the reconnection and determine the dynamic mapping from the inner heliosphere back to the Sun for a test spacecraft orbit. We discuss the implications of our results for interpreting observations from inner heliospheric missions, such as Parker Solar Probe and Solar Orbiter, and for space weather modeling of the slow solar wind.


title: Hyperparameter Search using Genetic Algorithm for Surrogate Modeling of Geophysical Flows

abstract: The computational models for geophysical flows are computationally very expensive to employ in multi-query tasks such as data assimilation, uncertainty quantification, and hence surrogate models sought to alleviate the computational burden associated with these full order models. Researchers have started applying machine learning algorithms, particularly neural networks, to build data-driven surrogate models for geophysical flows. The performance of the neural network highly relies upon its architecture design and selection of other hyperparameters. These neural networks are usually manually designed through trial and error to maximize their performance. This often requires domain knowledge of the neural network as well as the problems of interest. This limitation can be addressed by using an evolutionary algorithm to automatically design architecture and select optimal hyperparameters of the neural network. In this paper, we apply the genetic algorithm to effectively design the long short-term memory (LSTM) neural network to build the non-intrusive reduced order model of the sea-surface temperature field.


title: Schrodinger equations with very singular potentials in Lipschitz domains

abstract: Consider operators $L^{V}:=\Delta + V$ in a bounded Lipschitz domain $\Omega \subset \mathbb{R}^N$. Assume that $V\in C^{1,1}(\Omega)$ and $V$ satisfies $V(x) \leq \overline{a} \mathrm{dist}(x,\partial\Omega)^{-2}$ in $\Omega$ and a second condition that guarantees the existence of a ground state $\Phi_V$. If, for example, $V>0$ this condition reads $1<c_H(V)$ (= the Hardy constant relative to $V$). We derive estimates of positive $L_V$ harmonic functions and of positive Green potentials of measures $\tau\in {\mathfrak M}_+(\Omega;\Phi_V)$. These imply estimates of positive $L_V$ supersolutions and of $L_V$ subsolutions. Similar results have been obtained in [7] in the case of smooth domains.


title: Methods for Increasing the Resistance of Cryptographic Designs against Horizontal DPA Attacks

abstract: Side-channel analysis attacks, especially horizontal DPA and DEMA attacks, are significant threats for cryptographic designs. In this paper we investigate to which extend different multiplication formulae and randomization of the field multiplier increase the resistance of an ECC design against horizontal attacks. We implemented a randomized sequence of the calculation of partial products for the field multiplication in order to increase the security features of the field multiplier. Additionally, we use the partial polynomial multiplier itself as a kind of countermeasure against DPA attacks. We demonstrate that the implemented classical multiplication formula can increase the inherent resistance of the whole ECC design. We also investigate the impact of the combination of these two approaches. For the evaluation we synthesized all these designs for a 250 nm gate library technologies, and analysed the simulated power traces. All investigated protection means help to decrease the success rate of attacks significantly: the correctness of the revealed key was decreased from 99% to 69%.


title: Unwinding Rotations Improves User Comfort with Immersive Telepresence Robots

abstract: We propose unwinding the rotations experienced by the user of an immersive telepresence robot to improve comfort and reduce VR sickness of the user. By immersive telepresence we refer to a situation where a 360\textdegree~camera on top of a mobile robot is streaming video and audio into a head-mounted display worn by a remote user possibly far away. Thus, it enables the user to be present at the robot's location, look around by turning the head and communicate with people near the robot. By unwinding the rotations of the camera frame, the user's viewpoint is not changed when the robot rotates. The user can change her viewpoint only by physically rotating in her local setting; as visual rotation without the corresponding vestibular stimulation is a major source of VR sickness, physical rotation by the user is expected to reduce VR sickness. We implemented unwinding the rotations for a simulated robot traversing a virtual environment and ran a user study (N=34) comparing unwinding rotations to user's viewpoint turning when the robot turns. Our results show that the users found unwound rotations more preferable and comfortable and that it reduced their level of VR sickness. We also present further results about the users' path integration capabilities, viewing directions, and subjective observations of the robot's speed and distances to simulated people and objects.


title: InRS: implementing the indicator function of NURBS-shaped planar domains

abstract: We provide an algorithm that implements the indicator function of NURBS-shaped planar domains, tailored to the fast computation on huge point clouds, together with the corresponding Matlab code.


title: Measurement Error Models for Spatial Network Lattice Data: Analysis of Car Crashes in Leeds

abstract: Road casualties represent an alarming concern for modern societies. During the last years, several authors proposed sophisticated approaches to help authorities implement new policies. These models were usually developed considering a set of socioeconomic variables and ignoring the measurement error, which can bias the statistical inference. This paper presents a Bayesian model to analyse car crashes occurrences at the network-lattice level, taking into account measurement error in the spatial covariate. The suggested methodology is exemplified by considering the collisions in the road network of Leeds (UK) during 2011-2019. Traffic volumes are approximated using an extensive set of counts obtained from mobile devices and the estimates are adjusted using a spatial measurement error correction.


title: Model-Free Nonlinear Feedback Optimization

abstract: Feedback optimization is a control paradigm that enables physical systems to autonomously reach efficient operating points. Its central idea is to interconnect optimization iterations in closed-loop with the physical plant. Since iterative gradient-based methods are extensively used to achieve optimality, feedback optimization controllers typically require the knowledge of the steady-state sensitivity of the plant, which may not be easily accessible in some applications. In contrast, in this paper we develop a model-free feedback controller for efficient steady-state operation of general dynamical systems. The proposed design consists in updating control inputs via gradient estimates constructed from evaluations of the nonconvex objective at the current input and at the measured output. We study the dynamic interconnection of the proposed iterative controller with a stable nonlinear discrete-time plant. For this setup, we characterize the optimality and stability of the closed-loop behavior as functions of the problem dimension, the number of iterations, and the rate of convergence of the physical plant. To handle general constraints that affect multiple inputs, we enhance the controller with Frank-Wolfe-type updates.


title: Detecting Human-to-Human-or-Object (H2O) Interactions with DIABOLO

abstract: Detecting human interactions is crucial for human behavior analysis. Many methods have been proposed to deal with Human-to-Object Interaction (HOI) detection, i.e., detecting in an image which person and object interact together and classifying the type of interaction. However, Human-to-Human Interactions, such as social and violent interactions, are generally not considered in available HOI training datasets. As we think these types of interactions cannot be ignored and decorrelated from HOI when analyzing human behavior, we propose a new interaction dataset to deal with both types of human interactions: Human-to-Human-or-Object (H2O). In addition, we introduce a novel taxonomy of verbs, intended to be closer to a description of human body attitude in relation to the surrounding targets of interaction, and more independent of the environment. Unlike some existing datasets, we strive to avoid defining synonymous verbs when their use highly depends on the target type or requires a high level of semantic interpretation. As H2O dataset includes V-COCO images annotated with this new taxonomy, images obviously contain more interactions. This can be an issue for HOI detection methods whose complexity depends on the number of people, targets or interactions. Thus, we propose DIABOLO (Detecting InterActions By Only Looking Once), an efficient subject-centric single-shot method to detect all interactions in one forward pass, with constant inference time independent of image content. In addition, this multi-task network simultaneously detects all people and objects. We show how sharing a network for these tasks does not only save computation resource but also improves performance collaboratively. Finally, DIABOLO is a strong baseline for the new proposed challenge of H2O Interaction detection, as it outperforms all state-of-the-art methods when trained and evaluated on HOI dataset V-COCO.


title: Neural calibration of hidden inhomogeneous Markov chains -- Information decompression in life insurance

abstract: Markov chains play a key role in a vast number of areas, including life insurance mathematics. Standard actuarial quantities as the premium value can be interpreted as compressed, lossy information about the underlying Markov process. We introduce a method to reconstruct the underlying Markov chain given collective information of a portfolio of contracts. Our neural architecture explainably characterizes the process by explicitly providing one-step transition probabilities. Further, we provide an intrinsic, economic model validation to inspect the quality of the information decompression. Lastly, our methodology is successfully tested for a realistic data set of German term life insurance contracts.


title: On the theory of generalized Ulrich modules

abstract: In this paper we further develop the theory of generalized Ulrich modules introduced in 2014 by Goto et al. Our main goal is to address the problem of when the operations of taking the Hom functor and horizontal linkage preserve the Ulrich property. One of the applications is a new characterization of quadratic hypersurface rings. Moreover, in the Gorenstein case, we deduce that applying linkage to sufficiently high syzygy modules of Ulrich ideals yields Ulrich modules. Finally, we explore connections to the theory of modules with minimal multiplicity, and as a byproduct we determine the Chern number of an Ulrich module as well as the Castelnuovo-Mumford regularity of its Rees module.


title: An extension of an asymptotic result of Tricomi concerning a definite integral

abstract: We consider the expansion of an integral considered by F.G. Tricomi given by \[\int_{-\infty}^\infty x e^{-x^2}(\frac{1}{2}+\frac{1}{2}\mbox{erf}\,x)^{m} dx\] as $m\to\infty$. The procedure involves a suitable change of variable and the inversion of the complementary error function $\mbox{erfc}\,x$. Numerical results are presented to demonstrate the accuracy of the expansion. A second part examines an extension of an integral arising in airfoil theory.


title: Non-linear heat equation on the Hyperbolic space: Global existence and finite-time Blow-up

abstract: We consider the following Cauchy problem for the semi linear heat equation on the hyperbolic space: \begin{align}\label{abs:eqn} \left\{\begin{array}{ll} \partial_{t}u=\Delta_{\mathbb{H}^{n}} u+ f(u, t) &\hbox{ in }~ \mathbb{H}^{n}\times (0, T),\\ \\ \quad u =u_{0} &\hbox{ in }~ \mathbb{H}^{n}\times \{0\}. \end{array}\right. \end{align} We study Fujita phenomena for the non-negative initial data $u_0$ belonging to $C(\mathbb{H}^{n}) \cap L^{\infty}(\mathbb{H}^{n})$ and for different choices of $f$ of the form $f(u,t) = h(t)g(u).$ It is well-known that for power nonlinearities in $u,$ the power weight $h(t) = t^q$ is sub-critical in the sense that non-negative global solutions exist for small initial data. On the other hand, it exhibits Fujita phenomena for the exponential weight $h(t) = e^{\mu t},$ i.e. there exists a critical exponent $\mu^*$ such that if $\mu > \mu^*$ then all non-negative solutions blow-up in finite time and if $\mu \leq \mu^*$ there exists non-negative global solutions for small initial data. One of the main objectives of this article is to find an appropriate nonlinearity in $u$ so that the above mentioned Cauchy problem with the power weight $h(t) = t^q$ does exhibit Fujita phenomena. In the remaining part of this article, we study Fujita phenomena for exponential nonlinearity in $u.$ We further generalize some of these results to Cartan-Hadamard manifolds.


title: Tight Fine-Grained Bounds for Direct Access on Join Queries

abstract: We consider the task of lexicographic direct access to query answers. That is, we want to simulate an array containing the answers of a join query sorted in a lexicographic order chosen by the user. A recent dichotomy showed for which queries and orders this task can be done in polylogarithmic access time after quasilinear preprocessing, but this dichotomy does not tell us how much time is required in the cases classified as hard. We determine the preprocessing time needed to achieve polylogarithmic access time for all join queries and all lexicographical orders. To this end, we propose a decomposition-based general algorithm for direct access on join queries. We then explore its optimality by proving lower bounds for the preprocessing time based on the hardness of a certain online Set-Disjointness problem, which shows that our algorithm's bounds are tight for all lexicographic orders on join queries. Then, we prove the hardness of Set-Disjointness based on the Zero-Clique Conjecture which is an established conjecture from fine-grained complexity theory. Interestingly, while proving our lower bound, we show that self-joins do not affect the complexity of direct access (up to logarithmic factors). Our algorithm can also be used to solve queries with projections and relaxed order requirements, though in these cases, its running time not necessarily optimal. We also show that similar techniques to those used in our lower bounds can be used to prove that, for enumerating answers to Loomis-Whitney joins, it is not possible to significantly improve upon trivially computing all answers at preprocessing. This, in turn, gives further evidence (based on the Zero-Clique Conjecture) to the enumeration hardness of self-join free cyclic joins with respect to linear preprocessing and constant delay.


title: Numerical analysis of effective models for flux-tunable transmon systems

abstract: Simulations and analytical calculations that aim to describe flux-tunable transmons are usually based on effective models of the corresponding lumped-element model. However, when a control pulse is applied, in most cases it is not known how much the predictions made with the effective models deviate from the predictions made with the original lumped-element model. In this work we compare the numerical solutions of the time-dependent Schr\"odinger equation for both the effective and the lumped-element models, for microwave and unimodal control pulses (external fluxes). These control pulses are used to model single-qubit (X) and two-qubit gate (Iswap and Cz) transitions. First, we derive a non-adiabatic effective Hamiltonian for a single flux-tunable transmon and compare the pulse response of this model to the one of the corresponding circuit Hamiltonian. Here we find that both models predict similar outcomes for similar control pulses. Then, we study how different approximations affect single-qubit (X) and two-qubit gate (Iswap and Cz) transitions in two different two-qubit systems. For this purpose we consider three different systems in total: a single flux-tunable transmon and two two-qubit systems. In summary, we find that a series of commonly applied approximations (individually and/or in combination) can change the response of a system substantially, when a control pulse is applied.


title: Anomalies in the differential cross sections at 13 TeV

abstract: Analysis of differential cross sections of the TOTEM Collaboration data, carried out without model assumptions, shows the existence of new effects in the behavior of the hadron scattering amplitude at a small momentum transfer at a high confidence level. The quantitative description of the data in the framework of the high energy generalized structure (HEGS) model supports such a phenomenon that can be associated with the specific properties of the hadron potential at large distances. It is shown that the value of $\rho(s,t)$ at $\sqrt{s}=13$ TeV and small $t$ exceeded $0.1$.


title: Substructure in the stellar halo near the Sun. I. Data-driven clustering in Integrals of Motion space

abstract: Aims: Develop a data-driven and statistically based method for finding such clumps in Integrals of Motion space for nearby halo stars and evaluating their significance robustly. Methods: We use data from Gaia EDR3 extended with radial velocities from ground-based spectroscopic surveys to construct a sample of halo stars within 2.5 kpc from the Sun. We apply a hierarchical clustering method that uses the single linkage algorithm in a 3D space defined by the commonly used integrals of motion energy $E$, together with two components of the angular momentum, $L_z$ and $L_\perp$. To evaluate the statistical significance of the clusters found, we compare the density within an ellipsoidal region centered on the cluster to that of random sets with similar global dynamical properties. We pick out the signal at the location of their maximum statistical significance in the hierarchical tree. We estimate the proximity of a star to the cluster center using the Mahalanobis distance. We also apply the HDBSCAN clustering algorithm in velocity space. Results: Our procedure identifies 67 highly significant clusters ($ > 3\sigma$), containing 12\% of the sources in our halo set, and in total 232 subgroups or individual streams in velocity space. In total, 13.8\% of the stars in our data set can be confidently associated to a significant cluster based on their Mahalanobis distance. Inspection of our data set reveals a complex web of relationships between the significant clusters, suggesting that they can be tentatively grouped into at least 6 main structures, many of which can be associated to previously identified halo substructures, and a number of independent substructures. This preliminary conclusion is further explored in an accompanying paper by Ruiz-Lara et al., where we also characterize the substructures in terms of their stellar populations. Conclusions: We find... (abridged version)


title: Substructure in the stellar halo near the Sun. II. Characterisation of independent structures

abstract: In L\"ovdal et al, we presented a data-driven method for clustering in Integrals of Motion space and applied it to a large sample of nearby halo stars with 6D phase-space information. We identified a large number of clusters, many of which could tentatively be merged into larger groups. Our goal is to establish the reality of the clusters through a combined study of their stellar populations to gain more insights into the accretion history of the Milky Way. We develop a procedure that quantifies the similarity of clusters based on KS tests using their metallicity distribution functions, and an isochrone fitting method to determine their average age, which is also used to compare the distribution of stars in the Colour-Absolute magnitude diagram. This allows us to group clusters into substructures, and to compare substructures with one another. The clusters identified are merged into 12 extended substructures, while 8 small clusters remain as such. The large substructures include the previously known Gaia-Enceladus, Helmi streams, Sequoia, and Thamnos 1 and 2. We identify overdensities associated with the hot thick disc and hosting a metal-poor population. Especially notable is our largest substructure which, although peaking at the metallicity characteristic of the thick disk has a well populated metal-poor component, and dynamics in-between hot thick disc and halo. We identify additional debris in the region occupied by Sequoia with distinct kinematics, likely remnants of three different accretion events with progenitors of similar mass. We also identify different trends of [Mg/Fe] vs [Fe/H] for the various substructures confirming our dissection of the nearby halo. At least 20\% of the halo near the Sun is associated to substructures. When comparing their global properties, we note that those substructures on retrograde orbits are not only more metal-poor on average but also older.


title: Camel back shaped Kirkwood-Buff Integrals

abstract: Some binary mixtures, such as specific alcohol-alkane mixtures, or even water-tbutanol, exhibit two humps camel back shaped KBI. This is in sharp contrast with usual KBI of binary mixtures having a single extremum. This extremum is interpreted as the region of maximum concentration fluctuations, and usually occurs in binary mixtures presenting appreciable micro-segregation, and corresponds to where the mixture exhibit a percolation of the two species domains. In this paper, it is shown that two extrema occur in binary mixtures when one species forms "meta-particle" aggregates, the latter which act as a meta-species, and have their own concentration fluctuations, hence their own KBI extremum. This "meta-extremum" occurs at low concentration of the aggregate-forming species (such as alcohol in alkane), and is independant of the other usual extremum observed at mid volume fraction occupancy. These systems are a good illustration of the concept of the duality between concentration fluctuations and micro-segregation.


title: More on Topological Hydrodynamic Modes

abstract: Based on previous work that topologically nontrivial gapless modes in relativistic hydrodynamics could be found by weakly breaking the energy momentum conservation, in this paper, we study the holographic system which produces the same hydrodynamic modes. In the hydrodynamic system, one possibility to obtain the energy momentum non-conservation is to couple the system to external gravitational fields, i.e. to observe the system in a special non-inertial frame. Similar to what happens in the hydrodynamic system, a non-inertial frame version of holography indeed produces the same topologically nontrivial gapless hydrodynamic modes. We also generalize the study of topological modes in relativistic hydrodynamics to the case with one extra U(1) current and find that more complicated topological phase diagrams could exist when we consider more possibilities of the mass terms. We also discuss the possible underlying mechanism for this topological change in the spectrum when being observed in a non-inertial reference frame.


title: Sustainable Satellite Communications in the 6G Era: A European View for Multi-Layer Systems and Space Safety

abstract: During the New Space era small countries are becoming important players in the space business. While space activities are rapidly increasing globally, it is important to make operations in a sustainable and safe way in order to preserve satellite services for future generations. Unfortunately, the sustainability aspect has been largely overlooked in the existing surveys on space technologies. As a result, in this survey paper, we discuss the multi-layer networking approaches in the 6G era specifically from the sustainability perspective. Moreover, our comprehensive survey includes aspects of some interesting industrial, proprietary, and standardization views. We review the most important regulations and international guidelines and revisit a three-dimensional architecture vision to support the sustainability target for a variety of application areas. We then classify and discuss space safety paradigms that are important sustainability enablers of future satellite communications. These include space traffic management, debris detection, environmental impacts, spectrum sharing, and cyber security aspects. The paper also discusses advances towards a planned European connectivity constellation that could become a third flagship infrastructure along with the Galileo and Copernicus systems. Finally, we define potential research directions into the 2030s.


title: Amplitude SAR Imagery Splicing Localization

abstract: Synthetic Aperture Radar (SAR) images are a valuable asset for a wide variety of tasks. In the last few years, many websites have been offering them for free in the form of easy to manage products, favoring their widespread diffusion and research work in the SAR field. The drawback of these opportunities is that such images might be exposed to forgeries and manipulations by malicious users, raising new concerns about their integrity and trustworthiness. Up to now, the multimedia forensics literature has proposed various techniques to localize manipulations in natural photographs, but the integrity assessment of SAR images was never investigated. This task poses new challenges, since SAR images are generated with a processing chain completely different from that of natural photographs. This implies that many forensics methods developed for natural images are not guaranteed to succeed. In this paper, we investigate the problem of amplitude SAR imagery splicing localization. Our goal is to localize regions of an amplitude SAR image that have been copied and pasted from another image, possibly undergoing some kind of editing in the process. To do so, we leverage a Convolutional Neural Network (CNN) to extract a fingerprint highlighting inconsistencies in the processing traces of the analyzed input. Then, we examine this fingerprint to produce a binary tampering mask indicating the pixel region under splicing attack. Results show that our proposed method, tailored to the nature of SAR signals, provides better performances than state-of-the-art forensic tools developed for natural images.


title: Auction-Based Ex-Post-Payment Incentive Mechanism Design for Horizontal Federated Learning with Reputation and Contribution Measurement

abstract: Federated learning trains models across devices with distributed data, while protecting the privacy and obtaining a model similar to that of centralized ML. A large number of workers with data and computing power are the foundation of federal learning. However, the inevitable costs prevent self-interested workers from serving for free. Moreover, due to data isolation, task publishers lack effective methods to select, evaluate and pay reliable workers with high-quality data. Therefore, we design an auction-based incentive mechanism for horizontal federated learning with reputation and contribution measurement. By designing a reasonable method of measuring contribution, we establish the reputation of workers, which is easy to decline and difficult to improve. Through reverse auctions, workers bid for tasks, and the task publisher selects workers combining reputation and bid price. With the budget constraint, winning workers are paid based on performance. We proved that our mechanism satisfies the individual rationality of the honest worker, budget feasibility, truthfulness, and computational efficiency.


title: Deformation mechanism of WC single crystals under nanoindentation: Effects of surface defects and orientation on pop-in and hysteresis

abstract: Nanoindentation was carried out on pure tungsten carbide (WC) on the basal (0001) and prismatic (1010) planes, using Berkovich and spherical indenters, in both single load and multi-load testing. The work focuses on correlating the load-displacement curves, including elastic to plastic deformation, size effect and hysteresis with the deformation behaviour of WC. With different specimen preparation processes, the elastic to plastic deformation started at different threshold loads: This observation was found to be due to the variation in surface dislocation density. Staircase deformation was observed thought to be caused by dislocation motion and the formation of slip bands; sudden displacement discontinuities in the load-displacement response - associated with dislocation loop nucleation - occurred at, or near the theoretical shear strength. Furthermore, discontinuities in load-displacement curves were also used to confirm that hysteresis loops were a result of plastic deformation, as they when the loading was purely elastic.


title: U(1) Fields from Qubits: an Approach via D-theory Algebra

abstract: A new quantum link microstructure was proposed for the lattice quantum chromodynamics (QCD) Hamiltonian, replacing the Wilson gauge links with a bilinear of fermionic qubits, later generalized to D-theory. This formalism provides a general framework for building lattice field theory algorithms for quantum computing. We focus mostly on the simplest case of a quantum rotor for a single compact $U(1)$ field. We also make some progress for non-Abelian setups, making it clear that the ideas developed in the $U(1)$ case extend to other groups. These in turn are building blocks for $1 + 0$-dimensional ($1 + 0$-D) matrix models, $1 + 1$-D sigma models and non-Abelian gauge theories in $2+1$ and $3+1$ dimensions. By introducing multiple flavors for the $U(1)$ field, where the flavor symmetry is gauged, we can efficiently approach the infinite-dimensional Hilbert space of the quantum $O(2)$ rotor with increasing flavors. The emphasis of the method is on preserving the symplectic algebra exchanging fermionic qubits by sigma matrices (or hard bosons) and developing a formal strategy capable of generalization to $SU(3)$ field for lattice QCD and other non-Abelian $1 + 1$-D sigma models or $3 +3$-D gauge theories. For $U(1)$, we discuss briefly the qubit algorithms for the study of the discrete $1+1$-D Sine-Gordon equation.


title: Fano manifolds with Lefschetz defect 3

abstract: Let X be a smooth, complex Fano variety, and delta(X) its Lefschetz defect. It is known that if delta(X) is at least 4, then X is isomorphic to a product SxT, where dim T=dim X-2. In this paper we prove a structure theorem for the case where delta(X)=3. We show that there exists a smooth Fano variety T with dim T=dim X-2 such that X is obtained from T with two possible explicit constructions; in both cases there is a P^2-bundle Z over T such that X is the blow-up of Z along three pairwise disjoint smooth, irreducible, codimension 2 subvarieties. Then we apply the structure theorem to Fano 4-folds, to the case where X has Picard number 5, and to Fano varieties having an elementary divisorial contraction sending a divisor to a curve. In particular we complete the classification of Fano 4-folds with delta(X)=3.


title: Tailoring Quadrupole Topological Insulators with Periodic Driving and Disorder

abstract: The quadrupole topological insulator (QTI) has attracted intense studies as a prototype of symmetry-protected higher-order topological phases of matter with a quantized quadrupole moment. The realization of QTIs has been reported in various static settings with periodic structures. Here, we theoretically investigate topological phase transitions and establish the QTI phase in a periodically driven system with disorder. In the clean limit, the Floquet QTI phase emerges from a topologically trivial band structure driven by elliptically polarized irradiation. More strikingly, starting from a pure and static system with trivial topology, we unveil an intriguing QTI phase which necessitates the simultaneous presence of disorder and periodic driving. Furthermore, we reveal that particle-hole symmetry is sufficient to protect the QTI. Our work not only establishes a new strategy to design QTIs but also enriches the symmetry-protected mechanism of higher-order topology.


title: Metasurface electron optics in graphene

abstract: For electron optics in graphene, the propagation effect has so far been the only physical mechanism available. The resulting electron-optics-based components are large in size and operate at low temperatures to avoid violating the ballistic transport limits. In this paper, Dirac fermion metasurfaces, electronic counterparts of optical metasurfaces, are introduced for graphene electronics. By a metasurface, formally a linear array of gate-bias-controlled circular quantum dots, the wavefront of electron beams can be shaped within a one-quantum-dot-diameter distance, far below the ballistic limits at room temperature. This provides opportunities to create electron-optics-based devices that operate under ambient conditions. Moreover, unlike optical metasurfaces, Dirac fermion metasurfaces have near-perfect operating efficiencies and their high tunability allows for free and fast switching among functionalities. The concept of metasurface electron optics might open up a promising avenue for improving the performance of quantum devices in Dirac fermion materials.


title: Laser-Driven, Ion-Scale Magnetospheres in Laboratory Plasmas. II. Particle-in-cell Simulations

abstract: Ion-scale magnetospheres have been observed around comets, weakly-magnetized asteroids, and localized regions on the Moon, and provide a unique environment to study kinetic-scale plasma physics, in particular in the collisionless regime. In this work, we present the results of particle-in-cell simulations that replicate recent experiments on the Large Plasma Device at the University of California, Los Angeles. Using high-repetition rate lasers, ion-scale magnetospheres were created to drive a plasma flow into a dipolar magnetic field embedded in a uniform background magnetic field. The simulations are employed to evolve idealized 2D configurations of the experiments, study highly-resolved, volumetric datasets and determine the magnetospheric structure, magnetopause location and kinetic-scale structures of the plasma current distribution. We show the formation of a magnetic cavity and a magnetic compression in the magnetospheric region, and two main current structures in the dayside of the magnetic obstacle: the diamagnetic current, supported by the driver plasma flow, and the current associated to the magnetopause, supported by both the background and driver plasmas with some time-dependence. From multiple parameter scans, we show a reflection of the magnetic compression, bounded by the length of the driver plasma, and a higher separation of the main current structures for lower dipolar magnetic moments.


title: $m_b(m_Z)$ revisited with Zedometry

abstract: Precision measurements of $Z^0$ boson properties could enable a determination of the mass of the b quark at the scale of the $Z^0$ boson mass $m_b(m_Z)$. The dependence of Standard Model predictions on the b quark mass using the program Gfitter is studied. The precision of the currently available measurements by the LEP experiments and SLD, together with measurements from the LHC experiments of the mass of the top quark and the Higgs boson, is not sufficient for a relevant measurement. The predicted precision of $Z^0$ boson resonance measurements at future $e^+e^-$ colliders will allow a competitive determination of $m_b(m_Z)$.


title: Developing Assistive Technology to Support Reminiscence Therapy: A User-Centered Study to Identify Caregivers' Needs

abstract: Reminiscence therapy is an inexpensive non-pharmacological therapy commonly used due to its therapeutic value for PwD, as it can be used to promote independence, positive moods and behavior, and improve their quality of life. Caregivers are one of the main pillars in the adoption of digital technologies for reminiscence therapy, as they are responsible for its administration. Despite their comprehensive understanding of the needs and difficulties associated with the therapy, their perspective has not been fully taken into account in the development of existing technological solutions. To inform the design of technological solutions within dementia care, we followed a user-centered design approach through worldwide surveys, follow-up semi-structured interviews, and focus groups. Seven hundred and seven informal and 52 formal caregivers participated in our study. Our findings show that technological solutions must provide mechanisms to carry out the therapy in a simple way, reducing the amount of work for caregivers when preparing and conducting therapy sessions. They should also diversify and personalize the current session (and following ones) based on both the biographical information of the PwD and their emotional reactions. This is particularly important since the PwD often become agitated, aggressive or angry, and caregivers might not know how to properly deal with this situation (in particular, the informal ones). Additionally, formal caregivers need an easy way to manage information of the different PwD they take care of, and consult the history of sessions performed (in particular, to identify images that triggered negative emotional reactions, and consult any notes taken about them). As a result, we present a list of validated functional requirements gathered for the PwD and both formal and informal caregivers, as well as the corresponding expected primary and secondary outcomes.


title: Automatic Speech Recognition Datasets in Cantonese: A Survey and New Dataset

abstract: Automatic speech recognition (ASR) on low resource languages improves the access of linguistic minorities to technological advantages provided by artificial intelligence (AI). In this paper, we address the problem of data scarcity for the Hong Kong Cantonese language by creating a new Cantonese dataset. Our dataset, Multi-Domain Cantonese Corpus (MDCC), consists of 73.6 hours of clean read speech paired with transcripts, collected from Cantonese audiobooks from Hong Kong. It comprises philosophy, politics, education, culture, lifestyle and family domains, covering a wide range of topics. We also review all existing Cantonese datasets and analyze them according to their speech type, data source, total size and availability. We further conduct experiments with Fairseq S2T Transformer, a state-of-the-art ASR model, on the biggest existing dataset, Common Voice zh-HK, and our proposed MDCC, and the results show the effectiveness of our dataset. In addition, we create a powerful and robust Cantonese ASR model by applying multi-dataset learning on MDCC and Common Voice zh-HK.


title: Auto-Weighted Layer Representation Based View Synthesis Distortion Estimation for 3-D Video Coding

abstract: Recently, various view synthesis distortion estimation models have been studied to better serve for 3-D video coding. However, they can hardly model the relationship quantitatively among different levels of depth changes, texture degeneration, and the view synthesis distortion (VSD), which is crucial for rate-distortion optimization and rate allocation. In this paper, an auto-weighted layer representation based view synthesis distortion estimation model is developed. Firstly, the sub-VSD (S-VSD) is defined according to the level of depth changes and their associated texture degeneration. After that, a set of theoretical derivations demonstrate that the VSD can be approximately decomposed into the S-VSDs multiplied by their associated weights. To obtain the S-VSDs, a layer-based representation of S-VSD is developed, where all the pixels with the same level of depth changes are represented with a layer to enable efficient S-VSD calculation at the layer level. Meanwhile, a nonlinear mapping function is learnt to accurately represent the relationship between the VSD and S-VSDs, automatically providing weights for S-VSDs during the VSD estimation. To learn such function, a dataset of VSD and its associated S-VSDs are built. Experimental results show that the VSD can be accurately estimated with the weights learnt by the nonlinear mapping function once its associated S-VSDs are available. The proposed method outperforms the relevant state-of-the-art methods in both accuracy and efficiency. The dataset and source code of the proposed method will be available at https://github.com/jianjin008/.


title: Simulation of nonequilibrium spin dynamics in quantum dots subjected to periodic laser pulses

abstract: Large-scale simulations of the spin dynamics in quantum dots subjected to trains of periodic laser pulses enable us to describe and understand related experiments. By comparing the data for different models to experimental results, we gain an improved understanding of the relevant physical mechanisms. Using sophisticated numerical approaches and an efficient implementation combined with extrapolation arguments, nonequilibrium stationary states are reached for parameter ranges close to the ones in real experiments. With the help of high performance computing, we can tune the experimental parameters to guide future experimental research. Importantly, our simulations reveal the possibility of resonant spin amplification in Faraday geometry, i.e., when a longitudinal magnetic field is applied to the quantum dots.


title: A new Lagrangian drift mechanism due to current-bathymetry interactions: applications in coastal cross-shelf transport

abstract: We show that in free surface flows, a uniform, streamwise current over small-amplitude wavy bottom topography generates cross-stream drift velocity. This drift mechanism, referred to as the current-bathymetry interaction induced drift (CBIID), is specifically understood in the context of a simplified nearshore environment consisting of a uniform alongshore current, onshore propagating surface waves, and monochromatic wavy bottom making an oblique angle with the shoreline. CBIID is found to originate from the steady, non-homogeneous solution of the governing system of equations. Similar to Stokes drift induced by surface waves, CBIID also generates a compensating Eulerian return flow to satisfy the no-flux lateral boundaries, e.g. the shoreline. CBIID increases with an increase in the particle's initial depth, bottom undulation's amplitude, and the strength of the alongshore current. Additionally, CBIID near the free (bottom) surface increases (decreases) with an increase in bottom undulation's wavelength. Maximum CBIID is obtained for long wavelength bottom topography that approximately makes $\pi/4$ angle with the shoreline. Unlike Stokes drift, particle excursions due to current-bathymetry interactions might not be small, hence analytical expressions based on the small-excursion approximation could be inaccurate. We provide an alternative $z$-bounded approximation, which leads to highly accurate expressions for drift velocity and time period of particles especially located near the free surface. Realistic parametric analysis reveals that in some nearshore environments, CBIID's contribution to the net Lagrangian drift can be as important as Stokes drift, implying that CBIID can have major implications in cross-shelf tracer transport.


title: First-principles study on the solute-induced low diffusion and self-trapping of helium in fcc iron

abstract: The addition of alloying elements plays an essential role in helium (He) behaviours produced by transmutation in metal alloys. Effects of solutes (Ni, Cr, Ti, P, Si, C) on the behaviours of He and He-He pair in face-centred cube (fcc) iron have been investigated using first-principles calculations based on density functional theory (DFT). For the interactions of solutes and He, we found that Ti, P, Si, and C attracts He is more potent than Ni and Cr in fcc iron. We have determined the most stable configuration for the He-He pair, which is the Hesub-Hetetra pair with a binding energy of 1.60 eV. In considering the effect of solutes on the stability of the He-He pair, we have proposed a unique definition of binding energy. By applying the definition, we suggest that Ti and P could weaken He self-trapping, and Cr and C are beneficial for He self-trapping, while Ni is similar to the matrix Fe itself. For the diffusion of He, which is the necessary process of forming the He bubble, we determined that the most stable interstitial He is in a tetrahedral site and could migrate with the energy barrier of 0.16 eV in pure fcc iron. We further found that Ti and Si can increase the barrier to 0.18 and 0.20 eV; on the contrary, Cr and P decrease the barrier to 0.10 and 0.06 eV, respectively. Summarizing the calculations, we conclude that Ti decreases while Cr increases the diffusion and self-trapping of He in fcc iron.


title: How fundamental is entropy? From non-extensive statistics and black hole physics to the holographic dark universe

abstract: We propose a new entropy construct that generalizes the Tsallis, R\'enyi, Sharma-Mittal, Barrow, Kaniadakis, and Loop Quantum Gravity entropies and reduces to the Bekenstein-Hawking entropy in a certain limit. This proposal is applied to the Schwarzschild black hole and to spatially homogeneous and isotropic cosmology, where it is shown that it can potentially describe inflation and/or holographic dark energy.


title: An Adaptive Penalty Method for Inequality Constrained Minimization Problems

abstract: The primal-dual active set method is observed to be the limit of a sequence of penalty formulations. Using this perspective, we propose a penalty method that adaptively becomes the active set method as the residual of the iterate decreases. The adaptive penalty method (APM) therewith combines the main advantages of both methods, namely the ease of implementation of penalty methods and the exact imposition of inequality constraints inherent to the active set method. The scheme can be considered a quasi-Newton method in which the Jacobian is approximated using a penalty parameter. This spatially varying parameter is chosen at each iteration by solving an auxiliary problem.


title: Variational Quantum Computation of Molecular Linear Response Properties on a Superconducting Quantum Processor

abstract: Simulating response properties of molecules is crucial for interpreting experimental spectroscopies and accelerating materials design. However, it remains a long-standing computational challenge for electronic structure methods on classical computers. While quantum computers hold the promise to solve this problem more efficiently in the long run, existing quantum algorithms requiring deep quantum circuits are infeasible for near-term noisy quantum processors. Here, we introduce a pragmatic variational quantum response (VQR) algorithm for response properties, which circumvents the need for deep quantum circuits. Using this algorithm, we report the first simulation of linear response properties of molecules including dynamic polarizabilities and absorption spectra on a superconducting quantum processor. Our results indicate that a large class of important dynamical properties such as Green's functions are within the reach of near-term quantum hardware using this algorithm in combination with suitable error mitigation techniques.


title: Density depletion and enhanced fluctuations in water near hydrophobic solutes: identifying the underlying physics

abstract: We investigate the origin of the density depletion and enhanced density fluctuations that occur in water in the vicinity of an extended hydrophobic solute. We argue that both phenomena are remnants of the critical drying surface phase transition that occurs at liquid-vapor coexistence in the macroscopic planar limit, ie. as the solute radius $R_s\to\infty$. Focusing on the density profile $\rho(r)$ and a sensitive spatial measure of fluctuations, the local compressibility profile $\chi(r)$, we develop a scaling theory which expresses the extent of the density depletion and enhancement in compressibility in terms of $R_s$, the strength of solute-water attraction $\varepsilon_s$, and the deviation from liquid-vapor coexistence $\delta\mu$. Testing the predictions against results of classical density functional theory for a simple solvent and Grand Canonical Monte Carlo simulations of a popular water model, we find that the theory provides a firm physical basis for understanding how water behaves at a hydrophobe.


title: Effect of Prior-based Losses on Segmentation Performance: A Benchmark

abstract: Today, deep convolutional neural networks (CNNs) have demonstrated state-of-the-art performance for medical image segmentation, on various imaging modalities and tasks. Despite early success, segmentation networks may still generate anatomically aberrant segmentations, with holes or inaccuracies near the object boundaries. To enforce anatomical plausibility, recent research studies have focused on incorporating prior knowledge such as object shape or boundary, as constraints in the loss function. Prior integrated could be low-level referring to reformulated representations extracted from the ground-truth segmentations, or high-level representing external medical information such as the organ's shape or size. Over the past few years, prior-based losses exhibited a rising interest in the research field since they allow integration of expert knowledge while still being architecture-agnostic. However, given the diversity of prior-based losses on different medical imaging challenges and tasks, it has become hard to identify what loss works best for which dataset. In this paper, we establish a benchmark of recent prior-based losses for medical image segmentation. The main objective is to provide intuition onto which losses to choose given a particular task or dataset. To this end, four low-level and high-level prior-based losses are selected. The considered losses are validated on 8 different datasets from a variety of medical image segmentation challenges including the Decathlon, the ISLES and the WMH challenge. Results show that whereas low-level prior-based losses can guarantee an increase in performance over the Dice loss baseline regardless of the dataset characteristics, high-level prior-based losses can increase anatomical plausibility as per data characteristics.


title: Characterization of the inner edge of the neutron star crust

abstract: The poorly known crustal equation of state plays a critical role in many observational phenomena associated with a neutron star. Using semi-classical Monte Carlo simulations, we explore the possible configurations of the inner edge of the neutron-star crust for a variety of baryon densities and proton fractions. Applying the Kirkwood--Buff theory to these two-component systems, we observe how the isothermal compressibility reaches a maximum when isolated non-symmetric clusters are formed in an extremely dilute neutron gas. To determine the neutron fraction, we suggest a geometrical model based on the behavior of the proton-neutron pair correlation function. Accordingly, the equation of state of the inner crust is calculated, illustrating that the nuclear energy in beta-equilibrium follows a power-law behavior with baryon density. As a possible astrophysical outcome of this study, our results could help refine the mass-radius relation. Finally, our results pave the way towards further investigations of the impact of the proton-neutron pair correlation function on transport properties within the neutron-star crust.


title: On some problems regarding distance-balanced graphs

abstract: A graph $\Gamma$ is said to be distance-balanced if for any edge $uv$ of $\Gamma$, the number of vertices closer to $u$ than to $v$ is equal to the number of vertices closer to $v$ than to $u$, and it is called nicely distance-balanced if in addition this number is independent of the chosen edge $uv$. A graph $\Gamma$ is said to be strongly distance-balanced if for any edge $uv$ of $\Gamma$ and any integer $k$, the number of vertices at distance $k$ from $u$ and at distance $k+1$ from $v$ is equal to the number of vertices at distance $k+1$ from $u$ and at distance $k$ from $v$. In this paper we answer an open problem posed by Kutnar and Miklavi\v{c} [European J. Combin. 39 (2014), 57-67] by constructing several infinite families of nonbipartite nicely distance-balanced graphs which are not strongly distance-balanced. We disprove a conjecture regarding characterization of strongly distance-balanced graphs posed by Balakrishnan et al. [European J. Combin. 30 (2009), 1048-1053] by providing infinitely many counterexamples, and answer an open question posed by Kutnar et al. in [Discrete Math. 306 (2006), 1881-1894] regarding existence of semisymmetric distance-balanced graphs which are not strongly distance-balanced by providing an infinite family of such examples. We also show that for a graph $\Gamma$ with $n$ vertices and $m$ edges it can be checked in $O(mn)$ time if $\Gamma$ is strongly-distance balanced and if $\Gamma$ is nicely distance-balanced.


title: Theory of shift heat current and its application to electron-phonon coupled systems

abstract: We propose a heat current analog of the shift current, "shift heat current". We study nonlinear heat current responses to an applied ac electric field by a diagrammatic method and derive a microscopic expression for the second order dc heat current response. As a result, we find that the shift heat current is related to the shift vector, a geometric quantity that also appears in the expression for the shift current. The shift heat current directly depends on and can be controlled through the chemical potential. In addition, we apply the diagrammatic method to electron-phonon coupled systems, and we find that even if only the phonons are excited by an external field, the amplitude of the shift heat current is determined by the energy scale of electrons, not of phonons.


title: Optimality in Noisy Importance Sampling

abstract: In this work, we analyze the noisy importance sampling (IS), i.e., IS working with noisy evaluations of the target density. We present the general framework and derive optimal proposal densities for noisy IS estimators. The optimal proposals incorporate the information of the variance of the noisy realizations, proposing points in regions where the noise power is higher. We also compare the use of the optimal proposals with previous optimality approaches considered in a noisy IS framework.


title: Forecasting emissions through Kaya identity using Neural Ordinary Differential Equations

abstract: Starting from the Kaya identity, we used a Neural ODE model to predict the evolution of several indicators related to carbon emissions, on a country-level: population, GDP per capita, energy intensity of GDP, carbon intensity of energy. We compared the model with a baseline statistical model - VAR - and obtained good performances. We conclude that this machine-learning approach can be used to produce a wide range of results and give relevant insight to policymakers


title: Discovery of C5H+ and detection of C3H+ in TMC-1 with the QUIJOTE line survey

abstract: We report the discovery of the C5H+ cation toward TMC-1 with the QUIJOTE line survey. Four lines from J=7-6 up to J=10-9 have been identified in perfect harmonic frequency relation that can be fit with B=2411.94397 +/-0.00055 MHz and D=138+/-3 Hz. The standard deviation of the fit is 4.4 kHz. After discarding potential candidates, C5H- among them, we conclude that the carrier is C5H+, for which accurate ab initio calculations provide B=2410.3 MHz. We also report for the first time in a cold starless core the detection of the C3H+ cation. The column densities we derive for C5H+ and C3H+ are (8.8+/-0.5)e10 cm-2 and (2.4+/-0.2)e10 cm-2, respectively. Hence, the C5H+/C3H+ abundance ratio is 3.7+/-0.5. The fact that C5H+ is more abundant than C3H+ is well explained by dedicated chemical models and is due to the slow reactivity of C5H+ with H2, while C3H+ reacts with H2.


title: Spatial-Temporal Sequential Hypergraph Network for Crime Prediction with Dynamic Multiplex Relation Learning

abstract: Crime prediction is crucial for public safety and resource optimization, yet is very challenging due to two aspects: i) the dynamics of criminal patterns across time and space, crime events are distributed unevenly on both spatial and temporal domains; ii) time-evolving dependencies between different types of crimes (e.g., Theft, Robbery, Assault, Damage) which reveal fine-grained semantics of crimes. To tackle these challenges, we propose Spatial-Temporal Sequential Hypergraph Network (ST-SHN) to collectively encode complex crime spatial-temporal patterns as well as the underlying category-wise crime semantic relationships. In specific, to handle spatial-temporal dynamics under the long-range and global context, we design a graph-structured message passing architecture with the integration of the hypergraph learning paradigm. To capture category-wise crime heterogeneous relations in a dynamic environment, we introduce a multi-channel routing mechanism to learn the time-evolving structural dependency across crime types. We conduct extensive experiments on two real-world datasets, showing that our proposed ST-SHN framework can significantly improve the prediction performance as compared to various state-of-the-art baselines. The source code is available at: https://github.com/akaxlh/ST-SHN.


title: An Experiment for Electron-Hadron Scattering at the LHC

abstract: Novel considerations are presented on the physics, apparatus and accelerator designs for a future, luminous, energy frontier electron-hadron ($eh$) scattering experiment at the LHC in the thirties for which key physics topics and their relation to the hadron-hadron HL-LHC physics programme are discussed. Demands are derived set by these physics topics on the design of the LHeC detector, a corresponding update of which is described. Optimisations on the accelerator design, especially the interaction region (IR), are presented. Initial accelerator considerations indicate that a common IR is possible to be built which alternately could serve $eh$ and $hh$ collisions while other experiments would stay on $hh$ in either condition. A forward-backward symmetrised option of the LHeC detector is sketched which would permit extending the LHeC physics programme to also include aspects of hadron-hadron physics. The vision of a joint $eh$ and $hh$ physics experiment is shown to open new prospects for solving fundamental problems of high energy heavy-ion physics including the partonic structure of nuclei and the emergence of hydrodynamics in quantum field theory while the genuine TeV scale DIS physics is of unprecedented rank.