title: Light variations due to the line-driven wind instability and wind blanketing in O stars

abstract: A small fraction of the radiative flux emitted by hot stars is absorbed by their winds and redistributed towards longer wavelengths. This effect, which leads also to the heating of the stellar photosphere, is termed wind blanketing. For stars with variable winds, the effect of wind blanketing may lead to the photometric variability. We have studied the consequences of line driven wind instability and wind blanketing for the light variability of O stars. We combined the results of wind hydrodynamic simulations and of global wind models to predict the light variability of hot stars due to the wind blanketing and instability. The wind instability causes stochastic light variability with amplitude of the order of tens of millimagnitudes and a typical timescale of the order of hours for spatially coherent wind structure. The amplitude is of the order of millimagnitudes when assuming that the wind consists of large number of independent concentric cones. The variability with such amplitude is observable using present space borne photometers. We show that the simulated light curve is similar to the light curves of O stars obtained using BRITE and CoRoT satellites.


title: Deterministic Hypothesis Generation for Robust Fitting of Multiple Structures

abstract: We present a novel algorithm for generating robust and consistent hypotheses for multiple-structure model fitting. Most of the existing methods utilize random sampling which produce varying results especially when outlier ratio is high. For a structure where a model is fitted, the inliers of other structures are regarded as outliers when multiple structures are present. Global optimization has recently been investigated to provide stable and unique solutions, but the computational cost of the algorithms is prohibitively high for most image data with reasonable sizes. The algorithm presented in this paper uses a maximum feasible subsystem (MaxFS) algorithm to generate consistent initial hypotheses only from partial datasets in spatially overlapping local image regions. Our assumption is that each genuine structure will exist as a dominant structure in at least one of the local regions. To refine initial hypotheses estimated from partial datasets and to remove residual tolerance dependency of the MaxFS algorithm, iterative re-weighted L1 (IRL1) minimization is performed for all the image data. Initial weights of IRL1 framework are determined from the initial hypotheses generated in local regions. Our approach is significantly more efficient than those that use only global optimization for all the image data. Experimental results demonstrate that the presented method can generate more reliable and consistent hypotheses than random-sampling methods for estimating single and multiple structures from data with a large amount of outliers. We clearly expose the influence of algorithm parameter settings on the results in our experiments.


title: Detection of the gravitational redshift in the orbit of the star S2 near the Galactic centre massive black hole

abstract: The highly elliptical, 16-year-period orbit of the star S2 around the massive black hole candidate Sgr A* is a sensitive probe of the gravitational field in the Galactic centre. Near pericentre at 120 AU, ~1400 Schwarzschild radii, the star has an orbital speed of ~7650 km/s, such that the first-order effects of Special and General Relativity have now become detectable with current capabilities. Over the past 26 years, we have monitored the radial velocity and motion on the sky of S2, mainly with the SINFONI and NACO adaptive optics instruments on the ESO Very Large Telescope, and since 2016 and leading up to the pericentre approach in May 2018, with the four-telescope interferometric beam-combiner instrument GRAVITY. From data up to and including pericentre, we robustly detect the combined gravitational redshift and relativistic transverse Doppler effect for S2 of z ~ 200 km/s / c with different statistical analysis methods. When parameterising the post-Newtonian contribution from these effects by a factor f, with f = 0 and f = 1 corresponding to the Newtonian and general relativistic limits, respectively, we find from posterior fitting with different weighting schemes f = 0.90 +/- 0.09 (stat) +\- 0.15 (sys). The S2 data are inconsistent with pure Newtonian dynamics.


title: Primes $p \equiv 1 \bmod{d}$ and $a^{(p-1)/d} \equiv 1 \bmod{p}$}

abstract: Suppose that $d \in \{ 2, 3, 4, 6 \}$ and $a \in \mathbb{Z}$ with $a\neq -1$ and $a$ is not square. Let $P_{(a,d)}$ be the number of primes $p$ not exceeding $x$ such that $p \equiv 1 \pmod{d}$ and $a^{(p-1)/d} \equiv 1 \pmod{p}$. In this paper, we study the mean value of $P_{(a,d)}$.


title: Monochromatic Regular Polygons in finitely colored $\mathbb{Z}_2 *\mathbb{Z}_2 *\mathbb{Z}_2$

abstract: We show that for any finite coloring of the group $\mathbb{Z}_2 *\mathbb{Z}_2 *\mathbb{Z}_2$ and for any positive integer $k$, there always exists a monochromatic regular $k$-gon in $\mathbb{Z}_2 *\mathbb{Z}_2 *\mathbb{Z}_2$ with respect to the word length metric induced by the standard generating set; the edge length of which is estimated.


title: Impact of radio sources and cosmic infrared background on thermal Sunyaev-Zel'dovich - gravitational lensing cross correlation

abstract: Cross correlation with thermal Sunyaev-Zel'dovich (tSZ) effect in cosmic microwave background observation and weak gravitational lensing effect in galaxy imaging survey opens a new window on constraining matter contents in the Universe at redshift less than 1. In this paper, we study the impact of radio sources and cosmic infrared background (CIB) on observed tSZ-lensing correlation. Assuming the best-fit model of CIB by the Planck satellite, we estimate that the residual correlation of CIB with large-scale structures will be of an order of $2\%$ of expected tSZ-lensing correlation from intracluster medium in current lensing surveys. On the other hand, despite large model uncertainties, we find that correlation of lensing and radio sources can induce a negative correction for the observed tSZ-lensing correlation with a $\sim10-30\%$ level. This is originated from positive cross correlation with radio sources and lensing at $\sim100\, {\rm GHz}$ frequency, whereas tSZ-lensing correlation should show a negative value in temperature fluctuations at that frequency. We also show that the negative correction by radio-lensing correlation can solve the tension between recent measurements of tSZ-lensing correlation and an expected signal from "universal" gas pressure profile of nearby galaxy clusters, when the radio sources with flat-spectral index are assumed to populate massive cluster-sized dark matte halos. Our results indicate that minor source population in radio bands can play an important role in determining observed tSZ-lensing correlation at $<10$ arcmin.


title: 3DFeat-Net: Weakly Supervised Local 3D Features for Point Cloud Registration

abstract: In this paper, we propose the 3DFeat-Net which learns both 3D feature detector and descriptor for point cloud matching using weak supervision. Unlike many existing works, we do not require manual annotation of matching point clusters. Instead, we leverage on alignment and attention mechanisms to learn feature correspondences from GPS/INS tagged 3D point clouds without explicitly specifying them. We create training and benchmark outdoor Lidar datasets, and experiments show that 3DFeat-Net obtains state-of-the-art performance on these gravity-aligned datasets.


title: Deep Learning Network Based Spectrum Sensing Methods for OFDM Systems

abstract: Spectrum sensing plays a critical role in dynamic spectrum sharing, a promising technology to address the radio spectrum shortage. In particular, sensing of Orthogonal frequency division multiplexing (OFDM) signals, a widely accepted multi-carrier transmission paradigm, has received paramount interest. Despite various efforts, most conventional OFDM sensing methods suffer from noise uncertainty, timing delay and carrier frequency offset (CFO) that significantly degrade the sensing accuracy. To address these challenges, this work develops two novel OFDM sensing frameworks drawing support from deep learning networks. Specifically, we first propose a stacked autoencoder based spectrum sensing method (SAE-SS), in which a stacked autoencoder network is designed to extract the inherent features of OFDM signals. Using these features to classify the OFDM user's activities, SAE-SS is much more robust to noise uncertainty, timing delay, and CFO than the conventional OFDM sensing methods. Moreover, SAE-SS doesn't require any prior information of signals (e.g., signal structure, pilot tones, cyclic prefix) which are essential for the conventional feature-based OFDM sensing methods. To further improve the sensing accuracy of SAE-SS, especially under low SNR conditions, we propose a stacked autoencoder based spectrum sensing method using time-frequency domain signals (SAE-TF). SAE-TF achieves higher sensing accuracy than SAW-SS at the cost of higher computational complexity. Extensive simulation results show that both SAE-SS and SAE-TF can achieve significantly higher sensing accuracy, compared with state of the art approaches that suffer from noise uncertainty, timing delay and CFO.


title: A 36-Element Solution To Schneiders' Pyramid Hex-Meshing Problem And A Parity-Changing Template For Hex-Mesh Revision

abstract: In this paper, we present a solution that uses the least number of hexahedra to build a pyramid, which is the key block required for one type of automatic hex-meshing method to be successful. When the initial result of a hex-meshing program is not appropriate for specific applications, some templates are used for revision. The templates reported thus far are parity-preserving, which means that the parity of the number of hexahedra in a mesh is unchanged after a revision following the templates. We present a parity-changing template that makes the template set integral and more effective. These two findings are obtained by a program that we developed for this study, which is a tool for researchers to observe the characteristics of small hexahedral packings.


title: Shot noise limited interferometry for measuring classical force

abstract: We propose an interferometry technique, by using electromagnetically induced transparency phenomena, for measuring classical force. The classical force is estimated by measuring the phase at the output of the interferometer. The proposed measurement mechanism satisfies quantum non-demolition measurement conditions leading to back-action evasion. We further derive the sufficient condition under which the thermal noise in the interferometer is negligible. With no back-action noise and no thermal noise, the sensitivity of this technique is limited by shot noise only.


title: Shared-Memory Parallel Maximal Clique Enumeration

abstract: We present shared-memory parallel methods for Maximal Clique Enumeration (MCE) from a graph. MCE is a fundamental and well-studied graph analytics task, and is a widely used primitive for identifying dense structures in a graph. Due to its computationally intensive nature, parallel methods are imperative for dealing with large graphs. However, surprisingly, there do not yet exist scalable and parallel methods for MCE on a shared-memory parallel machine. In this work, we present efficient shared-memory parallel algorithms for MCE, with the following properties: (1) the parallel algorithms are provably work-efficient relative to a state-of-the-art sequential algorithm (2) the algorithms have a provably small parallel depth, showing that they can scale to a large number of processors, and (3) our implementations on a multicore machine shows a good speedup and scaling behavior with increasing number of cores, and are substantially faster than prior shared-memory parallel algorithms for MCE.


