title: DPN: Detail-Preserving Network with High Resolution Representation for Efficient Segmentation of Retinal Vessels

abstract: Retinal vessels are important biomarkers for many ophthalmological and cardiovascular diseases. Hence, it is of great significance to develop automatic models for computer-aided diagnosis. Existing methods, such as U-Net follow the encoder-decoder pipeline, where detailed information is lost in the encoder in order to achieve a large field of view. Although spatial detailed information could be recovered partly in the decoder, while there is noise in the high-resolution feature maps of the encoder. And, we argue this encoder-decoder architecture is inefficient for vessel segmentation. In this paper, we present the detail-preserving network (DPN), which avoids the encoder-decoder pipeline. To preserve detailed information and learn structural information simultaneously, we designed the detail-preserving block (DP-Block). Further, we stacked eight DP-Blocks together to form the DPN. More importantly, there are no down-sampling operations among these blocks. Therefore, the DPN could maintain a high/full resolution during processing, avoiding the loss of detailed information. To illustrate the effectiveness of DPN, we conducted experiments over three public datasets. Experimental results show, compared to state-of-the-art methods, DPN shows competitive/better performance in terms of segmentation accuracy, segmentation speed, and model size. Specifically, 1) Our method achieves comparable segmentation performance on the DRIVE, CHASE_DB1, and HRF datasets. 2) The segmentation speed of DPN is over 20-160 times faster than other methods on the DRIVE dataset. 3) The number of parameters of DPN is1 around 120k, far less than all comparison methods.


title: Existence and properties of connections decay rate for high temperature percolation models

abstract: We consider generic finite range percolation models on $\mathbb{Z}^d$ under a high temperature assumption (exponential decay of connection probabilities and exponential ratio weak mixing). We prove that the rate of decay of point-to-point connections exists in every directions and show that it naturally extends to a norm on $\mathbb{R}^d$. This result is the base input to obtain fine understanding of the high temperature phase and is usually proven using correlation inequalities (such as FKG). The present work makes no use of such model specific properties.


title: On CR-statistical submanifolds of holomorphic statistical manifolds

abstract: In the present paper, we investigate some properties of the distributions involved in the definition of a CR-statistical submanifold. The characterization of a CR-product in holomorphic statistical manifolds is given. By using an optimization technique, we establish a relationship between the Ricci curvature and the squared norm of the mean curvature of any submanifold in the same ambient space. The equality case is also discussed here. This paper finishes with some related examples.


title: No Answer is Better Than Wrong Answer: A Reflection Model for Document Level Machine Reading Comprehension

abstract: The Natural Questions (NQ) benchmark set brings new challenges to Machine Reading Comprehension: the answers are not only at different levels of granularity (long and short), but also of richer types (including no-answer, yes/no, single-span and multi-span). In this paper, we target at this challenge and handle all answer types systematically. In particular, we propose a novel approach called Reflection Net which leverages a two-step training procedure to identify the no-answer and wrong-answer cases. Extensive experiments are conducted to verify the effectiveness of our approach. At the time of paper writing (May.~20,~2020), our approach achieved the top 1 on both long and short answer leaderboard, with F1 scores of 77.2 and 64.1, respectively.


title: Novel black-bounce spacetimes: wormholes, regularity, energy conditions, and causal structure

abstract: We develop a number of novel "black-bounce" spacetimes. These are specific regular black holes where the "area radius" always remains non-zero, thereby leading to a "throat" that is either timelike (corresponding to a traversable wormhole), spacelike (corresponding to a "bounce" into a future universe), or null (corresponding to a "one-way wormhole"). We shall first perform a general analysis of the regularity conditions for such a spacetime, and then consider a number of specific examples. The examples are constructed using a mass function similar to that of Fan--Wang, and fall into several particular cases, such as the original Simpson--Visser model, a Bardeen-type model, and other generalizations thereof. We shall analyse the regularity, the energy conditions, and the causal structure of these models. The main results are several new geometries, more complex than before, with two or more horizons, with the possibility of an extremal case. We shall derive a general theorem regarding static space-time regularity, and another general theorem regarding (non)-satisfaction of the classical energy conditions.


title: Conserved current of nonconserved quantities

abstract: We provide a unified semiclassical theory for the conserved current of nonconserved quantities, and manifest it in two physical contexts: the spin current of Bloch electrons and the charge current of mean-field Bogoliubov quasiparticles. Several longstanding problems that limit the playground of the conserved spin current of electrons are solved. We reveal that the hitherto overlooked torque quadrupole density and Berry phase correction to the torque dipole density are essential to assure a circulating spin current with vanishing net flow at equilibrium. The band geometric origin of bulk spin transport is ascertained to be the momentum space spin texture and Berry curvature instead of the spin Berry curvature, paving the way for material related studies. In superconductors the attained conserved charge current corresponds to the quasiparticle charge current renormalized by the condensate backflow. Its circulation at equilibrium gives an orbital magnetization, which involves the characteristics of superconductivity, such as the Berry curvature arising from unconventional pairing and an orbital magnetic moment induced by the charge dipole of moving quasiparticles.


title: On the signed chromatic number of some classes of graphs

abstract: A signed graph $(G, \sigma)$ is a graph $G$ along with a function $\sigma: E(G) \to \{+,-\}$. A closed walk of a signed graph is positive (resp., negative) if it has an even (resp., odd) number of negative edges, counting repetitions. A homomorphism of a (simple) signed graph to another signed graph is a vertex-mapping that preserves adjacencies and signs of closed walks. The signed chromatic number of a signed graph $(G, \sigma)$ is the minimum number of vertices $|V(H)|$ of a signed graph $(H, \pi)$ to which $(G, \sigma)$ admits a homomorphism.Homomorphisms of signed graphs have been attracting growing attention in the last decades, especially due to their strong connections to the theories of graph coloring and graph minors. These homomorphisms have been particularly studied through the scope of the signed chromatic number. In this work, we provide new results and bounds on the signed chromatic number of several families of signed graphs (planar graphs, triangle-free planar graphs, $K_n$-minor-free graphs, and bounded-degree graphs).


title: Vibrational density of states of jammed packing: mean-field theory

abstract: Several mean-field theories predict that Hessian matrices of amorphous solids can be written by using the random matrix in the limit of the large spatial dimensions $d\to\infty$. Motivated by these results, we here propose a way to map a Hessian of the amorphous solid to a random matrix. This is possible by determining the coefficients of a random matrix so that the trace of the random matrix coincides with the Hessian of the original system. We compare our result with that of previous numerical simulations of harmonic spheres in several spatial dimensions $d=3$, $5$, and $9$. For small pressure $p\ll 1$ (near jamming), we find a good agreement even in $d=3$, and obtain better agreements in larger $d$, suggesting that the approximation indeed becomes exact in the limit of large spatial dimensions.


title: An Unsupervised Sentence Embedding Method by Mutual Information Maximization

abstract: BERT is inefficient for sentence-pair tasks such as clustering or semantic search as it needs to evaluate combinatorially many sentence pairs which is very time-consuming. Sentence BERT (SBERT) attempted to solve this challenge by learning semantically meaningful representations of single sentences, such that similarity comparison can be easily accessed. However, SBERT is trained on corpus with high-quality labeled sentence pairs, which limits its application to tasks where labeled data is extremely scarce. In this paper, we propose a lightweight extension on top of BERT and a novel self-supervised learning objective based on mutual information maximization strategies to derive meaningful sentence embeddings in an unsupervised manner. Unlike SBERT, our method is not restricted by the availability of labeled data, such that it can be applied on different domain-specific corpus. Experimental results show that the proposed method significantly outperforms other unsupervised sentence embedding baselines on common semantic textual similarity (STS) tasks and downstream supervised tasks. It also outperforms SBERT in a setting where in-domain labeled data is not available, and achieves performance competitive with supervised methods on various tasks.


title: Standard bases for the universal associative conformal envelopes of Kac--Moody conformal algebras

abstract: We study the universal enveloping associative conformal algebra for the central extension of a current Lie conformal algebra at the locality level $N=3$. A standard basis of defining relations for this algebra is explicitly calculated. As a corollary, we find a linear basis of the free commutative conformal algebra relative to the locality $N=3$ on the generators.


title: In-sample Contrastive Learning and Consistent Attention for Weakly Supervised Object Localization

abstract: Weakly supervised object localization (WSOL) aims to localize the target object using only the image-level supervision. Recent methods encourage the model to activate feature maps over the entire object by dropping the most discriminative parts. However, they are likely to induce excessive extension to the backgrounds which leads to over-estimated localization. In this paper, we consider the background as an important cue that guides the feature activation to cover the sophisticated object region and propose contrastive attention loss. The loss promotes similarity between foreground and its dropped version, and, dissimilarity between the dropped version and background. Furthermore, we propose foreground consistency loss that penalizes earlier layers producing noisy attention regarding the later layer as a reference to provide them with a sense of backgroundness. It guides the early layers to activate on objects rather than locally distinctive backgrounds so that their attentions to be similar to the later layer. For better optimizing the above losses, we use the non-local attention blocks to replace channel-pooled attention leading to enhanced attention maps considering the spatial similarity. Last but not least, we propose to drop background regions in addition to the most discriminative region. Our method achieves state-of-theart performance on CUB-200-2011 and ImageNet benchmark datasets regarding top-1 localization accuracy and MaxBoxAccV2, and we provide detailed analysis on our individual components. The code will be publicly available online for reproducibility.


title: Attention Meets Perturbations: Robust and Interpretable Attention with Adversarial Training

