title: Topological Nematic Spin Liquid on the Square-Kagome Lattice

abstract: The ground state of the spin$-1/2$ kagome antiferromagnet remains uncertain despite decades of active research. Here we step aside from this debated question to address the ground-state nature of a related, and potentially just as rich, system made of corner-sharing triangles: the square-kagome lattice (SKL). Our work is motivated by the recent synthesis of a distorted SKL compound mentioned in [Morita & Tohyama, J. Phys. Soc. Japan 87, 043704 (2018)]. We have studied its spin$-1/2$ $J_{1}$-$J_{2}$ phase diagram with an unrestricted Schwinger boson mean-field theory (SBMFT). We show that, in addition of agreeing with previous studies, three original phases appear: two incommensurate orders and a topological quantum spin liquid with weak nematicity. The topological order is characterized by fluxes on specific gauge-invariant quantities and the phase is stable under anisotropic perturbations relevant for experiments. Finally, we provide dynamical structure factors of the reported phases that could be observed in inelastic neutron scattering.


title: Multi-lingual Intent Detection and Slot Filling in a Joint BERT-based Model

abstract: Intent Detection and Slot Filling are two pillar tasks in Spoken Natural Language Understanding. Common approaches adopt joint Deep Learning architectures in attention-based recurrent frameworks. In this work, we aim at exploiting the success of "recurrence-less" models for these tasks. We introduce Bert-Joint, i.e., a multi-lingual joint text classification and sequence labeling framework. The experimental evaluation over two well-known English benchmarks demonstrates the strong performances that can be obtained with this model, even when few annotated data is available. Moreover, we annotated a new dataset for the Italian language, and we observed similar performances without the need for changing the model.


title: Photonic heat transport across a Josephson junction

abstract: We present a detailed study of photonic heat transport across a Josephson junction coupled to two arbitrary linear circuits having different temperatures. First, we consider the linear approximation, in which a nonlinear Josephson potential is replaced by a quadratic one and the junction acts as an inductor. Afterwards, we discuss the effects of junction anharmonicity. We separately consider the weak-coupling limit, in which the Bloch band structure of the junction energy spectrum plays an important role, and the opposite strong-coupling regime. We apply our general results to two specific models: a Josephson junction coupled to two Ohmic resistors and two resonators. We derive simple analytical approximations for the photonic heat flux in many limiting cases. We demonstrate that electric circuits with embedded Josephson junctions provide a useful platform for quantum thermodynamics experiments.


title: Design and Characterization of Superconducting Nanowire-Based Processors for Acceleration of Deep Neural Network Training

abstract: Training of deep neural networks (DNNs) is a computationally intensive task and requires massive volumes of data transfer. Performing these operations with the conventional von Neumann architectures creates unmanageable time and power costs. Recent studies have shown that mixed-signal designs involving crossbar architectures are capable of achieving acceleration factors as high as 30,000x over the state of the art digital processors. These approaches involve utilization of non-volatile memory (NVM) elements as local processors. However, no technology has been developed to-date that can satisfy the strict device requirements for the unit cell. This paper presents the superconducting nanowire-based processing element as a cross-point device. The unit cell has many programmable non-volatile states that can be used to perform analog multiplication. Importantly, these states are intrinsically discrete due to quantization of flux, which provides symmetric switching characteristics. Operation of these devices in a crossbar is described and verified with electro-thermal circuit simulations. Finally, validation of the concept in an actual DNN training task is shown using an emulator.


title: From LTL to Unambiguous B\"uchi Automata via Disambiguation of Alternating Automata

abstract: This paper proposes a new algorithm for the generation of unambiguous B\"uchi automata (UBA) from LTL formulas. Unlike existing tableau-based LTL-to-UBA translations, our algorithm deals with very weak alternating automata (VWAA) as an intermediate representation. It relies on a new notion of unambiguity for VWAA and a disambiguation procedure for VWAA. We introduce optimizations on the VWAA level and new LTL simplifications targeted at generating small UBA. We report on an implementation of the construction in our tool duggi and discuss experimental results that compare the automata sizes and computation times of duggi with the tableau-based LTL-to-UBA translation of the SPOT tool set. Our experiments also cover the analysis of Markov chains under LTL specifications, which is an important application of UBA.


title: Defect Modulation Doping

abstract: The doping of semiconductor materials is a fundamental part of modern technology, but the classical approaches have in many cases reached their limits both in regard to achievable charge carrier density, as well as mobility. Modulation doping, a mechanism that exploits the energy band alignment at an interface between two materials to induce free charge carriers in one of them, has been shown to circumvent the mobility restriction. Due to an alignment of doping limits by intrinsic defects, however, the carrier density limit cannot be lifted using this approach. Here we present a novel doping strategy using defects in a wide band gap material to dope the surface of a second semiconductor layer of dissimilar nature. We show that by depositing an insulator on a semiconductor material, the conductivity of the layer stack can be increased by seven orders of magnitude, without the necessity of high temperature processes or epitaxial growth. This approach has the potential to circumvent limits to both carrier mobility and density, opening up new possibilities in semiconductor device fabrication, particularly for the emerging field of oxide thin film electronics.


title: Visus: An Interactive System for Automatic Machine Learning Model Building and Curation

abstract: While the demand for machine learning (ML) applications is booming, there is a scarcity of data scientists capable of building such models. Automatic machine learning (AutoML) approaches have been proposed that help with this problem by synthesizing end-to-end ML data processing pipelines. However, these follow a best-effort approach and a user in the loop is necessary to curate and refine the derived pipelines. Since domain experts often have little or no expertise in machine learning, easy-to-use interactive interfaces that guide them throughout the model building process are necessary. In this paper, we present Visus, a system designed to support the model building process and curation of ML data processing pipelines generated by AutoML systems. We describe the framework used to ground our design choices and a usage scenario enabled by Visus. Finally, we discuss the feedback received in user testing sessions with domain experts.


title: A Performance Evaluation of Correspondence Grouping Methods for 3D Rigid Data Matching

abstract: Seeking consistent point-to-point correspondences between 3D rigid data (point clouds, meshes, or depth maps) is a fundamental problem in 3D computer vision. While a number of correspondence selection methods have been proposed in recent years, their advantages and shortcomings remain unclear regarding different applications and perturbations. To fill this gap, this paper gives a comprehensive evaluation of nine state-of-the-art 3D correspondence grouping methods. A good correspondence grouping algorithm is expected to retrieve as many as inliers from initial feature matches, giving a rise in both precision and recall as well as facilitating accurate transformation estimation. Toward this rule, we deploy experiments on three benchmarks with different application contexts including shape retrieval, 3D object recognition, and point cloud registration together with various perturbations such as noise, point density variation, clutter, occlusion, partial overlap, different scales of initial correspondences, and different combinations of keypoint detectors and descriptors. The rich variety of application scenarios and nuisances result in different spatial distributions and inlier ratios of initial feature correspondences, thus enabling a thorough evaluation. Based on the outcomes, we give a summary of the traits, merits, and demerits of evaluated approaches and indicate some potential future research directions.


title: Fast Fourier-transform calculation of artificial night sky brightness maps

abstract: Light pollution poses a growing threat to optical astronomy, in addition to its detrimental impacts on the natural environment, the intangible heritage of humankind related to the contemplation of the starry sky and, potentially, on human health. The computation of maps showing the spatial distribution of several light pollution related functions (e.g. the anthropogenic zenithal night sky brightness, or the average brightness of the celestial hemisphere) is a key tool for light pollution monitoring and control, providing the scientific rationale for the adoption of informed decisions on public lighting and astronomical site preservation. The calculation of such maps from satellite radiance data for wide regions of the planet with sub-kilometric spatial resolution often implies a huge amount of basic pixel operations, requiring in many cases extremely large computation times. In this paper we show that, using adequate geographical projections, a wide set of light pollution map calculations can be reframed in terms of two-dimensional convolutions that can be easily evaluated using conventional fast Fourier-transform (FFT) algorithms, with typical computation times smaller than 10^-6 s per output pixel.


title: Identifiability of Graphs with Small Color Classes by the Weisfeiler-Leman Algorithm

abstract: As it is well known, the isomorphism problem for vertex-colored graphs with color multiplicity at most 3 is solvable by the classical 2-dimensional Weisfeiler-Leman algorithm (2-WL). On the other hand, the prominent Cai-F\"urer-Immerman construction shows that even the multidimensional version of the algorithm does not suffice for graphs with color multiplicity 4. We give an efficient decision procedure that, given a graph $G$ of color multiplicity 4, recognizes whether or not $G$ is identifiable by 2-WL, that is, whether or not 2-WL distinguishes $G$ from any non-isomorphic graph. In fact, we solve the much more general problem of recognizing whether or not a given coherent configuration of maximum fiber size 4 is separable. This extends our recognition algorithm to graphs of color multiplicity 4 with directed and colored edges. Our decision procedure is based on an explicit description of the class of graphs with color multiplicity 4 that are not identifiable by 2-WL. The Cai-F\"urer-Immerman graphs of color multiplicity 4 distinctly appear here as a natural subclass, which demonstrates that the Cai-F\"urer-Immerman construction is not ad hoc. Our classification reveals also other types of graphs that are hard for 2-WL. One of them arises from patterns known as $(n_3)$-configurations in incidence geometry.


title: Invariant Risk Minimization

abstract: We introduce Invariant Risk Minimization (IRM), a learning paradigm to estimate invariant correlations across multiple training distributions. To achieve this goal, IRM learns a data representation such that the optimal classifier, on top of that data representation, matches for all training distributions. Through theory and experiments, we show how the invariances learned by IRM relate to the causal structures governing the data and enable out-of-distribution generalization.


title: RegDem: Increasing GPU Performance via Shared Memory Register Spilling