title: Video Storytelling: Textual Summaries for Events

abstract: Bridging vision and natural language is a longstanding goal in computer vision and multimedia research. While earlier works focus on generating a single-sentence description for visual content, recent works have studied paragraph generation. In this work, we introduce the problem of video storytelling, which aims at generating coherent and succinct stories for long videos. Video storytelling introduces new challenges, mainly due to the diversity of the story and the length and complexity of the video. We propose novel methods to address the challenges. First, we propose a context-aware framework for multimodal embedding learning, where we design a Residual Bidirectional Recurrent Neural Network to leverage contextual information from past and future. Second, we propose a Narrator model to discover the underlying storyline. The Narrator is formulated as a reinforcement learning agent which is trained by directly optimizing the textual metric of the generated story. We evaluate our method on the Video Story dataset, a new dataset that we have collected to enable the study. We compare our method with multiple state-of-the-art baselines, and show that our method achieves better performance, in terms of quantitative measures and user study.


title: Topics in Random Matrices and Statistical Machine Learning

abstract: This thesis consists of two independent parts: random matrices, which form the first one-third of this thesis, and machine learning, which constitutes the remaining part. The main results of this thesis are as follows: a necessary and sufficient condition for the inverse moments of $(m,n,\beta)$-Laguerre matrices and compound Wishart matrices to be finite; the universal weak consistency and the strong consistency of the $k$-nearest neighbor rule in metrically sigma-finite dimensional spaces and metrically finite dimensional spaces respectively. In Part I, the Chapter 1 introduces the $(m,n,\beta)$-Laguerre matrix, Wishart and compound Wishart matrix and their joint eigenvalue distribution. While in Chapter 2, a necessary and sufficient condition to have finite inverse moments has been derived. In Part II, the Chapter 1 introduces the various notions of metric dimension and differentiation property followed by our proof for the necessary part of Preiss' result. Further, Chapter 2 gives an introduction to the mathematical concepts in statistical machine learning and then the $k$-nearest neighbor rule is presented in Chapter 3 with a proof of Stone's theorem. In chapters 4 and 5, we present our main results and some possible future directions based on it.


title: Multistability and Variations in Basin of Attraction in Power-grid Systems

abstract: Power grids sustain modern society by supplying electricity and thus their stability is a crucial factor for our civilization. The dynamic stability of a power grid is usually quantified by the probability of its nodes' recovery to phase synchronization of the alternating current it carries, in response to external perturbation. Intuitively, the stability of nodes in power grids is supposed to become more robust as the coupling strength between the nodes increases. However, we find a counterintuitive range of coupling strength values where the synchronization stability suddenly droops as the coupling strength increases, on a number of simple graph structures. Since power grids are designed to fulfill both local and long-range power demands, such simple graph structures or graphlets for local power transmission are indeed relevant in reality. We show that the observed nonmonotonic behavior is a consequence of transitions in multistability, which are related to changes in stability of the \emph{unsynchronized} states. Therefore, our findings suggest that a comprehensive understanding of changes in multistability are necessary to prevent the unexpected catastrophic instability in the building blocks of power grids.


title: Images of multilinear polynomials of degree up to four on upper triangular matrices

abstract: We describe the images of multilinear polynomials of degree up to four on the upper triangular matrix algebra.


title: Solving frustrated quantum many-particle models with convolutional neural networks

abstract: Recently, there has been significant progress in solving quantum many-particle problem via machine learning based on the restricted Boltzmann machine. However, it is still highly challenging to solve frustrated models via machine learning, which has not been demonstrated so far. In this work, we design a brand new convolutional neural network (CNN) to solve such quantum many-particle problems. We demonstrate, for the first time, of solving the highly frustrated spin-1/2 J$_1$-J$_2$ antiferromagnetic Heisenberg model on square lattices via CNN. The energy per site achieved by the CNN is even better than previous string-bond-state calculations. Our work therefore opens up a new routine to solve challenging frustrated quantum many-particle problems using machine learning.


title: Entropy Analysis of Financial Time Series

abstract: This thesis applies entropy as a model independent measure to address three research questions concerning financial time series. In the first study we apply transfer entropy to drawdowns and drawups in foreign exchange rates, to study their correlation and cross correlation. When applied to daily and hourly EUR/USD and GBP/USD exchange rates, we find evidence of dependence among the largest draws (i.e. 5% and 95% quantiles), but not as strong as the correlation between the daily returns of the same pair of FX rates. In the second study we use state space models (Hidden Markov Models) of volatility to investigate volatility spill overs between exchange rates. Among the currency pairs, the co-movement of EUR/USD and CHF/USD volatility states show the strongest observed relationship. With the use of transfer entropy, we find evidence for information flows between the volatility state series of AUD, CAD and BRL. The third study uses the entropy of S&P realised volatility in detecting changes of volatility regime in order to re-examine the theme of market volatility timing of hedge funds. A one-factor model is used, conditioned on information about the entropy of market volatility, to measure the dynamic of hedge funds equity exposure. On a cross section of around 2500 hedge funds with a focus on the US equity markets we find that, over the period from 2000 to 2014, hedge funds adjust their exposure dynamically in response to changes in volatility regime. This adds to the literature on the volatility timing behaviour of hedge fund manager, but using entropy as a model independent measure of volatility regime.


title: Artificial Increasing Returns to Scale and the Problem of Sampling from Lognormals

abstract: We show how increasing returns to scale in urban scaling can artificially emerge, systematically and predictably, without any sorting or positive externalities. We employ a model where individual productivities are independent and identically distributed lognormal random variables across all cities. We use extreme value theory to demonstrate analytically the paradoxical emergence of increasing returns to scale when the variance of log-productivity is larger than twice the log-size of the population size of the smallest city in a cross-sectional regression. Our contributions are to derive an analytical prediction for the artificial scaling exponent arising from this mechanism and to develop a simple statistical test to try to tell whether a given estimate is real or an artifact. Our analytical results are validated analyzing simulations and real microdata of wages across municipalities in Colombia. We show how an artificial scaling exponent emerges in the Colombian data when the sizes of random samples of workers per municipality are $1\%$ or less of their total size.


title: Static non-linear Schr\"{o}dinger equations for the achiral-chiral transitions of polar chiral molecules

abstract: In the mean-field theory, the stabilization of polar chiral molecules is understood as a quantum phase transition where the mean-field ground state of molecules changes from the achiral eigenstate of the molecular Hamiltonian to one of the degenerated chiral states as the increase of the intermolecular interaction. Starting from the many-body Hamiltonian of the molecular gases with electric dipole-dipole interactions, we give the static non-linear Schr\"{o}dinger equations without free parameters to explore the achiral-chiral transitions of polar chiral molecules. We find that the polar chiral molecules of different species can be classified into two categories: At the critical point for the achiral-chiral transition, the mean-field ground state changes continuously in one category, and changes discontinuously in the other category. We further give the mean-field phase diagram of the achiral-chiral transitions for both two categories.


title: A simple pseudo-Voigt/complex error function

abstract: In this work we present a simple approximation for the Voigt/comp-lex error function based on fitting with set of the exponential functions of form ${\alpha _n}{\left| t \right|^n}{e^{ - {\beta _n}\left| t \right|}}$, where ${\alpha _n}$ and ${\beta _n}$ are the expansion coefficients. The computational test reveals that the largest absolute differences for the real and imaginary parts of the complex error function are $0.037$ and $0.036$, respectively.


title: Multi-Agent Reinforcement Learning: A Report on Challenges and Approaches

abstract: Reinforcement Learning (RL) is a learning paradigm concerned with learning to control a system so as to maximize an objective over the long term. This approach to learning has received immense interest in recent times and success manifests itself in the form of human-level performance on games like \textit{Go}. While RL is emerging as a practical component in real-life systems, most successes have been in Single Agent domains. This report will instead specifically focus on challenges that are unique to Multi-Agent Systems interacting in mixed cooperative and competitive environments. The report concludes with advances in the paradigm of training Multi-Agent Systems called \textit{Decentralized Actor, Centralized Critic}, based on an extension of MDPs called \textit{Decentralized Partially Observable MDP}s, which has seen a renewed interest lately.


title: Paired states at 5/2: PH Pfaffian and particle-hole symmetry breaking

abstract: We study Cooper pairing in the Dirac composite fermion (CF) system. The presence of the mass term in the Dirac CF description (which may simulate Landau level mixing) i.e. breaking of particle-hole (PH) symmetry in this system, is a necessary condition for the existence of a PH Pfaffian-like topological state. In the scope of RPA approximation and hydrodynamic approach, we find some signatures of pairing at finite frequencies. Motivated by this insight, we extend our analysis to the case of a different but still Dirac quasi-particle (CF) representation, appropriate in the presence of a mass term, and discuss the likelihood of PH Pfaffian pairing and Pfaffian pairing in general. On the basis of gauge field effects, we find for small Dirac mass anti-Pfaffian or Pfaffian instability depending on the sign of mass, while for large mass (Landau level mixing), irrespective of its sign, PH Pfaffian-like instability.


title: Accessing high-momentum nucleons with dilute stochastic sources

abstract: A novel stochastic technique combining a dilute source grid of $\mathbb{Z}_3$ noise with iterative momentum-smearing is used to study the proton correlation function at rest and in boosted frames on two lattice volumes. The technique makes use of the baryonic version of the so-called one-end trick, and the decomposition into signal and noise terms of the resulting stochastic proton correlation function is made explicit. The number and location of the source points in the dilute grid should be chosen so that the benefits of averaging over many locations overcomes the additional statistical error introduced by the noise terms in the desired fitting region. At all nontrivial momentum values considered we find that the choice of $N=4$--$8$ maximally separated source locations is shown to be optimal, providing a reduced statistical error when compared with a single point source. This enables us to successfully fit the proton energy at momentum values as high as $|\vec{p}| \simeq 3.75$ GeV and $|\vec{p}| \simeq 2.82$ GeV on the small and large volume respectively.


title: Semantics Meet Saliency: Exploring Domain Affinity and Models for Dual-Task Prediction

