title: Efficient Multi-objective Neural Architecture Search via Lamarckian Evolution

abstract: Neural Architecture Search aims at automatically finding neural architectures that are competitive with architectures designed by human experts. While recent approaches have achieved state-of-the-art predictive performance for image recognition, they are problematic under resource constraints for two reasons: (1)the neural architectures found are solely optimized for high predictive performance, without penalizing excessive resource consumption, (2) most architecture search methods require vast computational resources. We address the first shortcoming by proposing LEMONADE, an evolutionary algorithm for multi-objective architecture search that allows approximating the entire Pareto-front of architectures under multiple objectives, such as predictive performance and number of parameters, in a single run of the method. We address the second shortcoming by proposing a Lamarckian inheritance mechanism for LEMONADE which generates children networks that are warmstarted with the predictive performance of their trained parents. This is accomplished by using (approximate) network morphism operators for generating children. The combination of these two contributions allows finding models that are on par or even outperform both hand-crafted as well as automatically-designed networks.


title: Retired A Stars Revisited: An Updated Giant Planet Occurrence Rate as a Function of Stellar Metallicity and Mass

abstract: Exoplanet surveys of evolved stars have provided increasing evidence that the formation of giant planets depends not only on stellar metallicity ([Fe/H]), but also the mass ($M_\star$). However, measuring accurate masses for subgiants and giants is far more challenging than it is for their main-sequence counterparts, which has led to recent concerns regarding the veracity of the correlation between stellar mass and planet occurrence. In order to address these concerns we use HIRES spectra to perform a spectroscopic analysis on an sample of 245 subgiants and derive new atmospheric and physical parameters. We also calculate the space velocities of this sample in a homogeneous manner for the first time. When reddening corrections are considered in the calculations of stellar masses and a -0.12 M$_{\odot}$ offset is applied to the results, the masses of the subgiants are consistent with their space velocity distributions, contrary to claims in the literature. Similarly, our measurements of their rotational velocities provide additional confirmation that the masses of subgiants with $M_\star \geq 1.6$ M$_{\odot}$ (the "Retired A Stars") have not been overestimated in previous analyses. Using these new results for our sample of evolved stars, together with an updated sample of FGKM dwarfs, we confirm that giant planet occurrence increases with both stellar mass and metallicity up to 2.0 M$_{\odot}$. We show that the probability of formation of a giant planet is approximately a one-to-one function of the total amount of metals in the protoplanetary disk $M_\star 10^{[Fe/H]}$. This correlation provides additional support for the core accretion mechanism of planet formation.


title: Measurement of D$^0$, D$^+$, D$^{*+}$ and D$^+_{\rm s}$ production in Pb-Pb collisions at $\mathbf{\sqrt{s_{\rm NN}}}= 5.02$ TeV

abstract: We report measurements of the production of prompt D$^0$, D$^+$, D$^{*+}$ and D$^+_{\rm s}$ mesons in Pb-Pb collisions at the centre-of-mass energy per nucleon-nucleon pair $\sqrt{s_{\rm NN}}=5.02$ TeV, in the centrality classes 0-10%, 30-50% and 60-80%. The D-meson production yields are measured at mid-rapidity ($|y|<0.5$) as a function of transverse momentum ($p_{\rm T}$). The $p_{\rm T}$ intervals covered in central collisions are: $1<p_{\rm T}<50$ Gev/$c$ for D$^0$, $2<p_{\rm T}<50$ GeV/$c$ for D$^+$, $3<p_{\rm T}<50$ GeV/$c$ for D$^{*+}$, and $4<p_{\rm T}<16$ GeV/$c$ for D$^+_{\rm s}$ mesons. The nuclear modification factors ($R_{\rm AA}$) for non-strange D mesons (D$^0$, D$^+$, D$^{*+}$) show minimum values of about 0.2 for $p_{\rm T}$ = 6-10 GeV/$c$ in the most central collisions and are compatible within uncertainties with those measured at $\sqrt{s_{\rm NN}}=2.76$ TeV. For D$^+_{\rm s}$ mesons, the values of $R_{\rm AA}$ are larger than those of non-strange D mesons, but compatible within uncertainties. In central collisions the average $R_{\rm AA}$ of non-strange D mesons is compatible with that of charged particles for $p_{\rm T} > 8$ GeV/$c$, while it is larger at lower $p_{\rm T}$. The nuclear modification factors for strange and non-strange D mesons are also compared to theoretical models with different implementations of in-medium energy loss.


title: A new explicit formula in the additive theory of primes with applications II. The exceptional set in Goldbach's problem

abstract: Improving earlier estimates of several authors we show that the number E(X) of Goldbach exceptional even integers (that is, even integers which cannot be written as the sum of two primesw) below X satisfies tho bound E(X) < X^0.72 for sufficiently large X. In the proof crucial role is played by the explicit formula for the contribution of the major arcs proved in Part I of this series (arXiv:1804.05561). In this new version some misprints are corrected and an explanatory sentence is added to the common proof of theorems C and D.


title: On parametrised cold dense matter equation of state inference

abstract: Constraining the equation of state of cold dense matter in compact stars is a major science goal for observing programmes being conducted using X-ray, radio, and gravitational wave telescopes. We discuss Bayesian hierarchical inference of parametrised dense matter equations of state. In particular we generalise and examine two inference paradigms from the literature: (i) direct posterior equation of state parameter estimation, conditioned on observations of a set of rotating compact stars; and (ii) indirect parameter estimation, via transformation of an intermediary joint posterior distribution of exterior spacetime parameters (such as gravitational masses and coordinate equatorial radii). We conclude that the former paradigm is not only tractable for large-scale analyses, but is principled and flexible from a Bayesian perspective whilst the latter paradigm is not. The thematic problem of Bayesian prior definition emerges as the crux of the difference between these paradigms. The second paradigm should in general only be considered as an ill-defined approach to the problem of utilising archival posterior constraints on exterior spacetime parameters; we advocate for an alternative approach whereby such information is repurposed as an approximative likelihood function. We also discuss why conditioning on a piecewise-polytropic equation of state model - currently standard in the field of dense matter study - can easily violate conditions required for transformation of a probability density distribution between spaces of exterior (spacetime) and interior (source matter) parameters.


title: An Introduction to Quantum Filtering

