title: Higher-order mode-based cavity misalignment measurements at the free-electron laser FLASH

abstract: At the Free-Electron Laser in Hamburg (FLASH) and the European X-Ray Free-Electron Laser, superconducting TeV-energy superconducting linear accelerator (TESLA)-type cavities are used for the acceleration of electron bunches, generating intense free-electron laser (FEL) beams. A long rf pulse structure allows one to accelerate long bunch trains, which considerably increases the efficiency of the machine. However, intrabunch-train variations of rf parameters and misalignments of rf structures induce significant trajectory variations that may decrease the FEL performance. The accelerating cavities are housed inside cryomodules, which restricts the ability for direct alignment measurements. In order to determine the transverse cavity position, we use a method based on beam-excited dipole modes in the cavities. We have developed an efficient measurement and signal processing routine and present its application to multiple accelerating modules at FLASH. The measured rms cavity offset agrees with the specification of the TESLA modules. For the first time, the tilt of a TESLA cavity inside a cryomodule is measured. The preliminary result agrees well with the ratio between the offset and angle dependence of the dipole mode which we calculated with eigenmode simulations.


title: Inverse engineering for fast transport and spin control of spin-orbit-coupled Bose-Einstein condensates in moving harmonic traps

abstract: We investigate fast transport and spin manipulation of tunable spin-orbit-coupled Bose-Einstein condensates in a moving harmonic trap. Motivated by the concept of "shortcuts to adiabaticity", we design inversely the time-dependent trap position and spin-orbit coupling strength. By choosing appropriate boundary conditions we obtain fast transport and spin flip simultaneously. The non-adiabatic transport and relevant spin dynamics are illustrated with numerical examples, and compared with the adiabatic transport with constant spin-orbit-coupling strength and velocity. Moreover, the influence of nonlinearity induced by interatomic interaction is discussed in terms of the Gross-Pitaevskii approach, showing the robustness of the proposed protocols. With the state-of-the-art experiments, such inverse engineering technique paves the way for coherent control of spin-orbit-coupled Bose-Einstein condensates in harmonic traps.


title: Analysis of Massive MIMO and Base Station Cooperation in an Indoor Scenario

abstract: The performance of centralized and distributed massive MIMO deployments are analyzed for indoor office scenarios. The distributed deployments use one of the following precoding methods: (1) local precoding with local channel state information (CSI) to the user equipments (UEs) that it serves; (2) large-scale MIMO with local CSI to all UEs in the network; (3) network MIMO with global CSI. For the distributed deployments (2) and (3), it is shown that using twice as many base station antennas as data streams provides many of the massive MIMO benefits in terms of spectral efficiency and fairness. This is in contrast to the centralized deployment and the distributed deployment (1) where more antennas are needed. Two of the main conclusions are that distributing base stations helps to overcome wall penetration loss; however, a backhaul is required to mitigate inter-cell interference. The effect of estimation errors on the performance is also quantified.


title: Optimal Content Replication and Request Matching in Large Caching Systems

abstract: We consider models of content delivery networks in which the servers are constrained by two main resources: memory and bandwidth. In such systems, the throughput crucially depends on how contents are replicated across servers and how the requests of specific contents are matched to servers storing those contents. In this paper, we first formulate the problem of computing the optimal replication policy which if combined with the optimal matching policy maximizes the throughput of the caching system in the stationary regime. It is shown that computing the optimal replication policy for a given system is an NP-hard problem. A greedy replication scheme is proposed and it is shown that the scheme provides a constant factor approximation guarantee. We then propose a simple randomized matching scheme which avoids the problem of interruption in service of the ongoing requests due to re-assignment or repacking of the existing requests in the optimal matching policy. The dynamics of the caching system is analyzed under the combination of proposed replication and matching schemes. We study a limiting regime, where the number of servers and the arrival rates of the contents are scaled proportionally, and show that the proposed policies achieve asymptotic optimality. Extensive simulation results are presented to evaluate the performance of different policies and study the behavior of the caching system under different service time distributions of the requests.


title: Symbol-by-Symbol Maximum Likelihood Detection for Cooperative Molecular Communication

abstract: In this paper, symbol-by-symbol maximum likelihood (ML) detection is proposed for a cooperative diffusion-based molecular communication (MC) system. In this system, the transmitter (TX) sends a common information symbol to multiple receivers (RXs) and a fusion center (FC) chooses the TX symbol that is more likely, given the likelihood of its observations from all RXs. The transmission of a sequence of binary symbols and the resultant intersymbol interference are considered in the cooperative MC system. Three ML detection variants are proposed according to different RX behaviors and different knowledge at the FC. The system error probabilities for two ML detector variants are derived, one of which is in closed form. The optimal molecule allocation among RXs to minimize the system error probability of one variant is determined by solving a joint optimization problem. Also for this variant, the equal distribution of molecules among two symmetric RXs is analytically shown to achieve the local minimal error probability. Numerical and simulation results show that the ML detection variants provide lower bounds on the error performance of simpler, non-ML cooperative variants and demonstrate that these simpler cooperative variants have error performance comparable to ML detectors.


title: The clustering of the SDSS-IV extended Baryon Oscillation Spectroscopic Survey DR14 quasar sample: measuring the evolution of the growth rate using redshift space distortions between redshift 0.8 and 2.2

abstract: We measure the growth rate and its evolution using the anisotropic clustering of the extended Baryon Oscillation Spectroscopic Survey (eBOSS) Data Release 14 (DR14) quasar sample, which includes $148\,659$ quasars covering the wide redshift range of $0.8 < z < 2.2$ and a sky area of $2112.90$ $\rm deg^2$. To optimise measurements we deploy a redshift-dependent weighting scheme, which allows us to avoid binning, and perform the data analysis consistently including the redshift evolution across the sample. We perform the analysis in Fourier space, and use the redshift evolving power spectrum multipoles to measure the redshift space distortion parameter $f\sigma_8$ and parameters controlling the anisotropic projection of the cosmological perturbations. We measure $f \sigma_8(z=1.52)=0.43 \pm 0.05 $ and $df\sigma_8/dz (z=1.52)= - 0.16 \pm 0.08$, consistent with the expectation for a $\Lambda$CDM cosmology as constrained by the Planck experiment.


title: CANDY: Conditional Adversarial Networks based Fully End-to-End System for Single Image Haze Removal

abstract: Single image haze removal is a very challenging and ill-posed problem. The existing haze removal methods in literature, including the recently introduced deep learning methods, model the problem of haze removal as that of estimating intermediate parameters, viz., scene transmission map and atmospheric light. These are used to compute the haze-free image from the hazy input image. Such an approach only focuses on accurate estimation of intermediate parameters, while the aesthetic quality of the haze-free image is unaccounted for in the optimization framework. Thus, errors in the estimation of intermediate parameters often lead to generation of inferior quality haze-free images. In this paper, we present CANDY (Conditional Adversarial Networks based Dehazing of hazY images), a fully end-to-end model which directly generates a clean haze-free image from a hazy input image. CANDY also incorporates the visual quality of haze-free image into the optimization function; thus, generating a superior quality haze-free image. To the best of our knowledge, this is the first work in literature to propose a fully end-to-end model for single image haze removal. Also, this is the first work to explore the newly introduced concept of generative adversarial networks for the problem of single image haze removal. The proposed model CANDY was trained on a synthetically created haze image dataset, while evaluation was performed on challenging synthetic as well as real haze image datasets. The extensive evaluation and comparison results of CANDY reveal that it significantly outperforms existing state-of-the-art haze removal methods in literature, both quantitatively as well as qualitatively.


title: What did Ryser Conjecture?

abstract: Two prominent conjectures by Herbert J. Ryser have been falsely attributed to a somewhat obscure conference proceedings that he wrote in German. Here we provide a translation of that paper and try to correct the historical record at least as far as what was conjectured in it. The two conjectures relate to transversals in Latin squares of odd order and to the relationship between the covering number and the matching number of multipartite hypergraphs.


title: Spatial Lattice Modulation for MIMO Systems

abstract: This paper proposes spatial lattice modulation (SLM), a spatial modulation method for multipleinput-multiple-output (MIMO) systems. The key idea of SLM is to jointly exploit spatial, in-phase, and quadrature dimensions to modulate information bits into a multi-dimensional signal set that consists oflattice points. One major finding is that SLM achieves a higher spectral efficiency than the existing spatial modulation and spatial multiplexing methods for the MIMO channel under the constraint ofM-ary pulseamplitude-modulation (PAM) input signaling per dimension. In particular, it is shown that when the SLM signal set is constructed by using dense lattices, a significant signal-to-noise-ratio (SNR) gain, i.e., a nominal coding gain, is attainable compared to the existing methods. In addition, closed-form expressions for both the average mutual information and average symbol-vector-error-probability (ASVEP) of generic SLM are derived under Rayleigh-fading environments. To reduce detection complexity, a low-complexity detection method for SLM, which is referred to as lattice sphere decoding, is developed by exploiting lattice theory. Simulation results verify the accuracy of the conducted analysis and demonstrate that the proposed SLM techniques achieve higher average mutual information and lower ASVEP than do existing methods.


title: Vector leptoquark mass limits and branching ratios of $ K_L^0, B^0, B_s \to l^+_i l^-_j $ decays with account of fermion mixing in leptoquark currents

abstract: The contributions of the vector leptoquarks of Pati-Salam type to the branching ratios of $K_L^0, B^0, B_s \to l \, l^{\prime}$ decays are calculated with account of the fermion mixing in the leptoguark currents of the general type. Using the general parametrizations of the mixing matrices the lower vector leptoquark mass limit $ m_V > 86 \,\, TeV $ is found from the current experimental data on these decays. The branching ratios of the decays $B^0, B_s \to l \, l^{\prime}$ predicted at $m_V = 86 \,\, TeV$ are calculated. These branching ratios for the decays $ B^0, B_s \to \mu^+ \mu^-, e \mu $ are close to the experimental data whereas those for the decays $B^0 \to e^+ e^-, e \tau, \mu \tau$, and $B_s \to e^+ e^-$ are by order of $2\div4$ less than their current experimental limits. For the decays $B_s \to e \tau, \mu \tau$ these branching ratios are of order $10^{-10}$ and $10^{-9}$ respectively. The predicted branching ratios will be usefull in the current and future experimental searches for these decays.