abstract: Much research has examined models for prediction of semantic labels or instances including dense pixel-wise prediction. The problem of predicting salient objects or regions of an image has also been examined in a similar light. With that said, there is an apparent relationship between these two problem domains in that the composition of a scene and associated semantic categories is certain to play into what is deemed salient. In this paper, we explore the relationship between these two problem domains. This is carried out in constructing deep neural networks that perform both predictions together albeit with different configurations for flow of conceptual information related to each distinct problem. This is accompanied by a detailed analysis of object co-occurrences that shed light on dataset bias and semantic precedence specific to individual categories.


title: Asymmetry between Activators and Deactivators in Functional Protein Networks

abstract: Are "turn-on" and "turn-off" functions in protein-protein interaction networks exact opposites of each other? To answer this question, we implement a minimal model for the evolution of functional protein-interaction networks using a sequence-based mutational algorithm, and apply the model to study neutral drift in networks that yield oscillatory dynamics. We study the roles of activators and deactivators, two core components of oscillatory protein interaction networks, and find a striking asymmetry in the roles of activating and deactivating proteins, where activating proteins tend to be synergistic and deactivating proteins tend to be competitive.


title: Shape of the Cloak: Formal Analysis of Clock Skew-Based Intrusion Detection System in Controller Area Networks

abstract: This paper presents a new masquerade attack called the cloaking attack and provides formal analyses for clock skew-based Intrusion Detection Systems (IDSs) that detect masquerade attacks in the Controller Area Network (CAN) in automobiles. In the cloaking attack, the adversary manipulates the message inter-transmission times of spoofed messages by adding delays so as to emulate a desired clock skew and avoid detection. In order to predict and characterize the impact of the cloaking attack in terms of the attack success probability on a given CAN bus and IDS, we develop formal models for two clock skew-based IDSs, i.e., the state-of-the-art (SOTA) IDS and its adaptation to the widely used Network Time Protocol (NTP), using parameters of the attacker, the detector, and the hardware platform. To the best of our knowledge, this is the first paper that provides formal analyses of clock skew-based IDSs in automotive CAN. We implement the cloaking attack on two hardware testbeds, a prototype and a real vehicle (the University of Washington (UW) EcoCAR), and demonstrate its effectiveness against both the SOTA and NTP-based IDSs. We validate our formal analyses through extensive experiments for different messages, IDS settings, and vehicles. By comparing each predicted attack success probability curve against its experimental curve, we find that the average prediction error is within 3.0% for the SOTA IDS and 5.7% for the NTP-based IDS.


title: "Bilingual Expert" Can Find Translation Errors

abstract: Recent advances in statistical machine translation via the adoption of neural sequence-to-sequence models empower the end-to-end system to achieve state-of-the-art in many WMT benchmarks. The performance of such machine translation (MT) system is usually evaluated by automatic metric BLEU when the golden references are provided for validation. However, for model inference or production deployment, the golden references are prohibitively available or require expensive human annotation with bilingual expertise. In order to address the issue of quality evaluation (QE) without reference, we propose a general framework for automatic evaluation of translation output for most WMT quality evaluation tasks. We first build a conditional target language model with a novel bidirectional transformer, named neural bilingual expert model, which is pre-trained on large parallel corpora for feature extraction. For QE inference, the bilingual expert model can simultaneously produce the joint latent representation between the source and the translation, and real-valued measurements of possible erroneous tokens based on the prior knowledge learned from parallel data. Subsequently, the features will further be fed into a simple Bi-LSTM predictive model for quality evaluation. The experimental results show that our approach achieves the state-of-the-art performance in the quality estimation track of WMT 2017/2018.


title: Distinctive-attribute Extraction for Image Captioning

abstract: Image captioning, an open research issue, has been evolved with the progress of deep neural networks. Convolutional neural networks (CNNs) and recurrent neural networks (RNNs) are employed to compute image features and generate natural language descriptions in the research. In previous works, a caption involving semantic description can be generated by applying additional information into the RNNs. In this approach, we propose a distinctive-attribute extraction (DaE) which explicitly encourages significant meanings to generate an accurate caption describing the overall meaning of the image with their unique situation. Specifically, the captions of training images are analyzed by term frequency-inverse document frequency (TF-IDF), and the analyzed semantic information is trained to extract distinctive-attributes for inferring captions. The proposed scheme is evaluated on a challenge data, and it improves an objective performance while describing images in more detail.


title: Period identities of CM forms on quaternion algebras

abstract: Waldspurger's formula gives an identity between the norm of a torus period and an L-function of the twist of an automorphic representation on GL(2). For any two Hecke characters of a fixed quadratic extension, one can consider the two torus periods coming from integrating one character against the automorphic induction of the other. Because the corresponding L-functions agree, (the norms of) these periods---which occur on different quaternion algebras---are closely related. In this paper, we give a direct proof of an explicit identity between the torus periods themselves.


title: Deterministic consensus maximization with biconvex programming

abstract: Consensus maximization is one of the most widely used robust fitting paradigms in computer vision, and the development of algorithms for consensus maximization is an active research topic. In this paper, we propose an efficient deterministic optimization algorithm for consensus maximization. Given an initial solution, our method conducts a deterministic search that forcibly increases the consensus of the initial solution. We show how each iteration of the update can be formulated as an instance of biconvex programming, which we solve efficiently using a novel biconvex optimization algorithm. In contrast to our algorithm, previous consensus improvement techniques rely on random sampling or relaxations of the objective function, which reduce their ability to significantly improve the initial consensus. In fact, on challenging instances, the previous techniques may even return a worse off solution. Comprehensive experiments show that our algorithm can consistently and greatly improve the quality of the initial solution, without substantial cost.


title: Tree Search Techniques for Minimizing Detectability and Maximizing Visibility

abstract: We introduce and study the problem of planning a trajectory for an agent to carry out a scouting mission while avoiding being detected by an adversarial guard. This introduces an adversarial version of classical visibility-based planning problems such as the Watchman Route Problem. The agent receives a positive reward for increasing its visibility and a negative penalty when it is detected by the guard. The objective is to find a finite-horizon path for the agent that balances the trade-off maximizing visibility and minimizing detectability. We model this problem as a sequential two-player zero-sum discrete game. A minimax tree search can give the optimal policy for the agent but requires an exponential-time computation and space. We propose several pruning techniques to reduce the computational cost while still preserving optimality guarantees. Simulation results show that the proposed strategy prunes approximately three orders of magnitude nodes as compared to the brute-force strategy.


title: Integrable quantum dynamics of open collective spin models

abstract: We consider a collective quantum spin-$s$ in contact with Markovian spin-polarized baths. Using a conserved super-operator charge, a differential representation of the Liouvillian is constructed to find its exact spectrum and eigen-modes. We study the spectral properties of the model in the large-$s$ limit using a semi-classical quantization condition and show that the spectral density may diverge along certain curves in the complex plane. We exploit our exact solution to characterize steady-state properties, in particular at the discontinuous phase transition that arises for unpolarized environments, and to determine the decay rates of coherences and populations. Our approach provides a systematic way of finding integrable Liouvillian operators with non-trivial steady-states as well as a way to study their spectral properties and eigen-modes.


title: Neutrino masses and gauged $U(1)_\ell$ lepton number

abstract: We investigate the tree-level neutrino mass generation in the gauged $U(1)_\ell$ lepton model recently proposed by us [arXiv:1805.10382]. With the addition of one Standard Model(SM) singlet, $\phi_1(Y=0, \ell=1)$, and one SM triplet scalar, $T(Y=-1,\ell=0)$, realistic lepton masses can be accommodated. The resulting magnitude of neutrino mass is given by $\sim v_t^3/v_L^2$, where $v_t$ and $v_L$ are the vacuum expectation values of $T$ and $\phi_1$, respectively, and it is automatically of the inverse see-saw type. Since $v_L$ is the lepton number violation scale we take it to be high, i.e. ${\cal O} \gtrsim (\mbox{TeV})$. Moreover, the induced lepton flavor violating processes and the phenomenology of the peculiar triplet are studied. An interesting bound, $0.1\lesssim v_t\lesssim24.1$ GeV, is obtained when taking into account the neutrino mass generation, $Br(\mu\rightarrow e \gamma)$, and the limits from oblique parameters, $\Delta S$ and $\Delta T$. Collider phenomenology of the SM triplets is also discussed.


title: Detecting and Summarizing GUI Changes in Evolving Mobile Apps

abstract: Mobile applications have become a popular software development domain in recent years due in part to a large user base, capable hardware, and accessible platforms. However, mobile developers also face unique challenges, including pressure for frequent releases to keep pace with rapid platform evolution, hardware iteration, and user feedback. Due to this rapid pace of evolution, developers need automated support for documenting the changes made to their apps in order to aid in program comprehension. One of the more challenging types of changes to document in mobile apps are those made to the graphical user interface (GUI) due to its abstract, pixel-based representation. In this paper, we present a fully automated approach, called GCAT, for detecting and summarizing GUI changes during the evolution of mobile apps. GCAT leverages computer vision techniques and natural language generation to accurately and concisely summarize changes made to the GUI of a mobile app between successive commits or releases. We evaluate the performance of our approach in terms of its precision and recall in detecting GUI changes compared to developer specified changes, and investigate the utility of the generated change reports in a controlled user study. Our results indicate that GCAT is capable of accurately detecting and classifying GUI changes - outperforming developers - while providing useful documentation.


title: Two at Once: Enhancing Learning and Generalization Capacities via IBN-Net

abstract: Convolutional neural networks (CNNs) have achieved great successes in many computer vision problems. Unlike existing works that designed CNN architectures to improve performance on a single task of a single domain and not generalizable, we present IBN-Net, a novel convolutional architecture, which remarkably enhances a CNN's modeling ability on one domain (e.g. Cityscapes) as well as its generalization capacity on another domain (e.g. GTA5) without finetuning. IBN-Net carefully integrates Instance Normalization (IN) and Batch Normalization (BN) as building blocks, and can be wrapped into many advanced deep networks to improve their performances. This work has three key contributions. (1) By delving into IN and BN, we disclose that IN learns features that are invariant to appearance changes, such as colors, styles, and virtuality/reality, while BN is essential for preserving content related information. (2) IBN-Net can be applied to many advanced deep architectures, such as DenseNet, ResNet, ResNeXt, and SENet, and consistently improve their performance without increasing computational cost. (3) When applying the trained networks to new domains, e.g. from GTA5 to Cityscapes, IBN-Net achieves comparable improvements as domain adaptation methods, even without using data from the target domain. With IBN-Net, we won the 1st place on the WAD 2018 Challenge Drivable Area track, with an mIoU of 86.18%.