abstract: GPU utilization, measured as occupancy, is limited by the parallel threads' combined usage of on-chip resources, such as registers and the programmer-managed shared memory. Higher resource demand means lower effective parallel thread count, and therefore lower program performance. Our investigation found that registers are often the occupancy limiters. The de-facto nvcc compiler-based approach spills excessive registers to the off-chip memory, ignoring the shared memory and leaving the on-chip resources underutilized. To mitigate the register demand, this paper presents a binary translation technique, called RegDem, that spills excessive registers to the underutilized shared memory by transforming the GPU assembly code (SASS). Most GPU programs do not fully use shared memory, thus allowing RegDem to use it for register spilling. The higher occupancy achieved by RegDem outweighs the slightly higher cost of accessing shared memory instead of placing data in registers. The paper also presents a compile-time performance predictor that models instructions stalls to choose the best version from a set of program variants. Cumulatively, these techniques outperform the nvcc compiler with a 9% geometric mean, the highest observed being 18%.


title: Period functions associated to real-analytic modular forms

abstract: We define L-functions for the class of real-analytic modular forms recently introduced by F. Brown. We establish their main properties and construct the analogue of period polynomial in cases of special interest, including those of modular iterated integrals.


title: Giant enhancement of Piezo-resistance in ballistic graphene due to transverse electric fields

abstract: We investigate the longitudinal and transverse piezoresistance effect in suspended graphene in the ballistic regime. Utilizing parametrized tight binding Hamiltonian from ab initio calculations along with Landauer quantum transport formalism, we devise a methodology to evaluate the piezoresistance effect in 2D materials especially in graphene. We evaluate the longitudinal and transverse gauge factor of graphene along armchair and zigzag directions in the linear elastic limit ($0\%$-$10\%$). The longitudinal and transverse gauge factors are identical along armchair and zigzag directions. Our model predicts a significant variation ($\approx 1000\% $ change) in transverse gauge factor compared to longitudinal gauge factor along with sign inversion. The calculated value of longitudinal gauge factor is $\approx 0.3$ whereas the transverse gauge factor is $\approx -3.3$. We rationalize our prediction using deformation of Dirac cone and change in separation between transverse modes due to longitudinal and transverse strain, leading to an inverse change in gauge factor. The results obtained herein may serve as a template for high strain piezoresistance effect of graphene in nano electromechanical systems.


title: Preliminary Results in Current Profile Estimation and Doppler-aided Navigation for Autonomous Underwater Gliders

abstract: This paper describes the development and experimental results of navigation algorithms for an autonomous underwater glider (AUG) that uses an on-board acoustic Doppler current profiler (ADCP). AUGs are buoyancy-driven autonomous underwater vehicles that use small hydrofoils to make forward progress while profiling vertically. During each dive, which can last up to 6 hours, the Seaglider AUG used in this experiment typically reaches the depth of 1000 m and travels 3-6 km horizontally through the water, relying solely on dead-reckoning. Horizontal through-the-water (TTW) progress of AUG is 20-30 cm/s, which is comparable to the speed of the stronger ocean currents. Underwater navigation of an AUG in the presence of unknown advection therefore presents a considerable challenge. We develop two related formulations for post-processing. Both use ADCP observations, through the water velocity estimates, and GPS fixes to estimate current profiles. However, while the first solves an explicit inverse problem for the current profiles only, the second solves a deconvolution problem that infers both states and current profiles using a state-space model. Both approaches agree on their estimates of the ocean current profile through which the AUG was flown using measurements of current relative to the AUG from the ADCP, and estimates of the AUGs TTW velocity from a hydrodynamic model. The result is a complete current profile along the AUGs trajectory, as well as over-the-ground (OTG) velocities for the AUG that can be used for more accurate subsea positioning. Results are demonstrated using 1 MHz ADCP data collected from a Seaglider AUG deployed for 49 days off the north coast of Alaska during August and September 2017. The results are compared to ground truth data from the top 40 meters of the water column, from a moored, upward-facing 600 kHz ADCP.


title: On the Intersection Numbers of Finite Groups

abstract: The covering number of a nontrivial finite group $G$, denoted $\sigma(G)$, is the smallest number of proper subgroups of $G$ whose set-theoretic union equals $G$. In this article, we focus on a dual problem to that of covering numbers of groups, which involves maximal subgroups of finite groups. For a nontrivial finite group $G$, we define the intersection number of $G$, denoted $\iota(G)$, to be the minimum number of maximal subgroups whose intersection equals the Frattini subgroup of $G$. We elucidate some basic properties of this invariant, and give an exact formula for $\iota(G)$ when $G$ is a nontrivial finite nilpotent group. In addition, we determine the intersection numbers of a few infinite families of non-nilpotent groups. We conclude by discussing a generalization of the intersection number of a nontrivial finite group and pose some open questions about these invariants.


title: Periodic outgassing as a result of unsteady convection in Ray Lava Lake, Mount Erebus, Antarctica

abstract: Persistently active lava lakes show continuous outgassing and open convection over years to decades. Ray Lake, the lava lake at Mount Erebus, Ross Island, Antarctica, maintains long-term, near steady-state behavior in temperature, heat flux, gas flux, lake level, and composition. This activity is superposed by periodic small pulses of gas and hot magma every 5-18 minutes and disrupted by sporadic Strombolian eruptions. The periodic pulses have been attributed to a variety of potential processes including unstable bidirectional flow in the conduit feeding the lake. In contrast to hypotheses invoking a conduit source for the observed periodicity, we test the hypothesis that the behavior could be the result of dynamics within the lake itself, independent of periodic influx from the conduit. We perform numerical simulations of convection in Ray Lake driven by both constant and periodic inflow of gas-rich magma from the conduit to identify whether the two cases have different observational signatures at the surface. Our simulations show dripping diapirs or pulsing plumes leading to observable surface behavior with periodicities in the range of 5-20 minutes. We conclude that a convective speed faster than the inflow speed can result in periodic behavior without requiring periodicity in conduit dynamics. This finding suggests that the surface behavior of lava lakes might be less indicative of volcanic conduit processes in persistently outgassing volcanoes than previously thought, and that dynamics within the lava lake itself may modify or overprint patterns emerging from the conduit.


title: HashGraph -- Scalable Hash Tables Using A Sparse Graph Data Structure

abstract: Hash tables are ubiquitous and used in a wide range of applications for efficient probing of large and unsorted data. If designed properly, hash-tables can enable efficients look ups in a constant number of operations or commonly referred to as O(1) operations. As data sizes continue to grow and data becomes less structured (as is common for big-data applications), the need for efficient and scalable hash table also grows. In this paper we introduce HashGraph, a new scalable approach for building hash tables that uses concepts taken from sparse graph representations--hence the name HashGraph. We show two different variants of HashGraph, a simple algorithm that outlines the method to create the hash-table and an advanced method that creates the hash table in a more efficient manner (with an improved memory access pattern). HashGraph shows a new way to deal with hash-collisions that does not use "open-addressing" or "chaining", yet has all the benefits of both these approaches. HashGraph currently works for static inputs, though recent progress with dynamic graph data structures suggest that HashGraph might be extended to dynamic inputs as well. We show that HashGraph can deal with a large number of hash-values per entry without loss of performance as most open-addressing and chaining approaches have. Further, we show that HashGraph is indifferent to the load-factor. Lastly, we show a new probing algorithm for the second phase of value lookups. Given the above, HashGraph is extremely fast and outperforms several state of the art hash-table implementations. The implementation of HashGraph in this paper is for NVIDIA GPUs, though HashGraph is not architecture dependent. Using a NVIDIA GV100 GPU, HashGraph is anywhere from 2X-8X faster than cuDPP, WarpDrive, and cuDF. HashGraph is able to build a hash-table at a rate of 2.5 billion keys per second and can probe at nearly the same rate.


title: Ice Giant Circulation Patterns: Implications for Atmospheric Probes

abstract: Atmospheric circulation patterns derived from multi-spectral remote sensing can serve as a guide for choosing a suitable entry site for a future in situ probe mission. Since the Voyager-2 flybys in the 1980s, three decades of observations from ground- and space-based observatories have generated a picture of Ice Giant circulation that is complex, perplexing, and altogether unlike that seen on the Gas Giants. This review seeks to reconcile the various competing circulation patterns from an observational perspective, accounting for spatially-resolved measurements of: zonal albedo contrasts and banded appearances; cloud-tracked zonal winds; temperature and para-H$_2$ measurements above the condensate clouds; and equator-to-pole contrasts in condensable volatiles (methane and hydrogen sulphide) in the deeper troposphere. These observations identify three distinct latitude domains: an equatorial domain of deep upwelling and upper-tropospheric subsidence, potentially bounded by peaks in the retrograde zonal jet and analogous to Jovian cyclonic belts; a mid-latitude transitional domain of upper-tropospheric upwelling, vigorous cloud activity, analogous to Jovian anticyclonic zones; and a polar domain of strong subsidence, volatile depletion, and small-scale (and potentially seasonally-variable) convective activity. Taken together, the multi-wavelength observations suggest a tiered structure of stacked circulation cells (at least two in the troposphere and one in the stratosphere), potentially separated in the vertical by (i) strong molecular weight gradients associated with cloud condensation, and by (ii) transitions from a thermally-direct circulation regime at depth to a wave-driven circulation regime at high altitude. The inferred circulation can be tested in the coming decade by 3D simulations and by observations from future world-class facilities. [Abridged]


title: Acoustic analogies with general relativity, quantum fields, and thermodynamics

abstract: Modern physics is based on three major theories - general relativity, quantum field theory, and (quantum) thermodynamics. Classical acoustics in fluids is usually regarded and studied as a part of classical mechanics, more precisely fluid dynamics. This assumes velocities much below the speed of light and length scales much above the molecular scale. However, like acoustics, all three modern theories are field theories, whether classical (gravitation) or quantum (quantum field theory and quantum thermodynamics). This fact opens possibilities for establishing direct analogies between acoustics and the other theories, which are in the focus of the work presented here. The analogy with covariant (as well as quantum) vector theory of electromagnetism is also addressed, as the most natural link between the analogue scalar theory of acoustics and the second-order tensor theory of general relativity. All these allow an analogue unified theory to be defined, in which the fundamentals of classical acoustics in fluids are expressed using the formalisms of modern field theories, and which should further help narrowing the gap between the apparently remote physics.


