title: Adapted and constrained Dijkstra for elastic optical networks

abstract: We present an optimal and efficient algorithm for finding a shortest path in an elastic optical network. The algorithm is an adaptation of the Dijkstra shortest path algorithm, where we take into account the spectrum continuity and contiguity constraints, and a limit on the path length. The adaptation redefines the node label in the Dijkstra algorithm, allows for revisiting nodes even at a higher cost for different slices, avoids loops, and prunes worse labels. The algorithm is generic and agnostic of a specific spectrum allocation policy, as it finds the largest set of available slices from which slices can be allocated in any way. We describe and motivate the algorithm design, and point to our freely-available implementation using the Boost Graph Library. We carried out 8100 simulation runs for large, random and realistic networks, and found that the probability of establishing a connection using the proposed algorithm can be even twice as large as the probability of establishing a connection using the edge-disjoint shortest paths, and the Yen K shortest paths.


title: The Proceedings of First Work-in-Progress Session of The CSI International Symposium on Real-Time and Embedded Systems and Technologies

abstract: The present volume contains the proceedings of RTEST WiP 2018, chaired by Marco Caccamo, University of Illinois at Urbana-Champaign. This event has been organized by the School of Electrical and Computer Engineering at the University of Tehran, in conjunction with the Department of Computer Engineering at Sharif University of Technology, Tehran, Iran. The topics of interest in RTEST WiP span over all theoretical and application-oriented aspects, reporting design, analysis, implementation, evaluation, and empirical results, of real-time and embedded systems, internet-of-things, and cyber-physical systems. The program committee of RTEST 2018 consists of 54 top researchers in the mentioned fields from top universities, industries, and research centers around the world. RTEST 2018 has received a total of 41 submissions, out of which we have accepted 14 regular papers and 4 work-in-progress papers. Each submission has been reviewed by 3 to 5 independent referees, for its quality, originality, contribution, clarity of presentation, and relevance to the symposium topics.


title: SR-GAN: Semantic Rectifying Generative Adversarial Network for Zero-shot Learning

abstract: The existing Zero-Shot learning (ZSL) methods may suffer from the vague class attributes that are highly overlapped for different classes. Unlike these methods that ignore the discrimination among classes, in this paper, we propose to classify unseen image by rectifying the semantic space guided by the visual space. First, we pre-train a Semantic Rectifying Network (SRN) to rectify semantic space with a semantic loss and a rectifying loss. Then, a Semantic Rectifying Generative Adversarial Network (SR-GAN) is built to generate plausible visual feature of unseen class from both semantic feature and rectified semantic feature. To guarantee the effectiveness of rectified semantic features and synthetic visual features, a pre-reconstruction and a post reconstruction networks are proposed, which keep the consistency between visual feature and semantic feature. Experimental results demonstrate that our approach significantly outperforms the state-of-the-arts on four benchmark datasets.


title: Fragile phonon topology on the honeycomb lattice with time-reversal symmetry

abstract: We use the methods of topological quantum chemistry to explore the topology of phonons on time-reversal symmetric crystals with the structure of the planar honeycomb (layer group $p6/mmm$). This approach is not tied to a particular model of atomic vibrations, but is applied to the most general dynamical matrix constrained only by the symmetries of the system. We show that four distinct fragile topological phonon phases are generically possible. Truncating the dynamical matrix to third nearest neighbors yields a model that realizes the different phonon topologies, characterized by the existence of phononic edge and corner modes and by Wilson loops with winding numbers one and two. Fitting the dynamical matrix to the DFT phonon bands shows that graphene is not very far from a topologically nontrivial phonon phase.


title: An optimal polynomial approximation of Brownian motion

abstract: In this paper, we will present a strong (or pathwise) approximation of standard Brownian motion by a class of orthogonal polynomials. The coefficients that are obtained from the expansion of Brownian motion in this polynomial basis are independent Gaussian random variables. Therefore it is practical (requires $N$ independent Gaussian coefficients) to generate an approximate sample path of Brownian motion that respects integration of polynomials with degree less than $N$. Moreover, since these orthogonal polynomials appear naturally as eigenfunctions of an integral operator defined by the Brownian bridge covariance function, the proposed approximation is optimal in a certain weighted $L^{2}(\mathbb{P})$ sense. In addition, discretizing Brownian paths as piecewise parabolas gives a locally higher order numerical method for stochastic differential equations (SDEs) when compared to the standard piecewise linear approach. We shall demonstrate these ideas by simulating Inhomogeneous Geometric Brownian Motion (IGBM). This numerical example will also illustrate the deficiencies of the piecewise parabola approximation when compared to a new version of the asymptotically efficient log-ODE (or Castell-Gaines) method.


title: Making multigraphs simple by a sequence of double edge swaps

abstract: We show that any loopy multigraph with a graphical degree sequence can be transformed into a simple graph by a finite sequence of double edge swaps with each swap involving at least one loop or multiple edge. Our result answers a question of Janson motivated by random graph theory, and it adds to the rich literature on reachability of double edge swaps with applications in Markov chain Monte Carlo sampling from the uniform distribution of graphs with prescribed degrees.


title: Polynomial-valued constant hexagon cohomology

abstract: Hexagon relations are algebraic realizations of four-dimensional Pachner moves. `Constant' -- not depending on a 4-simplex in a triangulation of a 4-manifold -- hexagon relations are proposed, and their polynomial-valued cohomology is constructed. This cohomology yields polynomial mappings defined on the so called `coloring homology space', and these mappings can, in their turn, yield piecewise linear manifold invariants. These mappings are calculated explicitly for some examples. It is also shown that `constant' hexagon relations can be obtained as a limit case of already known `nonconstant' relations, and the way of taking the limit is not unique. This non-uniqueness suggests the existence of an additional structure on the `constant' coloring homology space.


title: Geometric Network Creation Games