title: Optical identification of the binary companion to the millisecond PSR J2302+4442 with the Gran Telescopio Canarias

abstract: We report detection of the binary companion to the millisecond pulsar J2302+4442 based on the deep observations performed with the Gran Telescopio Canarias. The observations revealed an optical source with $r'$ = 23.33$\pm$0.02 and $i'$=23.08$\pm$0.02, whose position coincides with the pulsar radio position. By comparing the source colour and magnitudes with the white dwarf cooling predictions, we found that it likely represents a He or CO-core white dwarf and estimated its mass of 0.52$^{+0.25}_{-0.19}$ M$_{\odot}$ and effective temperature of 6300$^{+1000}_{-800}$ K. Combining our results with the radio timing measurements, we set constraints on the binary system inclination angle $i=73^{+6}_{-5}$ degrees and the pulsar mass $m_p=3.1^{+2.7}_{-2.0}$ M$_{\odot}$.


title: Unbounded Output Networks for Classification

abstract: We proposed the expected energy-based restricted Boltzmann machine (EE-RBM) as a discriminative RBM method for classification. Two characteristics of the EE-RBM are that the output is unbounded and that the target value of correct classification is set to a value much greater than one. In this study, by adopting features of the EE-RBM approach to feed-forward neural networks, we propose the UnBounded output network (UBnet) which is characterized by three features: (1) unbounded output units; (2) the target value of correct classification is set to a value much greater than one; and (3) the models are trained by a modified mean-squared error objective. We evaluate our approach using the MNIST, CIFAR-10, and CIFAR-100 benchmark datasets. We first demonstrate, for shallow UBnets on MNIST, that a setting of the target value equal to the number of hidden units significantly outperforms a setting of the target value equal to one, and it also outperforms standard neural networks by about 25\%. We then validate our approach by achieving high-level classification performance on the three datasets using unbounded output residual networks. We finally use MNIST to analyze the learned features and weights, and we demonstrate that UBnets are much more robust against adversarial examples than the standard approach of using a softmax output layer and training the networks by a cross-entropy objective.


title: Shape transition from elliptical to cylindrical membrane tubes induced by chiral crescent-shaped protein rods

abstract: Proteins often form chiral assembly structures on a biomembrane. However, the role of the chirality in the interaction with an achiral membrane is poorly understood. Here, the differential behavior between chiral and achiral crescent-shaped protein rods was investigated using meshless membrane simulations. The achiral rods deformed the membrane tube into an elliptical shape by stabilizing the edges of the ellipse. In contrast, the chiral rods formed a helical assembly that generated a cylindrical membrane tube with a constant radius in addition to the elliptical tube. This helical assembly could be further stabilized by the direct side-to-side attraction between the protein rods. These results agree with experimental findings of the constant radius of membrane tubules induced by the Bin/Amphiphysin/Rvs (BAR) superfamily proteins.


title: On a gateway between continuous and discrete Bessel and Laguerre processes

abstract: By providing instances of approximation of linear diffusions by birth-death processes, Feller [13], has offered an original path from the discrete world to the continuous one. In this paper, by identifying an intertwining relationship between squared Bessel processes and some linear birth-death processes, we show that this connection is in fact more intimate and goes in the two directions. As by-products, we identify some properties enjoyed by the birth-death family that are inherited from squared Bessel processes. For instance, these include a discrete self-similarity property and a discrete analogue of the beta-gamma algebra. We proceed by explaining that the same gateway identity also holds for the corresponding ergodic Laguerre semi-groups. It follows again that the continuous and discrete versions are more closely related than thought before, and this enables to pass information from one semi-group to the other one.


title: Lie-isoclinism of pairs of Leibniz algebras

abstract: The aim of this paper is to consider the relation between Lie-isoclinism and isomorphism of two pairs of Leibniz algebras. We show that, unlike the absolute case for finite dimensional Lie algebras, these concepts are not identical, even if the pairs of Leibniz algebras are Lie-stem. Moreover, throughout the paper we provide some conditions under which Lie-isoclinism and isomorphism of Lie-stem Leibniz algebras are equal. In order to get this equality, the concept of factor set is studied as well.


title: Five-Point Two-Loop Amplitudes from Numerical Unitarity

abstract: We present advances in the development of the numerical unitarity method for the computation of multi-loop amplitudes in QCD. As an application, we show results for all the leading-color two-loop five-gluon helicity amplitudes. The amplitudes are reduced to a linear combination of master integrals by employing unitarity-compatible integration-by-parts identities, and the corresponding integral coefficients are computed in an exact manner on rational phase-space points through finite fields arithmetics.


title: Towards an Entanglement Measure for Mixed States in CFTs Based on Relative Entropy

abstract: Relative entropy of entanglement (REE) is an entanglement measure of bipartite mixed states, defined by the minimum of the relative entropy $S(\rho_{AB}|| \sigma_{AB})$ between a given mixed state $\rho_{AB}$ and an arbitrary separable state $\sigma_{AB}$. The REE is always bounded by the mutual information $I_{AB}=S(\rho_{AB} || \rho_{A}\otimes \rho_{B})$ because the latter measures not only quantum entanglement but also classical correlations. In this paper we address the question of to what extent REE can be small compared to the mutual information in conformal field theories (CFTs). For this purpose, we perturbatively compute the relative entropy between the vacuum reduced density matrix $\rho^{0}_{AB}$ on disjoint subsystems $A \cup B$ and arbitrarily separable state $\sigma_{AB}$ in the limit where two subsystems A and B are well separated, then minimize the relative entropy with respect to the separable states. We argue that the result highly depends on the spectrum of CFT on the subsystems. When we have a few low energy spectrum of operators as in the case where the subsystems consist of a finite number of spins in spin chain models, the REE is considerably smaller than the mutual information. However in general our perturbative scheme breaks down, and the REE can be as large as the mutual information.


title: Rendering Elimination: Early Discard of Redundant Tiles in the Graphics Pipeline

abstract: GPUs are one of the most energy-consuming components for real-time rendering applications, since a large number of fragment shading computations and memory accesses are involved. Main memory bandwidth is especially taxing battery-operated devices such as smartphones. Tile-Based Rendering GPUs divide the screen space into multiple tiles that are independently rendered in on-chip buffers, thus reducing memory bandwidth and energy consumption. We have observed that, in many animated graphics workloads, a large number of screen tiles have the same color across adjacent frames. In this paper, we propose Rendering Elimination (RE), a novel micro-architectural technique that accurately determines if a tile will be identical to the same tile in the preceding frame before rasterization by means of comparing signatures. Since RE identifies redundant tiles early in the graphics pipeline, it completely avoids the computation and memory accesses of the most power consuming stages of the pipeline, which substantially reduces the execution time and the energy consumption of the GPU. For widely used Android applications, we show that RE achieves an average speedup of 1.74x and energy reduction of 43% for the GPU/Memory system, surpassing by far the benefits of Transaction Elimination, a state-of-the-art memory bandwidth reduction technique available in some commercial Tile-Based Rendering GPUs.


title: On the Exponent of Finite-Dimensional Non-Cosemisimple Hopf Algebras

abstract: In 1999, Y. Kashina introduced the exponent of a Hopf algebra. In this paper, we prove that the exponent of a finite dimensional non-cosemisimple Hopf algebra with Chevalley property in characteristic 0 is infinite, and the exponent of a finite dimensional non-cosemisimple pointed Hopf algebra in positive characteristic is finite.


title: A comparison of two biholomorphic invariants

abstract: The Fridman invariant, which is a biholomorphic invariant on Kobayashi hyperbolic manifolds, can be seen as the dual of the much studied squeezing function. We compare this pair of invariants by showing that they are both equally capable of determining the boundary geometry of a bounded domain if their boundary behaviour is apriori known.


title: Minimum positive entropy of complex Enriques surface automorphisms

abstract: We determine the minimum positive entropy of complex Enriques surface automorphisms. This together with McMullen's work completes the determination of the minimum positive entropy of complex surface automorphisms in each class of Enriques-Kodaira classification of complex surfaces.


title: Bifurcations and Monodromy of the Axially Symmetric 1:1:-2 Resonance

abstract: We consider integrable Hamiltonian systems in three degrees of freedom near an elliptic equilibrium in 1:1:-2 resonance. The integrability originates from averaging along the periodic motion of the quadratic part and an imposed rotational symmetry about the vertical axis. Introducing a detuning parameter we find a rich bifurcation diagram, containing three parabolas of Hamiltonian Hopf bifurcations that join at the origin. We describe the monodromy of the resulting ramified 3-torus bundle as variation of the detuning parameter lets the system pass through 1:1:-2 resonance.


title: An Orbitrap-based laser desorption/ablation mass spectrometer designed for spaceflight

abstract: RATIONALE: The investigation of cryogenic planetary environments as potential harbors for extant life and/or contemporary sites of organic synthesis represents an emerging focal point in planetary exploration. Next generation instruments need to be capable of unambiguously determining elemental and/or molecular stoichiometry via highly accurate mass measurements and the separation of isobaric interferences. METHODS: An OrbitrapTM analyzer adapted for spaceflight (referred to as the CosmOrbitrap), coupled with a commercial pulsed UV laser source (266 nm), is shown to successfully characterize a variety of planetary analog samples via ultrahigh resolution laser desorption/ablation mass spectrometry. The materials analyzed in this study include: jarosite (a hydrous sulfate detected on Mars); magnesium sulfate (a potential component of the subsurface ocean on Europa); uracil (a nucleobase of RNA); and a variety of amino acids. RESULTS: The instrument configuration tested here enables: measurement of major elements and organic molecules with ultrahigh mass resolution (m/{\Delta}m higher than 120,000, FWHM); quantification of isotopic abundances with 1.0% (2{\sigma}) precision; and, identification of highly accurate masses within 3.2 ppm of absolute values. The analysis of a residue of a dilute solution of amino acids demonstrates the capacity to detect twelve amino acids in positive ion mode at concentrations as low as 1 pmol/mm2 while maintaining mass resolution and accuracy requirements. CONCLUSIONS: The CosmOrbitrap mass analyzer is highly sensitive and delivers mass resolution/accuracy unmatched by any instrument sent into orbit or launched into deep space. This prototype instrument, which maps to a spaceflight implementation, represents a missionenabling technology capable of advancing planetary exploration for decades to come.