title: Form Factors in Asymptotic Safety: conceptual ideas and computational toolbox

abstract: Over the last years the Asymptotic Safety program has matured into a serious candidate for a quantum theory of gravity compatible with observations. The rapid technical progress in computing renormalisation group flows for gravity and gravity-matter systems in the non-perturbative regime has put many interesting physical questions within reach. In particular, the construction of the non-perturbative quantum corrections to the propagation of fields on a fluctuating spacetime allows addressing the effective propagation of matter on a quantum spacetime or the possible resolution of spacetime singularities based on first principle computations. In this article, we assemble a technical toolbox for carrying out investigations on this promising research frontier. As a specific example we present results for the momentum-dependent two-point function for a scalar field induced by the quantum fluctuations of the underlying geometry in a self-consistent way.


title: An Introduction to Higher Categorical Algebra

abstract: This article is a survey of algebra in the $\infty$-categorical context, as developed by Lurie in "Higher Algebra", and is a chapter in the "Handbook of Homotopy Theory". We begin by introducing symmetric monoidal stable $\infty$-categories, such as the derived $\infty$-category of a commutative ring, before turning to our main example, the $\infty$-category of spectra. We then go on to consider ring spectra and their $\infty$-categories of modules, as well as basic constructions such as localization, completion, and dualizability. We conclude with a brief account of the cotangent complex and deformation theory.


title: A Comparison of Flare Forecasting Methods. II. Benchmarks, Metrics and Performance Results for Operational Solar Flare Forecasting Systems

abstract: Solar flares are extremely energetic phenomena in our Solar System. Their impulsive, often drastic radiative increases, in particular at short wavelengths, bring immediate impacts that motivate solar physics and space weather research to understand solar flares to the point of being able to forecast them. As data and algorithms improve dramatically, questions must be asked concerning how well the forecasting performs; crucially, we must ask how to rigorously measure performance in order to critically gauge any improvements. Building upon earlier-developed methodology (Barnes et al, 2016, Paper I), international representatives of regional warning centers and research facilities assembled in 2017 at the Institute for Space-Earth Environmental Research, Nagoya University, Japan to - for the first time - directly compare the performance of operational solar flare forecasting methods. Multiple quantitative evaluation metrics are employed, with focus and discussion on evaluation methodologies given the restrictions of operational forecasting. Numerous methods performed consistently above the "no skill" level, although which method scored top marks is decisively a function of flare event definition and the metric used; there was no single winner. Following in this paper series we ask why the performances differ by examining implementation details (Leka et al. 2019, Paper III), and then we present a novel analysis method to evaluate temporal patterns of forecasting errors in (Park et al. 2019, Paper IV). With these works, this team presents a well-defined and robust methodology for evaluating solar flare forecasting methods in both research and operational frameworks, and today's performance benchmarks against which improvements and new methods may be compared.

categories: astro-ph.SR astro-ph.IM physics.data-an physics.space-ph


title: Physics webpages create barriers to participation for people with disabilities: Five steps to increase digital accessibility

abstract: While there have been numerous calls to increase the participation of people with disabilities in STEM, many postsecondary institutions are not equipped to support students with disabilities. We examined the digital accessibility of 139 webpages from 73 postsecondary institutions that contained information about the undergraduate physics curriculum and graduate research programs. We selected these webpages as they are common entry points for students interested in pursuing a physics degree. We used Tenon and Mac OS X's Voiceover software to assess the accessibility of these webpages as measured by alignment with the Web Content Accessibility Guidelines (WCAG) 2.0. We found only one webpage was accessible for students with disabilities. We present five common accessibility errors we identified in the webpages in our sample, suggested solutions for these errors, and implications for students with disabilities, instructors and staff, institutional administration, and the broader physics community.


title: Hybridized Threshold Clustering for Massive Data

