title: First-order Euler scheme for SDEs driven by fractional Brownian motions: the rough case

abstract: In this article, we consider the so-called modified Euler scheme for stochastic differential equations (SDEs) driven by fractional Brownian motions (fBm) with Hurst parameter $\frac13<H<\frac12$. This is a first-order time-discrete numerical approximation scheme, and has been recently introduced by Hu, Liu and Nualart in order to generalize the classical Euler scheme for It\^o SDEs to the case $H>\frac12$. The current contribution generalizes the modified Euler scheme to the rough case $\frac13<H<\frac12$. Namely, we show a convergence rate of order $n^{\frac12-2H}$ for the scheme, and we argue that this rate is exact. We also derive a central limit theorem for the renormalized error of the scheme, thanks to some new techniques for asymptotics of weighted random sums. Our main idea is based on the following observation: the triple of processes obtained by considering the fBm, the scheme process and the normalized error process, can be lifted to a new rough path. In addition, the H\"older norm of this new rough path has an estimate which is independent of the step-size of the scheme.


title: Multi-Grid Detector for Neutron Spectroscopy: Results Obtained on Time-of-Flight Spectrometer CNCS

abstract: The Multi-Grid detector technology has evolved from the proof-of-principle and characterisation stages. Here we report on the performance of the Multi-Grid detector, the MG.CNCS prototype, which has been installed and tested at the Cold Neutron Chopper Spectrometer, CNCS at SNS. This has allowed a side-by-side comparison to the performance of $^3$He detectors on an operational instrument. The demonstrator has an active area of 0.2 m$^2$. It is specifically tailored to the specifications of CNCS. The detector was installed in June 2016 and has operated since then, collecting neutron scattering data in parallel to the He-3 detectors of CNCS. In this paper, we present a comprehensive analysis of this data, in particular on instrument energy resolution, rate capability, background and relative efficiency. Stability, gamma-ray and fast neutron sensitivity have also been investigated. The effect of scattering in the detector components has been measured and provides input to comparison for Monte Carlo simulations. All data is presented in comparison to that measured by the $^3$He detectors simultaneously, showing that all features recorded by one detector are also recorded by the other. The energy resolution matches closely. We find that the Multi-Grid is able to match the data collected by $^3$He, and see an indication of a considerable advantage in the count rate capability. Based on these results, we are confident that the Multi-Grid detector will be capable of producing high quality scientific data on chopper spectrometers utilising the unprecedented neutron flux of the ESS.


title: Log terminal singularities, platonic tuples and iteration of Cox rings

abstract: Looking at the well understood case of log terminal surface singularities, one observes that each of them is the quotient of a factorial one by a finite solvable group. The derived series of this group reflects an iteration of Cox rings of surface singularities. We extend this picture to log terminal singularities in any dimension coming with a torus action of complexity one. In this setting, the previously finite groups become solvable torus extensions. As explicit examples, we investigate compound du Val threefold singularities. We give a complete classification and exhibit all the possible chains of iterated Cox rings.


title: Nonlinear dispersive waves in repulsive lattices

abstract: The propagation of nonlinear waves in a lattice of repelling particles is studied theoretically and experimentally. A simple experimental setup is proposed, consisting in an array of coupled magnetic dipoles. By driving harmonically the lattice at one boundary, we excite propagating waves and demonstrate different regimes of mode conversion into higher harmonics, strongly influenced by dispersion and discreteness. The phenomenon of acoustic dilatation of the chain is also predicted and discussed. The results are compared with the theoretical predictions of $\alpha$-FPU equation, describing a chain of masses connected by nonlinear quadratic springs. The results can be extrapolated to other systems described by this equation.


title: Carleman estimates for forward and backward stochastic fourth order Schr\"odinger equations and their applications

abstract: In this paper, we establish the Carleman estimates for forward and backward stochastic fourth order Schr\"{o}dinger equations, on basis of which, we can obtain the observability, unique continuation property and the exact controllability for the forward and backward stochastic fourth order Schr\"{o}dinger equations.


title: Unitarity Problems in 3$D$ Gravity Theories

abstract: We revisit the problem of the bulk-boundary unitarity clash in 2 + 1 dimensional gravity theories, which has been an obstacle in providing a viable dual two-dimensional conformal field theory for bulk gravity in anti-de Sitter (AdS) spacetime. Chiral gravity, which is a particular limit of cosmological topologically massive gravity (TMG), suffers from pertur- bative log-modes with negative energies inducing a non-unitary logarithmic boundary field theory. We show here that any f(R) extension of TMG does not improve the situation. We also study the perturbative modes in the metric formulation of minimal massive gravity- originally constructed in a first-order formulation-and find that the massive mode has again negative energy except in the chiral limit. We comment on this issue and also discuss a possible solution to the problem of negative energy modes. In any of these theories, the infinitesimal dangerous deformations might not be integrable to full solutions; this suggests a linearization instability of AdS spacetime in the direction of the perturbative log-modes.


title: XamForumDB: a dataset for studying Q&A about cross-platform mobile applications development

abstract: Android and iSO are the two mobile platforms present in almost all smartphones build during last years. Developing an application that targets both platforms is a challenge. A traditional way is to build two different apps, one in Java for Android, the other in Objective-C for iOS. Xamarin is a framework for developing Android and iOS apps which allows developers to share most of the application code across multiple implementations of the app, each for a specific platform. In this paper, we present XamForumDB, a database that stores discussions, questions and answers extracted from the Xamarin forum. We envision research community could use it for studying, for instance, the problematic of developing such kind of applications.


title: Stable Invariants for Multiparameter Persistence

abstract: In this paper we explain how to convert discrete invariants into stable ones via what we call hierarchical stabilization. We illustrate this process by constructing stable invariants for multi-parameter persistence modules with respect to the interleaving distance and so called simple noise systems. For one parameter, we recover the standard barcode information. For more than one parameter we prove that the constructed invariants are in general NP-hard to calculate. A consequence is that computing the feature counting function, proposed by Scolamiero et. al. (2016), is NP-hard.


title: Learning Gradient Descent: Better Generalization and Longer Horizons

abstract: Training deep neural networks is a highly nontrivial task, involving carefully selecting appropriate training algorithms, scheduling step sizes and tuning other hyperparameters. Trying different combinations can be quite labor-intensive and time consuming. Recently, researchers have tried to use deep learning algorithms to exploit the landscape of the loss function of the training problem of interest, and learn how to optimize over it in an automatic way. In this paper, we propose a new learning-to-learn model and some useful and practical tricks. Our optimizer outperforms generic, hand-crafted optimization algorithms and state-of-the-art learning-to-learn optimizers by DeepMind in many tasks. We demonstrate the effectiveness of our algorithms on a number of tasks, including deep MLPs, CNNs, and simple LSTMs.


title: Breaking the Chains: Hot Super-Earth systems from migration and disruption of compact resonant chains

abstract: "Hot super-Earths" (or "Mini-Neptunes") between 1 and 4 times Earth's size with period shorter than 100 days orbit 30-50\% of Sun-like type stars. Their orbital configuration -- measured as the period ratio distribution of adjacent planets in multi-planet systems -- is a strong constraint for formation models. Here we use N-body simulations with synthetic forces from an underlying evolving gaseous disk to model the formation and long-term dynamical evolution of super-Earth systems. While the gas disk is present, planetary embryos grow and migrate inward to form a resonant chain anchored at the inner edge of the disk. These resonant chains are far more compact than the observed super-Earth systems. Once the gas dissipates resonant chains may become dynamically unstable. They undergo a phase of giant impacts that spreads the systems out. Disk turbulence has no measurable effect on the outcome. Our simulations match observations if a small fraction of resonant chains remain stable, while most super-Earths undergo a late dynamical instability. Our statistical analysis restricts the contribution of stable systems to less than $25\%$. Our results also suggest that the large fraction of observed single planet systems does not necessarily imply any dichotomy in the architecture of planetary systems. Finally, we use the low abundance of resonances in Kepler data to argue that, in reality, the survival of resonant chains happens likely only in $\sim 5\%$ of the cases. This leads to a mystery: in our simulations only 50-60\% of resonant chains became unstable whereas at least 75\% (and probably 90-95\%) must be unstable to match observations.


title: Dimension estimates for Kakeya sets defined in an axiomatic setting

abstract: In this dissertation we define a generalization of Kakeya sets in certain metric spaces. Kakeya sets in Euclidean spaces are sets of zero Lebesgue measure containing a segment of length one in every direction. A famous conjecture, known as Kakeya conjecture, states that the Hausdorff dimension of any Kakeya set should equal the dimension of the space. It was proved only in the plane, whereas in higher dimensions both geometric and arithmetic combinatorial methods were used to obtain partial results. In the first part of the thesis we define generalized Kakeya sets in metric spaces satisfying certain axioms. These allow us to prove some lower bounds for the Hausdorff dimension of generalized Kakeya sets using two methods introduced in the Euclidean context by Bourgain and Wolff. With this abstract setup we can deal with many special cases in a unified way, recovering some known results and proving new ones. In the second part we present various applications. We recover some of the known estimates for the classical Kakeya and Nikodym sets and for curved Kakeya sets. Moreover, we prove lower bounds for the dimension of sets containing a segment in a line through every point of a hyperplane and of an (n-1)-rectifiable set. We then show dimension estimates for Furstenberg type sets (already known in the plane) and for the classical Kakeya sets with respect to a metric that is homogeneous under non-isotropic dilations and in which balls are rectangular boxes with sides parallel to the coordinate axis. Finally, we prove lower bounds for the classical bounded Kakeya sets and a natural modification of them in Carnot groups of step two whose second layer has dimension one, such as the Heisenberg group. On the other hand, if the dimension is bigger than one we show that we cannot use this approach.


title: Understanding forward $B$ hadron production