title: Construction of general symplectic field theory

abstract: We construct symplectic field theory in general case completely. We use Kuranishi theory for the construction. For the construction of the Kuranishi neighborhood of a holomorphic building of genus $>0$, we introduce a new space which parametrizes the deformations of both of the domain curve and the target space. We also improve the theory of Kuranishi structure and introduce the new notion of pre-Kuranishi structure and its weakly good coordinate system. Although the product of good coordinate systems is not a good coordinate system, weakly good coordinate system is closed with respect to product, and we can use their product directly for the product of pre-Kuranishi spaces. We also explain a new way to prove the smoothness of pre-Kuranishi structure by using the estimates of the differentials of implicit functions. We can obtain the estimate of the implicit functions by direct calculations using appropriate coordinates. We treat symplectic field theory of Bott-Morse case by using a triangulation of the space of periodic orbits.


title: Left-handed polarized spin waves in ferromagnets induced by spin-transfer torque

abstract: Polarization is a fundamental property of waves that refers to the orientation of the oscillations. It has been widely used to encode information in photonics and phononics. However, the polarization of spin waves is rarely used yet in magnonics. The reason for this is that only the right-handed polarized spin waves can be accommodated in ferromagnets. Here, we report that stable left-handed polarized spin waves can be introduced into ferromagnets if a spin-polarized electrical current is presented. The right-handed and left-handed polarized spin waves coexist when the current density is larger than a critical value while the system keeps stable. The results are confirmed by micromagnetic simulations. This work provides new playgrounds to study spin waves and points to new findings for future experimental studies.


title: Interplay between nematic fluctuation and superconductivity in the two-orbital Hubbard model: A quantum Monte Carlo study

abstract: To understand the interplay between nematic fluctuation and superconductivity in iron-based superconductors, we performed a systematic study of the realistic two-orbital Hubbard model by using the constrained-path quantum Monte Carlo method. Our numerical results showed that the on-site nematic interaction induces a strong enhancement of nematic fluctuations at various momentums, especially at ($\pi$,$\pi$). Simultaneously, it was found that the on-site nematic interaction suppresses the ($\pi$,0)/(0,$\pi$) antiferromagnetic order and long-range electron pairing correlations for dominant pairing channels in iron-based superconductors. Our findings suggest that nematic fluctuation seems to compete with superconductivity in iron-based superconductors.


title: Channel Dependent Mutual Information in Index Modulations

abstract: Mutual Information is the metric that is used to perform link adaptation, which allows to achieve rates near capacity. The computation of adaptive transmission modes is achieved by employing the mapping between the Signal to Noise Ratio and the Mutual Information. Due to the high complexity of the computation of the Mutual Information, this process is performed off-line via Monte Carlo simulations, whose results are stored in look-up tables. However, in Index Modulations, such as Spatial Modulation or Polarized Modulation, this is not feasible since the constellation and the Mutual Information are channel dependent and it would require to compute this metric at each time instant if the channel is time varying. In this paper, we propose different approximations in order to obtain a simple closed-form expression that allows to compute the Mutual Information at each time instant and thus, making feasible the link adaptation.


title: A User Modeling Pipeline for Studying Polarized Political Events in Social Media

abstract: This paper presents a user modeling pipeline to analyze discussions and opinions shared on social media regarding polarized political events (e.g., public polls). The pipeline follows a four-step methodology. First, social media posts and users metadata are crawled. Second, a filtering mechanism is applied to filter spammers and bot users. As a third step, demographics information is extracted out of the valid users, namely gender, age, ethnicity and location information. Finally, the political polarity of the users with respect to the analyzed event is predicted. In the scope of this work, our proposed pipeline is applied to two referendum scenarios (independence of Catalonia in Spain and autonomy of Lombardy in Italy) in order to assess the performance of the approach with respect to the capability of collecting correct insights on the demographics of social media users and of predicting the poll results based on the opinions shared by the users. Experiments show that the method was effective in predicting the political trends for the Catalonia case, but not for the Lombardy case. Among the various motivations for this, we noticed that in general Twitter was more representative of the users opposing the referendum than the ones in favor.


title: Practical Implementation of Link Adaptation with Dual Polarized Modulation

abstract: The use of dual polarization in mobile satellite systems is very promising for increasing the channel capacity. Polarized Modulation is proposed in this paper for use in practical systems, by providing simple equations for computing its capacity and featuring a link adaptation algorithm. This scheme shows remarkable gains in the spectral efficiency when compared with single polarization and other multi-antenna techniques such as V-BLAST. Polarized Modulation is a particular instance of more general Index Modulations, which are being considered for 5G networks. Thus, the proposed link adaptation algorithm could find synergies with current activities for future terrestrial networks.


title: Non-convex Mather's theory and the Conley conjecture on the cotangent bundle of the torus

abstract: The aim of this paper is to use the methods and results of symplectic homogenization (see [V4]) to prove existence of periodic orbits and invariant measures with rotation number depending on the differential of the Homogenized Hamiltonian. We also prove the Conley conjecture on the cotangent bundle of the torus. Both proofs rely on Symplectic Homogenization and a refinement of it.


title: Propensity score estimation using classification and regression trees in the presence of missing covariate data

abstract: Data mining and machine learning techniques such as classification and regression trees (CART) represent a promising alternative to conventional logistic regression for propensity score estimation. Whereas incomplete data preclude the fitting of a logistic regression on all subjects, CART is appealing in part because some implementations allow for incomplete records to be incorporated in the tree fitting and provide propensity score estimates for all subjects. Based on theoretical considerations, we argue that the automatic handling of missing data by CART may however not be appropriate. Using a series of simulation experiments, we examined the performance of different approaches to handling missing covariate data; (i) applying the CART algorithm directly to the (partially) incomplete data, (ii) complete case analysis, and (iii) multiple imputation. Performance was assessed in terms of bias in estimating exposure-outcome effects \add{among the exposed}, standard error, mean squared error and coverage. Applying the CART algorithm directly to incomplete data resulted in bias, even in scenarios where data were missing completely at random. Overall, multiple imputation followed by CART resulted in the best performance. Our study showed that automatic handling of missing data in CART can cause serious bias and does not outperform multiple imputation as a means to account for missing data.


title: $Z_{2}$ spin liquid ground state of the spin-$\frac{1}{2}$ Kagome antiferromagnetic Heisenberg model

abstract: We show that the best variational ground state of the spin-$\frac{1}{2}$ Kagome antiferromagnetic Heisenberg model with nearest-neighboring exchange coupling(NN-KAFH) is a $Z_{2}$ spin liquid state, rather than the widely believed $U(1)$ Dirac spin liquid state. The spinon excitation in the $Z_{2}$ spin liquid state has a small gap of about $1/40$ of the spinon band width. We find that while the $Z_{2}$ and the $U(1)$ spin liquid state have a large overlap on finite clusters and are thus very close in energy, they host totally different spinon excitation spectrum. The strength of the RVB theory becomes particularly clear in such a situation, as it provides not only a variational understanding of the ground state structure, but also a comprehensive picture for the excitation spectrum of the system. Our result indicates that the spin-$\frac{1}{2}$ NN-KAFH should be better understood as a nearly critical system, rather than a prototypical gapped $Z_{2}$ spin liquid system.


title: Specification-Based Protocol Obfuscation

abstract: This paper proposes a new obfuscation technique of a communication protocol that is aimed at making the reverse engineering of the protocol more complex. The obfuscation is based on the transformation of protocol message format specification. The obfuscating transformations are applied to the Abstract Syntax Tree (AST) representation of the messages and mainly concern the ordering or aggregation of the AST nodes. The paper also presents the design of a framework that implements the proposed obfuscation technique by automatically generating, from the specification of the message format, a library performing the corresponding transformations. Finally, our framework is applied to two real application protocols (Modbus and HTTP) to illustrate the relevance and efficiency of the proposed approach. Various metrics recorded from the experiments show the significant increase of the complexity of the obfuscated protocol binary compared to the non-obfuscated code. It is also shown that the execution time and memory overheads remain acceptable for a practical deployment of the approach in operation.


title: On-Surface Synthesis of Heptacene on Ag(001) from Brominated and Non-Brominated Tetrahydroheptacene Precursors

abstract: Achieving the Ag(001)-supported synthesis of heptacene from two related reactants reveals the effect of the presence of Br atoms on the reaction process. The properties of reactant, intermediates and end-product are further characterized by scanning tunneling microscopy and spectroscopy.


title: Model Checking Quantum Systems --- A Survey

abstract: This article discusses the essential difficulties in developing model-checking techniques for quantum systems that are never present in model checking classical systems. It further reviews some early researches on checking quantum communication protocols as well as a new line of researches pursued by the authors and their collaborators on checking general quantum systems, applicable to both physical systems and quantum programs.


title: Accelerating the iterative solution of convection-diffusion problems using singular value decomposition

abstract: The discretization of convection-diffusion equations by implicit or semi-implicit methods leads to a sequence of linear systems usually solved by iterative linear solvers such as GMRES. Many techniques bearing the name of \emph{recycling Krylov space methods} have been proposed to speed up the convergence rate after restarting, usually based on the selection and retention of some Arnoldi vectors. After providing a unified framework for the description of a broad class of recycling methods and preconditioners, we propose an alternative recycling strategy based on a singular value decomposition selection of previous solutions, and exploit this information in classical and new augmentation and deflation methods. The numerical tests in scalar non-linear convection-diffusion problems are promising for high-order methods.