abstract: As the size $n$ of datasets become massive, many commonly-used clustering algorithms (for example, $k$-means or hierarchical agglomerative clustering (HAC) require prohibitive computational cost and memory. In this paper, we propose a solution to these clustering problems by extending threshold clustering (TC) to problems of instance selection. TC is a recently developed clustering algorithm designed to partition data into many small clusters in linearithmic time (on average). Our proposed clustering method is as follows. First, TC is performed and clusters are reduced into single "prototype" points. Then, TC is applied repeatedly on these prototype points until sufficient data reduction has been obtained. Finally, a more sophisticated clustering algorithm is applied to the reduced prototype points, thereby obtaining a clustering on all $n$ data points. This entire procedure for clustering is called iterative hybridized threshold clustering (IHTC). Through simulation results and by applying our methodology on several real datasets, we show that IHTC combined with $k$-means or HAC substantially reduces the run time and memory usage of the original clustering algorithms while still preserving their performance. Additionally, IHTC helps prevent singular data points from being overfit by clustering algorithms.


title: On Inductive Biases in Deep Reinforcement Learning

abstract: Many deep reinforcement learning algorithms contain inductive biases that sculpt the agent's objective and its interface to the environment. These inductive biases can take many forms, including domain knowledge and pretuned hyper-parameters. In general, there is a trade-off between generality and performance when algorithms use such biases. Stronger biases can lead to faster learning, but weaker biases can potentially lead to more general algorithms. This trade-off is important because inductive biases are not free; substantial effort may be required to obtain relevant domain knowledge or to tune hyper-parameters effectively. In this paper, we re-examine several domain-specific components that bias the objective and the environmental interface of common deep reinforcement learning agents. We investigated whether the performance deteriorates when these components are replaced with adaptive solutions from the literature. In our experiments, performance sometimes decreased with the adaptive components, as one might expect when comparing to components crafted for the domain, but sometimes the adaptive components performed better. We investigated the main benefit of having fewer domain-specific components, by comparing the learning performance of the two systems on a different set of continuous control problems, without additional tuning of either system. As hypothesized, the system with adaptive components performed better on many of the new tasks.


title: A Comparison of Flare Forecasting Methods. III. Systematic Behaviors of Operational Solar Flare Forecasting Systems

abstract: A workshop was recently held at Nagoya University (31 October - 02 November 2017), sponsored by the Center for International Collaborative Research, at the Institute for Space-Earth Environmental Research, Nagoya University, Japan, to quantitatively compare the performance of today's operational solar flare forecasting facilities. Building upon Paper I of this series (Barnes et al. 2016), in Paper II (Leka et al. 2019) we described the participating methods for this latest comparison effort, the evaluation methodology, and presented quantitative comparisons. In this paper we focus on the behavior and performance of the methods when evaluated in the context of broad implementation differences. Acknowledging the short testing interval available and the small number of methods available, we do find that forecast performance: 1) appears to improve by including persistence or prior flare activity, region evolution, and a human "forecaster in the loop"; 2) is hurt by restricting data to disk-center observations; 3) may benefit from long-term statistics, but mostly when then combined with modern data sources and statistical approaches. These trends are arguably weak and must be viewed with numerous caveats, as discussed both here and in Paper II. Following this present work, we present in Paper IV a novel analysis method to evaluate temporal patterns of forecasting errors of both types (i.e., misses and false alarms; Park et al. 2019). Hence, most importantly, with this series of papers we demonstrate the techniques for facilitating comparisons in the interest of establishing performance-positive methodologies.


title: Non-relativistic Effective Interactions of Spin 1 Dark Matter

abstract: We investigate the non-relativistic reduction of simplified models for spin 1 dark matter (DM) with the aim of identifying features in the phenomenology of DM-quark interactions which are specific to vector DM. In the case of DM-quark interactions mediated by a spin 1 particle, we find two DM-nucleon interaction operators arising from the non-relativistic reduction of simplified models for spin 1 DM that are specific to spin 1 DM, and which were not considered in previous studies. They are quadratic in the momentum transfer, linear in a symmetric combination of polarisation vectors for the DM particle, and arise from simplified models which do not generate momentum transfer independent operators as leading interactions in the non-relativistic expansion of DM-nucleon scattering amplitudes. Within these simplified models, the new operators cannot be neglected when computing DM signals at direct detection experiments. For example, we find that nuclear recoil energy spectra computed by including or neglecting the new operators can differ by up to one order of magnitude for nuclear recoil energies larger than about 20 keV and DM masses below $50$ GeV. Furthermore, the shape of the expected nuclear recoil spectra depends significantly on whether the new operators are taken into account or not. Finally, neglecting the contribution to DM direct detection signals from the new operators leads to inaccurate conclusions when assessing the compatibility of a future direct detection signal with CMB constraints on the DM relic density, especially when the number of signal events is small, e.g. $\mathcal{O}(1)$.


title: Weight-space symmetry in deep networks gives rise to permutation saddles, connected by equal-loss valleys across the loss landscape

abstract: The permutation symmetry of neurons in each layer of a deep neural network gives rise not only to multiple equivalent global minima of the loss function, but also to first-order saddle points located on the path between the global minima. In a network of $d-1$ hidden layers with $n_k$ neurons in layers $k = 1, \ldots, d$, we construct smooth paths between equivalent global minima that lead through a `permutation point' where the input and output weight vectors of two neurons in the same hidden layer $k$ collide and interchange. We show that such permutation points are critical points with at least $n_{k+1}$ vanishing eigenvalues of the Hessian matrix of second derivatives indicating a local plateau of the loss function. We find that a permutation point for the exchange of neurons $i$ and $j$ transits into a flat valley (or generally, an extended plateau of $n_{k+1}$ flat dimensions) that enables all $n_k!$ permutations of neurons in a given layer $k$ at the same loss value. Moreover, we introduce high-order permutation points by exploiting the recursive structure in neural network functions, and find that the number of $K^{\text{th}}$-order permutation points is at least by a factor $\sum_{k=1}^{d-1}\frac{1}{2!^K}{n_k-K \choose K}$ larger than the (already huge) number of equivalent global minima. In two tasks, we illustrate numerically that some of the permutation points correspond to first-order saddles (`permutation saddles'): first, in a toy network with a single hidden layer on a function approximation task and, second, in a multilayer network on the MNIST task. Our geometric approach yields a lower bound on the number of critical points generated by weight-space symmetries and provides a simple intuitive link between previous mathematical results and numerical observations.


title: On Finite Exchangeability and Conditional Independence

abstract: We study the independence structure of finitely exchangeable distributions over random vectors and random networks. In particular, we provide necessary and sufficient conditions for an exchangeable vector so that its elements are completely independent or completely dependent. We also provide a sufficient condition for an exchangeable vector so that its elements are marginally independent. We then generalize these results and conditions for exchangeable random networks. In this case, it is demonstrated that the situation is more complex. We show that the independence structure of exchangeable random networks lies in one of six regimes that are two-fold dual to one another, represented by undirected and bidirected independence graphs in graphical model sense with graphs that are complement of each other. In addition, under certain additional assumptions, we provide necessary and sufficient conditions for the exchangeable network distributions to be faithful to each of these graphs.


title: Mean Ergodic Shadowing

abstract: We introduce and study a new variant of shadowing namely mean ergodic shadowing. We establish relationship of this variant with several other variants of shadowing. We show that a minimal system with shadowing cannot have mean ergodic shadowing. We give a necessary and sufficient condition for an orbital limit function to have mean ergodic shadowing property.


title: M\"obius formulas for densities of sets of prime ideals

abstract: We generalize results of Alladi, Dawsey, and Sweeting and Woo for Chebotarev densities to general densities of sets of primes. We show that if $K$ is a number field and $S$ is any set of prime ideals with natural density $\delta(S)$ within the primes, then \[ -\lim_{X \to \infty}\sum_{\substack{2 \le \operatorname{N}(\mathfrak{a})\le X\\ \mathfrak{a} \in D(K,S)}}\frac{\mu(\mathfrak{a})}{\operatorname{N}(\mathfrak{a})} = \delta(S), \] where $\mu(\mathfrak{a})$ is the generalized M\"obius function and $D(K,S)$ is the set of integral ideals $ \mathfrak{a} \subseteq \mathcal{O}_K$ with unique prime divisor of minimal norm lying in $S$. Our result can be applied to give formulas for densities of various sets of prime numbers, including those lying in a Sato-Tate interval of a fixed elliptic curve, and those in Beatty sequences such as $\lfloor\pi n\rfloor$.


title: Cubic ice Ic free from stacking defects synthesized from ice XVII

abstract: Among the over eighteen different forms of water ice, only the common hexagonal phase and a cubic phase are present in nature on Earth. The existence of these two polytypes, almost degenerate in energy, represents one of the most important and unresolved topics in the physics of ice. It is now widely recognised that all the samples of "cubic ice" obtained so far are instead a stacking-disordered form of ice I (i.e. ice Isd), in which both hexagonal and cubic stacking sequences of hydrogen-bonded water molecules are present. Here we describe a new method to obtain cubic ice Ic in large quantities, and demonstrate its unprecedented structural purity from two independent neutron diffraction experiments performed on two of the leading neutron diffraction instruments in Europe.


title: Nonuniform Families of Polynomial-Size Quantum Finite Automata and Quantum Logarithmic-Space Computation with Polynomial-Size Advice

abstract: The state complexity of a finite(-state) automaton intuitively measures the size of the description of the automaton. Sakoda and Sipser [STOC 1972, pp. 275--286] were concerned with nonuniform families of finite automata and they discussed the behaviors of the nonuniform complexity classes defined by such families of finite automata having polynomial-size state complexity. In a similar fashion, we introduce nonuniform state complexity classes using nonuniform families of quantum finite automata empowered by the flexible use of garbage tapes. We first present general inclusion and separation relationships among nonuniform state complexity classes of various one-way finite automata, including deterministic, nondeterministic, probabilistic, and quantum finite automata having polynomially many inner states. For two-way quantum finite automata equipped with flexible garbage tapes, we show a close relationship between the nonuniform state complexity of the family of such polynomial-size quantum finite automata and the parameterized complexity class induced by logarithmic-space quantum computation assisted by polynomial-size advice. We further establish a direct connection between space-bounded quantum computation with quantum advice and quantum finite automata whose transitions are dictated by superpositions of transition tables.


title: Effective Budget of Uncertainty for Classes of Robust Optimization

abstract: Robust optimization (RO) tackles data uncertainty by optimizing for the worst-case scenario of an uncertain parameter and, in its basic form, is sometimes criticized for producing overly-conservative solutions. To reduce the level of conservatism in RO, one can use the well-known budget-of-uncertainty approach which limits the amount of uncertainty to be considered in the model. In this paper, we study a class of problems with resource uncertainty and propose a robust optimization methodology that produces solutions that are even less conservative than the conventional budget-of-uncertainty approach. We propose a new tractable two-stage robust optimization approach that identifies the "ineffective" parts of the uncertainty set and optimizes for the "effective" worst-case scenario only. In the first stage, we identify the effective range of the uncertain parameter, and in the second stage, we provide a formulation that eliminates the unnecessary protection for the ineffective parts, and hence, produces less conservative solutions and provides intuitive insights on the trade-off between robustness and solution conservatism. We demonstrate the applicability of the proposed approach using a power dispatch optimization problem with wind uncertainty. We also provide examples of other application areas that would benefit from the proposed approach.


title: Coherent force chains in disordered granular materials emerge from a percolation of quasilinear clusters

abstract: Dense granular materials and other particle aggregates transmit stress in a manner that belies their microstructural disorder. A subset of the particle contact network is strikingly coherent, wherein contacts are aligned nearly linearly and transmit large forces. Important material properties are associated with these force chains, but their origin has remained a puzzle. We classify subnetworks by their linear connectivity, and show the emergence of a percolation transition at a critical linearity at which the network is sparse, coherent, and contains the force chains. The subnetwork at critical linearity closely reflects the macroscopic stress and explains distinctive features of granular mechanics.


title: Hitting Topological Minor Models in Planar Graphs is Fixed Parameter Tractable

abstract: For a finite collection of graphs ${\cal F}$, the \textsc{${\cal F}$-TM-Deletion} problem has as input an $n$-vertex graph $G$ and an integer $k$ and asks whether there exists a set $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain any of the graphs in ${\cal F}$ as a topological minor. We prove that for every such ${\cal F}$, \textsc{${\cal F}$-TM-Deletion} is fixed parameter tractable on planar graphs. Our algorithm runs in a $2^{\mathcal{O}(k^2)}\cdot n^{2}$ time or, alternatively in $2^{\mathcal{O}(k)}\cdot n^{4}$ time. Our techniques can easily be extended to graphs that are embeddable on any fixed surface.


title: The effect of hyperfine splitting on Stark broadening for three blue-green Cu I lines in laser-induced plasma

abstract: Stark effect is observed in many natural and artificial plasmas and is of great importance for diagnostic purposes. Since this effect alters profiles of spectral lines, it should be taken into account when assessing chemical composition of radiation sources, including stars. Copper is one of the elements which studies of stellar atmospheres deal with. To this end, UV and visible Cu lines are used. However, there is a lack of agreement between existing data on their Stark parameters. It is therefore of interest to obtain new experimental data on these lines and to compare them to previous results. In this work, we have estimated Stark widths and shifts for three blue-green lines at 5105.54, 5153.24, and 5218.20 A (corresponding transitions are [3d104p] 2P{\deg} - [3d94s2] 2D and [3d104d] 2D - [3d104p] 2P{\deg}) observed in a "long-spark" laser-induced plasma. For the first time, we have accurately estimated an impact of hyperfine splitting on the profile shapes of the studied lines taking also into account the isotope shifts. We have shown that both effects considerably influence shift and width of Cu I line at 5105.54 A, and shifts of Cu I lines at 5153.24 and 5218.20 A.


title: Learning macroscopic parameters in nonlinear multiscale simulations using nonlocal multicontinua upscaling techniques

abstract: In this work, we present a novel nonlocal nonlinear coarse grid approximation using a machine learning algorithm. We consider unsaturated and two-phase flow problems in heterogeneous and fractured porous media, where mathematical models are formulated as general multicontinuum models. We construct a fine grid approximation using the finite volume method and embedded discrete fracture model. Macroscopic models for these complex nonlinear systems require nonlocal multicontinua approaches, which are developed in earlier works. These rigorous techniques require complex local computations, which involve solving local problems in oversampled regions subject to constraints. The solutions of these local problems can be replaced by solving original problem on a coarse (oversampled) region for many input parameters (boundary and source terms) and computing effective properties derived by nonlinear nonlocal multicontinua approaches. The effective properties depend on many variables (oversampled region and the number of continua), thus their calculations require some type of machine learning techniques. In this paper, our contribution is two fold. First, we present macroscopic models and discuss how to effectively compute macroscopic parameters using deep learning algorithms. The proposed method can be regarded as local machine learning and complements our earlier approaches on global machine learning. We consider a coarse grid approximation using two upscaling techniques with single phase upscaled transmissibilities and nonlocal nonlinear upscaled transmissibilities using a machine learning algorithm. We present results for two model problems in heterogeneous and fractured porous media and show that the presented method is highly accurate and provides fast coarse grid calculations.


title: Cuspidal irreducible complex or l-modular representations of quaternionic forms of p-adic classical groups for odd p

abstract: Given a quaternionic form G of a p-adic classical group (p odd) we classify all cuspidal irreducible representations of G with coefficients in an algebraically closed field of characteristic different from p. We prove two theorems: At first: Every irreducible cuspidal representation of G is induced from a cuspidal type, i.e. from a certain irreducible representation of a compact open subgroup of G, constructed from a beta-extension and a cuspidal representation of a finite group. Secondly we show that two intertwining cuspidal types of G are up to equivalence conjugate under some element of G.


title: AdS$_7$ Black-Hole Entropy and 5D $\mathcal{N}=2$ Yang-Mills

abstract: We generalise the work of 1810.11442 for the case of AdS$_7$/CFT$_6$. Starting from the 2-equivalent charge, 3-equivalent rotation non-extremal black-hole solution in 7D gauged supergravity, we consider the supersymmetric and then the extremal limit and evaluate the associated thermodynamic quantities. Away from extremality, the black-hole solution becomes complex. The entropy is then given by the Legendre transform of the on-shell action with respect to two complex chemical potentials subject to a constraint. At the conformal boundary we derive the dual background and evaluate the corresponding partition function for the $A_{N-1}$ 6D (2,0) theory at large $N$ in a Cardy-like limit. This is carried out via a 5D $\mathcal N=2$ super Yang-Mills calculation on $S^5$. The gravitational on-shell action is found to be exactly reproduced by the boundary partition function at large $N$. We argue that this agreement puts strong constraints on the form of possible higher-derivative corrections to the 5D gauge theory that is used in the $S^5$ evaluation.


title: Perturbations of a rotating black hole in DHOST theories

abstract: We study linear perturbations of a rotating black hole solution that has been recently discovered in degenerate higher-order scalar-tensor (DHOST) theories. We find a parametrization which permits the explicit resolution of the scalar perturbation while the tensor perturbation is obtained as a Teukolsky equation supplemented by an effective source term. The effective source term is related to the black hole hair and can be computed exactly for any value of the black hole spin. We discuss how the perturbations of the geometry and thus the emitted gravitational waves could be modified in comparison with general relativity.


title: Solvable Lie Algebras of Vector Fields and a Lie's Conjecture

abstract: We present a local and constructive differential geometric description of finite-dimensional solvable and transitive Lie algebras of vector fields. We show that it implies a Lie's conjecture for such Lie algebras. Also infinite-dimensional analytical solvable and transitive Lie algebras of vector fields whose derivative ideal is nilpotent can be adapted to this scheme.


title: Restart perturbations for reversible Markov chains: trichotomy and pre-cutoff equivalence

abstract: Given a reversible Markov chain $P_n$ on $n$ states, and another chain $\tilde{P}_n$ obtained by perturbing each row of $P_n$ by at most $\alpha_n$ in total variation, we study the total variation distance between the two stationary distributions, $\| \pi_n - \tilde{\pi}_n \|$. We show that for chains with cutoff, $\| \pi_n - \tilde{\pi}_n \|$ converges to $0$, $e^{-c}$, and $1$, respectively, if the product of $\alpha_n$ and the mixing time of $P_n$ converges to $0$, $c$, and $\infty$, respectively. This echoes recent results for specific random walks that exhibit cutoff, suggesting that cutoff is the key property underlying such results. Moreover, we show $\| \pi_n - \tilde{\pi}_n \|$ is maximized by restart perturbations, for which $\tilde{P}_n$ "restarts" $P_n$ at a random state with probability $\alpha_n$ at each step. Finally, we show that pre-cutoff is (almost) equivalent to a notion of "sensitivity to restart perturbations," suggesting that chains with sharper convergence to stationarity are inherently less robust.


title: Harmonic Frequency Locking and Tuning of Comb Frequency Spacing through Optical Injection

abstract: We show, both experimentally and theoretically, that a slave laser injected with an optical frequency comb can undergo two distinct locking mechanisms, both of which decrease the output optical comb's frequency spacing. We report that, for certain detuning and relative injection strengths, slave laser relaxation oscillations can become undamped and lock to rational frequencies of the optical comb spacing, creating extra comb tones by nonlinear dynamics of the injected laser. We also study the frequency locking of the slave laser in between the injected comb lines, which add the slave laser's frequency to the comb. Our results demonstrate the effect of the alpha parameter, stability of the locked states, and indicate how the frequency of the relaxation oscillations affect both of these locking mechanisms. These optical locking mechanisms can be applied to regenerate or multiply optical combs.


title: Inflation Without a Trace of Lambda

abstract: We generalise Einstein's formulation of the traceless Einstein equations to $f(R)$ gravity theories. In the case of the vacuum traceless Einstein equations, we show that a non-constant Weyl tensor leads via a conformal transformation to a dimensionally homogeneous (`no-scale') theory in the conformal frame with a scalar field source that has an exponential potential. We then formulate the traceless version of $f(R)$ gravity, and we find that a conformal transformation leads to a no-scale theory conformally equivalent to general relativity and a scalar field $\phi $ with a potential given by the scale-invariant form: $V(\phi )=\frac{D-2}{4D}Re^{-\phi }$, where $\phi =[2/(D-2)]\ln f^{\prime }(R)$. In this theory, the cosmological constant is a mere integration constant, statistically distributed in a multiverse of independent causal domains, the vacuum energy is another unrelated arbitrary constant, and the same is true of the height of the inflationary plateau present in a huge variety of potentials. Unlike in the conformal equivalent of full general relativity, flat potentials are found to be possible in all spacetime dimensions for polynomial lagrangians of all orders. Hence, we are led to a novel interpretation of the cosmological constant vacuum energy problem and have accelerated inflationary expansion in the very early universe with a very small cosmological constant at late times for a wide range of no-scale theories. Fine-tunings required in traceless general relativity or standard non-traceless $f(R)$ theories of gravity are avoided. We show that the predictions of the scale-invariant conformal potential are completely consistent with microwave background observational data concerning the primordial tilt and the tensor-to-scalar ratio.