abstract: The following notes are based on lectures delivered at the research school Modeling and Control of Open Quantum Systems (Mod\'{e}lisation et contr\^{o}le des syst\`{e}mes quantiques ouverts) at CIRM, Marseille, 16-20 April, 2018, as part of the Trimester \textit{Measurement and Control of Quantum Systems: Theory and Experiments} organized at Institut Henri Poincar\'{e}, Paris, France. The aim is to introduce quantum filtering to an audience with a background in either quantum theory or classical filtering.


title: A pitfall of piecewise-polytropic equation of state inference

abstract: The only messenger radiation in the Universe which one can use to statistically probe the Equation of State (EOS) of cold dense matter is that originating from the near-field vicinities of compact stars. Constraining gravitational masses and equatorial radii of rotating compact stars is a major goal for current and future telescope missions, with a primary purpose of constraining the EOS. From a Bayesian perspective it is necessary to carefully discuss prior definition; in this context a complicating issue is that in practice there exist pathologies in the general relativistic mapping between spaces of local (interior source matter) and global (exterior spacetime) parameters. In a companion paper, these issues were raised on a theoretical basis. In this study we reproduce a probability transformation procedure from the literature in order to map a joint posterior distribution of Schwarzschild gravitational masses and radii into a joint posterior distribution of EOS parameters. We demonstrate computationally that EOS parameter inferences are sensitive to the choice to define a prior on a joint space of these masses and radii, instead of on a joint space interior source matter parameters. We focus on the piecewise-polytropic EOS model, which is currently standard in the field of astrophysical dense matter study. We discuss the implications of this issue for the field.


title: Semi-supervised Content-based Detection of Misinformation via Tensor Embeddings

abstract: Fake news may be intentionally created to promote economic, political and social interests, and can lead to negative impacts on humans beliefs and decisions. Hence, detection of fake news is an emerging problem that has become extremely prevalent during the last few years. Most existing works on this topic focus on manual feature extraction and supervised classification models leveraging a large number of labeled (fake or real) articles. In contrast, we focus on content-based detection of fake news articles, while assuming that we have a small amount of labels, made available by manual fact-checkers or automated sources. We argue this is a more realistic setting in the presence of massive amounts of content, most of which cannot be easily factchecked. To that end, we represent collections of news articles as multi-dimensional tensors, leverage tensor decomposition to derive concise article embeddings that capture spatial/contextual information about each news article, and use those embeddings to create an article-by-article graph on which we propagate limited labels. Results on three real-world datasets show that our method performs on par or better than existing models that are fully supervised, in that we achieve better detection accuracy using fewer labels. In particular, our proposed method achieves 75.43% of accuracy using only 30% of labels of a public dataset while an SVM-based classifier achieved 67.43%. Furthermore, our method achieves 70.92% of accuracy in a large dataset using only 2% of labels.


title: Automated Network Service Scaling in NFV: Concepts, Mechanisms and Scaling Workflow

abstract: Next-generation systems are anticipated to be digital platforms supporting innovative services with rapidly changing traffic patterns. To cope with this dynamicity in a cost-efficient manner, operators need advanced service management capabilities such as those provided by NFV. NFV enables operators to scale network services with higher granularity and agility than today. For this end, automation is key. In search of this automation, the European Telecommunications Standards Institute (ETSI) has defined a reference NFV framework that make use of model-driven templates called Network Service Descriptors (NSDs) to operate network services through their lifecycle. For the scaling operation, an NSD defines a discrete set of instantiation levels among which a network service instance can be resized throughout its lifecycle. Thus, the design of these levels is key for ensuring an effective scaling. In this article, we provide an overview of the automation of the network service scaling operation in NFV, addressing the options and boundaries introduced by ETSI normative specifications. We start by providing a description of the NSD structure, focusing on how instantiation levels are constructed. For illustrative purposes, we propose an NSD for a representative NS. This NSD includes different instantiation levels that enable different ways to automatically scale this NS. Then, we show the different scaling procedures the NFV framework has available, and how it may automate their triggering. Finally, we propose an ETSI-compliant workflow to describe in detail a representative scaling procedure. This workflow clarifies the interactions and information exchanges between the functional blocks in the NFV framework when performing the scaling operation.


title: Integrability and dynamics of the n-dimensional symmetric Veselova top

abstract: We consider the the n-dimensional generalisation of the nonholonomic Veselova problem. We derive the reduced equations of motion in terms of the mass tensor of the body and determine some general properties of the dynamics. In particular we give a closed formula for the invariant measure, we indicate the existence of steady rotation solutions, and obtain some results on their stability. We then focus our attention on bodies whose mass tensor has a specific type of symmetry. We show that the phase space is foliated by invariant tori that carry quasi-periodic dynamics in the natural time variable. Our results enlarge the known cases of integrability of the multi-dimensional Veselova top. Moreover, they show that in some previously known instances of integrability, the flow is quasi-periodic without the need of a time reparametrisation.


title: On the polynomiality and asymptotics of moments of sizes for random $(n, dn\pm 1)$-core partitions with distinct parts

abstract: Amdeberhan's conjectures on the enumeration, the average size, and the largest size of $(n,n+1)$-core partitions with distinct parts have motivated many research on this topic. Recently, Straub and Nath-Sellers obtained formulas for the numbers of $(n, dn-1)$ and $(n, dn+1)$-core partitions with distinct parts, respectively. Let $X_{s,t}$ be the size of a uniform random $(s,t)$-core partition with distinct parts when $s$ and $t$ are coprime to each other. Some explicit formulas for the $k$-th moments $\mathbb{E} [X_{n,n+1}^k]$ and $\mathbb{E} [X_{2n+1,2n+3}^k]$ were given by Zaleski and Zeilberger when $k$ is small. Zaleski also studied the expectation and higher moments of $X_{n,dn-1}$ and conjectured some polynomiality properties concerning them in arXiv:1702.05634. Motivated by the above works, we derive several polynomiality results and asymptotic formulas for the $k$-th moments of $X_{n,dn+1}$ and $X_{n,dn-1}$ in this paper, by studying the beta sets of core partitions. In particular, we show that these $k$-th moments are asymptotically some polynomials of n with degrees at most $2k$, when $d$ is given and $n$ tends to infinity. Moreover, when $d=1$, we derive that the $k$-th moment $\mathbb{E} [X_{n,n+1}^k]$ of $X_{n,n+1}$ is asymptotically equal to $\left(n^2/10\right)^k$ when $n$ tends to infinity. The explicit formulas for the expectations $\mathbb{E} [X_{n,dn+1}]$ and $\mathbb{E} [X_{n,dn-1}]$ are also given. The $(n,dn-1)$-core case in our results proves several conjectures of Zaleski on the polynomiality of the expectation and higher moments of $X_{n,dn-1}$.


title: Fast Radio Bursts

abstract: More than a decade after their discovery, astronomical Fast Radio Bursts remain enigmatic. They are known to occur at "cosmological" distances, implying large energy and radiated power, extraordinarily high brightness and coherent emission. Yet their source objects, the means by which energy is released and their radiation processes remain unknown. This review is organized around these unanswered questions.


title: Mechanical control of crystal symmetry and superconductivity in Weyl semimetal MoTe$_2$

abstract: The non-centrosymmetric Weyl semimetal candidate, MoTe$_2$ was investigated through neutron diffraction and transport measurements at pressures up to 1.5 GPa and at temperatures down to 40 mK. Centrosymmetric and non-centrosymmetric structural phases were found to coexist in the superconducting state. Density Functional Theory (DFT) calculations reveal that the strength of the electron-phonon coupling is similar for both crystal structures. Furthermore, it was found that by controlling non-hydrostatic components of stress, it is possible to mechanically control the ground state crystal structure. This allows for the tuning of crystal symmetry in the superconducting phase from centrosymmetric to non-centrosymmetric. DFT calculations support this strain control of crystal structure. This mechanical control of crystal symmetry gives a route to tuning the band topology of MoTe$_2$ and possibly the topology of the superconducting state.


title: Calculations of coherent two-dimensional electronic spectra using forward and backward stochastic wavefunctions

abstract: Within the well-established optical response function formalism, a new strategy with the central idea of employing the forward-backward stochastic Schr\"{o}dinger equations in a segmented way to accurately obtain the two-dimensional (2D) electronic spectrum is presented in this paper. Based on the simple excitonically coupled dimer model system, the validity and efficiency of the proposed schemes are demonstrated in detail, along with the comparison against the deterministic hierarchy equations of motion and perturbative second order time-convolutionless quantum master equations. In addition, an important insight is provided in this paper that the characteristic frequency of the overdamped environment is an extremely crucial factor to regulate the lifetimes of the oscillating signals in 2D electronic spectra and of quantum coherence features of system dynamics. It is worth noting that the proposed scheme benefiting from its stochastic nature and wavefunction framework and many other advantages of substantially reducing the numerical cost, has a great potential to systematically investigate various quantum effects observed in realistic large-scale natural and artificial photosynthetic systems.


title: The sustainome of global goal interactions varies by country income and is disproportionately influenced by inequalities

abstract: We interact with each other and our environment in rich and complex ways. These interactions form socioecological systems in which human, economic, or natural resources are used and replenished. In 2015, the United Nations set seventeen sustainable development goals (SDGs) to attempt to change the way we live and create by 2030 a sustainable future balancing equitable prosperity within planetary boundaries. We have tended to tackle SDGs in isolation and now we realise that a key hurdle to SDG implementation are conflicts arising from SDG interactions. We estimate here for the first time the sustainome, a global picture of those interactions, and determine the main hurdles to maximising SDG implementation. We show that the relative contribution of SDGs to global sustainable success differ by country income. SDG conflicts within the sustainome mean that we must find new ways to address the impacts of climate change, approaches to reducing inequalities and responsible consumption. Focussing on poverty alleviation and reducing inequalities will also have compounded positive effects on the sustainome. This network approach to sustainability provides a way to prioritise SDG and contextualise targets.


title: High-resolution combined tunneling electron charge and spin transport theory of N\'eel and Bloch skyrmions

abstract: Based on a combined charge and vector spin transport theory capable of imaging noncollinear magnetic textures on surfaces with spin-polarized scanning tunneling microscopy (SP-STM), the high-resolution tunneling electron charge and coupled spin transport properties of a variety of N\'eel- and Bloch-type skyrmions are investigated. Axially symmetric skyrmions are considered within the same topology class characterized by a vorticity value of $m=1$, and their helicities are varied by taking $\gamma=0$ and $\pi$ values for the N\'eel skyrmions and $\gamma=-\pi/2$ and $\pi/2$ values for the Bloch skyrmions. Depending on the orientation of the magnetization of the STM tip as well as on the helicity and the time-reversal of the skyrmionic spin structures, several relationships between their spin transport vector components, the in-plane and out-of-plane spin transfer torque and the longitudinal spin current, are identified. The magnitudes of the spin transport vector quantities show close relation to standard charge current SP-STM images. It is also demonstrated that the SP-STM images can be used to determine the helicity of the skyrmions. Moreover, the modified spin polarization vectors of the conduction electrons due to the local chirality of the complex spin texture are incorporated into the tunneling model. It is found that this effect modifies the apparent size of the skyrmions. These results contribute to the proper identification of topological surface magnetic objects imaged by SP-STM, and deliver important parameters for current-induced spin dynamics.


title: Sparse Power Factorization: Balancing peakiness and sample complexity

abstract: In many applications, one is faced with an inverse problem, where the known signal depends in a bilinear way on two unknown input vectors. Often at least one of the input vectors is assumed to be sparse, i.e., to have only few non-zero entries. Sparse Power Factorization (SPF), proposed by Lee, Wu, and Bresler, aims to tackle this problem. They have established recovery guarantees for a somewhat restrictive class of signals under the assumption that the measurements are random. We generalize these recovery guarantees to a significantly enlarged and more realistic signal class at the expense of a moderately increased number of measurements.


title: Guarded Computational Type Theory

abstract: Nakano's later modality can be used to specify and define recursive functions which are causal or synchronous; in concert with a notion of clock variable, it is possible to also capture the broader class of productive (co)programs. Until now, it has been difficult to combine these constructs with dependent types in a way that preserves the operational meaning of type theory and admits a hierarchy of universes. We present an operational account of guarded dependent type theory with clocks called Guarded Computational Type Theory, featuring a novel clock intersection connective that enjoys the clock irrelevance principle, as well as a predicative hierarchy of universes which does not require any indexing in clock contexts. Guarded Computational Type Theory is simultaneously a programming language with a rich specification logic, as well as a computational metalanguage that can be used to develop semantics of other languages and logics.


title: Complete positivity and distance-avoiding sets

abstract: We introduce the cone of completely-positive functions, a subset of the cone of positive-type functions, and use it to fully characterize maximum-density distance-avoiding sets as the optimal solutions of a convex optimization problem. As a consequence of this characterization, it is possible to reprove and improve many results concerning distance-avoiding sets on the sphere and in Euclidean space.


title: Stability conditions for affine type A

abstract: We construct maximal green sequences of maximal length for any affine quiver of type $A$. We determine which sets of modules (equivalently $c$-vectors) can occur in such sequences and, among these, which are given by a linear stability condition (also called a central charge). There is always at least one such maximal set which is linear. The proofs use representation theory and three kinds of diagrams shown in Figure 1. Background material is reviewed with details presented in two separate papers [arxiv:1706.06986] and [arXiv:1706.06503].


title: GPU-Accelerated Simulations of Isolated Black Holes

abstract: We present a port of the numerical relativity code SpEC which is capable of running on NVIDIA GPUs. Since this code must be maintained in parallel with SpEC itself, a primary design consideration is to perform as few explicit code changes as possible. We therefore rely on a hierarchy of automated porting strategies. At the highest level we use TLoops, a C++ library of our design, to automatically emit CUDA code equivalent to tensorial expressions written into C++ source using a syntax similar to analytic calculation. Next, we trace out and cache explicit matrix representations of the numerous linear transformations in the SpEC code, which allows these to be performed on the GPU using pre-existing matrix-multiplication libraries. We port the few remaining important modules by hand. In this paper we detail the specifics of our port, and present benchmarks of it simulating isolated black hole spacetimes on several generations of NVIDIA GPU.


title: Human-level Performance On Automatic Head Biometrics In Fetal Ultrasound Using Fully Convolutional Neural Networks

abstract: Measurement of head biometrics from fetal ultrasonography images is of key importance in monitoring the healthy development of fetuses. However, the accurate measurement of relevant anatomical structures is subject to large inter-observer variability in the clinic. To address this issue, an automated method utilizing Fully Convolutional Networks (FCN) is proposed to determine measurements of fetal head circumference (HC) and biparietal diameter (BPD). An FCN was trained on approximately 2000 2D ultrasound images of the head with annotations provided by 45 different sonographers during routine screening examinations to perform semantic segmentation of the head. An ellipse is fitted to the resulting segmentation contours to mimic the annotation typically produced by a sonographer. The model's performance was compared with inter-observer variability, where two experts manually annotated 100 test images. Mean absolute model-expert error was slightly better than inter-observer error for HC (1.99mm vs 2.16mm), and comparable for BPD (0.61mm vs 0.59mm), as well as Dice coefficient (0.980 vs 0.980). Our results demonstrate that the model performs at a level similar to a human expert, and learns to produce accurate predictions from a large dataset annotated by many sonographers. Additionally, measurements are generated in near real-time at 15fps on a GPU, which could speed up clinical workflow for both skilled and trainee sonographers.


title: On the reflection of the countable chain condition

abstract: We study the question of when an uncountable ccc topological space $X$ contains a ccc subspace of size $\aleph_1$. We show that it does if $X$ is compact Hausdorff and more generally if $X$ is Hausdorff with $\mathrm{pct}(X) \leq \aleph_1$. For each regular cardinal $\kappa$, an example is constructed of a ccc Tychonoff space of size $\kappa$ and countable pseudocharacter but with no ccc subspace of size less than $\kappa$. We also give a ccc compact $T_1$ space of size $\kappa$ with no ccc subspace of size less than $\kappa$.


title: Ion-ion dynamic structure factor, acoustic modes and equation of state of two-temperature warm dense aluminum

abstract: The ion-ion dynamical structure factor and the equation of state of warm dense aluminum in a two-temperature quasi-equilibrium state, with the electron temperature higher than the ion temperature, are investigated using molecular-dynamics simulations based on ion-ion pair potentials constructed from a neutral pseudoatom model. Such pair potentials based on density functional theory are parameter-free and depend directly on the electron temperature and indirectly on the ion temperature, enabling efficient computation of two-temperature properties. Comparison with ab initio simulations and with other average-atom calculations for equilibrium aluminum shows good agreement, justifying a study of quasi-equilibrium situations. Analyzing the van Hove function, we find that ion-ion correlations vanish in a time significantly smaller than the electron-ion relaxation time so that dynamical properties have a physical meaning for the quasi-equilibrium state. A significant increase in the speed of sound is predicted from the modification of the dispersion relation of the ion acoustic mode as the electron temperature is increased. The two-temperature equation of state including the free energy, internal energy and pressure is also presented.


title: A Duality-Based Approach for Distributed Optimization with Coupling Constraints

abstract: In this paper we consider a distributed optimization scenario in which a set of agents has to solve a convex optimization problem with separable cost function, local constraint sets and a coupling inequality constraint. We propose a novel distributed algorithm based on a relaxation of the primal problem and an elegant exploration of duality theory. Despite its complex derivation based on several duality steps, the distributed algorithm has a very simple and intuitive structure. That is, each node solves a local version of the original problem relaxation, and updates suitable dual variables. We prove the algorithm correctness and show its effectiveness via numerical computations.


title: Gelation of Plasmonic Metal Oxide Nanocrystals by Polymer-Induced Depletion-Attractions

abstract: Gelation of colloidal nanocrystals (NCs) emerged as a strategy to preserve inherent nanoscale properties in multiscale architectures. Yet available gelation methods still struggle to reliably control nanoscale optical phenomena such as photoluminescence and localized surface plasmon resonance (LSPR) across NC systems due to processing variability. Here, we report on an alternative gelation method based on physical inter-NC interactions: short-range depletion-attractions balanced by long-range electrostatic repulsions. The latter are established by removing the native organic ligands that passivate tin-doped indium oxide (ITO) NCs while the former are introduced by mixing with small polyethylene glycol (PEG) chains. As we incorporate increasing concentrations of PEG, we observe a reentrant phase behavior featuring two favorable gelation windows; the first arises from bridging effects while the second is attributed to depletion-attractions according to phase behavior predicted by our unified theoretical model. The NCs remain discrete within the gel network, based on X-ray scattering and high-resolution transmission electron microscopy. The infrared optical response of the gel is reflective of both the NC building blocks and the network architecture, being characteristic of ITO NC LSPR with coupling interactions between neighboring NCs.


title: SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants

abstract: The evolution of mobile devices with various capabilities (e.g., smartphones and tablets), together with their ability to collaborate in impromptu ad hoc networks, opens new opportunities for the design of innovative distributed applications. The development of these applications needs to address several difficulties, such as the unreliability of the network, the imprecise set of participants, or the presence of malicious nodes. In this paper we describe a middleware, called SITAN, that offers a number of communication, group membership and coordination services specially conceived for these settings. These services are implemented by a stack of Byzantine fault-tolerant protocols, enabling applications that are built on top of them to operate correctly despite the uncertainty of the environment. The protocol stack was implemented in Android and NS-3, which allowed the experimentation in representative scenarios. Overall, the results show that the protocols are able to finish their execution within a small time window, which is acceptable for various kinds of applications.


title: Valley coherent exciton-polaritons in a monolayer semiconductor

abstract: Two-dimensional transition metal dichalcogenide (TMD) semiconductors provide a unique possibility to access the electronic valley degree of freedom using polarized light, opening the way to valley information transfer between distant systems. Excitons with a well-defined valley index (or valley pseudospin) as well as superpositions of the exciton valley states can be created with light having circular and linear polarization, respectively. However, the generated excitons have short lifetimes (ps) and are also subject to the electron-hole exchange interaction leading to fast relaxation of the valley pseudospin and coherence. Here we show that control of these processes can be gained by embedding a monolayer of WSe$_2$ in an optical microcavity, where part-light-part-matter exciton-polaritons are formed in the strong light-matter coupling regime. We demonstrate the optical initialization of the valley coherent polariton populations, exhibiting luminescence with a linear polarization degree up to 3 times higher than that of the excitons. We further control the evolution of the polariton valley coherence using a Faraday magnetic field to rotate the valley pseudospin by an angle defined by the exciton-cavity-mode detuning, which exceeds the rotation angle in the bare exciton. This work provides unique insight into the decoherence mechanisms in TMDs and demonstrates the potential for engineering the valley pseudospin dynamics in monolayer semiconductors embedded in photonic structures.


title: Flux-driven Josephson traveling-wave parametric amplifier

abstract: We have developed a concept for a traveling-wave parametric amplifier driven by a magnetic flux wave. The circuit consists of a serial array of symmetric dc SQUIDs coupled inductively to a separate superconducting LC transmission line carrying the pump microwave; thereby the signal and pump are applied to different ports. The proposed three-wave-mixing amplifier includes, firstly, an adjustable phase velocity of the signal (idler) wave and hence good phase matching yielding large gain in a wide frequency range and, secondly, overcoming of the pump depletion problem. The experimental parameters and characteristics of this amplifier have been evaluated and show promise for applications in quantum-information single-photon circuits.


title: Yangian Algebra and Correlation Functions in Planar Gauge Theories

abstract: In this work we consider colour-ordered correlation functions of the fields in integrable planar gauge theories such as N=4 supersymmetric Yang-Mills theory with the aim to establish Ward-Takahashi identities corresponding to Yangian symmetries. To this end, we discuss the Yangian algebra relations and discover a novel set of bi-local gauge symmetries for planar gauge theories. We fix the gauge, introduce local and bi-local BRST symmetries and propose Slavnov-Taylor identities corresponding to the various bi-local symmetries. We then verify the validity of these identities for several correlation functions at tree and loop level. Finally, we comment on the possibility of quantum anomalies for Yangian symmetry.


title: Structure Aware SLAM using Quadrics and Planes

abstract: Simultaneous Localization And Mapping (SLAM) is a fundamental problem in mobile robotics. While point-based SLAM methods provide accurate camera localization, the generated maps lack semantic information. On the other hand, state of the art object detection methods provide rich information about entities present in the scene from a single image. This work marries the two and proposes a method for representing generic objects as quadrics which allows object detections to be seamlessly integrated in a SLAM framework. For scene coverage, additional dominant planar structures are modeled as infinite planes. Experiments show that the proposed points-planes-quadrics representation can easily incorporate Manhattan and object affordance constraints, greatly improving camera localization and leading to semantically meaningful maps. The performance of our SLAM system is demonstrated in https://youtu.be/dR-rB9keF8M .


title: On Computing Spectral Densities from Classical, Semiclassical and Quantum Simulations

abstract: The Caldeira-Leggett model provides a compact characterization of a thermal environment in terms of a spectral density function. This simplicity has led to a variety of numerically exact quantum methods for reduced density matrix propagation. When using these methods, a spectral density has to be computed from dynamical properties of system and environment, which is commonly done using classical molecular dynamics simulations. However, there are situations, where quantum effects could play a role. Therefore, we reformulate our recently developed Fourier method in order to enable spectral density calculations from semiclassical simulations which approximately consider quantum effects. We propose two possible protocols based on either correlation functions or expectation values. These protocols are tested for the linearized semiclassical initial-value representation (LSC-IVR), the thawed Gaussian wave packet dynamics (TGWD) and hybrid schemes combining the two with the more accurate Herman-Kluk (HK) formula. Surprisingly, spectral densities from the LSC-IVR method, based on a completely classical propagation, are extremely accurate whereas those from the single-trajectory TGWD are of poor quality in the anharmonic regime. The hybrid methods provide reasonable quality when the system is close to the classical regime, although, at finite temperature, the computation protocol from expectation values turns out to be more robust. If stronger quantum effects are observed, both hybrid methods turn out as too inaccurate.


title: Keep it Unreal: Bridging the Realism Gap for 2.5D Recognition with Geometry Priors Only

abstract: With the increasing availability of large databases of 3D CAD models, depth-based recognition methods can be trained on an uncountable number of synthetically rendered images. However, discrepancies with the real data acquired from various depth sensors still noticeably impede progress. Previous works adopted unsupervised approaches to generate more realistic depth data, but they all require real scans for training, even if unlabeled. This still represents a strong requirement, especially when considering real-life/industrial settings where real training images are hard or impossible to acquire, but texture-less 3D models are available. We thus propose a novel approach leveraging only CAD models to bridge the realism gap. Purely trained on synthetic data, playing against an extensive augmentation pipeline in an unsupervised manner, our generative adversarial network learns to effectively segment depth images and recover the clean synthetic-looking depth information even from partial occlusions. As our solution is not only fully decoupled from the real domains but also from the task-specific analytics, the pre-processed scans can be handed to any kind and number of recognition methods also trained on synthetic data. Through various experiments, we demonstrate how this simplifies their training and consistently enhances their performance, with results on par with the same methods trained on real data, and better than usual approaches doing the reverse mapping.


title: Electrochemical Properties of Cu(II/I)-Based Redox Mediators for Dye-Sensitized Solar Cells

abstract: Three Cu(II/I)-phenanthroline and Cu(II/I)-bipyridine redox mediators are studied on various electrodes and in variety of electrolyte solutions using cyclic voltammetry and impedance spectroscopy on symmetrical dummy cells.


title: Optomechanical cooling and self-stabilization of a waveguide coupled to a whispering-gallery-mode resonator

abstract: Laser cooling of mechanical degrees of freedom is one of the most significant achievements in the field of opto-mechanics. Here, we report, for the first time to the best of our knowledge, efficient passive optomechanical cooling of the motion of a freestanding waveguide coupled to a whispering-gallery-mode (WGM) resonator. The waveguide is an 8 mm long glass-fiber nanospike, which has a fundamental flexural resonance at {\Omega}/2{\pi} = 2.5 kHz and a Q-factor of 1.2 10**5. Upon launching 250 {\mu}W laser power at an optical frequency close to the WGM resonant frequency, we observed cooling of the nanospike resonance from room temperature down to 1.8 K. Simultaneous cooling of the first higher-order mechanical mode is also observed. The strong suppression of the overall Brownian motion of the nanospike, observed as an 11.6 dB reduction in its mean square displacement, indicates strong optomechanical stabilization of linear coupling between the nanospike and the cavity mode. The cooling is caused predominantly by a combination of photothermal effects and optical forces between nanospike and WGM resonator. The results are of direct relevance in the many applications of WGM resonators, including atom physics, optomechanics, and sensing.


title: Inflation with Gauss-Bonnet coupling

abstract: We consider inflationary models with the inflaton coupled to the Gauss-Bonnet term assuming a special relation $\delta_1=2\lambda\epsilon_1$ between the two slow-roll parameters $\delta_1$ and $\epsilon_1$. For the slow-roll inflation, the assumed relation leads to the reciprocal relation between the Gauss-Bonnet coupling function $\xi(\phi)$ and the potential $V(\phi)$, and it leads to the relation $r=16(1-\lambda)\epsilon_1$ that reduces the tensor-to-scalar ratio $r$ by a factor of $1-\lambda$. For the constant-roll inflation, we derive the analytical expressions for the scalar and tensor power spectra, the scalar and tensor spectral tilts, and the tensor-to-scalar ratio to the first order of $\epsilon_1$ by using the method of Bessel function approximation. The tensor-to-scalar ratio is reduced by a factor of $1-\lambda+\lambda\tilde \eta$. Comparing the derived $n_s$-$r$ with the observations, we obtain the constraints on the model parameters $\tilde\eta$ and $\lambda$.


title: Extreme-ultraviolet refractive optics

abstract: Refraction is a well-known optical phenomenon that alters the direction of light waves propagating through matter. Microscopes, lenses and prisms based on refraction are indispensable tools for controlling the properties of light beams at visible, infrared, ultraviolet and X-ray wavelengths. The large absorption of extreme-ultraviolet (XUV) radiation in matter, however, hinders the development of refractive lenses and prisms in this spectral region. Here, we demonstrate control over the refraction of XUV radiation by using a gas jet with a density gradient across the XUV beam profile. A gas phase prism is demonstrated that leads to a frequency-dependent deflection of the XUV beam. The strong deflection in the vicinity of atomic resonances is further used to develop a deformable XUV refractive lens, with low absorption and a focal length that can be tuned by varying the gas pressure. Our results provide novel opportunities in XUV science and open a route towards the transfer of refraction-based techniques including microscopy and nanofocusing, which are well established in other spectral regions, to the XUV domain.


title: dockChain: A Solution for Electric Vehicles Charge Point Anxiety

abstract: This paper addresses Charge Point Anxiety surrounding electric vehicles (EVs), an issue preventing the mass adoption of this greener mode of transport. We discuss the design and implementation of a charge point adapter called \textit{dockChain} that will help mitigate Charge Point Anxiety. The key feature of the dockChain is that it allows multiple EVs to connect simultaneously to a single charge by connecting the adapters together in a chain resulting in additional charging opportunities - without the need for infrastructural changes. We describe the operation of the network of adapters, the hardware components and charging policies for the adapter. A distributed algorithm that can detect the length of the chain in a dockChain network is also presented.


title: Novel Highly Active Pt/Graphene Catalyst for Cathodes of Cu(II/I)-Mediated Dye-Sensitized Solar Cells

abstract: Novel highly active, optically-transparent electrode catalyst containing Pt, PtOx, graphene oxide and stacked graphene platelet nanofibers is developed for a cathode of Cu(II/I)-mediated dye-sensitized solar cells.


title: On Optimal Index Codes for Interlinked Cycle Structures with Outer Cycles

abstract: For index coding problems with special structure on the side-information graphs called Interlinked Cycle (IC) structures index codes have been proposed in the literature (C. Thapa, L. Ong, and S. Johnson, "Interlinked Cycles for Index Coding: Generalizing Cycles and Cliques", in \textit{IEEE Trans. Inf. Theory, vol. 63, no. 6, Jun. 2017} with a correction in "Interlinked Cycles for Index Coding: Generalizing Cycles and Cliques", in arxiv (arxiv:1603.00092v2 [cs.IT] 25 Feb 2018)). In this paper we consider a generalization of IC structures called {\it IC structures with interlocked outer cycles}. For IC structures with interlocked outer cycles we show that the optimal length (also known as the minrank of the index coding problem) depends on the maximum number of disjoint outer cycles. We give two sufficient conditions such that if any of these is satisfied then we provide explicit optimal index code construction. The conditions mentioned above are shown to be not necessary by an explicit example.


title: Decays into {\pi}+{\pi}- of the f0(1370) scalar glueball candidate in pp central exclusive production experiments

abstract: The existence and properties of the f0(1370) scalar meson are rather well established from data of antiproton annihilations at rest. However conflicting results from Central Exclusive Production (CEP) experiments of the last millennium and ignorance of data from antiproton annihilations at rest in H2 and D2 bubble chambers have generated doubts on the very existence of the f0(1370). Properties of {\pi}+{\pi}- pairs produced in central exclusive production (CEP) reactions observed in old data together with data collected in the current decade at high energy colliders permit to show that {\pi}+{\pi}- decays of the f0(1370) meson are directly observable as an isolated peak between 1.1 and 1.6 GeV. Consequences of this observation and prospects for the identification of the scalar glueball ground-state are discussed.


title: Direct visualization of the nematic superconductivity in Cu$_x$Bi$_2$Se$_3$

abstract: Cu$_x$Bi$_2$Se$_3$ hosts both topological surface states and bulk superconductivity. It has been identified recently as a topological superconductor (TSC) with an extraordinary nematic, i. e. C2-symmetric, superconducting state and odd-parity pairing. Here, using scanning tunneling microscopy (STM), we directly examine the response of the superconductivity of CuxBi2Se3 to magnetic field. Under out-of-plane fields, we discover elongated magnetic vortices hosting zero-bias conductance peaks consistent with the Majorana bound states expected in a TSC. Under in-plane fields, the average superconducting gap exhibits two-fold symmetry with field orientation; the long C2 symmetry axes are pinned to the dihedral mirror planes under B//=0.5 T but rotate slightly under B//=1.0 T. Moreover, a nodeless {\Delta}4x gap structure is semi-quantitatively determined for the first time. Our data paint a microscopic picture of the nematic superconductivity in CuxBi2Se3 and pose strong constraints on theory.


title: PULP-HD: Accelerating Brain-Inspired High-Dimensional Computing on a Parallel Ultra-Low Power Platform

abstract: Computing with high-dimensional (HD) vectors, also referred to as $\textit{hypervectors}$, is a brain-inspired alternative to computing with scalars. Key properties of HD computing include a well-defined set of arithmetic operations on hypervectors, generality, scalability, robustness, fast learning, and ubiquitous parallel operations. HD computing is about manipulating and comparing large patterns-binary hypervectors with 10,000 dimensions-making its efficient realization on minimalistic ultra-low-power platforms challenging. This paper describes HD computing's acceleration and its optimization of memory accesses and operations on a silicon prototype of the PULPv3 4-core platform (1.5mm$^2$, 2mW), surpassing the state-of-the-art classification accuracy (on average 92.4%) with simultaneous 3.7$\times$ end-to-end speed-up and 2$\times$ energy saving compared to its single-core execution. We further explore the scalability of our accelerator by increasing the number of inputs and classification window on a new generation of the PULP architecture featuring bit-manipulation instruction extensions and larger number of 8 cores. These together enable a near ideal speed-up of 18.4$\times$ compared to the single-core PULPv3.


title: On Multilinear Forms: Bias, Correlation, and Tensor Rank

abstract: In this paper, we prove new relations between the bias of multilinear forms, the correlation between multilinear forms and lower degree polynomials, and the rank of tensors over $GF(2)= \{0,1\}$. We show the following results for multilinear forms and tensors. 1. Correlation bounds : We show that a random $d$-linear form has exponentially low correlation with low-degree polynomials. More precisely, for $d \ll 2^{o(k)}$, we show that a random $d$-linear form $f(X_1,X_2, \dots, X_d) : \left(GF(2)^{k}\right)^d \rightarrow GF(2)$ has correlation $2^{-k(1-o(1))}$ with any polynomial of degree at most $d/10$. This result is proved by giving near-optimal bounds on the bias of random $d$-linear form, which is in turn proved by giving near-optimal bounds on the probability that a random rank-$t$ $d$-linear form is identically zero. 2. Tensor-rank vs Bias : We show that if a $d$-dimensional tensor has small rank, then the bias of the associated $d$-linear form is large. More precisely, given any $d$-dimensional tensor $$T :\underbrace{[k]\times \ldots [k]}_{\text{$d$ times}}\to GF(2)$$ of rank at most $t$, the bias of the associated $d$-linear form $$f_T(X_1,\ldots,X_d) := \sum_{(i_1,\dots,i_d) \in [k]^d} T(i_1,i_2,\ldots, i_d) X_{1,i_1}\cdot X_{1,i_2}\cdots X_{d,i_d}$$ is at least $\left(1-\frac1{2^{d-1}}\right)^t$. The above bias vs tensor-rank connection suggests a natural approach to proving nontrivial tensor-rank lower bounds for $d=3$. In particular, we use this approach to prove that the finite field multiplication tensor has tensor rank at least $3.52 k$ matching the best known lower bound for any explicit tensor in three dimensions over $GF(2)$.


title: Phase Tetrastability in Parametric Oscillation

abstract: The periodic modulation of an oscillator's frequency can lead to so-called parametric oscillations at half the driving frequency, which display bistability between two states whose phases differ by \pi. Such phase-locking bistability is at the root of the extraordinary importance of parametric oscillation (and amplification) both in fundamental and applied scenarios. Here we put forward a universal method for exciting tetrastability in parametrically-driven systems, which consists in modulating the amplitude of the parametric drive in such a way that its sign alternates periodically in time. This way, multistability can emerge between four states whose phases differ by a multiple of \pi/2. We prove theoretically the validity of the method, both analytically and numerically, and demonstrate it experimentally in an optical oscillator. The method could be relevant to the fields of pattern formation, (quantum) information processing and simulation, metrology and sensing.


title: Einstein-Podolsky-Rosen steering, depth of steering and planar spin squeezing in two-mode Bose-Einstein condensates

abstract: We show how one can prepare and detect entanglement and Einstein-Podolsky-Rosen (EPR) steering between two distinguishable groups (modes) of atoms in a Bose-Einstein condensate (BEC) atom interferometer. Our paper extends previous work that developed criteria for two-mode entanglement and EPR steering based on the reduced variances of two spins defined in a plane. Observation of planar spin squeezing will imply entanglement, and sufficient planar spin squeezing implies EPR steering, between the two groups of atoms. By using a two-mode dynamical model to describe BEC interferometry experiments, we show that the two-mode entanglement and EPR steering criteria are predicted to be satisfied for realistic parameters. The reported observation of spin squeezing in these parameter regimes suggests it is very likely that the criteria can be used to infer an EPR steering between mesoscopic groups of atoms, provided the total atom number can be determined to sub-Poissonian uncertainty. The criteria also apply to a photonic Mach-Zehnder interferometer. Finally, we give a method based on the amount of planar spin squeezing to determine a lower bound on the number of particles that are genuinely comprise the two-mode EPR steerable state - the so-called two-mode EPR steering depth.


title: Birational boundedness of rationally connected Calabi-Yau 3-folds

abstract: We prove that rationally connected Calabi--Yau 3-folds with kawamata log terminal (klt) singularities form a birationally bounded family, or more generally, rationally connected $3$-folds of $\epsilon$-CY type form a birationally bounded family for $\epsilon>0$. Moreover, we show that the set of $\epsilon$-lc log Calabi--Yau pairs $(X, B)$ with coefficients of $B$ bounded away from zero is log bounded modulo flops. As a consequence, we deduce that rationally connected klt Calabi--Yau $3$-folds with mld bounded away from $1$ are bounded modulo flops.


title: A survey for variable young stars with small telescopes: First results from HOYS-CAPS

abstract: Variability in Young Stellar Objects (YSOs) is one of their primary characteristics. Long-term, multi-filter, high-cadence monitoring of large YSO samples is the key to understand the partly unusual light-curves that many of these objects show. Here we introduce and present the first results of the HOYS-CAPS citizen science project which aims to perform such monitoring for nearby (d<1kpc) and young (age<10Myr) clusters and star forming regions, visible from the northern hemisphere, with small telescopes. We have identified and characterised 466 variable (413 confirmed young) stars in 8 young, nearby clusters. All sources vary by at least 0.2mag in V, have been observed at least 15 times in V, R and I in the same night over a period of about 2yrs and have a Stetson index of larger than 1. This is one of the largest samples of variable YSOs observed over such a time-span and cadence in multiple filters. About two thirds of our sample are classical T-Tauri stars, while the rest are objects with depleted or transition disks. Objects characterised as bursters show by far the highest variability. Dippers and objects whose variability is dominated by occultations from normal interstellar dust or dust with larger grains (or opaque material) have smaller amplitudes. We have established a hierarchical clustering algorithm based on the light-curve properties which allows the identification of the YSOs with the most unusual behaviour, and to group sources with similar properties. We discuss in detail the light-curves of the unusual objects V2492Cyg, V350Cep and 2MASSJ21383981+5708470.


title: Floods impact dynamics quantified from big data sources

abstract: Natural disasters affect hundreds of millions of people worldwide every year. Early warning, humanitarian response and recovery mechanisms can be improved by using big data sources. Measuring the different dimensions of the impact of natural disasters is critical for designing policies and building up resilience. Detailed quantification of the movement and behaviours of affected populations requires the use of high granularity data that entails privacy risks. Leveraging all this data is costly and has to be done ensuring privacy and security of large amounts of data. Proxies based on social media and data aggregates would streamline this process by providing evidences and narrowing requirements. We propose a framework that integrates environmental data, social media, remote sensing, digital topography and mobile phone data to understand different types of floods and how data can provide insights useful for managing humanitarian action and recovery plans. Thus, data is dynamically requested upon data-based indicators forming a multi-granularity and multi-access data pipeline. We present a composed study of three cases to show potential variability in the natures of floodings,as well as the impact and applicability of data sources. Critical heterogeneity of the available data in the different cases has to be addressed in order to design systematic approaches based on data. The proposed framework establishes the foundation to relate the physical and socio-economical impacts of floods.


title: On the representation of Boolean and real functions as Hamiltonians for quantum computing

abstract: Mapping functions on bits to Hamiltonians acting on qubits has many applications in quantum computing. In particular, Hamiltonians representing Boolean functions are required for applications of quantum annealing or the quantum approximate optimization algorithm to combinatorial optimization problems. We show how such functions are naturally represented by Hamiltonians given as sums of Pauli $Z$ operators (Ising spin operators) with the terms of the sum corresponding to the function's Fourier expansion. For many classes of functions which are given by a compact description, such as a Boolean formula in conjunctive normal form that gives an instance of the satisfiability problem, it is #P-hard to compute its Hamiltonian representation. On the other hand, no such difficulty exists generally for constructing Hamiltonians representing a real function such as a sum of local Boolean clauses. We give composition rules for explicitly constructing Hamiltonians representing a wide variety of Boolean and real functions by combining Hamiltonians representing simpler clauses as building blocks. We apply our results to the construction of controlled-unitary operators, and to the special case of operators that compute function values in an ancilla qubit register. Finally, we outline several additional applications and extensions of our results. A primary goal of this paper is to provide a $\textit{design toolkit for quantum optimization}$ which may be utilized by experts and practitioners alike in the construction and analysis of new quantum algorithms, and at the same time to demystify the various constructions appearing in the literature.


title: Elastic quantum spin-Hall effect in Kagome lattices

abstract: A Quantum Spin-Hall Insulator (QSHI) is implemented into a simple mass-spring Kagome lattice. The transition from the trivial state to the topological one is described by an invariant Chern number function of a contrast parameter. The band diagram and helical edge states characteristic of QSHI are obtained by a combination of numerical and analytical methods. In particular, these states are shown to be Stoneley wave solutions to a set of asymptotic continuous motion equations. Last, scatterless propagation of polarized topological edge waves around sharp corners is demonstrated and robustness is assessed through a parametric study.


title: A Report on the Complex Word Identification Shared Task 2018

abstract: We report the findings of the second Complex Word Identification (CWI) shared task organized as part of the BEA workshop co-located with NAACL-HLT'2018. The second CWI shared task featured multilingual and multi-genre datasets divided into four tracks: English monolingual, German monolingual, Spanish monolingual, and a multilingual track with a French test set, and two tasks: binary classification and probabilistic classification. A total of 12 teams submitted their results in different task/track combinations and 11 of them wrote system description papers that are referred to in this report and appear in the BEA workshop proceedings.


title: Improving Native Ads CTR Prediction by Large Scale Event Embedding and Recurrent Networks

abstract: Click through rate (CTR) prediction is very important for Native advertisement but also hard as there is no direct query intent. In this paper we propose a large-scale event embedding scheme to encode the each user browsing event by training a Siamese network with weak supervision on the users' consecutive events. The CTR prediction problem is modeled as a supervised recurrent neural network, which naturally model the user history as a sequence of events. Our proposed recurrent models utilizing pretrained event embedding vectors and an attention layer to model the user history. Our experiments demonstrate that our model significantly outperforms the baseline and some variants.


title: Small-angle X-ray scattering in amorphous silicon: A computational study

abstract: We present a computational study of small-angle X-ray scattering (SAXS) in amorphous silicon ($a$-Si) with particular emphasis on the morphology and microstructure of voids. The relationship between the scattering intensity in SAXS and the three-dimensional structure of nanoscale inhomogeneities or voids is addressed by generating ultra-large high-quality $a$-Si networks with 0.1-0.3% volume concentration of voids, as observed in experiments using SAXS and positron annihilation spectroscopy. A systematic study of the variation of the scattering intensity in the small-angle scattering region with the size, shape, number density, and the spatial distribution of the voids in the networks is presented. Our results suggest that the scattering intensity in the small-angle region is particularly sensitive to the size and the total volume-fraction of the voids, but the effect of the geometry or shape of the voids is less pronounced in the intensity profiles. A comparison of the average size of the voids obtained from the simulated values of the intensity, using the Guinier approximation and Kratky plots, with those from the spatial distribution of the atoms in the vicinity of void surfaces is presented.


title: Differences of Type I error rates for ANOVA and Multilevel-Linear-Models using SAS and SPSS for repeated measures designs

abstract: To derive recommendations on how to analyze longitudinal data, we examined Type I error rates of Multilevel Linear Models (MLM) and repeated measures Analysis of Variance (rANOVA) using SAS and SPSS.We performed a simulation with the following specifications: To explore the effects of high numbers of measurement occasions and small sample sizes on Type I error, measurement occasions of m = 9 and 12 were investigated as well as sample sizes of n = 15, 20, 25 and 30. Effects of non-sphericity in the population on Type I error were also inspected: 5,000 random samples were drawn from two populations containing neither a within-subject nor a between-group effect. They were analyzed including the most common options to correct rANOVA and MLM-results: The Huynh-Feldt-correction for rANOVA (rANOVA-HF) and the Kenward-Roger-correction for MLM (MLM-KR), which could help to correct progressive bias of MLM with an unstructured covariance matrix (MLM-UN). Moreover, uncorrected rANOVA and MLM assuming a compound symmetry covariance structure (MLM-CS) were also taken into account. The results showed a progressive bias for MLM-UN for small samples which was stronger in SPSS than in SAS. Moreover, an appropriate bias correction for Type I error via rANOVA-HF and an insufficient correction by MLM-UN-KR for n < 30 were found. These findings suggest MLM-CS or rANOVA if sphericity holds and a correction of a violation via rANOVA-HF. If an analysis requires MLM, SPSS yields more accurate Type I error rates for MLM-CS and SAS yields more accurate Type I error rates for MLM-UN.


title: Seer: Leveraging Big Data to Navigate the Increasing Complexity of Cloud Debugging

abstract: Performance unpredictability in cloud services leads to poor user experience, degraded availability, and has revenue ramifications. Detecting performance degradation a posteriori helps the system take corrective action, but does not avoid the QoS violations. Detecting QoS violations after the fact is even more detrimental when a service consists of hundreds of thousands of loosely-coupled microservices, since performance hiccups can quickly propagate across the dependency graph of microservices. In this work we focus on anticipating QoS violations in cloud settings to mitigate performance unpredictability to begin with. We propose Seer, a cloud runtime that leverages the massive amount of tracing data cloud systems collect over time and a set of practical learning techniques to signal upcoming QoS violations, as well as identify the microservice(s) causing them. Once an imminent QoS violation is detected Seer uses machine-level hardware events to determine the cause of the QoS violation, and adjusts the resource allocations to prevent it. In local clusters with 10 40-core servers and 200-instance clusters on GCE running diverse cloud microservices, we show that Seer correctly anticipates QoS violations 91% of the time, and attributes the violation to the correct microservice in 89% of cases. Finally, Seer detects QoS violations early enough for a corrective action to almost always be applied successfully.


title: Parallel Approximation of the Maximum Likelihood Estimation for the Prediction of Large-Scale Geostatistics Simulations

abstract: Maximum likelihood estimation is an important statistical technique for estimating missing data, for example in climate and environmental applications, which are usually large and feature data points that are irregularly spaced. In particular, the Gaussian log-likelihood function is the \emph{de facto} model, which operates on the resulting sizable dense covariance matrix. The advent of high performance systems with advanced computing power and memory capacity have enabled full simulations only for rather small dimensional climate problems, solved at the machine precision accuracy. The challenge for high dimensional problems lies in the computation requirements of the log-likelihood function, which necessitates ${\mathcal O}(n^2)$ storage and ${\mathcal O}(n^3)$ operations, where $n$ represents the number of given spatial locations. This prohibitive computational cost may be reduced by using approximation techniques that not only enable large-scale simulations otherwise intractable but also maintain the accuracy and the fidelity of the spatial statistics model. In this paper, we extend the Exascale GeoStatistics software framework (i.e., ExaGeoStat) to support the Tile Low-Rank (TLR) approximation technique, which exploits the data sparsity of the dense covariance matrix by compressing the off-diagonal tiles up to a user-defined accuracy threshold. The underlying linear algebra operations may then be carried out on this data compression format, which may ultimately reduce the arithmetic complexity of the maximum likelihood estimation and the corresponding memory footprint. Performance results of TLR-based computations on shared and distributed-memory systems attain up to 13X and 5X speedups, respectively, compared to full accuracy simulations using synthetic and real datasets (up to 2M), while ensuring adequate prediction accuracy.


title: Control of polarization hysteresis temperature behavior by interfacial screening in thin ferroelectric films

abstract: Ferroelectric interfaces are unique model objects for fundamental studies of polar surface properties such as versatile screening mechanisms of spontaneous polarization by free carriers and possible ion exchange with ambient media. The effect of ionic adsorption by electrically-open (i.e. non-electroded) ferroelectric surface on polarization reversal in the ferroelectric had been investigated experimentally and theoretically, however the effect influence on the temperature behaviour of polarization hysteresis remains unexplored. Also the comparative theoretical analysis of the ferroelectric hysteresis for linear and nonlinear electronic screenings, and strongly nonlinear ionic screening of the spontaneous polarization was absent. In this work we study the free energy relief of a thin ferroelectric film covered by a screening charge layer of different nature and ultra-thin gap separating the film surface from the top electrode and calculate hysteresis loops of polarization and screening charge at different temperatures in the considered system. The dependence of the screening charge density on electric potential was considered for three basic models, namely for the linear Bardeen-type model of electronic surface states (BS), nonlinear Fermi-Dirac (FD) density of states describing two-dimensional electron gas at the film-gap interface, and strongly nonlinear Stephenson-Highland (SH) model describing the surface charge density of absorbed ions by Langmuir adsorption isotherms. Appeared that BS, FD and SH screening charges, which properties are principally different, determine the free energy relief (including polarization values corresponding to the free energy minima at different applied voltages) and control the shape of polarization hysteresis loops at different temperatures.


title: Quantum generative adversarial learning

abstract: Generative adversarial networks (GANs) represent a powerful tool for classical machine learning: a generator tries to create statistics for data that mimics those of a true data set, while a discriminator tries to discriminate between the true and fake data. The learning process for generator and discriminator can be thought of as an adversarial game, and under reasonable assumptions, the game converges to the point where the generator generates the same statistics as the true data and the discriminator is unable to discriminate between the true and the generated data. This paper introduces the notion of quantum generative adversarial networks (QuGANs), where the data consists either of quantum states, or of classical data, and the generator and discriminator are equipped with quantum information processors. We show that the unique fixed point of the quantum adversarial game also occurs when the generator produces the same statistics as the data. Since quantum systems are intrinsically probabilistic the proof of the quantum case is different from - and simpler than - the classical case. We show that when the data consists of samples of measurements made on high-dimensional spaces, quantum adversarial networks may exhibit an exponential advantage over classical adversarial networks.


title: Structure formation beyond shell-crossing: nonperturbative expansions and late-time attractors

abstract: Structure formation in 1+1 dimensions is considered, with emphasis on the effects of shell-crossing. The breakdown of the perturbative expansion beyond shell-crossing is discussed, and it is shown, in a simple example, that the perturbative series can be extended to a transseries including nonperturbative terms. The latter converges to the exact result well beyond the range of validity of perturbation theory. The crucial role of the divergences induced by shell-crossing is discussed. They provide constraints on the structure of the transseries and act as a bridge between the perturbative and the nonperturbative sectors. Then, we show that the dynamics in the deep multistreaming regime is governed by attractors. In the case of simple initial conditions, these attractors coincide with the asymptotic configurations of the adhesion model, but in general they may differ. These results are applied to a cosmological setting, and an algorithm to build the attractor solution starting from the Zel'dovich approximation is developed. Finally, this algorithm is applied to the search of `haloes' and the results are compared with those obtained from the exact dynamical equations.


title: Electronic structure of the neutral silicon-vacancy center in diamond

abstract: The neutrally-charged silicon vacancy in diamond is a promising system for quantum technologies that combines high-efficiency, broadband optical spin polarization with long spin lifetimes (T2 ~ 1 ms at 4 K) and up to 90% of optical emission into its 946 nm zero-phonon line. However, the electronic structure of SiV0 is poorly understood, making further exploitation difficult. Performing photoluminescence spectroscopy of SiV0 under uniaxial stress, we find the previous excited electronic structure of a single 3A1u state is incorrect, and identify instead a coupled 3Eu - 3A2u system, the lower state of which has forbidden optical emission at zero stress and so efficiently decreases the total emission of the defect: we propose a solution employing finite strain to form the basis of a spin-photon interface. Isotopic enrichment definitively assigns the 976 nm transition associated with the defect to a local mode of the silicon atom.


title: The Inferential Design of Entropy and its Application to Quantum Measurements

abstract: This thesis synthesizes probability and entropic inference with Quantum Mechanics (QM) and quantum measurement [1-6]. It is shown that the standard and quantum relative entropies are tools designed for the purpose of updating probability distributions and density matrices, respectively [1]. The derivation of the standard and quantum relative entropies are completed in tandem and follow from the same inferential principle - the principle of minimal updating [21,66]. As the quantum maximum entropy method is derived using the standard quantum mechanical formalism, the quantum maximum entropy method may be appended to the standard quantum mechanical formalism and remove collapse as a required postulate, in agreement with [11]. The quantum maximum entropy method is found to be a "universal method of density matrix inference" as it can process information about data and moments simultaneously (giving joint generalized quantum inference solutions), which when processed separately gives the Quantum Bayes Rule [2,39] or a canonical quantum (von Neumann) maximum entropy solution [10], respectively, as special cases. The second part of this thesis revolves around a foundational theory of QM called Entropic Dynamics (ED) [13]. Rather than appending an interpretation to QM, ED states its interpretation, "that particles have definite, yet unknown, positions and that entropic probability updating works" - only then does ED derive QM as an application of inference consistent with these assumptions. This shift in interpretation allows one to solve the quantum measurement problem [3,14] and avoid being ruled out by quantum no-go theorems [4]. Observables are divvied-up into two classes in ED: they are the ontic "beables" [15] (particle position), and the epistemic "inferables" [3], which are not predisposed to be part of the ontology as they are inferred in general from position detections.


title: Comments on the twisted punctures of $A_\text{even}$ class S theory

abstract: We point out that the $\text{USp}$ symmetry associated to a full twisted puncture of a class S theory of type $A_\text{even}$ has the global anomaly associated to $\pi_4(\text{USp})=\mathbb{Z}_2$. We discuss manifestations of this fact in the context of the superconformal field theory $R_{2,2N}$ introduced by Chacaltana, Distler and Trimm. For example, we find that this theory can be thought of as a natural ultraviolet completion of an infrared-free $\text{SO}(2N+1)$ gauge theory with $2N$ flavors, whose $\text{USp}(4N)$ symmetry clearly has the global anomaly.


title: Momentum distribution and correlation for a free scalar field in the Tsallis nonextensive statistics based on density operator

abstract: We derived the expression of the normalized $q$-expectation value based on the density operator to the order $1-q$ with the physical temperature in the Tsallis nonextensive statistics of entropic parameter $q$. With the derived expression of the normalized $q$-expectation value, we calculated the momentum distribution and the correlation to the order $1-q$ as functions of the inverse physical temperature for a free scalar field. To the order $1-q$, the momentum distribution derived by using the density operator coincides with the momentum distribution derived from the entropic measure described with the distribution, when the physical temperature equals the temperature in the distribution derived from the entropic measure. The correlation depends on the momentums for $q \neq 1$. The factor two appears in the correlation for the same momentums, and indicates that the effects of boson at $q \neq 1$ and those at $q=1$ are similar for the correlation.


title: Dynamically encircling exceptional points: in situ control of encircling loops and the role of the starting point

abstract: The most intriguing properties of non-Hermitian systems are found near the exceptional points (EPs) at which the Hamiltonian matrix becomes defective. Due to the complex topological structure of the energy Riemann surfaces close to an EP and the breakdown of the adiabatic theorem due to non-Hermiticity, the state evolution in non-Hermitian systems is much more complex than that in Hermitian systems. For example, recent experimental work [Doppler et al. Nature 537, 76 (2016)] demonstrated that dynamically encircling an EP can lead to chiral behaviors, i.e., encircling an EP in different directions results in different output states. Here, we propose a coupled ferromagnetic waveguide system that carries two EPs and design an experimental setup in which the trajectory of state evolution can be controlled in situ using a tunable external field, allowing us to dynamically encircle zero, one or even two EPs experimentally. The tunability allows us to control the trajectory of encircling in the parameter space, including the size of the encircling loop and the starting/end point. We discovered that whether or not the dynamics is chiral actually depends on the starting point of the loop. In particular, dynamically encircling an EP with a starting point in the parity-time-broken phase results in non-chiral behaviors such that the output state is the same no matter which direction the encircling takes. The proposed system is a useful platform to explore the topology of energy surfaces and the dynamics of state evolution in non-Hermitian systems and will likely find applications in mode switching controlled with external parameters.


title: Precise determination of $\alpha_{S}(M_Z)$ from a global fit of energy-energy correlation to NNLO+NNLL predictions

abstract: We present a comparison of the computation of energy-energy correlation in $e^{+}e^{-}$ collisions in the back-to-back region at next-to-next-to-leading logarithmic accuracy matched with the next-to-next-to-leading order perturbative prediction to LEP, PEP, PETRA, SLC and TRISTAN data. With these predictions we perform an extraction of the strong coupling constant taking into account non-perturbative effects modelled with Monte Carlo event generators. The final result at NNLO+NNLL precision is $\alpha_{S}(M_{Z})=0.11750\pm 0.00018 {\text( exp.)}\pm 0.00102{\text(hadr.)}\pm0.00257{\text(ren.)}\pm 0.00078{\text(res.)}$.


title: Bidirectional-Stability Breaking in Thermodynamic Average for Classical Discrete Systems

abstract: For classical systems, expectation value of macroscopic property in equilibrium state can be typically provided through thermodynamic (so-called canonical) average, where summation is taken over possible states in phase space (or in crystalline solids, it is typically approximated on cofiguration space). Although we have a number of theoretical approaches enabling to quantitatively estimate equilibrium properties by applying given potential energy surface (PES) to the thermodynamic average, it is generally unclear whether PES can be stablly, inversely determined from a given set of properties. This essentially comes from the fact that bidirectional stability characters of thermodynamic average for classical system is not sufficiently understood so far. Our recent study reveals that for classical discrete system, this property for a set of microscopic states satisfying special condition can be well-characterized by a newly-introduced concept of anharmonicity in the structural degree of freedom of D, where these states are expected to be stably inversed to underlying PES, known without any thermodynamic information. However, it is still quantitatively unclear how the bidirectional stability character is broken inside the configuration space. Here we show that the breaking in bidirectional stability for thermodynamic average is quantitatively formulated: We find that the breaking is mainly dominated by the sum of divergence and Jacobian of vector field D in configuration space, which can be fully known a priori only from geometric information of underlying lattice, without using any thermodynamic information such as energy or temperature.


title: Automated Detection of Adverse Drug Reactions in the Biomedical Literature Using Convolutional Neural Networks and Biomedical Word Embeddings

abstract: Monitoring the biomedical literature for cases of Adverse Drug Reactions (ADRs) is a critically important and time consuming task in pharmacovigilance. The development of computer assisted approaches to aid this process in different forms has been the subject of many recent works. One particular area that has shown promise is the use of Deep Neural Networks, in particular, Convolutional Neural Networks (CNNs), for the detection of ADR relevant sentences. Using token-level convolutions and general purpose word embeddings, this architecture has shown good performance relative to more traditional models as well as Long Short Term Memory (LSTM) models. In this work, we evaluate and compare two different CNN architectures using the ADE corpus. In addition, we show that by de-duplicating the ADR relevant sentences, we can greatly reduce overoptimism in the classification results. Finally, we evaluate the use of word embeddings specifically developed for biomedical text and show that they lead to a better performance in this task.


title: On the Role of Water Vapor and Process Gasses in Low-Temperature Gold-Catalyzed Graphene Etching

abstract: The ability to pattern graphene at low temperatures in a scalable manner is one of the greatest challenges facing graphene industrial adoption today. We demonstrate a simple method for low-temperature gold-catalyzed etching of graphite with predictable characteristics using ambient air at $350-375^\circ$ C. The naturally occurring water vapor in ambient air is necessary for this reaction to occur. In addition, we characterize the etch characteristics as a function of process parameters. Ar annealing is required to obtain crystallographically straight etches, and $375^\circ$ C is required to obtain single-layer deep etching. We anticipate that this work can be adapted by future research to precisely control the shape of the etched areas, allowing for the simple low-temperature creation of nanoscale graphite features, and ultimately can be applied to single-layer graphene sheets for integrated device fabrication.


title: Evaluation of low-$Q^2$ fits to $ep$ and $ed$ elastic scattering data

abstract: We examined several low-$Q^2$ elastic $ep$ and $ed$ scattering data sets using various models to extract the proton and deuteron rms radii and developed a comprehensive algorithm for estimating the systematic bias of each extracted radius. In each case, we chose the model and upper bound for $Q^2$ that minimized the combination of statistical uncertainty and bias. We attribute the discrepancy between small ($\approx 0.84$~fm) and large ($\approx 0.88$~fm) proton radius extractions to the absence of data that can accurately isolate the linear and quadratic contributions to the form factor at low-$Q^2$. In light of this ambiguity, we estimated the asymmetric model-dependence of each extracted radius by studying the distribution of many possible fits. The resulting radii are 0.842(4)~fm for the proton and 2.092(19)~fm for the deuteron. These values are consistent with those determined from muonic hydrogen measurements within 0.3$\sigma$ for the proton and 1.8$\sigma$ for the deuteron.


title: Optimal Investment, Demand and Arbitrage under Price Impact

abstract: This paper studies the optimal investment problem with random endowment in an inventory-based price impact model with competitive market makers. Our goal is to analyze how price impact affects optimal policies, as well as both pricing rules and demand schedules for contingent claims. For exponential market makers preferences, we establish two effects due to price impact: constrained trading, and non-linear hedging costs. To the former, wealth processes in the impact model are identified with those in a model without impact, but with constrained trading, where the (random) constraint set is generically neither closed nor convex. Regarding hedging, non-linear hedging costs motivate the study of arbitrage free prices for the claim. We provide three such notions, which coincide in the frictionless case, but which dramatically differ in the presence of price impact. Additionally, we show arbitrage opportunities, should they arise from claim prices, can be exploited only for limited position sizes, and may be ignored if outweighed by hedging considerations. We also show that arbitrage inducing prices may arise endogenously in equilibrium, and that equilibrium positions are inversely proportional to the market makers' representative risk aversion. Therefore, large positions endogenously arise in the limit of either market maker risk neutrality, or a large number of market makers.


title: Layered Fields for Natural Tessellations on Surfaces

abstract: Mimicking natural tessellation patterns is a fascinating multi-disciplinary problem. Geometric methods aiming at reproducing such partitions on surface meshes are commonly based on the Voronoi model and its variants, and are often faced with challenging issues such as metric estimation, geometric, topological complications, and most critically parallelization. In this paper, we introduce an alternate model which may be of value for resolving these issues. We drop the assumption that regions need to be separated by lines. Instead, we regard region boundaries as narrow bands and we model the partition as a set of smooth functions layered over the surface. Given an initial set of seeds or regions, the partition emerges as the solution of a time dependent set of partial differential equations describing concurrently evolving fronts on the surface. Our solution does not require geodesic estimation, elaborate numerical solvers, or complicated bookkeeping data structures. The cost per time-iteration is dominated by the multiplication and addition of two sparse matrices. Extension of our approach in a Lloyd's algorithm fashion can be easily achieved and the extraction of the dual mesh can be conveniently preformed in parallel through matrix algebra. As our approach relies mainly on basic linear algebra kernels, it lends itself to efficient implementation on modern graphics hardware.


title: An Integrated Framework for AI Assisted Level Design in 2D Platformers

abstract: The design of video game levels is a complex and critical task. Levels need to elicit fun and challenge while avoiding frustration at all costs. In this paper, we present a framework to assist designers in the creation of levels for 2D platformers. Our framework provides designers with a toolbox (i) to create 2D platformer levels, (ii) to estimate the difficulty and probability of success of single jump actions (the main mechanics of platformer games), and (iii) a set of metrics to evaluate the difficulty and probability of completion of entire levels. At the end, we present the results of a set of experiments we carried out with human players to validate the metrics included in our framework.


title: DOOM Level Generation using Generative Adversarial Networks

abstract: We applied Generative Adversarial Networks (GANs) to learn a model of DOOM levels from human-designed content. Initially, we analysed the levels and extracted several topological features. Then, for each level, we extracted a set of images identifying the occupied area, the height map, the walls, and the position of game objects. We trained two GANs: one using plain level images, one using both the images and some of the features extracted during the preliminary analysis. We used the two networks to generate new levels and compared the results to assess whether the network trained using also the topological features could generate levels more similar to human-designed ones. Our results show that GANs can capture intrinsic structure of DOOM levels and appears to be a promising approach to level generation in first person shooter games.


title: A More Fine-Grained Complexity Analysis of Finding the Most Vital Edges for Undirected Shortest Paths

abstract: We study the NP-hard Shortest Path Most Vital Edges problem arising in the context of analyzing network robustness. For an undirected graph with positive integer edge lengths and two designated vertices $s$ and $t$, the goal is to delete as few edges as possible in order to increase the length of the (new) shortest $st$-path as much as possible. This scenario has been studied from the viewpoint of parameterized complexity and approximation algorithms. We contribute to this line of research by providing refined computational tractability as well as hardness results. We achieve this by a systematic investigation of various problem-specific parameters and their influence on the computational complexity. Charting the border between tractability and intractability, we also identify numerous challenges for future research.


title: Robust and Approximately Stable Marriages under Partial Information

abstract: We study the stable marriage problem in the partial information setting where the agents, although they have an underlying true strict linear order, are allowed to specify partial orders. Specifically, we focus on the case where the agents are allowed to submit strict weak orders and we try to address the following questions from the perspective of a market-designer: i) How can a designer generate matchings that are robust? ii) What is the trade-off between the amount of missing information and the "quality" of solution one can get? With the goal of resolving these questions through a simple and prior-free approach, we suggest looking at matchings that minimize the maximum number of blocking pairs with respect to all the possible underlying true orders as a measure of "quality", and subsequently provide results on finding such matchings. In particular, we first restrict our attention to matchings that have to be stable with respect to at least one of the completions and show that in this case arbitrarily filling-in the missing information and computing the resulting stable matching can give a non-trivial approximation factor for our problem in certain cases. We complement this result by showing that, even under severe restrictions on the preferences of the agents, the factor obtained is asymptotically tight in many cases. We then investigate a special case, where only agents on one side provide strict weak orders and all the missing information is at the bottom of their preference orders, and show that here the negative result mentioned above can be circumvented in order to get a much better approximation factor; this result, too, is tight in many cases. Finally, we move away from the restriction mentioned above and show a general hardness of approximation result and also discuss one possible approach that can lead us to a near-tight approximation bound.