abstract: Although attention mechanisms have been applied to a variety of deep learning models and have been shown to improve the prediction performance, it has been reported to be vulnerable to perturbations to the mechanism. To overcome the vulnerability to perturbations in the mechanism, we are inspired by adversarial training (AT), which is a powerful regularization technique for enhancing the robustness of the models. In this paper, we propose a general training technique for natural language processing tasks, including AT for attention (Attention AT) and more interpretable AT for attention (Attention iAT). The proposed techniques improved the prediction performance and the model interpretability by exploiting the mechanisms with AT. In particular, Attention iAT boosts those advantages by introducing adversarial perturbation, which enhances the difference in the attention of the sentences. Evaluation experiments with ten open datasets revealed that AT for attention mechanisms, especially Attention iAT, demonstrated (1) the best performance in nine out of ten tasks and (2) more interpretable attention (i.e., the resulting attention correlated more strongly with gradient-based word importance) for all tasks. Additionally, the proposed techniques are (3) much less dependent on perturbation size in AT. Our code is available at https://github.com/shunk031/attention-meets-perturbation


title: Design and Implementation of TAG: A Tabletop Games Framework

abstract: This document describes the design and implementation of the Tabletop Games framework (TAG), a Java-based benchmark for developing modern board games for AI research. TAG provides a common skeleton for implementing tabletop games based on a common API for AI agents, a set of components and classes to easily add new games and an import module for defining data in JSON format. At present, this platform includes the implementation of seven different tabletop games that can also be used as an example for further developments. Additionally, TAG also incorporates logging functionality that allows the user to perform a detailed analysis of the game, in terms of action space, branching factor, hidden information, and other measures of interest for Game AI research. The objective of this document is to serve as a central point where the framework can be described at length. TAG can be downloaded at: https://github.com/GAIGResearch/TabletopGames


title: A conjecture on different central parts of binary trees

abstract: Let $\Omega_n$ be the family of binary trees on $n$ vertices obtained by identifying the root of an rgood binary tree with a vertex of maximum eccentricity of a binary caterpillar. In the paper titled "On different middle parts of a tree (The electronic journal of combinatorics, 25 (2018), no. 3, paper 3.17, 32 pp)", Smith et al. conjectured that among all binary trees on $n$ vertices the pairwise distance between any two of center, centroid and subtree core is maximized by some member of the family $\Omega_n$. We first obtain the rooted binary tree which minimizes the number of root containing subtrees and then prove this conjecture. We also obtain the binary trees which maximize these distances.


title: Information theoretical view of QCD effective model with heavy quarks

abstract: To understand the phase transition phenomena, information theoretical approaches can pick up some important properties of the phenomena based on the probability distribution. In this paper, we show information theoretical aspects of the 3-dimensional 3-state Potts model with the external field which is corresponding to the QCD effective model with heavy quarks. The transfer mutual information which represents the information flow of two spin variables is numerically estimated based on the Markov-chain Monte-Carlo method. The transfer mutual information has the peak near the confinement-deconfinement transition, and it may be used to detect the precursors of the transition. Since the transfer mutual information still have the peak even if the Polyakov-loop changes continuously and smoothly, we may pick up some aspects of the confinement-deconfinement nature from the information flow properties. Particularly, the transfer mutual information shows the significantly different behavior below and above the Roberge-Weiss endpoint existed in the pure imaginary chemical potential region, which may indicate the system change by the confinement-deconfinement transition.


title: Deep Reinforcement Learning with a Stage Incentive Mechanism of Dense Reward for Robotic Trajectory Planning

abstract: (This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible.) To improve the efficiency of deep reinforcement learning (DRL)-based methods for robot manipulator trajectory planning in random working environments, we present three dense reward functions. These rewards differ from the traditional sparse reward. First, a posture reward function is proposed to speed up the learning process with a more reasonable trajectory by modeling the distance and direction constraints, which can reduce the blindness of exploration. Second, a stride reward function is proposed to improve the stability of the learning process by modeling the distance and movement distance of joint constraints. Finally, in order to further improve learning efficiency, we are inspired by the cognitive process of human behavior and propose a stage incentive mechanism, including a hard stage incentive reward function and a soft stage incentive reward function. Extensive experiments show that the soft stage incentive reward function is able to improve the convergence rate by up to 46.9% with the state-of-the-art DRL methods. The percentage increase in the convergence mean reward was 4.4-15.5% and the percentage decreases with respect to standard deviation were 21.9-63.2%. In the evaluation experiments, the success rate of trajectory planning for a robot manipulator reached 99.6%.


title: Electric quadrupole shifts of the precession frequencies of $^{131}$Xe atoms in rectangular cells

abstract: We study an atomic comagnetometer design based on the spin precessions of $^{129}$Xe and $^{131}$Xe atoms in glass cells. The quadrupole splittings in the precession spectrum of $^{131}$Xe are fully resolved, allowing a precise determination of the magnetic-dipole precession frequency. The transverse asymmetry of quadrupole interactions, due to both the geometry and surface properties of the cell, characterized by a non-zero asymmetry parameter $\eta$, modifies the dependence of the quadrupole splittings on the relative orientation between the cell axes and the bias magnetic field, and lead to additional corrections in the precession frequencies of $^{131}$Xe atoms. We examine these effects both theoretically and experimentally, and develop methods to quantify and control such shifts.


title: Conformation of ultra-long-chain fatty acid in lipid bilayer: Molecular dynamics study

abstract: Ultra-long-chain fatty acids (ULCFAs) are biosynthesized in the restricted tissues such as retina, testis, and skin. The conformation of a single ULCFA, in which the sn-1 unsaturated chain has 32 carbons, in three types of tensionless phospholipid bilayers is studied by molecular dynamics simulations. It is found that the ultra-long tail of the ULCFA flips between two leaflets and fluctuates among an elongation into the opposite leaflet, lying between two leaflets, and turning back. As the number ratio of lipids in the opposite leaflet increases, the ratio of the elongated shape linearly decreases in all three cases. Thus, ULCFAs can sense the density differences between the two leaflets and respond to these changes.


title: Mott transition and electronic excitation of the Gutzwiller wavefunction

abstract: The Mott transition is usually considered as resulting from the divergence of the effective mass of the quasiparticle in the Fermi-liquid theory; the dispersion relation around the Fermi level is considered to become flat towards the Mott transition. Here, to clarify the characterization of the Mott transition under the assumption of a Fermi-liquid-like ground state, the electron-addition excitation from the Gutzwiller wavefunction in the $t$-$J$ model is investigated on a chain, ladder, square lattice, and bilayer square lattice in the single-mode approximation using a Monte Carlo method. The numerical results demonstrate that an electronic mode that is continuously deformed from a non-interacting band at zero electron density loses its spectral weight and gradually disappears towards the Mott transition. It exhibits essentially the magnetic dispersion relation shifted by the Fermi momentum in the small-doping limit as indicated by recent studies for the Hubbard and $t$-$J$ models, even if the ground state is assumed to be a Fermi-liquid-like state exhibiting gradual disappearance of the quasiparticle weight. This implies that, rather than as the divergence of the effective mass or disappearance of the carrier density that is expected in conventional single-particle pictures, the Mott transition can be better understood as freezing of the charge degrees of freedom while the spin degrees of freedom remain active, even if the ground state is like a Fermi liquid.


title: AIM 2020 Challenge on Real Image Super-Resolution: Methods and Results

abstract: This paper introduces the real image Super-Resolution (SR) challenge that was part of the Advances in Image Manipulation (AIM) workshop, held in conjunction with ECCV 2020. This challenge involves three tracks to super-resolve an input image for $\times$2, $\times$3 and $\times$4 scaling factors, respectively. The goal is to attract more attention to realistic image degradation for the SR task, which is much more complicated and challenging, and contributes to real-world image super-resolution applications. 452 participants were registered for three tracks in total, and 24 teams submitted their results. They gauge the state-of-the-art approaches for real image SR in terms of PSNR and SSIM.


title: Temperature dependence of the damping parameter in the ferrimagnet Gd$_3$Fe$_5$O$_{12}$

abstract: The damping parameter ${\alpha}_{\text{FM}}$ in ferrimagnets defined according to the conventional practice for ferromagnets is known to be strongly temperature dependent and diverge at the angular momentum compensation temperature, where the net angular momentum vanishes. However, recent theoretical and experimental developments on ferrimagnetic metals suggest that the damping parameter can be defined in such a way, which we denote by ${\alpha}_{\text{FiM}}$, that it is free of the diverging anomaly at the angular momentum compensation point and is little dependent on temperature. To further understand the temperature dependence of the damping parameter in ferrimagnets, we analyze several data sets from literature for a ferrimagnetic insulator, gadolinium iron garnet, by using the two different definitions of the damping parameter. Using two methods to estimate the individual sublattice magnetizations, which yield results consistent with each other, we found that in all the used data sets, the damping parameter ${\alpha}_{\text{FiM}}$ does not increase at the angular compensation temperature and shows no anomaly whereas the conventionally defined ${\alpha}_{\text{FM}}$ is strongly dependent on the temperature.


title: Towards a Koopman theory for dynamical systems on completely regular spaces