title: Improved local search for graph edit distance

abstract: The graph edit distance (GED) measures the dissimilarity between two graphs as the minimal cost of a sequence of elementary operations transforming one graph into another. This measure is fundamental in many areas such as structural pattern recognition or classification. However, exactly computing GED is NP-hard. Among different classes of heuristic algorithms that were proposed to compute approximate solutions, local search based algorithms provide the tightest upper bounds for GED. In this paper, we present K-REFINE and RANDPOST. K-REFINE generalizes and improves an existing local search algorithm and performs particularly well on small graphs. RANDPOST is a general warm start framework that stochastically generates promising initial solutions to be used by any local search based GED algorithm. It is particularly efficient on large graphs. An extensive empirical evaluation demonstrates that both K-REFINE and RANDPOST perform excellently in practice.


title: The homotopy types of $U(n)$-gauge groups over lens spaces

abstract: We analyse the homotopy types of gauge groups for principal $U(n)$-bundles over lens spaces.


title: Singularities of optimal time control-affine systems: the limit case

abstract: We study the singularities for minimum time control-affine problems in 4D with 2D controls. After regularization, the problem boils down to the study of a bifurcation around some nilpotent equilibrium in the singular locus. We show that the extremal flow - thus, the exponential map - is smooth on a stratification, and therefore piece-wise smooth.


title: Exact Quantum Dynamics in Structured Environments

abstract: The dynamics of a wide range of technologically important quantum systems are dominated by their interaction with just a few environmental modes. Such highly structured environments give rise to long-lived bath correlations that induce complex dynamics which are very difficult to simulate. These difficulties are further aggravated when spatial correlations between different parts of the system are important. By modeling the dynamics of a pair of two-level quantum systems in a common, structured, environment we show that a recently developed numerical approach, the time-evolving matrix product operator, is capable of accurate simulation under exactly these conditions. We find that tuning the separation to match the wavelength of the dominant environmental modes can drastically modify the system dynamics. To further explore this behavior, we show that the full dynamics of the bath can be calculated directly from those of the system, thus allowing us to develop intuition for the complex system dynamics observed.


title: On the Importance of demand Consolidation in Mobility on Demand

abstract: Mobility on Demand (MoD) services, like Uber and Lyft, are revolutionizing the way people move in cities around the world and are often considered a convenient alternative to public transit, since they offer higher Quality of Service (QoS - less waiting time, door-to-door service) at a cheap price. In the next decades, these advantages are expected to be further amplified by Automated MoD (AMoD), in which drivers will be replaced by automated vehicles, with a big gain in terms of cost-efficiency. MoD is usually intended as a door-to-door service. However, there has been recent interest toward consolidating, e.g., aggregating, the travel demand by limiting the number of admitted stop locations. This implies users have to walk from/to their intended origin/destination. The contribution of this paper is a systematic study the impact of consolidation on the operator cost and on user QoS. We introduce a MoD system where pick-ups and drop-offs can only occur in a limited subset of admitted stop locations. The density of such locations is a system parameter: the less the density, the more the user demand is consolidated. We show that, by decreasing stop density, we can increase system capacity (number of passengers we are able to serve). On the contrary, increasing it, we can improve QoS. The system is tested in AMoDSim, an open-source simulator. The code to reproduce the results presented here is available on-line. This work is a first step toward flexible mobility services that are able to autonomously re-configure themselves, favoring capacity or QoS, depending on the amount of travel demand coming from users. In other words, the services we envisage in this work shift their operational mode to any intermediate point in the range from a taxi-like door-to-door service to a bus-like service, with few served stops and more passengers on-board.


title: Propagation of star formation at sub-kiloparsec scales

abstract: We study the propagation of star formation based on the investigation of the separation of young star clusters from HII regions nearest to them. The relation between the separation and U-B colour index (or age) of a star cluster was found. The average age of star clusters increases with the separation as the 1.0-1.2 power in the separation range from 40 to 200 pc and as the 0.4-0.9 power in the range of 100-500 pc in the galaxies with symmetric morphology. The galaxies with distorted asymmetric disc structure show more complex and steeper (power >1.2 at separations from 40 to 500 pc) dependence between the age and the separation. Our results confirm the findings of previous studies on the dominant role of turbulence in propagation of the star formation process on spatial scales up to 500 pc and on time scales up to 300 Myr. On a smaller scale (=<100 pc), other physical processes, such as stellar winds and supernova explosions, play an important role along with turbulence. On the scale of stellar associations (100-200 pc and smaller), the velocity of star formation propagation is almost constant and it has a typical value of a few km/s.