title: Symmetric union diagrams and refined spin models

abstract: An open question akin to the slice-ribbon conjecture asks whether every ribbon knot can be represented as a symmetric union. Next to this basic existence question sits the question of uniqueness of such representations. Eisermann and Lamm investigated the latter question by introducing a notion of symmetric equivalence among symmetric union diagrams and showing that inequivalent diagrams can be detected using a refined version of the Jones polynomial. We prove that every topological spin model gives rise to many effective invariants of symmetric equivalence, which can be used to distinguish infinitely many symmetric union diagrams representing the same link. We also show that such invariants are distinct from the refined Jones polynomial and we use them to provide a partial answer to a question left open by Eisermann and Lamm.


title: The Smallest Singular Values and Vector-Valued Jack Polynomials

abstract: There is a space of vector-valued nonsymmetric Jack polynomials associated with any irreducible representation of a symmetric group. Singular polynomials for the smallest singular values are constructed in terms of the Jack polynomials. The smallest singular values bound the region of positivity of the bilinear symmetric form for which the Jack polynomials are mutually orthogonal. As background there are some results about general finite reflection groups and singular values in the context of standard modules of the rational Cherednik algebra.


title: Photometric Follow-up Transit (Primary Eclipse) Observations of WASP-43 b and TrES-3b and A Study on Their Transit Timing Variations