abstract: The Koopman linearization of measure-preserving systems or topological dynamical systems on compact spaces has proven to be extremely useful. In this article we look at dynamics given by continuous semiflows on completely regular spaces which arise naturally from solutions of PDEs. We introduce Koopman semigroups for these semiflows on spaces of bounded continuous functions. As a first step we study their continuity properties as well as their infinitesimal generators. We then characterize them algebraically (via derivations) and lattice theoretically (via Kato's equality). Finally, we demonstrate-using the example of attractors-how this Koopman approach can be used to examine properties of dynamical systems.


title: Adjusted Measures for Feature Selection Stability for Data Sets with Similar Features

abstract: For data sets with similar features, for example highly correlated features, most existing stability measures behave in an undesired way: They consider features that are almost identical but have different identifiers as different features. Existing adjusted stability measures, that is, stability measures that take into account the similarities between features, have major theoretical drawbacks. We introduce new adjusted stability measures that overcome these drawbacks. We compare them to each other and to existing stability measures based on both artificial and real sets of selected features. Based on the results, we suggest using one new stability measure that considers highly similar features as exchangeable.


title: Assessing the Interplay between travel patterns and SARS-CoV-2 outbreak in realistic urban setting

abstract: The dense social contact networks and high mobility in congested urban areas facilitate the rapid transmission of infectious diseases. Typical mechanistic epidemiological models are either based on uniform mixing with ad-hoc contact processes or need real-time or archived population mobility data to simulate the social networks. However, the rapid and global transmission of the novel coronavirus (SARS-CoV-2) has led to unprecedented lockdowns at global and regional scales, leaving the archived datasets to limited use. While it is often hypothesized that population density is a significant driver in disease propagation, the disparate disease trajectories and infection rates exhibited by the different cities with comparable densities require a high-resolution description of the disease and its drivers. In this study, we explore the impact of the creation of containment zones on travel patterns within the city. Further, we use a dynamical network-based infectious disease model to understand the key drivers of disease spread at sub-kilometer scales demonstrated in the city of Ahmedabad, India, which has been classified as a SARS-CoV-2 hotspot. We find that in addition to the contact network and population density, road connectivity patterns and ease of transit are strongly correlated with the rate of transmission of the disease. Given the limited access to real-time traffic data during lockdowns, we generate road connectivity networks using open-source imageries and travel patterns from open-source surveys and government reports. Within the proposed framework, we then analyze the relative merits of social distancing, enforced lockdowns, and enhanced testing and quarantining mitigating the disease spread.


title: A new mechanism for gain in time dependent media

abstract: Time dependent systems do not in general conserve energy invalidating much of the theory developed for static systems and turning our intuition on its head. This is particularly acute in luminal space time crystals where the structure moves at or close to the velocity of light. Conventional Bloch wave theory no longer applies, energy grows exponentially with time, and a new perspective is required to understand the phenomenology. In this letter we identify a new mechanism for amplification: the compression of lines of force that are nevertheless conserved in number.


title: Half-Space Proximal Stochastic Gradient Method for Group-Sparsity Regularized Problem

abstract: Optimizing with group sparsity is significant in enhancing model interpretability in machining learning applications, e.g., feature selection, compressed sensing and model compression. However, for large-scale stochastic training problems, effective group sparsity exploration are typically hard to achieve. Particularly, the state-of-the-art stochastic optimization algorithms usually generate merely dense solutions. To overcome this shortage, we propose a stochastic method -- Half-space Stochastic Projected Gradient (HSPG) method to search solutions of high group sparsity while maintain the convergence. Initialized by a simple Prox-SG Step, the HSPG method relies on a novel Half-Space Step to substantially boost the sparsity level. Numerically, HSPG demonstrates its superiority in deep neural networks, e.g., VGG16, ResNet18 and MobileNetV1, by computing solutions of higher group sparsity, competitive objective values and generalization accuracy.


title: Resource reduction for simultaneous generation of two types of continuous variable nonclassical states

abstract: We demonstrate experimentally the simultaneous generation and detection of two types of continuous variable nonclassical states from one type-0 phase-matching optical parametric amplification (OPA) and subsequent two ring filter cavities (RFCs). The output field of the OPA includes the baseband {\omega}0 and sideband modes {\omega}0+/-n{\omega}f subjects to the cavity resonance condition, which are separated by two cascaded RFCs. The first RFC resonates with half the pump wavelength {\omega}0 and the transmitted baseband component is a squeezed state. The reflected fields of the first RFC, including the sideband modes {\omega}0+/-{\omega}f, are separated by the second RFC, construct Einstein-Podolsky-Rosen entangled state. All freedoms, including the filter cavities for sideband separation and relative phases for the measurements of these sidebands, are actively stabilized. The noise variance of squeezed states is 10.2 dB below the shot noise limit (SNL), the correlation variances of both quadrature amplitude-sum and quadrature phase-difference for the entanglement state are 10.0 dB below the corresponding SNL.


title: Computing the covering radius of a polytope with an application to lonely runners

abstract: We are concerned with the computational problem of determining the covering radius of a rational polytope. This parameter is defined as the minimal dilation factor that is needed for the lattice translates of the correspondingly dilated polytope to cover the whole space. As our main result, we describe a new algorithm for this problem, which is simpler, more efficient and easier to implement than the only prior algorithm of Kannan (1992). Motivated by a variant of the famous Lonely Runner Conjecture, we use its geometric interpretation in terms of covering radii of zonotopes, and apply our algorithm to prove the first open case of three runners with individual starting points.


title: The algebra of non-deterministic programs: demonic operators, orders and axioms

abstract: Demonic composition, demonic refinement and demonic union are alternatives to the usual "angelic" composition, angelic refinement (inclusion) and angelic (usual) union defined on binary relations. We first motivate both the angelic and demonic via an analysis of the behaviour of non-deterministic programs, with the angelic associated with partial correctness and demonic with total correctness, both cases emerging from a richer algebraic model of non-deterministic programs incorporating both aspects. Zareckii has shown that the isomorphism class of algebras of binary relations under angelic composition and inclusion is finitely axiomatised as the class of ordered semigroups. The proof can be used to establish that the same axiomatisation applies to binary relations under demonic composition and refinement, and a further modification of the proof can be used to incorporate a zero element representing the empty relation in the angelic case and the full relation in the demonic case. For the signature of angelic composition and union, it is known that no finite axiomatisation exists, and we show the analogous result for demonic composition and demonic union by showing that the same axiomatisation holds for both. We show that the isomorphism class of algebras of binary relations with the "mixed" signature of demonic composition and angelic inclusion has no finite axiomatisation. As a contrast, we show that the isomorphism class of partial algebras of binary relations with the partial operation of constellation product and inclusion (also a "mixed" signature) is finitely axiomatisable.


title: Probing the transition from dislocation jamming to pinning by machine learning

abstract: Collective motion of dislocations is governed by the obstacles they encounter. In pure crystals, dislocations form complex structures as they become jammed by their anisotropic shear stress fields. On the other hand, introducing disorder to the crystal causes dislocations to pin to these impeding elements and, thus, leads to a competition between dislocation-dislocation and dislocation-disorder interactions. Previous studies have shown that, depending on the dominating interaction, the mechanical response and the way the crystal yields change. Here we employ three-dimensional discrete dislocation dynamics simulations with varying density of fully coherent precipitates to study this phase transition $-$ from jamming to pinning $-$ using unsupervised machine learning. By constructing descriptors characterizing the evolving dislocation configurations during constant loading, a confusion algorithm is shown to be able to distinguish the systems into two separate phases. These phases agree well with the observed changes in the relaxation rate during the loading. Our results also give insights on the structure of the dislocation networks in the two phases.


title: Unidirectional Quantum Transport in Optically Driven $V$-type Quantum Dot Chains

abstract: We predict a mechanism for achieving complete population inversion in a continuously driven InAs/GaAs semiconductor quantum dot featuring $V$-type transitions. This highly nonequilibrium steady state is enabled by the interplay between $V$-type interband transitions and a non-Markovian decoherence mechanism, introduced by acoustic phonons. The population trapping mechanism is generalized to a chain of coupled emitters. Exploiting the population inversion, we predict unidirectional excitation transport from one end of the chain to the other without external bias, independent of the unitary interdot coupling mechanism.


title: Sensor Fault Detection and Isolation via Networked Estimation: Full-Rank Dynamical Systems

abstract: This paper considers the problem of simultaneous sensor fault detection, isolation, and networked estimation of linear full-rank dynamical systems. The proposed networked estimation is a variant of single time-scale protocol and is based on (i) consensus on \textit{a-priori} estimates and (ii) measurement innovation. The necessary connectivity condition on the sensor network and stabilizing block-diagonal gain matrix is derived based on our previous works. Considering additive faults in the presence of system and measurement noise, the estimation error at sensors is derived and proper residuals are defined for fault detection. Unlike many works in the literature, no simplifying upper-bound condition on the noise is considered and we assume Gaussian system/measurement noise. A probabilistic threshold is then defined for fault detection based on the estimation error covariance norm. Finally, a graph-theoretic sensor replacement scenario is proposed to recover possible loss of networked observability due to removing the faulty sensor. We examine the proposed fault detection and isolation scheme on an illustrative academic example to verify the results and make a comparison study with related literature.


title: Extrema of multi-dimensional Gaussian processes over random intervals

abstract: This paper studies the joint tail asymptotics of extrema of the multi-dimensional Gaussian process over random intervals defined as $$ P(u):=\mathbb{P}\left\{\cap_{i=1}^n \left(\sup_{t\in[0,\mathcal{T}_i]} ( X_{i}(t) +c_i t )>a_i u \right)\right\}, \ \ \ u\to\infty, $$ where $X_i(t), t\ge0$, $i=1,2,\cdots,n,$ are independent centered Gaussian processes with stationary increments, $\boldsymbol{\mathcal{T}}=(\mathcal{T}_1, \cdots, \mathcal{T}_n)$ is a regularly varying random vector with positive components, which is independent of the Gaussian processes, and $c_i\in \mathbb{R}$, $a_i>0$, $i=1,2,\cdots,n$. Our result shows that the structure of the asymptotics of $P(u)$ is determined by the signs of the drifts $c_i$'s. We also discuss a relevant multi-dimensional regenerative model and derive the corresponding ruin probability.


title: Non-Local Pearson diffusions

abstract: In this paper we focus on strong solutions of some heat-like problems with a non-local derivative in time induced by a Bernstein function and an elliptic operator given by the generator or the Fokker-Planck operator of a Pearson diffusion. Such kind of non-local equations naturally arise in the treatment of particle motion in heterogeneous media. In particular, we use spectral decomposition results for the usual Pearson diffusion to exploit explicit solutions of the aforementioned equations. Moreover, we provide stochastic representation of such solutions in terms of time-changed Pearson diffusions. Finally, we exploit some further properties of these processes, such as limit distributions and long/short-range dependence.


title: Computation Bits Maximization in a Backscatter Assisted Wirelessly Powered MEC Network

abstract: In this paper, we introduce a backscatter assisted wirelessly powered mobile edge computing (MEC) network, where each edge user (EU) can offload task bits to the MEC server via hybrid harvest-then-transmit (HTT) and backscatter communications. In particular, considering a practical non-linear energy harvesting (EH) model and a partial offloading scheme at each EU, we propose a scheme to maximize the weighted sum computation bits of all the EUs by jointly optimizing the backscatter reflection coefficient and time, active transmission power and time, local computing frequency and execution time of each EU. By introducing a series of auxiliary variables and using the properties of the non-linear EH model, we transform the original non-convex problem into a convex one and derive closedform expressions for parts of the optimal solutions. Simulation results demonstrate the advantage of the proposed scheme over benchmark schemes in terms of weighted sum computation bits.


title: Training CNNs in Presence of JPEG Compression: Multimedia Forensics vs Computer Vision

abstract: Convolutional Neural Networks (CNNs) have proved very accurate in multiple computer vision image classification tasks that required visual inspection in the past (e.g., object recognition, face detection, etc.). Motivated by these astonishing results, researchers have also started using CNNs to cope with image forensic problems (e.g., camera model identification, tampering detection, etc.). However, in computer vision, image classification methods typically rely on visual cues easily detectable by human eyes. Conversely, forensic solutions rely on almost invisible traces that are often very subtle and lie in the fine details of the image under analysis. For this reason, training a CNN to solve a forensic task requires some special care, as common processing operations (e.g., resampling, compression, etc.) can strongly hinder forensic traces. In this work, we focus on the effect that JPEG has on CNN training considering different computer vision and forensic image classification problems. Specifically, we consider the issues that rise from JPEG compression and misalignment of the JPEG grid. We show that it is necessary to consider these effects when generating a training dataset in order to properly train a forensic detector not losing generalization capability, whereas it is almost possible to ignore these effects for computer vision tasks.


title: External control of GaN band bending using phosphonate self-assembled monolayers

abstract: We report on the optoelectronic properties of GaN$(0001)$ and $(1\bar{1}00)$ surfaces after their functionalization with phosphonic acid derivatives. To analyze the possible correlation between the acid's electronegativity and the GaN surface band bending, two types of phosphonic acids, n-octylphosphonic acid (OPA) and 1H,1H,2H,2H-perfluorooctanephosphonic acid (PFOPA), are grafted on oxidized GaN$(0001)$ and GaN$(1\bar{1}00)$ layers as well as on GaN nanowires. The resulting hybrid inorganic/organic heterostructures are investigated by X-ray photoemission and photoluminescence spectroscopy. The GaN work function is changed significantly by the grafting of phosphonic acids, evidencing the formation of dense self-assembled monolayers. Regardless of the GaN surface orientation, both types of phosphonic acids significantly impact the GaN surface band bending. A dependence on the acids' electronegativity is, however, only observed for the oxidized GaN$(1\bar{1}00)$ surface, indicating a relatively low density of surface states and a favorable band alignment between the surface oxide and acids' electronic states. Regarding the optical properties, the covalent bonding of PFOPA and OPA on oxidized GaN layers and nanowires significantly affect their external quantum efficiency, especially in the nanowire case due to the large surface-to-volume ratio. The variation in the external quantum efficiency is related to the modication of both the internal electric fields and surface states. These results demonstrate the potential of phosphonate chemistry for the surface functionalization of GaN, which could be exploited for selective sensing applications.


title: IDLA aggregates with infinitely many sources and the directed IDLA forest

abstract: We investigate three types of Internal Diffusion Limited Aggregation (IDLA) models. These models are based on simple random walks on $\mathbf{Z}^2$ with infinitely many sources that are the points of the vertical axis $I(\infty)=\{0\}\times\mathbf{Z}$. Various properties are provided, such as stationarity, mixing, stabilization and shape theorems. Our results allow us to define a new directed (w.r.t. the horizontal direction) random forest spanning $\mathbf{Z}^2$, based on an IDLA protocol, which is invariant in distribution w.r.t. vertical translations.


title: Necessary/sufficient conditions in weighted theory

abstract: We provide an essentially complete dictionary of all implications among the basic and fundamental conditions in weighted theory such as the doubling, one weight A_p(w), A_\infty and C_p conditions as well as the two weight A_p and the "buffer" Energy and Pivotal conditions. The most notable implication is that in the case of A_\infty weights the two weight A_p condition implies the p-Pivotal condition hence giving an elegant and short proof of the known NTV-conjecture with p=2 for A_\infty weights in terms of existing T1 theory. We also provide a quite technical construction inspired by [6] proving that we can have doubling weights satisfying the C_p condition which are not in A_\infty.


title: Copula-Based Factor Model for Credit Risk Analysis

abstract: A standard quantitative method to access credit risk employs a factor model based on joint multivariate normal distribution properties. By extending a one-factor Gaussian copula model to make a more accurate default forecast, this paper proposes to incorporate a state-dependent recovery rate into the conditional factor loading, and model them by sharing a unique common factor. The common factor governs the default rate and recovery rate simultaneously and creates their association implicitly. In accordance with Basel III, this paper shows that the tendency of default is more governed by systematic risk rather than idiosyncratic risk during a hectic period. Among the models considered, the one with random factor loading and a state-dependent recovery rate turns out to be the most superior on the default prediction.


title: Designing Day-Ahead Multi-carrier Markets for Flexibility: Models and Clearing Algorithms

abstract: There is an intrinsic value in higher integration of multi-carrier energy systems (especially gas and electricity), to increase operational flexibility in the electricity system and to improve allocation of resources in gas and electricity networks. The integration of different energy carrier markets is challenging due to the existence of physical and economic dependencies between the different energy carriers. We propose in this paper an integrated day-ahead multi-carrier gas, electricity and heat market clearing which includes new types of orders and constraints on these orders to represent techno-economic constraints of conversion and storage technologies. We prove that the proposed market clearing gives rise to competitive equilibria. In addition, we propose two decentralised clearing algorithms which differ in how the decomposition of the underlying centralised clearing optimisation problem is performed. This has implications in terms of the involved agents and their mutual information exchange. It is proven that they yield solutions equivalent to the centralised market clearing under a mild assumption of sufficient number of iterations. We argue that such an integrated multi-carrier energy market mitigates (spot) market risks faced by market participants and enables better spot pricing of the different energy carriers. The results show that conversion/storage technology owners would suffer from losses and/or opportunity costs, if they were obliged to only use elementary orders. For the test cases considered in this article, sum of losses and opportunity costs could reach up to 13,000 EUR/day and 9,000 EUR/day respectively, compared with the case where conversion and storage orders are used.


title: On Pole-Zero Assignment of Vibratory Systems by Multi-Input Feedback Control

abstract: In this paper, we consider the pole-zero assignment problem for vibratory systems via multi-input feedback control. We propose a multi-step two-stage approach for solving the multi-input pole-zero assignment problem. We first reformulate the assignment problem as a multi-step single-input pole-zero assignment problem. Then, in each step, we propose a two-stage approach for solving the single-input pole-zero assignment problem. In the first stage, based on the measured receptances, we replace the selected zeros of the prescribed open-loop point receptance to the desired locations, where we need to solve a small underdetermined linear equation for finding the corresponding columns of the feedback matrices. In the second stage, by using linear matrix inequalities, the complete closed-loop poles are assigned to the prescribed subregion of the complex left-hand plane. Finally, we give some numerical examples to demonstrate the effectiveness of our method.


title: Fully reconfigurable coherent optical vector-matrix multiplication

abstract: Optics is a promising platform in which to help realise the next generation of fast, parallel and energy-efficient computation. We demonstrate a reconfigurable free-space optical multiplier that is capable of over 3000 computations in parallel, using spatial light modulators with a pixel resolution of only 340x340. This enables vector-matrix multiplication and parallel vector-vector multiplication with vector size of up to 56. Our design is the first to simultaneously support optical implementation of reconfigurable, large-size and real-valued linear algebraic operations. Such an optical multiplier can serve as a building block of special-purpose optical processors such as optical neural networks and optical Ising machines.


title: Optical transceivers for event triggers in the ATLAS phase-I upgrade

abstract: The ATLAS phase-I upgrade aims to enhance event trigger performance in the Liquid Argon (LAr) calorimeter and the forward muon spectrometer. The trigger signals are transmitted by optical transceivers at 5.12 Gbps per channel in a radiation field. We report the design, quality control in production and ageing test of the transceivers fabricated with the LOCld laser driver and multi-mode 850 nm vertical-cavity surface-emitting laser (VCSEL). The modules are packaged in miniature formats of dual-channel transmitter (MTx) and transceiver (MTRx) for the LAr. The transmitters are also packaged in small form-factor pluggable (SFP) for the muon spectrometer. In production, the LOCld chips and VCSELs in TOSA package were examined before assembly. All of the modules were tested and selected during production for quality control based on the eye-diagram parameters measured at 5.12 Gbps. The yield is 98 % for both the MTx and MTRx on a total 4.7k modules. The uniformity of transmitter channels of a MTx was assured by choosing the TOSA components with approximately equal light powers. The ageing effect is monitored in burn-in of a small batch of transmitter modules with bit-error test and eye-diagrams measured periodically. The observables are stable with the light power degradation within 5 % over a period of more than 6k hours.


title: Parsisanj: a semi-automatic component-based approach towards search engine evaluation

abstract: Accessing to required data on the internet is wide via search engines in the last two decades owing to the huge amount of available data and the high rate of new data is generating daily. Accordingly, search engines are encouraged to make the most valuable existing data on the web searchable. Knowing how to handle a large amount of data in each step of a search engines' procedure from crawling to indexing and ranking is just one of the challenges that a professional search engine should solve. Moreover, it should also have the best practices in handling users' traffics, state-of-the-art natural language processing tools, and should also address many other challenges on the edge of science and technology. As a result, evaluating these systems is too challenging due to the level of internal complexity they have, and is crucial for finding the improvement path of the existing system. Therefore, an evaluation procedure is a normal subsystem of a search engine that has the role of building its roadmap. Recently, several countries have developed national search engine programs to build an infrastructure to provide special services based on their needs on the available data of their language on the web. This research is conducted accordingly to enlighten the advancement path of two Iranian national search engines: Yooz and Parsijoo in comparison with two international ones, Google and Bing. Unlike related work, it is a semi-automatic method to evaluate the search engines at the first pace. Eventually, we obtained some interesting results which based on them the component-based improvement roadmap of national search engines could be illustrated concretely.


title: Resource-Constrained On-Device Learning by Dynamic Averaging

abstract: The communication between data-generating devices is partially responsible for a growing portion of the world's power consumption. Thus reducing communication is vital, both, from an economical and an ecological perspective. For machine learning, on-device learning avoids sending raw data, which can reduce communication substantially. Furthermore, not centralizing the data protects privacy-sensitive data. However, most learning algorithms require hardware with high computation power and thus high energy consumption. In contrast, ultra-low-power processors, like FPGAs or micro-controllers, allow for energy-efficient learning of local models. Combined with communication-efficient distributed learning strategies, this reduces the overall energy consumption and enables applications that were yet impossible due to limited energy on local devices. The major challenge is then, that the low-power processors typically only have integer processing capabilities. This paper investigates an approach to communication-efficient on-device learning of integer exponential families that can be executed on low-power processors, is privacy-preserving, and effectively minimizes communication. The empirical evaluation shows that the approach can reach a model quality comparable to a centrally learned regular model with an order of magnitude less communication. Comparing the overall energy consumption, this reduces the required energy for solving the machine learning task by a significant amount.


title: Packing and doubling in metric spaces with curvature bounded above

abstract: We study locally compact, locally geodesically complete, locally CAT(k) spaces (GCBA(k)-spaces). We prove a Croke-type local volume estimate only depending on the dimension of these spaces. We show that a local doubling condition, with respect to the natural measure, implies pure-dimensionality. Then, we consider GCBA(k)-spaces satisfying a uniform packing condition at some fixed scale or a doubling condition at arbitrarily small scale, and prove several compactness results with respect to pointed Gromov-Hausdorff convergence. Finally, as a particular case, we study convergence and stability of M^k-complexes with bounded geometry.


title: EVM-Constrained and Mask-Compliant MIMO-OFDM Spectral Precoding

abstract: Spectral precoding is a promising technique to suppress out-of-band emissions and comply with leakage constraints over adjacent frequency channels and with mask requirements on the unwanted emissions. However, spectral precoding may distort the original data vector, which is formally expressed as the error vector magnitude (EVM) between the precoded and original data vectors. Notably, EVM has a deleterious impact on the performance of multiple-input multiple-output orthogonal frequency division multiplexing-based systems. In this paper we propose a novel spectral precoding approach which constrains the EVM while complying with the mask requirements. We first formulate and solve the EVM-unconstrained mask-compliant spectral precoding problem, which serves as a springboard to the design of two EVM-constrained spectral precoding schemes. The first scheme takes into account a wideband EVM-constraint which limits the average in-band distortion. The second scheme takes into account frequency-selective EVM-constraints, and consequently, limits the signal distortion at the subcarrier level. Numerical examples illustrate that both proposed schemes outperform previously developed schemes in terms of important performance indicators such as block error rate and system-wide throughput while complying with spectral mask and EVM constraints.


title: Compressed Basis GMRES on High Performance GPUs

abstract: Krylov methods provide a fast and highly parallel numerical tool for the iterative solution of many large-scale sparse linear systems. To a large extent, the performance of practical realizations of these methods is constrained by the communication bandwidth in all current computer architectures, motivating the recent investigation of sophisticated techniques to avoid, reduce, and/or hide the message-passing costs (in distributed platforms) and the memory accesses (in all architectures). This paper introduces a new communication-reduction strategy for the (Krylov) GMRES solver that advocates for decoupling the storage format (i.e., the data representation in memory) of the orthogonal basis from the arithmetic precision that is employed during the operations with that basis. Given that the execution time of the GMRES solver is largely determined by the memory access, the datatype transforms can be mostly hidden, resulting in the acceleration of the iterative step via a lower volume of bits being retrieved from memory. Together with the special properties of the orthonormal basis (whose elements are all bounded by 1), this paves the road toward the aggressive customization of the storage format, which includes some floating point as well as fixed point formats with little impact on the convergence of the iterative process. We develop a high performance implementation of the "compressed basis GMRES" solver in the Ginkgo sparse linear algebra library and using a large set of test problems from the SuiteSparse matrix collection we demonstrate robustness and performance advantages on a modern NVIDIA V100 GPU of up to 50% over the standard GMRES solver that stores all data in IEEE double precision.


title: Focus-Constrained Attention Mechanism for CVAE-based Response Generation

abstract: To model diverse responses for a given post, one promising way is to introduce a latent variable into Seq2Seq models. The latent variable is supposed to capture the discourse-level information and encourage the informativeness of target responses. However, such discourse-level information is often too coarse for the decoder to be utilized. To tackle it, our idea is to transform the coarse-grained discourse-level information into fine-grained word-level information. Specifically, we firstly measure the semantic concentration of corresponding target response on the post words by introducing a fine-grained focus signal. Then, we propose a focus-constrained attention mechanism to take full advantage of focus in well aligning the input to the target response. The experimental results demonstrate that by exploiting the fine-grained signal, our model can generate more diverse and informative responses compared with several state-of-the-art models.


title: A mathematical model for whorl fingerprint

abstract: Different classes of the whorl fingerprint are discussed. A general dynamical system with a parameter theta is created using differential equations to simulate these classes by varying the value of theta. The global dynamics is studied, and the existence and stability of equilibria are analyzed. The Maple is used to visualize fingerprint orientation image as a smooth deformation of the phase portrait of a planar dynamical system.


title: Macroscopic Quantum Electrodynamics and Density Functional Theory Approaches to Dispersion Interactions between Fullerenes

abstract: The processing and material properties of commercial organic semiconductors, for e.g. fullerenes is largely controlled by their precise arrangements, specially intermolecular symmetries, distances and orientations, more specifically, molecular polarisabilities. These supramolecular parameters heavily influence their electronic structure, thereby determining molecular photophysics and therefore dictating their usability as n-type semiconductors. In this article we evaluate van der Waals potentials of a fullerene dimer model system using two approaches: a) Density Functional Theory and, b) Macroscopic Quantum Electrodynamics, which is particularly suited for describing long-range van der Waals interactions. Essentially, we determine and explain the model symmetry, distance and rotational dependencies on binding energies and spectral changes. The resultant spectral tuning is compared using both methods showing correspondence within the constraints placed by the different model assumptions. We envision that the application of macroscopic methods and structure/property relationships laid forward in this article will find use in fundamental supramolecular electronics.