abstract: The LHCb collaboration has recently performed a measurement of the production rate of inclusive $B$ hadron production ($pp\to BX$) at both 7 and 13~TeV centre-of-mass (CoM) energies. As part of this measurement, the ratio of these two cross section measurements has been presented differentially in $B$ hadron pseudorapidity within the range of $\eta_B \in [2.0,5.0]$. A large tension ($4\sigma$) is observed for the ratio measurement in the lower pseudorapidity range of $\eta_B \in [2.0,3.0]$, where the data is observed to exceed theoretical predictions, while consistency is found at larger $\eta_B$ values. This behaviour is not expected within perturbative QCD, and can only be achieved by introducing ad-hoc features into the structure of the non-perturbative gluon PDF within the region of $x\in[10^{-3},10^{-4}]$. Specifically, the gluon PDF must grow extremely quickly with decreasing $x$ within this kinematic range, closely followed by a period of decelerated growth. However, such behaviour is highly disfavoured by global fits to proton structure. Further studies of the available LHCb $B$ and $D$ hadron cross section data, available for a range of CoM energies, indicate systematic tension in the (pseudo)rapidity region of $[2.0,2.5]$.


title: Quantum Lattice Model Solver ${\mathcal H}\Phi$

abstract: ${\mathcal H}\Phi$ [$aitch$-$phi$] is a program package based on the Lanczos-type eigenvalue solution applicable to a broad range of quantum lattice models, i.e., arbitrary quantum lattice models with two-body interactions, including the Heisenberg model, the Kitaev model, the Hubbard model and the Kondo-lattice model. While it works well on PCs and PC-clusters, ${\mathcal H}\Phi$ also runs efficiently on massively parallel computers, which considerably extends the tractable range of the system size. In addition, unlike most existing packages, ${\mathcal H}\Phi$ supports finite-temperature calculations through the method of thermal pure quantum (TPQ) states. In this paper, we explain theoretical background and user-interface of ${\mathcal H}\Phi$. We also show the benchmark results of ${\mathcal H}\Phi$ on supercomputers such as the K computer at RIKEN Advanced Institute for Computational Science (AICS) and SGI ICE XA (Sekirei) at the Institute for the Solid State Physics (ISSP).


title: On representing and hedging claims for coherent risk measures

abstract: We provide a dual characterisation of the weak$^*$-closure of a finite sum of cones in $L^\infty$ adapted to a discrete time filtration $\mathcal{F}_t$: the $t^{th}$ cone in the sum contains bounded random variables that are $\mathcal{F}_t$-measurable. Hence we obtain a generalisation of Delbaen's m-stability condition for the problem of reserving in a collection of num\'eraires $\mathbf{V}$, called $\mathbf{V}$-m-stability, provided these cones arise from acceptance sets of a dynamic coherent measure of risk. We also prove that $\mathbf{V}$-m-stability is equivalent to time-consistency when reserving in portfolios of $\mathbf{V}$, which is of particular interest to insurers.


title: Critical percolation on random regular graphs

abstract: We show that for all $d\in \{3,\ldots,n-1\}$ the size of the largest component of a random $d$-regular graph on $n$ vertices around the percolation threshold $p=1/(d-1)$ is $\Theta(n^{2/3})$, with high probability. This extends known results for fixed $d\geq 3$ and for $d=n-1$, confirming a prediction of Nachmias and Peres on a question of Benjamini. As a corollary, for the largest component of the percolated random $d$-regular graph, we also determine the diameter and the mixing time of the lazy random walk. In contrast to previous approaches, our proof is based on a simple application of the switching method.


title: A Study of Metrics of Distance and Correlation Between Ranked Lists for Compositionality Detection

abstract: Compositionality in language refers to how much the meaning of some phrase can be decomposed into the meaning of its constituents and the way these constituents are combined. Based on the premise that substitution by synonyms is meaning-preserving, compositionality can be approximated as the semantic similarity between a phrase and a version of that phrase where words have been replaced by their synonyms. Different ways of representing such phrases exist (e.g., vectors [1] or language models [2]), and the choice of representation affects the measurement of semantic similarity. We propose a new compositionality detection method that represents phrases as ranked lists of term weights. Our method approximates the semantic similarity between two ranked list representations using a range of well-known distance and correlation metrics. In contrast to most state-of-the-art approaches in compositionality detection, our method is completely unsupervised. Experiments with a publicly available dataset of 1048 human-annotated phrases shows that, compared to strong supervised baselines, our approach provides superior measurement of compositionality using any of the distance and correlation metrics considered.


title: Centralities in Simplicial Complexes

abstract: Complex networks can be used to represent complex systems which originate in the real world. Here we study a transformation of these complex networks into simplicial complexes, where cliques represent the simplices of the complex. We extend the concept of node centrality to that of simplicial centrality and study several mathematical properties of degree, closeness, betweenness, eigenvector, Katz, and subgraph centrality for simplicial complexes. We study the degree distributions of these centralities at the different levels. We also compare and describe the differences between the centralities at the different levels. Using these centralities we study a method for detecting essential proteins in PPI networks of cells and explain the varying abilities of the centrality measures at the different levels in identifying these essential proteins. The paper is written in a self-contained way, such that it can be used by practitioners of network theory as a basis for further developments.


title: Performance Analysis of Mixed-ADC Massive MIMO Systems over Rician Fading Channels

abstract: The practical deployment of massive multiple-input multiple-output (MIMO) in future fifth generation (5G) wireless communication systems is challenging due to its high hardware cost and power consumption. One promising solution to address this challenge is to adopt the low-resolution analog-to-digital converter (ADC) architecture. However, the practical implementation of such architecture is challenging due to the required complex signal processing to compensate the coarse quantization caused by low-resolution ADCs. Therefore, few high-resolution ADCs are reserved in the recently proposed mixed-ADC architecture to enable low-complexity transceiver algorithms. In contrast to previous works over Rayleigh fading channels, we investigate the performance of mixed-ADC massive MIMO systems over the Rician fading channel, which is more general for the 5G scenarios like Internet of Things (IoT). Specially, novel closed-form approximate expressions for the uplink achievable rate are derived for both cases of perfect and imperfect channel state information (CSI). With the increasing Rician $K$-factor, the derived results show that the achievable rate will converge to a fixed value. We also obtain the power-scaling law that the transmit power of each user can be scaled down proportionally to the inverse of the number of base station (BS) antennas for both perfect and imperfect CSI. Moreover, we reveal the trade-off between the achievable rate and energy efficiency with respect to key system parameters including the quantization bits, number of BS antennas, Rician $K$-factor, user transmit power, and CSI quality. Finally, numerical results are provided to show that the mixed-ADC architecture can achieve a better energy-rate trade-off compared with the ideal infinite-resolution and low-resolution ADC architectures.


title: Pomelo, a tool for computing Generic Set Voronoi Diagrams of Aspherical Particles of Arbitrary Shape

abstract: We describe the development of a new software tool, called "Pomelo", for the calculation of Set Voronoi diagrams. Voronoi diagrams are a spatial partition of the space around the particles into separate Voronoi cells, e.g. applicable to granular materials. A generalization of the conventional Voronoi diagram for points or monodisperse spheres is the Set Voronoi diagram, also known as navigational map or tessellation by zone of influence. In this construction, a Set Voronoi cell contains the volume that is closer to the surface of one particle than to the surface of any other particle. This is required for aspherical or polydisperse systems. Pomelo is designed to be easy to use and as generic as possible. It directly supports common particle shapes and offers a generic mode, which allows to deal with any type of particles that can be described mathematically. Pomelo can create output in different standard formats, which allows direct visualization and further processing. Finally, we describe three applications of the Set Voronoi code in granular and soft matter physics, namely the problem of packings of ellipsoidal particles with varying degrees of particle-particle friction, mechanical stable packings of tetrahedra and a model for liquid crystal systems of particles with shapes reminiscent of pears


title: Dark neutron stars

abstract: There is good evidence that electron-positron pair formation is not present in that section of the pulsar open magnetosphere which is the source of coherent radio emission, but the possibility of two-photon pair creation in an outer gap remains. Calculation of transition rates for this process based on measured whole-surface temperatures, combined with a survey of gamma-ray, X-ray and optical luminosities, expressed per primary beam lepton, shows that few Fermi LAT pulsars have significant outer-gap pair creation. For radio-loud pulsars with positive polar-cap corotational charge density and an ion-proton plasma there must be an outward flow of electrons from some other part of the magnetosphere to maintain a constant net charge on the star. In the absence of pair creation, it is likely that this current is the source of GeV gamma-emission observed by the Fermi LAT and its origin is in the region of the outer gap. With negative polar-cap corotational charge density, the compensating current in the absence of pair creation can consist only of ion or protons. These neutron stars are likely to be radio-quiet, have no observable gamma-emission, and hence can be described as dark neutron stars.


title: Coexistence of quantum and classical flows in quantum turbulence in the $T=0$ limit

abstract: Tangles of quantized vortex line of initial density ${\cal L}(0) \sim 6\times 10^3$\,cm$^{-2}$ and variable amplitude of fluctuations of flow velocity $U(0)$ at the largest length scale were generated in superfluid $^4$He at $T=0.17$\,K, and their free decay ${\cal L}(t)$ was measured. If $U(0)$ is small, the excess random component of vortex line length firstly decays as ${\cal L} \propto t^{-1}$ until it becomes comparable with the structured component responsible for the classical velocity field, and the decay changes to ${\cal L} \propto t^{-3/2}$. The latter regime always ultimately prevails, provided the classical description of $U$ holds. A quantitative model of coexisting cascades of quantum and classical energies describes all regimes of the decay.


title: Charged-Higgs on $R_{D^{(*)}}$, $\tau$ polarization, and FBA