title: Quotient-Space Motion Planning

abstract: A motion planning algorithm computes the motion of a robot by computing a path through its configuration space. To improve the runtime of motion planning algorithms, we propose to nest robots in each other, creating a nested quotient-space decomposition of the configuration space. Based on this decomposition we define a new roadmap-based motion planning algorithm called the Quotient-space roadMap Planner (QMP). The algorithm starts growing a graph on the lowest dimensional quotient space, switches to the next quotient space once a valid path has been found, and keeps updating the graphs on each quotient space simultaneously until a valid path in the configuration space has been found. We show that this algorithm is probabilistically complete and outperforms a set of state-of-the-art algorithms implemented in the open motion planning library (OMPL).


title: Supervised and Semi-Supervised Deep Neural Networks for CSI-Based Authentication

abstract: From the viewpoint of physical-layer authentication, spoofing attacks can be foiled by checking channel state information (CSI). Existing CSI-based authentication algorithms mostly require a deep knowledge of the channel to deliver decent performance. In this paper, we investigate CSI-based authenticators that can spare the effort to predetermine channel properties by utilizing deep neural networks (DNNs). We first propose a convolutional neural network (CNN)-enabled authenticator that is able to extract the local features in CSI. Next, we employ the recurrent neural network (RNN) to capture the dependencies between different frequencies in CSI. In addition, we propose to use the convolutional recurrent neural network (CRNN)---a combination of the CNN and the RNN---to learn local and contextual information in CSI for user authentication. To effectively train these DNNs, one needs a large amount of labeled channel records. However, it is often expensive to label large channel observations in the presence of a spoofer. In view of this, we further study a case in which only a small part of the the channel observations are labeled. To handle it, we extend these DNNs-enabled approaches into semi-supervised ones. This extension is based on a semi-supervised learning technique that employs both the labeled and unlabeled data to train a DNN. To be specific, our semi-supervised method begins by generating pseudo labels for the unlabeled channel samples through implementing the K-means algorithm in a semi-supervised manner. Subsequently, both the labeled and pseudo labeled data are exploited to pre-train a DNN, which is then fine-tuned based on the labeled channel records.


title: Studies on cosmic ray nuclei with Voyager, ACE and AMS-02: I. local interstellar spectra and solar modulation

abstract: The acceleration of cosmic ray particles and their propagation in the Milky Way and the heliosphere tangle with each other, leading to complexity and degeneracy of the modeling of Galactic cosmic rays (GCRs). The recent measurements of the GCR spectra by Voyager-1 from outside of the heliosphere gave a first direct observation of GCRs in the local interstellar (LIS) environment. Together with the high-precision data near the Earth taken by ACE and AMS-02, we derive the LIS spectra of Helium, Lithium, Beryllium, Boron, Carbon, and Oxygen nuclei from a few MeV/n to TeV/n, using a non-parameterization method. These LIS spectra are helpful in further studying the injection and propagation parameters of GCRs. The nearly 20 years of data recorded by ACE are used to determine the solar modulation parameters over the solar cycles 23 and 24, based on the force-field approximation. We find general agreements of the modulation potential with the results inferred from neutron monitors and other cosmic ray data.


title: Parameterisation of lateral density and arrival time distributions of Cherenkov photons in EASs as functions of independent shower parameters for different primaries

abstract: The simulation of Cherenkov photon's lateral density and arrival time distributions in Extensive Air Showers (EASs) was performed with the CORSIKA code in the energy range: 100 GeV to 100 TeV. On the basis of this simulation we obtained a set of approximating functions for the primary $\gamma$-ray photons, protons and iron nuclei incident at zenith angles from 0$^\circ$ to 40$^\circ$ over different altitudes of observation. Such a parameterisation is important for the primary particle identification, for the reconstruction of the shower observables and hence for a more efficient disentanglement of the $\gamma$-ray showers from the hadronic showers. From our parameterisation analysis, we have found that even though the geometry of the lateral density ($\rho_{ch}$) and the arrival time ($t_{ch}$) distributions is different for different primaries at a particular energy ($E$), at a particular incident angle ($\theta$) and at a particular altitude of observation ($H$) up to a given distance from the showe core ($R$), the distributions follow the same mathematical functions $\rho(E,R,\theta,H) = a E^{b}\exp[-\{c R + (\theta /d)^{2}-f H\}]$ and $t(E,R,\theta,H) = l E^{-m}\exp(n/R^{p})({\theta}^q+s)(u {H}^2+v)$ respectively but with different values of function parameters.


title: Millimeter-Wave Propagation within a Computer Chip Package

abstract: Wireless Network-on-Chip (WNoC) appears as a promising alternative to conventional interconnect fabrics for chip-scale communications. The WNoC paradigm has been extensively analyzed from the physical, network and architecture perspectives assuming mmWave band operation. However, there has not been a comprehensive study at this band for realistic chip packages and, thus, the characteristics of such wireless channel remain not fully understood. This work addresses this issue by accurately modeling a flip-chip package and investigating the wave propagation inside it. Through parametric studies, a locally optimal configuration for 60 GHz WNoC is obtained, showing that chip-wide attenuation below 32.6 dB could be achieved with standard processes. Finally, the applicability of the methodology is discussed for higher bands and other integrated environments such as a Software-Defined Metamaterial (SDM).


title: Extreme cases of limit operator theory on metric spaces

abstract: The theory of limit operators was developed by Rabinovich, Roch and Silbermann to study the Fredholmness of band-dominated operators on $\ell^p(\mathbb{Z}^N)$ for $p \in \{0\} \cup [1,\infty]$, and recently generalised to discrete metric spaces with property A by \v{S}pakula and Willett for $p \in (1,\infty)$. In this paper, we study the remained extreme cases of $p \in\{0,1,\infty\}$ (in the metric setting) to fill the gaps.


title: $\sigma$-self-orthogonal constacyclic codes of length $p^s$ over $\mathbb F_{p^m}+u\mathbb F_{p^m}$

abstract: In this paper, we study the $\sigma$-self-orthogonality of constacyclic codes of length $p^s$ over the finite commutative chain ring $\mathbb F_{p^m} + u \mathbb F_{p^m}$, where $u^2=0$ and $\sigma$ is a ring automorphism of $\mathbb F_{p^m} + u \mathbb F_{p^m}$. First, we obtain the structure of $\sigma$-dual code of a $\lambda$-constacyclic code of length $p^s$ over $\mathbb F_{p^m} + u \mathbb F_{p^m}$. Then, the necessary and sufficient conditions for a $\lambda$-constacyclic code to be $\sigma$-self-orthogonal are provided. In particular, we determine the $\sigma$-self-dual constacyclic codes of length $p^s$ over $\mathbb F_{p^m} + u \mathbb F_{p^m}$. Finally, we extend the results to constacyclic codes of length $2 p^s$.


title: CAP and Monetary Policy

abstract: Despite the importance of CAP-related agricultural market regulation mechanisms within Europe, the agricultural sectors in European countries retain a degree of sensitivity to macroeconomic activity and policies. This reality now raises the question of the effects to be expected from the implementation of the single monetary policy on these agricultural sectors within the Monetary Union.


title: Identifiers for MRD-codes

abstract: For any admissible value of the parameters $n$ and $k$ there exist $[n,k]$-Maximum Rank distance ${\mathbb F}_q$-linear codes. Indeed, it can be shown that if field extensions large enough are considered, almost all rank distance codes are MRD. On the other hand, very few families up to equivalence of such codes are currently known. In the present paper we study some invariants of MRD codes and evaluate their value for the known families, providing a new characterization of generalized twisted Gabidulin codes.


title: In situ calibration of large-$R$ jet energy and mass in 13 TeV proton-proton collisions with the ATLAS detector

abstract: The response of the ATLAS detector to large-radius jets is measured in situ using 36.2 fb$^{-1}$ of $\sqrt{s} = 13$ TeV proton-proton collisions provided by the LHC and recorded by the ATLAS experiment during 2015 and 2016. The jet energy scale is measured in events where the jet recoils against a reference object, which can be either a calibrated photon, a reconstructed $Z$ boson, or a system of well-measured small-radius jets. The jet energy resolution and a calibration of forward jets are derived using dijet balance measurements. The jet mass response is measured with two methods: using mass peaks formed by $W$ bosons and top quarks with large transverse momenta and by comparing the jet mass measured using the energy deposited in the calorimeter with that using the momenta of charged-particle tracks. The transverse momentum and mass responses in simulations are found to be about 2-3% higher than in data. This difference is adjusted for with a correction factor. The results of the different methods are combined to yield a calibration over a large range of transverse momenta ($p_{\rm T}$). The precision of the relative jet energy scale is 1-2% for $200~{\rm GeV} < p_{\rm T} < 2~{\rm TeV}$, while that of the mass scale is 2-10%. The ratio of the energy resolutions in data and simulation is measured to a precision of 10-15% over the same $p_{\rm T}$ range.


title: Deligne categories and the periplectic Lie superalgebra

abstract: We study stabilization of finite-dimensional representations of the periplectic Lie superalgebras $\mathfrak{p}(n)$ as $n \to \infty$. The paper gives a construction of the tensor category $Rep(\underline{P})$, possessing nice universal properties among tensor categories over the category $\mathtt{sVect}$ of finite-dimensional complex vector superspaces. First, it is the "abelian envelope" of the Deligne category corresponding to the periplectic Lie superalgebra, in the sense of arXiv:1511.07699. Secondly, given a tensor category $\mathcal{C}$ over $\mathtt{sVect}$, exact tensor functors $Rep(\underline{P})\longrightarrow \mathcal{C}$ classify pairs $(X, \omega)$ in $\mathcal{C}$ where $\omega: X \otimes X \to \Pi \mathbf{1}$ is a non-degenerate symmetric form and $X$ not annihilated by any Schur functor. The category $Rep(\underline{P})$ is constructed in two ways. The first construction is through an explicit limit of the tensor categories $Rep(\mathfrak{p}(n))$ ($n\geq 1$) under Duflo-Serganova functors. The second construction (inspired by P. Etingof) describes $Rep(\underline{P})$ as the category of representations of a periplectic Lie supergroup in the Deligne category $\mathtt{sVect} \boxtimes Rep(\underline{GL}_t)$. An upcoming paper by the authors will give results on the abelian and tensor structure of $Rep(\underline{P})$.