title: Incentivizing Stable Path Selection in Future Internet Architectures

abstract: By delegating path control to end-hosts, future Internet architectures offer flexibility for path selection. However, there is a concern that the distributed routing decisions by end-hosts, in particular load-adaptive routing, can lead to oscillations if path selection is performed without coordination or accurate load information. Prior research has addressed this problem by devising path-selection policies that lead to stability. However, little is known about the viability of these policies in the Internet context, where selfish end-hosts can deviate from a prescribed policy if such a deviation is beneficial fromtheir individual perspective. In order to achieve network stability in future Internet architectures, it is essential that end-hosts have an incentive to adopt a stability-oriented path-selection policy. In this work, we perform the first incentive analysis of the stability-inducing path-selection policies proposed in the literature. Building on a game-theoretic model of end-host path selection, we show that these policies are in fact incompatible with the self-interest of end-hosts, as these strategies make it worthwhile to pursue an oscillatory path-selection strategy. Therefore, stability in networks with selfish end-hosts must be enforced by incentive-compatible mechanisms. We present two such mechanisms and formally prove their incentive compatibility.


title: With Whom to Communicate: Learning Efficient Communication for Multi-Robot Collision Avoidance

abstract: Decentralized multi-robot systems typically perform coordinated motion planning by constantly broadcasting their intentions as a means to cope with the lack of a central system coordinating the efforts of all robots. Especially in complex dynamic environments, the coordination boost allowed by communication is critical to avoid collisions between cooperating robots. However, the risk of collision between a pair of robots fluctuates through their motion and communication is not always needed. Additionally, constant communication makes much of the still valuable information shared in previous time steps redundant. This paper presents an efficient communication method that solves the problem of "when" and with "whom" to communicate in multi-robot collision avoidance scenarios. In this approach, every robot learns to reason about other robots' states and considers the risk of future collisions before asking for the trajectory plans of other robots. We evaluate and verify the proposed communication strategy in simulation with four quadrotors and compare it with three baseline strategies: non-communicating, broadcasting and a distance-based method broadcasting information with quadrotors within a predefined distance.