abstract: Two photometric follow-up transit (primary eclipse) observations on WASP-43 b and four observations on TrES-3 b are performed using the Xuyi Near-Earth Object Survey Telescope. After differential photometry and light curve analysis, the physical parameters of the two systems are obtained and are in good match with the literature. Combining with transit data from a lot of literature, the residuals ($O-C$) of transit observations of both systems are fitted with the linear and quadratic functions. With the linear fitting, the periods and transit timing variations (TTVs) of the planets are obtained, and no obvious periodic TTV signal is found in both systems after an analysis. The maximum mass of a perturbing planet located at the 1:2 mean motion resonance (MMR) for WASP-43 b and TrES-3 b is estimated to be 1.826 and 1.504 Earth mass, respectively. By quadratic fitting, it is confirmed that WASP-43 b may have a long-term TTV which means an orbital decay. The decay rate is shown to be $\dot{P} =(-0.005248 \pm 0.001714)$~s$\cdot$yr$^{-1}$, and compared with the previous results. Based on this, the lower limit of the stellar tidal quality parameter of WASP-43 is calculated to be $Q'_{\rm *} \ge 1.5\times10^5$, and the remaining lifetimes of the planets are presented for the different $Q'_{\rm *}$ values of the two systems, correspondingly.


title: No Metrics Are Perfect: Adversarial Reward Learning for Visual Storytelling