abstract: We study the influence of a charged-Higgs on the excess of branching fraction ratio, $R_M = BR(\bar B \to M \tau \bar\nu_\tau)/BR(\bar B \to M \ell \bar \nu_\ell)$ $(M=D, D^*)$, in a generic two-Higgs-doublet model. In order to investigate the lepton polarization, the detailed decay amplitudes with lepton helicity are given. When the charged-Higgs is used to resolve excesses, it is found that two independent Yukawa couplings are needed to explain the $R_D$ and $R_{D^*}$ anomalies. We show that when the upper limit of $BR(B_c \to \tau \bar \nu_\tau)<30\%$ is included, $R_D$ can be significantly enhanced while $R_{D^*}<0.27$. With the $BR(B_c\to \tau \bar \nu_\tau)$ constraint, we find that the $\tau$-lepton polarizations can be still affected by the charged-Higgs effects, where the standard model (SM) predictions are obtained as: $P^\tau_{D} \approx 0.324$ and $P^\tau_{D^*}\approx -0.500$, and they can be enhanced to be $P^\tau_{D} \approx 0.5$ and $P^\tau_{D^*} \approx -0.41$ by the charged-Higgs. The integrated lepton froward-backward asymmetry (FBA) is also studied, where the SM result is $\bar A^{D^{(*)},\tau}_{FB} \approx -0.359(0.064)$, and they can be enhanced (decreased) to be $\bar A^{D^{(*)},\tau}_{FB} \approx -0.33 (0.02)$.


title: Diameter two properties and polyhedrality

abstract: We give two examples of polyhedral Banach spaces failing all the diameter two properties, showing that there is not any connection between polyhedrality and the diameter two properties.


title: The Eigenvalue Problem for the $\infty$-Bilaplacian