title: On Suslin Matrices and their connection to Spin groups

abstract: A concrete representation of the Clifford algebra (for any hyperbolic quadratic space) is given using what are called Suslin matrices. This explicit construction is used to analyze the corresponding Spin groups and the involution and might be of interest in low dimensional computations. Conversely, this connection to Clifford algebras gives a conceptual foundation to some (seemingly accidental) properties of Suslin matrices.


title: Survey of ortho-H$_2$D$^+$ in high-mass star-forming regions

abstract: (Abridged) We present a large sample of o-H$_2$D$^+$ observations in high-mass star-forming regions and discuss possible empirical correlations with relevant physical quantities to assess its role as a chronometer of star-forming regions through different evolutionary stages. APEX observations of the ground-state transition of o-H$_2$D$^+$ were analysed in a sample of massive clumps selected from ATLASGAL at different evolutionary stages. Column densities and beam-averaged abundances of o-H$_2$D$^+$ with respect to H$_2$, $X$(o-H$_2$D$^+$), were obtained by modelling the spectra under the assumption of local thermodynamic equilibrium. We detect 16 sources in o-H$_2$D$^+$ and find clear correlations between $X$(o-H$_2$D$^+$) and the clump bolometric luminosity and the dust temperature, while only a mild correlation is found with the CO-depletion factor. In addition, we see a clear correlation with the luminosity-to-mass ratio, which is known to trace the evolution of the star formation process. This would indicate that the deuterated forms of H$_3^+$ are more abundant in the early stages of the star formation process and that deuteration is influenced by the time evolution of the clumps. In this respect, our findings would suggest that the $X$(o-H$_2$D$^+$) abundance is mainly affected by the thermal changes rather than density changes in the gas. We have employed these findings together with observations of H$^{13}$CO$^+$, DCO$^+$, and C$^{17}$O to provide an estimate of the cosmic-ray ionisation rate in a sub-sample of eight clumps based on recent analytical work. Our study presents the largest sample of o-H$_2$D$^+$ in star-forming regions to date. The results confirm that the deuteration process is strongly affected by temperature and suggests that o-H$_2$D$^+$ can be considered a reliable chemical clock during the star formation processes, as proved by its strong temporal dependence.