title: Maker-Breaker domination game

abstract: We introduce the Maker-Breaker domination game, a two player game on a graph. At his turn, the first player, Dominator, select a vertex in order to dominate the graph while the other player, Staller, forbids a vertex to Dominator in order to prevent him to reach his goal. Both players play alternately without missing their turn. This game is a particular instance of the so-called Maker-Breaker games, that is studied here in a combinatorial context. In this paper, we first prove that deciding the winner of the Maker-Breaker domination game is PSPACE-complete, even for bipartite graphs and split graphs. It is then showed that the problem is polynomial for cographs and trees. In particular, we define a strategy for Dominator that is derived from a variation of the dominating set problem, called the pairing dominating set problem.


title: Attention Mechanisms for Object Recognition with Event-Based Cameras

abstract: Event-based cameras are neuromorphic sensors capable of efficiently encoding visual information in the form of sparse sequences of events. Being biologically inspired, they are commonly used to exploit some of the computational and power consumption benefits of biological vision. In this paper we focus on a specific feature of vision: visual attention. We propose two attentive models for event based vision: an algorithm that tracks events activity within the field of view to locate regions of interest and a fully-differentiable attention procedure based on DRAW neural model. We highlight the strengths and weaknesses of the proposed methods on four datasets, the Shifted N-MNIST, Shifted MNIST-DVS, CIFAR10-DVS and N-Caltech101 collections, using the Phased LSTM recognition network as a baseline reference model obtaining improvements in terms of both translation and scale invariance.


title: Regulation of T cell expansion by antigen presentation dynamics

abstract: An essential feature of the adaptive immune system is the proliferation of antigen-specific lymphocytes during an immune reaction to form a large pool of effector cells. This proliferation must be regulated to ensure an effective response to infection while avoiding immunopathology. Recent experiments in mice have demonstrated that the expansion of a specific clone of T cells in response to cognate antigen obeys a striking inverse power law with respect to the initial number of T cells. Here, we show that such a relationship arises naturally from a model in which T cell expansion is limited by decaying levels of presented antigen. The same model also accounts for the observed dependence of T cell expansion on affinity for antigen and on the kinetics of antigen administration. Extending the model to address expansion of multiple T cell clones competing for antigen, we find that higher affinity clones can suppress the proliferation of lower affinity clones, thereby promoting the specificity of the response. Employing the model to derive optimal vaccination protocols, we find that exponentially increasing antigen doses can achieve a nearly optimized response. We thus conclude that the dynamics of presented antigen is a key regulator of both the size and specificity of the adaptive immune response.


title: Itinerant approach to magnetic neutron scattering of FeSe: effect of orbital selectivity

abstract: Recent STM experiments and theoretical considerations have highlighted the role of interaction-driven orbital selectivity in FeSe, and its role in generating the extremely anisotropic superconducting gap structure in this material. We study the magnetic excitation spectrum resulting from the coherent quasiparticles within the same renormalized random phase approximation approach used to explain the STM experiments, and show that it agrees well with the low-energy momentum and energy dependent response measured by inelastic neutron scattering experiments. We find a correlation-induced suppression of $(\pi,\pi)$ scattering due to a small quasiparticle weight of states of $d_{xy}$ character. We compare predictions for twinned and untwinned crystals, and predict in particular a strongly $(\pi,0)$-dominated response at low energies in untwinned systems, in contrast to previous itinerant theories.


title: A Greedy Heuristic for Crossing-Angle Maximization

abstract: The crossing angle of a straight-line drawing $\Gamma$ of a graph $G=(V, E)$ is the smallest angle between two crossing edges in $\Gamma$. Deciding whether a graph $G$ has a straight-line drawing with a crossing angle of $90^\circ$ is $\mathcal NP$-hard. We propose a simple heuristic to compute a drawing with a large crossing angle. The heuristic greedily selects the best position for a single vertex in a random set of points. The algorithm is accompanied by a speed-up technique to compute the crossing angle of a straight-line drawing. We show the effectiveness of the heuristic in an extensive empirical evaluation. Our heuristic was clearly the winning algorithm (CoffeeVM) in the Graph Drawing Challenge 2017.


title: Raziel: Private and Verifiable Smart Contracts on Blockchains

abstract: Raziel combines secure multi-party computation and proof-carrying code to provide privacy, correctness and verifiability guarantees for smart contracts on blockchains. Effectively solving DAO and Gyges attacks, this paper describes an implementation and presents examples to demonstrate its practical viability (e.g., private and verifiable crowdfundings and investment funds). Additionally, we show how to use Zero-Knowledge Proofs of Proofs (i.e., Proof-Carrying Code certificates) to prove the validity of smart contracts to third parties before their execution without revealing anything else. Finally, we show how miners could get rewarded for generating pre-processing data for secure multi-party computation.


title: Ehrhart-equivalent $\boldsymbol 3$-polytopes are equidecomposable

abstract: We show that if two lattice $3$-polytopes $P$ and $P'$ have the same Ehrhart function then they are $\operatorname{GL}_3({\mathbb Z})$-equidecomposable; that is, they can be partitioned into relatively open simplices $U_1,\dots, U_k$ and $U'_1,\dots,U'_k$ such that $U_i$ and $U'_i$ are unimodularly equivalent, for each $i$.


title: Investigations of Mertens and Liouville summation functions

abstract: Summation arithmetic functions of Mertens and Liouville are investigated in the paper. It is proved that the limiting distribution of these functions is the normal. It is also shown that the estimating of standard deviation of these functions $O(n^{1/2})$ cannot be improved. The estimate of the average of Liouville summation function is found. The estimate of the order of growth of the ratio of the summation functions of Mertens and Liouville is also found.


title: Evolution of magnetic fields from the 3+1 dimensional self-similar and Gubser flows in ideal relativistic magnetohydrodynamics

abstract: Motivated by the recently found realization of the $1+1$ dimensional Bjorken flow in ideal and nonideal relativistic magnetohydrodynamics (MHD), we use appropriate symmetry arguments, and determine the evolution of magnetic fields arising from the $3+1$ dimensional self-similar and Gubser flows in an infinitely conductive relativistic fluid (ideal MHD). In the case of the $3+1$ dimensional self-similar flow, we arrive at a family of solutions, that are related through a differential equation arising from the corresponding Euler equation. To find the magnetic field evolution from the Gubser flow, we solve the MHD equations of a stationary fluid in a conformally flat $dS^{3}\times E^{1}$ spacetime. The results are then Weyl transformed back into the Minkowski spacetime. In this case, the temporal evolution of the resulting magnetic field is shown to exhibit a transition between an early time $1/t$ decay to a $1/t^{3}$ decay at a late time. Here, $t$ is the time coordinate. Transverse and longitudinal components of the magnetic fields arising from these flows are also found. The latter turns out to be sensitive to the transverse size of the fluid. In contrast to the result arising from the Gubser flow, the radial domain of validity of the magnetic field arising from the self-similar flow is highly restricted. A comparison of the results suggests that the (conformal) Gubser MHD may give a more appropriate qualitative picture of the magnetic field decay in the plasma of quarks and gluons created in heavy ion collisions.


title: Prototype Discovery using Quality-Diversity

abstract: An iterative computer-aided ideation procedure is introduced, building on recent quality-diversity algorithms, which search for diverse as well as high-performing solutions. Dimensionality reduction is used to define a similarity space, in which solutions are clustered into classes. These classes are represented by prototypes, which are presented to the user for selection. In the next iteration, quality-diversity focuses on searching within the selected class. A quantitative analysis is performed on a 2D airfoil, and a more complex 3D side view mirror domain shows how computer-aided ideation can help to enhance engineers' intuition while allowing their design decisions to influence the design process.


title: Does slow and steady win the race? Investigating feedback processes in giant molecular clouds

abstract: We investigate the effects of gradual heating on the evolution of turbulent molecular clouds of mass $2\times 10^6$ M$_\odot$ and virial parameters ranging between $0.7-1.2$. This gradual heating represents the energy output from processes such as winds from massive stars or feedback from High Mass X-ray binaries (HMXBs), contrasting the impulsive energy injection from supernovae (SNe). For stars with a mass high enough that their lifetime is shorter than the life of the cloud, we include a SN feedback prescription. Including both effects, we investigate the interplay between slow and fast forms of feedback and their effectiveness at triggering/suppressing star formation. We find that SN feedback can carve low density chimneys in the gas, offering a path of least resistance for the energy to escape. Once this occurs the more stable, but less energetic, gradual feedback is able to keep the chimneys open. By funneling the hot destructive gas away from the centre of the cloud, chimneys can have a positive effect on both the efficiency and duration of star formation. Moreover, the critical factor is the number of high mass stars and SNe (and any subsequent HMXBs) active within the free-fall time of each cloud. This can vary from cloud to cloud due to the stochasticity of SN delay times and in HMXB formation. However, the defining factor in our simulations is the efficiency of the cooling, which can alter the Jeans mass required for sink particle formation, along with the number of massive stars in the cloud.


title: Investigating the Intersection of Science Fiction, Human-Computer Interaction and Computer Science Research

abstract: This paper outlines ongoing dissertation research located in the intersection of science fiction, human-computer interaction and computer science. Through an interdisciplinary perspective, drawing from fields such as human-computer interaction, film theory and studies of science and technology, qualitative and quantitative content analysis techniques are used to contextually analyze expressions of science fiction in peer-reviewed computer science research repositories, such as the ACM or IEEE Xplore Digital Libraries. This paper concisely summarizes and introduces the relationship of science fiction and computer science research and presents the research questions, aims and implications in addition to prior work and study methodology. In the latter part of this work-in-progress report, preliminary results, current limitations, future work and a post-dissertation trajectory are outlined.


title: Ground States for Nonlocal Schr\"odinger Type Operators on Locally Compact Abelian Groups