abstract: Though impressive results have been achieved in visual captioning, the task of generating abstract stories from photo streams is still a little-tapped problem. Different from captions, stories have more expressive language styles and contain many imaginary concepts that do not appear in the images. Thus it poses challenges to behavioral cloning algorithms. Furthermore, due to the limitations of automatic metrics on evaluating story quality, reinforcement learning methods with hand-crafted rewards also face difficulties in gaining an overall performance boost. Therefore, we propose an Adversarial REward Learning (AREL) framework to learn an implicit reward function from human demonstrations, and then optimize policy search with the learned reward function. Though automatic eval- uation indicates slight performance boost over state-of-the-art (SOTA) methods in cloning expert behaviors, human evaluation shows that our approach achieves significant improvement in generating more human-like stories than SOTA systems.


title: Quasi-Static Large Deviations

abstract: We consider the symmetric simple exclusion with open boundaries that are in contact with particle reservoirs at different densities. The reservoir densities changes at a slower time scale with respect to the natural time scale the system reaches the stationary state.This gives rise to the quasi static hydrodynamic limit proven in [10]. We study here the large deviations with respect to this limit for the particle density field and the total current. We identify explicitely the large deviation functional and prove that it satisfies a fluctuation relation.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: SRCLock: SAT-Resistant Cyclic Logic Locking for Protecting the Hardware

abstract: In this paper, we claim that cyclic obfuscation, when properly implemented, poses exponential complexity on SAT or CycSAT attack. The CycSAT, in order to generate the necessary cycle avoidance clauses, uses a pre-processing step. We show that this pre-processing step has to compose its cycle avoidance condition on all cycles in a netlist, otherwise, a missing cycle could trap the SAT solver in an infinite loop or force it to return an incorrect key. Then, we propose several techniques by which the number of cycles is exponentially increased with respect to the number of inserted feedbacks. We further illustrate that when the number of feedbacks is increased, the pre-processing step of CycSAT faces an exponential increase in complexity and runtime, preventing the correct composition of loop avoidance clauses in a reasonable time before invoking the SAT solver. On the other hand, if the pre-processing is not completed properly, the SAT solver will get stuck or return incorrect key. Hence, when the cyclic obfuscation in accordance to the conditions proposed in this paper is implemented, it would impose an exponential complexity with respect to the number of inserted feedback, even when the CycSAT solution is used.