title: Optimizing direct laser-driven electron acceleration and energy gain at ELI-NP

abstract: We study and discuss electron acceleration in vacuum interacting with fundamental Gaussian pulses using specific parameters relevant for the multi-PW femtosecond lasers at ELI-NP. Taking into account the characteristic properties of both linearly and circularly polarized Gaussian beams near focus we have calculated the optimal values of beam waist leading to the most energetic electrons for given laser power. The optimal beam waist at full width at half maximum correspond to few tens of wavelengths, $\Delta w_0=\left\{13,23,41\right\}\lambda_0$, for increasing laser power $P_0 = \left\{0.1,1,10\right\}$ PW. Using these optimal values we found an average energy gain of a few MeV and highest-energy electrons of about $160$ MeV in full-pulse interactions and in the GeV range in case of half-pulse interaction.


title: Similarity of multiple dose-response curves in interlaboratory studies in regulatory toxicology

abstract: To claim similarity of multiple dose-response curves in interlaboratory studies in regulatory toxicology is a relevant issue during the assay validation process. Here we demonstrated the use of dose-by-laboratory interaction contrasts, particularly Williams-type by total mean contrasts. With the CRAN packages statint and multcomp in the open-source software R the estimation of adjusted p-values or compatible simultaneous confidence intervals is relatively easy. The interpretation in terms of global or partial equivalence, i.e. similarity, is challenging, because thresholds are not available a-priori. This approach is demonstrated by selected in-vitro Ames MPF assay data.


title: Enhancing MRI Brain Tumor Segmentation with an Additional Classification Network

abstract: Brain tumor segmentation plays an essential role in medical image analysis. In recent studies, deep convolution neural networks (DCNNs) are extremely powerful to tackle tumor segmentation tasks. We propose in this paper a novel training method that enhances the segmentation results by adding an additional classification branch to the network. The whole network was trained end-to-end on the Multimodal Brain Tumor Segmentation Challenge (BraTS) 2020 training dataset. On the BraTS's validation set, it achieved an average Dice score of 78.43%, 89.99%, and 84.22% respectively for the enhancing tumor, the whole tumor, and the tumor core.


title: Euclid preparation: X. The Euclid photometric-redshift challenge

abstract: Forthcoming large photometric surveys for cosmology require precise and accurate photometric redshift (photo-z) measurements for the success of their main science objectives. However, to date, no method has been able to produce photo-$z$s at the required accuracy using only the broad-band photometry that those surveys will provide. An assessment of the strengths and weaknesses of current methods is a crucial step in the eventual development of an approach to meet this challenge. We report on the performance of 13 photometric redshift code single value redshift estimates and redshift probability distributions (PDZs) on a common set of data, focusing particularly on the 0.2--2.6 redshift range that the Euclid mission will probe. We design a challenge using emulated Euclid data drawn from three photometric surveys of the COSMOS field. The data are divided into two samples: one calibration sample for which photometry and redshifts are provided to the participants; and the validation sample, containing only the photometry, to ensure a blinded test of the methods. Participants were invited to provide a redshift single value estimate and a PDZ for each source in the validation sample, along with a rejection flag that indicates sources they consider unfit for use in cosmological analyses. The performance of each method is assessed through a set of informative metrics, using cross-matched spectroscopic and highly-accurate photometric redshifts as the ground truth. We show that the rejection criteria set by participants are efficient in removing strong outliers, sources for which the photo-z deviates by more than 0.15(1+z) from the spectroscopic-redshift (spec-z). We also show that, while all methods are able to provide reliable single value estimates, several machine-learning methods do not manage to produce useful PDZs. [abridged]


title: Towards the interpretation of time-varying regularization parameters in streaming penalized regression models

abstract: High-dimensional, streaming datasets are ubiquitous in modern applications. Examples range from finance and e-commerce to the study of biomedical and neuroimaging data. As a result, many novel algorithms have been proposed to address challenges posed by such datasets. In this work, we focus on the use of $\ell_1$ regularized linear models in the context of (possibly non-stationary) streaming data Recently, it has been noted that the choice of the regularization parameter is fundamental in such models and several methods have been proposed which iteratively tune such a parameter in a~time-varying manner; thereby allowing the underlying sparsity of estimated models to vary. Moreover, in many applications, inference on the regularization parameter may itself be of interest, as such a parameter is related to the underlying \textit{sparsity} of the model. However, in this work, we highlight and provide extensive empirical evidence regarding how various (often unrelated) statistical properties in the data can lead to changes in the regularization parameter. In particular, through various synthetic experiments, we demonstrate that changes in the regularization parameter may be driven by changes in the true underlying sparsity, signal-to-noise ratio or even model misspecification. The purpose of this letter is, therefore, to highlight and catalog various statistical properties which induce changes in the associated regularization parameter. We conclude by presenting two applications: one relating to financial data and another to neuroimaging data, where the aforementioned discussion is relevant.


title: Pareto efficient combinatorial auctions: dichotomous preferences without quasilinearity

abstract: We consider a combinatorial auction model where preferences of agents over bundles of objects and payments need not be quasilinear. However, we restrict the preferences of agents to be dichotomous. An agent with dichotomous preference partitions the set of bundles of objects as acceptable} and unacceptable, and at the same payment level, she is indifferent between bundles in each class but strictly prefers acceptable to unacceptable bundles. We show that there is no Pareto efficient, dominant strategy incentive compatible (DSIC), individually rational (IR) mechanism satisfying no subsidy if the domain of preferences includes all dichotomous preferences. However, a generalization of the VCG mechanism is Pareto efficient, DSIC, IR and satisfies no subsidy if the domain of preferences contains only positive income effect dichotomous preferences. We show the tightness of this result: adding any non-dichotomous preference (satisfying some natural properties) to the domain of quasilinear dichotomous preferences brings back the impossibility result.


title: Towards Reconstructing Multi-Step Cyber Attacks in Modern Cloud Environments with Tripwires

abstract: Rapidly-changing cloud environments that consist of heavily interconnected components are difficult to secure. Existing solutions often try to correlate many weak indicators to identify and reconstruct multi-step cyber attacks. The lack of a true, causal link between most of these indicators still leaves administrators with a lot of false-positives to browse through. We argue that cyber deception can improve the precision of attack detection systems, if used in a structured, and automatic way, i.e., in the form of so-called tripwires that ultimately span an attack graph, which assists attack reconstruction algorithms. This paper proposes an idea for a framework that combines cyber deception, automatic tripwire injection and attack graphs, which eventually enables us to reconstruct multi-step cyber attacks in modern cloud environments.


title: Beyond PS-LTE: Security Model Design Framework for PPDR Operational Environment

abstract: National disasters can threaten national security and require several organizations to integrate the functionalities to correspond to the event. Many countries are constructing a nationwide mobile communication network infrastructure to share information and promptly communicate with corresponding organizations. Public Safety Long-Term Evolution (PS-LTE) is a communication mechanism adopted in many countries to achieve such a purpose. Organizations can increase the efficiency of public protection and disaster relief (PPDR) operations by securely connecting the services run on their legacy networks to the PS-LTE infrastructure. This environment allows the organizations to continue facilitating the information and system functionalities provided by the legacy network. The vulnerabilities in the environment, which differ from commercial LTE, need to be resolved to connect the network securely. In this study, we propose a security model design framework to derive the system architecture and the security requirements targeting the restricted environment applied by certain technologies for a particular purpose. After analyzing the PPDR operation environment's characteristics under the PS-LTE infrastructure, we applied the framework to derive the security model for organizations using PPDR services operated in their legacy networks through this infrastructure. Although the proposed security model design framework is applied to the specific circumstance in this research, it can be generally adopted for the application environment.