title: Relativistic quantum key distribution system with one-way quantum communication

abstract: Unambiguous state discrimination (USD) is one of the major obstacles for practical quantum key distribution (QKD). Often overlooked, it allows efficient eavesdropping in majority of practical systems, provided the overall channel loss is above a certain threshold. Thus, to remain secure all such systems must not only monitor the actual loss, but also possess a comprehensive information on the safe 'loss vs. BER' levels, which is often well beyond currently known security analyses. The more advanced the protocol the tougher it becomes to find and prove corresponding bounds. To get out of this vicious circle and solve the problem outright, we demonstrate a so called relativistic QKD system, which uses causality to become inherently immune to USD-based attacks. The system proves to be practical in metropolitan line-of-sight arrangements. At the same time it has a very basic structure that allows for a straightforward and comprehensive security analysis.


title: Boron nitride nanoresonators for phonon-enhanced molecular vibrational spectroscopy at the strong coupling limit

abstract: Enhanced light-matter interactions are the basis of surface enhanced infrared absorption (SEIRA) spectroscopy, and conventionally rely on plasmonic materials and their capability to focus light to nanoscale spot sizes. Phonon polariton nanoresonators made of polar crystals could represent an interesting alternative, since they exhibit large quality factors, which go far beyond those of their plasmonic counterparts. The recent emergence of van der Waals crystals enables the fabrication of high-quality nanophotonic resonators based on phonon polaritons, as reported for the prototypical infrared-phononic material hexagonal boron nitride (h-BN). In this work we use, for the first time, phonon-polariton-resonant h-BN ribbons for SEIRA spectroscopy of small amounts of organic molecules in Fourier transform infrared spectroscopy. Strikingly, the interaction between phonon polaritons and molecular vibrations reaches experimentally the onset of the strong coupling regime, while numerical simulations predict that vibrational strong coupling can be fully achieved. Phonon polariton nanoresonators thus could become a viable platform for sensing, local control of chemical reactivity and infrared quantum cavity optics experiments.


title: Solar System Ephemerides, Pulsar Timing, Gravitational Waves, and Navigation

abstract: In-spiraling supermassive black holes should emit gravitational waves, which would produce characteristic distortions in the time of arrival residuals from millisecond pulsars. Multiple national and regional consortia have constructed pulsar timing arrays by precise timing of different sets of millisecond pulsars. An essential aspect of precision timing is the transfer of the times of arrival to a (quasi-)inertial frame, conventionally the solar system barycenter. The barycenter is determined from the knowledge of the planetary masses and orbits, which has been refined over the past 50 years by multiple spacecraft. Within the North American Nanohertz Observatory for Gravitational Waves (NANOGrav), uncertainties on the solar system barycenter are emerging as an important element of the NANOGrav noise budget. We describe what is known about the solar system barycenter, touch upon how uncertainties in it affect gravitational wave studies with pulsar timing arrays, and consider future trends in spacecraft navigation.


title: The Penn State - Toru\'n Centre for Astronomy Planet Search stars IV. Dwarfs and the complete sample

abstract: Our knowledge of the intrinsic parameters of exoplanets is as precise as our determinations of their stellar hosts parameters. In the case of radial velocity searches for planets, stellar masses appear to be crucial. But before estimating stellar masses properly, detailed spectroscopic analysis is essential. With this paper we conclude a general spectroscopic description of the Pennsylvania-Torun Planet Search (PTPS) sample of stars. We aim at a detailed description of basic parameters of stars representing the complete PTPS sample. We present atmospheric and physical parameters for dwarf stars observed within the PTPS along with updated physical parameters for the remaining stars from this sample after the first Gaia data release. We used high resolution (R=60 000) and high signal-to-noise-ratio (S/N=150-250) spectra from the Hobby-Eberly Telescope and its High Resolution Spectrograph. Stellar atmospheric parameters were determined through a strictly spectroscopic local thermodynamic equilibrium analysis (LTE) of the equivalent widths of FeI and FeII lines. Stellar masses, ages, and luminosities were estimated through a Bayesian analysis of theoretical isochrones. We present $T_{eff}$, log$g$ , [Fe/H], micrturbulence velocities, absolute radial velocities, and rotational velocities for 156 stars from the dwarf sample of PTPS. For most of these stars these are the first determinations. We refine the definition of PTPS subsamples of stars (giants, subgiants, and dwarfs) and update the luminosity classes for all PTPS stars. Using available Gaia and Hipparcos parallaxes, we redetermine the stellar parameters (masses, radii, luminosities, and ages) for 451 PTPS stars. The complete PTPS sample of 885 stars is composed of 132 dwarfs, 238 subgiants, and 515 giants, of which the vast majority are of roughly solar mass.


title: Majorana zero energy modes in silicene

abstract: Zero energy modes are shown to exist in silicene under suitably chosen magnetic as well as electric fields. Two Majorana modes are found on the application of opposite local magnetization on the silicene sub-lattices. We identify a non-Majorana zero energy mode carrying pure spin current under the influence of inhomogeneous gate electric field. In both cases, wave functions reveal subtle interference pattern in phase space, showing structures finer than the Planck constant $\hbar$. A spin system coupled through spin-spin ($\sigma_{z}\otimes\sigma_{z}$) interaction with the Majorana modes exhibits periodic revival of coherence with a minimum period $\sim $1/n. The same system shows decoherence-free evolution in the case of gate electric field. Under a momentum dependent interaction, one Majorana mode having a bound state in the continuum character is found to be more robust as compared to the other. The mode arising on application of electric field shows rapid loss of coherence for such an interaction.


title: Convexification of Neural Graph

abstract: Traditionally, most complex intelligence architectures are extremely non-convex, which could not be well performed by convex optimization. However, this paper decomposes complex structures into three types of nodes: operators, algorithms and functions. Iteratively, propagating from node to node along edge, we prove that "regarding the tree-structured neural graph, it is nearly convex in each variable, when the other variables are fixed." In fact, the non-convex properties stem from circles and functions, which could be transformed to be convex with our proposed \textit{\textbf{scale mechanism}}. Experimentally, we justify our theoretical analysis by two practical applications.


title: Conformal Ward-Takahashi Identity at Finite Temperature

abstract: We study conformal Ward-Takahashi identities for two-point functions in $d(\geq3)$-dimensional finite-temperature conformal field theory. We first show that the conformal Ward-Takahashi identities can be translated into the intertwining relations of conformal algebra $\mathfrak{so}(2,d)$. We then show that, at finite temperature, the intertwining relations can be translated into the recurrence relations for two-point functions in complex momentum space. By solving these recurrence relations, we find the momentum-space two-point functions that satisfy the Kubo-Martin-Schwinger thermal equilibrium condition.


title: Polarization of the Vaccination Debate on Facebook

abstract: Vaccine hesitancy has been recognized as a major global health threat. Having access to any type of information in social media has been suggested as a potential powerful influence factor to hesitancy. Recent studies in other fields than vaccination show that access to a wide amount of content through the Internet without intermediaries resolved into major segregation of the users in polarized groups. Users select the information adhering to theirs system of beliefs and tend to ignore dissenting information. In this paper we assess whether there is polarization in Social Media use in the field of vaccination. We perform a thorough quantitative analysis on Facebook analyzing 2.6M users interacting with 298.018 posts over a time span of seven years and 5 months. We used community detection algorithms to automatically detect the emergent communities from the users activity and to quantify the cohesiveness over time of the communities. Our findings show that content consumption about vaccines is dominated by the echo-chamber effect and that polarization increased over years. Communities emerge from the users consumption habits, i.e. the majority of users only consumes information in favor or against vaccines, not both. The existence of echo-chambers may explain why social-media campaigns providing accurate information may have limited reach, may be effective only in sub-groups and might even foment further polarization of opinions. The introduction of dissenting information into a sub-group is disregarded and can have a backfire effect, further reinforcing the existing opinions within the sub-group.


title: Prediction on Neutrino Dirac and Majorana Phases and Absolute Mass Scale from the CKM Matrix

abstract: In Type-I seesaw model, the lepton flavor mixing matrix (PMNS matrix) and the quark flavor mixing matrix (CKM matrix) may be connected implicitly through a relation between the neutrino Dirac Yukawa coupling $Y_D$ and the quark Yukawa couplings. In this paper, we study whether $Y_D$ can satisfy, in the flavor basis where the charged lepton Yukawa and right-handed neutrino Majorana mass matrices are diagonal, the relation $Y_D \propto {\rm diag}(y_d,y_s,y_b)V_{CKM}^T$ or $Y_D \propto {\rm diag}(y_u,y_c,y_t)V_{CKM}^*$ without contradicting the current experimental data on quarks and neutrino oscillations. We search for sets of values of the neutrino Dirac CP phase $\delta_{CP}$, Majorana phases $\alpha_2,\alpha_3$, and the lightest active neutrino mass that satisfy either of the above relations, with the normal or inverted hierarchy of neutrino mass. In performing the search, we consider renormalization group evolutions of the quark masses and CKM matrix and the propagation of their experimental errors along the evolutions. We find that only the former relation $Y_D \propto {\rm diag}(y_d,y_s,y_b)V_{CKM}^T$ with the normal neutrino mass hierarchy holds, based on which we make a prediction for $\delta_{CP},\,\alpha_2,\,\alpha_3$ and the lightest active neutrino mass.


title: Explaining DAMA with proton-philic spin-dependent inelastic Dark Matter (pSIDM): a frequentist analysis