title: A topological Josephson junction platform for creating, manipulating, and braiding Majorana bound states

abstract: As part of the intense effort towards identifying platforms in which Majorana bound states can be realized and manipulated to perform qubit operations, we propose a topological Josephson junction architecture that achieves these capabilities and which can be experimentally implemented. The platform uses conventional superconducting electrodes deposited on a topological insulator film to form networks of proximity-coupled lateral Josephson junctions. Magnetic fields threading the network of junction barriers create Josephson vortices that host Majorana bound states localized in the junction where the local phase difference is an odd multiple of $\pi$, i.e. attached to the cores of the Josephson vortices. This enables us to manipulate the Majorana states by moving the Josephson vortices, achieving functionality exclusive to these systems in contrast to others, such as those composed of topological superconductor nanowires. We describe protocols for: 1) braiding localized Majorana states by exchange, 2) controlling the separation and hence the coupling of adjacent localized Majorana states to effect non-Abelian rotations via hybridization of the Majorana modes, and 3) reading out changes in the non-local parity correlations induced by such operations. These schemes make use of the application of current pulses and local magnetic field pulses to control the location of vortices, and measurements of the Josephson current-phase relation to reveal the presence of the Majorana bound states. We describe the architecture and schemes in the context of experiments currently underway.


title: Learning in Volatile Environments with the Bayes Factor Surprise

abstract: Surprise-based learning allows agents to rapidly adapt to non-stationary stochastic environments characterized by sudden changes. We show that exact Bayesian inference in a hierarchical model gives rise to a surprise-modulated trade-off between forgetting old observations and integrating them with the new ones. The modulation depends on a probability ratio, which we call "Bayes Factor Surprise", that tests the prior belief against the current belief. We demonstrate that in several existing approximate algorithms the Bayes Factor Surprise modulates the rate of adaptation to new observations. We derive three novel surprised-based algorithms, one in the family of particle filters, one in the family of variational learning, and the other in the family of message passing, that have constant scaling in observation sequence length and particularly simple update dynamics for any distribution in the exponential family. Empirical results show that these surprise-based algorithms estimate parameters better than alternative approximate approaches and reach levels of performance comparable to computationally more expensive algorithms. The Bayes Factor Surprise is related to but different from Shannon Surprise. In two hypothetical experiments, we make testable predictions for physiological indicators that dissociate the Bayes Factor Surprise from Shannon Surprise. The theoretical insight of casting various approaches as surprise-based learning, as well as the proposed online algorithms, may be applied to the analysis of animal and human behavior, and to reinforcement learning in non-stationary environments.


title: The superconducting quasicharge qubit

abstract: The non-dissipative non-linearity of a Josephson junction converts macroscopic superconducting circuits into artificial atoms, enabling some of the best controlled quantum bits (qubits) today. Three fundamental types of superconducting qubits are known, each reflecting a distinct behavior of quantum fluctuations in a Cooper pair condensate: single charge tunneling (charge qubit), single flux tunneling (flux qubit), and phase oscillations (phase qubit). Yet, the dual nature of charge and flux suggests that circuit atoms must come in pairs. Here we introduce the missing one, named "blochnium". It exploits a coherent insulating response of a single Josephson junction that emerges from the extension of phase fluctuations beyond the $2\pi$-interval. Evidence for such effect was found in an out-of-equilibrium dc-transport through junctions connected to high-impedance leads, although a full consensus is absent to date. We shunt a weak junction with an exceptionally high-value inductance -- the key technological innovation behind our experiment -- and measure the rf-excitation spectrum as a function of external magnetic flux through the resulting loop. The junction's insulating character manifests by the vanishing flux-sensitivity of the qubit transition between the ground and the first excited states, which nevertheless rapidly recovers for transitions to higher energy states. The spectrum agrees with a duality mapping of blochnium onto transmon, which replaces the external flux by the offset charge and introduces a new collective quasicharge variable in place of the superconducting phase. Our result unlocks the door to an unexplored regime of macroscopic quantum dynamics in ultrahigh-impedance circuits, which may have applications to quantum computing and quantum metrology of direct current.


title: Rashba cavity QED: a route towards the superradiant quantum phase transition

abstract: We develop a theory of cavity quantum electrodynamics for a 2D electron gas in the presence of Rashba spin-orbit coupling and perpendicular static magnetic field, coupled to spatially nonuniform multimode quantum cavity photon fields. We demonstrate that the lowest polaritonic frequency of the full Hamiltonian can vanish for realistic parameters, achieving the Dicke superradiant quantum phase transition. This singular behaviour originates from soft spin-flip transitions possessing a non-vanishing dipole moment at non-zero wave vectors and can be viewed as a magnetostatic instability.


title: Optimal cycles for low-dissipation heat engines

abstract: We consider the optimization of a finite-time Carnot engine characterized by small dissipations. We bound the power with a simple inequality and show that the optimal strategy is to perform small cycles around a given working point, which can be thus chosen optimally. Remarkably, this optimal point is independent of the figure of merit combining power and efficiency that is being maximized. Furthermore, for a general class of dynamics the power output becomes proportional to the heat capacity of the working substance. Since the heat capacity can scale supra-extensively with the number of constituents of the engine, this enables us to design optimal many-body Carnot engines reaching maximum efficiency at finite power per constituent in the thermodynamic limit.


title: Visualizing Uncertainty and Saliency Maps of Deep Convolutional Neural Networks for Medical Imaging Applications

abstract: Deep learning models are now used in many different industries, while in certain domains safety is not a critical issue in the medical field it is a huge concern. Not only, we want the models to generalize well but we also want to know the models confidence respect to its decision and which features matter the most. Our team aims to develop a full pipeline in which not only displays the uncertainty of the models decision but also, the saliency map to show which sets of pixels of the input image contribute most to the predictions.


title: A Survey on Spatial Modulation in Emerging Wireless Systems: Research Progresses and Applications

abstract: Spatial modulation (SM) is an innovative and promising digital modulation technology that strikes an appealing trade-off between spectral efficiency and energy efficiency with a simple design philosophy. SM enjoys plenty of benefits and shows great potential to fulfill the requirements of future wireless communications. The key idea behind SM is to convey additional information typically through the ON/OFF states of transmit antennas and simultaneously save the implementation cost by reducing the number of radio frequency chains. As a result, the SM concept can have widespread effects on diverse applications and can be applied in other signal domains such as frequency/time/code/angle domain or even across multiple domains. This survey provides a comprehensive overview of the latest results and progresses in SM research. Specifically, the fundamental principles, variants of system design, and enhancements of SM are described in detail. Furthermore, the integration of the SM family with other promising techniques, applications to emerging communication systems, and extensions to new signal domains are also extensively studied.


title: Deep Convolutional Compression for Massive MIMO CSI Feedback

abstract: Coded caching provides significant gains over conventional uncoded caching by creating multicasting opportunities among distinct requests. Massive multiple-input multiple-output (MIMO) systems require downlink channel state information (CSI) at the base station (BS) to better utilize the available spatial diversity and multiplexing gains. However, in a frequency division duplex (FDD) massive MIMO system, the huge CSI feedback overhead becomes restrictive and degrades the overall spectral efficiency. In this paper, we propose a deep learning based channel state matrix compression scheme, called DeepCMC, composed of convolutional layers followed by quantization and entropy coding blocks. In comparison with previous works, the main contributions of DeepCMC are two-fold: i) DeepCMC is fully convolutional, and it can be used in a wide range of scenarios with various numbers of sub-channels and transmit antennas; ii) DeepCMC includes quantization and entropy coding blocks and minimizes a cost function that accounts for both the rate of compression and the reconstruction quality of the channel matrix at the BS. Simulation results demonstrate that DeepCMC significantly outperforms the state of the art compression schemes in terms of the reconstruction quality of the channel state matrix for the same compression rate, measured in bits per channel dimension.


title: Kolmogorov's Algorithmic Mutual Information Is Equivalent to Bayes' Law

abstract: Given two events $A$ and $B$, Bayes' law is based on the argument that the probability of $A$ given $B$ is proportional to the probability of $B$ given $A$. When probabilities are interpreted in the Bayesian sense, Bayes' law constitutes a learning algorithm which shows how one can learn from a new observation to improve their belief in a theory that is consistent with that observation. Kolmogorov's notion of algorithmic information, which is based on the theory of algorithms, proposes an objective measure of the amount of information in a finite string about itself and concludes that for any two finite strings $x$ and $y$, the amount of information in $x$ about $y$ is almost equal to the amount of information in $y$ about $x$. We view this conclusion of Kolmogorov as the algorithmic information version of Bayes' law. This can be easily demonstrated if one considers the work of Levin on prefix Kolmogorov complexity and then expresses the amount of Kolmogorov mutual information between two finite strings using Solomonoff's a priori probability.


title: Proceedings of the 11th Asia-Europe Workshop on Concepts in Information Theory

abstract: This year, 2019 we celebrate 30 years of our friendship between Asian and European scientists at the AEW11 in Rotterdam, the Netherlands. Many of the 1989 participants are also present at the 2019 event. This year we have many participants from different parts of Asia and Europe. It shows the importance of this event. It is a good tradition to pay a tribute to a special lecturer in our community. This year we selected Hiroyoshi Morita, who is a well known information theorist with many original contributions.


title: MatchTheNet -- An Educational Game on 3-Dimensional Polytopes

abstract: We present an interactive game which challenges a single player to match 3-dimensional polytopes to their planar nets. It is open source, and it runs in standard web browsers


title: A Novel Deep Learning Pipeline for Retinal Vessel Detection in Fluorescein Angiography

