title: Broadband optical switch based on an achromatic photonic gauge potential in dynamically modulated waveguides

abstract: We demonstrate that a photonic gauge potential, which arises from the phase degree of freedom in dynamic refractive-index modulation and hence is achormatic, can be used to achieve a broadband optical switch using the configuration of a photonic Aharonov-Bohm interferometer (ABI). The resulting ABI switch has a far larger bandwidth and lower cross talk than the conventional Mach-Zehnder interferometer. Using coupled-mode theory and full-wave numerical modeling, we compare the response of the two interferometers in the presence of nonidealities. Our results indicate the importance of the photonic gauge potential for broadband optical signal processing.


title: Trading T gates for dirty qubits in state preparation and unitary synthesis

abstract: Efficient synthesis of arbitrary quantum states and unitaries from a universal fault-tolerant gate-set e.g. Clifford+T is a key subroutine in quantum computation. As large quantum algorithms feature many qubits that encode coherent quantum information but remain idle for parts of the computation, these should be used if it minimizes overall gate counts, especially that of the expensive T-gates. We present a quantum algorithm for preparing any dimension-$N$ pure quantum state specified by a list of $N$ classical numbers, that realizes a trade-off between space and T-gates. Our scheme uses $\mathcal{O}(\log{(N/\epsilon)})$ clean qubits and a tunable number of $\sim(\lambda\log{(\frac{\log{N}}{\epsilon})})$ dirty qubits, to reduce the T-gate cost to $\mathcal{O}(\frac{N}{\lambda}+\lambda\log{\frac{N}{\epsilon}}\log{\frac{\log{N}}{\epsilon}})$. This trade-off is optimal up to logarithmic factors, proven through an unconditional gate counting lower bound, and is, in the best case, a quadratic improvement in T-count over prior ancillary-free approaches. We prove similar statements for unitary synthesis by reduction to state preparation. Underlying our constructions is a T-efficient circuit implementation of a quantum oracle for arbitrary classical data.


title: Keeping the Smart Home Private with Smart(er) IoT Traffic Shaping

abstract: The proliferation of smart home Internet of Things (IoT) devices presents unprecedented challenges for preserving privacy within the home. In this paper, we demonstrate that a passive network observer (e.g., an Internet service provider) can infer private in-home activities by analyzing Internet traffic from commercially available smart home devices even when the devices use end-to-end transport-layer encryption. We evaluate common approaches for defending against these types of traffic analysis attacks, including firewalls, virtual private networks, and independent link padding, and find that none sufficiently conceal user activities with reasonable data overhead. We develop a new defense, "stochastic traffic padding" (STP), that makes it difficult for a passive network adversary to reliably distinguish genuine user activities from generated traffic patterns designed to look like user interactions. Our analysis provides a theoretical bound on an adversary's ability to accurately detect genuine user activities as a function of the amount of additional cover traffic generated by the defense technique.


title: Spinning-black-hole scattering and the test-black-hole limit at second post-Minkowskian order

abstract: Recently, the gravitational scattering of two black holes (BHs) treated at the leading order in the weak-field, or post-Minkowskian (PM), approximation to General Relativity has been shown to map bijectively onto a simpler effectively one-body process: the scattering of a test BH in a stationary BH spacetime. Here, for BH spins aligned with the orbital angular momentum, we propose a simple extension of that mapping to 2PM order. We provide evidence for the validity and utility of this 2PM mapping by demonstrating its compatibility with all known analytical results for the conservative local-in-time dynamics of binary BHs in the post-Newtonian (weak-field and slow-motion) approximation and, separately, in the test-BH limit. Our result could be employed in the construction of improved effective-one-body models for the conservative dynamics of inspiraling spinning binary BHs.


title: Leray self-similarity equations in fluid dynamics

abstract: In the present note, we show that, as a priori bounds, the vorticity dynamics derived from Leray's backward self-similarity hypothesis admits only trivial solution in viscous as well as inviscid flows. By analogy, there is no non-zero solution in the forward self-similar equation. Since the Navier-Stokes or Euler equations are invariant under space translation in the whole space, our analysis establishes that technically flawed arguments have been exploited in a number of past papers, notably in Necas, Ruzicka & Sverak (1996); Tsai (1998); and Pomeau (2016), where the presumed decays or bounds at infinity are ill-defined and non-existent. Furthermore, an effort has been made to exemplify an inappropriate application of the familiar extremum principles in the theory of linear elliptic equation. In the appendix, we give a counterexample to the Sobolev inequality and, hence illustrate the nature of self contradiction. In the totality comparison of Lp norms, its scope of application is not significant.


title: On Berinde's method for comparing iterative processes

abstract: In the literature there are several methods for comparing two convergent iterative processes for the same problem. In this note we have in view mostly the one introduced by Berinde in [Picard iteration converges faster than Mann iteration for a class of quasi-contractive operators, Fixed Point Theory Appl. 2004, no. 2, 97--105] because it seems to be very successful. In fact, if IP1 and IP2 are two iterative processes converging to the same element, then IP1 is faster than IP2 in the sense of Berinde. The aim of this note is to prove this almost obvious assertion and to discuss briefly several papers that cite the mentioned Berinde's paper and use his method for comparing iterative processes.


title: A Longitudinal Analysis of the Public Perception of the Opportunities and Challenges of the Internet of Things

abstract: The Internet of Things (or IoT), which enables the networked interconnection of everyday objects, is becoming increasingly popular in many aspects of our lives ranging from entertainment to health care. While the IoT brings a set of invaluable advantages and opportunities with it, there is also evidence of numerous challenges that are yet to be resolved. This is certainly the case with regard to ensuring the cyber security of the IoT, and there are various examples of devices being hacked. Despite this evidence, little is known about the public perceptions of the opportunities and challenges presented by the IoT. To advance research in this direction, we mined the social media platform Twitter to learn about public opinion about the IoT. Analysing a longitudinal dataset of more than 6.7 million tweets, we reveal insights into public perceptions of the IoT, identifying big data analytics as the most positive aspect, whereas security issues are the main public concern on the negative side. Our study serves to highlight the importance of keeping IoT devices secure, and remind manufacturers that it is a concern that remains unresolved, at least insofar as the public believes.


title: An Easton-like Theorem for Zermelo-Fraenkel Set Theory with the Axiom of Dependent Choice