title: Magnetic sensing at zero field with a single nitrogen-vacancy center

abstract: Single nitrogen-vacancy (NV) centers are widely used as nanoscale sensors for magnetic and electric fields, strain and temperature. Nanoscale magnetometry using NV centers allows for example to quantitatively measure local magnetic fields produced by vortices in superconductors, topological spin textures such as skyrmions, as well as to detect nuclear magnetic resonance signals. However one drawback when used as magnetic field sensor has been that an external bias field is required to perform magnetometry with NV centers. In this work we demonstrate a technique which allows access to a regime where no external bias field is needed. This enables new applications in which this bias field might disturb the system under investigation. Furthermore, we show that our technique is sensitive enough to detect spins outside of the diamond which enables nanoscale zero- to ultralow-field nuclear magnetic resonance.


title: Signing Information in the Quantum Era

abstract: Signatures are primarily used as a mark of authenticity, to demonstrate that the sender of a message is who they claim to be. In the current digital age, signatures underpin trust in the vast majority of information that we exchange, particularly on public networks such as the internet. However, schemes for signing digital information which are based on assumptions of computational complexity are facing challenges from advances in mathematics, the capability of computers, and the advent of the quantum era. Here we present a review of digital signature schemes, looking at their origins and where they are under threat. Next, we introduce post-quantum digital schemes, which are being developed with the specific intent of mitigating against threats from quantum algorithms whilst still relying on digital processes and infrastructure. Finally, we review schemes for signing information carried on quantum channels, which promise provable security metrics. Signatures were invented as a practical means of authenticating communications and it is important that the practicality of novel signature schemes is considered carefully, which is kept as a common theme of interest throughout this review.


title: Unknottability of spatial graphs by region crossing changes

abstract: A region crossing change is a local transformation on spatial graph diagrams switching the over/under relations at all the crossings on the boundary of a region. In this paper, we show that a spatial graph of a planar graph is unknottable by region crossing changes if and only if the spatial graph is non-Eulerian or is Eulerian and proper.


title: Lepton flavor model with modular $A_4$ symmetry in large volume limit

abstract: We consider the modular symmetry associated with the compactification of extra dimensions as the flavor symmetry on lepton sector. Especially, we propose a model based on the modular $A_4$ symmetry with three right-handed neutrinos and a gauge singlet Higgs, which works well in the so-called large volume limit of the extra dimensions, i.e., $\mbox{Im}\tau \to \infty$ for a modulus $\tau$. The right-handed neutrinos are introduced to realize the seesaw mechanism for tiny neutrino masses observed in oscillation experiments. The vacuum expectation value of the singlet Higgs gives the Majorana masses for right-handed neutrinos and the $\mu$-term for Higgs fields. The model can explain the observed masses and mixing angles of neutrinos successfully. We find that one of the mixing angles should be in the range $\sin^2 \theta_{23} \ge 0.58$. Importantly, the CP violating phases of neutrinos are predicted in the two restricted regions. One is that the Dirac phase is $\delta_{\rm CP} \simeq - 0.5 \pi$ and the Majorana phases are $\alpha_{21} \simeq 0$ and $\alpha_{31} \simeq \pi$. The other is $\delta_{\rm CP} \simeq + 0.5 \pi$, $\alpha_{21} \simeq 2 \pi$ and $\alpha_{31} \simeq \pi$. The effective neutrino mass in the neutrinoless double beta decay is found to be $m_{\rm eff} = 0.037$--0.047 eV. These predictions will be tested in the future neutrino experiments.


title: A Machine Learning Based Regulatory Risk Index for Cryptocurrencies

abstract: Cryptocurrencies' values often respond aggressively to major policy changes, but none of the existing indices informs on the market risks associated with regulatory changes. In this paper, we quantify the risks originating from new regulations on FinTech and cryptocurrencies (CCs), and analyse their impact on market dynamics. Specifically, a Cryptocurrency Regulatory Risk IndeX (CRRIX) is constructed based on policy-related news coverage frequency. The unlabeled news data are collected from the top online CC news platforms and further classified using a Latent Dirichlet Allocation model and Hellinger distance. Our results show that the machine-learning-based CRRIX successfully captures major policy-changing moments. The movements for both the VCRIX, a market volatility index, and the CRRIX are synchronous, meaning that the CRRIX could be helpful for all participants in the cryptocurrency market. The algorithms and Python code are available for research purposes on www.quantlet.de.


title: Planar lattice subsets with minimal vertex boundary

abstract: A subset of vertices of a graph is minimal if, within all subsets of the same size, its vertex boundary is minimal. We give a complete, geometric characterization of minimal sets for the planar integer lattice X. Our characterization elucidates the structure of all minimal sets, and we are able to use it to obtain several applications. We characterize uniquely minimal sets of X: those which are congruent to any other minimal set of the same size. We also classify all efficient sets of X: those that have maximal size amongst all such sets with a fixed vertex boundary. We define and investigate the graph G of minimal sets whose vertices are congruence classes of minimal sets of X and whose edges connect vertices which can be represented by minimal sets that differ by exactly one vertex. We prove that G has exactly one infinite component, has infinitely many isolated vertices and has bounded components of arbitrarily large size. Finally, we show that all minimal sets, except one, are connected.


title: Longitudinal phase space synthesis with tailored 3D-printable dielectric-lined waveguides

abstract: Longitudinal phase space manipulation is a critical and necessary component for advanced acceleration concepts, radiation sources and improving performances of X-ray free electron lasers. Here we present a simple and versatile method to semi-arbitrarily shape the longitudinal phase space of a charged bunch by using wakefields generated in tailored dielectric-lined waveguides. We apply the concept in simulation and provide examples for radiation generation and bunch compression. We finally discuss the manufacturing capabilities of a modern 3D printer and investigate how printing limitations, as well as the shape of the input LPS affect the performance of the device.


title: On the no-gap second-order optimality conditions for a non-smooth semilinear elliptic optimal control

abstract: This work is concerned with second-order necessary and sufficient optimality conditions for optimal control of a non-smooth semilinear elliptic partial differential equation, where the nonlinearity is the non-smooth max-function and thus the associated control-to-state operator is in general not G\^{a}teaux-differentiable. In addition to standing assumptions, two main hypotheses are imposed. The first one is the G\^{a}teaux-differentiability at the considered control of the objective functional and it is precisely characterized by the vanishing of an adjoint state on the active set. The second one is a structural assumption on the 'almost' active sets, i.e., the sets of all points at which the values of the interested state are 'close' to the non-differentiability point of the max-function. We then derive a 'no-gap' theory of second-order optimality conditions in terms of an abstract curvature functional, i.e., for which the only change between necessary or sufficient second-order optimality conditions is between a strict and non strict inequality.


title: Towards the Automation of a Chemical Sulphonation Process with Machine Learning

abstract: Nowadays, the continuous improvement and automation of industrial processes has become a key factor in many fields, and in the chemical industry, it is no exception. This translates into a more efficient use of resources, reduced production time, output of higher quality and reduced waste. Given the complexity of today's industrial processes, it becomes infeasible to monitor and optimize them without the use of information technologies and analytics. In recent years, machine learning methods have been used to automate processes and provide decision support. All of this, based on analyzing large amounts of data generated in a continuous manner. In this paper, we present the results of applying machine learning methods during a chemical sulphonation process with the objective of automating the product quality analysis which currently is performed manually. We used data from process parameters to train different models including Random Forest, Neural Network and linear regression in order to predict product quality values. Our experiments showed that it is possible to predict those product quality values with good accuracy, thus, having the potential to reduce time. Specifically, the best results were obtained with Random Forest with a mean absolute error of 0.089 and a correlation of 0.978.


title: Numerical Study of the Thermodynamic Uncertainty Relation for the KPZ-Equation

abstract: A general framework for the field-theoretic thermodynamic uncertainty relation was recently proposed and illustrated with the $(1+1)$ dimensional Kardar-Parisi-Zhang equation. In the present paper, the analytical results obtained there in the weak coupling limit are tested via a direct numerical simulation of the KPZ equation with good agreement. The accuracy of the numerical results varies with the respective choice of discretization of the KPZ non-linearity. Whereas the numerical simulations strongly support the analytical predictions, an inherent limitation to the accuracy of the approximation to the total entropy production is found. In an analytical treatment of a generalized discretization of the KPZ non-linearity, the origin of this limitation is explained and shown to be an intrinsic property of the employed discretization scheme.


title: The birth of the strong components

abstract: Random directed graphs $D(n,p)$ undergo a phase transition around the point $p = 1/n$, and the width of the transition window has been known since the works of Luczak and Seierstad. They have established that as $n \to \infty$ when $p = (1 + \mu n^{-1/3})/n$, the asymptotic probability that the strongly connected components of a random directed graph are only cycles and single vertices decreases from 1 to 0 as $\mu$ goes from $-\infty$ to $\infty$. By using techniques from analytic combinatorics, we establish the exact limiting value of this probability as a function of $\mu$ and provide more properties of the structure of a random digraph around, below and above its transition point. We obtain the limiting probability that a random digraph is acyclic and the probability that it has one strongly connected complex component with a given difference between the number of edges and vertices (called excess). Our result can be extended to the case of several complex components with given excesses as well in the whole range of sparse digraphs. Our study is based on a general symbolic method which can deal with a great variety of possible digraph families, and a version of the saddle point method which can be systematically applied to the complex contour integrals appearing from the symbolic method. While the technically easiest model is the model of random multidigraphs, in which multiple edges are allowed, and where edge multiplicities are sampled independently according to a Poisson distribution with a fixed parameter $p$, we also show how to systematically approach the family of simple digraphs, where multiple edges are forbidden, and where 2-cycles are either allowed or not. Our theoretical predictions are supported by numerical simulations, and we provide tables of numerical values for the integrals of Airy functions that appear in this study.