abstract: While recent advances in deep learning have significantly advanced the state of the art for vessel detection in color fundus (CF) images, the success for detecting vessels in fluorescein angiography (FA) has been stymied due to the lack of labeled ground truth datasets. We propose a novel pipeline to detect retinal vessels in FA images using deep neural networks that reduces the effort required for generating labeled ground truth data by combining two key components: cross-modality transfer and human-in-the-loop learning. The cross-modality transfer exploits concurrently captured CF and fundus FA images. Binary vessels maps are first detected from CF images with a pre-trained neural network and then are geometrically registered with and transferred to FA images via robust parametric chamfer alignment to a preliminary FA vessel detection obtained with an unsupervised technique. Using the transferred vessels as initial ground truth labels for deep learning, the human-in-the-loop approach progressively improves the quality of the ground truth labeling by iterating between deep-learning and labeling. The approach significantly reduces manual labeling effort while increasing engagement. We highlight several important considerations for the proposed methodology and validate the performance on three datasets. Experimental results demonstrate that the proposed pipeline significantly reduces the annotation effort and the resulting deep learning methods outperform prior existing FA vessel detection methods by a significant margin. A new public dataset, RECOVERY-FA19, is introduced that includes high-resolution ultra-widefield images and accurately labeled ground truth binary vessel maps.


title: New contributions to the Hamiltonian and Lagrangian contact formalisms for dissipative mechanical systems and their symmetries

abstract: We provide new insights into the contact Hamiltonian and Lagrangian formulations of dissipative mechanical systems. In particular, we state a new form of the contact dynamical equations, and we review two recently presented Lagrangian formalisms, studying their equivalence. We define several kinds of symmetries for contact dynamical systems, as well as the notion of dissipation laws, prove a dissipation theorem and give a way to construct conserved quantities. Some well-known examples of dissipative systems are discussed.


title: Alternative Renormalizable Minimal SO(10) GUTs and Data Fitting

abstract: The alternative renormalizable minimal $SO(10)$ model is composed of the Yukawa couplings with $\textbf{10} \oplus \textbf{120}$ Higgs fields, whereas the right-handed (RH) neutrino Majorana masses are generated via the Witten mechanism. The gauge coupling unification is achieved together with a unique pattern of the fermion masses and mixing at the grand unification scale due to additional contributions of vector-like quarks to the standard model renormalization group equations. We perform the fitting of the model to the experimental data of charged fermion masses and the CKM matrix. The best fit point is obtained with large pulls for $m_c$, $m_s$, $m_b$, and $m_\tau$. For the modifications to the minimal model by adding either $\textbf{10}'$ or $\textbf{120}'$, a large deviation for the tau mass rules out all these models. In the case with the bottom and vector-like quark mixing, the mass matrices are well fitted the charged fermions but the bound on the light neutrino mass scale excludes this scenario. To ameliorate this deficit, we consider the two-step symmetry breaking scenario, $SO(10) \rightarrow SU(5) \rightarrow SU(3)_C \times SU(2)_L \times U(1)_Y$, with the $SO(10)$ breaking at the Planck scale leading to the radiatively generated RH neutrino Majorana masses being at the ordinary seesaw scale. For this case, we find the best fit point with $\chi^2 = 7.8$ consistent with experimental results including the neutrino sector. The largest deviation is 2.3$\sigma$ corresponding to the strange quark mass. Hence, a more precise determination of the strange quark mass can test this model. For the best fit point, we find the effective Majorana neutrino mass of $m_{\beta\beta} = 0.22$ meV and the sum of light neutrino masses as $\Sigma = 0.078$ eV, which are consistent with the current constraints from the search for the neutrinoless double beta decay and the CMB anisotropy measurement.


title: Proofs and surfaces

abstract: A formal sequent system dealing with Menelaus' configurations is introduced in this paper. The axiomatic sequents of the system stem from 2-cycles of Delta-complexes. The Euclidean and projective interpretations of the sequents are defined and a soundness result is proved. This system is decidable and its provable sequents deliver incidence results. A cyclic operad structure tied to this system is presented by generators and relations.


title: Magnetoquasistatic Resonances of Small Dielectric Objects

abstract: A small dielectric object with positive permittivity may resonate when the free-space wavelength is large in comparison with the object dimensions if the permittivity is sufficiently high. We show that these resonances are described by the magnetoquasistatic approximation of the Maxwell's equations in which the normal component of the displacement current density field vanishes on the surface of the particle. They are associated to values of permittivities and frequencies for which source-free quasistatic magnetic fields exist, which are connected to the eigenvalues of a magnetostatic integral operator. We present the general physical properties of magnetoquasistatic resonances in dielectrics with arbitrary shape. They arise from the interplay between the polarization energy stored in the dielectric and the energy stored in the magnetic field. Our findings improve the understanding of resonances in high-permittivity dielectric objects and provide a powerful tool that greatly simplifies the analysis and design of high index resonators.


title: A simple, exact, model of quasi-single field inflation

abstract: In this note we present a simple but exact model of quasi-single field inflation \cite{Chen:2009zp, Chen:2009we}, in which the couplings between perturbations are completely controlled, and for instance can be made constant with any desired value. This provides a way to numerically implement quasi-single field inflation and to test its predictions in various regimes. We confirm that the numerics agree to good accuracy with the analytical predictions for the isosceles bispectrum and the full shape function.


title: Solidity 0.5: when typed does not mean type safe

abstract: The recent release of Solidity 0.5 introduced a new type to prevent Ether transfers to smart contracts that are not supposed to receive money. Unfortunately, the compiler fails in enforcing the guarantees this type intended to convey, hence the type soundness of Solidity 0.5 is no better than that of Solidity 0.4. In this paper we discuss a paradigmatic example showing that vulnerable Solidity patterns based on potentially unsafe callback expressions are still unchecked. We also point out a solution that strongly relies on formal methods to support a type-safer smart contracts programming discipline, while being retro-compatible with legacy Solidity code.


title: Quantum Mechanics of Individual Systems

abstract: A formulation of quantum mechanics, which begins by postulating assertions for individual physical systems, is given. The statistical predictions of quantum mechanics for infinite ensembles are then derived from its assertions for individual systems. A discussion of the meaning of the "state" of an individual quantum mechanical system is given, and an application is made to the clarification of some of the paradoxical features of the theory.


title: Variational approach to study soliton dynamics in a passive fiber loop resonator with coherently driven phase-modulated external field

abstract: We report a detailed semi-analytical treatment to investigate the dynamics of a single cavity soliton (CS) and two co-propagating CSs separately in a Kerr mediated passive optical fiber resonator which is driven by a phase-modulated pump. The perturbation is dealt with by introducing a Rayleigh's dissipation function in the framework of variational principle that results in a set of coupled ordinary differential equations describing the evolution of individual soliton parameters. We further derive closed-form expressions for quick estimation of the temporal trajectory, drift velocity and the phase shift accumulated by the CS due to the externally modulated pump. We also extend the variational approach to solve two solitons interaction problem in the absence as well as in the presence of the externally modulated field. In absence of phase modulated field, the two copropagating solitons can attract, repulse or can propagate independently depending on their initial delay. The final state of interaction can be predicted through a second-order differential equation which is derived by the variational method. While in presence of the phase modulated field, the two solitons interaction can result in annihilation, merging, breathing or two soliton state depending on the detuning frequency and the pump power. Variational treatment analytically predicts these states and portrays the related dynamics that agrees with full numerical simulation carried out by solving the normalized Lugiato-Lefever equation. The results obtained through this variational approach will enrich the understanding of complex pulse dynamics under phase modulated driving field in passive dissipative systems.


title: Upscaling and spatial localization of non-local energies with applications to crystal plasticity

abstract: We describe multiscale geometrical changes via structured deformations $(g,G)$ and the non-local energetic response at a point $x$ via a function $\Psi$ of the weighted averages of the jumps $[u_{n}](y)$ of microlevel deformations $u_{n}$ at points $y$ within a distance $r$ of $x$. The deformations $u_{n}$ are chosen so that $\lim_{n\to \infty }u_{n}=g$ and $\lim_{n\to \infty }\nabla u_{n}=$ $G$. We provide conditions on $\Psi$ under which the upscaling "$n\to \infty$" results in a macroscale energy that depends through $\Psi$ on (1) the jumps $[g]$ of $g$ and the "disarrangment field" $\nabla g-G$, (2) the "horizon" $r$, and (3) the weighting function $\alpha _{r}$ for microlevel averaging of $[u_{n}](y)$. We also study the upscaling "$n\to \infty$" followed by spatial localization "$r\to 0$" and show that this succession of processes results in a purely local macroscale energy $I(g,G)$ that depends through $\Psi$ upon the jumps $[g]$ of $g$ and the "disarrangment field" $\nabla g-G$, alone. In special settings, such macroscale energies $I(g,G)$ have been shown to support the phenomena of yielding and hysteresis, and our results provide a broader setting for studying such yielding and hysteresis. As an illustration, we apply our results in the context of the plasticity of single crystals.


title: The FACTS of Technology-Assisted Sensitivity Review

abstract: At least ninety countries implement Freedom of Information laws that state that government documents must be made freely available, or opened, to the public. However, many government documents contain sensitive information, such as personal or confidential information. Therefore, all government documents that are opened to the public must first be reviewed to identify, and protect, any sensitive information. Historically, sensitivity review has been a completely manual process. However, with the adoption of born-digital documents, such as e-mail, human-only sensitivity review is not practical and there is a need for new technologies to assist human sensitivity reviewers. In this paper, we discuss how issues of fairness, accountability, confidentiality, transparency and safety (FACTS) impact technology-assisted sensitivity review. Moreover, we outline some important areas of future FACTS research that will need to be addressed within technology-assisted sensitivity review.


title: Detecting and Diagnosing Adversarial Images with Class-Conditional Capsule Reconstructions