abstract: Proton-philic spin-dependent inelastic Dark Matter is a Weakly Inelastic Massive Particle scenario that can explain the DAMA yearly modulation effect in compliance with the constraints from other direct detection Dark Matter searches. We obtain updated ranges for its parameters both in a halo-independent approach and adopting a truncated Maxwellian for the WIMP velocity distribution constructing approximate frequentist confidence intervals from an effective chi-square including, among others, the latest experimental constraints from XENON1T, PANDAX-II, SuperCDMS and CDMSlite. In the halo-independent analysis we have implemented the dependence on the WIMP velocity distribution through a step-wise parameterization of the halo function. For the calculation of the profile likelihood we used a Markov Chain Montecarlo generator that required a large number of evaluations of the expected rates. To reduce computational time we introduced expected rates expressions suitable for a fast evaluation through tabulation and interpolation. Our frequentist analysis confirms the present viability of the pSIDM scenario as a possible explanation of the DAMA effect. In terms of the WIMP mass $m_{\chi}$ and of the mass splitting $\delta$ we find the 1-sigma ranges $\mbox{12.5 GeV} \le m_{\chi}\le \mbox{15.7 GeV}$, $\mbox{22.1 keV} \le \delta \le \mbox{26.1 keV}$ for the halo--independent analysis and $\mbox{11.4 GeV} \le m_{\chi}\le \mbox{13.6 GeV}$, $\mbox{24.4 keV} \le \delta \le \mbox{27.0 keV}$ for the Maxwellian case. We find that a full year of data taking of XENON1T should allow to start probing the pSIDM scenario.


title: Magnetic Polarizability of Virtual (ss') and (cc') Pairs in the Nucleon