title: Non-optimality of conical parts for Newton's problem of minimal resistance in the class of convex bodies and the limiting case of infinite height

abstract: We consider Newton's problem of minimal resistance, in particular we address the problem arising in the limit if the height goes to infinity. We establish existence of solutions and lack radial symmetry of solutions. Moreover, we show that certain conical parts contained in the boundary of a convex body inhibit the optimality in the classical Newton's problem with finite height. This result is applied to certain bodies considered in the literature, which are conjectured to be optimal for the classical Newton's problem, and we show that they are not.


title: A first econometric analysis of the CRIX family

abstract: In order to price contingent claims one needs to first understand the dynamics of these indices. Here we provide a first econometric analysis of the CRIX family within a time-series framework. The key steps of our analysis include model selection, estimation and testing. Linear dependence is removed by an ARIMA model, the diagnostic checking resulted in an ARIMA(2,0,2) model for the available sample period from Aug 1st, 2014 to April 6th, 2016. The model residuals showed the well known phenomenon of volatility clustering. Therefore a further refinement lead us to an ARIMA(2,0,2)-t-GARCH(1,1) process. This specification conveniently takes care of fat-tail properties that are typical for financial markets. The multivariate GARCH models are implemented on the CRIX index family to explore the interaction.


title: Topology of Clique Complexes of Line Graphs

abstract: The clique complex of a graph G is a simplicial complex whose simplices are all the cliques of G, and the line graph L(G) of G is a graph whose vertices are the edges of G and the edges of L(G) are incident edges of G. In this article, we determine the homotopy type of the clique complexes of line graphs for several classes of graphs including triangle-free graphs, chordal graphs, complete multipartite graphs, wheel-free graphs, and 4-regular circulant graphs. We also give a closed form formula for the homotopy type of these complexes in several cases.


title: On boundary correlations in planar Ashkin-Teller models

abstract: We generalize the switching lemma of Griffiths, Hurst and Sherman to the random current representation of the Ashkin-Teller model. We then use it together with properties of two-dimensional topology to derive linear relations for multi-point boundary spin correlations and bulk order-disorder correlations in planar models. We also show that the same linear relations are satisfied by products of Pfaffians. As a result a clear picture arises in the noninteracting case of two independent Ising models where multi-point correlation functions are given by Pfaffians and determinants of their respective two-point functions. This gives a unified treatment of both the classical Pfaffian identities and recent total positivity inequalities for boundary spin correlations in the planar Ising model. We also derive the Simon and Gaussian inequality for general Ashkin-Teller models with negative four-body coupling constants.


title: Multilevel Gibbs Sampling for Bayesian Regression

abstract: Bayesian regression remains a simple but effective tool based on Bayesian inference techniques. For large-scale applications, with complicated posterior distributions, Markov Chain Monte Carlo methods are applied. To improve the well-known computational burden of Markov Chain Monte Carlo approach for Bayesian regression, we developed a multilevel Gibbs sampler for Bayesian regression of linear mixed models. The level hierarchy of data matrices is created by clustering the features and/or samples of data matrices. Additionally, the use of correlated samples is investigated for variance reduction to improve the convergence of the Markov Chain. Testing on a diverse set of data sets, speed-up is achieved for almost all of them without significant loss in predictive performance.


title: A Feature Importance Analysis for Soft-Sensing-Based Predictions in a Chemical Sulphonation Process

abstract: In this paper we present the results of a feature importance analysis of a chemical sulphonation process. The task consists of predicting the neutralization number (NT), which is a metric that characterizes the product quality of active detergents. The prediction is based on a dataset of environmental measurements, sampled from an industrial chemical process. We used a soft-sensing approach, that is, predicting a variable of interest based on other process variables, instead of directly sensing the variable of interest. Reasons for doing so range from expensive sensory hardware to harsh environments, e.g., inside a chemical reactor. The aim of this study was to explore and detect which variables are the most relevant for predicting product quality, and to what degree of precision. We trained regression models based on linear regression, regression tree and random forest. A random forest model was used to rank the predictor variables by importance. Then, we trained the models in a forward-selection style by adding one feature at a time, starting with the most important one. Our results show that it is sufficient to use the top 3 important variables, out of the 8 variables, to achieve satisfactory prediction results. On the other hand, Random Forest obtained the best result when trained with all variables.


title: On first order mean field game systems with a common noise

abstract: We consider Mean Field Games without idiosyncratic but with Brownian type common noise. We introduce a notion of solutions of the associated backward-forward system of stochastic partial differential equations. We show that the solution exists and is unique for monotone coupling functions. This the first general result for solutions of the Mean Field Games system with common and no idiosynctratic noise. We also use the solution to find approximate optimal strategies (Nash equilibria) for N-player differential games with common but no idiosyncratic noise. An important step in the analysis is the study of the well-posedness of a stochastic backward Hamilton-Jacobi equation.


title: Rotation Measure Evolution of the Repeating Fast Radio Burst Source FRB 121102

abstract: The repeating fast radio burst source FRB 121102 has been shown to have an exceptionally high and variable Faraday rotation measure (RM), which must be imparted within its host galaxy and likely by or within its local environment. In the redshifted ($z=0.193$) source reference frame, the RM decreased from $1.46\times10^5$~rad~m$^{-2}$ to $1.33\times10^5$~rad~m$^{-2}$ between January and August 2017, showing day-timescale variations of $\sim200$~rad~m$^{-2}$. Here we present sixteen FRB 121102 RMs from burst detections with the Arecibo 305-m radio telescope, the Effelsberg 100-m, and the Karl G. Jansky Very Large Array, providing a record of FRB 121102's RM over a 2.5-year timespan. Our observations show a decreasing trend in RM, although the trend is not linear, dropping by an average of 15\% year$^{-1}$ and is $\sim9.7\times10^4$~rad~m$^{-2}$ at the most recent epoch of August 2019. Erratic, short-term RM variations of $\sim10^3$~rad~m$^{-2}$ week$^{-1}$ were also observed between MJDs 58215--58247. A decades-old neutron star embedded within a still-compact supernova remnant or a neutron star near a massive black hole and its accretion torus have been proposed to explain the high RMs. We compare the observed RMs to theoretical models describing the RM evolution for FRBs originating within a supernova remnant. FRB 121102's age is unknown, and we find that the models agree for source ages of $\sim6-17$~years at the time of the first available RM measurements in 2017. We also draw comparisons to the decreasing RM of the Galactic center magnetar, PSR J1745--2900.


title: Sensitivity of Remote Focusing Microscopes to Magnification Mismatch

abstract: Remote focusing (RF) is a technique that greatly extends the aberration-free axial scan range of an optical microscope. To maximise the diffraction limited depth range in an RF system, the magnification of the relay lenses should be such that the pupil planes of the objectives are accurately mapped on to each other. In this paper we study the tolerance of the RF system to magnification mismatch and quantify the amount of residual spherical aberration present at different focusing depths. We observe that small deviations from ideal magnification results in increased amounts of residual spherical aberration terms leading to a reduction in the dynamic range. For high numerical aperture objectives, the simulation predicts a 50% decrease in the dynamic range for 1% magnification mismatch. The simulation has been verified against an experimental RF system with ideal and non-ideal magnifications. Experimentally confirmed predictions also provide a valuable empirical method of determining when a system is close to the ideal phase matching condition, based on the sign of the spherical aberration on either side of focus.


title: Polaronic Contributions to Friction in a Manganite Thin Film

abstract: Despite the huge importance of friction in regulating movement in all natural and technological processes, the mechanisms underlying dissipation at a sliding contact are still a matter of debate. Attempts to explain the dependence of measured frictional losses at nanoscale contacts on the electronic degrees of freedom of the surrounding materials have so far been controversial. Here, it is proposed that friction can be explained by considering damping of stick-slip pulses in a sliding contact. Based on friction force microscopy studies of La$_{(1-x)}$Sr$_x$MnO$_3$ films at the ferromagnetic-metallic to paramagnetic-polaronic conductor phase transition, it is confirmed that the sliding contact generates thermally-activated slip pulses in the nanoscale contact, and argued that these are damped by direct coupling into phonon bath. Electron-phonon coupling leads to the formation of Jahn-Teller polarons and a clear increase in friction in the high temperature phase. There is no evidence for direct electronic drag on the atomic force microscope tip nor any indication of contributions from electrostatic forces. This intuitive scenario, that friction is governed by the damping of surface vibrational excitations, provides a basis for reconciling controversies in literature studies as well as suggesting possible tactics for controlling friction.


title: Fermi arcs and surface criticality in dirty Dirac materials

abstract: We study the effects of disorder on semi-infinite Weyl and Dirac semimetals where the presence of a boundary leads to the formation of either Fermi arcs/rays or Dirac surface states. Using a local version of the self-consistent Born approximation, we calculate the profile of the local density of states and the surface group velocity. This allows us to explore the full phase diagram as a function of boundary conditions and disorder strength. While in all cases we recover the sharp criticality in the bulk, we unveil a critical behavior at the surface of Dirac semimetals, which is smoothed out by Fermi arcs in Weyl semimetals.