abstract: We show that in the theory ZF + DC + for every cardinal {\lambda}, the set of infinite subsets of {\lambda} is well-ordered (i.e., Shelah's AX4), the {\theta}-function measuring the surjective size of the powersets P({\kappa}) can take almost arbitrary values on any set of uncountable cardinals. This complements our results from [FK16], where we prove that in ZF (without DC), any possible behavior of the {\theta}-function can be realized; and answers a question of Shelah in [She16], where he emphasizes that ZF + DC + AX4 is a reasonable theory, where much of set theory and combinatorics is possible.


title: Flybys in protoplanetary discs: I. Gas and dust dynamics

abstract: We present 3D smoothed particle hydrodynamics simulations of protoplanetary discs undergoing a flyby by a stellar perturber on a parabolic orbit lying in a plane inclined relative to the disc mid-plane. We model the disc as a mixture of gas and dust, with grains ranging from 1 {\mu}m to 10 cm in size. Exploring different orbital inclinations, periastron distances and mass ratios, we investigate the disc dynamical response during and after the flyby. We find that flybys induce evolving spiral structure in both gas and dust which can persist for thousands of years after periastron. Gas and dust structures induced by the flyby differ because of drag-induced effects on the dust grains. Variations in the accretion rate by up to an order of magnitude occur over a time-scale of order 10 years or less, inducing FU Orionis-like outbursts. The remnant discs are truncated and warped. The dust disc is left more compact than the gas disc, both because of disc truncation and accelerated radial drift of grains induced by the flyby.


title: Mass distribution for toral eigenfunctions via Bourgain's de-randomisation

abstract: We study the problem of mass distribution of Laplacian eigenfunctions in shrinking balls for the standard flat torus $\mathbb{T}^2=\mathbb{R}^2/\mathbb{Z}^2$. By averaging over the centre of the ball we use Bourgain's de-randomisation to compare the mass-distribution of toral eigenfunctions at Plank scale to the mass distribution of random waves in growing balls around the origin. We are then able to classify all possible limiting distributions and variances. Finally we give sufficient and necessary conditions so that the mass of \textquotedblleft generic \textquotedblright eigenfunction equidistributes at Plank scale in almost all balls.


title: Avoiding patterns and making the best choice

abstract: We study a variation of the game of best choice (also known as the secretary problem or game of googol) under an additional assumption that the ranks of interview candidates are restricted using permutation pattern-avoidance. We develop some general machinery for investigating interview orderings with a non-uniform rank distribution, and give a complete description of the optimal strategies for the pattern-avoiding games under each of the size three permutations. The optimal strategy for the "disappointment-free" (i.e. 321-avoiding) interviews has a form that seems to be new, involving thresholds based on value-saturated left-to-right maxima in the permutation.


title: Context Encoding Chest X-rays

abstract: Chest X-rays are one of the most commonly used technologies for medical diagnosis. Many deep learning models have been proposed to improve and automate the abnormality detection task on this type of data. In this paper, we propose a different approach based on image inpainting under adversarial training first introduced by Goodfellow et al. We configure the context encoder model for this task and train it over 1.1M 128x128 images from healthy X-rays. The goal of our model is to reconstruct the missing central 64x64 patch. Once the model has learned how to inpaint healthy tissue, we test its performance on images with and without abnormalities. We discuss and motivate our results considering PSNR, MSE and SSIM scores as evaluation metrics. In addition, we conduct a 2AFC observer study showing that in half of the times an expert is unable to distinguish real images from the ones reconstructed using our model. By computing and visualizing the pixel-wise difference between the source and the reconstructed images, we can highlight abnormalities to simplify further detection and classification tasks.


title: Big in Japan: Regularizing networks for solving inverse problems

abstract: Deep learning and (deep) neural networks are emerging tools to address inverse problems and image reconstruction tasks. Despite outstanding performance, the mathematical analysis for solving inverse problems by neural networks is mostly missing. In this paper, we introduce and rigorously analyze families of deep regularizing neural networks (RegNets) of the form $B_\alpha + N_{\theta(\alpha)} B_\alpha $, where $B_\alpha$ is a classical regularization and the network $N_{\theta(\alpha)} B_\alpha $ is trained to recover the missing part $\operatorname{Id}_X - B_\alpha$ not found by the classical regularization. We show that these regularizing networks yield a convergent regularization method for solving inverse problems. Additionally, we derive convergence rates (quantitative error estimates) assuming a sufficient decay of the associated distance function. We demonstrate that our results recover existing convergence and convergence rates results for filter-based regularization methods as well as the recently introduced null space network as special cases. Numerical results are presented for a tomographic sparse data problem, which clearly demonstrate that the proposed RegNets improve the classical regularization as well as the null space network.


title: Analysing the Robustness of Evolutionary Algorithms to Noise: Refined Runtime Bounds and an Example Where Noise is Beneficial

abstract: We analyse the performance of well-known evolutionary algorithms (1+1)EA and (1+$\lambda$)EA in the prior noise model, where in each fitness evaluation the search point is altered before evaluation with probability $p$. We present refined results for the expected optimisation time of the (1+1)EA and the (1+$\lambda$)EA on the function LeadingOnes, where bits have to be optimised in sequence. Previous work showed that the (1+1)EA on LeadingOnes runs in polynomial expected time if $p = O((\log n)/n^2)$ and needs superpolynomial expected time if $p = \omega((\log n)/n)$, leaving a huge gap for which no results were known. We close this gap by showing that the expected optimisation time is $\Theta(n^2) \cdot \exp(\Theta(\min\{pn^2, n\}))$ for all $p \le 1/2$, allowing for the first time to locate the threshold between polynomial and superpolynomial expected times at $p = \Theta((\log n)/n^2)$. Hence the (1+1)EA on LeadingOnes is much more sensitive to noise than previously thought. We also show that offspring populations of size $\lambda \ge 3.42\log n$ can effectively deal with much higher noise than known before. Finally, we present an example of a rugged landscape where prior noise can help to escape from local optima by blurring the landscape and allowing a hill climber to see the underlying gradient. We prove that in this particular setting noise can have a highly beneficial effect on performance.


title: FoldingZero: Protein Folding from Scratch in Hydrophobic-Polar Model

abstract: De novo protein structure prediction from amino acid sequence is one of the most challenging problems in computational biology. As one of the extensively explored mathematical models for protein folding, Hydrophobic-Polar (HP) model enables thorough investigation of protein structure formation and evolution. Although HP model discretizes the conformational space and simplifies the folding energy function, it has been proven to be an NP-complete problem. In this paper, we propose a novel protein folding framework FoldingZero, self-folding a de novo protein 2D HP structure from scratch based on deep reinforcement learning. FoldingZero features the coupled approach of a two-head (policy and value heads) deep convolutional neural network (HPNet) and a regularized Upper Confidence Bounds for Trees (R-UCT). It is trained solely by a reinforcement learning algorithm, which improves HPNet and R-UCT iteratively through iterative policy optimization. Without any supervision and domain knowledge, FoldingZero not only achieves comparable results, but also learns the latent folding knowledge to stabilize the structure. Without exponential computation, FoldingZero shows promising potential to be adopted for real-world protein properties prediction.


title: Transient Spectroscopy of Glass-Embedded Perovskite Quantum Dots: Novel Structures in an Old Wrapping

abstract: Semiconductor doped glasses had been used by the research and engineering communities as color filters or saturable absorbers well before it was realized that their optical properties were defined by tiny specs of semiconductor matter known presently as quantum dots (QDs). Nowadays, the preferred type of QD samples are colloidal particles; however, there is still a number of applications that would benefit from the availability of high-quality glass-based QD samples. These applications include fiber optics, optically pumped lasers and amplifiers, and luminescent solar concentrators. Here we conduct optical studies of a new type of all-inorganic CsPbBr3 perovskite QDs fabricated directly in glasses by high-temperature precipitation. These samples are scattering free and exhibit excellent waveguiding properties. However, the presently existing problem is their low room-temperature emission quantum yields (QY) of only 1-2%. Here we investigate the reasons underlying the limited QY by conducting transient photoluminescence (PL) and absorption measurements across a range of temperatures from 20-300 K. We observe that the low-temperature PL QY of these samples can be as high as ~25%. However, it quickly drops with increasing temperature. Interestingly, experimental observations cannot be explained in terms of a thermally activated nonradiative rate but rather suggest the existence of two QD sub-ensembles of emissive and completely nonemissive particles. The temperature-induced variation in the PL efficiency is likely due to a structural transformation of the QD surfaces or interior leading to formation of trapping sites or nonemissive phases resulting in conversion of emissive QDs into nonemissive. Thus, future efforts on improving emissivity of glass-based perovskite QD samples might focus on approaches for extending the range of stability of the low-temperature up to room temperature.


title: Spin quantum heat engines with shortcuts to adiabaticity

abstract: We consider a finite-time quantum Otto cycle with single and two-spin-$1/2$ systems as its working medium. In order to mimic adiabatic dynamics at a finite-time, we employ a shortcut-to-adiabaticity technique and evaluate the performance of the engine including the cost of the shortcut. We compare our results with the true adiabatic and non-adiabatic performances of the same cycle. Our findings clearly indicate that the use of shortcut-to-adiabaticity scheme significantly enhances the performance of the quantum Otto engine as compared to its adiabatic and non-adiabatic counterparts for different figures of merit.


title: Chiral torsional effect

abstract: We propose the new nondissipative transport effect - the appearance of axial current of thermal quasiparticles in the presence of background gravity with torsion. For the non-interacting model of massless Dirac fermions the response of the axial current to torsion is derived. The chiral vortical effect appears to be the particular case of the chiral torsional effect. The proposed effect may be observed in the condensed matter systems with emergent relativistic invariance (Weyl/Dirac semimetals and the $^3$He-A superfluid).


title: Learning to Learn How to Learn: Self-Adaptive Visual Navigation Using Meta-Learning

abstract: Learning is an inherently continuous phenomenon. When humans learn a new task there is no explicit distinction between training and inference. As we learn a task, we keep learning about it while performing the task. What we learn and how we learn it varies during different stages of learning. Learning how to learn and adapt is a key property that enables us to generalize effortlessly to new settings. This is in contrast with conventional settings in machine learning where a trained model is frozen during inference. In this paper we study the problem of learning to learn at both training and test time in the context of visual navigation. A fundamental challenge in navigation is generalization to unseen scenes. In this paper we propose a self-adaptive visual navigation method (SAVN) which learns to adapt to new environments without any explicit supervision. Our solution is a meta-reinforcement learning approach where an agent learns a self-supervised interaction loss that encourages effective navigation. Our experiments, performed in the AI2-THOR framework, show major improvements in both success rate and SPL for visual navigation in novel scenes. Our code and data are available at: https://github.com/allenai/savn .


title: Optimal Presentations of Mathematical Objects

abstract: We discuss the optimal presentations of mathematical objects under well defined symbol libraries. We shall examine what light our chosen symbol libraries and syntax shed upon the objects they represent. A major part of this work will focus on discrete sets, particularly the natural numbers, with results that describe the presentation of the natural numbers under specific symbol libraries and what those presentations may reveal about the properties of the natural numbers themselves. We shall present bounds and constraints on the length and shape of presentations, connect already existing problems in other fields of mathematics to questions relevant to these presentations and otherwise illuminate why such a study can produce exciting results.


title: Doppler and collisional frequency shifts in trapped-atom clocks

abstract: Collisions with background gas particles can shift the resonance frequencies of atoms in atomic clocks. The internal quantum states of atoms can also become entangled with their motional states due to the recoil imparted by a collision, which leads to a further shift of the clock frequency through the relativistic Doppler shift. It can be complicated to evaluate the Doppler and collisional frequency shifts for clock atoms in such entangled states, but estimates of these shifts are essential in order to improve the accuracy of optical atomic clocks. We present a formalism that describes collisions and relativistic Doppler shifts in a unified manner, and can therefore be used to accurately estimate collisional frequency shifts in trapped-atom clocks.


title: Online Graph-Adaptive Learning with Scalability and Privacy

abstract: Graphs are widely adopted for modeling complex systems, including financial, biological, and social networks. Nodes in networks usually entail attributes, such as the age or gender of users in a social network. However, real-world networks can have very large size, and nodal attributes can be unavailable to a number of nodes, e.g., due to privacy concerns. Moreover, new nodes can emerge over time, which can necessitate real-time evaluation of their nodal attributes. In this context, the present paper deals with scalable learning of nodal attributes by estimating a nodal function based on noisy observations at a subset of nodes. A multikernel-based approach is developed which is scalable to large-size networks. Unlike most existing methods that re-solve the function estimation problem over all existing nodes whenever a new node joins the network, the novel method is capable of providing real-time evaluation of the function values on newly-joining nodes without resorting to a batch solver. Interestingly, the novel scheme only relies on an encrypted version of each node's connectivity in order to learn the nodal attributes, which promotes privacy. Experiments on both synthetic and real datasets corroborate the effectiveness of the proposed methods.


title: Structure Learning Using Forced Pruning

abstract: Markov networks are widely used in many Machine Learning applications including natural language processing, computer vision, and bioinformatics . Learning Markov networks have many complications ranging from intractable computations involved to the possibility of learning a model with a huge number of parameters. In this report, we provide a computationally tractable greedy heuristic for learning Markov networks structure. The proposed heuristic results in a model with a limited predefined number of parameters. We ran our method on 3 fully-observed real datasets, and we observed that our method is doing comparably good to the state of the art methods.


title: The Gelfand-Tsetlin Realisation of Simple Modules and Monomial Bases

abstract: The most famous simple Lie algebra is $sl_n$ (the $n \times n$ matrices with trace equals $0$). The representation theory for $sl_n$ has been one of the most important research areas for the past hundred years and within their the simple finite-dimensional modules have become very important. They are classified and Gelfand and Tsetlin actually gave an explicit construction of a basis for every simple module. We extend it by providing theorems and proofs, and construct monomial bases of the simple module.


title: On Mixed Domination in Generalized Petersen Graphs

abstract: Given a graph $G = (V, E)$, a set $S \subseteq V \cup E$ of vertices and edges is called a mixed dominating set if every vertex and edge that is not included in $S$ happens to be adjacent or incident to a member of $S$. The mixed domination number $\gamma_{md}(G)$ of the graph is the size of the smallest mixed dominating set of $G$. We present an explicit method for constructing optimal mixed dominating sets in Petersen graphs $P(n, k)$ for $k \in \{1, 2\}$. Our method also provides a new upper bound for other Petersen graphs.


title: A Survey on Semantic Parsing

abstract: A significant amount of information in today's world is stored in structured and semi-structured knowledge bases. Efficient and simple methods to query them are essential and must not be restricted to only those who have expertise in formal query languages. The field of semantic parsing deals with converting natural language utterances to logical forms that can be easily executed on a knowledge base. In this survey, we examine the various components of a semantic parsing system and discuss prominent work ranging from the initial rule based methods to the current neural approaches to program synthesis. We also discuss methods that operate using varying levels of supervision and highlight the key challenges involved in the learning of such systems.


title: Deep Reinforcement Learning for Intelligent Transportation Systems

abstract: Intelligent Transportation Systems (ITSs) are envisioned to play a critical role in improving traffic flow and reducing congestion, which is a pervasive issue impacting urban areas around the globe. Rapidly advancing vehicular communication and edge cloud computation technologies provide key enablers for smart traffic management. However, operating viable real-time actuation mechanisms on a practically relevant scale involves formidable challenges, e.g., policy iteration and conventional Reinforcement Learning (RL) techniques suffer from poor scalability due to state space explosion. Motivated by these issues, we explore the potential for Deep Q-Networks (DQN) to optimize traffic light control policies. As an initial benchmark, we establish that the DQN algorithms yield the "thresholding" policy in a single-intersection. Next, we examine the scalability properties of DQN algorithms and their performance in a linear network topology with several intersections along a main artery. We demonstrate that DQN algorithms produce intelligent behavior, such as the emergence of "greenwave" patterns, reflecting their ability to learn favorable traffic light actuations.


title: Well-balanced finite volume schemes for hydrodynamic equations with general free energy

abstract: Well balanced and free energy dissipative first- and second-order accurate finite volume schemes are proposed for a general class of hydrodynamic systems with linear and nonlinear damping. The natural Liapunov functional of the system, given by its free energy, allows for a characterization of the stationary states by its variation. An analog property at the discrete level enables us to preserve stationary states at machine precision while keeping the dissipation of the discrete free energy. These schemes allow for analysing accurately the stability properties of stationary states in challeging problems such as: phase transitions in collective behavior, generalized Euler-Poisson systems in chemotaxis and astrophysics, and models in dynamic density functional theories; having done a careful validation in a battery of relevant test cases.

categories: math.NA cond-mat.stat-mech cs.NA physics.app-ph physics.comp-ph physics.flu-dyn


title: Atomic-scale investigation of hydrogen distribution in a Ti-Mo alloy

abstract: Ingress of hydrogen is often linked to catastrophic failure of Ti-alloys. Here, we quantify the hydrogen distribution in fully \b{eta} and {\alpha}+\b{eta} Ti-Mo alloys by using atom probe tomography. Hydrogen does not segregate at grain boundaries in the fully \b{eta} sample but segregates at some {\alpha}/\b{eta} phase boundaries with a composition exceeding 20 at.% in the {\alpha}+\b{eta} sample. No stable hydrides were observed in either sample. The hydrogen concentration in \b{eta} phases linearly decreases from ~13 at. % to ~4 at. % with increasing Mo-content, which is ascribed to the suppression of hydrogen uptake by Mo addition.


title: Deep Learning Cell Imaging through Anderson Localizing Optical Fibre

abstract: We demonstrate a deep-learning-based fibre imaging system which can transfer real-time artifact-free cell images through a meter-long Anderson localizing optical fibre. The cell samples are illuminated by an incoherent LED light source. A deep convolutional neural network is applied to the image reconstruction process. The network training uses data generated by a set-up with straight fibre at room temperature (~20 {\deg}C) but can be utilized directly for high fidelity reconstruction of cell images that are transported through fibre with a few degrees bend and/or fibre with segments heated up to 50 {\deg}C. In addition, cell images located several millimeters away from the bare fibre end can be transported and recovered successfully without the assistance of any distal optics. We further evidence that the trained neural network is able to reconstruct the images of cells which are never used in the training process and feature very different morphology.


title: A General Axiomatization for the logics of the Hierarchy ${\mathbb{I}}^n {\mathbb{P}}^k$

abstract: In this paper, the logics of the family ${\mathbb{I}}^n {\mathbb{P}}^k$:=$\{{ I^n P^k}\}_{(n,k) \in \omega^2}$ are formally defined by means of finite matrices, as a simultaneous generalization of the weakly-intuitionistic logic $I^1$ and of the paraconsistent logic $P^1$. It is proved that this family can be naturally ordered, and it is shown an adequate axiomatics for each logic of the form $I^n P^k$.


title: Protection Against Reconstruction and Its Applications in Private Federated Learning

abstract: In large-scale statistical learning, data collection and model fitting are moving increasingly toward peripheral devices---phones, watches, fitness trackers---away from centralized data collection. Concomitant with this rise in decentralized data are increasing challenges of maintaining privacy while allowing enough information to fit accurate, useful statistical models. This motivates local notions of privacy---most significantly, local differential privacy, which provides strong protections against sensitive data disclosures---where data is obfuscated before a statistician or learner can even observe it, providing strong protections to individuals' data. Yet local privacy as traditionally employed may prove too stringent for practical use, especially in modern high-dimensional statistical and machine learning problems. Consequently, we revisit the types of disclosures and adversaries against which we provide protections, considering adversaries with limited prior information and ensuring that with high probability, ensuring they cannot reconstruct an individual's data within useful tolerances. By reconceptualizing these protections, we allow more useful data release---large privacy parameters in local differential privacy---and we design new (minimax) optimal locally differentially private mechanisms for statistical learning problems for \emph{all} privacy levels. We thus present practicable approaches to large-scale locally private model training that were previously impossible, showing theoretically and empirically that we can fit large-scale image classification and language models with little degradation in utility.


title: Consistent Descriptions of Quantum Measurement

abstract: The Wigner's friend type of thought experiments manifest the conceptual challenge on how different observers can have consistent descriptions of a quantum measurement event. In this paper, we analyze the extended version of Wigner's friend thought experiment (Frauchiger and Renner, Nature Comm. 3711, 9 (2018)) in detail and show that the reasoning process from each agent that leads to the no-go theorem is inconsistent. The inconsistency is with respect to the requirement that an agent should make use of updated information instead of outdated information. We then apply the relational formulation of quantum measurement to resolve the inconsistent descriptions from different agents. In relational formulation of quantum mechanics, a measurement is described relative to an observer. Synchronization of measurement result is a necessary requirement to achieve consistent descriptions of a quantum system from different observers. Thought experiments, including EPR, Wigner's Friend and it extended version, confirm the necessity of relational formulation of quantum measurement when applying quantum mechanics to composite system with entangled but space-like separated subsystems.


title: A Brief survey on Smart Community and Smart Transportation

abstract: World population growing in conjunction with the preference to live in the cities; make the city management a challenging issue. Traditional Cities with their common features will not be able to handle the human needs. As a result, smart city and its beneficial outcomes will attract a lot of attention recently. In fact, Smart city/community that is the field of collecting and processing data from so many different areas while making proper decisions and feeding to all parts of the system will be the future style of the cities. In other words, smart community is a complex big data problem which should combine different fields of research to make a unit environment. This brief survey will deal with all aspects of the smart communities. There will also be explained different categories of the smart communities in addition to their future challenges. In this work we try to introduce some aspects of the smart transportation in more detail.


title: A better method than t-free for Robin's hypothesis

abstract: For a positive integer t>1, an integer N is called t-free if the exponent of any prime factor of N is less than t. Some works shown if N is t-free, then N satisfies Robin's inequality, for t=5, 7, 11, 16. This article shows that the condition of t-free can be resuced to "N cannot be divided by t-th power of 2". I proved that if N cannot be divided by 17-th power of 2, then N satisfies Robin's inequality.


title: Polynomial Form of Binary Cyclotomic Polynomials

abstract: This paper presents a closed form polynomial expression for the binary cyclotomic polynomial. We contrast this against expressions for binary cyclotomic polynomials in (Lam and Leung 1996) and (Lenstra 1979).


title: Factor Analysis by R Programming to Assess Variability Among Environmental Determinants of the Mariana Trench

abstract: The aim of this work is to identify main impact factors affecting variations in the geomorphology of the Mariana Trench which is the deepest place of the Earth, located in the west Pacific Ocean: steepness angle and structure of the sediment compression. The Mariana Trench presents a complex ecosystem with highly interconnected factors: geology (sediment thickness and tectonics including four plates that Mariana trench crosses: Philippine, Pacific, Mariana, Caroline), bathymetry (coordinates, slope angle, depth values in the observation points). To study such a complex system, an objective method combining various approaches (statistics, R, GIS, descriptive analysis and graphical plotting) was performed. Methodology of the research includes following clusters: R programming language for writing codes, statistical analysis, mathematical algorithms for data processing, analysis and visualizing diagrams, GIS for digitizing bathymetric profiles and spatial analysis. The statistical analysis of the data taken from the bathymetric profiles was applied to environmental factors, i.e. coordinates, depths, geological properties sediment thickness, slope angles, etc. Finally, factor analysis was performed by R libraries to analyze impact factors of the Mariana Trench ecosystem. Euler-Venn logical diagrams highlighted similarities between four tectonic plates and environmental factors. The results revealed distinct correlations between the environmental factors (sediment thickness, slope steepness, depth values by observation points, geographic location of the profiles) affecting Mariana Trench morphology. The research demonstrated that coding on R language provides a powerful and highly effective statistical tools, mathematical algorithms of factor analysis to study ocean trench formation.


title: Hilbert's tenth problem, G\"odel's incompleteness, Halting problem, a unifying perspective

abstract: We formulate a property $P$ on a class of relations on the natural numbers, and formulate a general theorem on $P$, from which we get as corollaries the insolvability of Hilbert's tenth problem, G\"odel's incompleteness theorem, and Turing's halting problem. By slightly strengthening the property $P$, we get Tarski's definability theorem, namely that truth is not first order definable. The property $P$ together with a "Cantor's diagonalization" process emphasizes that all the above theorems are a variation on a theme, that of self reference and diagonalization combined. We relate our results to self referential paradoxes, including a formalisation of the Liar paradox, and fixed point theorems. We also discuss the property $P$ for arbitrary rings. We give a survey on Hilbert's tenth problem for quadratic rings and for the rationals pointing the way to ongoing research in main stream mathematics involving recursion theory, definability in model theory, algebraic geometry and number theory.


title: Analyzing Partitioned FAIR Health Data Responsibly

abstract: It is widely anticipated that the use of health-related big data will enable further understanding and improvements in human health and wellbeing. Our current project, funded through the Dutch National Research Agenda, aims to explore the relationship between the development of diabetes and socio-economic factors such as lifestyle and health care utilization. The analysis involves combining data from the Maastricht Study (DMS), a prospective clinical study, and data collected by Statistics Netherlands (CBS) as part of its routine operations. However, a wide array of social, legal, technical, and scientific issues hinder the analysis. In this paper, we describe these challenges and our progress towards addressing them.


title: Ann: A domain-specific language for the effective design and validation of Java annotations

abstract: This paper describes a new modelling language for the effective design and validation of Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown from a useful tool for the addition of meta-data to play a central role in many popular software projects. Usually they are not conceived in isolation, but in groups, with dependency and integrity constraints between them. However, the native support provided by Java for expressing this design is very limited. To overcome its deficiencies and make explicit the rich conceptual model which lies behind a set of annotations, we propose a domain-specific modelling language. The proposal has been implemented as an Eclipse plug-in, including an editor and an integrated code generator that synthesises annotation processors. The environment also integrates a model finder, able to detect unsatisfiable constraints between different annotations, and to provide examples of correct annotation usages for validation. The language has been tested using a real set of annotations from the Java Persistence API (JPA). Within this subset we have found enough rich semantics expressible with Ann and omitted nowadays by the Java language, which shows the benefits of Ann in a relevant field of application.


title: Nonlinear Stochastic Position and Attitude Filter on the Special Euclidean Group 3

abstract: This paper formulates the pose estimation problem as nonlinear stochastic filter kinematics evolved directly on the Special Euclidean Group SE(3). Proposed filter guarantees that the errors present in position and Rodriguez vector estimates are semi-globally uniformly ultimately bounded (SGUUB) in mean square, and that they converge to small neighborhood of the origin in probability. Simulation results show the robustness and effectiveness of the proposed filter in presence of high levels of noise and bias associated with the velocity vector as well as body-frame measurements. Keywords: Pose estimator, pose observer, attitude estimate, control, estimator, observer, Nonlinear stochastic pose filter, stochastic differential equations, Brownian motion process, Ito, Stratonovich, Wong Zakai, unit-quaternion, special orthogonal group, homogeneous transformation matrix, complimentary filter, Euler angles, Angle-axis, mapping, Parameterization, Representation, Robust, Multiplicative Extended Kalman Filter, Unscented Kalman Filter, Particle filter, KF, EKF, IEKF, UKF, MEKF, partial derivative, small, dynamics, equilibrium, asymptotic, covariance, expected value, zero, unknown, time-varying, global, semi-global, stable, stability, uncertain, Gaussian, colored, white, noise, vectorial measurement, vector measurement, translational velocity, angular velocity, singular value decomposition, rotational matrix, identity, deterministic, comparison, inertial frame, rigid body, three dimensional, 3D, space, adjoint, Lie group, projection, landmark, feature, Gyroscope, micro electromechanical systems, Inertial measurement units, sensor, IMUs, Fixed, moving, orientation, Roll, Pitch, Yaw, SVD, UAVs, QUAV, unmanned, underwater vehicle, robot, Robotic System, Spacecraft, quadrotor, quadcopter, integral, advantage, disadvantage, Comparative study, Review, Overview, Survey, autonomous, xyz, axis, SO(3), SE(3).


title: Modelling and Simulation of Fog and Edge Computing Environments using iFogSim Toolkit

abstract: Resource management in Fog computing is very complicated as it engages significant number of diverse and resource constraint Fog nodes to meet computational demand of IoT-enabled systems in distributed manner. Its integration with Cloud triggers further difficulties in combined resource management. Different sensing frequency of IoT devices, distributed application structure and their coordination also influence resource management in Fog computing environment. For advancement of Fog and its resource management, the necessity of extensive research in beyond question. To develop and evaluate different ideas and resource management policies, empirical analysis on Fog environment is the key. Since Fog computing environment incorporates IoT devices, Fog nodes and Cloud datacenters along with huge amount of IoT-data and distributed applications, real-world implementation of Fog environment for research will be very costly. Moreover, modification of any entity in real-world Fog environment will be tedious. In this circumstance, simulation of Fog computing environment can be very helpful. Simulation toolkits not only provide frameworks to design customized experiment environment but also assist in repeatable evaluation. In this chapter we focus on delivering a tutorial on iFogSim toolkit for modelling and simulating Fog computing environments. We believe this chapter will offer researchers a simplified way to apply iFogSim in their research works.


title: Computational Chemistry as Voodoo Quantum Mechanics : Models, Parameterization, and Software

abstract: Computational chemistry grew in a new era of "desktop modeling", which coincided with a growing demand for modeling software, especially from the pharmaceutical industry. Parameterization of models in computational chemistry is an arduous enterprise, and we argue that this activity leads, in this specific context, to tensions among scientists regarding the lack of epistemic transparency of parameterized methods and the software implementing them. To explicit these tensions, we rely on a corpus which is suited for revealing them, namely the Computational Chemistry mailing List (CCL), a professional scientific discussion forum. We relate one flame war from this corpus in order to assess in detail the relationships between modeling methods, parameterization, software and the various forms of their enclosure or disclosure. Our claim is that parameterization issues are a source of epistemic opacity and that this opacity is entangled in methods and software alike. Models and software must be addressed together to understand the epistemological tensions at stake.


title: A high-level operational semantics for hardware weak memory models

abstract: Modern processors deploy a variety of weak memory models, which for efficiency reasons may execute instructions in an order different to that specified by the program text. The consequences of instruction reordering can be complex and subtle, and can impact on ensuring correctness. In this paper we build on extensive work elucidating the semantics of assembler-level languages on hardware architectures with weak memory models (specifically TSO, ARM and POWER) and lift the principles to a straightforward operational semantics which allows reasoning at a higher level of abstraction. To this end we introduce a wide-spectrum language that encompasses operations on abstract data types as well as low-level assembler code, define its operational semantics using a novel approach to allowing reordering of instructions, and derive some refinement laws that can be used to explain behaviours of real processors. In this framework memory models are mostly distinguished via a pair-wise static ordering on instruction types that determines when later instructions may be reordered before earlier instructions. In addition, memory models may use different types of storage systems. For instance, non-multicopy atomic systems allow sibling processes to see updates to different variables in different orders. We encode the semantics in the rewriting engine Maude as a model-checking tool, and develop confidence in our framework by validating our semantics against existing sets of \textit{litmus tests} -- small assembler programs -- comparing our results with those observed on hardware and in existing semantics. We also use the tool as a prototype to model check implementations of data structures from the literature against their abstract specifications.


title: A magneto-optical trap created by the 2nd-order external cavity diode lasers

abstract: In this article, we report on a magneto-optical trap (MOT) created by the 2nd-order external cavity diode lasers (ECDLs). The lasers were characterized. We have observed the non-continuous changes of the wavelength as a function of the laser diode current. This study is beneficial for achieving tunable atom-atom interactions, quantum tunneling, precision measurement, ultracold plasma, as well as quantum computing.


title: Landau diamagnetic response in metals as a Fermi surface effect

abstract: It is demonstrated that the Landau diamagnetism of the free electron gas and a monovalent metal can be considered as a Fermi surface effect. Only relatively small number of electron states close to the Fermi surface are diamagnetically active whereas the majority of the electron states inside the Fermi surface are diamagnetically inert. This partitioning of the occupied electron states is driven by the structure of Landau levels, around which one can introduce magnetic tubes in the reciprocal space. Completely filled magnetic tubes do not change their energy in an applied magnetic field, and only partially occupied magnetic tubes in the neighborhood of the Fermi surface exhibit a diamagnetic response. Using this partitioning of the occupied electron states we derive a general expression for the steady diamagnetic susceptibility, for calculation of which one needs to know the shape of the Fermi surface and the energy gradient on it. The method is applied to alkali metals, whose Fermi surfaces and energy gradients have been obtained from ab initio band structure calculations. It has been found that the Landau diamagnetic susceptibility is anisotropic depending on the direction of the applied magnetic field in respect to the Fermi surface. This effect is more pronounced for Li and Cs, whose Fermi surfaces show a noticeable deformation from the spherical shape. The method opens a new route for ab initio calculations of the Landau diamagnetism of metals or intermetallic compounds. In the case of free electron gas it is shown that this approach also fully describes the oscillatory de Haas - van Alphen part of the diamagnetic susceptibility. Small oscillations of the Fermi energy found in the model are caused by redistribution (inflow or outflow) of electrons from the equatorial region of the Fermi surface.


title: Spincaloritronic measurements: a round robin comparison of the longitudinal spin Seebeck effect

abstract: The rising field of spin caloritronics focuses on the interactions between spin and heat currents in a magnetic material; the observation of the spin Seebeck effect opened the route to this branch of research. This paper reports the results of a round robin test performed by five partners on a single device highlighting the reproducibility problems related to the measurements of the spin Seebeck coefficient, the quantity that describes the strength of the spin Seebeck effect. This work stimulated the search for more reproducible measurement methods through the analysis of the systematic effects.


title: Generation of time-bin entangled photon pairs using a single three-level emitter

abstract: We study single-photon emission of a classically pumped three-level $\Lambda$-type emitter in a high-$Q$ cavity. In particular, generation of single-photon time-bin double-peak wave packets is shown.


title: XYZ -- spectra from QCD Laplace Sum Rules at Higher Orders

abstract: We review our results in Refs.[1,2] for the masses and couplings of heavy-light DD(BB)-like molecules and (Qq)(Qq)-like four-quark states from relativistic QCD Laplace sum rules (LSR) where next-to-next-to-leading order (N2LO) PT corrections in the chiral limit, next-to-leading order (NLO) SU3 PT corrections and non-perturbative contributions up to dimension d=6-8 are included. The factorization properties of molecule and four-quark currents have been used for the estimate of the higher order PT corrections. New integrated compact expressions of the spectral functions at leading order (LO) of perturbative QCD and up to dimensions d< (6 - 8) non-perturbative condensates are presented. The results are summarized in Tables 5 to 10, from which we conclude, within the errors, that the observed XZ states are good candidates for being 1^{++} and 0^{++} molecules or/and four-quark states, contrary to the observed Y states which are too light compared to the predicted 1^{-\pm} and 0^{-\pm} states. We find that the SU3 breakings are relatively small for the masses (< 10(resp. 3)%) for the charm (resp. bottom) channels while they are large (< 20%) for the couplings which decrease faster (1/m_{b}^{3/2}) than 1/m_{b}^{1/2} of HQET. QCD spectral sum rules (QSSR) approach cannot clearly separate (within the errors) molecules from four-quark states having the same quantum numbers. Results for the BK (DK)-like molecules and (Qq)(us)-like four-quark states from [3] are also reviewed which do not favour the molecule or/and four-quark interpretation of the X(5568). We suggest to scan the charm (2327 ~ 2444) MeV and bottom (5173 ~ 5226) MeV regions for detecting the (unmixed)(cu)ds and (bu)ds states. We expect that future experimental data and lattice results will check our predictions.


title: Disentangling Latent Hands for Image Synthesis and Pose Estimation

abstract: Hand image synthesis and pose estimation from RGB images are both highly challenging tasks due to the large discrepancy between factors of variation ranging from image background content to camera viewpoint. To better analyze these factors of variation, we propose the use of disentangled representations and a disentangled variational autoencoder (dVAE) that allows for specific sampling and inference of these factors. The derived objective from the variational lower bound as well as the proposed training strategy are highly flexible, allowing us to handle cross-modal encoders and decoders as well as semi-supervised learning scenarios. Experiments show that our dVAE can synthesize highly realistic images of the hand specifiable by both pose and image background content and also estimate 3D hand poses from RGB images with accuracy competitive with state-of-the-art on two public benchmarks.


title: Nonlinear Dynamics of Tensor Modes in Conformal Real Relativistic Fluids

abstract: In the Second Order Theories (SOT) of real relativistic fluids, the non-ideal properties are described by a new set of dynamical tensor variables. In this work we explore the non-linear dynamics of those modes in a conformal fluid. Among all possible SOTs, we choose to work with the Divergence Type Theories (DTT) formalism, which ensures that the second law of thermodynamics is satisfied non-perturbatively. In considering a perturbative scheme within this formalism, at next to leading order a set of Maxwell-Cattaneo equations is obtained, as in e.g. Israel-Stewart theories. The tensor modes include two divergence-free modes which have no analog in theories based on covariant Navier-Stokes equations, and that are particularly relevant because they may couple linearly to a gravitational field. To study the dynamics of this irreducible tensor sector, we observe that in causal theories such as DTTs, thermal fluctuations induce a stochastic stirring force in the equations of motion, which excites the tensor modes while preserving energy momentum conservation. From fluctuation-dissipation considerations, it follows that the random force is Gaussian with a white spectrum. The irreducible tensor modes in turn excite vector modes, which back-react on the tensor sector, thus producing a consistent non-linear, second order description of the divergence-free tensor dynamics. Using the Martin-Siggia-Rose (MSR) formalism we obtain the two-point correlation function for these tensor modes at next to leading order, and the induced stochastic component of the energy-momentum tensor. We find that the thermal fluctuations induce a scale invariant spectrum at short scales, while preserving a white spectrum at large scales. This result suggests that tensor modes could sustain an entropy cascade.


title: The Path to $0.01\%$ Theoretical Luminosity Precision for the FCC-ee

abstract: The current status of the theoretical precision for the Bhabha luminometry is critically reviewed and pathways are outlined to the requirement targeted by the FCC-ee precision studies. Various components of the pertinent error budget are discussed in detail -- starting from the context of the LEP experiments, through their current updates, up to prospects of their improvements for the sake of the FCC-ee. It is argued that with an appropriate upgrade of the Monte Carlo event generator BHLUMI and/or other similar MC programs calculating QED effects in the low angle Bhabha process, the total theoretical error of $0.01\%$ for the FCC-ee luminometry can be reached. A new study of the $Z$ and $s$-channel $\gamma$ exchanges within the angular range of the FCC-ee luminometer using the BHWIDE Monte Carlo was instrumental in obtaining the above result. Possible ways of BHLUMI upgrade are also discussed.


title: Timely Updates in Energy Harvesting Two-hop Networks: Offline and Online Policies

abstract: A two-hop energy harvesting communication network is considered, in which measurement updates are transmitted by a source to a destination through an intermediate relay. Updates are to be sent in a timely fashion that minimizes the age of information, defined as the time elapsed since the most recent update at the destination was generated at the source. The source and the relay communicate using energy harvested from nature, which is stored in infinite-sized batteries. Both nodes use fixed transmission rates, and hence updates incur fixed delays (service times). Two problems are formulated: an offline problem, in which the energy arrival information is known a priori, and an online problem, in which such information is revealed causally over time. In both problems, it is shown that it is optimal to transmit updates from the source just in time as the relay is ready to forward them to the destination, making the source and the relay act as one combined node. A recurring theme in the optimal policy is that updates should be as uniformly spread out over time as possible, subject to energy causality and service time constraints. This is perfectly achieved in the offline setting, and is achieved almost surely in the online setting by a best effort policy.


title: Recursion Relations in Witten Diagrams and Conformal Partial Waves

abstract: We revisit the problem of performing conformal block decomposition of exchange Witten diagrams in the crossed channel. Using properties of conformal blocks and Witten diagrams, we discover infinitely many linear relations among the crossed channel decomposition coefficients. These relations allow us to formulate a recursive algorithm that solves the decomposition coefficients in terms of certain seed coefficients. In one dimensional CFTs, the seed coefficient is the decomposition coefficient of the double-trace operator with the lowest conformal dimension. In higher dimensions, the seed coefficients are the coefficients of the double-trace operators with the minimal conformal twist. We also discuss the conformal block decomposition of a generic contact Witten diagram with any number of derivatives. As a byproduct of our analysis, we obtain a similar recursive algorithm for decomposing conformal partial waves in the crossed channel.


title: The Worldsheet Dual of the Symmetric Product CFT

abstract: Superstring theory on ${\rm AdS}_3\times {\rm S}^3\times \mathbb{T}^4$ with the smallest amount of NS-NS flux (`$k=1$') is shown to be dual to the spacetime CFT given by the large $N$ limit of the free symmetric product orbifold $\mathrm{Sym}^N(\mathbb{T}^4)$. To define the worldsheet theory at $k=1$, we employ the hybrid formalism in which the ${\rm AdS}_3\times {\rm S}^3$ part is described by the $\mathfrak{psu}(1,1|2)_1$ WZW model (which is well defined). Unlike the case for $k\geq2$, it turns out that the string spectrum at $k=1$ does {\it not} exhibit the long string continuum, and perfectly matches with the large $N$ limit of the symmetric product. We also demonstrate that the fusion rules of the symmetric orbifold are reproduced from the worldsheet perspective. Our proposal therefore affords a tractable worldsheet description of a tensionless limit in string theory, for which the dual CFT is also explicitly known.


title: Topological Susceptibility and QCD Axion Mass: QED and NNLO corrections

abstract: We improve the precision of the topological susceptibility of QCD, and therefore of the QCD axion mass, by including $O(\alpha_{\rm em})$ and NNLO corrections in the chiral expansion, which amount to 0.65(21)% and -0.71(29)% respectively. Both corrections are one order of magnitude smaller than the known NLO ones, confirming the very good convergence of the chiral expansion and its reliability. Using the latest estimates for the light quark masses the current uncertainty is dominated by the one of the low-energy constant $\ell_7$. When combined with possible improvements on the light quark mass ratio and $\ell_7$ from lattice QCD, our computation could allow to determine the QCD axion mass with per-mille accuracy.


title: Electroweak Sector Under Scrutiny: A Combined Analysis of LHC and Electroweak Precision Data

abstract: We perform a comprehensive study of the Higgs couplings, gauge-boson couplings to fermions and triple gauge boson vertices. We work in the framework of effective theories including the effects of the dimension-six operators contributing to these observables. We determine the presently allowed range for the coefficients of these operators via a 20 parameter global fit to the electroweak precision data, as well as electroweak diboson and Higgs production data from LHC Run 1 and 2. We quantify the improvement on the determination of the 20 Wilson coefficients by the inclusion of the Run 2 results. In particular we present a novel analysis of the ATLAS Run 2 36.1 $\rm fb^{-1}$ data on the transverse mass distribution of $W^+W^-$ and $W^\pm Z$ in the leptonic channel which allow for stronger tests of the triple gauge boson vertices. We discuss the discrete (quasi)-degeneracies existing in the parameter space of operator coefficients relevant for the Higgs couplings to fermions and gauge bosons. In particular we show how the inclusion of the incipient $tH$ data can break those degeneracies in the determination of the top-Higgs coupling. We also discuss and quantify the effect of keeping the terms quadratic in the Wilson coefficients in the analysis and we show the importance of the Higgs data to constrain some of the operators that modify the triple gauge boson couplings in the linear regime.


title: Expected imprints of the carousel in multi-frequency pulsar observations and new evidence for multi-altitude emission

abstract: Subpulse modulation has been regarded as one of the most insightful and intriguing aspects of pulsar radio emission. This phenomenon is generally explained by the presence of a carousel of sparks in the polar acceleration gap region that rotates around the magnetic axis due to the E$\times$B drift. While there have been extensive single pulse studies, geometric signatures of the underlying carousel, or lack thereof, in simultaneous multi-frequency observations have remained largely unexplored. This work presents a theoretical account of such expected signatures, particularly that of a geometry induced phase-offset in subpulse modulation, including various formulae that can be readily applied to observations. A notable result is a method to resolve aliasing in the measured subpulse modulation period without relying on knowledge of the viewing geometry parameters. It is also shown in detail that the geometry induced phase-offset enables critical tests of various observed phenomena as well as proposed hypotheses, e.g., multi-altitude emission, magnetic field twisting, pseudo-nulls, etc., in addition to that of the carousel model itself. Finally, a detailed analysis of a 327 MHz pulse-sequence of PSR B1237+25 is presented as a case study to test the single-frequency multi-altitude emission scenario. The analysis provides a firm evidence of inner and outer conal components of this pulsar to have originated from the same carousel of subbeams and emitted at different heights.


title: Post-Newtonian Evolution of Massive Black Hole Triplets in Galactic Nuclei: IV. Implications for LISA

abstract: Coalescing massive black hole binaries (MBHBs) of $10^{4-7} \rm M_{\odot}$, forming in the aftermath of galaxy mergers, are primary targets of the space mission LISA, the {\it Laser Interferometer Space Antenna}. An assessment of LISA detection prospects requires an estimate of the abundance and properties of MBHBs that form and evolve during the assembly of cosmic structures. To this aim, we employ a semi-analytic model to follow the co-evolution of MBHBs within their host galaxies. We identify three major evolutionary channels driving the binaries to coalescence: two standard paths along which the binary evolution is driven by interactions with the stellar and/or gaseous environment, and a novel channel where MBHB coalescence occurs during the interaction with a third black hole. For each channel, we follow the orbital evolution of MBHBs with physically motivated models that include a self-consistent treatment of the orbital eccentricity. We find that LISA will detect between $\approx 25$ and $\approx 75$ events per year depending on the seed model. We show that triple-induced coalescences can range from a few detected events up to $\sim 30\%$ of the total detected mergers. Moreover, even if the standard gas/stars-driven evolutionary channels should fail and MBHBs were to stall, triple interactions would still occur as a result of the hierarchical nature of galaxy formation, resulting in about $\approx 10$ to $\approx 20$ LISA detections per year. Remarkably, triple interactions among the black holes can produce coalescing binaries with large eccentricities ($\gtrsim 0.9$) upon entrance into the LISA band. This eccentricity will remain significant ($\sim 0.1$) also at merger, requiring suitable templates for parameter estimation.


title: Spin-2 and the Weak Gravity Conjecture

abstract: Recently, it has been argued that application of the Weak Gravity Conjecture (WGC) to spin-2 fields implies a universal upper bound on the cutoff of the effective theory for a single spin-2 field. We point out here that these arguments are largely spurious, because of the absence of states carrying spin-2 Stuckelberg $U(1)$ charge, and because of incorrect scaling assumptions. Known examples such as Kaluza-Klein theory that respect the usual WGC do so because of the existence of a genuine $U(1)$ field under which states are charged, as in the case of the Stuckelberg formulation of spin-1 theories, for which there is an unambiguously defined $U(1)$ charge. Theories of bigravity naturally satisfy a naive formulation of the WGC, $M_W< M_{\rm Pl}$, since the force of the massless graviton is always weaker than the massive spin-2 modes. It also follows that theories of massive gravity trivially satisfies this form of the WGC. We also point out that the identification of a massive spin-2 state in a truncated higher derivative theory, such as Einstein-Weyl-squared or its supergravity extension, bears no relationship with massive spin-2 states in the UV completion, contrary to previous statements in the literature. We also discuss the conjecture from a swampland perspective and show how the emergence of a universal upper bound on the cutoff relies on strong assumptions on the scale of the couplings between the spin-2 and other fields, an assumption which is known to be violated in explicit examples.


title: Multipartite-Entanglement Dynamics in Regular-to-Ergodic Transition: a Quantum-Fisher-Information approach

abstract: The characterization of entanglement is a central problem for the study of quantum many-body dynamics. Here, we propose the quantum Fisher information as a useful tool for the study of multipartite-entanglement dynamics in many-body systems. We illustrate this by considering the regular-to-ergodic transition in the Dicke model---a fully-connected spin model showing quantum thermalization above a critical interaction strength. We show that the QFI has a rich dynamical behavior which drastically changes across the transition. In particular, the asymptotic value of the QFI, as well as its characteristic timescales, witness the transition both through their dependence on the interaction strength and through the scaling with the system size. Since the QFI also sets the ultimate bound for the precision of parameter estimation, it provides a metrological perspective on the characterization of entanglement dynamics in many-body systems. Here we show that quantum ergodic dynamics allows for a much faster production of metrologically useful states.


title: The Reissner-Nordstr\"om black hole with the fastest relaxation rate

abstract: Numerous {\it numerical} investigations of the quasinormal resonant spectra of Kerr-Newman black holes have revealed the interesting fact that the characteristic relaxation times $\tau({\bar a},{\bar Q})$ of these canonical black-hole spacetimes can be described by a two-dimensional function ${\bar \tau}\equiv \tau/M$ which increases monotonically with increasing values of the dimensionless angular-momentum parameter ${\bar a}\equiv J/M^2$ and, in addition, is characterized by a non-trivial ({\it non}-monotonic) functional dependence on the dimensionless charge parameter ${\bar Q}\equiv Q/M$. In particular, previous numerical investigations have indicated that, within the family of spherically symmetric charged Reissner-Nordstr\"om spacetimes, the black hole with ${\bar Q}\simeq 0.7$ has the {\it fastest} relaxation rate. In the present paper we use {\it analytical} techniques in order to investigate this intriguing non-monotonic functional dependence of the Reissner-Nordstr\"om black-hole relaxation rates on the dimensionless physical parameter ${\bar Q}$. In particular, it is proved that, in the eikonal (geometric-optics) regime, the black hole with ${\bar Q}={{\sqrt{51-3\sqrt{33}}}\over{8}}\simeq 0.73$ is characterized by the {\it fastest} relaxation rate (the smallest dimensionless relaxation time ${\bar \tau}$) within the family of charged Reissner-Nordstr\"om black-hole spacetimes.


title: Product Spectrum Ansatz and the Simplicity of Thermal States

abstract: Calculating the physical properties of quantum thermal states is a difficult problem for classical computers, rendering it intractable for most quantum many-body systems. A quantum computer, by contrast, would make many of these calculations feasible in principle, but it is still non-trivial to prepare a given thermal state or sample from it. It is also not known how to prepare special simple purifications of thermal states known as thermofield doubles, which play an important role in quantum many-body physics and quantum gravity. To address this problem, we propose a variational scheme to prepare approximate thermal states on a quantum computer by applying a series of two-qubit gates to a product mixed state. We apply our method to a non-integrable region of the mixed field Ising chain and the Sachdev-Ye-Kitaev model. We also demonstrate how our method can be easily extended to large systems governed by local Hamiltonians and the preparation of thermofield double states. By comparing our results with exact solutions, we find that our construction enables the efficient preparation of approximate thermal states on quantum devices. Our results can be interpreted as implying that the details of the many-body energy spectrum are not needed to capture simple thermal observables.


title: Effect of non-equilibrium ionization on derived physical conditions of the high-$z$ intergalactic medium

abstract: Non-equilibrium ionization effects are important in cosmological hydrodynamical simulations but are computationally expensive. We study the effect of non-equilibrium ionization evolution and UV ionizing background (UVB) generated with different quasar spectral energy distribution (SED) on the derived physical conditions of the intergalactic medium (IGM) at $2\leq z \leq 6$ using our post-processing tool 'Code for Ionization and Temperature Evolution' (CITE). CITE produces results matching well with self-consistent simulations more efficiently. The HeII reionization progresses more rapidly in non-equilibrium model as compared to equilibrium models. The redshift of HeII reionization strongly depends on the quasar SED and occurs earlier for UVB models with flatter quasar SEDs. During this epoch the normalization of temperature-density relation, $T_0(z)$, has a maximum while the slope, $\gamma(z)$, has a minimum, but occurring at different redshifts. The $T_0$ is higher in non-equilibrium models using UVB obtained with flatter quasar SEDs. While our models produce the observed median HeII effective optical depth evolution and its scatter for equilibrium and non-equilibrium considerations, to explain the observed cumulative distributions we may need to consider fluctuating UVB. For a given UVB model, the redshift dependence of the HI photo-ionization rate derived from the observed HI effective optical depth ($\tau_{\rm eff,HI}$) for the equilibrium model is different from that for the non-equilibrium model. This may lead to different requirements on the evolution of ionizing emissivities of sources. We show that, in the absence of strong differential pressure smoothing effects, it is possible to recover the $T_0$ and $\gamma$ realised in non-equilibrium model from the equilibrium models generated by rescaling photo-heating rates while producing the same $\tau_{\rm eff,HI}$.


title: What Is Inside Matters: Simulated Green Valley Galaxies Have Centrally Concentrated Star Formation

abstract: In spatially resolved galaxy observations, star formation rate radial profiles are found to correlate with total specific star formation rates. A central depletion in star formation is thought to correlate with the globally depressed star formation rates of, for example, galaxies within the Green Valley. We present, for the first time, radial specific star formation rate profiles for a statistical sample of simulated galaxies from the Illustris and EAGLE large cosmological simulations. For galaxies on the star-forming sequence, simulated specific star formation rate profiles are in loose agreement with observations, although galaxies from the EAGLE simulation are too centrally peaked, and galaxies from Illustris have a steeper decline at large radii. However, both galaxy samples show centrally concentrated star formation for galaxies in the Green Valley at all galaxy stellar masses, indicating that quenching occurs from the outside-in, in strong conflict with observations of inside-out quenching. These results appear in spite of the different feedback models in these two simulations. We conclude that the distribution of star formation within galaxies is a strong additional constraint for star formation and feedback models in simulations, in particular related to the quenching of star formation.


title: A remarkably simple theory of 3d massive gravity

abstract: We propose and study a new action for three-dimensional massive gravity. This action takes a very simple form when written in terms of connection and triad variables, but the connection can also be integrated out to obtain a triad formulation. The quadratic action for the perturbations around a Minkowski background reproduces the action of self-dual massive gravity, in agreement with the expectation that the theory propagates a massive graviton. We confirm this result at the non-linear level with a Hamiltonian analysis, and show that this new theory does indeed possess a single massive degree of freedom. The action depends on four coupling constants, and we identify the various massive and topological (or massless) limits in the space of parameters. This richness, along with the simplicity of the action, opens a very interesting new window onto massive gravity.


title: The Next Generation Virgo Cluster Survey. XXIII. Fundamentals of nuclear star clusters over seven decades in galaxy mass

abstract: Using deep, high resolution optical imaging from the Next Generation Virgo Cluster Survey we study the properties of nuclear star clusters (NSCs) in a sample of nearly 400 quiescent galaxies in the core of Virgo with stellar masses $10^{5}\lesssim M_{*}/M_{\odot} \lesssim10^{12}$. The nucleation fraction reaches a peak value $f_{n}\approx90\%$ for $M_{*} \approx 10^{9} M_{\odot}$ galaxies and declines for both higher and lower masses, but nuclei populate galaxies as small as $M_{*} \approx5\times10^{5} M_{\odot}$. Comparison with literature data for nearby groups and clusters shows that at the low-mass end nucleation is more frequent in denser environments. The NSC mass function peaks at $M_{NSC}\approx7\times10^{5} M_{\odot}$, a factor 3-4 times larger than the turnover mass for globular clusters (GCs). We find a nonlinear relation between the stellar masses of NSCs and of their host galaxies, with a mean nucleus-to-galaxy mass ratio that drops to $M_{NSC}/M_{*}\approx3.6\times10^{-3}$ for $M_{*} \approx 5\times10^{9} M_{\odot}$ galaxies. Nuclei in both more and less massive galaxies are much more prominent: $M_{NSC}\propto M_{*}^{0.46}$ at the low-mass end, where nuclei are nearly 50% as massive as their hosts. We measure an intrinsic scatter in NSC masses at fixed galaxy stellar mass of 0.4 dex, which we interpret as evidence that the process of NSC growth is significantly stochastic. At low galaxy masses we find a close connection between NSCs and GC systems, including a very similar occupation distribution and comparable total masses. We discuss these results in the context of current dissipative and dissipationless models of NSC formation.


title: Magnetoelastic hybrid excitations in CeAuAl$_3$

abstract: The interactions between elementary excitations such as phonons, plasmons, magnons, or particle-hole pairs, drive emergent functionalities and electronic instabilities such as multiferroic behaviour, anomalous thermoelectric properties, polar order, or superconductivity. Whereas various hybrid excitations have been studied extensively, the feed-back of prototypical elementary excitations on the crystal electric fields (CEF), defining the environment in which the elementary excitations arise, has been explored for very strong coupling only. We report high-resolution neutron spectroscopy and ab-initio phonon calculations of {\ceaual}, an archetypal fluctuating valence compound. The high resolution of our data allows us to quantify the energy scales of three coupling mechanisms between phonons, CEF-split localized 4f electron states, and conduction electrons. Although these interactions do not appear to be atypically strong for this class of materials, we resolve, for the first time, a profound renormalization of low-energy quasiparticle excitations on all levels. The key anomalies of the spectrum we observe comprise (1) the formation of a CEF-phonon bound state with a comparatively low density of acoustic phonons reminiscent of vibronic modes observed in other materials, where they require a pronounced abundance of optical phonons, (2) an anti-crossing of CEF states and acoustic phonons, and (3) a strong broadening of CEF states due to the hybridization with more itinerant excitations. The fact that all of these features are well resolved in CeAuAl$_3$ suggests that similar hybrid excitations should also be dominant in a large family of related materials. This promises a predictive understanding towards the discovery of new magneto-elastic functionalities and instabilities.


title: A softer connectivity principle

abstract: We give soft, quantitatively optimal extensions of the classical Sphere Theorem, Wilking's connectivity principle and Frankel's Theorem to the context of ${k}$-th Ricci curvature. The hypotheses are soft in the sense that they are satisfied on sets of metrics that are open in the $C^{2}$-topology.


title: Chemical Abundance Analysis of Tucana III, the Second $r$-process Enhanced Ultra-Faint Dwarf Galaxy

abstract: We present a chemical abundance analysis of four additional confirmed member stars of Tucana III, a Milky Way satellite galaxy candidate in the process of being tidally disrupted as it is accreted by the Galaxy. Two of these stars are centrally located in the core of the galaxy while the other two stars are located in the eastern and western tidal tails. The four stars have chemical abundance patterns consistent with the one previously studied star in Tucana III: they are moderately enhanced in $r$-process elements, i.e. they have $<$[Eu/Fe]$> \approx +$0.4 dex. The non-neutron-capture elements generally follow trends seen in other dwarf galaxies, including a metallicity range of 0.44 dex and the expected trend in $\alpha$-elements, i.e., the lower metallicity stars have higher Ca and Ti abundance. Overall, the chemical abundance patterns of these stars suggest that Tucana III was an ultra-faint dwarf galaxy, and not a globular cluster, before being tidally disturbed. As is the case for the one other galaxy dominated by $r$-process enhanced stars, Reticulum II, Tucana III's stellar chemical abundances are consistent with pollution from ejecta produced by a binary neutron star merger, although a different $r$-process element or dilution gas mass is required to explain the abundances in these two galaxies if a neutron star merger is the sole source of $r$-process enhancement.


title: Sample complexity of device-independently certified "quantum supremacy"

abstract: Results on the hardness of approximate sampling are seen as important stepping stones towards a convincing demonstration of the superior computational power of quantum devices. The most prominent suggestions for such experiments include boson sampling, IQP circuit sampling, and universal random circuit sampling. A key challenge for any such demonstration is to certify the correct implementation. For all these examples, and in fact for all sufficiently flat distributions, we show that any non-interactive certification from classical samples and a description of the target distribution requires exponentially many uses of the device. Our proofs rely on the same property that is a central ingredient for the approximate hardness results: namely, that the sampling distributions, as random variables depending on the random unitaries defining the problem instances, have small second moments.


title: DeepVoxels: Learning Persistent 3D Feature Embeddings

abstract: In this work, we address the lack of 3D understanding of generative neural networks by introducing a persistent 3D feature embedding for view synthesis. To this end, we propose DeepVoxels, a learned representation that encodes the view-dependent appearance of a 3D scene without having to explicitly model its geometry. At its core, our approach is based on a Cartesian 3D grid of persistent embedded features that learn to make use of the underlying 3D scene structure. Our approach combines insights from 3D geometric computer vision with recent advances in learning image-to-image mappings based on adversarial loss functions. DeepVoxels is supervised, without requiring a 3D reconstruction of the scene, using a 2D re-rendering loss and enforces perspective and multi-view geometry in a principled manner. We apply our persistent 3D scene representation to the problem of novel view synthesis demonstrating high-quality results for a variety of challenging scenes.


title: Accelerating Photovoltaic Materials Development via High-Throughput Experiments and Machine-Learning-Assisted Diagnosis

abstract: Accelerating the experimental cycle for new materials development is vital for addressing the grand energy challenges of the 21st century. We fabricate and characterize 75 unique halide perovskite-inspired solution-based thin-film materials within a two-month period, with 87% exhibiting band gaps between 1.2 eV and 2.4 eV that are of interest for energy-harvesting applications. This increased throughput is enabled by streamlining experimental workflows, developing a set of precursors amenable to high-throughput synthesis, and developing machine-learning assisted diagnosis. We utilize a deep neural network to classify compounds based on experimental X-ray diffraction data into 0D, 2D, and 3D structures more than 10 times faster than human analysis and with 90% accuracy. We validate our methods using lead-halide perovskites and extend the application to novel lead-free compositions. The wider synthesis window and faster cycle of learning enables three noteworthy scientific findings: (1) we realize four inorganic layered perovskites, A3B2Br9 (A = Cs, Rb; B = Bi, Sb) in thin-film form via one-step liquid deposition; (2) we report a multi-site lead-free alloy series that was not previously described in literature, Cs3(Bi1-xSbx)2(I1-xBrx)9; and (3) we reveal the effect on bandgap (reduction to <2 eV) and structure upon simultaneous alloying on the B-site and X-site of Cs3Bi2I9 with Sb and Br. This study demonstrates that combining an accelerated experimental cycle of learning and machine-learning based diagnosis represents an important step toward realizing fully-automated laboratories for materials discovery and development.


title: Mass Deformations of the ABJM Theory: The Holographic Free Energy

abstract: We find a class of new supersymmetric Euclidean solutions in four-dimensional maximal gauged supergravity. The holographic dual description of these backgrounds is given by a mass-deformation of the ABJM theory with general values for the R-charges. We calculate the $S^3$ free energy for the supergravity backgrounds and find agreement with the supersymmetric localization calculation of the free energy in the large $N$ limit.


title: Automatically Annotating Articles Towards Opening and Reusing Transparent Peer Reviews

abstract: An increasing number of scientific publications are created in open and transparent peer review models: a submission is published first, and then reviewers are invited, or a submission is reviewed in a closed environment but then these reviews are published with the final article, or combinations of these. Reasons for open peer review include giving better credit to reviewers and enabling readers to better appraise the quality of a publication. In most cases, the full, unstructured text of an open review is published next to the full, unstructured text of the article reviewed. This approach prevents human readers from getting a quick impression of the quality of parts of an article, and it does not easily support secondary exploitation, e.g., for scientometrics on reviews. While document formats have been proposed for publishing structured articles including reviews, integrated tool support for entire open peer review workflows resulting in such documents is still scarce. We present AR-Annotator, the Automatic Article and Review Annotator which employs a semantic information model of an article and its reviews, using semantic markup and unique identifiers for all entities of interest. The fine-grained article structure is not only exposed to authors and reviewers but also preserved in the published version. We publish articles and their reviews in a Linked Data representation and thus maximize their reusability by third-party applications. We demonstrate this reusability by running quality-related queries against the structured representation of articles and their reviews.


title: Embedded Control System for Mobile Atom Interferometers

abstract: Atom interferometers require precise control of digital, analog, and radio frequency signals for effective operation. In this paper, we propose and implement a control system for mobile atom interferometers. The system consists of a microcontroller and peripherals to synthesize radio frequency signals and to read or write analog signals. We use the system to operate a mobile atomic gravimeter by controlling 7 analog outputs, 16 digital outputs, 2 radio frequency channels, and 1 analog input. Our control system eliminates dead time between repetitions of the measurement and, consequently, improves the sampling rate of our atomic gravimeter by more than a factor of 2 and the sensitivity by more than a factor of $\sqrt{2}$ compared to the system based on a desktop computer.


title: Sensitivity based Neural Networks Explanations

abstract: Although neural networks can achieve very high predictive performance on various different tasks such as image recognition or natural language processing, they are often considered as opaque "black boxes". The difficulty of interpreting the predictions of a neural network often prevents its use in fields where explainability is important, such as the financial industry where regulators and auditors often insist on this aspect. In this paper, we present a way to assess the relative input features importance of a neural network based on the sensitivity of the model output with respect to its input. This method has the advantage of being fast to compute, it can provide both global and local levels of explanations and is applicable for many types of neural network architectures. We illustrate the performance of this method on both synthetic and real data and compare it with other interpretation techniques. This method is implemented into an open-source Python package that allows its users to easily generate and visualize explanations for their neural networks.


title: Bjorken polarized sum rule and infrared-safe QCD couplings

abstract: Experimental data obtained for the polarized Bjorken sum rule (BSR) $\Gamma_1^{p-n}(Q^2)$ are fitted by using predictions derived within a truncated operator product expansion (OPE) approach to QCD. Four QCD versions are considered: perturbative QCD (pQCD) in the MSbar scheme, Analytic Perturbation Theory (APT), and 2$\delta$ and 3$\delta$ analytic QCD versions. In contrast to pQCD, these QCD variants do not have Landau singularities at low positive $Q^2$, which facilitates the fitting procedure significantly. The fitting procedure is applied first to the experimental data of the inelastic part of BSR, and the known elastic contributions are added after the fitting. In general, when 2$\delta$ and 3$\delta$ QCD coupling is used the fitted curves give the best results, within the $Q^2$-range of the fit as well as in extended $Q^2$-intervals. When the fitting procedure is applied to the total BSR, i.e., to the sum of the experimental data and the elastic contribution, the quality of the results deteriorates significantly.


title: A $\gamma$-ray determination of the Universe's star-formation history

abstract: The light emitted by all galaxies over the history of the Universe produces the extragalactic background light (EBL) at ultraviolet, optical, and infrared wavelengths. The EBL is a source of opacity for $\gamma$ rays via photon-photon interactions, leaving an imprint in the spectra of distant $\gamma$-ray sources. We measure this attenuation using {739} active galaxies and one gamma-ray burst detected by the {\it Fermi} Large Area Telescope. This allows us to reconstruct the evolution of the EBL and determine the star-formation history of the Universe over 90\% of cosmic time. Our star-formation history is consistent with independent measurements from galaxy surveys, peaking at redshift $z\sim2$. Upper limits of the EBL at the epoch of re-ionization suggest a turnover in the abundance of faint galaxies at $z\sim 6$.


title: Designing quantum experiments with a genetic algorithm

abstract: We introduce a genetic algorithm that designs quantum optics experiments for engineering quantum states with specific properties. Our algorithm is powerful and flexible, and can easily be modified to find methods of engineering states for a range of applications. Here we focus on quantum metrology. First, we consider the noise-free case, and use the algorithm to find quantum states with a large quantum Fisher information (QFI). We find methods, which only involve experimental elements that are available with current or near-future technology, for engineering quantum states with up to a 100-fold improvement over the best classical state, and a 20-fold improvement over the optimal Gaussian state. Such states are a superposition of the vacuum with a large number of photons (around $80$), and can hence be seen as Schr\"odinger-cat-like states. We then apply the two most dominant noise sources in our setting -- photon loss and imperfect heralding -- and use the algorithm to find quantum states that still improve over the optimal Gaussian state with realistic levels of noise. This will open up experimental and technological work in using exotic non-Gaussian states for quantum-enhanced phase measurements. Finally, we use the Bayesian mean square error to look beyond the regime of validity of the QFI, finding quantum states with precision enhancements over the alternatives even when the experiment operates in the regime of limited data.


title: Solar System Formation in the Context of Extra-Solar Planets

abstract: Exoplanet surveys have confirmed one of humanity's (and all teenagers') worst fears: we are weird. If our Solar System were observed with present-day Earth technology -- to put our system and exoplanets on the same footing -- Jupiter is the only planet that would be detectable. The statistics of exo-Jupiters indicate that the Solar System is unusual at the ~1% level among Sun-like stars (or ~0.1% among all stars). But why are we different? Successful formation models for both the Solar System and exoplanet systems rely on two key processes: orbital migration and dynamical instability. Systems of close-in super-Earths or sub-Neptunes require substantial radial inward motion of solids either as drifting mm- to cm-sized pebbles or migrating Earth-mass or larger planetary embryos. We argue that, regardless of their formation mode, the late evolution of super-Earth systems involves migration into chains of mean motion resonances, generally followed by instability when the disk dissipates. This pattern is likely also ubiquitous in giant planet systems. We present three models for inner Solar System formation -- the low-mass asteroid belt, Grand Tack, and Early Instability models -- each invoking a combination of migration and instability. We identify bifurcation points in planetary system formation. We present a series of events to explain why our Solar System is so weird. Jupiter's core must have formed fast enough to quench the growth of Earth's building blocks by blocking the flux of inward-drifting pebbles. The large Jupiter/Saturn mass ratio is rare among giant exoplanets but may be required to maintain Jupiter's wide orbit. The giant planets' instability must have been gentle, with no close encounters between Jupiter and Saturn, also unusual in the larger (exoplanet) context. Our Solar System system is thus the outcome of multiple unusual, but not unheard of, events.


title: A joint ALMA-Bolocam-Planck SZ study of the pressure distribution in RX J1347.5-1145

abstract: We report the joint analysis of single-dish and interferometric observations of the Sunyaev-Zeldovich (SZ) effect from the galaxy cluster RX J1347.5-1145. We have developed a parametric fitting procedure that uses native imaging and visibility data, and tested it using the rich data sets from ALMA, Bolocam, and Planck available for this object. RX J1347.5-1145 is a very hot and luminous cluster showing signatures of a merger. Previous X-ray-motivated SZ studies have highlighted the presence of an excess SZ signal south-east of the X-ray peak, which was generally interpreted as a strong, shock-induced pressure perturbation. Our model, when centred at the X-ray peak, confirms this. However, the presence of two almost equally bright giant elliptical galaxies separated by $\sim100\;{\rm kpc}$ makes the choice of the cluster centre ambiguous, and allows for considerable freedom in modelling the structure of the galaxy cluster. For instance, we have shown that the SZ signal can be well-described by a single smooth ellipsoidal generalized Navarro-Frenk-White profile, where the best-fitting centroid is located between the two brightest cluster galaxies. This leads to a considerably weaker excess SZ signal from the south-eastern substructure. Further, the most prominent features seen in the X-ray can be explained as predominantly isobaric structures, alleviating the need for highly supersonic velocities, although overpressurized regions associated with the moving subhaloes are still present in our model.


title: Characterising the high-mass star forming filament G351.776--0.527 with Herschel and APEX dust continuum and gas observations

abstract: G351.776-0.527 is among the most massive, closest, and youngest filaments in the inner Galactic plane and therefore it is an ideal laboratory to study the kinematics of dense gas and mass replenishment on a large scale. In this paper, we present far-infrared (FIR) and submillimetre wavelength continuum observations combined with spectroscopic C$^{18}$O (2-1) data of the entire region to study its temperature, mass distribution, and kinematics. The structure is composed of a main elongated region with an aspect ratio of $\sim 23$, which is associated with a network of filamentary structures. The main filament has a remarkably constant width of 0.2 pc. The total mass of the network (including the main filament) is $\geq 2600$ M$_\odot$, while we estimate a mass of $\sim 2000$ M$_\odot$ for the main structure. Therefore, the network harbours a large reservoir of gas and dust that could still be accreted onto the main structure. From the analysis of the gas kinematics, we detect two velocity components in the northern part of the main filament. The data also reveal velocity oscillations in C$^{18}$O along the spine in the main filament and in at least one of the branches. Considering the region as a single structure, we find that it is globally close to virial equilibrium indicating that the entire structure is approximately in a stable state.


title: Tau Neutrinos in IceCube, KM3NeT and the Pierre Auger Observatory

abstract: In 2018, the IceCube collaboration reported evidence for the identification of a blazar as an astrophysical neutrino source. That evidence is briefly summarised here before focusing on the prospects of tau neutrino physics in IceCube, both at high energies (astrophysical neutrinos) and at lower energies (atmospheric neutrino oscillations). In addition, future neutrino detectors such as KM3NeT and the IceCube Upgrade and their tau neutrino physics potential are discussed. Finally, the detection mechanism for high-energy (tau) neutrinos in the Pierre Auger Observatory and the resulting flux upper limits are presented.