abstract: Network Creation Games are a well-known approach for explaining and analyzing the structure, quality and dynamics of real-world networks like the Internet and other infrastructure networks which evolved via the interaction of selfish agents without a central authority. In these games selfish agents which correspond to nodes in a network strategically buy incident edges to improve their centrality. However, past research on these games has only considered the creation of networks with unit-weight edges. In practice, e.g. when constructing a fiber-optic network, the choice of which nodes to connect and also the induced price for a link crucially depends on the distance between the involved nodes and such settings can be modeled via edge-weighted graphs. We incorporate arbitrary edge weights by generalizing the well-known model by Fabrikant et al.[PODC'03] to edge-weighted host graphs and focus on the geometric setting where the weights are induced by the distances in some metric space. In stark contrast to the state-of-the-art for the unit-weight version, where the Price of Anarchy is conjectured to be constant and where resolving this is a major open problem, we prove a tight non-constant bound on the Price of Anarchy for the metric version and a slightly weaker upper bound for the non-metric case. Moreover, we analyze the existence of equilibria, the computational hardness and the game dynamics for several natural metrics. The model we propose can be seen as the game-theoretic analogue of a variant of the classical Network Design Problem. Thus, low-cost equilibria of our game correspond to decentralized and stable approximations of the optimum network design.


title: Synthesising 3D Facial Motion from "In-the-Wild" Speech

abstract: Synthesising 3D facial motion from speech is a crucial problem manifesting in a multitude of applications such as computer games and movies. Recently proposed methods tackle this problem in controlled conditions of speech. In this paper, we introduce the first methodology for 3D facial motion synthesis from speech captured in arbitrary recording conditions ("in-the-wild") and independent of the speaker. For our purposes, we captured 4D sequences of people uttering 500 words, contained in the Lip Reading Words (LRW) a publicly available large-scale in-the-wild dataset, and built a set of 3D blendshapes appropriate for speech. We correlate the 3D shape parameters of the speech blendshapes to the LRW audio samples by means of a novel time-warping technique, named Deep Canonical Attentional Warping (DCAW), that can simultaneously learn hierarchical non-linear representations and a warping path in an end-to-end manner. We thoroughly evaluate our proposed methods, and show the ability of a deep learning model to synthesise 3D facial motion in handling different speakers and continuous speech signals in uncontrolled conditions.


title: Catalysis of Dynamical Chiral Symmetry Breaking by Chiral Chemical Potential in Dirac semimetals

abstract: In this paper we study how dynamical chiral symmetry breaking is affected by nonzero chiral chemical potential in Dirac semimetals. To perform this study we applied lattice quantum Monte Carlo simulations of Dirac semimetals. Within lattice simulation we calculated the chiral condensate for various fermion masses, the chiral chemical potentials and effective coupling constants. For all parameters under consideration we have found that the chiral condensate is enhanced by chiral chemical potential. Thus our results confirms that in Dirac semimetals the chiral chemical potential plays a role of the catalyst of the dynamical chiral symmetry breaking.


title: All $(\infty,1)$-toposes have strict univalent universes

abstract: We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language for reasoning internally to $(\infty,1)$-toposes, just as higher-order logic is used for 1-toposes. As part of the proof, we give a new, more explicit, characterization of the fibrations in injective model structures on presheaf categories. In particular, we show that they generalize the coflexible algebras of 2-monad theory.


title: Quasi Fibonacci approximation to the low tiny fluctuations of the Li-Keiper coefficients: a numerical computation

abstract: Using the first discrete derivatives for the expansion in z=0 of the oscillating part lambdatiny(n) =lambda n* of the "tiny" Li-Keiper coefficients , we analyse two series in the variable z=1-1/s ~0 for the first low values and compare them with the exact series. The numerical results suggest interesting more "sophisticated" approximations.


title: Arc length of function graphs via Taylor's formula

abstract: We use Taylor's formula with Lagrange remainder to prove that functions with bounded second derivative are rectifiable in the case when polygonal paths are defined by interval subdivisions which are equally spaced. We discuss potential benefits for such an approach in introductory calculus courses.


title: Two bifurcation sets arising from the beta transformation with a hole at $0$

abstract: Given $\beta\in(1,2],$ the $\beta$-transformation $T_\beta: x\mapsto \beta x\pmod 1$ on the circle $[0, 1)$ with a hole $[0, t)$ was investigated by Kalle et al.~(2019). They described the set-valued bifurcation set \[ \mathcal E_\beta:=\{t\in[0, 1): K_\beta(t')\ne K_\beta(t)~\forall t'>t\}, \] where $K_\beta(t):=\{x\in[0, 1): T_\beta^n(x)\ge t~\forall n\ge 0\}$ is the survivor set. In this paper we investigate the dimension bifurcation set \[ \mathcal B_\beta:=\{t\in[0, 1): \dim_H K_\beta(t')\ne \dim_H K_\beta(t)~\forall t'>t\}, \] where $\dim_H$ denotes the Hausdorff dimension. We show that if $\beta\in(1,2]$ is a multinacci number then the two bifurcation sets $\mathcal B_\beta$ and $\mathcal E_\beta$ coincide. Moreover we give a complete characterization of these two sets. As a corollary of our main result we prove that for $\beta$ a multinacci number we have $\dim_H(\mathcal E_\beta\cap[t, 1])=\dim_H K_\beta(t)$ for any $t\in[0, 1)$. This confirms a conjecture of Kalle et al.~for $\beta$ a multinacci number.


title: Evolution of three-dimensional Relativistic Ion Weibel Instability: Competition with Kink Instability

abstract: In this paper, we report our recent findings on the relativistic Weibel instability and its nonlinear saturation by performing numerical simulations of collisionless plasmas. Analysis of the obtained numerical results revealed that the nonlinear phase of the Weibel instability can be described by characteristic phases based on the Weibel filaments' current density in terms of particle and Alfv\'en limit currents. We also analyzed the relativistic kink instability based on the energy principle in the magnetohydrodynamic (MHD) regime, and found that the Weibel filaments do not suffer from the kink-type instability in the MHD regime up to 1000 $\omega_{p,i}^{-1}$. This finding allowed a magnetic field to be sustained by relativistic Weibel instability that was stable enough to be a seed for MHD dynamos.

categories: astro-ph.HE astro-ph.EP astro-ph.GA physics.plasm-ph physics.space-ph


title: Exactly solvable model of two interacting Rydberg-dressed atoms confined in a two-dimensional harmonic trap

abstract: Exactly solvable model of two Rydberg-dressed atoms moving in a quasi-two-dimensional harmonic trap is introduced and its properties are investigated. Depending on the strength of inter-particle interactions and the critical range of the potential, the two-particle eigenstates are classified with respect to the excitations of the center-of-mass motion, relative angular momentum, and relative distance variable. Having these solutions in hand, we discuss inter-particle correlations as functions of interaction parameters. We also present a straightforward prescription of how to generalize obtained solutions to higher dimensions.


title: On the radially symmetric traveling waves for the Schr{\"o}dinger equation on the Heisenberg group

abstract: We consider radial solutions to the cubic Schr{\"o}dinger equation on the Heisenberg group$$i\partial_t u - \Delta_{\mathbb{H}^1} u = |u|^2u, \quad\Delta_{\mathbb{H}^1} = \frac{1}{4}(\partial_x^2+\partial_y^2) + (x^2+y^2)\partial_s^2, \quad(t,x,y,s) \in \mathbb{R}\times\mathbb{H}^1.$$This equation is a model for totally non-dispersive evolution equations. We show existence of ground state traveling waves with speed $\beta \in (-1,1)$. When the speed $\beta$ is sufficiently close to $1$, we prove their uniqueness up to symmetries and their smoothness along the parameter $\beta$. The main ingredient is the emergence of a limiting system as $\beta$ tends to the limit $1$, for which we establish linear stability of the ground state traveling wave.


title: SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems

abstract: Modeling and analysis of timing constraints is crucial in cyber-physical systems (CPS). EAST-ADL is an architectural language dedicated to safety-critical embedded system design. SIMULINK/STATEFLOW (S/S) is a widely used industrial tool for modeling and analysis of embedded systems. In most cases, a bounded number of violations of timing constraints in systems would not lead to system failures when the results of the violations are negligible, called Weakly-Hard (WH). We have previously defined a probabilistic extension of Clock Constraint Specification Language (CCSL), called PrCCSL, for formal specification of EAST-ADL timing constraints in the context of WH. In this paper, we propose an SMT-based approach for probabilistic analysis of EAST-ADL timing constraints in CPS modeled in S/S: an automatic transformation from S/S models to the input language of SMT solver is provided; timing constraints specified in PrCCSL are encoded into SMT formulas and the probabilistic analysis of timing constraints is reduced to the validity checking of the resulting SMT encodings. Our approach is demonstrated a cooperative automotive system case study.


title: Constraining the neutron star equation of state using Pulse Profile Modeling

abstract: One very promising technique for measuring the dense matter Equation of State exploits hotspots that form on the neutron star surface due to the pulsar mechanism, accretion streams, or during thermonuclear explosions in the neutron star ocean. This article explains how Pulse Profile Modeling of hotspots is being used by the Neutron Star Interior Composition Explorer (NICER), an X-ray telescope installed on the International Space Station in 2017 - and why the technique is a mission driver for the next, larger-area generation of telescopes including the enhanced X-ray Timing and Polarimetry (eXTP) mission and the Spectroscopic Time-Resolving Observatory for Broadband Energy X-rays (STROBE-X).


title: Probing the production of actinides under different r-process conditions

abstract: Several extremely metal-poor stars are known to have an enhanced thorium abundance. These actinide-boost stars have likely inherited material from an r-process that operated under different conditions than the most frequent r-process in the galaxy. In this article, we explore the sensitivity of actinide production in r-process calculations on the hydrodynamical conditions as well as on the nuclear physics. We find that the initial electron fraction Ye is the most important factor determining the actinide yields and that the abundance ratios between long-lived actinides and lanthanides like europium can vary for different conditions in our calculations. In our setup, conditions with high entropies systematically lead to lower actinide abundances relative to other r-process elements. Furthermore, actinide-enhanced ejecta can be distinguished from the "regular" composition also in other ways, most notably in the second r-process peak abundances.


title: Universal norms and Greenberg conjecture

abstract: We investigate the group of universal norms attached to the cyclotomic Z {\ell}-tower of a totally real number field in connection with Grenberg's conjecture on Iwasawa invariants of such a field.


title: Search for $X(3872)$ and $X(3915)$ decay into $\chi_{c1} \pi^0$ in $B$ decays at Belle

abstract: We report a search for $X(3872)$ and $X(3915)$ in $B^+ \to \chi_{c1} \pi^0 K^+$ decays. We set an upper limit of $\mathcal{B}(B^+ \to X(3872) K^+) \times \mathcal{B}(X(3872) \to \chi_{c1} \pi^0)$ $ < 8.1 \times 10^{-6}$ and $\mathcal{B}(B^+ \to X(3915) K^+) \times \mathcal{B}(X(3915) \to \chi_{c1} \pi^0)$ $ < 3.8 \times 10^{-5}$ at 90\% confidence level. We also measure $\mathcal{B}(X(3872) \to \chi_{c1} \pi^0)/\mathcal{B}(X(3872) \to J/\psi \pi^+ \pi^-) < 0.97$ at 90\% confidence level. The results reported here are obtained from $772 \times 10^{6}$ $B\overline{B}$ events collected at the $\Upsilon(4S)$ resonance with the Belle detector at the KEKB asymmetric-energy $e^+e^-$ collider.


title: Real-time enforcement of local energy market transactions respecting distribution grid constraints

abstract: Future electricity distribution grids will host a considerable share of the renewable energy sources needed for enforcing the energy transition. Demand side management mechanisms play a key role in the integration of such renewable energy resources by exploiting the flexibility of elastic loads, generation or electricity storage technologies. In particular, local energy markets enable households to exchange energy with each other while increasing the amount of renewable energy that is consumed locally. Nevertheless, as most ex-ante mechanisms, local market schedules rely on hour-ahead forecasts whose accuracy may be low. In this paper we cope with forecast errors by proposing a game theory approach to model the interactions among prosumers and distribution system operators for the control of electricity flows in real-time. The presented game has an aggregative equilibrium which can be attained in a semi-distributed manner, driving prosumers towards a final exchange of energy with the grid that benefits both households and operators, favoring the enforcement of prosumers' local market commitments while respecting the constraints defined by the operator. The proposed mechanism requires only one-to-all broadcast of price signals, which do not depend either on the amount of players or their local objective function and constraints, making the approach highly scalable. Its impact on distribution grid quality of supply was evaluated through load flow analysis and realistic load profiles, demonstrating the capacity of the mechanism ensure that voltage deviation and thermal limit constraints are respected.


title: Anomalous Current Due to Weyl Anomaly for Conformal Field Theory

abstract: Recently it is found that Weyl anomaly leads to new anomalous currents in an external electromagnetic field in the curved spacetime. For simplicity, the initial works mainly focus on weak gravitational fields and the anomalous current is obtained for conformally flat spaces with small scale factors. In this paper, we generalize the results to the case with arbitrary scale factors. Firstly, we derive the transformation law of current under Weyl transformation, from which one can read off the anomalous current in general conformally flat spaces. Secondly, by using the Weyl transformation of currents we provide a new derivation of the Weyl-anomaly-induced current near the boundary. Thus we have obtained the two kinds of anomalous currents in the literature from a unified formula. Finally, we extend the discussions to n-form fields and find similar anomalous currents.


title: Consistent User-Traffic Allocation and Load Balancing in Mobile Edge Caching

abstract: Cache-equipped Base-Stations (CBSs) is an attractive alternative to offload the rapidly growing backhaul traffic in a mobile network. New 5G technology and dense femtocell enable one user to connect to multiple base-stations simultaneously. Practical implementation requires the caches in BSs to be regarded as a cache server, but few of the existing works considered how to offload traffic, or how to schedule HTTP requests to CBSs. In this work, we propose a DNS-based HTTP traffic allocation framework. It schedules user traffic among multiple CBSs by DNS resolution, with the consideration of load-balancing, traffic allocation consistency and scheduling granularity of DNS. To address these issues, we formulate the user-traffic allocation problem in DNS-based mobile edge caching, aiming at maximizing QoS gain and allocation consistency while maintaining load balance. Then we present a simple greedy algorithm which gives a more consistent solution when user-traffic changes dynamically. Theoretical analysis proves that it is within 3/4 of the optimal solution. Extensive evaluations in numerical and trace-driven situations show that the greedy algorithm can avoid about 50% unnecessary shift in user-traffic allocation, yield more stable cache hit ratio and balance the load between CBSs without losing much of the QoS gain.


title: New Reflections on Higher Dimensional Linearized Gravity

abstract: We make a number of remarks on linearized gravity with cosmological constant in any dimension, which, we argue, can be useful in a quantum gravity framework. For this purpose we assume that the background space-time metric corresponds to the de Sitter or anti-de Sitter space. Moreover, via the graviton mass and the cosmological constant correspondence, we make some interesting observations, putting special attention on the possible scenario of a graviton-tachyon connection. We compare our proposed formalism with the Novello and Neves approach.


title: The $h$-edge tolerable diagnosability of balanced hypercubes

abstract: To measure the fault diagnosis capability of a multiprocessor system with faulty links, Zhu et al. [Theoret. Comput. Sci. 758 (2019) 1--8] introduced the $h$-edge tolerable diagnosability. This kind of diagnosability is a generalization of the concept of traditional diagnosability. In this paper, as complement to the results in [Theoret. Comput. Sci. 760 (2019) 1--14], we completely determine the $h$-edge tolerable diagnosability of balanced hypercubes $BH_n$ under the PMC model and the MM$^*$ model. Thus, the traditional diagnosability of $BH_n$ is also determined.


title: Fatigue design load calculations of the offshore NREL 5MW benchmark turbine using quadrature rule techniques

abstract: A novel approach is proposed to reduce, compared to the conventional binning approach, the large number of aeroelastic code evaluations that are necessary to obtain equivalent loads acting on wind turbines. These loads describe the effect of long-term environmental variability on the fatigue loads of a horizontal-axis wind turbine. In particular Design Load Case 1.2, as standardized by IEC, is considered. The approach is based on numerical integration techniques and, more specifically, quadrature rules. The quadrature rule used in this work is a recently proposed "implicit" quadrature rule, which has the main advantage that it can be constructed directly using measurements of the environment. It is demonstrated that the proposed approach yields accurate estimations of the equivalent loads using a significantly reduced number of aeroelastic model evaluations (compared to binning). Moreover the error introduced by the seeds (introduced by averaging over random wind fields and sea states) is incorporated in the quadrature framework, yielding an even further reduction in the number of aeroelastic code evaluations. The reduction in computational time is demonstrated by assessing the fatigue loads on the NREL 5MW reference offshore wind turbine in conjunction with measurement data obtained at the North Sea, both for a simplified and a full load case.


title: Event-Triggered Control for Consensus of Multi-Agent Systems with Nonlinear Output and Directed Topologies

abstract: We propose a distributed event-triggered control law to solve the consensus problem for multi-agent systems with nonlinear output. Under the condition that the underlying digraph is strongly connected, we propose some sufficient conditions related to the nonlinear output function and initial states to guarantee that the event-triggered controller realizes consensus. Then the results are extended to the case where the underlying directed graph contains a directed spanning tree. These theoretical results are illustrated by numerical simulations.


title: Analysis methods for highly radiation-damaged SiPMs

abstract: Prototype SiPMs with 4384 pixels of dimensions $15 \times 15~\mu $m$^2$ produced by KETEK have been irradiated with reactor neutrons to eight fluences between $10^9$ and $5\times 10^{14}$ cm$^{-2}$. For temperatures between $-30~^\circ $C and $+30~^\circ $C capacitance-voltage, admittance-frequency, current-forward voltage, current-reverse voltage and charge-voltage measurements with and without illumination by a sub-nanosecond laser have been performed. The data have been analysed using different methods in order to extract the dependence on neutron fluence and temperature of the electrical parameters, the breakdown oltage, the activation energy for the current generation, the dark-count rate and the response to light pulses. The results from the different analysis methods are compared.


title: Management of mobile resources in Physical Internet logistic models

abstract: This paper deals with the concept of a 'Physical Internet', the idea of building large logistics systems like the very successful Digital Internet network. The idea is to handle mobile resources, such as containers, just like Internet data packets. Thus, it is possible to use the principles of encapsulation and routing to optimize the freight. The problem is that mobile resources, such as containers, are not quite similar to data packets, because they are real and not dematerialized. Thus the handling and the storing of mobile resources, such as containers, will create imbalances in the logistics network, leading to starvation or overstocking of logistic network nodes. We propose in this paper a study addressing this problem leading to some solutions.


title: Evaluation of Dedicated Lanes for Automated vehicles at Roundabouts with Various Flow Patterns

abstract: Autonomous vehicles (AVs) are about to be used in transportation systems in the near future. To increase the level of safety and throughput of these vehicles, dedicated lanes for AVs have been suggested in past studies as exclusive mobility infrastructure for these types of vehicles. Although these lanes can bring obvious advantages in a transportation network, overall performance of these lanes, especially in urban areas and in micro level sight, is not clear. This study aims to examine the efficiency of dedicated lanes for AVs in roundabout with an unbalanced traffic flow pattern. Four factors of travel time, delay time, speed of vehicles, and queue of vehicles have been selected as variables of traffic performance at the roundabout. Two microscopic traffic simulation software, AIMSUN and SIDRA Intersection, were used to examine the impact of the AV dedicated lanes at the roundabout. This study shows that the effects of an imbalanced traffic pattern in a roundabout are higher when the penetration rate of AVs is lower and also dedicated lanes in roundabout's leg may improve traffic performance indicators when the penetration rate of AVs is higher, but this improvement is not significant.


title: Spatially Coupled LDPC Codes with Non-uniform Coupling for Improved Decoding Speed

abstract: We consider spatially coupled low-density parity-check codes with finite smoothing parameters. A finite smoothing parameter is important for designing practical codes that are decoded using low-complexity windowed decoders. By optimizing the amount of coupling between spatial positions, we show that we can construct codes with improved decoding speed compared with conventional, uniform smoothing constructions. This leads to a significantly better performance under decoder complexity constraints while keeping the degree distribution regular. We optimize smoothing configurations using differential evolution and illustrate the performance gains by means of a simulation.


title: Learning the undecidable from networked systems

abstract: This article presents a theoretical investigation of computation beyond the Turing barrier from emergent behavior in distributed systems. In particular, we present an algorithmic network that is a mathematical model of a networked population of randomly generated computable systems with a fixed communication protocol. Then, in order to solve an undecidable problem, we study how nodes (i.e., Turing machines or computable systems) can harness the power of the metabiological selection and the power of information sharing (i.e., communication) through the network. Formally, we show that there is a pervasive network topological condition, in particular, the small-diameter phenomenon, that ensures that every node becomes capable of solving the halting problem for every program with a length upper bounded by a logarithmic order of the population size. In addition, we show that this result implies the existence of a central node capable of emergently solving the halting problem in the minimum number of communication rounds. Furthermore, we introduce an algorithmic-informational measure of synergy for networked computable systems, which we call local algorithmic synergy. Then, we show that such algorithmic network can produce an arbitrarily large value of expected local algorithmic synergy.


title: Euler's optimal profile problem

abstract: We study an old variational problem formulated by Euler as Proposition 53 of his `Scientia Navalis' by means of the direct method of the calculus of variations. Precisely, through relaxation arguments, we prove the existence of minimizers. We fully investigate the analytical structure of the minimizers in dependence of the geometric parameters and we identify the ranges of uniqueness and non-uniqueness.


title: The Neutrino Option

abstract: The Neutrino Option is a scenario where the Higgs mass is generated at the same time as neutrino masses in the type-I seesaw model. This framework provides a dynamical origin for the scalar potential of the Standard Model and suggests a new approach to the hierarchy problem. Here we review the preliminary analysis of Ref. [1], that showed the viability of this scenario, as well as the improved study of Ref. [2], that led to a better identification of the region of the parameter space where the Neutrino Option can be realized. We find that experimental constraints from both Higgs and neutrino physics can be accommodated introducing 2 heavy Majorana neutrinos with mass $M_1\simeq M_2\sim 0.5 - 10$ PeV and Yukawa couplings to the lepton doublet of order $ 10^{-4}-10^{-2}$, assuming that at the scale $M$ the classical Higgs potential is approximately conformal, with a quartic Higgs coupling $\lambda_0\sim 0.01-0.05$. Specifying the light neutrino mass ordering, the ratio $M_2/M_1$ or a given value of the top quark mass identifies narrower ranges for all the parameters. Although no further signature of the Neutrino Option is generally predicted at the currently accessible energy scales, conformal UV completions have been proposed, that could be tested e.g. via detection of gravitational waves. Leptogenesis can also be successfully realized in this scenario, that intriguingly ties together the breaking of the conformal and electroweak symmetries with the violation of lepton number.


title: HV discharges triggered by dual- and triple-frequency laser filaments

abstract: We study the use of frequency upconversion schemes of near-IR picosecond laser pulses and compare their ability to guide and trigger electric discharges through filamentation in air. Upconversion, such as Second Harmonic Generation, is favorable for triggering electric discharges for given amount of available laser energy, even taking into account the losses inherent to frequency conversion. We focus on the practical question of optimizing the use of energy from a given available laser system and the potential advantage to use frequency conversion schemes.


title: Short survey on the existence of slices for the space of Riemannian metrics

abstract: We review the well-known slice theorem of Ebin for the action of the diffeomorphism group on the space of Riemannian metrics of a closed manifold. We present advances in the study of the spaces of Riemannian metrics, and produce a more concise proof for the existence of slices.


title: Deep neural networks can predict mortality from 12-lead electrocardiogram voltage data

abstract: The electrocardiogram (ECG) is a widely-used medical test, typically consisting of 12 voltage versus time traces collected from surface recordings over the heart. Here we hypothesize that a deep neural network can predict an important future clinical event (one-year all-cause mortality) from ECG voltage-time traces. We show good performance for predicting one-year mortality with an average AUC of 0.85 from a model cross-validated on 1,775,926 12-lead resting ECGs, that were collected over a 34-year period in a large regional health system. Even within the large subset of ECGs interpreted as 'normal' by a physician (n=297,548), the model performance to predict one-year mortality remained high (AUC=0.84), and Cox Proportional Hazard model revealed a hazard ratio of 6.6 (p<0.005) for the two predicted groups (dead vs alive one year after ECG) over a 30-year follow-up period. A blinded survey of three cardiologists suggested that the patterns captured by the model were generally not visually apparent to cardiologists even after being shown 240 paired examples of labeled true positives (dead) and true negatives (alive). In summary, deep learning can add significant prognostic information to the interpretation of 12-lead resting ECGs, even in cases that are interpreted as 'normal' by physicians.


title: Multiplicative Langevin Equation to Reproduce Long-time Properties of Nonequilibrium Brownian Motion

abstract: We statistically examine long time sequences of Brownian motion for a nonequilibrium version of the Rayleigh piston model and confirm that the third cumulant of a long-time displacement for the nonequilibrium Brownian motion linearly increases with the observation time interval. We identify a multiplicative Langevin equation that can reproduce the cumulants of the long-time displacement up to at least the third order, as well as its mean, variance and skewness. The identified Langevin equation involves a velocity-dependent friction coefficient that breaks the time-reversibility and may act as a generator of the directionality. Our method to find the Langevin equation is not specific to the Rayleigh piston model but may be applied to a general time sequence in various fields.


title: Attosecond Pulse Amplification in a Plasma-Based X-Ray Laser Dressed by an Infrared Laser Field

abstract: We suggest a technique to amplify a train of attosecond pulses, produced by high-harmonic generation (HHG) of an infrared (IR) laser field, in an active medium of a plasma-based X-ray laser. This technique is based on modulation of transition frequency of the X-ray laser by the same IR field, as used to generate the harmonics, via linear Stark effect, which results in redistribution of the resonant gain and simultaneous amplification of a wide set of harmonics in the incident field. We propose an experimental implementation of the suggested technique in active medium of C5+ ions at wavelength 3.4 nm in the "water window" range and show the possibility to amplify by two orders of magnitude a train of attosecond pulses with pulse duration down to 100 as. We show also a possibility to isolate a single attosecond pulse from the incident attosecond pulse train during its amplification in optically deep modulated medium.


title: Molecular shape as a (useful) bias in chemistry

abstract: One of the molecular properties most intuitive to the human perception is the geometrical shape. However, when exploring a large chemical space the determination of shape needs to be automated. We present a fast and simple approach to identify a molecule as linear, planar, cube, cuboid, disk, elliptical disk, spheroid and sphere which is more fine grained than existing approaches. The method is applied to more than one billion molecules ranging from small organic molecules to whole proteins. The results show that current chemistry research is biased towards planar geometries. Moreover, we demonstrate that our molecular shape classification correlates with sought-after properties like the band gap, dipole moment, and heat capacity. This allows to increase the efficiency of molecular design studies by driving high-throughput-screening efforts towards desired values of molecular properties.


title: Total absorption $\gamma$-ray spectroscopy of niobium isomers

abstract: The $\beta$ intensity distributions of the decays of $^{100\text{gs},100\text{m}}$Nb and $^{102\text{gs},102\text{m}}$Nb have been determined using the Total Absorption $\gamma$-Ray Spectroscopy technique. The JYFLTRAP double Penning trap system was employed to disentangle the isomeric states involved, lying very close in energy, in a campaign of challenging measurements performed with the Decay Total Absorption $\gamma$-ray Spectrometer at the Ion Guide Isotope Separator On-Line facility in Jyv\"askyl\"a. The low-spin isomeric state of each niobium case was populated through the decay of the zirconium parent, that was treated as a contaminant. We have applied a method to extract this contamination, and additionally we have obtained $\beta$ intensity distributions for these zirconium decays. The $\beta$-strength distributions evaluated with these results were compared with calculations in quasiparticle random-phase approximation, suggesting a prolate configuration for the ground states of $^{100,102}$Zr. The footprint of the Pandemonium effect was found when comparing our results for the analyses of the niobium isotopes with previous decay data. The $\beta$-intensities of the decay of $^{102\text{m}}$Nb were obtained for the first time. A careful evaluation of the uncertainties was carried out, and the consistency of our results was validated taking advantage of the segmentation of our spectrometer. The final results were used as input in reactor summation calculations. A large impact on antineutrino spectrum calculations was already reported and here we detail the significant impact on decay heat calculations.


title: Spin-boson model as a simulator of non-Markovian multiphoton Jaynes-Cummings models

abstract: The paradigmatic spin-boson model considers a spin degree of freedom interacting with an environment typically constituted by a continuum of bosonic modes. This ubiquitous model is of relevance in a number of physical systems where, in general, one has neither control over the bosonic modes, nor the ability to tune distinct interaction mechanisms. Despite this apparent lack of control, we present a suitable transformation that approximately maps the spin-boson dynamics into that of a tunable multiphoton Jaynes-Cummings model undergoing dissipation. Interestingly, the latter model describes the coherent interaction between a spin and a single bosonic mode via the simultaneous exchange of n bosons per spin excitation. Resorting to the so-called reaction coordinate method, we identify a relevant collective bosonic mode in the environment which is then used to generate multiphoton interactions following the proposed theoretical framework. Moreover, we show that spin-boson models featuring structured environments can lead into non-Markovian multiphoton Jaynes-Cummings dynamics. We discuss the validity of the proposed method depending on the parameters and analyze its performance, which is supported by numerical simulations. In this manner, the spin-boson model serves as a good analog quantum simulator for the inspection and realization of multiphoton Jaynes-Cummings models as well as the interplay of non-Markovian effects, and thus, as a simulator of light-matter systems with tunable interaction mechanisms.


title: Carleman estimate for an adjoint of a damped beam equation and an application to null controllability

abstract: In this article we consider a control problem of a linear Euler-Bernoulli damped beam equation with potential in dimension one with periodic boundary conditions. We derive a new Carleman estimate for an adjoint of the equation under consideration. Then using a well known duality argument we obtain explicitly the control function which can be used to drive the solution trajectory of the control problem to zero state.


title: New model for radiatively generated Dirac neutrino masses and lepton flavor violating decays of the Higgs boson

abstract: We propose a new mechanism to explain neutrino masses with lepton number conservation, in which the Dirac neutrino masses are generated at the two-loop level involving a dark matter candidate. In this model, branching ratios of lepton flavor violating decays of the Higgs boson can be much larger than those of lepton flavor violating decays of charged leptons. If lepton flavor violating decays of the Higgs boson are observed at future collider experiments without detecting lepton flavor violating decays of charged leptons, most of the models previously proposed for tiny neutrino masses are excluded while our model can still survive. We show that the model can be viable under constraints from current data for neutrino experiments, searches for lepton flavor violating decays of charged leptons and dark matter experiments.


title: Nonlinear dynamics of coupled superfluids

abstract: Following recent experiments on ultracold dual superflows, we model in this work the dynamics of two harmonically trapped counterflowing superfluids. Using complementary analytical and numerical approaches, we study the shedding of elementary excitations triggered by the relative motion of the two species. We exhibit two different excitation mechanisms leading to distinct threshold velocities for the onset of dissipation: in addition to the parametric pair production present in homogeneous , galilean-invariant systems, we show that non-uniform motion and density inhomogeneities allow for a Landau-like decay mechanism where single excitations are produced.


title: Superlattice nanowire heat engines with direction-dependent power output and heat current

abstract: Heat engines (HEs) made of low dimensional structures offer promising applications in energy harvesting due to their reduced phonon thermal conductance. Many efforts have been devoted to the design of HEs made of quantum-dot (QD) superlattice nanowire (SLNW), but only SLNWs with uniform energy levels in QDs were considered. Here we propose a HE made of SLNW with staircase-like QD energy levels. It is demonstrated that the nonlinear Seebeck effect can lead to significant electron transports for such a nanowire with staircase-like energy levels. The asymmetrical alignment of energy levels of quantum dots embedded in nanowires can be controlled to allow resonant electron transport under forward temperature bias, while they are in off-resonant regime under backward bias. Under such a mechanism,the power output and efficiency of such a SLNW are better than SLNWs with uniform QD energy levels. The SLNW HE has direction-dependent power output and heat current. In addition, the HE has the functionality of a heat diode with impressive negative differential thermal conductance under open circuit condition.


title: Quantum spacetime and the renormalization group: Progress and visions

abstract: The quest for a consistent theory which describes the quantum microstructure of spacetime seems to require some departure from the paradigms that have been followed in the construction of quantum theories for the other fundamental interactions. In this contribution we briefly review two approaches to quantum gravity, namely, asymptotically safe quantum gravity and tensor models, based on different theoretical assumptions. Nevertheless, the main goal is to find a universal continuum limit for such theories and we explain how coarse-graining techniques should be adapted to each case. Finally, we argue that although seemingly different, such approaches might be just two sides of the same coin.


title: A Hybrid Evolutionary Algorithm Framework for Optimising Power Take Off and Placements of Wave Energy Converters

abstract: Ocean wave energy is a source of renewable energy that has gained much attention for its potential to contribute significantly to meeting the global energy demand. In this research, we investigate the problem of maximising the energy delivered by farms of wave energy converters (WEC's). We consider state-of-the-art fully submerged three-tether converters deployed in arrays. The goal of this work is to use heuristic search to optimise the power output of arrays in a size-constrained environment by configuring WEC locations and the power-take-off (PTO) settings for each WEC. Modelling the complex hydrodynamic interactions in wave farms is expensive, which constrains search to only a few thousand model evaluations. We explore a variety of heuristic approaches including cooperative and hybrid methods. The effectiveness of these approaches is assessed in two real wave scenarios (Sydney and Perth) with farms of two different scales. We find that a combination of symmetric local search with Nelder-Mead Simplex direct search combined with a back-tracking optimization strategy is able to outperform previously defined search techniques by up to 3\%.


title: Rapid Signalling of Queue Dynamics

abstract: Rather than directly considering the queuing delay of data, this memo focuses on reducing the delay that congestion signals experience within a queue management algorithm, which can be greater than the delay that the data itself experiences within the queue. Once the congestion signals are delayed, regulation of the load becomes more sloppy, and the queue tends to overshoot and undershoot more as a result, leading the data itself to experience greater peaks in queuing delay as well as intermittent under-utilization. Where the service rate of a queue varies, it is preferable to measure the queue in units of time not bytes. However, the size of the queued backlog can be measured in bytes and signalled at the last instant as data leaves the queue, whereas measuring queuing delay introduces inherent delay. This paper proposes 'scaled sojourn time', which scales queuing delay by the ratio between the backlogs at dequeue and enqueue. This is equivalent to scaling the sojourn time by the ratio of the arrival and departure rates averaged over the time spent in the queue. The paper also proposes the removal of delays due to randomness in the signal encoding.


title: Donsker's theorem in {Wasserstein}-1 distance

abstract: We compute the Wassertein-1 (or Kolmogorov-Rubinstein) distance between a random walk in $R^d$ and the Brownian motion. The proof is based on a new estimate of the Lipschitz modulus of the solution of the Stein's equation. As an application, we can evaluate the rate of convergence towards the local time at 0 of the Brownian motion.


title: Bouncing evolution in a model of loop quantum gravity

abstract: To understand the dynamics of loop quantum gravity, the deparametrized model of gravity coupled to a scalar field is studied in a simple case, where the graph underlying the spin network basis is one loop based at a single vertex. The Hamiltonian operator $\hat{H}_v$ is chosen to be graph-preserving, and the matrix elements of $\hat{H}_v$ are explicitly worked out in a suitable basis. The non-trivial Euclidean part $\hat{H}_v^E$ of $\hat{H}_v$ is studied in details. It turns out that by choosing a specific symmetrization of $\hat{H}_v^E$, the dynamics driven by the Hamiltonian gives a picture of bouncing evolution. Our result in the model of full loop quantum gravity gives a significant echo of the well-known quantum bounce in the symmetry-reduced model of loop quantum cosmology, which indicates a closed relation between singularity resolution and quantum geometry.


title: Accurate modelling of the low-order secondary resonances in the spin-orbit problem

abstract: We provide an analytical approximation to the dynamics in each of the three most important low order secondary resonances (1:1, 2:1, and 3:1) bifurcating from the synchronous primary resonance in the gravitational spin-orbit problem. To this end we extend the perturbative approach introduced in Gkolias et. al. (2016), based on normal form series computations. This allows to recover analytically all non-trivial features of the phase space topology and bifurcations associated with these resonances. Applications include the characterization of spin states of irregular planetary satellites or double systems of minor bodies with irregular shapes. The key ingredients of our method are: i) the use of a detuning parameter measuring the distance from the exact resonance, and ii) an efficient scheme to `book-keep' the series terms, which allows to simultaneously treat all small parameters entering the problem. Explicit formulas are provided for each secondary resonance, yielding i) the time evolution of the spin state, ii) the form of phase portraits, iii) initial conditions and stability for periodic solutions, and iv) bifurcation diagrams associated with the periodic orbits. We give also error estimates of the method, based on analyzing the asymptotic behavior of the remainder of the normal form series.


title: Hidden mechanism for embedding the flat bands of Lieb, kagome, and checkerboard lattices in other structures

abstract: The interplay of hopping parameters that can give rise to flat bands in consequence of quantum interference in electronic, photonic, and other interesting materials has become an extensively studied topic. Most of the recognized structures having flat bands are the lattices that can be understood by the mathematical theory of line graphs, such as the Lieb, kagome, and checkerboard lattices. Here, we demonstrate that the structures that can realize the same kind of flat bands given by those well-known lattices hosting exotic quantum phases are more flexible. The flat bands belonging to the recognized structures can be ideally embedded into the new structures that cannot be considered as the original ones in terms of a unitary transformation. The uncovered mechanism enriches the understanding of physics behind the localized quantum states and broadens the choice of materials that can be used for designing electronic and photonic devices from the zero band dispersion.


title: Quasi-best approximation in optimization with PDE constraints

abstract: We consider finite element solutions to quadratic optimization problems, where the state depends on the control via a well-posed linear partial differential equation. Exploiting the structure of a suitably reduced optimality system, we prove that the combined error in the state and adjoint state of the variational discretization is bounded by the best approximation error in the underlying discrete spaces. The constant in this bound depends on the inverse square-root of the Tikhonov regularization parameter. Furthermore, if the operators of control-action and observation are compact, this quasi-best-approximation constant becomes independent of the Tikhonov parameter as the meshsize tends to $0$ and we give quantitative relationships between meshsize and Tikhonov parameter ensuring this independence. We also derive generalizations of these results when the control variable is discretized or when it is taken from a convex set.


title: Structure and $K$-theory of $\ell^p$ uniform Roe algebras

abstract: In this paper, we characterize when the $\ell^p$ uniform Roe algebra of a metric space with bounded geometry is (stably) finite and when it is properly infinite in standard form for $p\in [1,\infty)$. Moreover, we show that the $\ell^p$ uniform Roe algebra is a (non-sequential) spatial $L^p$ AF algebra in the sense of Phillips and Viola if and only if the underlying metric space has asymptotic dimension zero. We also consider the ordered $K_0$ groups of $\ell^p$ uniform Roe algebras for metric spaces with low asymptotic dimension, showing that (1) the ordered $K_0$ group is trivial when the metric space is non-amenable and has asymptotic dimension at most one, and (2) when the metric space is a countable locally finite group, the (ordered) $K_0$ group is a complete invariant for the (bijective) coarse equivalence class of the underlying locally finite group. It happens that in both cases the ordered $K_0$ group does not depend on $p\in [1,\infty)$.


title: Almost Gorenstein rings arising from fiber products

abstract: The purpose of this paper is, as part of the stratification of Cohen-Macaulay rings, to investigate the question of when the fiber products are almost Gorenstein rings. We show that the fiber product $R \times_T S$ of Cohen-Macaulay local rings $R$, $S$ of the same dimension $d>0$ over a regular local ring $T$ with $\dim T=d-1$ is an almost Gorenstein ring if and only if so are $R$ and $S$. Besides, the other generalizations of Gorenstein properties are also explored.


title: Stabilization of non-admissible curves for a class of nonholonomic systems

abstract: The problem of tracking an arbitrary curve in the state space is considered for underactuated driftless control-affine systems. This problem is formulated as the stabilization of a time-varying family of sets associated with a neighborhood of the reference curve. An explicit control design scheme is proposed for the class of controllable systems whose degree of nonholonomy is equal to 1. It is shown that the trajectories of the closed-loop system converge exponentially to any given neighborhood of the reference curve provided that the solutions are defined in the sense of sampling. This convergence property is also illustrated numerically by several examples of nonholonomic systems of degrees 1 and 2.


title: Decentralised Cooperative Collision Avoidance with Reference-Free Model Predictive Control and Desired Versus Planned Trajectories

abstract: Connected and automated vehicles provide a new opportunity for highly advanced collision avoidance, in which several cars cooperate to reach an optimal overall outcome, that no single car acting in isolation could achieve. For example, one car may automatically swerve to allow another to avoid an obstacle. However, this requires solving the challenging problem of deciding what joint trajectories an ad-hoc group of cooperating vehicles should follow, with no obvious leader known in advance. To avoid the complexities of agreeing what plan to follow in an ever-evolving situation, a protocol requiring no leader and no explicit inter-vehicle agreement is desirable, which nevertheless yields cooperative, robust behaviour. One method is demonstrated here, in simulation. This uses the notion of "desired" versus "planned" trajectories, allowing vehicles to influence each other for mutual benefit, without requiring a leader or explicit agreement protocol. Essentially the desired trajectory is that which the vehicle would choose if other cooperating vehicles were not present, avoiding the predicted paths of non-cooperating actors. The planned trajectory additionally accounts for the planned trajectories of other cooperating vehicles, giving the safest currently available path. Both trajectories are broadcast. As each vehicle attempts to (weakly) avoid the desired trajectories of other vehicles, cooperative behaviour emerges. A simple form of model predictive control is used. The cost function penalises predicted collisions, accounting for severity. There is a weak preference for maintaining the current road lane, but no explicit reference trajectory. This decentralised planning and simple optimisation scheme results in effective handling of a wide range of collision scenarios, with no hard limit to the number of cooperating vehicles. The computing cost is linear in the number of vehicles.


title: Rigidity and auxeticity transitions in networks with strong bond-bending interactions

abstract: A widely-studied model for gels or biopolymeric fibrous materials are networks with central force interactions, such as Hookean springs. Less commonly studied are materials whose mechanics are dominated by non-central force interactions such as bond-bending potentials. Inspired by recent experimental advancements in designing colloidal gels with tunable interactions, we study the micro- and macroscopic elasticity of two-dimensional planar graphs with strong bond bending potentials, in addition to weak central forces. We introduce a theoretical framework that allows us to directly investigate the limit in which the ratio of characteristic central-force to bending stiffnesses vanishes. In this limit we show that a generic isostatic point exists at $z_c=4$, coinciding with the isostatic point of frames with central force interactions in two dimensions. We further demonstrate the emergence of a stiffening transition when the coordination is increased towards the isostatic point, which shares similarities with the strain-induced stiffening transition observed in biopolymeric fibrous materials, and coincides with an auxeticity transition above which the material's Poisson's ratio approaches -1 when bond-bending interactions dominate.


title: Ranks of overpartitions: Asymptotics and inequalities

abstract: In this paper we compute asymptotics for the coefficients of an infinite class of overpartition rank generating functions. Using these results, we show that $ \overline{N}(a,c,n), $ the number of overpartitions of $ n $ with rank congruent to $ a $ modulo $ c, $ is equidistributed with respect to $ 0\le a< c, $ for any $ c\ge2, $ as $ n\to\infty $ and, in addition, we prove some inequalities between ranks of overpartitions conjectured by Ji, Zhang and Zhao (2018), and Wei and Zhang (2018) for $ n=6 $ and $ n=10. $


title: Free log-likelihood as an unbiased metric for coherent diffraction imaging

abstract: Coherent Diffraction Imaging (CDI), a technique where an object is reconstructed from a single (2D or 3D) diffraction pattern, recovers the lost diffraction phases without a priori knowledge of the extent (support) of the object, which prevents an unambiguous metric evaluation of solutions. We propose to use a 'free' log-likelihood indicator, where a small percentage of points are masked from the reconstruction algorithms, as an unbiased metric to evaluate the validity of proposed solutions, independent of the sample studied. We also show how a set of solutions can be analysed through an eigen-decomposition to yield a better estimate of the real object. Example analysis on experimental data is presented both for a test pattern dataset, and the diffraction pattern from a live cyanobacteria cell. The method allows the validation of reconstructions on a wide range of materials (hard condensed, biological,..), and should be particularly relevant for 4th generation synchrotrons and X-ray free electron lasers, where large, high-throughput datasets require a method for unsupervised data evaluation.


title: Inferring AGN jet parameters using Bayesian analysis of VLBI data with non-uniform jet model

abstract: Physical parameters of AGN jets observed with Very Long Baseline Interferometry (VLBI) are usually inferred from the core shift measurements or flux and size measured at a peak frequency of the synchrotron spectrum. Both are preceded by modelling of the observed VLBI jet structure with a simple Gaussian templates. We propose to infer the jets parameters using the inhomogeneous jet model directly - bypassing the modelling of the source structure with a Gaussian templates or image deconvolution. We applied Bayesian analysis to multi-frequency VLBA observations of radio galaxy NGC 315 and found that its parsec-scale jet is well described by the inhomogeneous conical model. Our results favour electron-positron jet. We also detected a component in a counter jet. Its position implies the presence of an external absorber with a steep density gradient at close ($r=0.1$ pc) distance from the central engine.


title: Heat capacity of liquids in light of hydrodynamics as U(1) gauge theory

abstract: We investigate the heat capacity of liquids through a theoretical approach based on a quasiparticle description. By interpreting the microscopic dynamics of particles in liquids in terms of quasiparticles, we suggest a simplified understanding of the number of degrees of freedom in liquids. A equivalence between hydrodynamics and U(1) gauge theory, which is newly proposed in the present paper, develops the quasiparticle description to construct a new Lagrangian which correctly reproduces the number of modes at the melting points and at the critical points. The heat capacity evaluated from this Lagrangian naturally interpolates between these two points, and agrees with the phonon theory of liquids [Sci. Rep. 2, 421 (2012)].


title: Observation-based modelling of magnetised Coronal Mass Ejections with EUHFORIA

abstract: Coronal Mass Ejections (CMEs) are the primary source of strong space weather disturbances at Earth. Their geoeffectiveness is largely determined by their dynamic pressure and internal magnetic fields, for which reliable predictions at Earth are not possible with traditional cone CME models. We study two Earth-directed CMEs using the EUropean Heliospheric FORecasting Information Asset (EUHFORIA) model, testing the predictive capabilities of a linear force-free spheromak CME model initialised using parameters derived from remote-sensing observations. Using observation-based CME input parameters, we perform MHD simulations of the events with the cone and spheromak CME models. Results show that spheromak CMEs propagate faster than cone CMEs when initialised with the same kinematic parameters. We interpret these differences as due to different Lorentz forces acting within cone and spheromak CMEs, leading to different CME expansions. Such discrepancies can be mitigated by initialising spheromak CMEs with a reduced speed corresponding to the radial speed only. Results at Earth evidence that the spheromak model improves the predictions of B(Bz) up to 12-60(22-40) percentage points compared to a cone model. Considering virtual spacecraft located around Earth, B(Bz) predictions reach 45-70%(58-78%) of the observed peak values. The spheromak model predicts inaccurate magnetic field parameters at Earth for CMEs propagating away from the Sun-Earth line, while it successfully predicts the CME properties and arrival time in the case of strictly Earth-directed events. Modelling CMEs propagating away from the Sun-Earth line requires extra care due to limitations related to the assumed spherical shape. The spatial variability of modelling results and the typical uncertainties in the reconstructed CME direction advocate the need to consider predictions at Earth and at virtual spacecraft around it.


title: Le th\'eor\`eme de r\'eduction stable de Deligne et Mumford

abstract: The stable reduction theorem of Deligne and Mumford --- The moduli space of smooth projective curves of genus $g$ is a quasi-projective algebraic variety, but is not projective. To understand its geometry, it may be crucial to consider compactifications of this space. By allowing to parameterize as well curves with controlled singularities (the so called stable curves), Deligne and Mumford constructed a projective compactification. The properness of this compactification translates into the stable reduction theorem that they prove, its projectivity is a later theorem of Knudsen and Mumford. This text is based on the oral presentation and aims at introducing these objects.


title: Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version

abstract: Applications in many domains are based on a series of traversals of tree structures, and fusing these traversals together to reduce the total number of passes over the tree is a common, important optimization technique. In applications such as compilers and render trees, these trees are heterogeneous: different nodes of the tree have different types. Unfortunately, prior work for fusing traversals falls short in different ways: they do not handle heterogeneity; they require using domain-specific languages to express an application; they rely on the programmer to aver that fusing traversals is safe, without any soundness guarantee; or they can only perform coarse-grain fusion, leading to missed fusion opportunities. This paper addresses these shortcomings to build a framework for fusing traversals of heterogeneous trees that is automatic, sound, and fine-grained. We show across several case studies that our approach is able to allow programmers to write simple, intuitive traversals, and then automatically fuse them to substantially improve performance.


title: Infinite class field towers of number fields of prime power discriminant

abstract: For every prime number p, we show the existence of a solvable number field L ramified only at {p and infinity whose p-Hilbert Class field tower is infinite.


title: Information-Entropic Measures in Confined Isotropic Harmonic Oscillator

abstract: Information based uncertainty measures like R{\'e}nyi entropy (R), Shannon entropy (S) and Onicescu energy (E) (in both position and momentum space) are employed to understand the influence of radial confinement in isotropic harmonic oscillator. The transformation of Hamiltonian in to a dimensionless form gives an idea of the composite effect of oscillation frequency ($\omega$) and confinement radius ($r_{c}$). For a given quantum state, accurate results are provided by applying respective \emph{exact} analytical wave function in $r$ space. The $p$-space wave functions are produced from Fourier transforms of radial functions. Pilot calculations are done taking order of entropic moments ($\alpha, \beta$) as $(\frac{3}{5}, 3)$ in $r$ and $p$ spaces. A detailed, systematic analysis is performed for confined harmonic oscillator (CHO) with respect to state indices $n_{r},l$, and $r_c$. It has been found that, CHO acts as a bridge between particle in a spherical box (PISB) and free isotropic harmonic oscillator (IHO). At smaller $r_c$, $E_{\rvec}$ increases and $R_{\rvec}^{\alpha}, S_{\rvec}$ decrease with rise of $n_{r}$. At moderate $r_{c}$, there exists an interaction between two competing factors: (i) radial confinement (localization) and (ii) accumulation of radial nodes with growth of $n_{r}$ (delocalization). Most of these results are reported here for the first time, revealing many new interesting features.


title: Cooling in the shade of warped transition disks

abstract: The mass of the gaseous reservoir in young circumstellar disks is a crucial initial condition for the formation of planetary systems, but estimates vary by orders of magnitude. In some disks with resolvable cavities, sharp inner disk warps cast two-sided shadows on the outer rings; can the cooling of the gas as it crosses the shadows bring constraints on its mass? The finite cooling timescale should result in dust temperature decrements shifted ahead of the optical/IR shadows in the direction of rotation. However, some systems show temperature drops, while others do not. The depth of the drops and the amplitude of the shift depend on the outer disk surface density Sigma through the extent of cooling during the shadow crossing time, and also on the efficiency of radiative diffusion. These phenomena may bear observational counterparts, which we describe with a simple one-dimensional model. An application to the HD142527 disk suggests an asymmetry in its shadows, and predicts a >~10deg shift for a massive gaseous disk, with peak Sigma > 8.3 g/cm2. Another application to the DoAr44 disk limits the peak surface density to Sigma < 13g/cm2


title: Infrared Spectroscopy of Large, Low-Albedo Asteroids: Are Ceres and Themis Archetypes or Outliers?

abstract: Low-albedo, hydrated objects dominate the list of the largest asteroids. These objects have varied spectral shapes in the 3-$\mu$m region, where diagnostic absorptions due to volatile species are found. Dawn's visit to Ceres has extended the view shaped by ground-based observing, and shown that world to be a complex one, potentially still experiencing geological activity. We present 33 observations from 2.2-4.0 $\mu$m of eight large (greater than 200 km diameter) asteroids from the C spectral complex, with spectra inconsistent with the hydrated minerals we see in meteorites. We characterize their absorption band characteristics via polynomial and Gaussian fits to test their spectral similarity to Ceres, the asteroid 24 Themis (thought to be covered in ice frost), and the asteroid 51 Nemausa (spectrally similar to the CM meteorites). We confirm most of the observations are inconsistent with what is seen in meteorites and require additional absorbers. We find clusters in band centers that correspond to Ceres- and Themis-like spectra, but no hiatus in the distribution suitable for use to simply distinguish between them. We also find a range of band centers in the spectra that approaches what is seen on Comet 67P. Finally, variation is seen between observations for some objects, with the variation on 324 Bamberga consistent with hemispheric-level difference in composition. Given the ubiquity of objects with 3-$\mu$m spectra unlike what we see in meteorites, and the similarity of those spectra to the published spectra of Ceres and Themis, these objects appear much more to be archetypes than outliers.


title: The current density and transport coefficients in the fully ionized plasma with q-distributions in nonextensive statistics

abstract: We study the current density and transport coefficients in the fully ionized plasma with the q-distributions in nonextensive statistics and in strong magnetic field. By using the generalized Boltzmann transport equation in nonextensive statistics, we derive the current density and the expressions of the transport coefficients, including the conductivity, the thermoelectric coefficient, the Hall coefficient, and the Nernst coefficient. It is shown that these new transport coefficients has been generalized to the nonequilibrium complex plasmas with q-distributions in nonextensive statistics, which depend strongly on the q-parameters and when we take the limit q to 1, they perfectly return to those for the plasma based on a Maxwellian distribution.


title: Topologically Protected Doubling of Tilted Dirac Fermions in Two Dimensions

abstract: The doubling of massless Dirac fermions on two-dimensional lattices is theoretically studied. It has been shown that the doubling of massless Dirac fermions on a lattice with broken chiral symmetry is topologically protected even when the Dirac cone is tilted. This is due to the generalized chiral symmetry defined for lattice systems, where such models can be generated by a deformation of the chiral-symmetric lattice models. The present paper shows for two-band lattice models that this is a general way to produce systems with the generalized chiral symmetry in that such systems can always be transformed back to a lattice model with the conventional chiral symmetry. We specifically show that the number of zero modes is an invariant of the transformation, leading to the topological protection \`{a} la Nielsen-Ninomiya of the doubling of tilted and massless Dirac fermions in two dimensions.


title: Nombre de composantes connexes d'une vari\'et\'e r\'eelle et R-places

abstract: The purpose of this paper is to present results and open problems related to R-places. The first section recalls basic facts, the second introduces R-places and their relationship with orderings and valuations. The third part involves Real Algebraic Geometry and gives results proved using the space of R-places. Theorem 14 gives explicitly, in terms of the function field of the variety, the number of connected components of a non-empty smooth projective real variety. The fourth and fifth parts are devoted to the links with the real holomorphy rings and the valuation fans. Then we present an approach to abstract real places and conclude with some open questions.


title: Repeat-Authenticate Scheme for Multicasting of Blockchain Information in IoT Systems

abstract: We study the problem of efficiently disseminating authenticated blockchain information from blockchain nodes (servers) to Internet of Things (IoT) devices, through a wireless base station (BS). In existing blockchain protocols, upon generation of a new block, each IoT device receives a copy of the block header, authenticated via digital signature by one or more trusted servers. Since it relies on unicast transmissions, the required communication resources grow linearly with the number of IoT devices. We propose a more efficient scheme, in which a single copy of each block header is multicasted, together with the signatures of servers. In addition, if IoT devices tolerate a delay, we exploit the blockchain structure to amortize the authentication in time, by transmitting only a subset of signature in each block period. Finally, the BS sends redundant information, via a repetition code, to deal with the unreliable wireless channel, with the aim of decreasing the amount of feedback required from IoT devices. Our analysis shows the trade-off between timely authentication of blocks and reliability of the communication, depending on the packet loss rate offered by the channel. The numerical results show that the performance benefits of the proposed scheme makes it a viable starting point for designing new lightweight protocols for blockchains.


title: The Varchenko Determinant for Apartments

abstract: Varchenko introduced a distance function on chambers of hyperplane arrangements that he called quantum bilinear form. That gave rise to a determinant indexed by chambers whose entry in position $(C,D)$ is the distance between $C$ and $D$: that is the Varchenko determinant. He showed that that determinant has a nice factorization. Later, Aguiar and Mahajan defined a generalization of the quantum bilinear form, and computed the Varchenko determinant given rise by that generalization for central hyperplane arrangements and their cones. This article takes inspiration from their proof strategy to compute the Varchenko determinant given rise by their distance function for apartment of hyperplane arrangements. Those latter are in fact realizable conditional oriented matroids.


title: An algorithm for determining torsion growth of elliptic curves

abstract: We present a fast algorithm that takes as input an elliptic curve defined over $\mathbb Q$ and an integer $d$ and returns all the number fields $K$ of degree $d'$ dividing $d$ such that $E(K)_{tors}$ contains $E(F)_{tors}$ as a proper subgroup, for all $F \varsubsetneq K$. We ran this algorithm on all elliptic curves of conductor less than 400.000 (a total of 2.483.649 curves) and all $d \leq 23$ and collected various interesting data. In particular, we find a degree 6 sporadic point on $X_1(4,12)$, which is so far the lowest known degree a sporadic point on $X_1(m,n)$, for $m\geq 2$.


title: Modeling Hierarchical Usage Context for Software Exceptions based on Interaction Data

abstract: Traces of user interactions with a software system, captured in production, are commonly used as an input source for user experience testing. In this paper, we present an alternative use, introducing a novel approach of modeling user interaction traces enriched with another type of data gathered in production - software fault reports consisting of software exceptions and stack traces. The model described in this paper aims to improve developers' comprehension of the circumstances surrounding a specific software exception and can highlight specific user behaviors that lead to a high frequency of software faults. Modeling the combination of interaction traces and software crash reports to form an interpretable and useful model is challenging due to the complexity and variance in the combined data source. Therefore, we propose a probabilistic unsupervised learning approach, adapting the Nested Hierarchical Dirichlet Process, which is a Bayesian non-parametric topic model commonly applied to natural language data. This model infers a tree of topics, each of whom describes a set of commonly co-occurring commands and exceptions. The topic tree can be interpreted hierarchically to aid in categorizing the numerous types of exceptions and interactions. We apply the proposed approach to large scale datasets collected from the ABB RobotStudio software application, and evaluate it both numerically and with a small survey of the RobotStudio developers.


title: A deep learning framework for quality assessment and restoration in video endoscopy

abstract: Endoscopy is a routine imaging technique used for both diagnosis and minimally invasive surgical treatment. Artifacts such as motion blur, bubbles, specular reflections, floating objects and pixel saturation impede the visual interpretation and the automated analysis of endoscopy videos. Given the widespread use of endoscopy in different clinical applications, we contend that the robust and reliable identification of such artifacts and the automated restoration of corrupted video frames is a fundamental medical imaging problem. Existing state-of-the-art methods only deal with the detection and restoration of selected artifacts. However, typically endoscopy videos contain numerous artifacts which motivates to establish a comprehensive solution. We propose a fully automatic framework that can: 1) detect and classify six different primary artifacts, 2) provide a quality score for each frame and 3) restore mildly corrupted frames. To detect different artifacts our framework exploits fast multi-scale, single stage convolutional neural network detector. We introduce a quality metric to assess frame quality and predict image restoration success. Generative adversarial networks with carefully chosen regularization are finally used to restore corrupted frames. Our detector yields the highest mean average precision (mAP at 5% threshold) of 49.0 and the lowest computational time of 88 ms allowing for accurate real-time processing. Our restoration models for blind deblurring, saturation correction and inpainting demonstrate significant improvements over previous methods. On a set of 10 test videos we show that our approach preserves an average of 68.7% which is 25% more frames than that retained from the raw videos.


title: Optimized protocol for twin-field quantum key distribution

abstract: Twin-field quantum key distribution (TF-QKD) and its variant protocols are highly attractive due to the advantage of overcoming the rate-loss limit for secret key rates of point-to-point QKD protocols. For variations of TF-QKD, the key point to ensure security is switching randomly between a code mode and a test mode. Among all TF-QKD protocols, their code modes are very different, e.g. modulating continuous phases, modulating only two opposite phases, and sending or not sending signal pulses. Here we show that, by discretizing the number of global phases in the code mode, we can give a unified view on the first two types of TF-QKD protocols, and demonstrate that increasing the number of discrete phases extends the achievable distance, and as a trade-off, lowers the secret key rate at short distances due to the phase post-selection.


title: Model-Based Testing IoT Communication via Active Automata Learning

abstract: This paper presents a learning-based approach to detecting failures in reactive systems. The technique is based on inferring models of multiple implementations of a common specification which are pair-wise cross-checked for equivalence. Any counterexample to equivalence is flagged as suspicious and has to be analysed manually. Hence, it is possible to find possible failures in a semi-automatic way without prior modelling. We show that the approach is effective by means of a case study. For this case study, we carried out experiments in which we learned models of five implementations of MQTT brokers/servers, a protocol used in the Internet of Things. Examining these models, we found several violations of the MQTT specification. All but one of the considered implementations showed faulty behaviour. In the analysis, we discuss effectiveness and also issues we faced.


title: Disorder induced multifractal superconductivity in monolayer niobium dichalcogenides

abstract: The interplay between disorder and superconductivity is a subtle and fascinating phenomenon in quantum many body physics. The conventional superconductors are insensitive to dilute nonmagnetic impurities, known as the Anderson's theorem. Destruction of superconductivity and even superconductor-insulator transitions occur in the regime of strong disorder. Hence disorder-enhanced superconductivity is rare and has only been observed in some alloys or granular states. Because of the entanglement of various effects, the mechanism of enhancement is still under debate. Here we report well-controlled disorder effect in the recently discovered monolayer NbSe$_2$ superconductor. The superconducting transition temperatures of NbSe$_2$ monolayers are substantially increased by disorder. Realistic theoretical modeling shows that the unusual enhancement possibly arises from the multifractality of electron wave functions. This work provides the first experimental evidence of the multifractal superconducting state.


title: Painting on Placement: Forecasting Routing Congestion using Conditional Generative Adversarial Nets

abstract: Physical design process commonly consumes hours to days for large designs, and routing is known as the most critical step. Demands for accurate routing quality prediction raise to a new level to accelerate hardware innovation with advanced technology nodes. This work presents an approach that forecasts the density of all routing channels over the entire floorplan, with features collected up to placement, using conditional GANs. Specifically, forecasting the routing congestion is constructed as an image translation (colorization) problem. The proposed approach is applied to a) placement exploration for minimum congestion, b) constrained placement exploration and c) forecasting congestion in real-time during incremental placement, using eight designs targeting a fixed FPGA architecture.


title: Semantic query-by-example speech search using visual grounding

abstract: A number of recent studies have started to investigate how speech systems can be trained on untranscribed speech by leveraging accompanying images at training time. Examples of tasks include keyword prediction and within- and across-mode retrieval. Here we consider how such models can be used for query-by-example (QbE) search, the task of retrieving utterances relevant to a given spoken query. We are particularly interested in semantic QbE, where the task is not only to retrieve utterances containing exact instances of the query, but also utterances whose meaning is relevant to the query. We follow a segmental QbE approach where variable-duration speech segments (queries, search utterances) are mapped to fixed-dimensional embedding vectors. We show that a QbE system using an embedding function trained on visually grounded speech data outperforms a purely acoustic QbE system in terms of both exact and semantic retrieval performance.


title: The Native AQM for L4S Traffic

abstract: This memo focuses solely on the native AQM of Low Latency Low Loss Scalable throughput (L4S) traffic and proposes various improvements to the original step design. One motivation for DCTCP to use simple step marking was that it was possible to deploy it by merely configuring the RED implementations in existing hardware, albeit in an unexpected configuration by setting parameters to degenerate values. However, there is no longer any imperative to stick with the original DCTCP step-function design, because changes will be needed to implement the DualQ Coupled AQM anyway, and the requirements for L4S congestion controls are not yet set in stone either. This paper proposes gradient (ramp) marking and a virtual (a.k.a. phantom) queue. It provides a way to implement virtual queuing delay (a.k.a. virtual sojourn time) and scaled virtual sojourn time.


title: Saliency Prediction on Omnidirectional Images with Generative Adversarial Imitation Learning

abstract: When watching omnidirectional images (ODIs), subjects can access different viewports by moving their heads. Therefore, it is necessary to predict subjects' head fixations on ODIs. Inspired by generative adversarial imitation learning (GAIL), this paper proposes a novel approach to predict saliency of head fixations on ODIs, named SalGAIL. First, we establish a dataset for attention on ODIs (AOI). In contrast to traditional datasets, our AOI dataset is large-scale, which contains the head fixations of 30 subjects viewing 600 ODIs. Next, we mine our AOI dataset and determine three findings: (1) The consistency of head fixations are consistent among subjects, and it grows alongside the increased subject number; (2) The head fixations exist with a front center bias (FCB); and (3) The magnitude of head movement is similar across subjects. According to these findings, our SalGAIL approach applies deep reinforcement learning (DRL) to predict the head fixations of one subject, in which GAIL learns the reward of DRL, rather than the traditional human-designed reward. Then, multi-stream DRL is developed to yield the head fixations of different subjects, and the saliency map of an ODI is generated via convoluting predicted head fixations. Finally, experiments validate the effectiveness of our approach in predicting saliency maps of ODIs, significantly better than 10 state-of-the-art approaches.


title: Improvements of the Longitudinal Magnetic Field Measurement from the Solar Magnetic Field Telescope at Huairou Solar Observing Station

abstract: The weak-field approximation implying linear relationship between Stokes $V/I$ and longitudinal magnetic field, $B_{\Vert}$, often suffers from saturation observed in strong magnetic field regions such as sunspot umbra. In this work, we intend to improve the magnetic field observations carried out by the \textit{Solar Magnetic Field Telescope} (SMFT) at Huairou Solar Observing Station, China. We propose using non-linear relationship between Stokes $V/I$ and $B_{\Vert}$ to derive the magnetic field. To determine the form of the relationship, we perform a cross-calibration of the observed SMFT data and magnetograms provided by the \textit{Helioseismic and Magnetic Imager} on board the \textit{Solar Dynamics Observatory}. The algorithm of the magnetic field derivation is described in details. We show that using non-linear relationship between Stokes $V/I$ and $B_{\Vert}$ allows us to eliminate magnetic field saturation inside sunspot umbra. The proposed technique enables one to enhance the reliability of the SMFT magnetic field data obtained even long before the space-based instrumentation era, since 1987.


title: Dark Energy, the Swampland and the Equivalence Principle

abstract: It has recently been argued that string theory does not admit de Sitter vacua. This would imply that the current accelerated expansion of the universe is not driven by a cosmological constant (or vacuum energy) but by other means such as a quintessential scalar field. Such a scalar field is in general expected to couple to at least some matter species, such as dark matter. Cosmological observations already constrain such dark matter couplings strongly. We argue that there are a number of interesting scenarios to be explored, such as coupling functions which possess a minimum at finite field values. In these theories, the effective gravitational coupling between dark matter particles grows with time and are consistent with observations of the anisotropies in the cosmic microwave background radiation and large scale structures. We argue that such couplings might also help to alleviate the tension between the swampland conjectures and the properties of the quintessential potential. Observational signatures of violations of the equivalence principle in the dark sector are expected in the non-linear regime on intermediate or small scales.


title: Compositional Specifications for ioco Testing

abstract: Model-based testing is a promising technology for black-box software and hardware testing, in which test cases are generated automatically from high-level specifications. Nowadays, systems typically consist of multiple interacting components and, due to their complexity, testing presents a considerable portion of the effort and cost in the design process. Exploiting the compositional structure of system specifications can considerably reduce the effort in model-based testing. Moreover, inferring properties about the system from testing its individual components allows the designer to reduce the amount of integration testing. In this paper, we study compositional properties of the IOCO-testing theory. We propose a new approach to composition and hiding operations, inspired by contract-based design and interface theories. These operations preserve behaviors that are compatible under composition and hiding, and prune away incompatible ones. The resulting specification characterizes the input sequences for which the unit testing of components is sufficient to infer the correctness of component integration without the need for further tests. We provide a methodology that uses these results to minimize integration testing effort, but also to detect potential weaknesses in specifications. While we focus on asynchronous models and the IOCO conformance relation, the resulting methodology can be applied to a broader class of systems.


title: Frictional Active Brownian Particles

abstract: Frictional forces affect the rheology of hard-sphere colloids, at high shear rate. Here we demonstrate, via numerical simulations, that they also affect the dynamics of active Brownian particles, and their motility induced phase separation. Frictional forces increase the angular diffusivity of the particles, in the dilute phase, and prevent colliding particles from resolving their collision by sliding one past to the other. This leads to qualitatively changes of motility-induced phase diagram in the volume-fraction motility plane. While frictionless systems become unstable towards phase separation as the motility increases only if their volume fraction overcomes a threshold, frictional system become unstable regardless of their volume fraction. These results suggest the possibility of controlling the motility induced phase diagram by tuning the roughness of the particles.


title: Spin - Rotation Coupling Observed in Neutron Interferometry

abstract: Einstein's theory of general relativity and quantum theory form the two major pillars of modern physics. However, certain inertial properties of a particle's intrinsic spin are inconspicuous while the inertial properties of mass are well known. Here, by performing a neutron interferometric experiment, we observe phase shifts arising as a consequence of the spin's coupling with the angular velocity of a rotating magnetic field. The resulting phase shifts linearly depend on the frequency of the rotation of the magnetic field. Our results agree well with the predictions derived from the Pauli - Schr\"odinger equation.


title: First experiments on Revolver shell collisions at the OMEGA Laser

abstract: Results of recent experiments on the OMEGA Laser are presented, demonstrating the ablator-driver shell collision relevant to the outer two shells of the Revolver triple-shell inertial-confinement-fusion concept [K. Molvig et al., PRL~{\bf 116}, 255003 (2016)]. These nested two-shell experiments measured the pre- and post-collision outer-surface trajectory of the 7.19 g/cc chromium inner shell. Measurements of the shell trajectory are in excellent agreement with simulations; the measured outer-surface velocity was $7.52\pm0.59$ cm/$\mu$s compared to the simulated value of 7.27 cm/$\mu$s. Agreement between the measurements and simulations provides confidence in our ability to model collisions with features which have not been validated previously. Notable features include the absence of $\sim$40 mg/cc foam between shells commonly used in double shell experiments, a dense (7.19 g/cc) inner shell representative of the densities to be used at full scale, approximately mass matched ablator payload and inner shells, and the inclusion of a tamping-layer-like cushion layer for the express purpose of reducing the transfer of high mode growth to the driver shell and mediation of the shell collision. Agreement of experimental measurements with models improves our confidence in the models used to design the Revolver ignition target.


title: Recurrent Neural Network for (Un-)supervised Learning of Monocular VideoVisual Odometry and Depth

abstract: Deep learning-based, single-view depth estimation methods have recently shown highly promising results. However, such methods ignore one of the most important features for determining depth in the human vision system, which is motion. We propose a learning-based, multi-view dense depth map and odometry estimation method that uses Recurrent Neural Networks (RNN) and trains utilizing multi-view image reprojection and forward-backward flow-consistency losses. Our model can be trained in a supervised or even unsupervised mode. It is designed for depth and visual odometry estimation from video where the input frames are temporally correlated. However, it also generalizes to single-view depth estimation. Our method produces superior results to the state-of-the-art approaches for single-view and multi-view learning-based depth estimation on the KITTI driving dataset.


title: P4-MACsec: Dynamic Topology Monitoring and Data Layer Protection with MACsec in P4-SDN

abstract: We propose P4-MACsec to protect network links between P4 switches through automated deployment of MACsec, a widespread IEEE standard for securing Layer 2 infrastructures. It is supported by switches and routers from major manufacturers and has only little performance limitations compared to VPN technologies such as IPsec. P4-MACsec introduces a data plane implementation of MACsec including AES-GCM encryption and decryption directly on P4 switches. P4-MACsec features a two-tier control plane structure where local controllers running on the P4 switches interact with a central controller. We propose a novel secure link discovery mechanism that leverages protected LLDP frames and the two-tier control plane structure for secure and efficient management of a global link map. Automated deployment of MACsec creates secure channel, generates keying material, and configures the P4 switches for each detected link between two P4 switches. It detects link changes and performs rekeying to provide a secure, configuration-free operation of MACsec. In this paper, we review the technological background of P4-MACsec and explain its architecture. To demonstrate the feasibility of P4-MACsec, we implement it on the BMv2 P4 software switch and validate the prototype through experiments. We evaluate its performance through experiments that focus on TCP throughput and round-trip time. We publish the prototype and experiment setups on Github.