abstract: We consider the problem of finding and describing minimisers of the Rayleigh quotient \[ \Lambda_\infty \, :=\, \inf_{u\in \mathcal{W}^{2,\infty}(\Omega)\setminus\{0\} }\frac{\|\Delta u\|_{L^\infty(\Omega)}}{\|u\|_{L^\infty(\Omega)}}, \] where $\Omega \subseteq \mathbb{R}^n$ is a bounded $C^{1,1}$ domain and $\mathcal{W}^{2,\infty}(\Omega)$ is a class of weakly twice differentiable functions satisfying either $u=0$ or $u=|\mathrm{D} u|=0$ on $\partial \Omega$. Our first main result, obtained through approximation by $L^p$-problems as $p\to \infty$, is the existence of a minimiser $u_\infty \in \mathcal{W}^{2,\infty}(\Omega)$ satisfying \[ \left\{ \begin{array}{ll} \Delta u_\infty \, \in \, \Lambda_\infty \mathrm{Sgn}(f_\infty) & \text{ a.e. in }\Omega, \\ \Delta f_\infty \, =\, \mu_\infty & \text{ in }\mathcal{D}'(\Omega), \end{array} \right. \] for some $f_\infty\in L^1(\Omega)\cap BV_{\text{loc}}(\Omega)$ and a measure $\mu_\infty \in \mathcal{M}(\Omega)$, for either choice of boundary conditions. Here Sgn is the multi-valued sign function. We also study the dependence of the eigenvalue $\Lambda_\infty$ on the domain, establishing the validity of a Faber-Krahn type inequality: among all $C^{1,1}$ domains with fixed measure, the ball is a strict minimiser of $\Omega \mapsto \Lambda_\infty(\Omega)$. This result is shown to hold true for either choice of boundary conditions and in every dimension.


title: Localization of Internet-based Mobile Robot

abstract: This paper presents a new optimal filter namely past observation-based extended Kalman filter for the problem of localization of Internet-based mobile robot in which the control input and the feedback measurement suffer from communication delay. The filter operates through two phases: the time update and the data correction. The time update predicts the robot position by reformulating the kinematics model to be non-memoryless. The correction step corrects the prediction by extrapolating the delayed measurement to the present and then incorporating it to the being estimate as there is no delay. The optimality of the incorporation is ensured by the derivation of a multiplier that reflects the relevance of past observations to the present. Simulations in MATLAB and experiments in a real networked robot system confirm the validity of the proposed approach.


title: Effects on the CMB from magnetic field dissipation before recombination

abstract: Magnetic fields present before decoupling are damped due to radiative viscosity. This energy injection affects the thermal and ionization history of the cosmic plasma. The implications for the CMB anisotropies and polarization are investigated for different parameter choices of a non helical stochastic magnetic field. Assuming a Gaussian smoothing scale determined by the magnetic damping wave number at recombination it is found that magnetic fields with present day strength less than 0.1 nG and negative magnetic spectral indices have a sizeable effect on the CMB temperature anisotropies and polarization.


title: Enhancing interferometric sensitivity by non-classical light from quantum non-demolition measurements in cavity QED

abstract: We propose an enhanced optical interferometer based on tailored non-classical light generated by nonlinear dynamics and projective measurements in a three-level atom cavity QED system. A coherent state in the cavity becomes dynamically entangled with two ground states of the atom and is transformed to a macroscopic superposition state via a projective measurement on the atom. We show that the resulting highly non-classical state can improve interferometric precision measurements well beyond the shot-noise limit once combined with a classical laser pulse at the input of a Mach-Zehnder interferometer. For a practical implementation, we identify an efficient phase shift estimation scheme based on the counting of photons at the interferometer output. Photon losses and photon-counting errors deteriorate the interferometer sensitivity, but we demonstrate that it still can be significantly better than the shot-noise limit under realistic conditions.


title: Security in Automotive Networks: Lightweight Authentication and Authorization

abstract: With the increasing amount of interconnections between vehicles, the attack surface of internal vehicle networks is rising steeply. Although these networks are shielded against external attacks, they often do not have any internal security to protect against malicious components or adversaries who breach the network perimeter. To secure the in-vehicle network, all communicating components must be authenticated, and only authorized components should be allowed to send and receive messages. This is achieved using an authentication framework. Cryptography is widely used to authenticate communicating parties and provide secure communication channels (e.g., Internet communication). However, the real-time performance requirements of in-vehicle networks restrict the types of cryptographic algorithms and protocols that may be used. In particular, asymmetric cryptography is computationally infeasible during vehicle operation. In this work, we address the challenges of designing authentication protocols for automotive systems. We present Lightweight Authentication for Secure Automotive Networks (LASAN), a full lifecycle authentication approach. We describe the core LASAN protocols and show how they protect the internal vehicle network while complying with the real-time constraints and low computational resources of this domain. Unlike previous work, we also explain how this framework can be integrated into all aspects of the automotive lifecycle, including manufacturing, vehicle maintenance, and software updates. We evaluate LASAN in two different ways: First, we analyze the security properties of the protocols using established protocol verification techniques based on formal methods. Second, we evaluate the timing requirements of LASAN and compare these to other frameworks using a new highly modular discrete event simulator for in-vehicle networks, which we have developed for this evaluation.


title: L483: Warm Carbon-Chain Chemistry Source Harboring Hot Corino Activity

abstract: The Class 0 protostar, L483, has been observed in various molecular lines in the 1.2 mm band at a sub-arcsecond resolution with ALMA. An infalling-rotating envelope is traced by the CS line, while a very compact component with a broad velocity width is observed for the CS, SO, HNCO, NH$_2$CHO, and HCOOCH$_3$ lines. Although this source is regarded as the warm carbon-chain chemistry (WCCC) candidate source at a 1000 au scale, complex organic molecules characteristic of hot corinos such as NH$_2$CHO and HCOOCH$_3$ are detected in the vicinity of the protostar. Thus, both hot corino chemistry and WCCC are seen in L483. Although such a mixed chemical character source has been recognized as an intermediate source in previous single-dish observations, we here report the first spatially-resolved detection. A kinematic structure of the infalling-rotating envelope is roughly explained by a simple ballistic model with the protostellar mass of 0.1--0.2 $M_\odot$ and the radius of the centrifugal barrier (a half of the centrifugal radius) of 30--200 au, assuming the inclination angle of 80\degr\ (0\degr\ for a face-on). The broad line emission observed in the above molecules most likely comes from the disk component inside the centrifugal barrier. Thus, a drastic chemical change is seen around the centrifugal barrier.


title: Magnetic micro-droplet in rotating field: numerical simulation and comparison with experiment

abstract: Magnetic droplets obtained by induced phase separation in a magnetic colloid show a large variety of shapes when exposed to an external field. However, the description of shapes is often limited. Here we formulate an algorithm based on three dimensional boundary-integral equations for strongly magnetic droplets in a high-frequency rotating magnetic field, allowing us to find their figures of equilibrium in three dimensions. The algorithm is justified by a series of comparisons with known analytical results. We compare the calculated equilibrium shapes with experimental observations and find a good agreement. The main features of these observations are the oblate-prolate transition, the flattening of prolate shapes with the increase of magnetic field strength and the formation of star-fish like equilibrium shapes. We show both numerically and in experiments that the magnetic droplet behaviour may be described with a tri-axial ellipsoid approximation. Directions for further research are mentioned, including the dipolar interaction contribution to the surface tension of the magnetic droplets, account for the large viscosity contrast between the magnetic droplet and the surrounding fluid.


title: New skein invariants of links

abstract: We introduce new skein invariants of links based on a procedure where we first apply the skein relation only to crossings of distinct components, so as to produce collections of unlinked knots. We then evaluate the resulting knots using a given invariant. A skein invariant can be computed on each link solely by the use of skein relations and a set of initial conditions. The new procedure, remarkably, leads to generalizations of the known skein invariants. We make skein invariants of classical links, $H[R]$, $K[Q]$ and $D[T]$, based on the invariants of knots, $R$, $Q$ and $T$, denoting the regular isotopy version of the Homflypt polynomial, the Kauffman polynomial and the Dubrovnik polynomial. We provide skein theoretic proofs of the well-definedness of these invariants. These invariants are also reformulated into summations of the generating invariants ($R$, $Q$, $T$) on sublinks of a given link $L$, obtained by partitioning $L$ into collections of sublinks.


title: Domain Boundary Detection in Hi-C Maps: A Probabilistic Graphical Model Approach

abstract: To understand the nature of a cell, one needs to understand the structure of its genome. For this purpose, experimental techniques such as Hi-C detecting chromosomal contacts are used to probe the three-dimensional genomic structure. These experiments yield topological information, consistently showing a hierarchical subdivision of the genome into self-interacting domains across many organisms. Current methods for detecting these domains using the Hi-C contact matrix, i.e. a doubly-stochastic matrix, are mostly based on the assumption that the domains are distinct, thus non-overlapping. For overcoming this simplification and for being able to unravel a possible nested domain structure, we developed a probabilistic graphical model that makes no a priori assumptions on the domain structure. Within this approach, the Hi-C contact matrix is analyzed using an Ising like probabilistic graphical model whose coupling constant is proportional to each lattice point (entry in the contact matrix). The results show clear boundaries between identified domains and the background. These domain boundaries are dependent on the coupling constant, so that one matrix yields several clusters of different sizes, which show the self-interaction of the genome on different scales.


title: Using STPA in Compliance with ISO 26262 for Developing a Safe Architecture for Fully Automated Vehicles

abstract: Safety has become of paramount importance in the development lifecycle of the modern automobile systems. However, the current automotive safety standard ISO 26262 does not specify clearly the methods for safety analysis. Different methods are recommended for this purpose. FTA (Fault Tree Analysis) and FMEA (Failure Mode and Effects Analysis) are used in the most recent ISO 26262 applications to identify component failures, errors and faults that lead to specific hazards (in the presence of faults). However, these methods are based on reliability theory, and they are not adequate to address new hazards caused by dysfunctional component interactions, software failure or human error. A holistic approach was developed called STPA (Systems-Theoretic Process Analysis) which addresses more types of hazards and treats safety as a dynamic control problem rather than an individual component failure. STPA also addresses types of hazardous causes in the absence of failure. Accordingly, there is a need for investigating hazard analysis techniques like STPA. In this paper, we present a concept on how to use STPA to extend the safety scope of ISO 26262 and support the Hazard Analysis and Risk Assessments (HARA) process. We applied the proposed concept to a current project of a fully automated vehicle at Continental. As a result, we identified 24 system- level accidents, 176 hazards, 27 unsafe control actions, and 129 unsafe scenarios. We conclude that STPA is an effective and efficient approach to derive detailed safety constraints. STPA can support the functional safety engineers to evaluate the architectural design of fully automated vehicles and build the functional safety concept.


title: Construction of Non-asymptotic Confidence Sets in 2-Wasserstein Space

abstract: In this paper, we consider a probabilistic setting where the probability measures are considered to be random objects. We propose a procedure of construction non-asymptotic confidence sets for empirical barycenters in 2-Wasserstein space and develop the idea further to construction of a non-parametric two-sample test that is then applied to the detection of structural breaks in data with complex geometry. Both procedures mainly rely on the idea of multiplier bootstrap (Spokoiny and Zhilova (2015), Chernozhukov et al. (2014)). The main focus lies on probability measures that have commuting covariance matrices and belong to the same scatter-location family: we proof the validity of a bootstrap procedure that allows to compute confidence sets and critical values for a Wasserstein-based two-sample test.


title: First neutrino event detection with nuclear emulsion at J-PARC neutrino beamline

abstract: Precise neutrino--nucleus interaction measurements in the sub-multi GeV region are important to reduce the systematic uncertainty in future neutrino oscillation experiments. Furthermore, the excess of ${\nu_e}$ interactions, as a possible interpretation of the existence of a sterile neutrino has been observed in such an energy region. The nuclear emulsion technique can measure all the final state particles with low energy threshold for a variety of targets (Fe, C, H${_2}$O, and so on). Its sub-$\mu$m position resolution allows measurements of the ${\nu_e}$ cross-section with good electron/gamma separation capability. We started a new experiment at J-PARC to study sub-multi GeV neutrino interactions by introducing the nuclear emulsion technique. The J-PARC T60 experiment has been implemented as a first step of such a project. Systematic neutrino event analysis with full scanning data in the nuclear emulsion detector was performed for the first time. The first neutrino event detection and its analysis is described in this paper.


title: Duality for Frames in Krein Spaces

abstract: A $J$-frame for a Krein space $\mathcal{H}$ is in particular a frame for $\mathcal{H}$ (in the Hilbert space sense). But it is also compatible with the indefinite inner-product of $\mathcal{H}$, meaning that it determines a pair of maximal uniformly definite subspaces, an analogue to the maximal dual pair associated to an orthonormal basis in a Krein space. This work is devoted to study duality for $J$-frames in Krein spaces. Also, tight and Parseval $J$-frames are defined and characterized.


title: Integral representation of moderate cohomology

abstract: We make the classical Dickenstein-Sessa canonical representation in local moderate cohomology explicit by an integral formula. We also provide a similar representation of the higher local moderate cohomology groups. The results are related to holomorphic forms on non-reduced complex spaces.


title: Unipolar resistive switching in cobalt titanate thin films

abstract: We report giant resistive switching of an order of 104, long-time charge retention characteristics up to 104 s, non-overlapping SET and RESET voltages, ohmic in low resistance state (LRS) and space charge limited current (SCLC) mechanism in high resistance state (HRS) properties in polycrystalline perovskite Cobalt Titanate (CoTiO3 ~ CTO) thin films. Impedance spectroscopy study was carried out for both LRS and HRS states which illustrates that only bulk resistance changes after resistance switching, however, there is a small change (<10% which is in pF range) in the bulk capacitance value in both states. These results suggest that in LRS state current filaments break the capacitor in many small capacitors in a parallel configuration which in turn provides the same capacitance in both states even there was 90 degree changes in phase-angle and an order of change in the tangent loss.


title: Complex K3 surfaces containing Levi-flat hypersurfaces

abstract: We show the existence of a complex K3 surface $X$ which is not a Kummer surface and has a one-parameter family of Levi-flat hypersurfaces in which all the leaves are dense. We construct such $X$ by patching two open complex surfaces obtained as the complements of tubular neighborhoods of elliptic curves embedded in blow-ups of the projective planes at general nine points.


title: Parallel Multiscale Autoregressive Density Estimation

abstract: PixelCNN achieves state-of-the-art results in density estimation for natural images. Although training is fast, inference is costly, requiring one network evaluation per pixel; O(N) for N pixels. This can be sped up by caching activations, but still involves generating each pixel sequentially. In this work, we propose a parallelized PixelCNN that allows more efficient inference by modeling certain pixel groups as conditionally independent. Our new PixelCNN model achieves competitive density estimation and orders of magnitude speedup - O(log N) sampling instead of O(N) - enabling the practical generation of 512x512 images. We evaluate the model on class-conditional image generation, text-to-image synthesis, and action-conditional video generation, showing that our model achieves the best results among non-pixel-autoregressive density models that allow efficient sampling.


title: Spectrum of $J$-frame operators

abstract: A $J$-frame is a frame $\mathcal{F}$ for a Krein space $(\mathcal{H}, [\, , \,])$ which is compatible with the indefinite inner product $[\, , \, ]$ in the sense that it induces an indefinite reconstruction formula that resembles those produced by orthonormal bases in $\mathcal{H}$. With every $J$-frame the so-called $J$-frame operator is associated, which is a self-adjoint operator in the Krein space $\mathcal{H}$. The $J$-frame operator plays an essential role in the indefinite reconstruction formula. In this paper we characterize the class of $J$-frame operators in a Krein space by a $2\times 2$ block operator representation. The $J$-frame bounds of $\mathcal{F}$ are then recovered as the suprema and infima of the numerical ranges of some uniformly positive operators which are build from the entries of the $2\times 2$ block representation. Moreover, this $2\times 2$ block representation is utilized to obtain enclosures for the spectrum of $J$-frame operators, which finally leads to the construction of a square root. This square root allows a complete description of all $J$-frames associated with a given $J$-frame operator.


title: Comparison of SMT and RBMT; The Requirement of Hybridization for Marathi-Hindi MT

abstract: We present in this paper our work on comparison between Statistical Machine Translation (SMT) and Rule-based machine translation for translation from Marathi to Hindi. Rule Based systems although robust take lots of time to build. On the other hand statistical machine translation systems are easier to create, maintain and improve upon. We describe the development of a basic Marathi-Hindi SMT system and evaluate its performance. Through a detailed error analysis, we, point out the relative strengths and weaknesses of both systems. Effectively, we shall see that even with a small amount of training corpus a statistical machine translation system has many advantages for high quality domain specific machine translation over that of a rule-based counterpart.


title: On the bound states of magnetic Laplacians on wedges

abstract: This paper is mainly inspired by the conjecture about the existence of bound states for magnetic Neumann Laplacians on planar wedges of any aperture $\phi\in (0,\pi)$. So far, a proof was only obtained for apertures $\phi\lesssim 0.511\pi$. The conviction in the validity of this conjecture for apertures $\phi\gtrsim 0.511\pi$ mainly relied on numerical computations. In this paper we succeed to prove the existence of bound states for any aperture $\phi \lesssim 0.583\pi$ using a variational argument with suitably chosen test functions. Employing some more involved test functions and combining a variational argument with computer-assistance, we extend this interval up to any aperture $\phi \lesssim 0.595\pi$. Moreover, we analyse the same question for closely related problems concerning magnetic Robin Laplacians on wedges and for magnetic Schr\"odinger operators in the plane with $\delta$-interactions supported on broken lines.


title: Understanding of collective atom phase control in modified photon echoes for a near perfect, storage time extended quantum memory

abstract: A near perfect, storage time-extended photon echo-based quantum memory protocol has been analyzed by solving the Maxwell-Bloch equations for a backward scheme in a three-level system. The backward photon echo scheme is combined with a controlled coherence conversion process via control Rabi flopping to a third state, where the control Rabi flopping collectively shifts the phase of the ensemble coherence. The propagation direction of photon echoes is coherently determined by the phase matching condition between the data (quantum) and the control (classical) pulses. Herein we discuss the classical controllability of a quantum state for both phase and propagation direction by manipulating the control pulses in both single and double rephasing photon echo schemes of a three-level system. Compared with their well-understood use for two-level photon echoes, the Maxwell-Bloch equations to a three-level system have a critical limitation regarding the phase change when interacted with an arbitrary control pulse area.


title: Special cases of pairwise comparisons matrices represented by Toeplitz matrices

abstract: This study presents special cases of inconsistent pairwise comparisons PC matrices and analysis of their eigenvalue-based inconsistency index using mathematical methods. All studied special cases of PC matrices are Toeplitz matrices with only three different entries $1$, $x$, and $1/x$. A new type of circulant pairwise comparisons matrix has been introduced. Although this class of PC matrices may be perceived as restricted, it is general enough to cover numerous levels of eigenvalue-based inconsistency index from the lowest to the highest. Both exact mathematical expressions and estimations, where the exact expression was impossible to find, are provided


title: Double-layer ice from first principles

abstract: The formation of monolayer and multilayer ice with a square lattice structure has recently been reported on the basis of transmission electron microscopy experiments, renewing interest in confined two dimensional ice. Here we report a systematic density functional theory study of double-layer ice in nano-confinement. A phase diagram as a function of confinement width and lateral pressure is presented. Included in the phase diagram are honeycomb hexagonal, square-tube, hexagonal-close-packed and buckled-rhombic structures. However, contrary to experimental observations, square structures do not feature: our most stable double-layer square structure is predicted to be metastable. This study provides general insight into the phase transitions of double-layer confined ice and a fresh theoretical perspective on the stability of square ice in graphene nanocapillary experiments.


title: Efficient simulation of quantum error correction under coherent error based on non-unitary free-fermionic formalism

abstract: In order to realize fault-tolerant quantum computation, tight evaluation of error threshold under practical noise models is essential. While non-Clifford noise is ubiquitous in experiments, the error threshold under non-Clifford noise cannot be efficiently treated with known approaches. We construct an efficient scheme for estimating the error threshold of one-dimensional quantum repetition code under non-Clifford noise. To this end, we employ non-unitary free-fermionic formalism for efficient simulation of the one-dimensional repetition code under coherent noise. This allows us to evaluate the effect of coherence in noise on the error threshold without any approximation. The result shows that the error threshold becomes one third when noise is fully coherent. Our scheme is also applicable to the surface code undergoing a specific coherent noise model. The dependence of the error threshold on noise coherence can be explained with a leading-order analysis with respect to coherence terms in the noise map. We expect that this analysis is also valid for the surface code since it is a two-dimensional extension of the one-dimensional repetition code. Moreover, since the obtained threshold is accurate, our results can be used as a benchmark for approximation or heuristic schemes for non-Clifford noise.


title: Coherent control in quantum transport: amplification, filtering and switching at finite bias

abstract: We consider coherent feedback control of quantum transport and focus on the application of simple controllers and the effects of a finite bias voltage. We show that simple single-parameter controllers can give rise to a range of useful effects such as amplification of changes in plant transmission, increased resolution of energy filtration, and the detection of differences between otherwise indistinguishable plants. We explore how these effects are impacted by the phase-averaging effects associated with the application of a finite bias and identify important voltage scales for the maintenance of the functionalities achieved through feedback control.


title: A minority view on the majority: A personal meeting summary on the explosion mechanism of supernovae

abstract: In the meeting SN 1987A 30 years later, I presented my minority view that the majority (or even all) of core collapse supernovae (CCSNe) are driven by jets rather than by neutrinos, and that the majority of type Ia supernovae (SN Ia) reach their explosion via the core degenerate scenario. New simulations presented at the meeting did not achieve an explosion of CCSNe. I critically examine other arguments that where presented in support of the neutrino-driven model, and present counter arguments that support the jet-driven explosion mechanism. The jets operate via a negative jet feedback mechanism (JFM). The negative feedback mechanism explains the explosion energy being several times the binding energy of the core in most CCSNe. At the present time when we do not know yet what mechanism explodes massive stars and we do not know yet what evolutionary route leads white dwarfs to explode as SN Ia, we must be open to different ideas and critically examine old notions.


title: The star formation environment of the FU Ori type star V582 Aur

abstract: We have studied the environment of the FU Ori type star V582 Aur. Our aim is to explore the star-forming region associated with this young eruptive star. Using slitless spectroscopy we searched for H alpha emission stars within a field of 11.5arcmin \times 11.5arcmin, centred on V582 Aur. Based on UKIDSS and Spitzer Space Telescope data we further selected infrared-excess young stellar object candidates. In all, we identified 68 candidate low-mass young stars, 16 of which exhibited H alpha emission in the slitless spectroscopic images. The colour-magnitude diagram of the selected objects, based on IPHAS data, suggests that they are low-mass pre-main-sequence stars associated with the Aur OB 1 association, located at a distance of 1.3 kpc from the Sun. The bright-rimmed globules in the local environment of V582 Aur probably belong to the dark cloud LDN~1516. Our results suggest that star formation in these globules might have been triggered by the radiation field of a few hot members of Aur OB 1. The bolometric luminosity of V582 Aur, based on archival photometric data and on the adopted distance, is 150-320 Lsun.


title: Entanglement detection via atomic deflection

abstract: We report on criteria to detect entanglement between the light modes of two crossed optical cavities by analyzing the transverse deflection patterns of an atomic beam. The photon exchange between the modes and the atoms occurs around the overlapping nodes of associated standing waves, which generates the two-dimensional (2D) version of the Optical Stern-Gerlach (OSG) effect. In this optical cross-cavity setup, we show that the discrete signatures of the fields states, left in the momentum distribution of the deflected atoms, may reveal entanglement for a certain class of two-mode states. For a single photon, we present the possibility of quantifying entanglement by the rotation of the momentum distribution. For a larger number of photons, we demonstrate that quantum interference precludes the population of specific momentum states revealing maximum entanglement between the light modes.


title: GPU accelerated population annealing algorithm

abstract: Population annealing is a promising recent approach for Monte Carlo simulations in statistical physics, in particular for the simulation of systems with complex free-energy landscapes. It is a hybrid method, combining importance sampling through Markov chains with elements of sequential Monte Carlo in the form of population control. While it appears to provide algorithmic capabilities for the simulation of such systems that are roughly comparable to those of more established approaches such as parallel tempering, it is intrinsically much more suitable for massively parallel computing. Here, we tap into this structural advantage and present a highly optimized implementation of the population annealing algorithm on GPUs that promises speed-ups of several orders of magnitude as compared to a serial implementation on CPUs. While the sample code is for simulations of the 2D ferromagnetic Ising model, it should be easily adapted for simulations of other spin models, including disordered systems. Our code includes implementations of some advanced algorithmic features that have only recently been suggested, namely the automatic adaptation of temperature steps and a multi-histogram analysis of the data at different temperatures.

categories: physics.comp-ph cond-mat.dis-nn cond-mat.soft cond-mat.stat-mech


title: Uncoordinated Frequency Shifts based Pilot Contamination Attack Detection

abstract: Pilot contamination attack is an important kind of active eavesdropping activity conducted by a malicious user during channel training phase. In this paper, motivated by the fact that frequency asynchronism could introduce divergence of the transmitted pilot signals between intended user and attacker, we propose a new uncoordinated frequency shift (UFS) scheme for detection of pilot contamination attack in multiple antenna system. An attack detection algorithm is further developed based on source enumeration method. Both the asymptotic detection performance analysis and numerical results are provided to verify the proposed studies. The results demonstrate that the proposed UFS scheme can achieve comparable detection performance as the existing superimposed random sequence based scheme, without sacrifice of legitimate channel estimation performance.


title: Ergodic and localized regions in quantum spin glasses on the Bethe lattice

abstract: By considering the quantum dynamics of a transverse field Ising spin glass on the Bethe lattice we find the existence of a many body localized region at small transverse field and low temperature. The region is located within the thermodynamic spin glass phase. Accordingly, we conjecture that quantum dynamics inside the glassy region is split in a small MBL and a large delocalized (but not necessarily ergodic) region. This has implications for the analysis of the performance of quantum adiabatic algorithms.


title: Comparing global input-output behavior of frozen-equivalent LPV state-space models

abstract: It is known that in general, \emph{frozen equivalent} (Linear Parameter-Varying) LPV models, \emph{i.e.}, LPV models which have the same input-output behavior for each constant scheduling signal, might exhibit different input-output behavior for non-constant scheduling signals. In this paper, we provide an analytic error bound on the difference between the input-output behaviors of two LPV models which are frozen equivalent. This error bound turns out to be a function of both the speed of the change of the scheduling signal and the discrepancy between the coherent bases of the two LPV models. In particular, the difference between the outputs of the two models can be made arbitrarily small by choosing a scheduling signal which changes slowly enough. An illustrative example is presented to show that the choice of the scheduling signal can reduce the difference between the input-output behaviors of frozen-equivalent LPV models.


title: Strong convergence rates of probabilistic integrators for ordinary differential equations

abstract: Probabilistic integration of a continuous dynamical system is a way of systematically introducing model error, at scales no larger than errors introduced by standard numerical discretisation, in order to enable thorough exploration of possible responses of the system to inputs. It is thus a potentially useful approach in a number of applications such as forward uncertainty quantification, inverse problems, and data assimilation. We extend the convergence analysis of probabilistic integrators for deterministic ordinary differential equations, as proposed by Conrad et al.\ (\textit{Stat.\ Comput.}, 2017), to establish mean-square convergence in the uniform norm on discrete- or continuous-time solutions under relaxed regularity assumptions on the driving vector fields and their induced flows. Specifically, we show that randomised high-order integrators for globally Lipschitz flows and randomised Euler integrators for dissipative vector fields with polynomially-bounded local Lipschitz constants all have the same mean-square convergence rate as their deterministic counterparts, provided that the variance of the integration noise is not of higher order than the corresponding deterministic integrator. These and similar results are proven for probabilistic integrators where the random perturbations may be state-dependent, non-Gaussian, or non-centred random variables.

categories: math.NA cs.NA math.PR math.ST stat.CO stat.TH


title: Zeeman-limited Superconductivity in Crystalline Al Films

abstract: We report the evolution of the Zeeman-mediated superconducting phase diagram (PD) in ultra-thin crystalline Al films. Parallel critical field measurements, down to 50 mK, were made across the superconducting tricritical point of films ranging in thickness from 7 ML to 30 ML. The resulting phase boundaries were compared with the quasi-classical theory of a Zeeman-mediated transition between a homogeneous BCS condensate and a spin polarized Fermi liquid. Films thicker than $\sim$20 ML showed good agreement with theory, but thinner films exhibited an anomalous PD that cannot be reconciled within a homogeneous BCS framework.


title: f(R) gravity with torsion and Lorentz violation

abstract: The Lounesto spinor classification is an important tool in fundamental physics, because it makes explicit the pleiade of spinors types, beyond the used in quantum field theory (QFT). In this work, we show how the classification emerges in two topics: first we show that the bilinear covariants arise naturally in the equation of motion for a fermionic field in a Riemann-Cartan background (with gravitational dynamics f(R)) and we identify a singular spinor field (a flag-dipole one) as a solution of the presented model. This is the first solution flag-dipole founded in the literature. We investigated the behavior of the bilinear covariants in the context of the called standard model extension of Colladay and Kostelecky and we present examples of transformations that violate the Lorentz symmetry, providing an extension of spinors classification, according to bilinear covariants, to scenarios with broken Lorentz symmetry. Finally, we proved that singular spinors of type flagpole are less susceptible to effects of Lorentz violation.


title: Alternative (Oriented) Singular Cochains and the Modified Cup Product

abstract: A special subcomplex of the singular chain complex for a topological space, historically called oriented singular chain complex is used here with the new name "alternative" singular chain complex. It was already known that this subcomplex and so its dual complex are chain homotopy equivalent to singular chains and cochains respectively and thus have the same homology and cohomology. Here, in addition to revisiting some aspects of this subcomplex, it is shown that alternative singular cochains (dual of alternative singular chains) with coefficients in rational or real numbers are indeed summands of singular cochains through a natural splitting. It is shown that this natural splitting also hold for cohomologies: At any order, the singular cohomology splits into the alternative cohomology and another summand which is zero if the considered topological space is compact. Also in this case similar to the wedge product for differential forms, a modified cup product can be defined with the same algebraic properties as in the wedge product in differential forms. This provides an idea to investigate some topological and structure-free aspects of nonlinear global differential equations on manifolds..


title: Micromagnetic Simulations for Coercivity Improvement through Nano-Structuring of Rare-Earth Free L1$_0$-FeNi Magnets

abstract: In this work we investigate the potential of tetragonal L1$_0$ ordered FeNi as candidate phase for rare earth free permanent magnets taking into account anisotropy values from recently synthesized, partially ordered FeNi thin films. In particular, we estimate the maximum energy product ($BH$)$_\mathrm{max}$ of L1$_0$-FeNi nanostructures using micromagnetic simulations. The maximum energy product is limited due to the small coercive field of partially ordered L1$_0$-FeNi. Nano-structured magnets consisting of 128 equi-axed, platelet-like and columnar-shaped grains show a theoretical maximum energy product of 228 kJ/m$^3$, 208 kJ/m$^3$, 252 kJ/m$^3$, respectively.


title: A Hybrid MILP and IPM for Dynamic Economic Dispatch with Valve Point Effect

abstract: Dynamic economic dispatch with valve-point effect (DED-VPE) is a non-convex and non-differentiable optimization problem which is difficult to solve efficiently. In this paper, a hybrid mixed integer linear programming (MILP) and interior point method (IPM), denoted by MILP-IPM, is proposed to solve such a DED-VPE problem, where the complicated transmission loss is also included. Due to the non-differentiable characteristic of DED-VPE, the classical derivative-based optimization methods can not be used any more. With the help of model reformulation, a differentiable non-linear programming (NLP) formulation which can be directly solved by IPM is derived. However, if the DED-VPE is solved by IPM in a single step, the optimization will easily trap in a poor local optima due to its non-convex and multiple local minima characteristics. To exploit a better solution, an MILP method is required to solve the DED-VPE without transmission loss, yielding a good initial point for IPM to improve the quality of the solution. Simulation results demonstrate the validity and effectiveness of the proposed MILP-IPM in solving DED-VPE.


title: Second-Order Spectral Lineshapes from Charged Interfaces

abstract: Second-order nonlinear spectroscopy has proven to be a powerful tool in elucidating key chemical and structural characteristics at a variety of interfaces. However, the presence of interfacial potentials may lead to complications regarding the interpretation of second harmonic and vibrational sum frequency generation responses from charged interfaces due to mixing of absorptive and dispersive contributions. Here, we examine by means of mathematical modeling how this interaction influences second-order spectral lineshapes. We discuss our findings in the context of reported nonlinear optical spectra obtained from charged water/air and solid/liquid interfaces and demonstrate the importance of accounting for the interfacial potential-dependent \c{hi}(3) term in interpreting lineshapes when seeking molecular information from charged interfaces using second-order spectroscopy.


title: Best Laid Plans of Lions and Men

abstract: We study the following question dating back to J.E. Littlewood (1885-1977): Can two lions catch a man in a bounded area with rectifiable lakes? The lions and the man are all assumed to be points moving with at most unit speed. That the lakes are rectifiable means that their boundaries are finitely long. This requirement is necessary to avoid pathological examples where the man survives forever because any path to the lions is infinitely long. We show that three lions have a winning strategy against a man in a bounded region with finitely many rectifiable lakes. This is "tight" in the sense that there exists a region $R$ in the plane where the man has a strategy to survive forever. We give a rigorous description of such a region $R$; a polygonal region with holes whose exterior and interior boundaries are pairwise disjoint, simple polygons. Finally, we consider the following game played on the entire plane instead of a compact region: There is any finite number of unit speed lions and one fast man who can run with speed $1+\varepsilon$ for some value $\varepsilon>0$. Can the man always survive? We answer the question in the affirmative for any $\varepsilon>0$. By letting the number of lions tend to infinity, we furthermore show that the man can survive against any countably infinite set of lions.


title: Transition Jitter in Heat Assisted Magnetic Recording by Micromagnetic Simulation

abstract: In this paper we apply an extended Landau-Lifschitz equation, as introduced by Ba\v{n}as et al. for the simulation of heat-assisted magnetic recording. This equation has similarities with the Landau-Lifshitz-Bloch equation. The Ba\v{n}as equation is supposed to be used in a continuum setting with sub-grain discretization by the finite-element method. Thus, local geometric features and nonuniform magnetic states during switching are taken into account. We implement the Ba\v{n}as model and test its capability for predicting the recording performance in a realistic recording scenario. By performing recording simulations on 100 media slabs with randomized granular structure and consecutive read back calculation, the write position shift and transition jitter for bit lengths of 10nm, 12nm, and 20nm are calculated.


title: Ultrafast and Energy-Efficient Quenching of Spin Order: Antiferromagnetism Beats Ferromagnetism

abstract: By comparing femtosecond laser pulse induced ferro- and antiferromagnetic dynamics in one and the same material - metallic dysprosium - we show both to behave fundamentally different. Antiferromagnetic order is considerably faster and much more efficiently manipulated by optical excitation than its ferromagnetic counterpart. We assign the fast and extremely efficient process in the antiferromagnet to an interatomic transfer of angular momentum within the spin system. Our findings do not only reveal this angular momentum transfer channel effective in antiferromagnets and other magnetic structures with non-parallel spin alignment, they also point out a possible route towards energy-efficient spin manipulation for magnetic devices.


title: Battery Degradation Maps for Power System Optimization and as a Benchmark Reference

abstract: This paper presents a novel method to describe battery degradation. We use the concept of degradation maps to model the incremental charge capacity loss as a function of discrete battery control actions and state of charge. The maps can be scaled to represent any battery system in size and power. Their convex piece-wise affine representations allow for tractable optimal control formulations and can be used in power system simulations to incorporate battery degradation. The map parameters for different battery technologies are published making them an useful basis to benchmark different battery technologies in case studies.


title: On the Coherence of Large-Scale Networks with Distributed PI and PD Control

abstract: We consider distributed control of double-integrator networks, where agents are subject to stochastic disturbances. We study performance of such networks in terms of coherence, defined through an H2 norm metric that represents the variance of nodal state fluctuations. Specifically, we address known performance limitations of the standard consensus protocol, which cause this variance to scale unboundedly with network size for a large class of networks. We propose distributed proportional integral (PI) and proportional derivative (PD) controllers that relax these limitations and achieve bounded variance, in cases where agents can access an absolute measurement of one of their states. This case applies to, for example, frequency control of power networks and vehicular formation control with limited sensing. We discuss optimal tuning of the controllers with respect to network coherence and demonstrate our results in simulations.


title: CP as a Symmetry of Symmetries

abstract: It is explained that the Standard Model combined charge conjugation and parity transformation (CP) is a simultaneous complex conjugation outer automorphism transformation of gauge and space-time symmetries. Simple examples are given for the general concept of outer automorphisms ("symmetries of symmetries"), as well as for their possible actions on physical theories. It is highlighted that complex conjugation outer automorphisms do not, in general, exist for all symmetries. Examples are given for cases in which the physical CP transformation is violated as a consequence of requiring another symmetry. A toy model is illustrated in which CP is spontaneously violated in the broken phase of a continuous gauge symmetry, while an unbroken outer automorphism protects the topological vacuum angle at $\theta=0$.


title: On Quantum Decision Trees

abstract: Quantum decision systems are being increasingly considered for use in artificial intelligence applications. Classical and quantum nodes can be distinguished based on certain correlations in their states. This paper investigates some properties of the states obtained in a decision tree structure. How these correlations may be mapped to the decision tree is considered. Classical tree representations and approximations to quantum states are provided.


title: Light charged clusters emitted in 32 MeV/nucleon 136,124Xe+124,112Sn reactions: chemical equilibrium, 3He and 6He production

abstract: Nuclear particle production from peripheral to central events is presented. N/Z gradient between projectile and target is studied using the fact that two reactions have the same projectile+target N/Z and so the same neutron to proton ratio for the combined system. Inclusive data study in the forward part of the center of mass indicates that N/Z equilibration between the projectile-like and the target-like is achieved for central collisions. Particles are also produced from mid-rapidity region. 3He mean pre-equilibrium character is evidenced and 6He production at mid-rapidity implies a neutron enrichment phenomenon of the projectile target interacting zone.


title: The Transformation of the Superconducting Gap to an Insulating Pseudogap at a Critical Hole Density in the Cuprates

abstract: We apply the recent wavepacket formalism developed by Ossadnik to describe the origin of the short range ordered pseudogap state as the hole doping is lowered through a critical density in cuprates. We argue that the energy gain that drives this precursor state to Mott localization, follows from maximizing umklapp scattering near the Fermi energy. To this end we show how energy gaps driven by umklapp scattering can open on an appropriately chosen surface, as proposed earlier by Yang, Rice and Zhang. The key feature is that the pairing instability includes umklapp scattering, leading to an energy gap not only in the single particle spectrum but also in the pair spectrum. As a result the superconducting gap at overdoping is turned into an insulating pseudogap, in the antinodal parts of the Fermi surface.


title: Exotic Compact Objects and How to Quench their Ergoregion Instability

abstract: Gravitational-wave astronomy can give us access to the structure of black holes, potentially probing microscopic or even Planckian corrections at the horizon scale, as those predicted by some quantum-gravity models of exotic compact objects. A generic feature of these models is the replacement of the horizon by a reflective surface. Objects with these properties are prone to the so-called ergoregion instability when they spin sufficiently fast. We investigate in detail a simple model consisting of scalar perturbations of a Kerr geometry with a reflective surface near the horizon. The instability depends on the spin, on the compactness, and on the reflectivity at the surface. The instability time scale increases only logarithmically in the black-hole limit and, for a perfectly reflecting object, this is not enough to prevent the instability from occurring on dynamical time scales. However, we find that an absorption rate at the surface as small as 0.4% (reflectivity coefficient as large as $|{\cal R}|^2=0.996$) is sufficient to quench the instability completely. Our results suggest that exotic compact objects are not necessarily ruled out by the ergoregion instability.


title: Study of the nucleon radiative captures 8Li(n,gamma)9Li, 9Be(p,gamma)10B, 10Be(n,gamma)11Be, 10B(p,gamma)11C, and 16O(p,gamma)17F at thermal and astrophysical energies

abstract: We have studied the neutron-capture reactions 8Li(n,gamma)9Li and its role in the primordial nucleosynthesis. The n + 8Li --> 9Li + gamma reaction has a significant astrophysical interest because it includes one of the variants of chain of primordial nucleosynthesis processes of the Universe and thermonuclear reactions in type II supernova.


title: Galois descent of semi-affinoid spaces

abstract: We study the Galois descent of semi-affinoid non-archimedean analytic spaces. These are the non-archimedean analytic spaces which admit an affine special formal scheme as model over a complete discrete valuation ring, such as for example open or closed polydiscs or polyannuli. Using Weil restrictions and Galois fixed loci for semi-affinoid spaces and their formal models, we describe a formal model of a $K$-analytic space $X$, provided that $X\otimes_KL$ is semi-affinoid for some finite tamely ramified extension $L$ of $K$. As an application, we study the forms of analytic annuli that are trivialized by a wide class of Galois extensions that includes totally tamely ramified extensions. In order to do so, we first establish a Weierstrass preparation result for analytic functions on annuli, and use it to linearize finite order automorphisms of annuli. Finally, we explain how from these results one can deduce a non-archimedean analytic proof of the existence of resolutions of singularities of surfaces in characteristic zero.


title: Zero-Energy Modes from Coalescing Andreev States in a Two-Dimensional Semiconductor-Superconductor Hybrid Platform

abstract: We investigate zero-bias conductance peaks that arise from coalescing subgap Andreev states, consistent with emerging Majorana zero modes, in hybrid semiconductor-superconductor wires defined in a two-dimensional InAs/Al heterostructure using top-down lithography and gating. The measurements indicate a hard superconducting gap, ballistic tunneling contact, and in-plane critical fields up to $3$~T. Top-down lithography allows complex geometries, branched structures, and straightforward scaling to multicomponent devices compared to structures made from assembled nanowires.


title: Validation of Spherical Born Approximation Sensitivity Functions for Measuring Deep Solar Meridional Flow

abstract: Accurate measurements of deep solar meridional flow are of vital interest for understanding the solar dynamo. In this paper, we validate a recently developed method for obtaining sensitivity functions (kernels) for travel-time measurements to solar interior flows using the Born approximation in spherical geometry, which is expected to be more accurate than the classical ray approximation. Furthermore, we develop a numerical approach to efficiently compute a large number of kernels based on the separability of the eigenfunctions into their horizontal and radial dependence. The validation is performed using a hydrodynamic simulation of linear wave propagation in the Sun, which includes a standard single-cell meridional flow profile. We show that, using the Born approximation, it is possible to accurately model observational quantities relevant for time-distance helioseismology such as the mean power spectrum, disc-averaged cross-covariance functions, and travel times in the presence of a flow field. In order to closely match the model to observations, we show that it is beneficial to use mode frequencies and damping rates which were extracted from the measured power spectrum. Furthermore, the contribution of the radial flow to the total travel time is found to reach 20% of the contribution of the horizontal flow at travel distances over $40^\circ$. Using the Born kernels and a 2D SOLA inversion of travel times, we can recover most features of the input meridional flow profile. The Born approximation is thus a promising method for inferring large-scale solar interior flows.


title: Profinite detection of 3-manifold decompositions

abstract: The profinite completion of the fundamental group of a closed, orientable $3$-manifold determines the Kneser--Milnor decomposition. If $M$ is irreducible, then the profinite completion determines the Jaco--Shalen--Johannson decomposition of $M$.


title: Data-Driven Color Augmentation Techniques for Deep Skin Image Analysis

abstract: Dermoscopic skin images are often obtained with different imaging devices, under varying acquisition conditions. In this work, instead of attempting to perform intensity and color normalization, we propose to leverage computational color constancy techniques to build an artificial data augmentation technique suitable for this kind of images. Specifically, we apply the \emph{shades of gray} color constancy technique to color-normalize the entire training set of images, while retaining the estimated illuminants. We then draw one sample from the distribution of training set illuminants and apply it on the normalized image. We employ this technique for training two deep convolutional neural networks for the tasks of skin lesion segmentation and skin lesion classification, in the context of the ISIC 2017 challenge and without using any external dermatologic image set. Our results on the validation set are promising, and will be supplemented with extended results on the hidden test set when available.


title: The stability and energy exchange mechanism of divergent states with real energy

abstract: The eigenvalue of the hermitic Hamiltonian is real undoubtedly. Actually, The reality can also be guaranteed by the $PT$-symmetry. The hermiticity and the $PT$-symmetric quantum theory both have requirements regarding the boundary condition. There exists a reverse strategy to investigate the quantum problem. Namely, define the eigenvalue as real first, and, meanwhile, open the boundary condition. Then the behaviors of the wave function at the boundary become rich in meaning. This eigenfunction is generally divergent, and the extent and direction of divergence are closely linked to the energy. It was noted that these divergent behaviors can be well described by their energy-space uncertainty relation which is not trivial anymore. The divergent state is unstable and will certainly exchange energy with the outside. The mechanism of energy exchange is just in the energy-space uncertainty relation, which will benefit dynamic simulation, the many-body problem, and so on. There is no distinct dividing line between this kind of divergent unstable state and the convergent stable state. Their relationship is like that of the rational and irrational numbers. In practice, there are distinct advantages of speed and accuracy for the methods based on the laws of divergence.


title: The classical and quantum synchronization between two scattering modes in Bose-Einstein condensates generated by the standing-wave laser beams

abstract: Both classical and quantum dynamics of the synchronization between two nonlinear mechanical modes scattered from Bose-Einstein condensates (BECs) by the standing-wave laser beam are comparatively investigated. As the ultra-low dissipations of the momentum modes in the atomic BECs, the synchronized dynamics are studied in a framework of closed-system theory in order to track down both the classical and the quantum synchronizations from an angle of quantum control. The classical synchronization and the relevant dynamics of measure synchronization, the quantum synchronization and two different types of measures proposed by Mari and estimated by mutual information based on $Q$-function are studied respectively in order to reveal both the macroscopic and the microscopic signatures of synchronized behaviors in a closed quantum system. The results demonstrate that the "revival and collapse" of the quantum fluctuations beyond the classical mean-value dynamics due to long-lasting mode coherence discriminates the quantum synchronization from the classical one, which not only excludes the possibilities of an exact synchronization and a perfect density overlap in phase space, but also leads to upper limitations to Mari measure and large unceasing fluctuations to mutual information between two scattering modes. We reveal a close dynamic connection between Mari measure and the mutual information of two nonlinear momentum modes in closed BEC systems by demonstrating an opposite mean-value behavior but a similar fluctuation variation with respect to their respective evolutionary scales.


title: On nonlocal models of Kulish-Sklyanin type and generalized Fourier transforms

abstract: A special class of multicomponent NLS equations, generalizing the vector NLS and related to the {\bf BD.I}-type symmetric are shown to be integrable through the inverse scattering method (ISM). The corresponding fundamental analytic solutions are constructing thus reducing the inverse scattering problem to a Riemann-Hilbert problem. We introduce the minimal sets of scattering data $\mathfrak{T}$ which determines uniquely the scattering matrix and the potential $Q$ of the Lax operator. The elements of $\mathfrak{T}$ can be viewed as the expansion coefficients of $Q$ over the `squared solutions' that are natural generalizations of the standard exponentials. Thus we demonstrate that the mapping $\mathfrak{T} \to Q$ is a generalized Fourier transform. Special attention is paid to two special representatives of this MNLS with three-component and five components which describe spinor ($F=1$ and $F=2$, respectively) Bose-Einstein condensates.


title: Quantum reading capacity: General definition and bounds

abstract: Quantum reading refers to the task of reading out classical information stored in a read-only memory device. In any such protocol, the transmitter and receiver are in the same physical location, and the goal of such a protocol is to use these devices (modeled by independent quantum channels), coupled with a quantum strategy, to read out as much information as possible from a memory device, such as a CD or DVD. As a consequence of the physical setup of quantum reading, the most natural and general definition for quantum reading capacity should allow for an adaptive operation after each call to the channel, and this is how we define quantum reading capacity in this paper. We also establish several bounds on quantum reading capacity, and we introduce an environment-parametrized memory cell with associated environment states, delivering second-order and strong converse bounds for its quantum reading capacity. We calculate the quantum reading capacities for some exemplary memory cells, including a thermal memory cell, a qudit erasure memory cell, and a qudit depolarizing memory cell. We finally provide an explicit example to illustrate the advantage of using an adaptive strategy in the context of zero-error quantum reading capacity.


title: Curvature controlled defect dynamics in topological active nematics

abstract: We study the spatiotemporal patterns that emerge when an active nematic film is topologically constraint. These topological constraints allow to control the non-equilibrium dynamics of the active system. We consider ellipsoidal shapes for which the resulting defects are 1/2 disclinations and analyze the relation between their location and dynamics and local geometric properties of the ellipsoid. We highlight two dynamic modes: a tunable periodic state that oscillates between two defect configurations on a spherical shape and a tunable rotating state for oblate spheroids. We further demonstrate the relation between defects and high Gaussian curvature and umbilical points and point out limits for a coarse-grained description of defects as self-propelled particles.


title: The Indecomposable Solutions of Linear Congruences

abstract: This article considers the minimal non-zero (= indecomposable) solutions of the linear congruence $1\cdot x_1 + \cdots + (m-1)\cdot x_{m-1} \equiv 0 \pmod m$ for unknown non-negative integers $x_1, \ldots, x_n$, and characterizes the solutions that attain the Eggleton-Erd\H{o}s bound. Furthermore it discusses the asymptotic behaviour of the number of indecomposable solutions. The results have direct interpretations in terms of zero-sum sequences and invariant theory.


title: Spectral theory for non-unitary twists

abstract: Let $G$ be a Lie-group and $\Ga\subset G$ a cocompact lattice. For a finite-dimensional, not necessarily unitary representation $\om$ of $\Ga$ we show that the $G$-representation on $L^2(\Ga\bs G,\om)$ admits a complete filtration with irreducible quotients. As a consequence, we show the trace formula for non-unitary twists and arbitrary locally compact groups.


title: The matter-ekpyrotic bounce scenario in Loop Quantum Cosmology

abstract: We will perform a detailed study of the matter-ekpyrotic bouncing scenario in Loop Quantum Cosmology using the methods of the dynamical systems theory. We will show that when the background is driven by a single scalar field, at very late times, in the contracting phase, all orbits depict a matter dominated Universe, which evolves to an ekpyrotic phase. After the bounce the Universe enters in the expanding phase, where the orbits leave the ekpyrotic regime going to a kination (also named deflationary) regime. Moreover, this scenario supports the production of heavy massive particles conformally coupled with gravity, which reheats the universe at temperatures compatible with the nucleosynthesis bounds and also the production of massless particles non-conformally coupled with gravity leading to very high reheating temperatures but ensuring the nucleosynthesis success. Dealing with cosmological perturbations, these background dynamics produce a nearly scale invariant power spectrum for the modes that leave the Hubble radius, in the contracting phase, when the Universe is quasi-matter dominated, whose spectral index and corresponding running is compatible with the recent experimental data obtained by PLANCK's team.


title: Coupled Lugiato-Lefever equation for nonlinear frequency comb generation at an avoided crossing of a microresonator

abstract: Guided-mode coupling in a microresonator generally manifests itself through avoided crossings of the corresponding resonances. This coupling can strongly modify the resonator local effective dispersion by creating two branches that have dispersions of opposite sign in spectral regions that would otherwise be characterized by either positive (normal) or negative (anomalous) dispersion. In this paper, we study, both analytically and computationally, the general properties of nonlinear frequency comb generation at an avoided crossing using the coupled Lugiato-Lefever equation. In particular, we find that bright solitons and broadband frequency combs can be excited when both branches are pumped for a suitable choice of the pump powers and the detuning parameters. A deterministic path for soliton generation is found.


title: Distant sum distinguishing index of graphs

abstract: Consider a positive integer $r$ and a graph $G=(V,E)$ with maximum degree $\Delta$ and without isolated edges. The least $k$ so that a proper edge colouring $c:E\to\{1,2,\ldots,k\}$ exists such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every pair of distinct vertices $u,v$ at distance at most $r$ in $G$ is denoted by $\chi'_{\Sigma,r}(G)$. For $r=1$ it has been proved that $\chi'_{\Sigma,1}(G)=(1+o(1))\Delta$. For any $r\geq 2$ in turn an infinite family of graphs is known with $\chi'_{\Sigma,r}(G)=\Omega(\Delta^{r-1})$. We prove that on the other hand, $\chi'_{\Sigma,r}(G)=O(\Delta^{r-1})$ for $r\geq 2$. In particular we show that $\chi'_{\Sigma,r}(G)\leq 6\Delta^{r-1}$ if $r\geq 4$.


title: A Polyethylene-B4C based concrete for enhanced neutron shielding at neutron research facilities

abstract: We present the development of a specialized concrete for neutron shielding at neutron research facilities, based on the addition of hydrogen atoms in the form of polyethylene and also B$_{4}$C for enhancing the neutron capture properties of the concrete. We show information on the mechanical properties of the concrete and the neutronics, in particular it's relevance to modern spallation neutron sources, such as the European Spallation Source (ESS), currently under construction in Lund, Sweden. The new concrete exhibits a 15% lower mass density, a compressible strength of 50% relative to a standard concrete and a significant increase in performance of shielding against MeV neutrons and lower energies. The concrete could find application at the ESS in for example common shielding components, individual beamline shielding and instrument caves. Initial neutronic tests of the concrete, carried out at Lund University, have also verified the performance in the MeV neutron energy range and the results are presented.


title: Applying the Wizard-of-Oz Technique to Multimodal Human-Robot Dialogue

abstract: Our overall program objective is to provide more natural ways for soldiers to interact and communicate with robots, much like how soldiers communicate with other soldiers today. We describe how the Wizard-of-Oz (WOz) method can be applied to multimodal human-robot dialogue in a collaborative exploration task. While the WOz method can help design robot behaviors, traditional approaches place the burden of decisions on a single wizard. In this work, we consider two wizards to stand in for robot navigation and dialogue management software components. The scenario used to elicit data is one in which a human-robot team is tasked with exploring an unknown environment: a human gives verbal instructions from a remote location and the robot follows them, clarifying possible misunderstandings as needed via dialogue. We found the division of labor between wizards to be workable, which holds promise for future software development.


title: Composite Cell from Nematic and Cholesteric Liquid Crystals as an Rotator of Electrically Tunable Polarization Plane

abstract: A liquid crystal optical device made of an optically anisotropic heterostructure is considered. The device consists of a cholesteric liquid crystal (CLC) layer sandwiched by two phase-shifting anisotropic layers of a nematic liquid crystal (NLC). In this structure each of the NLC layers is a quarterwave plate. The problem is solved both by Ambartsumian method of layer addition and Muller matrix method. The peculiarities of reflection spectra, eigen polarizations, rotation of polarization plane and polarization ellipticity are studied. It is shown that this device can work as a light modulator or a system for obtaining linearly polarized light with electrically tunable rotation of the polarization plane (which is especially important for optical communication), as well as a device for obtaining the linearly polarized light from a non-polarized one.


title: Advanced engineering of single-crystal gold nanoantennas

abstract: A nanofabrication process for realizing optical nanoantennas carved from a single-crystal gold plate is presented in this communication. The method relies on synthesizing two-dimensional micron-size gold crystals followed by the dry etching of a desired antenna layout. The fabrication of single-crystal optical nanoantennas with standard electron-beam lithography tool and dry etching reactor represents an alternative technological solution to focused ion beam milling of the objects. The process is exemplified by engineering nanorod antennas. Dark-field spectroscopy indicates that optical antennas produced from single crystal flakes have reduced localized surface plasmon resonance losses compared to amorphous designs of similar shape. The present process is easily applicable to other metals such as silver or copper and offers a design flexibility not found in crystalline particles synthesized by colloidal chemistry.


title: Right for the Right Reasons: Training Differentiable Models by Constraining their Explanations

abstract: Neural networks are among the most accurate supervised learning methods in use today, but their opacity makes them difficult to trust in critical applications, especially when conditions in training differ from those in test. Recent work on explanations for black-box models has produced tools (e.g. LIME) to show the implicit rules behind predictions, which can help us identify when models are right for the wrong reasons. However, these methods do not scale to explaining entire datasets and cannot correct the problems they reveal. We introduce a method for efficiently explaining and regularizing differentiable models by examining and selectively penalizing their input gradients, which provide a normal to the decision boundary. We apply these penalties both based on expert annotation and in an unsupervised fashion that encourages diverse models with qualitatively different decision boundaries for the same classification problem. On multiple datasets, we show our approach generates faithful explanations and models that generalize much better when conditions differ between training and test.


title: The origin of inertia and the nature of inertial rest mass

abstract: In order to explain the origin of inertia and the nature of the inertial rest mass, we must first accept that gravity is described by a gravitomagnetic theory just like the electromagnetic theory with the gravitational mass as a Lorentz invariant, and secondly the fundamental idea of the relativity of all kinds of motion. By doing this we can prove that: 1. The external inertial forces, felt by an accelerating body, are inductive effects of the entire Universe while the internal inertial forces depend on the internal structure of the body. When a body moves freely in a gravitational field, its internal structure plays no role and the body feels only the external inertial forces. That is why all bodies fall at the same rate in a gravitational field. 2. The inertial rest mass of a body depends on the distribution of the matter in the Universe and this seems very important for dark matter and dark energy. The inertial mass of a charged particle depends on the distribution of the other charges in its neighborhood and this effect turns out to be important in the subatomic world. 3. The gravitational field affects the geometry of space-time which is a Finsler-Randers space-time and all the freely moving bodies in a gravitational field follow geodesics of this space-time.


title: Quantum Thermal Machine as a Thermometer

abstract: We propose the use of a quantum thermal machine for low-temperature thermometry. A hot thermal reservoir coupled to the machine allows for simultaneously cooling the sample while determining its temperature without knowing the model-dependent coupling constants. In its most simple form, the proposed scheme works for all thermal machines which perform at Otto efficiency and can reach Carnot efficiency. We consider a circuit QED implementation which allows for precise thermometry down to $\sim$15 mK with realistic parameters. Based on the quantum Fisher information, this is close to the optimal achievable performance. This implementation demonstrates that our proposal is particularly promising in systems where thermalization between different components of an experimental setup cannot be guaranteed.