abstract: We find classes of nonlocal operators of Schr\"odinger type on a locally compact noncompact Abelian group $G$, for which there exists a ground state. In particular, such a result is obtained for the case where the principal part of our operator generates a recurrent random walk. Explicit conditions for the existence of a ground state are obtained for the case $G =\mathbb Q_p^n$ where $\mathbb Q_p$ is the field of $p$-adic numbers.


title: Highlights of chaos research

abstract: We describe some highlights in the theory of chaos, that started with Poincare (1899). Generic systems have both ordered and chaotic domains. Chaos appears mainly near un- stable periodic orbits. Large chaotic domains are due to resonance overlap. Two recent developments of the theory of chaos, refer (a) to the analytical formulae (Moser series) in the chaotic domains near unstable periodic orbits, and (b) quantum chaos, described by the Bohmian theory of orbits.


title: On the well-posedness of stochastic Boussinesq equations with cylindrical multiplicative noise

abstract: The Boussinesq equations are fundamental in meteorology. Among other aspects, they aim to model the process of front formation. We use the approach presented in [Hol15] to introduce stochasticity into the incompressible Boussinesq equations. This is, we introduce cylindrical transport noise in a way that the geometric properties in the Euler-Poincar\'{e} formulation are preserved. One of our main results establishes the local well-posedness of regular solutions for these new stochastic Boussinesq equations. We also construct a blow-up criterion and derive some general estimates, which are crucial for showing well-posedness of a wide range of similar SPDEs.


title: IR Spectral Fingerprint of Carbon Monoxide in Interstellar Water Ice Models

abstract: Carbon monoxide (CO) is the second most abundant molecule in the gas-phase of the interstellar medium. In dense molecular clouds, it is also present in the solid-phase as a constituent of the mixed water-dominated ices covering dust grains. Its presence in the solid-phase is inferred from its infrared (IR) signals. In experimental observations of solid CO/water mixed samples, its IR frequency splits into two components, giving rise to a blue- and a redshifted band. However, in astronomical observations, the former has never been observed. Several attempts have been carried out to explain this peculiar behaviour, but the question still remains open. In this work, we resorted to pure quantum mechanical simulations in order to shed some light on this problem. We adopted different periodic models simulating the CO/H$_2$O ice system, such as single and multiple CO adsorption on water ice surfaces, CO entrapped into water cages and proper CO:H$_2$O mixed ices. We also simulated pure solid CO. The detailed analysis of our data revealed how the quadrupolar character of CO and the dispersive forces with water ice determine the energetic of the CO/H$_2$O ice interaction, as well as the CO spectroscopic behaviour. Our data suggest that the blueshifted peak can be assigned to CO interacting {\it via} the C atom with dangling H atoms of the water ice, while the redshifted one can actually be the result of CO involved in different reciprocal interactions with the water matrix. We also provide a possible explanation for the lack of the blueshifted peak in astronomical spectra. Our aim is not to provide a full account of the various interstellar ices, but rather to elucidate the sensitivity of the CO spectral features to different water ice environments.


title: Taiji Program: Gravitational-Wave Sources

abstract: We review potential low-frequency gravitational-wave sources, which are expected to be detected by Taiji, a Chinese space-based gravitational-wave detector, estimate the detection rates of these gravitational-wave sources and present the parameter estimation of massive black hole binaries.


title: Fundamental group in o-minimal structures with definable Skolem functions

abstract: In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and we prove that definably connected, locally definable manifolds are uniformly definably path connected, have an admissible cover by definably simply connected, open definable subsets and, definable paths and definable homotopies on such locally definable manifolds can be lifted to locally definable covering maps. These properties allows us to obtain the main properties of the general o-minimal fundamental group, including: invariance and comparison results; existence of universal locally definable covering maps; monodromy equivalence for locally constant o-minimal sheaves - from which one obtains, as in algebraic topology, classification results for locally definable covering maps, o-minimal Hurewicz and Seifert - van Kampen theorems.


title: Fine boundary regularity for the degenerate fractional $p$-Laplacian

abstract: We consider a pseudo-differential equation driven by the fractional $p$-Laplacian with $p\ge 2$ (degenerate case), with a bounded reaction $f$ and Dirichlet type conditions in a smooth domain $\Omega$. By means of barriers, a nonlocal superposition principle, and the comparison principle, we prove that any weak solution $u$ of such equation exhibits a weighted H\"older regularity up to the boundary, that is, $u/d^s\in C^\alpha(\overline\Omega)$ for some $\alpha\in(0,1)$, $d$ being the distance from the boundary.


title: Searching for the closest-pair in a query translate

abstract: We consider a range-search variant of the closest-pair problem. Let $\varGamma$ be a fixed shape in the plane. We are interested in storing a given set of $n$ points in the plane in some data structure such that for any specified translate of $\varGamma$, the closest pair of points contained in the translate can be reported efficiently. We present results on this problem for two important settings: when $\varGamma$ is a polygon (possibly with holes) and when $\varGamma$ is a general convex body whose boundary is smooth. When $\varGamma$ is a polygon, we present a data structure using $O(n)$ space and $O(\log n)$ query time, which is asymptotically optimal. When $\varGamma$ is a general convex body with a smooth boundary, we give a near-optimal data structure using $O(n \log n)$ space and $O(\log^2 n)$ query time. Our results settle some open questions posed by Xue et al. [SoCG 2018].


title: How good is my GAN?

abstract: Generative adversarial networks (GANs) are one of the most popular methods for generating images today. While impressive results have been validated by visual inspection, a number of quantitative criteria have emerged only recently. We argue here that the existing ones are insufficient and need to be in adequation with the task at hand. In this paper we introduce two measures based on image classification---GAN-train and GAN-test, which approximate the recall (diversity) and precision (quality of the image) of GANs respectively. We evaluate a number of recent GAN approaches based on these two measures and demonstrate a clear difference in performance. Furthermore, we observe that the increasing difficulty of the dataset, from CIFAR10 over CIFAR100 to ImageNet, shows an inverse correlation with the quality of the GANs, as clearly evident from our measures.


title: Silicon qubit fidelities approaching incoherent noise limits via pulse engineering

abstract: The performance requirements for fault-tolerant quantum computing are very stringent. Qubits must be manipulated, coupled, and measured with error rates well below 1%. For semiconductor implementations, silicon quantum dot spin qubits have demonstrated average single-qubit Clifford gate error rates that approach this threshold, notably with error rates of 0.14% in isotopically enriched $^{28}$Si/SiGe devices. This gate performance, together with high-fidelity two-qubit gates and measurements, is only known to meet the threshold for fault-tolerant quantum computing in some architectures when assuming that the noise is incoherent, and still lower error rates are needed to reduce overhead. Here we experimentally show that pulse engineering techniques, widely used in magnetic resonance, improve average Clifford gate error rates for silicon quantum dot spin qubits to 0.043%,a factor of 3 improvement on previous best results for silicon quantum dot devices. By including tomographically complete measurements in randomised benchmarking, we infer a higher-order feature of the noise called the unitarity, which measures the coherence of noise. This in turn allows us to theoretically predict that average gate error rates as low as 0.026% may be achievable with further pulse improvements. These fidelities are ultimately limited by Markovian noise, which we attribute to charge noise emanating from the silicon device structure itself, or the environment.


title: Can warmer than room temperature electrons levitate above a liquid helium surface ?

abstract: We address the problem of overheating of electrons trapped on the liquid helium surface by cyclotron resonance excitation. Previous experiments, suggest that electrons can be heated to temperatures up to 1000K more than three order of magnitude higher than the temperature of the helium bath in the sub-Kelvin range. In this work we attempt to discriminate between a redistribution of thermal origin and other out-of equilibrium mechanisms that would not require so high temperatures like resonant photo-galvanic effects, or negative mobilities. We argue that for a heating scenario the direction of the electron flow under cyclotron resonance can be controlled by the shape of the initial electron density profile, with a dependence that can be modeled accurately within the Poisson-Boltzmann theory framework. This provides an self consistency-check to probe if the redistribution is indeed consistent with a thermal origin. We find that while our experimental results are consistent with the Poisson-Boltzmann theoretical dependence but some deviations suggest that other physical mechanisms can also provide a measurable contribution. Analyzing our results with the heating model we find that the electron temperatures increases with electron density under the same microwave irradiation conditions. This unexpected density dependence calls for a microscopic treatment of the energy relaxation of overheated electrons.


title: Comment on "Construction of regular black holes in general relativity"

abstract: We claim that the physical parameters of the constructed black hole solutions in general relativity (GR) coupled to nonlinear electrodynamics (NED) by Zhong-Ying Fan and Xiaobao Wang in the Paper [Phys. Rev. D 94, 124027 (2016)] are misinterpreted, despite the formalism being correct. We argue that because of these misinterpretations, the derived black hole solutions and the Lagrangian densities presented in that paper are slightly inconsistent. In this comment, we present complete black hole solutions of the given Lagrangian densities which correct the interpretation of the physical parameters of the constructed black hole solutions and lead to the correct treatment and weak field limits of the physical parameters of the constructed solutions.


title: The conjugacy problem for Thompson-like groups

abstract: In this paper we generalize techniques of Belk-Matucci to solve the conjugacy problem for every Thompson-like group $V_n(H)$, where $n \geq 2$ and $H$ is a subgroup of the symmetric group on $n$ elements. We use this to prove that, if $n \neq m$, $V_n(H)$ is not isomorphic to $V_m(G)$ for any $H,G$.


title: A more comprehensive habitable zone for finding life on other planets

abstract: The habitable zone (HZ) is the circular region around a star(s) where standing bodies of water could exist on the surface of a rocky planet. Space missions employ the HZ to select promising targets for follow-up habitability assessment. The classical HZ definition assumes that the most important greenhouse gases for habitable planets orbiting main-sequence stars are CO2 and H2O. Although the classical HZ is an effective navigational tool, recent HZ formulations demonstrate that it cannot thoroughly capture the diversity of habitable exoplanets. Here, I review the planetary and stellar processes considered in both classical and newer HZ formulations. Supplementing the classical HZ with additional considerations from these newer formulations improves our capability to filter out worlds that are unlikely to host life. Such improved HZ tools will be necessary for current and upcoming missions aiming to detect and characterize potentially habitable exoplanets.