title: On Cyber Risk Management of Blockchain Networks: A Game Theoretic Approach

abstract: Open-access blockchains based on proof-of-work protocols have gained tremendous popularity for their capabilities of providing decentralized tamper-proof ledgers and platforms for data-driven autonomous organization. Nevertheless, the proof-of-work based consensus protocols are vulnerable to cyber-attacks such as double-spending. In this paper, we propose a novel approach of cyber risk management for blockchain-based service. In particular, we adopt the cyber-insurance as an economic tool for neutralizing cyber risks due to attacks in blockchain networks. We consider a blockchain service market, which is composed of the infrastructure provider, the blockchain provider, the cyber-insurer, and the users. The blockchain provider purchases from the infrastructure provider, e.g., a cloud, the computing resources to maintain the blockchain consensus, and then offers blockchain services to the users. The blockchain provider strategizes its investment in the infrastructure and the service price charged to the users, in order to improve the security of the blockchain and thus optimize its profit. Meanwhile, the blockchain provider also purchases a cyber-insurance from the cyber-insurer to protect itself from the potential damage due to the attacks. In return, the cyber-insurer adjusts the insurance premium according to the perceived risk level of the blockchain service. Based on the assumption of rationality for the market entities, we model the interaction among the blockchain provider, the users, and the cyber-insurer as a two-level Stackelberg game. Namely, the blockchain provider and the cyber-insurer lead to set their pricing/investment strategies, and then the users follow to determine their demand of the blockchain service. Specifically, we consider the scenario of double-spending attacks and provide a series of analytical results about the Stackelberg equilibrium in the market game.


title: Extracting Parallel Paragraphs from Common Crawl

abstract: Most of the current methods for mining parallel texts from the web assume that web pages of web sites share same structure across languages. We believe that there still exists a non-negligible amount of parallel data spread across sources not satisfying this assumption. We propose an approach based on a combination of bivec (a bilingual extension of word2vec) and locality-sensitive hashing which allows us to efficiently identify pairs of parallel segments located anywhere on pages of a given web domain, regardless their structure. We validate our method on realigning segments from a large parallel corpus. Another experiment with real-world data provided by Common Crawl Foundation confirms that our solution scales to hundreds of terabytes large set of web-crawled data.


title: Generalised Potential Functions in Differential Geometry and Information Geometry

abstract: Potential functions can be used as generating potentials of relevant geometric structures for a Riemannian manifold such as the Riemannian metric and affine connections. We study wether this procedure can also be applied to tensors of rank four and find a negative answer. We study this from the perspective of solving the inverse problem and also from an intrinsic point of view.


title: Satellite capture mechanism in a sun-planet-binary four-body system

abstract: This paper studies the binary disruption problem and asteroid capture mechanism in a sun-planet-binary four-body system. Firstly, the binary disruption condition is studied and the result shows that the binary is always disrupted at the perigee of their orbit instantaneously. Secondly, an analytic expression to describe the energy exchange between the binary is derived based on the instantaneous disruption hypothesis. The analytic result is validated through numerical integration. We obtain the energy exchange in encounters simultaneously by the analytic expression and numerical integration. The maximum deviation of this two results is always less than 25% and the mean deviation is about 8.69%. The analytic expression can give us an intuitive description of the energy exchange between the binary. It indicates that the energy change depends on the hyperbolic shape of the binary orbit with respect to the planet, the masses of planet and the primary member of the binary, the binary phase at perigee. We can illustrate the capture/escape processes and give the capture/escape region of the binary clearly by numerical simulation. We analyse the influence of some critical factors to the capture region finally.


title: Delay-Energy Joint Optimization for Task Offloading in Mobile Edge Computing

abstract: Mobile-edge computing (MEC) has been envisioned as a promising paradigm to meet ever-increasing resource demands of mobile users, prolong battery lives of mobile devices, and shorten request response delays experienced by users. An MEC environment consists of many MEC servers and ubiquitous access points interconnected into an edge cloud network. Mobile users can offload their computing-intensive tasks to one or multiple MEC servers for execution to save their batteries. Due to large numbers of MEC servers deployed in MEC, selecting a subset of servers to serve user tasks while satisfying delay requirements of their users is challenging. In this paper, we formulate a novel delay-energy joint optimization problem through jointly considering the CPU-cycle frequency scheduling at mobile devices, server selection to serve user offloading tasks, and task allocations to the selected servers. To this end, we first formulate the problem as a mixed-integer nonlinear programming, due to the hardness to solve this nonlinear programming, we instead then relax the problem into a nonlinear programming problem that can be solved in polynomial time. We also show how to derive a feasible solution to the original problem from the solution of this relaxed solution. We finally conduct experiments to evaluate the performance of the proposed algorithm. Experimental results demonstrate that the proposed algorithm is promising.


title: Backreaction of axion coherent oscillations

abstract: We investigate how coherent oscillations backreact on the evolution of the condensate wave function of ultra-light axions in the non-relativistic regime appropriate to cosmic structure formation. The coherent oscillations induce higher harmonics beyond the fundamental mode considered so far when a self-interaction is present, and imprint oscillations in the gravitational potential. We emphasize that the effective self-interaction felt by the slowly-varying envelop of the wave function always differs from the bare Lagrangian interaction potential. We also point out that, in the hydrodynamical formulation of the Gross-Pitaevskii equation, oscillations in the gravitational potential result in an attractive force that counteracts the effect of the quantum pressure arising from the strong delocalization of the particles. Since these effects become significant on physical scales less than the (large) Compton wavelength of the particle, they are presumably not very relevant on the mildly nonlinear scales traced by intergalactic neutral hydrogen for axion masses consistent with the bounds from the Lyman-$\alpha$ forest. However, they might affect the formation of virialized cosmological structures and their stability.


title: Exploiting the Superposition Property of Wireless Communication For Average Consensus Problems in Multi-Agent Systems

abstract: This paper studies system stability and performance of multi-agent systems in the context of consensus problems over wireless multiple-access channels (MAC). We propose a consensus algorithm that exploits the broadcast property of the wireless channel. Therefore, the algorithm is expected to exhibit fast convergence and high efficiency in terms of the usage of scarce wireless resources. The designed algorithm shows robustness against variations in the channel and consensus is always reached. However the consensus value will be depending on these variations.


title: Gaia confirms that SDSS J102915+172927 is a dwarf star

abstract: The Gaia Data Release 2 provides a parallax of 0.734+/-0.073 mas for SDSS J102915+172927, currently the most metal-poor known object. This parallax implies that it is dwarf star, ruling out the scenario that it is a subgiant. The subgiant scenario had as a corollary that the star had been formed in a medium highly enriched in C, thus making line cooling efficient during the collapse, that was also highly enriched in Fe by Type Ia SNe. This scenario can also now be ruled out for this star, reinforcing the need of dust cooling and fragmentation to explain its formation.


title: Gravitational birefringence of light at cosmological scales

abstract: Birefringence of light induced not by matter, but by the gradient of an electric field, has been predicted in 1955 and observed in 2008. Here we replace the electric field by the gravitional field of our expanding universe.


title: Review on the progress in nuclear fission