abstract: We suggest 3P0 quantum state of virtual (ss') pairs in the nucleon can be polarised by the internal fields permeating the volume of the nucleon (proton or neutron). Due to the quadratic Zeeman interaction, 3P0 wavefunction of virtual (qq') pairs acquires the admixture of 1P10 quantum state in the magnetic field, which generates the antiparallel polarization of s and s' quarks (in the nucleon). Considering the internal magnetic fields of neutron and proton (originating from their measured magnetic dipole moments), we suggest the induced s-quark polarization in the neutron to be of the oposite direction compared to the proton case. We mention the influence of the internal chromo-magnetic fields on the quantum state of (qq') pairs in the nucleon and we discuss also the expected behaviour of virtual (cc') pairs.


title: Flare particle acceleration in the interaction of twisted coronal flux ropes

abstract: The aim of this work is to investigate and characterise non-thermal particle behaviour in a three-dimensional (3D) magnetohydrodynamical (MHD) model of unstable multi-threaded flaring coronal loops. We have used a numerical scheme which solves the relativistic guiding centre approximation to study the motion of electrons and protons. The scheme uses snapshots from high resolution numerical MHD simulations of coronal loops containing two threads, where a single thread becomes unstable and (in one case) destabilises and merges with an additional thread. The particle responses to the reconnection and fragmentation in MHD simulations of two loop threads are examined in detail. We illustrate the role played by uniform background resistivity and distinguish this from the role of anomalous resistivity using orbits in an MHD simulation where only one thread becomes unstable without destabilising further loop threads. We examine the (scalable) orbit energy gains and final positions recovered at different stages of a second MHD simulation wherein a secondary loop thread is destabilised by (and merges with) the first thread. We compare these results with other theoretical particle acceleration models in the context of observed energetic particle populations during solar flares.


title: 99\% Revenue via Enhanced Competition

abstract: A sequence of recent studies show that even in the simple setting of a single seller and a single buyer with additive, independent valuations over $m$ items, the revenue-maximizing mechanism is prohibitively complex. This problem has been addressed using two main approaches: (i) Approximation: the best of two simple mechanisms (sell each item separately, or sell all the items as one bundle) gives $1/6$ of the optimal revenue [BILW14]. (ii) Enhanced competition: running the simple VCG mechanism with additional $m$ buyers extracts at least the optimal revenue in the original market [EFFTW17]. Both approaches, however, suffer from severe drawbacks: On the one hand, losing $83\%$ of the revenue is hardly acceptable in any application. On the other hand, attracting a linear number of new buyers may be prohibitive. Our main result is that by combining the two approaches one can achieve the best of both worlds. Specifically, for any constant $\epsilon$ one can obtain a $(1-\epsilon)$ fraction of the optimal revenue by running simple mechanisms --- either selling each item separately or selling all items as a single bundle --- with substantially fewer additional buyers: logarithmic, constant, or even none in some cases.


title: SDN-enabled Tactical Ad Hoc Networks: Extending Programmable Control to the Edge

abstract: Modern tactical operations have complex communication and computing requirements, often involving different coalition teams, that cannot be supported by today's mobile ad hoc networks. To this end, the emerging Software Defined Networking (SDN) paradigm has the potential to enable the redesign and successful deployment of these systems. In this paper, we propose a set of novel architecture designs for SDN-enabled mobile ad hoc networks in the tactical field. We discuss in detail the challenges raised by the ad hoc and coalition network environment, and we present specific solutions to address them. The proposed approaches build on evidence from experimental evaluation of such architectures and leverage recent theoretical results from SDN deployments in large backbone networks.


title: New bounds for exponential sums with a non-degenerate phase polynomial

abstract: We prove a recent conjecture due to Cluckers and Veys on exponential sums modulo $p^m$ for $m \geq 2$ in the special case where the phase polynomial $f$ is sufficiently non-degenerate with respect to its Newton polyhedron at the origin. Our main auxiliary result is an improved bound on certain related exponential sums over finite fields. This bound can also be used to settle a conjecture of Denef and Hoornaert on the candidate-leading Taylor coefficient of Igusa's local zeta function associated to a non-degenerate polynomial, at its largest non-trivial real candidate pole.


title: A Stitch in Time Saves Nine -- SPARQL querying of Property Graphs using Gremlin Traversals

abstract: Knowledge graphs have become popular over the past years and frequently rely on the Resource Description Framework (RDF) or Property Graphs (PG) as underlying data models. However, the query languages for these two data models -- SPARQL for RDF and Gremlin for property graph traversal -- are lacking interoperability. We present Gremlinator, a novel SPARQL to Gremlin translator. Gremlinator translates SPARQL queries to Gremlin traversals for executing graph pattern matching queries over graph databases. This allows to access and query a wide variety of Graph Data Management Systems (DMS) using the W3C standardized SPARQL query language and avoid the learning curve of a new Graph Query Language. Gremlin is a system-agnostic traversal language covering both OLTP graph database or OLAP graph processors, thus making it a desirable choice for supporting interoperability wrt. querying Graph DMSs. We present a comprehensive empirical evaluation of Gremlinator and demonstrate its validity and applicability by executing SPARQL queries on top of the leading graph stores Neo4J, Sparksee, and Apache TinkerGraph and compare the performance with the RDF stores Virtuoso, 4Store and JenaTDB. Our evaluation demonstrates the substantial performance gain obtained by the Gremlin counterparts of the SPARQL queries, especially for star-shaped and complex queries.


title: Null Lagrangian Measures in subspaces, compensated compactness and conservation laws

abstract: Compensated compactness is an important method used to solve nonlinear PDEs. A simple formulation of a compensated compactness problem is to ask for conditions on a set $\mathcal{K}\subset M^{m\times n}$ such that $$ \lim_{n\rightarrow \infty} \mathrm{dist}(Du_n,\mathcal{K})\overset{L^p}{\rightarrow} 0\; \Rightarrow \{Du_{n}\}_{n}\text{ is precompact.} $$ Let $M_1,M_2,\dots, M_q$ denote the set of minors of $M^{m\times n}$. A sufficient condition for this is that any measure $\mu$ supported on $\mathcal{K}$ satisfying $$ \int M_k(X) d\mu (X)=M_k\left(\int X d\mu (X)\right)\text{ for }k=1,2,\dots, q $$ is a Dirac measure. We call measures that satisfy the above equation "Null Lagrangian Measures" and we denote the set of Null Lagrangian Measures supported on $\mathcal{K}$ by $\mathcal{M}^{pc}(\mathcal{K})$. For general $m,n$, a necessary and sufficient condition for triviality of $\mathcal{M}^{pc}(\mathcal{K})$ was an open question even in the case where $\mathcal{K}$ is a linear subspace of $M^{m\times n}$. We answer this question and provide a necessary and sufficient condition for any linear subspace $\mathcal{K}\subset M^{m\times n}$. The ideas also allow us to show that for any $d\in \left\{1,2,3\right\}$, $d$-dimensional subspaces $\mathcal{K}\subset M^{m\times n}$ support non-trivial Null Lagrangian Measures if and only if $\mathcal{K}$ has Rank-$1$ connections. This is known to be false for $d\ge 4$. Using the ideas developed we are able to answer (up to first order) a question of Kirchheim, M\"{u}ller and Sverak on the Null Lagrangian measures arising in the study of a (one) entropy solution of a $2\times 2$ system of conservation laws that arises in elasticity.


title: The DMT classification of real and quaternionic lattice codes

abstract: In this paper we consider space-time codes where the code-words are restricted to either real or quaternion matrices. We prove two separate diversity-multiplexing gain trade-off (DMT) upper bounds for such codes and provide a criterion for a lattice code to achieve these upper bounds. We also point out that lattice codes based on Q-central division algebras satisfy this optimality criterion. As a corollary this result provides a DMT classification for all Q-central division algebra codes that are based on standard embeddings.


title: Adiabatic decay of internal solitons due to the Earth rotation within the framework of the Gardner-Ostrovsky equation

abstract: The adiabatic decay of different types of internal wave solitons caused by the Earth rotation is studied within the framework of the Gardner-Ostrovsky equation. The governing equation describing such processes includes quadratic and cubic nonlinear terms, as well as the Boussinesq and Coriolis dispersions. It is shown that at the early stage of evolution solitons gradually decay under the influence of weak Earth rotation. The characteristic decay time is derived for different types of solitons for positive and negative coefficient of cubic nonlinearity (both signs of that parameter may occur in the oceans). The coefficient of quadratic nonlinearity determines only a polarity of solitary wave. It is found that the adiabatic theory describes well the decay of solitons having bell-shaped profiles. In contrast to that, large amplitude table-top solitons, which can exist when the cubic nonlinear term is negative, are structurally unstable. Under the influence of Earth rotation they transfer first to the bell-shaped solitons, which decay then adiabatically. Estimates of the characteristic decay time of internal solitons are presented for the real oceanographic conditions.


title: First-principles investigation of elastic anomalies in niobium at high pressure and temperature

abstract: Niobium does not show any structure transition up to very high pressures. Nonetheless, by using density functional theory, we demonstrate in this work that it exhibits striking softening in elastic moduli C44 and C' at a pressure from 20 to 150 GPa. A novel anomaly softening in C44 from 275 to 400 GPa is also predicted. The physics behind these two anomalies is elaborated by electronic structure calculations, which revealed that they are actually different, with the first one directly relates to an underlying rhombohedral distortion whereas the latter originates in an electronic topological transition. The large magnitude of the softening leads to a remarkable elastic anisotropy in both the shear and the Young's moduli of Nb. Further investigation shows that thermo-electrons have an important role on these anomalies. This effect has not been noticed before. With increased electronic temperature, it is found that all anomalies (both the elastic softening and anisotropy) in Nb are gradually diminished, effectively giving rise to a temperature-induced hardening phenomenon.


title: Denotation Extraction for Interactive Learning in Dialogue Systems

abstract: This paper presents a novel task using real user data obtained in human-machine conversation. The task concerns with denotation extraction from answer hints collected interactively in a dialogue. The task is motivated by the need for large amounts of training data for question answering dialogue system development, where the data is often expensive and hard to collect. Being able to collect denotation interactively and directly from users, one could improve, for example, natural understanding components on-line and ease the collection of the training data. This paper also presents introductory results of evaluation of several denotation extraction models including attention-based neural network approaches.


title: A modern description of Rayleigh's criterion

abstract: Rayleigh's criterion states that it becomes essentially difficult to resolve two incoherent optical point sources separated by a distance below the width of point spread functions (PSF), namely in the subdiffraction limit. Recently, researchers have achieved superresolution for two incoherent point sources with equal strengths using a new type of measurement technique, surpassing Rayleigh's criterion. However, situations where more than two point sources needed to be resolved have not been fully investigated. Here we prove that for any incoherent sources with arbitrary strengths, a one- or two-dimensional image can be precisely resolved up to its second moment in the subdiffraction limit, i.e. the Fisher information (FI) is non-zero. But the FI with respect to higher order moments always tends to zero polynomially as the size of the image decreases, for any type of non-adaptive measurement. We call this phenomenon a modern description of Rayleigh's criterion. For PSFs under certain constraints, the optimal measurement basis estimating all moments in the subdiffraction limit for 1D weak-source imaging is constructed. Such basis also generates the optimal-scaling FI with respect to the size of the image for 2D or strong-source imaging, which achieves an overall quadratic improvement compared to direct imaging.


title: A Survey among Network Operators on BGP Prefix Hijacking

abstract: BGP prefix hijacking is a threat to Internet operators and users. Several mechanisms or modifications to BGP that protect the Internet against it have been proposed. However, the reality is that most operators have not deployed them and are reluctant to do so in the near future. Instead, they rely on basic - and often inefficient - proactive defenses to reduce the impact of hijacking events, or on detection based on third party services and reactive approaches that might take up to several hours. In this work, we present the results of a survey we conducted among 75 network operators to study: (a) the operators' awareness of BGP prefix hijacking attacks, (b) presently used defenses (if any) against BGP prefix hijacking, (c) the willingness to adopt new defense mechanisms, and (d) reasons that may hinder the deployment of BGP prefix hijacking defenses. We expect the findings of this survey to increase the understanding of existing BGP hijacking defenses and the needs of network operators, as well as contribute towards designing new defense mechanisms that satisfy the requirements of the operators.


title: Three-neutron resonance study using transition operators

abstract: Existing bound-state type calculations of three-neutron resonances yield contradicting results. A direct study of the three-neutron continuum using rigorous scattering equations with realistic potentials and search for possible resonances is aimed. Faddeev-type integral equations for three-neutron transition operators are solved in the momentum-space partial-wave framework. The evolution of resonances is studied by enhancing the strength of the two-neutron interaction in partial waves with nonzero orbital momentum. Calculated three-neutron transition operators exhibit resonant behavior for sufficiently large enhancement factors; pole trajectories in the complex-energy energy plane are extracted from their energy dependence. However, the resonant behavior completely disappears for the physical interaction strength. There are no physically observable three-neutron resonant states consistent with presently accepted interaction models.


title: On singularity properties of convolutions of algebraic morphisms

abstract: Let $K$ be a field of characteristic zero, $X$ and $Y$ be smooth $K$-varieties, and let $V$ be a finite dimensional $K$-vector space. For two algebraic morphisms $\varphi:X\rightarrow V$ and $\psi:Y\rightarrow V$ we define a convolution operation, $\varphi*\psi:X\times Y\to V$, by $\varphi*\psi(x,y)=\varphi(x)+\psi(y)$. We then study the singularity properties of the resulting morphism, and show that as in the case of convolution in analysis, it has improved smoothness properties. Explicitly, we show that for any morphism $\varphi:X\rightarrow V$ which is dominant when restricted to each irreducible component of $X$, there exists $N\in\mathbb{N}$ such that for any $n>N$ the $n$-th convolution power $\varphi^{n}:=\varphi*\dots*\varphi$ is a flat morphism with reduced geometric fibers of rational singularities (this property is abbreviated (FRS)). By a theorem of Aizenbud and Avni, for $K=\mathbb{Q}$, this is equivalent to good asymptotic behavior of the size of the $\mathbb{Z}/p^{k}\mathbb{Z}$-fibers of $\varphi^{n}$ when ranging over both $p$ and $k$. More generally, we show that given a family of morphisms $\{\varphi_{i}:X_{i}\rightarrow V\}$ of complexity $D\in\mathbb{N}$ (i.e. that the number of variables and the degrees of the polynomials defining $X_{i}$ and $\varphi_{i}$ are bounded by $D$), there exists $N(D)\in\mathbb{N}$ such that for any $n>N(D)$, the morphism $\varphi_{1}*\dots*\varphi_{n}$ is (FRS).


title: The genericity of Arnold diffusion in nearly integrable Hamiltonian systems

abstract: In this paper, we prove that the net of transition chain is $\delta$-dense for nearly integrable positive definite Hamiltonian systems with 3 degrees of freedom in the cusp-residual generic sense in $C^r$-topology, $r\ge 6$. The main ingredients of the proof existed in \cite{CZ,C17a,C17b}. As an immediate consequence, Arnold diffusion exists among this class of Hamiltonian systems. The question of \cite{C17c} is answered in Section 9 of the paper.


title: Groupoids and Wreath Products of Musical Transformations: a Categorical Approach from poly-Klumpenhouwer Networks

abstract: Transformational music theory, pioneered by the work of Lewin, shifts the music-theoretical and analytical focus from the "object-oriented" musical content to an operational musical process, in which transformations between musical elements are emphasized. In the original framework of Lewin, the set of transformations often form a group, with a corresponding group action on a given set of musical objects. Klumpenhouwer networks have been introduced based on this framework: they are informally labelled graphs, the labels of the vertices being pitch classes, and the labels of the arrows being transformations that maps the corresponding pitch classes. Klumpenhouwer networks have been recently formalized and generalized in a categorical setting, called poly-Klumpenhouwer networks. This work proposes a new groupoid-based approach to transformational music theory, in which transformations of PK-nets are considered rather than ordinary sets of musical objects. We show how groupoids of musical transformations can be constructed, and an application of their use in post-tonal music analysis with Berg's Four pieces for clarinet and piano, Op. 5/2. In a second part, we show how groupoids are linked to wreath products (which feature prominently in transformational music analysis) through the notion of groupoid bisections


title: Wirtinger Numbers for Virtual Links

abstract: The Wirtinger number of a virtual link is the minimum number of generators of the link group over all meridional presentations in which every relation is an iterated Wirtinger relation arising in a diagram. We prove that the Wirtinger number of a virtual link equals its virtual bridge number. Since the Wirtinger number is algorithmically computable, it gives a more effective way to calculate an upper bound for the virtual bridge number from a virtual link diagram. As an application, we compute upper bounds for the virtual bridge numbers and the quandle counting invariants of virtual knots with 6 or fewer crossings. In particular, we found new examples of nontrivial virtual bridge number one knots, and by applying Satoh's Tube map to these knots we can obtain nontrivial weakly superslice links.


title: The Magnetic Early B-type Stars I: Magnetometry and Rotation

abstract: The rotational and magnetic properties of many magnetic hot stars are poorly characterized, therefore the MiMeS and BinaMIcS collaborations have collected extensive high-dispersion spectropolarimetric datasets of these targets. We present longitudinal magnetic field measurements $\langle B_{\rm z}\rangle$ for 52 early B-type stars (B5 to B0), with which we attempt to determine their rotational periods $P_{\rm rot}$. Supplemented with high-resolution spectroscopy, low-resolution DAO circular spectropolarimetry, and archival Hipparcos photometry, we determined $P_{\rm rot}$ for 10 stars, leaving only 5 stars for which $P_{\rm rot}$ could not be determined. Rotational ephemerides for 14 stars were refined via comparison of new to historical magnetic measurements. The distribution of $P_{\rm rot}$ is very similar to that observed for the cooler Ap/Bp stars. We also measured $v\sin{i}$ and $v_{\rm mac}$ for all stars. Comparison to non-magnetic stars shows that $v\sin{i}$ is much lower for magnetic stars, an expected consequence of magnetic braking. We also find evidence that $v_{\rm mac}$ is lower for magnetic stars. LSD profiles extracted using single-element masks revealed widespread, systematic discrepancies in $\langle B_{\rm z}\rangle$ between different elements: this effect is apparent only for chemically peculiar stars, suggesting it is a consequence of chemical spots. Sinusoidal fits to H line $\langle B_{\rm z}\rangle$ measurements (which should be minimally affected by chemical spots), yielded evidence of surface magnetic fields more complex than simple dipoles in 6 stars for which this has not previously been reported; however, in all 6 cases the second- and third-order amplitudes are small relative to the first-order (dipolar) amplitudes.


title: Implications of macroeconomic volatility in the Euro area

abstract: In this paper we estimate a Bayesian vector autoregressive model with factor stochastic volatility in the error term to assess the effects of an uncertainty shock in the Euro area. This allows us to treat macroeconomic uncertainty as a latent quantity during estimation. Only a limited number of contributions to the literature estimate uncertainty and its macroeconomic consequences jointly, and most are based on single country models. We analyze the special case of a shock restricted to the Euro area, where member states are highly related by construction. We find significant results of a decrease in real activity for all countries over a period of roughly a year following an uncertainty shock. Moreover, equity prices, short-term interest rates and exports tend to decline, while unemployment levels increase. Dynamic responses across countries differ slightly in magnitude and duration, with Ireland, Slovakia and Greece exhibiting different reactions for some macroeconomic fundamentals.


title: Haantjes Algebras of the Lagrange Top

abstract: A symplectic-Haantjes manifold and a Poisson-Haantjes manifold for the Lagrange top are studied and a set of Darboux-Haantjes coordinates are computed. Such coordinates are separation variables for the associated Hamilton-Jacobi equation.


title: Fibered Categories a la Jean Benabou

abstract: These are notes about the theory of Fibred Categories as I have learned it from Jean Benabou. I also have used results from the Thesis of Jean-Luc Moens from 1982 in those sections where I discuss the fibered view of geometric morphisms. Thus, almost all of the contents is not due to me but most of it cannot be found in the literature since Benabou has given many talks on it but most of his work on fibered categories is unpublished. But I am solely responsible for the mistakes and for misrepresentations of his views. And certainly these notes do not cover all the work he has done on fibered categories. I just try to explain the most important notions he has come up with in a way trying to be as close as possible to his intentions and intuitions. I started these notes in 1999 when I gave a course on some of the material at a workshop in Munich. They have developed quite a lot over the years and I have tried to include most of the things I want to remember.


title: Strong Transverse Photosphere Magnetic Fields and Twist in Light Bridge Dividing Delta Sunspot of Active Region 12673

abstract: Solar Active Region (AR) 12673 is the most flare productive AR in the solar cycle 24. It produced four X-class flares including the X9.3 flare on 06 September 2017 and the X8.2 limb event on 10 September. Sun and Norton (2017) reported that this region had an unusual high rate of flux emergence, while Huang et al. (2018) reported that the X9.3 flare had extremely strong white-light flare emissions. Yang at al. (2017) described the detailed morphological evolution of this AR. In this report, we focus on usual behaviors of the light bridge (LB) dividing the delta configuration of this AR, namely the strong magnetic fields (above 5500 G) in the LB and apparent photospheric twist as shown in observations with a 0.1 arcsec spatial resolution obtained by the 1.6m telescope at Big Bear Solar Observatory.


title: Data Augmentation by Pairing Samples for Images Classification

abstract: Data augmentation is a widely used technique in many machine learning tasks, such as image classification, to virtually enlarge the training dataset size and avoid overfitting. Traditional data augmentation techniques for image classification tasks create new samples from the original training data by, for example, flipping, distorting, adding a small amount of noise to, or cropping a patch from an original image. In this paper, we introduce a simple but surprisingly effective data augmentation technique for image classification tasks. With our technique, named SamplePairing, we synthesize a new sample from one image by overlaying another image randomly chosen from the training data (i.e., taking an average of two images for each pixel). By using two images randomly selected from the training set, we can generate $N^2$ new samples from $N$ training samples. This simple data augmentation technique significantly improved classification accuracy for all the tested datasets; for example, the top-1 error rate was reduced from 33.5% to 29.0% for the ILSVRC 2012 dataset with GoogLeNet and from 8.22% to 6.93% in the CIFAR-10 dataset. We also show that our SamplePairing technique largely improved accuracy when the number of samples in the training set was very small. Therefore, our technique is more valuable for tasks with a limited amount of training data, such as medical imaging tasks.


title: An Improved Analysis of Least Squares Superposition Codes with Bernoulli Dictionary

abstract: For the additive white Gaussian noise channel with average power constraint, sparse superposition codes, proposed by Barron and Joseph in 2010, achieve the capacity. While the codewords of the original sparse superposition codes are made with a dictionary matrix drawn from a Gaussian distribution, we consider the case that it is drawn from a Bernoulli distribution. We show an improved upper bound on its block error probability with least squares decoding, which is fairly simplified and tighter bound than our previous result in 2014.


title: Gamma Radiation Spectra of 1200 MeV Electrons in Thick Beryllium, Silicon, and Tungsten Single Crystals

abstract: Gamma radiation spectra of 1200 MeV electrons in the single crystals of the beryllium 1.2 mm thick, silicon 1.5 mm and 15.0 mm thick and tungsten 1.18 mm thick along of the crystallographic axes were measured. Also spectral-angular distributions of gamma radiation in the silicon single crystals 1.5 mm thick along of the crystallographic axes <100>, <110> and <111> were measured. On the basis of these measurements the radiation spectra for the different solid angles up to 6.97*10-6 sr were obtained. Gamma radiation spectra of the electrons with energy 1200, 600 and 300 MeV in the Si single crystals 15.0 mm thick and the W thick 3.0 mm also were measured. The above results complement the previously obtained experimental and theoretical data and can be used to create a source of intense gamma-ray beams for radiation technologies.


title: Polynomials describing the multiplication in finitely generated torsion free nilpotent groups

abstract: A famous result of Hall asserts that the multiplication and exponentiation in finitely generated torsion free nilpotent groups can be described by rational polynomials. We describe an algorithm to determine such polynomials for all torsion free nilpotent groups of given Hirsch length. We apply this to determine the Hall polynomials for all such groups of Hirsch length at most 7.


title: Electronic band structure of rhenium dichalcogenides

abstract: The band structures of bulk transition metal dichalcogenides ReS2 and ReSe2 are presented, showing the complicated nature of the interband transitions in these materials, with several close-lying band gaps. Three-dimensional plots of constant energy surfaces in the Brillouin zone at energies near the band extrema are used to show that the valence band maximum and conduction band minimum may not be located at special high symmetry points. We find that both materials are indirect gap materials and that one must be careful to consider the whole Brillouin zone volume in addressing this question.


title: Unitarily invariant norm inequalities involving $G_1$ operators

abstract: In this paper, we present some upper bounds for unitarily invariant norms inequalities. Among other inequalities, we show some upper bounds for the Hilbert-Schmidt norm. In particular, we prove \begin{align*} \|f(A)Xg(B)\pm g(B)Xf(A)\|_2\leq \left\|\frac{(I+|A|)X(I+|B|)+(I+|B|)X(I+|A|)}{d_Ad_B}\right\|_2, \end{align*} where $A, B, X\in\mathbb{M}_n$ such that $A$, $B$ are Hermitian with $\sigma (A)\cup\sigma(B)\subset\mathbb{D}$ and $f, g$ are analytic on the complex unit disk $\mathbb{{D}}$, $g(0)=f(0)=1$, $\textrm{Re}(f)>0$ and $\textrm{Re}(g)>0$.


title: Modeling the number of hidden events subject to observation delay

abstract: This paper considers the problem of predicting the number of events that have occurred in the past, but which are not yet observed due to a delay. Such delayed events are relevant in predicting the future cost of warranties, pricing maintenance contracts, determining the number of unreported claims in insurance and in modeling the outbreak of diseases. Disregarding these unobserved events results in a systematic underestimation of the event occurrence process. Our approach puts emphasis on modeling the time between the occurrence and observation of the event, the so-called observation delay. We propose a granular model for the heterogeneity in this observation delay based on the occurrence day of the event and on calendar day effects in the observation process, such as weekday and holiday effects. We illustrate this approach on a European general liability insurance data set where the occurrence of an accident is reported to the insurer with delay.


title: Spectroscopic diagnostics of the non-Maxwellian $\kappa$-distributions using SDO/EVE observations of the 2012 March 7 X-class flare

abstract: Spectroscopic observations made by the Extreme Ultraviolet Variability Experiment (EVE) on board the Solar Dynamics Observatory (SDO) during the 2012 March 7 X5.4-class flare (SOL2012-03-07T00:07) are analyzed for signatures of the non-Maxwellian kappa-distributions. Observed spectra were averaged over 1 minute to increase photon statistics in weaker lines and the pre-flare spectrum was subtracted. Synthetic line intensities for the kappa-distributions are calculated using the KAPPA database. We find strong departures (kappa < 2) during the early and impulsive phases of the flare, with subsequent thermalization of the flare plasma during the gradual phase. If the temperatures are diagnosed from a single line ratio, the results are strongly dependent on the value of kappa. For kappa=2, we find temperatures about a factor of two higher than the commonly used Maxwellian ones. The non-Maxwellian effects could also cause the temperatures diagnosed from line ratios and from the ratio of GOES X-ray channels to be different. Multithermal analysis reveals the plasma to be strongly multithermal at all times with flat DEMs. For lower kappa, the DEM_kappa are shifted towards higher temperatures. The only parameter that is nearly independent of kappa is electron density, where we find log(N_e) $\approx$ 11.5 almost independently of time. We conclude that the non-Maxwellian effects are important and should be taken into account when analyzing solar flare observations, including spectroscopic and imaging ones.


title: Online Cluster Validity Indices for Streaming Data

abstract: Cluster analysis is used to explore structure in unlabeled data sets in a wide range of applications. An important part of cluster analysis is validating the quality of computationally obtained clusters. A large number of different internal indices have been developed for validation in the offline setting. However, this concept has not been extended to the online setting. A key challenge is to find an efficient incremental formulation of an index that can capture both cohesion and separation of the clusters over potentially infinite data streams. In this paper, we develop two online versions (with and without forgetting factors) of the Xie-Beni and Davies-Bouldin internal validity indices, and analyze their characteristics, using two streaming clustering algorithms (sk-means and online ellipsoidal clustering), and illustrate their use in monitoring evolving clusters in streaming data. We also show that incremental cluster validity indices are capable of sending a distress signal to online monitors when evolving clusters go awry. Our numerical examples indicate that the incremental Xie-Beni index with forgetting factor is superior to the other three indices tested.


title: Systematic design methodology for development and flight testing of a variable pitch quadrotor biplane VTOL UAV for payload delivery

abstract: This paper discusses the conceptual design and proof-of-concept flight demonstration of a novel variable pitch quadrotor biplane Unmanned Aerial Vehicle concept for payload delivery. The proposed design combines vertical takeoff and landing (VTOL), precise hover capabilities of a quadrotor helicopter and high range, endurance and high forward cruise speed characteristics of a fixed wing aircraft. The proposed UAV is designed for a mission requirement of carrying and delivering 6 kg payload to a destination at 16 km from the point of origin. First, the design of proprotors is carried out using a physics based modified Blade Element Momentum Theory (BEMT) analysis, which is validated using experimental data generated for the purpose. Proprotors have conflicting requirement for optimal hover and forward flight performance. Next, the biplane wings are designed using simple lifting line theory. The airframe design is followed by power plant selection and transmission design. Finally, weight estimation is carried out to complete the design process. The proprotor design with 24 deg preset angle and -24 deg twist is designed based on 70% weightage to forward flight and 30% weightage to hovering flight conditions. The operating RPM of the proprotors is reduced from 3200 during hover to 2000 during forward flight to ensure optimal performance during cruise flight. The estimated power consumption during forward flight mode is 64% less than that required for hover, establishing the benefit of this hybrid concept. A proof-of-concept scaled prototype is fabricated using commercial-off-the-shelf parts. A PID controller is developed and implemented on the PixHawk board to enable stable hovering flight and attitude tracking.


title: Deep Gaussian Processes with Decoupled Inducing Inputs

abstract: Deep Gaussian Processes (DGP) are hierarchical generalizations of Gaussian Processes (GP) that have proven to work effectively on a multiple supervised regression tasks. They combine the well calibrated uncertainty estimates of GPs with the great flexibility of multilayer models. In DGPs, given the inputs, the outputs of the layers are Gaussian distributions parameterized by their means and covariances. These layers are realized as Sparse GPs where the training data is approximated using a small set of pseudo points. In this work, we show that the computational cost of DGPs can be reduced with no loss in performance by using a separate, smaller set of pseudo points when calculating the layerwise variance while using a larger set of pseudo points when calculating the layerwise mean. This enabled us to train larger models that have lower cost and better predictive performance.


title: An Ontology for Satellite Databases

abstract: This paper demonstrates the development of ontology for satellite databases. First, I create a computational ontology for the Union of Concerned Scientists (UCS) Satellite Database (UCSSD for short), called the UCS Satellite Ontology (or UCSSO). Second, in developing UCSSO I show that The Space Situational Awareness Ontology (SSAO) (Rovetto and Kelso 2016)--an existing space domain reference ontology--and related ontology work by the author (Rovetto 2015, 2016) can be used either (i) with a database-specific local ontology such as UCSSO, or (ii) in its stead. In case (i), local ontologies such as UCSSO can reuse SSAO terms, perform term mappings, or extend it. In case (ii), the author's orbital space ontology work, such as the SSAO, is usable by the UCSSD and organizations with other space object catalogs, as a reference ontology suite providing a common semantically-rich domain model. The SSAO, UCSSO, and the broader Orbital Space Environment Domain Ontology project is online at http://purl.org/space-ontology and GitHub. This ontology effort aims, in part, to provide accurate formal representations of the domain for various applications. Ontology engineering has the potential to facilitate the sharing and integration of satellite data from federated databases and sensors for safer spaceflight.


title: Quantifying Efficiency Loss of Perovskite Solar Cells by a Modified Detailed Balance Model

abstract: A modified detailed balance model is built to understand and quantify efficiency loss of perovskite solar cells. The modified model captures the light-absorption dependent short-circuit current, contact and transport-layer modified carrier transport, as well as recombination and photon-recycling influenced open-circuit voltage. Our theoretical and experimental results show that for experimentally optimized perovskite solar cells with the power conversion efficiency of 19%, optical loss of 25%, non-radiative recombination loss of 35%, and ohmic loss of 35% are the three dominant loss factors for approaching the 31% efficiency limit of perovskite solar cells. We also find that the optical loss will climb up to 40% for a thin-active-layer design. Moreover, a misconfigured transport layer will introduce above 15% of energy loss. Finally, the perovskite-interface induced surface recombination, ohmic loss, and current leakage should be further reduced to upgrade device efficiency and eliminate hysteresis effect. The work contributes to fundamental understanding of device physics of perovskite solar cells. The developed model offers a systematic design and analysis tool to photovoltaic science and technology.


title: The Petersen graph has no quantum symmetry

abstract: In 2007, Banica and Bichon asked whether the well-known Petersen graph has quantum symmetry. In this article, we show that the Petersen graph has no quantum symmetry, i.e. the quantum automorphism group of the Petersen graph is its usual automorphism group, the symmetric group $S_5$.


title: Impact of electron-electron Coulomb interaction on the high harmonic generation process in graphene

abstract: Generation of high harmonics in a monolayer graphene initiated by strong coherent radiation field, taking into account electron-electron Coulomb interaction is investigated. A microscopic theory describing the nonlinear optical response of graphene is developed. The Coulomb interaction of electrons is treated in the scope of dynamic Hartree-Fock approximation. The closed set of integrodifferential equations for the single-particle density matrix of a graphene quantum structure is solved numerically. The obtained solutions show the significance of many-body Coulomb interaction on the high harmonic generation process in graphene.


title: Barrier tunneling of the Loop-Nodal Semimetal in the Hyperhoneycomb lattice

abstract: We theoretically investigate the barrier tunneling in the three-dimensional model of the hyperhoneycomb lattice, which is a nodal-line semimetal with a Dirac loop at zero energy. In the presence of a rectangular potential, the scattering amplitudes for different injecting states around the nodal loop are calculated, by using analytical treatments of the effective model, as well as numerical simulations of the tight binding model. In the low energy regime, states with remarkable transmissions are only concentrated in a small range around the loop plane. When the momentum of the injecting electron is coplanar with the nodal loop, nearly perfect transmissions can occur for a large range of injecting azimuthal angles if the potential is not high. For higher potential energies, the transmission shows a resonant oscillation with the potential, but still with peaks being perfect transmissions that do not decay with the potential width. These robust transports of the loop-nodal semimetal can be approximately explained by a momentum dependent Dirac Hamiltonian.


title: Beltrami Flows, Non-Diffracting Waves and the Axion Beltrami-Maxwell Postulates

abstract: We present a particular class of solutions in Cartesian, cylindrical and spherical coordinates of the non-dispersive travelling wave variety that propagate an envelope of varying vorticity some of which include topological waves with parallel electric and magnetic components. The significance of these solutions is examined in the recently proposed Axion-Maxwell field theory with potential applications in material science and topological insulators.


title: Max-infinitely divisible models and inference for spatial extremes

abstract: For many environmental processes, recent studies have shown that the dependence strength is decreasing when quantile levels increase. This implies that the popular max-stable models are inadequate to capture the rate of joint tail decay, and to estimate joint extremal probabilities beyond observed levels. We here develop a more flexible modeling framework based on the class of max-infinitely divisible processes, which extend max-stable processes while retaining dependence properties that are natural for maxima. We propose two parametric constructions for max-infinitely divisible models, which relax the max-stability property but remain close to some popular max-stable models obtained as special cases. The first model considers maxima over a finite, random number of independent observations, while the second model generalizes the spectral representation of max-stable processes. Inference is performed using a pairwise likelihood. We illustrate the benefits of our new modeling framework on Dutch wind gust maxima calculated over different time units. Results strongly suggest that our proposed models outperform other natural models, such as the Student-t copula process and its max-stable limit, even for large block sizes.


title: Two-body loss rates for reactive collisions of cold atoms

abstract: We present an effective two-channel model for reactive collisions of cold atoms. It augments elastic molecular channels with an irreversible, inelastic loss channel. Scattering is studied with the distorted-wave Born approximation and yields general expressions for angular momentum resolved cross sections as well as two-body loss rates. Explicit expressions are obtained for piece-wise constant potentials. A pole expansion reveals simple universal shape functions for cross sections and two-body loss rates in agreement with the Wigner threshold laws. This is applied to collisions of metastable ${^{20}}$Ne -- ${^{21}}$Ne atoms, which decay primarily through exothermic Penning-, or Associative- ionization processes. From a numerical solution of the multichannel Schr\"odinger equation using the best currently available molecular potentials, we have obtained synthetic scattering data. Using the two-body loss shape functions derived in this paper, we can match these scattering data very well.


title: High-Throughput Identification of Electrides from all Known Inorganic Materials

abstract: In this paper, we present the results of a large-scale, high-throughput computational search for electrides among all known inorganic materials. Analyzing a database of density functional theory results on more than 60,000 compounds, we identify 69 new electride candidates. We report on all these candidates and discuss the structural and chemical factors leading to electride formation. Among these candidates, our work identifies the first partially-filled 3d transition metal containing electrides Ba3CrN3 and Sr3CrN3; an unexpected finding that contravenes conventional chemistry.


title: An efficient K -means clustering algorithm for massive data

abstract: The analysis of continously larger datasets is a task of major importance in a wide variety of scientific fields. In this sense, cluster analysis algorithms are a key element of exploratory data analysis, due to their easiness in the implementation and relatively low computational cost. Among these algorithms, the K -means algorithm stands out as the most popular approach, besides its high dependency on the initial conditions, as well as to the fact that it might not scale well on massive datasets. In this article, we propose a recursive and parallel approximation to the K -means algorithm that scales well on both the number of instances and dimensionality of the problem, without affecting the quality of the approximation. In order to achieve this, instead of analyzing the entire dataset, we work on small weighted sets of points that mostly intend to extract information from those regions where it is harder to determine the correct cluster assignment of the original instances. In addition to different theoretical properties, which deduce the reasoning behind the algorithm, experimental results indicate that our method outperforms the state-of-the-art in terms of the trade-off between number of distance computations and the quality of the solution obtained.


title: Adversarial Deep Learning for Robust Detection of Binary Encoded Malware

abstract: Malware is constantly adapting in order to avoid detection. Model based malware detectors, such as SVM and neural networks, are vulnerable to so-called adversarial examples which are modest changes to detectable malware that allows the resulting malware to evade detection. Continuous-valued methods that are robust to adversarial examples of images have been developed using saddle-point optimization formulations. We are inspired by them to develop similar methods for the discrete, e.g. binary, domain which characterizes the features of malware. A specific extra challenge of malware is that the adversarial examples must be generated in a way that preserves their malicious functionality. We introduce methods capable of generating functionally preserved adversarial malware examples in the binary domain. Using the saddle-point formulation, we incorporate the adversarial examples into the training of models that are robust to them. We evaluate the effectiveness of the methods and others in the literature on a set of Portable Execution~(PE) files. Comparison prompts our introduction of an online measure computed during training to assess general expectation of robustness.


title: Constructive Foundation of Quantum Mechanics

abstract: I describe a constructive foundation for Quantum Mechanics, based on the discreteness of the degrees of freedom of quantum objects and on the Principle of Relativity. Taking Einstein's historical construction of Special Relativity as a model, the construction is carried out in close contact with a simple quantum mechanical Gedanken experiment. This leads to the standard axioms of Quantum Mechanics. The quantum mechanical description is identified as a tool that allows describing objects with discrete degrees of freedom in space-time covariant with respect to coordinate transformations. An inherent property of this description is a quantum mechanical interaction mechanism. The construction gives detailed answers to controversial questions, such as the measurement problem, the informational content of the wave function, and the completeness of Quantum Mechanics.


title: The spectrum of the Laplacian on forms

abstract: In this article we prove a generalization of Weyl's criterion for the spectrum of a self-adjoint nonnegative operator on a Hilbert space. We will apply this new criterion in combination with Cheeger-Fukaya-Gromov and Cheeger-Colding theory to study the $k$-form essential spectrum over a complete manifold with vanishing curvature at infinity or asymptotically nonnegative Ricci curvature. In addition, we will apply the generalized Weyl criterion to study the variation of the spectrum of a self-adjoint operator under continuous perturbations of the operator. In the particular case of the Laplacian on $k$-forms over a complete manifold we will use these analytic tools to find significantly stronger results for its spectrum including its behavior under a continuous deformation of the metric of the manifold.


title: Evidence for a pressure-induced spin transition in olivine-type LiFePO$_{4}$ triphylite

abstract: We present a combination of first-principles and experimental results regarding the structural and magnetic properties of olivine-type LiFePO$_4$ under pressure. Our investigations indicate that the starting $Pbnm$ phase of LiFePO$_4$ persists up to 70 GPa. Further compression leads to an isostructural transition in the pressure range of ~70-75 GPa, inconsistent with a former theoretical study. Considering our first-principles prediction for a high-spin to low-spin transition of Fe$^{2+}$ close to 72 GPa, we attribute the experimentally observed isostructural transition to a change on the spin state of Fe$^{2+}$ in LiFePO$_4$. Compared to relevant Fe-bearing minerals, LiFePO$_4$ exhibits the largest onset pressure for a pressure-induced spin state transition.


title: A method for Bayesian regression modelling of composition data

abstract: Many scientific and industrial processes produce data that is best analysed as vectors of relative values, often called compositions or proportions. The Dirichlet distribution is a natural distribution to use for composition or proportion data. It has the advantage of a low number of parameters, making it the parsimonious choice in many cases. In this paper we consider the case where the outcome of a process is Dirichlet, dependent on one or more explanatory variables in a regression setting. We explore some existing approaches to this problem, and then introduce a new simulation approach to fitting such models, based on the Bayesian framework. We illustrate the advantages of the new approach through simulated examples and an application in sport science. These advantages include: increased accuracy of fit, increased power for inference, and the ability to introduce random effects without additional complexity in the analysis.


title: Interaction instability of localization in quasiperiodic systems

abstract: Integrable models form pillars of theoretical physics because they allow for full analytical understanding. Despite being rare, many realistic systems can be described by models that are close to integrable. Therefore, an important question is how small perturbations influence the behavior of solvable models. This is particularly true for many-body interacting quantum systems where no general theorems about their stability are known. Here, we show that no such theorem can exist by providing an explicit example of a one-dimensional many-body system in a quasiperiodic potential whose transport properties discontinuously change from localization to diffusion upon switching on interaction. This demonstrates an inherent instability of a possible many-body localization in a quasiperiodic potential at small interactions. We also show how the transport properties can be strongly modified by engineering potential at only a few lattice sites.

categories: cond-mat.str-el cond-mat.stat-mech nlin.CD quant-ph


title: Anisotropic generalization of well-known solutions describing relativistic self-gravitating fluid systems: An algorithm

abstract: We present an algorithm to generalize a plethora of well-known solutions to Einstein field equations describing spherically symmetric relativistic fluid spheres by relaxing the pressure isotropy condition on the system. By suitably fixing the model parameters in our formulation, we generate closed-form solutions which may be treated as anisotropic generalization of a large class of solutions describing isotropic fluid spheres. From the resultant solutions, a particular solution is taken up to show its physical acceptability. Making use of the current estimate of mass and radius of a known pulsar, the effects of anisotropic stress on the gross physical behaviour of a relativistic compact star is also highlighted.


title: Topology of planar self-affine tiles with collinear digit set

abstract: We consider the self-affine tiles with collinear digit set defined as follows. Let $A,B\in\mathbb{Z}$ satisfy $|A|\leq B\geq 2$ and $M\in\mathbb{Z}^{2\times2}$ be an integral matrix with characteristic polynomial $x^2+Ax+B$. Moreover, let $\mathcal{D}=\{0,v,2v,\ldots,(B-1)v\}$ for some $v\in\mathbb{Z}^2$ such that $v,M v$ are linearly independent. We are interested in the topological properties of the self-affine tile $\mathcal{T}$ defined by $M\mathcal{T}=\bigcup_{d\in\mathcal{D}}(\mathcal{T}+d)$. Lau and Leung proved that $\mathcal{T}$ is homeomorphic to a closed disk if and only if $2|A|\leq B+2$. In particular, $\mathcal{T}$ has no cut point. We prove here that $\mathcal{T}$ has a cut point if and only if $2|A|\geq B+5$. For $2|A|-B\in \{3,4\}$, the interior of $\mathcal{T}$ is disconnected and the closure of each connected component of the interior of $\mathcal{T}$ is homeomorphic to a closed disk.


title: A Method for Winning at Lotteries

abstract: We report a new result on lotteries --- that a well-funded syndicate has a purely mechanical strategy to achieve expected returns of 10\% to 25\% in an equiprobable lottery with no take and no carryover pool. We prove that an optimal strategy (Nash equilibrium) in a game between the syndicate and other players consists of betting one of each ticket (the "trump ticket"), and extend that result to proportional ticket selection in non-equiprobable lotteries. The strategy can be adjusted to accommodate lottery taxes and carryover pools. No "irrationality" need be involved for the strategy to succeed --- it requires only that a large group of non-syndicate bettors each choose a few tickets independently.


title: Does it Pay to Buy the Pot in the Canadian 6/49 Lotto? Implications for Lottery Design

abstract: Despite its unusual payout structure, the Canadian 6/49 Lotto is one of the few government sponsored lotteries that has the potential for a favorable strategy we call "buying the pot." By buying the pot we mean that a syndicate buys each ticket in the lottery, ensuring that it holds a jackpot winner. We assume that the other bettors independently buy small numbers of tickets. This paper presents (1) a formula for the syndicate's expected return, (2) conditions under which buying the pot produces a significant positive expected return, and (3) the implications of these findings for lottery design.


title: Study of the process $e^+e^- \to \pi^+\pi^-\eta $ using initial state radiation

abstract: We study the process $e^+e^- \to \pi^+\pi^-\eta \gamma$, where the photon is radiated from the initial state. About 8000 fully reconstructed events of this process are selected from the BaBar data sample with an integrated luminosity of 469~fb$^{-1}$. Using the $\pi^+\pi^-\eta$ invariant mass spectrum we measure the $e^+e^- \to \pi^+\pi^-\eta$ cross section in the $e^+e^-$ center-of-mass energy range from 1.15 to 3.5 GeV. The cross section is well described by the Vector-Meson Dominance model with four $\rho$-like states. We observe $49\pm9$ events of the $J/\psi$ decay to $\pi^+\pi^-\eta$, and measure the product $\Gamma_{J/\Psi \to e^+e^-} \text{B}_{J/\Psi \to \pi^+\pi^-\eta} = 2.34 \pm 0.43_{\text{stat}} \pm 0.16_{\text{syst}}$~eV.


title: Representation Learning with Autoencoders for Electronic Health Records: A Comparative Study

abstract: Increasing volume of Electronic Health Records (EHR) in recent years provides great opportunities for data scientists to collaborate on different aspects of healthcare research by applying advanced analytics to these EHR clinical data. A key requirement however is obtaining meaningful insights from high dimensional, sparse and complex clinical data. Data science approaches typically address this challenge by performing feature learning in order to build more reliable and informative feature representations from clinical data followed by supervised learning. In this paper, we propose a predictive modeling approach based on deep learning based feature representations and word embedding techniques. Our method uses different deep architectures (stacked sparse autoencoders, deep belief network, adversarial autoencoders and variational autoencoders) for feature representation in higher-level abstraction to obtain effective and robust features from EHRs, and then build prediction models on top of them. Our approach is particularly useful when the unlabeled data is abundant whereas labeled data is scarce. We investigate the performance of representation learning through a supervised learning approach. Our focus is to present a comparative study to evaluate the performance of different deep architectures through supervised learning and provide insights in the choice of deep feature representation techniques. Our experiments demonstrate that for small data sets, stacked sparse autoencoder demonstrates a superior generality performance in prediction due to sparsity regularization whereas variational autoencoders outperform the competing approaches for large data sets due to its capability of learning the representation distribution.


title: Bayesian Fitting of Dirichlet Type I and II Distributions

abstract: In his 1986 book, Aitchison explains that compositional data is regularly mishandled in statistical analyses, a pattern that continues to this day. The Dirichlet Type I distribution is a multivariate distribution commonly used to model a set of proportions that sum to one. Aitchinson goes on to lament the difficulties of Dirichlet modelling and the scarcity of alternatives. While he addresses the second of these issues, we address the first. The Dirichlet Type II distribution is a transformation of the Dirichlet Type I distribution and is a multivariate distribution on the positive real numbers with only one more parameter than the number of dimensions. This property of Dirichlet distributions implies advantages over common alternatives as the number of dimensions increase. While not all data is amenable to Dirichlet modelling, there are many cases where the Dirichlet family is the obvious choice. We describe the Dirichlet distributions and show how to fit them using both frequentist and Bayesian methods (we derive and apply two objective priors). The Beta distribution is discussed as a special case. We report a small simulation study to compare the fitting methods. We derive the conditional distributions and posterior predictive conditional distributions. The flexibility of this distribution family is illustrated via examples, the last of which discusses imputation (using the posterior predictive conditional distributions).


title: Gauge theory and foliations I; germ cords versus quantum cords

abstract: We apply gauge theory to study the space $F_k(M)$ of smooth codimension-$k$ framed foliations on a smooth manifold $M$. The quotient of Maurer-Cartan elements by the action of an infinite dimensional non-abelian gauge groupoid forms a moduli space, which contains $F_k(M)$ as a subspace. The notion of holonomy is naturally extended to this moduli space and the cohomology theory associated with points of this moduli space which correspond to non-singular foliations coincides with Bott cohomology. The quotient of the moduli space under concordance is identified as the space of homotopy classes of maps to the classifying spaces $B\Gamma^g_k$ and $B\Gamma^q_k$. While $B\Gamma^g$ is a classic and has been studied since Haefliger, $B\Gamma^q$ (which is a quotient of $B\Gamma^g$) carries a simpler topology and offers a rival theory.


title: Quasi-shuffle algebras and renormalisation of rough differential equations

abstract: The objective of this work is to compare several approaches to the process of renormalisation in the context of rough differential equations using the substitution bialgebra on rooted trees known from backward error analysis of $B$-series. For this purpose, we present a so-called arborification of the Hoffman--Ihara theory of quasi-shuffle algebra automorphisms. The latter are induced by formal power series, which can be seen to be special cases of the cointeraction of two Hopf algebra structures on rooted forests. In particular, the arborification of Hoffman's exponential map, which defines a Hopf algebra isomorphism between the shuffle and quasi-shuffle Hopf algebra, leads to a canonical renormalisation that coincides with Marcus' canonical extension for semimartingale driving signals. This is contrasted with the canonical geometric rough path of Hairer and Kelly by means of a recursive formula defined in terms of the coaction of the substitution bialgebra.


title: Chemotaxis emerges as the optimal solution to cooperative search games

abstract: Cooperative search games are collective tasks where all agents share the same goal of reaching a target in the shortest time while limiting energy expenditure and avoiding collisions. Here we show that the equations that characterize the optimal strategy are identical to a long-known phenomenological model of chemotaxis, the directed motion of microorganisms guided by chemical cues. Within this analogy, the substance to which searchers respond acts as the memory over which agents share information about the environment. The actions of writing, erasing and forgetting are equivalent to production, consumption and degradation of chemoattractant. The rates at which these biochemical processes take place are tightly related to the parameters that characterize the decision-making problem, such as learning rate, costs for time, control, collisions and their trade-offs, as well as the attitude of agents toward risk. We establish a dictionary that maps notions from decision-making theory to biophysical observables in chemotaxis, and vice versa. Our results offer a fundamental explanation of why search algorithms that mimic microbial chemotaxis can be very effective and suggest how to optimize their performance.


title: Self-Assembled formation of long, thin, and uncoalesced GaN nanowires on crystalline TiN films

abstract: We investigate in detail the self-assembled nucleation and growth of GaN nanowires by molecular beam epitaxy on crystalline TiN films. We demonstrate that this type of substrate allows the growth of long and thin GaN nanowires that do not suffer from coalescence, which is in contrast to the growth on Si and other substrates. Only beyond a certain nanowire length that depends on the nanowire number density and exceeds here 1.5 {\mu}m, coalescence takes place by bundling, i.e. the same process as on Si. By analyzing the nearest neighbor distance distribution, we identify diffusion-induced repulsion of neighboring nanowires as the main mechanism limiting the nanowire number density during nucleation on TiN. Since on Si the final number density is determined by shadowing of the impinging molecular beams by existing nanowires, it is the difference in adatom surface diffusion that enables on TiN the formation of nanowire ensembles with reduced number density. These nanowire ensembles combine properties that make them a promising basis for the growth of core-shell heterostructures.


title: Asynchronous distributed algorithms for seeking generalized Nash equilibria under full and partial decision information

abstract: We investigate asynchronous distributed algorithms with delayed information for seeking generalized Nash equilibrium over multi-agent networks. The considered game model has all players' local decisions coupled with a shared affine constraint. We assume each player can only access its local objective function, local constraint, and a local block matrix of the affine constraint. We first give the algorithm for the case when each agent is able to fully access all other players' decisions. With the help of auxiliary edge variables and edge Laplacian matrix, each player can carry on its local iteration in an asynchronous manner, using only local data and possibly delayed neighbour information. And then we investigate the case when the agents cannot know all other players' decisions, which is called a partial decision case. We introduce a local estimation of the overall decisions for each agent in the partial decision case, and develop another asynchronous algorithm by incorporating consensus dynamics on the local estimations of the overall decisions. Since both algorithms do not need any centralized clock coordination, the algorithms fully exploit the local computation resource of each player, and remove the idle time due to waiting for the "slowest" agent. Both algorithms are developed by a preconditioned forward-backward operator splitting method, while convergence is shown with the help of asynchronous fixed-point iterations under proper assumptions and fixed step-size choices. Numerical studies verify both algorithms' convergence and efficiency.


title: The set of vertices with positive curvature in a planar graph with nonnegative curvature

abstract: In this paper, we give the sharp upper bound for the number of vertices with positive curvature in a planar graph with nonnegative combinatorial curvature. Based on this, we show that the automorphism group of a planar---possibly infinite---graph with nonnegative combinatorial curvature and positive total curvature is a finite group, and give an upper bound estimate for the order of the group.


title: Iterative Learning Economic Model Predictive Control

abstract: An iterative learning based economic model predictive controller (ILEMPC) is proposed for repetitive tasks in this paper. Compared with existing works, the initial feasible trajectory of the proposed ILEMPC is not restricted to be convergent to an equilibrium so it can handle various types of control objectives: stabilization, tracking a periodic trajectory and even pure economic optimization. The controller can learn from the previous closed-loop trajectory, resulting in a performance which is guaranteed to be no worse than the previous one. Under some standard assumptions in model predictive control, we show that recursive feasibility is ensured. Furthermore, for stabilization problem, the convergence of each learned trajectory and the learning process are established provided the initial trajectory is convergent. Numerical examples show that the proposed control strategy works well for different types of control tasks and systems.


title: Tree modules and limits of the approximation theory

abstract: In this expository paper, we present a construction of tree modules and combine it with (infinite dimensional) tilting theory and relative Mittag-Leffler conditions in order to explore limits of the approximation theory of modules. We also present a recent generalization of this construction due to Saroch which applies to factorization properties of maps, and yields a solution of an old problem by Auslander concerning existence of almost split sequences.


title: Minimizing Residues and Strain in 2D Materials Transferred from PDMS

abstract: Integrating layered two-dimensional (2D) materials into 3D heterostructures offers opportunities for novel material functionalities and applications in electronics and photonics. In order to build the highest quality heterostructures, it is crucial to preserve the cleanliness and morphology of 2D material surfaces that come in contact with polymers such as PDMS during transfer. Here we report that substantial residues and up to ~0.22% compressive strain can be present in monolayer MoS$_{2}$ flakes transferred using PDMS. We show that a UV-ozone pre-cleaning of the PDMS surface before exfoliation significantly reduces organic residues on transferred MoS$_{2}$ flakes. An additional 200$^{\circ}$C vacuum anneal after transfer efficiently removes interfacial bubbles and wrinkles as well as accumulated strain, thereby restoring the surface morphology of transferred flakes to their native state. Our recipe is important for building clean heterostructures of 2D materials and increasing the reproducibility and reliability of devices based on them.


title: Micro(point)contact spectroscopy of dilute magnetic (Kondo) alloys CuMn and CuFe

abstract: The method of microcontact spectroscopy is used to study alloys with magnetic impurities CuMn and CuFe in the range of concentrations 0.01-1 at.%. Minima or maxima (so-called zero-bias anomalies) were observed in the microcontact spectra of these alloys at voltages ~ 1 mV. The Lande g-factor for the Mn impurity in a Cu matrix was determined from the splitting of the minimum of the zero-bias anomaly in a magnetic field. The quantitative calculations carried out agree well with theory and permit determining both the important geometric contact parameter <K> i.e., the averaged geometric form factor, and the characteristics of the alloy itself, for example, J/E_F, i.e., the ratio of the magnitude of the exchange interaction energy between an electron and the magnetic impurity to the Fermi energy, from the microcontact spectra.


title: Global fluctuations for 1D log-gas dynamics. (2) Covariance kernel and support

abstract: We consider the hydrodynamic limit in the macroscopic regime of the coupled system of stochastic differential equations, $ d\lambda_t^i=\frac{1}{\sqrt{N}} dW_t^i - V'(\lambda_t^i) dt+ \frac{\beta}{2N} \sum_{j\not=i} \frac{dt}{\lambda^i_t-\lambda^j_t}, \qquad i=1,\ldots,N, $ with $\beta>1$, sometimes called generalized Dyson's Brownian motion, describing the dissipative dynamics of a log-gas of $N$ equal charges with equilibrium measure corresponding to a $\beta$-ensemble, with sufficiently regular convex potential $V$. The limit $N\to\infty$ is known to satisfy a mean-field Mc Kean-Vlasov equation. Fluctuations around this limit have been shown by the author to define a Gaussian process solving some explicit martingale problem written in terms of a generalized transport equation. We prove a series of results concerning either the Mc Kean-Vlasov equation for the density $\rho_t$, notably regularity results and time-evolution of the support, or the associated hydrodynamic fluctuation process, whose space-time covariance kernel we compute explicitly.

categories: math.PR cond-mat.quant-gas math-ph math.MP


title: Search on Secondary Attributes in Geo-Distributed Systems

abstract: In the age of big data, more and more applications need to query and analyse large volumes of continuously updated data in real-time. In response, cloud-scale storage systems can extend their interface that allows fast lookups on the primary key with the ability to retrieve data based on non-primary attributes. However, the need to ingest content rapidly and make it searchable immediately while supporting low-latency, high-throughput query evaluation, as well as the geo-distributed nature and weak consistency guarantees of modern storage systems pose several challenges to the implementation of indexing and search systems. We present our early-stage work on the design and implementation of an indexing and query processing system that enables realtime queries on secondary attributes of data stored in geo-distributed, weakly consistent storage systems.


title: Comments on theoretical foundation of EM Drive

abstract: The concept of EM Drive has attracted much attention and groups of work have been conducted to prove or verify it, of which the published experimental outcome is criticized in great details while the theoretical foundation has not been discussed. The present essay investigates on the theoretical derivations of the net thrust in the EM drive and reveals the self-contradiction arising at the very start, when the law of conservation of momentum was utilized and opposed simultaneously.