abstract: Adversarial examples raise questions about whether neural network models are sensitive to the same visual features as humans. In this paper, we first detect adversarial examples or otherwise corrupted images based on a class-conditional reconstruction of the input. To specifically attack our detection mechanism, we propose the Reconstructive Attack which seeks both to cause a misclassification and a low reconstruction error. This reconstructive attack produces undetected adversarial examples but with much smaller success rate. Among all these attacks, we find that CapsNets always perform better than convolutional networks. Then, we diagnose the adversarial examples for CapsNets and find that the success of the reconstructive attack is highly related to the visual similarity between the source and target class. Additionally, the resulting perturbations can cause the input image to appear visually more like the target class and hence become non-adversarial. This suggests that CapsNets use features that are more aligned with human perception and have the potential to address the central issue raised by adversarial examples.


title: UV regulated star formation in high-redshift galaxies

abstract: The first galaxies forming a few hundred million years after the Big Bang are the key drivers of cosmic evolution and ideal laboratories to study theories of galaxy formation. We here study the role of UV radiation in suppressing star formation in primordial galaxies by destroying molecular hydrogen, the main coolant in primordial gas and provide estimates of cold dense gas at the onset of star formation. To accomplish this goal, we perform three dimensional cosmological simulations of minihalos in different environments forming at $ z\sim 25$ by varying strength of background UV flux below the Lyman limit between 0.01-1000 in units of $\rm J_{21}=10^{-21}~erg/cm^2/s/Hz/sr$. Particularly, we include photo-detachment of $\rm H^-$, the self-shielding of $\rm H_2$ which both were neglected in previous studies and use updated reaction rates. Our results show that depending on the background level $\rm H_2$ formation is suppressed, delaying gravitational collapse until halos reach the atomic cooling limit. We find that the formation of cold dense molecular gas and subsequently star formation gets delayed by 100 to 230 Myr depending on the level of the background radiation and the growth history of the dark matter halos. The fraction of dense self-shielded gas is a strong function of the background flux and exponentially declines with the strength of incident UV flux above $\rm J_{21} \geq 1$. We find that taking into account $\rm H_2$ self-shielding is crucial for accurately estimating the amount of cold dense gas available for star formation.


title: High-throughput Onboard Hyperspectral Image Compression with Ground-based CNN Reconstruction

abstract: Compression of hyperspectral images onboard of spacecrafts is a tradeoff between the limited computational resources and the ever-growing spatial and spectral resolution of the optical instruments. As such, it requires low-complexity algorithms with good rate-distortion performance and high throughput. In recent years, the Consultative Committee for Space Data Systems (CCSDS) has focused on lossless and near-lossless compression approaches based on predictive coding, resulting in the recently published CCSDS 123.0-B-2 recommended standard. While the in-loop reconstruction of quantized prediction residuals provides excellent rate-distortion performance for the near-lossless operating mode, it significantly constrains the achievable throughput due to data dependencies. In this paper, we study the performance of a faster method based on prequantization of the image followed by a lossless predictive compressor. While this is well known to be suboptimal, one can exploit powerful signal models to reconstruct the image at the ground segment, recovering part of the suboptimality. In particular, we show that convolutional neural networks can be used for this task and that they can recover the whole SNR drop incurred at a bitrate of 2 bits per pixel.


title: Conformal modules and their extensions of a Lie conformal algebra related to a 2-dimensional Novikov algebra

abstract: Let $\mathcal{R}$ be a free Lie conformal algebra of rank $2$ with $\mathbb{C}[\partial]$-basis $\{L,I\}$ and relations \begin{eqnarray*} \left[L_{\lambda} L\right]=(\partial+2 \lambda) (L+I),\ \left[L_{\lambda} I\right]=(\partial+\lambda) I, \ \left[I_{\lambda} L\right]=\lambda I,\ \left[I_{\lambda} I\right]=0. \end{eqnarray*} In this paper, we first classify all finite nontrivial irreducible conformal modules over $\mathcal{R}$. Then we determine extensions between two finite irreducible conformal $\mathcal{R}$-modules.


title: A pullback diagram in the coarse category

abstract: This paper studies the asymptotic product of two metric spaces. It is well defined if one of the spaces is visual or if both spaces are geodesic. In this case the asymptotic product is the pullback of a limit diagram in the coarse category. Using this product construction we can define a homotopy theory on coarse metric spaces in a natural way. We prove that all finite colimits exist in the coarse category.


title: Deformation and breakup of droplets in an oblique continuous air stream

abstract: We experimentally investigate the deformation and breakup of droplets interacting with an oblique continuous air stream. A high-speed imaging system is employed to record the trajectories and topological changes of the droplets of different liquids. The droplet size, the orientation of the air nozzle to the horizontal and fluid properties (surface tension and viscosity) are varied to study different breakup modes. We found that droplet possessing initial momentum prior to entering the continuous air stream exhibits a variation in the required Weber number for the vibrational to the bag breakup transition with a change in the angle of the air stream. The critical Weber numbers $(We_{cr})$ for the bag-type breakup are obtained as a function of the E\"{o}tv\"{o}s number $(Eo)$, angle of inclination of the air stream $(\alpha)$ and the Ohnesorge number $(Oh)$. It is found that although the droplet follows a rectilinear motion initially that transforms to a curvilinear motion at later times when the droplet undergoes topological changes. The apparent acceleration of the droplet and its size influence the critical Weber number for the bag breakup mode. The departure from the cross-flow arrangement shows a sharp decrease in the critical Weber number for the bag breakup which asymptotically reaches to a value associated with the in-line (opposed) flow configuration for the droplet breakup.


title: Ice Giant Systems: The Scientific Potential of Orbital Missions to Uranus and Neptune

abstract: Uranus and Neptune, and their diverse satellite and ring systems, represent the least explored environments of our Solar System, and yet may provide the archetype for the most common outcome of planetary formation throughout our galaxy. Ice Giants will be the last remaining class of Solar System planet to have a dedicated orbital explorer, and international efforts are under way to realise such an ambitious mission in the coming decades. In 2019, the European Space Agency released a call for scientific themes for its strategic science planning process for the 2030s and 2040s, known as Voyage 2050. We used this opportunity to review our present-day knowledge of the Uranus and Neptune systems, producing a revised and updated set of scientific questions and motivations for their exploration. This review article describes how such a mission could explore their origins, ice-rich interiors, dynamic atmospheres, unique magnetospheres, and myriad icy satellites, to address questions at the heart of modern planetary science. These two worlds are superb examples of how planets with shared origins can exhibit remarkably different evolutionary paths: Neptune as the archetype for Ice Giants, whereas Uranus may be atypical. Exploring Uranus' natural satellites and Neptune's captured moon Triton could reveal how Ocean Worlds form and remain active, redefining the extent of the habitable zone in our Solar System. For these reasons and more, we advocate that an Ice Giant System explorer should become a strategic cornerstone mission within ESA's Voyage 2050 programme, in partnership with international collaborators, and targeting launch opportunities in the early 2030s.


title: Un Modelo Ontol\'ogico para el Gobierno Electr\'onico

abstract: Decision making often requires information that must be Provided with the rich data format. Addressing these new requirements appropriately makes it necessary for government agencies to orchestrate large amounts of information from different sources and formats, to be efficiently delivered through the devices commonly used by people, such as computers, netbooks, tablets and smartphones. To overcome these problems, a model is proposed for the conceptual representation of the State's organizational units, seen as georeferenced entities of Electronic Government, based on ontologies designed under the principles of Linked Open Data, which allows the automatic extraction of information through the machines, which supports the process of governmental decision making and gives citizens full access to find and process through mobile technologies.


title: FRW dark energy cosmological model with hybrid expansion law

abstract: In this work, we study a cosmological model of spatially homogeneous and isotropic accelerating universe which exhibits a transition from deceleration to acceleration. For this, Friedmann Robertson Walker(FRW) metric is taken and Hybrid expansion law $a(t)=t^{\alpha} \exp(\beta t )$ is proposed and derived. We consider the universe to be filled with two types of fluids barotropic and dark energy which have variable equations of state. The evolution of dark energy, Hubble, and deceleration parameters etc., have been described in the form of tables and figures. We consider $581$ data's of observed values of distance modulus of various SNe Ia type supernovae from union $2.1$ compilation to compare our theoretical results with observations and found that model satisfies current observational constraints. We have also calculated the time and redshift at which acceleration in the Universe had commenced.


title: Prototype of a front-end readout ASIC designed for the Water Cherenkov Detector Array in LHAASO

abstract: The Large High Altitude Air Shower Observatory is in the R&D phase, in which the Water Cherenkov Detector Array is an important part. The signals of Photo-Multiplier Tubes would vary from single photo electron to 4000 photo electrons, and both high precision charge and time measurement is required. To simplify the signal processing chain, the charge-to-time conversion method is employed. A prototype of the front-end readout ASIC is designed and fabricated in Chartered 0.35 {\mu}m CMOS technology, which integrates time disctrimination and converts the input charge information to pulse widths. With Time-to-Digital Converters, both time and charge can be digitized at the same time. We have conducted initial tests on this chip, and the results indicate that a time resolution better than 0.5 ns is achieved over the full dynamic range (1~ 4000 photo electrons, corresponding to 0.75 ~ 3000 pC with the threshold of 0.188 pC); the charge resolution is better than 1% with large input amplitudes (500 ~ 4000 photo electrons), and remains better than 15% with a 1 photo electron input amplitude, which is beyond the application requirement.


title: Research of time discrimination circuits for PMT signal readout over large dynamic range in LHAASO WCDA

abstract: In the readout electronics of the Water Cerenkov Detector Array (WCDA) in the Large High Altitude Air Shower Observatory (LHAASO), both high-resolution charge and time measurement are required over a dynamic range from 1 photoelectron (P.E.) to 4000 P.E. for the PMT signal readout. In this paper, we present our work on the design of time discrimination circuits in LHAASO WCDA, especially on improvement to reduce the circuit dead time. Several approaches were studied through analysis and simulations, and actual circuits were designed and tested in the laboratory to evaluate the performance. Test results indicate that a time resolution better than 500 ps RMS is achieved in the whole large dynamic range, and the circuit dead time is successfully reduced to less than 200 ns.