abstract: An overview is given on some of the main advances in experimental methods, experimental results and theoretical models and ideas of the last years in the field of nuclear fission. New experimental approaches extended the availability of fissioning systems considerably and provided a full identification of all fission products in A and Z for the first time. In particular, the transition from symmetric to asymmetric fission around 226Th and some unexpected structure in the mass distributions in the fission of systems around Z = 80 to 84 as well as an extended systematics of the odd-even effect in fission fragment Z distributions have been measured [A. N. Andreyev et al., Rep. Progr. Phys. 81 (2018) 016301]. Three classes of theoretical descriptions of fission presently appear to be the most promising or the most successful ones: Self-consistent quantum-mechanical models fully consider the quantum-mechanical features of the fission process. Intense efforts are presently made to develop suitable theoretical tools [N. Schunck, L. M. Robledo, Rep. Prog. Phys. 79 (2016) 116301] for modeling the non-equilibrium, large-amplitude collective motion leading to fission. Stochastic, essentially classical models provide a fully developed technical framework. The main features of the fission-fragment mass distribution are well reproduced from mercury to fermium and beyond [P. M\"oller, J. Randrup, Phys. Rev. C 91 (2015) 044316]. In an alternative semi-empirical approach [K.-H. Schmidt et al., Nucl. Data Sheets 131 (2016) 107], considerable progress in describing the fission observables has been achieved by combining several general theoretical concepts. This new approach reveals a high degree of regularity and allows calculating high-quality data with a unique parameter set for a large number of systems and an extended excitation-energy range.


title: Adaptive Non-Rigid Inpainting of 3D Point Cloud Geometry

abstract: In this letter, we introduce several algorithms for geometry inpainting of 3D point clouds with large holes. The algorithms are examplar-based: hole filling is performed iteratively using templates near the hole boundary to find the best matching regions elsewhere in the cloud, from where existing points are transferred to the hole. We propose two improvements over the previous work on exemplar-based hole filling. The first one is adaptive template size selection in each iteration, which simultaneously leads to higher accuracy and lower execution time. The second improvement is a non-rigid transformation to better align the candidate set of points with the template before the point transfer, which leads to even higher accuracy. We demonstrate the algorithms' ability to fill holes that are difficult or impossible to fill by existing methods.


title: Inextendibility of spacetimes and Lorentzian length spaces

abstract: We study the low-regularity (in-)extendibility of spacetimes within the synthetic-geometric framework of Lorentzian length spaces developed in [KS:17]. To this end, we introduce appropriate notions of geodesics and timelike geodesic completeness and prove a general inextendibility result. Our results shed new light on recent analytic work in this direction and, for the first time, relate low-regularity inextendibility to (synthetic) curvature blow-up.


title: On-surface potential and radial electric field variations in electron root stellarator plasmas

abstract: In the present work we report recent radial electric field measurements carried out with the Doppler reflectometry system in the TJ-II stellarator. The study focuses on the fact that, under some conditions, the radial electric field measured at different points over the same flux surface shows significantly different values. A numerical analysis is carried out considering the contribution arising from the radial dependence of $\Phi_1$ as a possible correction term to the total radial electric field. Here $\Phi_1$ is the neoclassical electrostatic potential variation over the surface. The comparison shows good agreement in some aspects, like the conditions under which this correction is large (electron-root conditions) or negligible (ion-root conditions). But it disagrees in others like the sign of the correction. The results are discussed together with the underlying reasons of this partial disagreement. In addition, motivated by the recent installation of the dual Doppler reflectometry system in Wendelstein 7-X (W7-X), $\Phi_1$ estimations for W7-X are revisited considering Core-Electron-Root-Plasma (CERC) plasmas from its first experimental campaign. The simulations show larger values of $\Phi_1$ under electron-root conditions than under ion root ones. The contribution from the kinetic electron response is shown to become important at some radii. All this results in a potential variation size noticeably larger than estimated in our previous work in W7-X \cite{Regana_nf_57_056004_2017} for other plasma parameters and another configuration.


title: Integral Invariants from Covariance Analysis of Embedded Riemannian Manifolds

abstract: Principal Component Analysis can be performed over small domains of an embedded Riemannian manifold in order to relate the covariance analysis of the underlying point set with the local extrinsic and intrinsic curvature. We show that the volume of domains on a submanifold of general codimension, determined by the intersection with higher-dimensional cylinders and balls in the ambient space, have asymptotic expansions in terms of the mean and scalar curvatures. Moreover, we propose a generalization of the classical third fundamental form to general submanifolds and prove that the eigenvalue decomposition of the covariance matrices of the domains have asymptotic expansions with scale that contain the curvature information encoded by the traces of this tensor. In the case of hypersurfaces, this covariance analysis recovers the principal curvatures and principal directions, which can be used as descriptors at scale to build up estimators of the second fundamental form, and thus the Riemann tensor, of general submanifolds.


title: K-theory and index formulas for boundary groupoid C*-algebras

abstract: We compute explicitly the K-groups of some boundary groupoid C*-algebras with exponential isotropy subgroups. Then we derive index formulas that computes the K-theoretic and Fredholm indexes of elliptic (respectively totally elliptic) pseudo-differential operators on these groupoids.


title: Open Set Domain Adaptation by Backpropagation

abstract: Numerous algorithms have been proposed for transferring knowledge from a label-rich domain (source) to a label-scarce domain (target). Almost all of them are proposed for a closed-set scenario, where the source and the target domain completely share the class of their samples. We call the shared class the \doublequote{known class.} However, in practice, when samples in target domain are not labeled, we cannot know whether the domains share the class. A target domain can contain samples of classes that are not shared by the source domain. We call such classes the \doublequote{unknown class} and algorithms that work well in the open set situation are very practical. However, most existing distribution matching methods for domain adaptation do not work well in this setting because unknown target samples should not be aligned with the source. In this paper, we propose a method for an open set domain adaptation scenario which utilizes adversarial training. A classifier is trained to make a boundary between the source and the target samples whereas a generator is trained to make target samples far from the boundary. Thus, we assign two options to the feature generator: aligning them with source known samples or rejecting them as unknown target samples. This approach allows extracting features that separate unknown target samples from known target samples. Our method was extensively evaluated in domain adaptation setting and outperformed other methods with a large margin in most settings.


title: Localized Traffic Sign Detection with Multi-scale Deconvolution Networks

abstract: Autonomous driving is becoming a future practical lifestyle greatly driven by deep learning. Specifically, an effective traffic sign detection by deep learning plays a critical role for it. However, different countries have different sets of traffic signs, making localized traffic sign recognition model training a tedious and daunting task. To address the issues of taking amount of time to compute complicate algorithm and low ratio of detecting blurred and sub-pixel images of localized traffic signs, we propose Multi-Scale Deconvolution Networks (MDN), which flexibly combines multi-scale convolutional neural network with deconvolution sub-network, leading to efficient and reliable localized traffic sign recognition model training. It is demonstrated that the proposed MDN is effective compared with classical algorithms on the benchmarks of the localized traffic sign, such as Chinese Traffic Sign Dataset (CTSD), and the German Traffic Sign Benchmarks (GTSRB).


title: Scattering for stochastic nonlinear Schr\"odinger equations

abstract: We study the scattering behavior of global solutions to stochastic nonlinear Schr\"odinger equations with linear multiplicative noise. In the case where the quadratic variation of the noise is globally finite and the nonlinearity is defocusing,we prove that the solutions scatter at infinity in the pseudo-conformal space and in the energy space respectively, including the energy-critical case. Moreover, in the case where the noise is large, non-conservative and has infinite quadratic variation, we show that the solutions scatter at infinity with high probability for all energy-subcritical exponents.


title: Observation of classically `forbidden' electromagnetic wave propagation and implications for neutrino detection

abstract: Ongoing experimental efforts in Antarctica seek to detect ultra-high energy neutrinos by measurement of radio-frequency (RF) Askaryan radiation generated by the collision of a neutrino with an ice molecule. An array of RF antennas, deployed either in-ice or in-air, is used to infer the properties of the neutrino. To evaluate their experimental sensitivity, such experiments require a refractive index model for ray tracing radio-wave trajectories from a putative in-ice neutrino interaction point to the receiving antennas; this gives the degree of signal absorption or ray bending from source to receiver. The gradient in the density profile over the upper 200 meters of Antarctic ice, coupled with Fermat's least-time principle, implies ray "bending" and the existence of "forbidden" zones for predominantly horizontal signal propagation at shallow depths. After re-deriving the formulas describing such shadowing, we report on experimental results that, somewhat unexpectedly, demonstrate the existence of electromagnetic wave transport modes from nominally shadowed regions. The fact that this shadow-signal propagation is observed both at South Pole and the Ross Ice Shelf in Antarctica suggests that the effect may be a generic property of polar ice, with potentially important implications for experiments seeking to detect neutrinos.


title: Spin Waves in Quantum Gases --- The Quality Factor of the Identical Spin Rotation Effect

abstract: Our recent experimental work on electron spin waves in atomic hydrogen gas has prompted a revisit of the theory of the Identical Spin Rotation Effect (ISRE). A key characteristic determining the properties of the spin waves is the quality factor of ISRE. Unfortunately, calculating this quality factor takes some toil. In this paper we summarize some results of the ISRE theory in dilute gases. We also derive asymptotic formulae for the quality factor and examine their accuracy for hydrogen and $^3$He.


title: Variational Regularization of Inverse Problems for Manifold-Valued Data

abstract: In this paper, we consider the variational regularization of manifold-valued data in the inverse problems setting. In particular, we consider TV and TGV regularization for manifold-valued data with indirect measurement operators. We provide results on the well-posedness and present algorithms for a numerical realization of these models in the manifold setup. Further, we provide experimental results for synthetic and real data to show the potential of the proposed schemes for applications.


title: Positioning of Transparent Targets Using Defocusing Method in a Laser Proton Accelerator

abstract: We report a positioning method for transparent targets with an accuracy of \SI{2}{\mu m} for a compact laser proton accelerator. The positioning system consists of two light-emitting diodes (LED), a long working distance objective and two charge coupled devices (CCD) for illumination, imaging and detection, respectively. We developed a defocusing method making transparent targets visible as phase objects and applied it to our system. Precise positioning of transparent targets can be realized by means of minimizing the image contrast of the phase objects. Fast positioning based on the relationship between the radius of spherical aberration ring and defocusing distance is also realized. Laser proton acceleration experiments have been performed to demonstrate the reliability of this positioning system.


title: On Isoclinism \& Baer's theorem for Lie superalgebras

abstract: In this paper we define isoclinism for Lie superalgebras and using the concept of isoclinism, we give the structure of all covers of Lie superalgebras when their Schur multipliers are finite dimensional. It has been shown that that maximal stem extensions of Lie superalgebras are precisely same as the stem covers. Furthermore, we have defined stem Lie superalgebra and prove that each isoclinic family $\mathcal{C}$ contain a stem Lie superalgebra $T$ and it is the one having minimum even and odd dimension. Finally we have proved a converse of Schur's theorem and have given bound for stem Lie superalgebra. Then we state and prove Baer's theorem( generalisation of Schur's theorem) and a converse of it.


title: Regularized Nonparametric Volterra Kernel Estimation

abstract: In this paper, the regularization approach introduced recently for nonparametric estimation of linear systems is extended to the estimation of nonlinear systems modelled as Volterra series. The kernels of order higher than one, representing higher dimensional impulse responses in the series, are considered to be realizations of multidimensional Gaussian processes. Based on this, prior information about the structure of the Volterra kernel is introduced via an appropriate penalization term in the least squares cost function. It is shown that the proposed method is able to deliver accurate estimates of the Volterra kernels even in the case of a small amount of data points.


title: Characterizing the highly cited articles: a large-scale bibliometric analysis of the top 1% most cited research

abstract: We conducted a large-scale analysis of around 10,000 scientific articles, from the period 2007-2016, to study the bibliometric or formal aspects influencing citations. A transversal analysis was conducted disaggregating the articles into more than one hundred scientific areas and two groups, one experimental and one control, each with a random sample of around five thousand documents. The experimental group comprised a random sample of the top 1% most cited articles in each field and year of publication (highly cited articles), and the control group a random sample of the remaining articles in the Journal Citation Reports (science and social science citation indexes in the Web of Science database). As the main result, highly cited articles differ from non-highly cited articles in most of the bibliometric aspects considered. There are significant differences, below the 0.01 level, between the groups of articles in many variables and areas. The highly cited articles are published in journals of higher impact factor (33 percentile points above) and have 25% higher co-authorship. The highly cited articles are also longer in terms of number of pages (10% higher) and bibliographical references (35% more). Finally, highly cited articles have slightly shorter titles (3% lower) but, contrastingly, longer abstracts (10% higher).


title: Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming

abstract: Automated storage and retrieval systems are principal components of modern production and warehouse facilities. In particular, automated guided vehicles nowadays substitute human-operated pallet trucks in transporting production materials between storage locations and assembly stations. While low-level control systems take care of navigating such driverless vehicles along programmed routes and avoid collisions even under unforeseen circumstances, in the common case of multiple vehicles sharing the same operation area, the problem remains how to set up routes such that a collection of transport tasks is accomplished most effectively. We address this prevalent problem in the context of car assembly at Mercedes-Benz Ludwigsfelde GmbH, a large-scale producer of commercial vehicles, where routes for automated guided vehicles used in the production process have traditionally been hand-coded by human engineers. Such ad-hoc methods may suffice as long as a running production process remains in place, while any change in the factory layout or production targets necessitates tedious manual reconfiguration, not to mention the missing portability between different production plants. Unlike this, we propose a declarative approach based on Answer Set Programming to optimize the routes taken by automated guided vehicles for accomplishing transport tasks. The advantages include a transparent and executable problem formalization, provable optimality of routes relative to objective criteria, as well as elaboration tolerance towards particular factory layouts and production targets. Moreover, we demonstrate that our approach is efficient enough to deal with the transport tasks evolving in realistic production processes at the car factory of Mercedes-Benz Ludwigsfelde GmbH.


title: Vibrational modes of ultrathin carbon nanomembrane mechanical resonators

abstract: We report measurements of vibrational mode shapes of mechanical resonators made from ultrathin carbon nanomembranes (CNMs) with a thickness of approximately 1 nm. CNMs are prepared from electron irradiation induced cross-linking of aromatic self-assembled monolayers (SAMs) and the variation of membrane thickness and/or density can be achieved by varying the precursor molecule. Single- and triple-layer freestanding CNMs were made by transferring them onto Si substrates with square/rectangular orifices. The vibration of the membrane was actuated by applying a sinusoidal voltage to a piezoelectric disk on which the sample was glued. The vibrational mode shapes were visualized with an imaging Mirau interferometer using a stroboscopic light source. Several mode shapes of a square membrane can be readily identified and their dynamic behavior can be well described by linear response theory of a membrane with negligible bending rigidity. Applying Fourier transformations to the time-dependent surface profiles, the dispersion relation of the transverse membrane waves can be obtained and its linear behavior confirms the membrane model. Comparing the dispersion relation to an analytical model, the static stress of the membranes was determined and found to be caused by the fabrication process.


title: Can we use Google Scholar to identify highly-cited documents?

abstract: The main objective of this paper is to empirically test whether the identification of highly-cited documents through Google Scholar is feasible and reliable. To this end, we carried out a longitudinal analysis (1950 to 2013), running a generic query (filtered only by year of publication) to minimise the effects of academic search engine optimisation. This gave us a final sample of 64,000 documents (1,000 per year). The strong correlation between a document's citations and its position in the search results (r= -0.67) led us to conclude that Google Scholar is able to identify highly-cited papers effectively. This, combined with Google Scholar's unique coverage (no restrictions on document type and source), makes the academic search engine an invaluable tool for bibliometric research relating to the identification of the most influential scientific documents. We find evidence, however, that Google Scholar ranks those documents whose language (or geographical web domain) matches with the user's interface language higher than could be expected based on citations. Nonetheless, this language effect and other factors related to the Google Scholar's operation, i.e. the proper identification of versions and the date of publication, only have an incidental impact. They do not compromise the ability of Google Scholar to identify the highly-cited papers.


title: Quotients of the mapping class group by power subgroups

abstract: We study the quotient of the mapping class group $\operatorname{Mod}_g^n$ of a surface of genus $g$ with $n$ punctures, by the subgroup $\operatorname{Mod}_g^n[p]$ generated by the $p$-th powers of Dehn twists. Our first main result is that $\operatorname{Mod}_g^1 /\operatorname{Mod}_g^1[p]$ contains an infinite normal subgroup of infinite index, and in particular is not commensurable to a higher-rank lattice, for all but finitely many explicit values of $p$. Next, we prove that $\operatorname{Mod}_g^0/ \operatorname{Mod}_g^0[p]$ contains a K\"ahler subgroup of finite index, for every $p\ge 2$ coprime with six. Finally, we observe that the existence of finite-index subgroups of $\operatorname{Mod}_g^0$ with infinite abelianization is equivalent to the analogous problem for $\operatorname{Mod}_g^0/ \operatorname{Mod}_g^0[p]$.


title: Inhomogeneities in the light curves of gamma-ray bursts afterglow

abstract: We discuss the inhomogeneous behavior of gamma-ray burst afterglow light curves in optic. We use well-sampled light curves based on mostly our own observations to find and identify deviations (inhomogeneities) from broken power law. By the inhomogeneous behavior we mean flashes, bumps,slow deviations from power law (wiggles) in a light curve. In particular we report parameters of broken power law, describe phenomenology, compare optical light curves with X-ray ones and classify the inhomogeneities. We show that the duration of the inhomogeneities correlates with their peak time relative to gamma-ray burst (GRB) trigger and the correlation is the same for all types of inhomogeneities.


title: Ideal wet two-dimensional foams and emulsions with finite contact angle

abstract: We present simulations that show that an ideal two-dimensional foam with a finite contact angle develops an inhomogeneity for high liquid fraction $\phi$. In liquid-liquid emulsions this inhomogeneity is known as flocculation. In the case of an ordered foam this requires a perturbation, but in a disordered foam inhomogeneity grows steadily and spontaneously with $\phi$, as demonstrated in our simulations performed with the Surface Evolver.


title: Frequency shifting for solitons based on transformations on the Fourier domain and applications

abstract: We develop the theoretical procedures for shifting the frequency of a single soliton and of a sequence of solitons of the nonlinear Schr\"odinger equation. The procedures are based on simple transformations of the soliton pattern in the Fourier domain and on the shape-preserving property of solitons. These theoretical frequency shifting procedures are verified by numerical simulations with the nonlinear Schr\"odinger equation using the split-step Fourier method. In order to demonstrate the use of the frequency shifting procedures, two important applications are presented: (1) stabilization of the propagation of solitons in waveguides with frequency dependent linear gain-loss; (2) induction of repeated soliton collisions in waveguides with weak cubic loss. The results of numerical simulations with the nonlinear Schr\"odinger model are in very good agreement with the theoretical predictions.


title: Structures symplectiques et de Poisson sur les champs en cat\'egories

abstract: The purpose of this short note is to present two existence results concerning symplectic and lagrangian structures in the derived setting, in situations where the constructions of [Ca] and [PTVV] do not apply. For this we show that symplectic structures can be constructed out of Calabi-Yau structures on sheaves of dg-categories, or out of \emph{orientations} on sheaves of rigid dg-categories. These results follow from two main theorems: the HKR theorem and the cyclotomic aspect of traces in rigid infty-categories.


title: Adaptive Transmission in Cellular Networks: Fixed-Rate Codes with Power Control vs Physical Layer Rateless Codes

abstract: Adaptive transmission schemes are a crucial aspect of the radio design for future wireless networks. The paper studies the performance of two classes of adaptive transmission schemes in a cellular downlink. One class is based on physical layer rateless codes with constant transmit power and the other uses fixed-rate codes in conjunction with power adaptation. Using a simple stochastic geometry model for the cellular downlink, the focus is to compare the adaptivity of fixed-rate codes with power adaptation to that of physical layer rateless codes only. The performance of both rateless and fixed-rate coded adaptive transmission schemes are compared by evaluating the typical user success probability and rate achievable with the two schemes. Based on both the theoretical analysis and simulation results, it is clearly shown that fixed-rate codes require power control to maintain good performance whereas physical layer rateless codes with constant power can still provide robust performance.


title: On the thermodynamic phase structure of conformal gravity

abstract: The solutions of the Einstein equation are a subset of the solutions of conformal (Weyl) gravity, but the difference from the action means that the black hole thermodynamics of the two gravity theories would be different. In this paper we explore the thermodynamic phase structure for the conformal gravity in the four-dimensional AdS space-time. Special emphasis is put on the dependence on the parameter $c_1$ in the linear-$r$ term in the metric. The thermodynamic phase structure of the conformal gravity is very rich, including two branches of equations of states, negative thermodynamic volume, zeroth-order phase transition, and Hawking-Page like phase transition.


title: Generalized Logical Operations among Conditional Events

abstract: We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of $n$ conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan's Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in particular we examine the Fr\'echet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction $\mathcal{C}_{n+1}$ of $n+1$ conditional events to the family $\{\mathcal{C}_{n},E_{n+1}|H_{n+1}\}$. We consider the relation with the notion of quasi-conjunction and we examine in detail the coherence of the prevision assessments related with the conjunction of three conditional events. Based on conjunction, we also give a characterization of p-consistency and of p-entailment, with applications to several inference rules in probabilistic nonmonotonic reasoning. Finally, we examine some non p-valid inference rules; then, we illustrate by an example two methods which allow to suitably modify non p-valid inference rules in order to get inferences which are p-valid.


title: Bound and Conquer: Improving Triangulation by Enforcing Consistency

abstract: We study the accuracy of triangulation in multi-camera systems with respect to the number of cameras. We show that, under certain conditions, the optimal achievable reconstruction error decays quadratically as more cameras are added to the system. Furthermore, we analyse the error decay-rate of major state-of-the-art algorithms with respect to the number of cameras. To this end, we introduce the notion of consistency for triangulation, and show that consistent reconstruction algorithms achieve the optimal quadratic decay, which is asymptotically faster than some other methods. Finally, we present simulations results supporting our findings. Our simulations have been implemented in MATLAB and the resulting code is available in the supplementary material.


title: When is an origami set a ring?

abstract: Starting with a flat sheet of paper, points can be constructed as the intersection of two folds. The set of constructible points clearly depends on which folds are admissible. In this paper, we study the situation where a fold is admissible if its slope is admissible and it contains an already constructed or a generator point. We give an explicit characterization of the set of constructible points. We also state several criteria for this set to be a ring. This answers questions originally raised by Erik Demaine and discussed by Butler et al. and Buhler et al.


title: Generalized Feller processes and Markovian lifts of stochastic Volterra processes: the affine case

abstract: We consider stochastic (partial) differential equations appearing as Markovian lifts of affine Volterra processes with jumps from the point of view of the generalized Feller property which was introduced in e.g.~\cite{doetei:10}. In particular we provide new existence, uniqueness and approximation results for Markovian lifts of affine rough volatility models of general jump diffusion type. We demonstrate that in this Markovian light the theory of stochastic Volterra processes becomes almost classical.


title: On the definition of mass in general relativity: Noether charges and conserved quantities in diffeomorphism invariant theories

abstract: Geometrically the phase space of a mechanical system involves the co-tangent bundle of the configuration space. The phase space of a relativistic field theory is infinite dimensional and can be endowed with a symplectic structure defined in a perfectly co-variant manner that is very useful for discussing symmetries and conserved quantities of the system. In general relativity the symplectic structure takes Darboux form and it is shown in this work that the presence of a cosmological constant does not change this conclusion. For space-times that admit time-like Killing vectors the formalism can be used to define mass in general relativity and it is known that, for asymptotically flat black holes, this mass is identical the the usual Arnowitt-Desner-Misner mass while for asymptotically anti-de Sitter Kerr metrics it is the same as the Henneaux-Teitelboim mass. We show that the same formalism can also be used to derive the Brown-York mass and the Bondi mass for stationary space times, in particular the Brown-York mass has a natural interpretation in terms of differential forms on the space of solutions of the theory.


title: A Finitely Supported Frame for the Turing Schmerl Calculus

abstract: In arXiv:1604.08705 we introduced the propositional modal logic $\textbf{TSC}$ (which stands for Turing Schmerl Calculus) which adequately describes the provable interrelations between different kinds of Turing progressions. In arXiv:1709.04715 we defined a model $\mathcal{J}$ which is proven to be a universal model for $\textbf{TSC}$ based on the intensively studied Ignatiev's universal model for the closed fragment of $\textbf{GLP}$ (G\"odel L\"ob's polymodal provability logic). In the current paper we present a new universal frame $\mathcal{H}$, which is a slight modification of $\mathcal{J}$, and whose domain allows for a modal definability of each of its worlds.


title: Effective results for linear Equations in Members of two Recurrence Sequences

abstract: Let $(U_n)_{n=0}^\infty$ and $(V_m)_{m=0}^\infty$ be two linear recurrence sequences. For fixed positive integers $k$ and $\ell$, fixed $k$-tuple $(a_1,\dots,a_k)\in \mathbb{Z}^k$ and fixed $\ell$-tuple $(b_1,\dots,b_\ell)\in \mathbb{Z}^\ell$ we consider the linear equation $$a_1U_{n_1}+\cdots +a_k U_{n_k}=b_1V_{m_1}+\cdots + b_\ell V_{m_\ell}$$ in the unknown non-negative integers $n_1,\dots,n_k$ and $m_1,\dots,m_\ell$. Under the assumption that the linear recurrences $(U_n)_{n=0}^\infty$ and $(V_m)_{m=0}^\infty$ have dominant roots and under the assumption of further mild restrictions we show that this equation has only finitely many solutions which can be found effectively.


title: Mining within-trial oscillatory brain dynamics to address the variability of optimized spatial filters

abstract: Data-driven spatial filtering algorithms optimize scores such as the contrast between two conditions to extract oscillatory brain signal components. Most machine learning approaches for filter estimation, however, disregard within-trial temporal dynamics and are extremely sensitive to changes in training data and involved hyperparameters. This leads to highly variable solutions and impedes the selection of a suitable candidate for, e.g.,~neurotechnological applications. Fostering component introspection, we propose to embrace this variability by condensing the functional signatures of a large set of oscillatory components into homogeneous clusters, each representing specific within-trial envelope dynamics. The proposed method is exemplified by and evaluated on a complex hand force task with a rich within-trial structure. Based on electroencephalography data of 18 healthy subjects, we found that the components' distinct temporal envelope dynamics are highly subject-specific. On average, we obtained seven clusters per subject, which were strictly confined regarding their underlying frequency bands. As the analysis method is not limited to a specific spatial filtering algorithm, it could be utilized for a wide range of neurotechnological applications, e.g., to select and monitor functionally relevant features for brain-computer interface protocols in stroke rehabilitation.


title: Nonlinear Zeeman Effects in the Cavity-Enhanced Emission of Polarised Photons

abstract: We theoretically and experimentally investigate nonlinear Zeeman effects within a polarised single-photon source that uses a single 87Rb atom strongly coupled to a high finesse optical cavity. The breakdown of the atomic hyperfine structure in the D2 transition manifold for intermediate strength magnetic fields is shown to result in asymmetric and, ultimately, inhibited operation of the polarised atom-photon interface. The coherence of the system is considered using Hong-Ou-Mandel interference of the emitted photons. This informs the next steps to be taken and the modelling of future implementations, based on feasible cavity designs operated in regimes minimising nonlinear Zeeman effects, is presented and shown to provide improved performance.


title: A Reputation Scheme to Discourage Selfish QoS Manipulation in Two-Hop Wireless Relay Networks

abstract: In wireless networks, stations can improve their received quality of service (QoS) by handling packets of source flows with higher priority. Additionally, in cooperative relay networks, the relays can handle transit flows with lower priority. We use game theory to model a two-hop relay network where each of the two involved stations can commit such selfish QoS manipulation. We design and evaluate a reputation-based incentive scheme called RISC2WIN, whereby a trusted third party (e.g., an access point) can limit selfish behavior and preserve appropriate QoS for both stations.


title: Antidistinguishability of Pure Quantum States

abstract: The Pusey-Barrett-Rudolph theorem has recently provoked a lot of discussion regarding the reality of the quantum state. In this article we focus on a property called antidistinguishability, which is a main component in constructing the proof for the PBR theorem. In particular we study algebraic conditions for a set of pure quantum states to be antidistinguishable, and a novel sufficient condition is presented. We also discuss a more general criterion which can be used to show that the sufficient condition is not necessary. Lastly, we consider how many quantum states needs to be added into a set of pure quantum states in order to make the set antidistinguishable. It is shown that in the case of qubit states the answer is one, while in the general but finite dimensional case the answer is at most $n$, where $n$ is the size of the original set.


title: Sufficient connectivity conditions for rigidity of symmetric frameworks

abstract: It is a famous result of Lovasz and Yemini (1982) that 6-connected graphs are rigid in the plane. This was recently improved by Jackson and Jordan (2009) who showed that 6-mixed connectivity is also sufficient for rigidity. Here we give sufficient graph connectivity conditions for both `forced symmetric' and `incidentally symmetric' infinitesimal rigidity in the plane.


title: Testing Simon's congruence

abstract: Piecewise testable languages are a subclass of the regular languages. There are many equivalent ways of defining them; Simon's congruence $\sim_k$ is one of the most classical approaches. Two words are $\sim_k$-equivalent if they have the same set of (scattered) subwords of length at most k. A language L is piecewise testable if there exists some k such that L is a union of $\sim_k$-classes. For each equivalence class of $\sim_k$, one can define a canonical representative in shortlex normal form, that is, the minimal word with respect to the lexicographic order among the shortest words in $\sim_k$. We present an algorithm for computing the canonical representative of the $\sim_k$-class of a given word $w \in A^*$ of length n. The running time of our algorithm is in O(|A|n) even if $k \le n$ is part of the input. This is surprising since the number of possible subwords grows exponentially in k. The case $k > n$ is not interesting since then, the equivalence class of w is a singleton. If the alphabet is fixed, the running time of our algorithm is linear in the size of the input word. Moreover, for fixed alphabet, we show that the computation of shortlex normal forms for $\sim_k$ is possible in deterministic logarithmic space. One of the consequences of our algorithm is that one can check with the same complexity whether two words are $\sim_k$-equivalent (with k being part of the input).


title: Stability of Half-Quantum Vortices in Equal-Spin Pairing States of $^3$He

abstract: Recent experiments on superfluid $^3$He in globally anisotropic aerogels have shown realization of the polar superfluid phase and of the half-quantum vortices (HQVs) in this phase upon rotation. To clarify why the HQVs, which had not been detected clearly in the A phase of the bulk liquid, have been realized in the polar phase, we theoretically examine the relative stability of a HQV-pair against a single phase vortex in both the bulk A-phase and the polar phase in an aerogel. By taking care of important roles of a higher order gradient term, which assists the stability of HQVs but has never been incorporated so far in the Ginzburg-Landau (GL) approach, we find that several consequences, including the extension of the polar phase at lower pressures in the phase diagram, facilitate realization of the HQVs there in contrast to the case of the A phase in a slab geometry.


title: The overlap gap between left-infinite and right-infinite words

abstract: Given two finite words $u$ and $v$ of equal length, define the \emph{overlap gap between $u$ and $v$}, denoted $og(u,v)$, as the least integer $m$ for which there exist words $x$ and $x'$ of length $m$ such that $xu=vx'$ or $ux=x'v$. Informally, the overlap gap measures the outside parts of the greatest overlap of the given words. For a left-infinite word $\lambda$ and a right-infinite word $\rho$, let $og_{\lambda,\rho}$ be the function defined, for each non-negative integer $n$, by $og_{\lambda,\rho}(n)=og(\lambda_n,\rho_n)$, where $\lambda_n$ and $\rho_n$ are, respectively, the suffix of $\lambda$ and the prefix of $\rho$ of length $n$. Also, denote by $OG_{\lambda,\rho}$ the image of the function $og_{\lambda,\rho}$. In this paper, we show that $OG_{\lambda,\rho}$ is a finite set if and only if $\lambda$ and $\rho$ are ultimately periodic infinite words of the form $\lambda=u^{-\infty}w_1=\cdots uuuw_1$ and $\rho=w_2u^\infty=w_2uuu\cdots$ for some finite words $u$, $w_1$ and $w_2$.


title: A generalizable approach for multi-view 3D human pose regression

abstract: Despite the significant improvement in the performance of monocular pose estimation approaches and their ability to generalize to unseen environments, multi-view (MV) approaches are often lagging behind in terms of accuracy and are specific to certain datasets. This is mainly due to the fact that (1) contrary to real world single-view (SV) datasets, MV datasets are often captured in controlled environments to collect precise 3D annotations, which do not cover all real world challenges, and (2) the model parameters are learned for specific camera setups. To alleviate these problems, we propose a two-stage approach to detect and estimate 3D human poses, which separates SV pose detection from MV 3D pose estimation. This separation enables us to utilize each dataset for the right task, i.e. SV datasets for constructing robust pose detection models and MV datasets for constructing precise MV 3D regression models. In addition, our 3D regression approach only requires 3D pose data and its projections to the views for building the model, hence removing the need for collecting annotated data from the test setup. Our approach can therefore be easily generalized to a new environment by simply projecting 3D poses into 2D during training according to the camera setup used at test time. As 2D poses are collected at test time using a SV pose detector, which might generate inaccurate detections, we model its characteristics and incorporate this information during training. We demonstrate that incorporating the detector's characteristics is important to build a robust 3D regression model and that the resulting regression model generalizes well to new MV environments. Our evaluation results show that our approach achieves competitive results on the Human3.6M dataset and significantly improves results on a MV clinical dataset that is the first MV dataset generated from live surgery recordings.


title: A comparison principle for convolution measures with applications

abstract: We establish the general form of a geometric comparison principle for $n$-fold convolutions of certain singular measures in $\mathbb{R}^d$ which holds for arbitrary $n$ and $d$. This translates into a pointwise inequality between the convolutions of projection measure on the paraboloid and a perturbation thereof, and we use it to establish a new sharp Fourier extension inequality on a general convex perturbation of a parabola. Further applications of the comparison principle to sharp Fourier restriction theory are discussed in a companion paper.


title: VLBA+GBT observations of the COSMOS field and radio source counts at 1.4 GHz

abstract: We present very long baseline interferometry (VLBI) observations of 179 radio sources in the COSMOS field with extremely high sensitivity using the Green Bank Telescope (GBT) together with the Very Long Baseline Array (VLBA) (VLBA+GBT) at 1.4 GHz, to explore the faint radio population in the flux density regime of tens of $\mu$Jy. Here, the identification of active galactic nuclei (AGN) is based on the VLBI detection of the source, i.e., it is independent of X-ray or infrared properties. The milli-arcsecond resolution provided by the VLBI technique implies that the detected sources must be compact and have large brightness temperatures, and therefore they are most likely AGN (when the host galaxy is located at z$\geq$0.1). On the other hand, this technique allows us to only positively identify when a radio-active AGN is present, i.e., we cannot affirm that there is no AGN when the source is not detected. For this reason, the number of identified AGN using VLBI should be always treated as a lower limit. We present a catalogue containing the 35 radio sources detected with the VLBA+GBT, 10 of which were not previously detected using only the VLBA. We have constructed the radio source counts at 1.4 GHz using the samples of the VLBA and VLBA+GBT detected sources of the COSMOS field to determine a lower limit for the AGN contribution to the faint radio source population. We found an AGN contribution of >40-75% at flux density levels between 150 $\mu$Jy and 1 mJy. This flux density range is characterised by the upturn of the Euclidean-normalised radio source counts, which implies a contribution of a new population. This result supports the idea that the sub-mJy radio population is composed of a significant fraction of radio-emitting AGN, rather than solely by star-forming galaxies, in agreement with previous studies.


title: On the K\"onigs function of semigroups of holomorphic self-maps of the unit disc

abstract: Let $(\phi_t)$ be a semigroup of holomorphic self-maps of~$\mathbb D$. In this note, we use an abstract approach to define the K\"onigs function of $(\phi_t)$ and "holomorphic models" and show how to deduce the existence and properties of the infinitesimal generator of $(\phi_t)$ from this construction.


title: Bernstein-Bezier Bases for Tetrahedral Finite Elements

abstract: We present a new set of basis functions for H(curl)-conforming, H(div)-conforming, and L2 -conforming finite elements of arbitrary order on a tetrahedron. The basis functions are expressed in terms of Bernstein polynomials and augment the natural H1 -conforming Bernstein basis. The basis functions respect the differential operators, namely, the gradients of the high-order H1 -conforming Bernstein-Bezier basis functions form part of the H(curl)-conforming basis, and the curl of the high-order, non-gradients H(curl)-conforming basis functions form part of the H(div)-conforming basis, and the divergence of the high-order, non-curl H(div)-conforming basis functions form part of the L2-conforming basis. Procedures are given for the efficient computation of the mass and stiffness matrices with these basis functions without using quadrature rules for (piece-wise) constant coefficients on affine tetrahedra. Numerical results are presented to illustrate the use of the basis to approximate representative problems.


title: Interaction-Aware Probabilistic Behavior Prediction in Urban Environments

abstract: Planning for autonomous driving in complex, urban scenarios requires accurate prediction of the trajectories of surrounding traffic participants. Their future behavior depends on their route intentions, the road-geometry, traffic rules and mutual interaction, resulting in interdependencies between their trajectories. We present a probabilistic prediction framework based on a dynamic Bayesian network, which represents the state of the complete scene including all agents and respects the aforementioned dependencies. We propose Markovian, context-dependent motion models to define the interaction-aware behavior of drivers. At first, the state of the dynamic Bayesian network is estimated over time by tracking the single agents via sequential Monte Carlo inference. Secondly, we perform a probabilistic forward simulation of the network's estimated belief state to generate the different combinatorial scene developments. This provides the corresponding trajectories for the set of possible, future scenes. Our framework can handle various road layouts and number of traffic participants. We evaluate the approach in online simulations and real-world scenarios. It is shown that our interaction-aware prediction outperforms interaction-unaware physics- and map-based approaches.


title: Revisiting $A_4$ model for leptons in light of NuFIT 3.2

abstract: We revisit the $A_4$ model for leptons in light of new result of NuFIT 3.2. We introduce a new flavon $\eta$ transforming as $A_4$ singlet $1'$ or $1"$ which couples to both charged leptons and neutrinos in next-leading order operators. The model consists of the five parameters: the lightest neutrino mass $m_1$, the vacuum expectation value of $\eta$ and three CP violating phases after inputting the experimental values of $\Delta m_{\rm atm}^2$ and $\Delta m_{\rm sol}^2$. The model with the $1"$ singlet flavon gives the prediction of $\sin^2 \theta_{12}$ around the best fit of NuFIT 3.2 while keeping near the maximal mixing of $\theta_{23}$. Inputting the experimental mixing angles with the $1\,\sigma$ error-bar, the Dirac CP violating phase is clearly predicted to be $|\delta_\text{CP}|=50^\circ- 120^\circ$, which will be tested by the precise observed value in the future. In order to get the best fit value $\sin^2\theta_{23}=0.538$, the sum of three neutrino masses is predicted to be larger than $90\,$meV. The cosmological observation for the sum of neutrino masses will also provide a crucial test of our predictions. It is remarked that the model is consistent with the experimental data only for the normal hierarchy of neutrino masses.


title: Disentangling Factors of Variation with Cycle-Consistent Variational Auto-Encoders

abstract: Generative models that learn disentangled representations for different factors of variation in an image can be very useful for targeted data augmentation. By sampling from the disentangled latent subspace of interest, we can efficiently generate new data necessary for a particular task. Learning disentangled representations is a challenging problem, especially when certain factors of variation are difficult to label. In this paper, we introduce a novel architecture that disentangles the latent space into two complementary subspaces by using only weak supervision in form of pairwise similarity labels. Inspired by the recent success of cycle-consistent adversarial architectures, we use cycle-consistency in a variational auto-encoder framework. Our non-adversarial approach is in contrast with the recent works that combine adversarial training with auto-encoders to disentangle representations. We show compelling results of disentangled latent subspaces on three datasets and compare with recent works that leverage adversarial training.


title: Intersecting edge distinguishing colorings of hypergraphs

abstract: An edge labeling of a graph distinguishes neighbors by sets (multisets, resp.), if for any two adjacent vertices $u$ and $v$ the sets (multisets, resp.) of labels appearing on edges incident to $u$ and $v$ are different. In an analogous way we define total labelings distinguishing neighbors by sets or multisets: for each vertex, we consider labels on incident edges and the label of the vertex itself. In this paper we show that these problems, and also other problems of similar flavor, admit an elegant and natural generalization as a hypergraph coloring problem. An ieds-coloring (iedm-coloring, resp.) of a hypergraph is a vertex coloring, in which the sets (multisets, resp.) of colors, that appear on every pair of intersecting edges are different. We show upper bounds on the size of lists, which guarantee the existence of an ieds- or iedm-coloring, respecting these lists. The proof is essentially a randomized algorithm, whose expected time complexity is polynomial. As corollaries, we derive new results concerning the list variants of graph labeling problems, distinguishing neighbors by sets or multisets. We also show that our method is robust and can be easily extended for different, related problems. We also investigate a close connection between edge labelings of bipartite graphs, distinguishing neighbors by sets, and the so-called property \textbf{B} of hypergraphs. We discuss computational aspects of the problem and present some classes of bipartite graphs, which admit such a labeling using two labels.


title: On invariant random positive definite functions

abstract: We give the definition of an invariant random positive definite function on a discrete group, generalizing both the notion of an invariant random subgroup and a character. We use von Neumann algebras to show that all invariant random positive definite functions on groups with infinite conjugacy classes which integrate to the regular character are constant.


title: Semiconductor quantum dots as an ideal source of polarization entangled photon pairs on-demand: a review

abstract: More than 80 years passed since the first publication on entangled quantum states. In this period of time the concept of spookily interacting quantum states became an emerging field of science. After various experiments proving the existence of such non-classical states, visionary ideas were put forward to exploit entanglement in quantum information science and technology. These novel concepts have not yet come out of the experimental stage, mostly because of the lack of suitable, deterministic sources of entangled quantum states. Among many systems under investigation, semiconductor quantum dots are particularly appealing emitters of on-demand, single polarization-entangled photon-pairs. Although, it was originally believed that quantum dots must exhibit a limited degree of entanglement related to numerous decoherence effects present in the solid-state. Recent studies invalidated the premise of unavoidable entanglement degrading effects. We review the relevant experiments which have led to these important discoveries and discuss the remaining challenges for the anticipated quantum technologies.


title: Simulation model for the propagation of second mode streamers in dielectric liquids using the Townsend--Meek criterion

abstract: A simulation model for second mode positive streamers in dielectric liquids is presented. Initiation and propagation is modeled by an electron-avalanche mechanism and the Townsend--Meek criterion. The electric breakdown is simulated in a point-plane gap, using cyclohexane as a model liquid. Electrons move in a Laplacian electric field arising from the electrodes and streamer structure, and turn into electron avalanches in high-field regions. The Townsend--Meek criterion determines when an avalanche is regarded as a part of the streamer structure. The results show that an avalanche-driven breakdown is possible, however, the inception voltage is relatively high. Parameter variations are included to investigate how the parameter values affect the model.


title: Generating Weyl semimetals from alkali metals

abstract: We report the discovery of a time-reversal symmetric Weyl semimetal obtained by modifying a model Hamiltonian describing the electronic properties of conventional alkali metals. The artificially generated Weyl semimetal features four isolated Weyl nodes in its bulk band structure and displays characteristic surface Fermi arcs arising from topologically protected surface states. The Weyl semimetal occurs as an intermediate state between a conventional band insulator and a three-dimensional topological insulator. The generation of topological Weyl semimetals from conventional metals opens a new route towards the deterministic design of simple materials hosting Weyl fermions.


title: Theory of momentum-resolved phonon spectroscopy in the electron microscope

abstract: We provide a theoretical framework for the prediction and interpretation of momentum dependent phonon spectra due to coherent inelastic scattering of electrons. We complete the approach with first principles lattice dynamics using periodic density functional theory and compare to recent electron energy loss measurements on cubic and hexagonal boron nitride performed within a scanning transmission electron microscope (STEM). The combination of theory and experiment provides the ability to interpret momentum dependent phonon spectra obtained at nanometer spatial resolution in the electron microscope.


title: On the maximum number of minimum total dominating sets in forests

abstract: We propose the conjecture that every tree with order $n$ at least $2$ and total domination number $\gamma_t$ has at most $\left(\frac{n-\frac{\gamma_t}{2}}{\frac{\gamma_t}{2}}\right)^{\frac{\gamma_t}{2}}$ minimum total dominating sets. As a relaxation of this conjecture, we show that every forest $F$ with order $n$, no isolated vertex, and total domination number $\gamma_t$ has at most $\min\left\{\left(8\sqrt{e}\, \right)^{\gamma_t}\left(\frac{n-\frac{\gamma_t}{2}}{\frac{\gamma_t}{2}}\right)^{\frac{\gamma_t}{2}}, (1+\sqrt{2})^{n-\gamma_t},1.4865^n\right\}$ minimum total dominating sets.


title: One-loop quantization of rigid spinning strings in $AdS_3 \times S^3 \times T^4$ with mixed flux

abstract: We compute the one-loop correction to the classical dispersion relation of rigid closed spinning strings with two equal angular momenta in the $AdS_3 \times S^3 \times T^4$ background supported with a mixture of R-R and NS-NS three-form fluxes. This analysis is extended to the case of two arbitrary angular momenta in the pure NS-NS limit. We perform this computation by means of two different methods. The first method relies on the Euler-Lagrange equations for the quadratic fluctuations around the classical solution, while the second one exploits the underlying integrability of the problem through the finite-gap equations. We find that the one-loop correction vanishes in the pure NS-NS limit.


title: Polarization of MeV gamma-rays and 511 keV line shape as probes of SNIa asymmetry and magnetic field

abstract: We discuss gamma-ray signatures associated with an asymmetric explosion and transport of positrons in SN Ia ejecta. In particular, Compton scattering of gamma-ray line photons can induce polarization in the continuum, which would be a direct probe of the asymmetries in the distribution of radioactive isotopes and/or of the scattering medium. Even more interesting would be a comparison of the shapes of $\gamma$-ray lines and that of the electron-positron annihilation line at 511 keV. The shapes of $\gamma$-ray lines associated with the decay of Co56 (e.g., lines at 847 and 1238 keV) directly reflect the velocity distribution of Co56. On the other hand, the 511 keV line arises from the annihilation of positions, which are also produced by the Co56 decay but can propagate through the ejecta before they slow down and annihilate. Therefore, the shape of the annihilation line might differ from other gamma-ray lines, providing constraints on the efficiency of positrons propagation through the ejecta and, as consequence, on the topology of magnetic fields in the ejecta and on the fraction of positrons that escape to the interstellar medium. We illustrate the above effects with two models aimed at capturing the main predicted signatures.


title: Sunspot group tilt angles from drawings for cycles 19-24

abstract: The tilt angle of a sunspot group is a critical quantity in the surface transport of magnetic flux and the solar dynamo. To contribute long-term databases of the tilt angle, we developed an IDL routine, which allows the user to interactively select and measure sunspot positions and areas on the solar disc. We measured the tilt angles of sunspot groups for solar cycles 19-24 (1954.6-2017.8), using the sunspot drawing database of Kandilli Observatory. The method is similar to that used in the discontinued Mt. Wilson and Kodaikanal databases, with the exception that sunspot groups were identified manually, which has improved the accuracy of the resulting tilt angles. We obtained cycle averages of the tilt angle and compared them with the values from other datasets, keeping the same group selection criteria. We conclude that the previously reported anti-correlation with the cycle strength needs further investigation.


title: Space-filling curves of self-similar sets (III): Skeletons

abstract: Skeleton is a new notion designed for constructing space-filling curves of self-similar sets. It is shown in [Dai, Rao and Zhang, Space-filling curves of self-similar sets (II): Edge-to-trail substitution rule,https://doi.org/10.1088/1361-6544/ab1275] that for a connected self-similar set, space-filling curves can be constructed provided that it possesses a skeleton. In this paper, we give a criterion of existence of skeletons by using the so-called neighbor graph of a self-similar set. In particular, we show that a connected self-similar set satisfying the finite type condition always possesses skeletons: an algorithm is obtained here.


title: Interactive Medical Image Segmentation via Point-Based Interaction and Sequential Patch Learning

abstract: Due to low tissue contrast, irregular object appearance, and unpredictable location variation, segmenting the objects from different medical imaging modalities (e.g., CT, MR) is considered as an important yet challenging task. In this paper, we present a novel method for interactive medical image segmentation with the following merits. (1) Our design is fundamentally different from previous pure patch-based and image-based segmentation methods. We observe that during delineation, the physician repeatedly check the inside-outside intensity changing to determine the boundary, which indicates that comparison in an inside-outside manner is extremely important. Thus, we innovatively model our segmentation task as learning the representation of the bi-directional sequential patches, starting from (or ending in) the given central point of the object. This can be realized by our proposed ConvRNN network embedded with a gated memory propagation unit. (2) Unlike previous interactive methods (requiring bounding box or seed points), we only ask the physician to merely click on the rough central point of the object before segmentation, which could simultaneously enhance the performance and reduce the segmentation time. (3) We utilize our method in a multi-level framework for better performance. We systematically evaluate our method in three different segmentation tasks including CT kidney tumor, MR prostate, and PROMISE12 challenge, showing promising results compared with state-of-the-art methods. The code is available here: \href{https://github.com/sunalbert/Sequential-patch-based-segmentation}{Sequential-patch-based-segmentation}.


title: Mean-field anticipated BSDEs driven by fractional Brownian motion and related stochastic control problem

abstract: In this paper, we focus on mean-field anticipated backward stochastic differential equations (MF-BSDEs, for short) driven by fractional Brownian motion with Hurst parameter H>1/2. First, the existence and uniqueness of this new type of BSDEs are established using two different approaches. Then, a comparison theorem for such BSDEs is obtained. Finally, as an application of this type of equations, a related stochastic optimal control problem is studied and the related sufficient maximum principle is obtained.


title: A Graph-Theoretic Approach to the $\mathcal{H}_{\infty}$ Performance of Dynamical Systems on Directed and Undirected Networks

abstract: We study a graph-theoretic approach to the $\mathcal{H}_{\infty}$ performance of leader following consensus dynamics on directed and undirected graphs. We first provide graph-theoretic bounds on the system $\mathcal{H}_{\infty}$ norm of the leader following dynamics and show the tightness of the proposed bounds. Then, we discuss the relation between the system $\mathcal{H}_{\infty}$ norm for directed and undirected networks for specific classes of graphs, i.e., balanced digraphs and directed trees. Moreover, we investigate the effects of adding directed edges to a directed tree on the resulting system $\mathcal{H}_{\infty}$ norm. In the end, we apply these theoretical results to a reference velocity tracking problem in a platoon of connected vehicles and discuss the effect of the location of the leading vehicle on the overall $\mathcal{H}_{\infty}$ performance of the system.


title: Crossbar-Net: A Novel Convolutional Network for Kidney Tumor Segmentation in CT Images

abstract: Due to the irregular motion, similar appearance and diverse shape, accurate segmentation of kidney tumor in CT images is a difficult and challenging task. To this end, we present a novel automatic segmentation method, termed as Crossbar-Net, with the goal of accurate segmenting the kidney tumors. Firstly, considering that the traditional learning-based segmentation methods normally employ either whole images or squared patches as the training samples, we innovatively sample the orthogonal non-squared patches (namely crossbar patches), to fully cover the whole kidney tumors in either horizontal or vertical directions. These sampled crossbar patches could not only represent the detailed local information of kidney tumor as the traditional patches, but also describe the global appearance from either horizontal or vertical direction using contextual information. Secondly, with the obtained crossbar patches, we trained a convolutional neural network with two sub-models (i.e., horizontal sub-model and vertical sub-model) in a cascaded manner, to integrate the segmentation results from two directions (i.e., horizontal and vertical). This cascaded training strategy could effectively guarantee the consistency between sub-models, by feeding each other with the most difficult samples, for a better segmentation. In the experiment, we evaluate our method on a real CT kidney tumor dataset, collected from 94 different patients including 3,500 images. Compared with the state-of-the-art segmentation methods, the results demonstrate the superior results of our method on dice ratio score, true positive fraction, centroid distance and Hausdorff distance. Moreover, we have extended our crossbar-net to a different task: cardiac segmentation, showing the promising results for the better generalization.


title: Mapping the Milky Way with LAMOST III: Complicated spatial structure in the outer disc

abstract: We present {complexity} of the Galactic outer disc {by fitting the stellar volume densities of the red giant branch stars with a two-disc component model}. {The discs are confirmed to} extend to $R\sim19$\,kpc. The radial density profile of the discs shows {two breaks at $R\sim11$ and $\sim14$\,kpc, respectively, which} separate the radial profile into three segments with different scale lengths of $2.12\pm0.26$, $1.18\pm0.08$, and $2.72$\,kpc at $R<11$, $11\leq R\leq14$, and $R>14$\,kpc, respectively. The first {break} is likely due to the sudden drop in the radial profile of the thin disc, which may be an evidence of the radial migration. {Beyond $14$\,kpc, the thick disc becomes prominent and the transition from thin to thick disc leads to the second break.} This implies that the geometrically defined thick disc is more {radially} extended than the thin disc. This is also supported by the larger scale length of the thick disc than that of the thin disc. Meanwhile, {the scale height of the thicker component increases from $0.637_{-0.036}^{+0.056}$ at $R=8$ to $1.284_{-0.079}^{+0.086}$\,kpc at $R=19$\,kpc, showing an intensive flared disc}. Moreover, rich substructures are displayed in the residuals of the stellar density. Among them, the substructures $D14+2.0$ and $O14-1.5$ show a north-south asymmetry, which can be essentially explained by southward shifting of the thick disc. However, no significant overdensity is found for the Monoceros ring. Finally, the thick disc shows a ripple-like feature with unclear origin at $9<R<10.5$\,kpc.


title: Consistency Checking of Functional Requirements

abstract: Requirements are informal and semi-formal descriptions of the expected behavior of a system. They are usually expressed in the form of natural language sentences and checked for errors manually, e.g., by peer reviews. Manual checks are error-prone, time-consuming and not scalable. With the increasing complexity of cyber-physical systems and the need of operating in safety- and security-critical environments, it became essential to automatize the consistency check of requirements and build artifacts to help system engineers in the design process.


title: High-pressure Raman study on the superconducting pyrochlore oxide Cd2Re2O7

abstract: The superconducting pyrochlore oxide Cd2Re2O7 (Tc = 1 K), which is now considered as a candidate of the spin-orbit-coupled metal, shows an inversion-symmetry-breaking structural transition at Ts1 = 200 K. Ts1 decreases with increasing pressure and disappears at around Pc = 4:2GPa, where at least four high-pressure phases with tiny structural distortions are suggested by means of powder X-ray diffraction [Yamaura PRB 2017]. We have carried out Raman scattering experiments to investigate changes in the crystal symmetry under high pressures up to 4.8 GPa. A structural transition at 1.9-3.0 GPa and the recovery of inversion symmetry above Pc are observed at 12 K.


title: Offline Evaluation of Ranking Policies with Click Models

abstract: Many web systems rank and present a list of items to users, from recommender systems to search and advertising. An important problem in practice is to evaluate new ranking policies offline and optimize them before they are deployed. We address this problem by proposing evaluation algorithms for estimating the expected number of clicks on ranked lists from historical logged data. The existing algorithms are not guaranteed to be statistically efficient in our problem because the number of recommended lists can grow exponentially with their length. To overcome this challenge, we use models of user interaction with the list of items, the so-called click models, to construct estimators that learn statistically efficiently. We analyze our estimators and prove that they are more efficient than the estimators that do not use the structure of the click model, under the assumption that the click model holds. We evaluate our estimators in a series of experiments on a real-world dataset and show that they consistently outperform prior estimators.


title: Attractor Behaviour in Multifield Inflation

abstract: We study multifield inflation in scenarios where the fields are coupled non-minimally to gravity via $\xi_I(\phi^I)^n g^{\mu\nu}R_{\mu\nu}$, where $\xi_I$ are coupling constants, $\phi^I$ the fields driving inflation, $g_{\mu\nu}$ the space-time metric, $R_{\mu\nu}$ the Ricci tensor, and $n>0$. We consider the so-called $\alpha$-attractor models in two formulations of gravity: in the usual metric case where $R_{\mu\nu}=R_{\mu\nu}(g_{\mu\nu})$, and in the Palatini formulation where $R_{\mu\nu}$ is an independent variable. As the main result, we show that, regardless of the underlying theory of gravity, the field-space curvature in the Einstein frame has no influence on the inflationary dynamics at the limit of large $\xi_I$, and one effectively retains the single-field case. However, the gravity formulation does play an important role: in the metric case the result means that multifield models approach the single-field $\alpha$-attractor limit, whereas in the Palatini case the attractor behaviour is lost also in the case of multifield inflation. We discuss what this means for distinguishing between different models of inflation.


title: Weaver: Deep Co-Encoding of Questions and Documents for Machine Reading

abstract: This paper aims at improving how machines can answer questions directly from text, with the focus of having models that can answer correctly multiple types of questions and from various types of texts, documents or even from large collections of them. To that end, we introduce the Weaver model that uses a new way to relate a question to a textual context by weaving layers of recurrent networks, with the goal of making as few assumptions as possible as to how the information from both question and context should be combined to form the answer. We show empirically on six datasets that Weaver performs well in multiple conditions. For instance, it produces solid results on the very popular SQuAD dataset (Rajpurkar et al., 2016), solves almost all bAbI tasks (Weston et al., 2015) and greatly outperforms state-of-the-art methods for open domain question answering from text (Chen et al., 2017).


title: Linear $(2,p,p)$-AONTs do Exist

abstract: A $(t,s,v)$-all-or-nothing transform (AONT) is a bijective mapping defined on $s$-tuples over an alphabet of size $v$, which satisfies that if any $s-t$ of the $s$ outputs are given, then the values of any $t$ inputs are completely undetermined. When $t$ and $v$ are fixed, to determine the maximum integer $s$ such that a $(t,s,v)$-AONT exists is the main research objective. In this paper, we solve three open problems proposed in [IEEE Trans. Inform. Theory 64 (2018), 3136-3143.] and show that there do exist linear $(2,p,p)$-AONTs. Then for the size of the alphabet being a prime power, we give the first infinite class of linear AONTs which is better than the linear AONTs defined by Cauchy matrices. Besides, we also present a recursive construction for general AONTs and a new relationship between AONTs and orthogonal arrays.


title: Observation of Floquet Raman transition in a driven solid-state spin system

abstract: We experimentally observe Floquet Raman transitions in the weakly driven solid state spin system of nitrogen-vacancy center in diamond. The periodically driven spin system simulates a two-band Wannier-Stark ladder model, and allows us to observe coherent spin state transfer arising from Raman transition mediated by Floquet synthetic levels. It also leads to the prediction of analog photon-assisted Floquet Raman transition and dynamical localisation in a driven two-level quantum system. The demonstrated rich Floquet dynamics offers new capabilities to achieve effective Floquet coherent control of a quantum system with potential applications in various types of quantum technologies based on driven quantum dynamics. In particular, the Floquet-Raman system may be used as a quantum simulator for the physics of periodically driven systems.


title: Three pathways of cell transformation of lymphoid cell: a slow, a rapid, and an accelerated

abstract: Lymphoid leukemia (LL) and lymphoma are neoplasms developed from lymphoid cells (LCs). To understand why different forms of LL/lymphoma occur at different ages, we analyzed the effects of different types of DNA changes on a LC and the cellular characteristics of LCs. Point DNA mutations (PDMs) and chromosome changes (CCs) are the two major types of DNA changes. CCs have three subtypes by their effects on a LC: great-effect CCs (GECCs), mild-effect CCs (MECCs), and intermediate-effect CCs (IECCs). PDMs and MECCs are mostly mild thus can accumulate in cells. Some of the PDMs/MECCs contribute to cell transformation. A GECC affects one or more genes and can alone drive cell transformation. An IECC affects one or more genes and participates in cell transformation. Due to cellular characteristics, a LC may have higher survivability from DNA changes and require obtaining fewer cancerous properties for transformation than a tissue cell. Hence, a LC can be more rapidly transformed by a CC. On this basis, we hypothesize that a LC may have three pathways on transformation: a slow, a rapid, and an accelerated. Slow pathway is driven by accumulation of PDMs/MECCs. Rapid pathway is driven by a GECC in "one step". Accelerated pathway is driven by accumulation of PDMs/MECCs/IECC(s). Cell transformations of a LC via different pathways occur at different ages. A transformation via slow pathway occurs mainly in adults. A transformation via rapid pathway occurs at any age and has no increasing incidence with age. A transformation via accelerated pathway occurs also at any age but has increasing incidence with age. In conclusion, a LC may have three pathways on cell transformation, and the occurring age of LL/lymphoma may be determined by the transforming pathway of a LC.


title: Multipole expansions for time-dependent charge and current distributions in quasistatic approximation

abstract: We propose a consistent approach to the definition of electric, magnetic, and toroidal multipole moments. Electric and magnetic fields are split into potential, vortex, and radiative terms, with the latter ones dropped off in the quasistatic approximation. The potential part of the electric field, the vortex parts of the magnetic field and vector potential contain gradients of scalar functions. Formally introducing magnetic and toroidal analogs of the electric charge, we apply multipole expansions for those scalars. Closed-form expressions are derived in an arbitrary order for electric, magnetic, and toroidal multipoles, which constitute a full system for expansions of the electromagnetic field.


title: Confined dynamical systems with Carroll or Galilei symmetries

abstract: We introduce a general method to construct classes of dynamical systems invariant under generalizations of the Carroll and of the Galilei groups. The method consists in starting from a space-time in $D+1$ dimensions and partitioning it in two parts, the first Minkowskian and the second Euclidean. Tha action consist of two terms that are separately invariant the Minkwoskian and Euclidean partitioning. One of those contains a system of lagrangian multiplies that confine the system to a subspace. The other term defines the dynamics of the system. The total lagrangian is invariant under the Carroll or the Galilei groups with zero central charge.


title: Electrical control of a confined electron spin in a silicene quantum dot

abstract: We study spin control for an electron confined in a flake of silicene. We find that the lowest-energy conduction-band levels are split by the diagonal intrinsic spin-orbit coupling into Kramers doublets with a definite projection of the spin on the orbital magnetic moment. We study the spin control by AC electric fields using the non-diagonal Rashba component of the spin-orbit interactions with the time-dependent atomistic tight-binding approach. The Rashba interactions in AC electric fields produce Rabi spin-flips times of the order of a nanosecond. These times can be reduced to tens of picoseconds provided that the vertical electric field is tuned to an avoided crossing open by the Rashba spin-orbit interaction. We demonstrate that the speedup of the spin transitions is possible due to the intervalley coupling induced by the armchair edge of the flake. The study is confronted with the results for circular quantum dots decoupled from the edge with well defined angular momentum and valley index.


title: A family of three-dimensional virtual elements with applications to magnetostatic

abstract: We consider, as a simple model problem, the application of Virtual Element Methods (VEM) to the linear Magnetostatic three-dimensional problem in the formulation of F. Kikuchi. In doing so, we also introduce new serendipity VEM spaces, where the serendipity reduction is made only on the faces of a general polyhedral decomposition (assuming that internal degrees of freedom could be more easily eliminated by static condensation). These new spaces are meant, more generally, for the combined approximation of $H^1$-conforming ($0$-forms), $H({\rm {\bf curl}})$-conforming ($1$-forms), and $H({\rm div})$-conforming ($2$-forms) functional spaces in three dimensions, and they would surely be useful for other problems and in more general contexts.


title: On the derivation of a Stokes-Brinkman problem from Stokes equations around a random array of moving spheres

abstract: We consider the Stokes system in $\mathbb R^3,$ deprived of $N$ spheres of radius $1/N,$ completed by constant boundary conditions on the spheres. This problem models the instantaneous response of a viscous fluid to an immersed cloud of moving solid spheres. We assume that the centers of the spheres and the boundary conditions are given randomly and we compute the asymptotic behavior of solutions when the parameter $N$ diverges. Under the assumption that the distribution of spheres/centers is chaotic, we prove convergence in mean to the solution of a Stokes-Brinkman problem.


title: Simulating Jupiter-satellite decametric emissions with ExPRES: a parametric study

abstract: The high latitude radio emissions produced by the Cyclotron Maser Instability (CMI) in Jupiter's magnetosphere extend from a few kHz to 40 MHz. Part of the decametric emissions is of auroral origin, and part is driven by the moons Io, Europa and Ganymede. After summarizing the method used to identify Jupiter-satellite radio emissions, which consists in comparing space- and ground-based radio observations to ExPRES simulations of CMI-driven emissions in the time-frequency plane, we present a parametric study of the free parameters required by the ExPRES code (electron distribution function and resonant energy, magnetic field model, lead angle, and altitude of the ionospheric cut-off) in order to assess the accuracy of our simulations in the Io-Jupiter case. We find that Io-DAM arcs are fairly modeled by loss-cone driven CMI with electrons of 1-10 keV energy, using the ISaAC, VIPAL or VIP4 magnetic field model and a simple sinusoidal lead angle model. The altitude of the ionospheric cut-off has a marginal impact on the simulations. We discuss the impact of our results on the identification of Europa-DAM and Ganymede-DAM emissions.


title: Deep Reinforcement Learning to Acquire Navigation Skills for Wheel-Legged Robots in Complex Environments

abstract: Mobile robot navigation in complex and dynamic environments is a challenging but important problem. Reinforcement learning approaches fail to solve these tasks efficiently due to reward sparsities, temporal complexities and high-dimensionality of sensorimotor spaces which are inherent in such problems. We present a novel approach to train action policies to acquire navigation skills for wheel-legged robots using deep reinforcement learning. The policy maps height-map image observations to motor commands to navigate to a target position while avoiding obstacles. We propose to acquire the multifaceted navigation skill by learning and exploiting a number of manageable navigation behaviors. We also introduce a domain randomization technique to improve the versatility of the training samples. We demonstrate experimentally a significant improvement in terms of data-efficiency, success rate, robustness against irrelevant sensory data, and also the quality of the maneuver skills.


title: Coincidence points of Mappings in Banach Spaces

abstract: In this article we prove an existence theorem for coincidence points of mappings in Banach spaces. This theorem generalizes the Kantorovich fixed point theorem.


title: Homeomorphisms and intersection number

abstract: We prove two rigidity results for automorphism groups of the spaces ML(S) of measured laminations on a closed hyperbolic surface S and PML(S) of projective measured laminations on this surface. The results concern the homeomorphisms of ML(S) that preserve the geometric intersection between laminations and the homeomorphisms of PML(S) that preserve the zero sets of these intersection functions.


title: Excitation and coherent control of magnetization dynamics in magnetic tunnel junctions using acoustic pulses

abstract: We experimentally study magnetization dynamics in magnetic tunnel junctions driven by femtosecond-laser-induced surface acoustic waves. The acoustic pulses induce a magnetization precession in the free layer of the magnetic tunnel junction through magnetoelastic coupling. The frequency and amplitude of the precession shows a pronounced dependence on the applied magnetic field and the laser excitation position. Comparing the acoustic-wave-induced precession frequencies with precession induced by charge currents and with micromagnetic simulations we identify spatially non-uniform magnetization modes localized close the edge regions as being responsible for the optically induced magnetization dynamics. The experimental scheme even allows us to coherently control the magnetization precession using two acoustic pulses. This might prove important for future applications requiring ultrafast spin manipulation. Additionally, our results directly pinpoint the importance of acoustic pulses since they could be relevant when investigating optically-induced temperature effects in magnetic structures.


title: Large Field Inflation/Quintessence and the Refined Swampland Distance Conjecture

abstract: Attempts to construct string derived effective field theory models realizing large field inflation are plagued by control issues. Targeted at a broader audience, in this article we review recent progress in isolating the underlying conceptual reasons for this failure. Special emphasis is given to models of axion monodromy inflation and their relation to the Swampland Distance Conjecture. This discriminates effective actions that admit a UV completion, the landscape, from those that do not, the swampland. Since they are conceptually very similar, we also comment on implied challenges for axionic quintessence models.


title: Configurations and Diagnosis for Ultra-Dense Heterogeneous Networks: From Empirical Measurements to Technical Solutions

abstract: The intense demands for higher data rates and ubiquitous network coverage have raised the stakes on developing new network topology and architecture to meet these ever-increasing demands in a cost-effective manner. The telecommunication industry and international standardization bodies have placed considerable attention to the deployment of ultra-dense heterogeneous small-scale cells over existing cellular systems. Those small-scale cells, although provide higher data rates and better indoor coverage by reducing the distance between base stations (BSs) and end users, have raised severe configuration concerns. As the deployments are becoming irregular and flexible, inappropriate configurations occur frequently and undermine the network reliability and service quality. We envision that the fine-grained characterization of user traffic is a key pillar to diagnosing inappropriate configurations. In this article, we investigate the fine-grained traffic patterns of mobile users by analyzing the network data containing millions of subscribers and covering thousands of cells in a large metropolitan area. We characterize traffic patterns and mobility behaviors of users and geospatial properties of cells, and discuss how the heterogeneity of these characteristics affects network configurations and diagnosis in future ultra-dense small cells. Based on these observations from our measurements, we investigate possible models and corresponding challenges, and propose a heterogeneity-aware scheme that takes into account the disparity of user mobility behaviors and geospatial properties among small cells.


title: On groups whose actions on finite-dimensional CAT(0) spaces have global fixed points

abstract: We give a criterion for group elements to have fixed points with respect to a semi-simple action on a complete CAT(0) space of finite topological dimension. As an application, we show that Thompson's group T and various generalizations of Thompson's group V have global fixed points when they act semi-simply on finite-dimensional complete CAT(0) spaces.


title: Sound up-to techniques and Complete abstract domains

abstract: Abstract interpretation is a method to automatically find invariants of programs or pieces of code whose semantics is given via least fixed-points. Up-to techniques have been introduced as enhancements of coinduction, an abstract principle to prove properties expressed via greatest fixed-points. While abstract interpretation is always sound by definition, the soundness of up-to techniques needs some ingenuity to be proven. For completeness, the setting is switched: up-to techniques are always complete, while abstract domains are not. In this work we show that, under reasonable assumptions, there is an evident connection between sound up-to techniques and complete abstract domains.


title: Consciousness as a physical process caused by the organization of energy in the brain

abstract: To explain consciousness as a physical process we must acknowledge the role of energy in the brain. Energetic activity is fundamental to all physical processes and causally drives biological behaviour. Recent neuroscientific evidence can be interpreted in a way that suggests consciousness is a product of the organization of energetic activity in the brain. The nature of energy itself, though, remains largely mysterious, and we do not fully understand how it contributes to brain function or consciousness. According to the principle outlined here, energy, along with forces and work, can be described as actualized differences of motion and tension. By observing physical systems, we can infer there is something it is like to undergo actualized difference from the intrinsic perspective of the system. Consciousness occurs because there is something it is like, intrinsically, to undergo a certain organization of actualized differences in the brain.