title: Measuring Radial Orbit Migration in the Milky Way Disk

abstract: We develop and apply a model to quantify the global efficiency of radial orbit migration among stars in the Milky Way disk. This model parameterizes the possible star formation and enrichment histories, radial birth profiles, and combines them with a migration model that relates present-day orbital radii to birth radii through a Gaussian probability, broadening with age $\tau$ as $\sigma_\mathrm{RM8}~\sqrt{\tau/8{~\mathrm{Gyr}}}$. Guided by observations, we assume that stars are born with an initially tight age--metallicity relation at given radius, which becomes subsequently scrambled by radial orbit migration, thereby providing a direct observational constraint on radial orbit migration strength $\sigma_\mathrm{RM8}$. We fit this model with MCMC to the observed age--metallicity distribution of low-$\alpha$ red clump stars with Galactocentric radii between 5 and 14 kpc from APOGEE DR12, sidestepping the complex spatial selection function and accounting for the considerable age uncertainties. This simple model reproduces well the observed data, and we find a global (in radius and time) radial orbit migration efficiency in the Milky Way of $\sigma_\mathrm{RM8}=3.6\pm 0.1$ kpc when marginalizing over all other model aspects. This shows that radial orbit migration in the Milky Way's main disk is indeed rather strong, in line with theoretical expectations: stars migrate by about a half-mass radius over the age of the disk. The model finds the Sun's birth radius at $\sim 5.2$ kpc. If such strong radial orbit migration is typical, this mechanism plays indeed an important role in setting the structural regularity of disk galaxies.


title: High-throughput study of the static dielectric constant at high temperatures in oxide and fluoride cubic perovskites

abstract: Using finite-temperature phonon calculations and the Lyddane-Sachs-Teller relations, we calculate ab initio the static dielectric constants of 78 semiconducting oxides and fluorides with cubic perovskite structures at 1000 K. We first compare our method with experimental measurements, and we find that it succeeds in describing the temperature dependence and the relative ordering of the static dielectric constant $\epsilon_{DC}$ in the series of oxides BaTiO$_{3}$, SrTiO$_{3}$, KTaO$_{3}$. We show that the effects of anharmonicity on the ion-clamped dielectric constant, on Born charges, and on phonon lifetimes, can be neglected in the framework of our high-throughput study. Based on the high-temperature phonon spectra, we find that the dispersion of $\epsilon_{DC}$ is one order of magnitude larger amongst oxides than fluorides at 1000 K. We display the correlograms of the dielectric constants with simple structural descriptors, and we point out that $\epsilon_{DC}$ is actually well correlated with the infinite-frequency dielectric constant $\epsilon_{\infty}$, even in those materials with phase transitions in which $\epsilon_{DC}$ is strongly temperature-dependent.


title: Two-particle coined-quantum walk with long-range interaction

abstract: We present and study a two-particle quantum walk on the line in which the two particles interact via a long-range Coulombian-like interaction. We obtain the spectrum of the system as well as study the type of molecules that form, attending to the bosonic or fermionic nature of the walkers. The usual loss of distinction between attractive and repulsive forces does not entirely apply in our model because of the long-range of the interaction.


title: Quasi-periodic motions on symplectic tori

abstract: The KAM (Kolmogorov-Arnold-Moser) theorem guarantees the stability of quasi-periodic invariant tori by perturbation in some Hamiltonian systems. Michel Herman proved a similar result for quasi-periodic motions, with $k$-dimensional involutive manifolds in Hamiltonian systems with $n$ degrees of freedom $n \leq k < 2n $. In this paper, we extend this result to the case of a quasi-periodic motion on symplectic tori $k = 2n$.


title: Sunspot data collection of Specola Solare Ticinese in Locarno

abstract: Sunspot observations and counting are carried out at the Specola Solare Ticinese in Locarno since 1957 when it was built as an external observing station of the Zurich observatory. When in 1980 the data center responsibility was transferred from ETH Zurich to the Royal Observatory of Belgium in Brussels, the observations in Locarno continued and Specola Solare Ticinese got the role of pilot station. The data collected at Specola cover now the last 6 solar cycles. The aim of this presentation is to discuss and give an overview about the Specola data collection, the applied counting method and the future archiving projects. The latter includes the publication of all data and drawings in digital form in collaboration with the ETH Zurich University Archives, where a parallel digitization project is ongoing for the document of the former Swiss Federal Observatory in Zurich collected since the time of Rudolph Wolf.


title: Attributes in Multiple Facial Images

abstract: Facial attribute recognition is conventionally computed from a single image. In practice, each subject may have multiple face images. Taking the eye size as an example, it should not change, but it may have different estimation in multiple images, which would make a negative impact on face recognition. Thus, how to compute these attributes corresponding to each subject rather than each single image is a profound work. To address this question, we deploy deep training for facial attributes prediction, and we explore the inconsistency issue among the attributes computed from each single image. Then, we develop two approaches to address the inconsistency issue. Experimental results show that the proposed methods can handle facial attribute estimation on either multiple still images or video frames, and can correct the incorrectly annotated labels. The experiments are conducted on two large public databases with annotations of facial attributes.


title: The first passage sets of the 2D Gaussian free field: convergence and isomorphisms

abstract: In a previous article, we introduced the first passage set (FPS) of constant level $-a$ of the two-dimensional continuum Gaussian free field (GFF) on finitely connected domains. Informally, it is the set of points in the domain that can be connected to the boundary by a path along which the GFF is greater than or equal to $-a$. This description can be taken as a definition of the FPS for the metric graph GFF, and it justifies the analogy with the first hitting time of $-a$ by a one-dimensional Brownian motion. In the current article, we prove that the metric graph FPS converges towards the continuum FPS in the Hausdorff metric. This allows us to show that the FPS of the continuum GFF can be represented as a union of clusters of Brownian excursions and Brownian loops, and to prove that Brownian loop soup clusters admit a non-trivial Minkowski content in the gauge $r\mapsto |\log r|^{1/2}r^2$. We also show that certain natural interfaces of the metric graph GFF converge to SLE$_4$ processes.


title: On the global generalized solvability of a chemotaxis model with signal absorption and logistic growth terms

abstract: Introducing a suitable solution concept, we show that in bounded smooth domains $\Omega\subset \mathbb{R}^n$, $n\ge 1$, the initial boundary value problem for the chemotaxis system \begin{align*} u_t&=\Delta u -\chi\nabla\cdot\left(\frac{u}{v}\nabla v\right)+\kappa u -\mu u^2,\\ v_t&=\Delta v -uv, \end{align*} with homogeneous Neumann boundary conditions and widely arbitrary initial data has a generalized global solution for any $\mu, \kappa, \chi >0$.


title: A Class of Integrable Metrics II

abstract: Starting with a subclass of the four-dimensional spaces possessing two commuting Killing vectors and a non-trivial Killing tensor, we fully integrate Einstein's vacuum equation with a cosmological constant. Although most of the solutions happen to be already known, we have found a solution that, as far as we could search for, has not been attained before. We also characterize the geometric properties of this new solution, it is a Kundt spacetime of Petrov type II possessing a null Killing vector field and an isometry algebra that is three-dimensional and abelian. In particular, such solution becomes a pp-wave spacetime when the cosmological constant is set to zero.


title: Distinguishing Standard from Modified Gravity in the Local Group and beyond

abstract: The works in this portfolio test the hypothesis that it is not possible to extrapolate the Newtonian inverse square law of gravity from Solar System to galaxy scales. In particular, I look into various tests of Modified Newtonian Dynamics (MOND), which posits a modification below a very low acceleration threshold. Although discrepancies with Newtonian dynamics are indeed observed, they can usually be explained by invoking an appropriate distribution of invisible mass known as dark matter (DM). This leads to the standard cosmological paradigm, $\Lambda$CDM. I consider how it may be distinguished from MOND using collision velocities of galaxy clusters, which should sometimes be much faster in MOND. I focus on measuring these velocities more accurately and conclude that this test ought to be feasible in the near future. For the time being, I look at the much nearer and more accurately observed Local Group (LG) of galaxies. Its main constituents $-$ the Milky Way (MW) and Andromeda (M31) $-$ should have undergone a past close flyby in MOND but not in $\Lambda$CDM. The fast MW-M31 relative motion around the time of their flyby would have allowed them to gravitationally slingshot any passing LG dwarf galaxies out at high speed. I consider whether there is any evidence for such high-velocity galaxies (HVGs). Several candidates are found in two different $\Lambda$CDM models of the LG, one written by a founding figure of the paradigm. The properties of these HVGs are similar to what might be expected in MOND, especially their tendency to lie close to a plane. Being more confident of its validity, I then used MOND to determine the escape velocity curve of the MW over the distance range 8$-$50 kpc, finding reasonable agreement with the latest observations. I finish by discussing possible future directions for MOND research.


title: Pushing the bounds of dropout

abstract: We show that dropout training is best understood as performing MAP estimation concurrently for a family of conditional models whose objectives are themselves lower bounded by the original dropout objective. This discovery allows us to pick any model from this family after training, which leads to a substantial improvement on regularisation-heavy language modelling. The family includes models that compute a power mean over the sampled dropout masks, and their less stochastic subvariants with tighter and higher lower bounds than the fully stochastic dropout objective. We argue that since the deterministic subvariant's bound is equal to its objective, and the highest amongst these models, the predominant view of it as a good approximation to MC averaging is misleading. Rather, deterministic dropout is the best available approximation to the true objective.


title: How much does a word weigh? Weighting word embeddings for word sense induction

abstract: The paper describes our participation in the first shared task on word sense induction and disambiguation for the Russian language RUSSE'2018 (Panchenko et al., 2018). For each of several dozens of ambiguous words, the participants were asked to group text fragments containing it according to the senses of this word, which were not provided beforehand, therefore the "induction" part of the task. For instance, a word "bank" and a set of text fragments (also known as "contexts") in which this word occurs, e.g. "bank is a financial institution that accepts deposits" and "river bank is a slope beside a body of water" were given. A participant was asked to cluster such contexts in the unknown in advance number of clusters corresponding to, in this case, the "company" and the "area" senses of the word "bank". The organizers proposed three evaluation datasets of varying complexity and text genres based respectively on texts of Wikipedia, Web pages, and a dictionary of the Russian language. We present two experiments: a positive and a negative one, based respectively on clustering of contexts represented as a weighted average of word embeddings and on machine translation using two state-of-the-art production neural machine translation systems. Our team showed the second best result on two datasets and the third best result on the remaining one dataset among 18 participating teams. We managed to substantially outperform competitive state-of-the-art baselines from the previous years based on sense embeddings.


title: A genomic characterization of metallic nanoparticles

abstract: With a focus on platinum nanoparticles of different sizes (diameter of 1-9 nm) and shapes, we sequence their geometrical genome by recording the relative occurrence of all the non equivalent active site, classified according to the number of neighbours in their first and second coordination shell. The occurrence of sites is morphology and size dependent, with significant changes in the relative occurrence up to 9 nm. Our geometrical genome sequencing approach is immediately transferable to address the effects of the morphological polydispersivity in size-selected samples and the influence of temperature, including ionic vibrations and thermal activated processes. The proposed geometrical genome forecasts an enhancement of the catalytic reduction of molecular oxygen on stellated and anisotropic platinum twinned nanoparticles, with their shortest axes of ~2 nm, and an irreversible disruption of the Pt nanocatalyst's structure above 1000 K.


title: Construnctions of LOCC indistinguishable set of generalized Bell states

abstract: In this paper, we mainly consider the local indistinguishability of the set of mutually orthogonal bipartite generalized Bell states (GBSs). We construct small sets of GBSs with cardinality smaller than $d$ which are not distinguished by one-way local operations and classical communication (1-LOCC) in $d\otimes d$. The constructions, based on linear system and Vandermonde matrix, is simple and effective. The results give a unified upper bound for the minimum cardinality of 1-LOCC indistinguishable set of GBSs, and greatly improve previous results in [Zhang \emph{et al.}, Phys. Rev. A 91, 012329 (2015); Wang \emph{et al.}, Quantum Inf. Process. 15, 1661 (2016)]. The case that $d$ is odd of the results also shows that the set of 4 GBSs in $5\otimes 5$ in [Fan, Phys. Rev. A 75, 014305 (2007)] is indeed a 1-LOCC indistinguishable set which can not be distinguished by Fan's method.


title: Time resolved imaging of the non-linear bullet mode within an injection-locked nano-contact spin Hall nano-oscillator

abstract: Injection of a radio frequency (RF) current was used to phase lock the SHNO to the TRSKM. The out of plane magnetization was detected by means of the polar magneto optical Kerr effect (MOKE). However, longitudinal MOKE images were dominated by an artifact arising from the edges of the Au NCs. Time resolved imaging revealed the simultaneous excitation of a non-linear `bullet' mode at the centre of the device, once the DC current exceeded a threshold value, and ferromagnetic resonance (FMR) induced by the RF current. However, the FMR response observed for sub-critical DC current values exhibits an amplitude minimum at the centre, which is attributed to spreading of the RF spin current due to the reactance of the device structure. This FMR response can be subtracted to yield images of the bullet mode. As the DC current is increased above threshold, the bullet mode appears to increase in size, suggesting increased translational motion. The reduced spatial overlap of the bullet and FMR modes, and this putative translational motion, may impede the injection locking and contribute to the reduced locking range observed within NC-SHNO devices. This illustrates a more general need to control the geometry of an injection-locked oscillator so that the autonomous dynamics of the oscillator exhibit strong spatial overlap with those resulting from the injected signal.


title: Learning latent variable structured prediction models with Gaussian perturbations

abstract: The standard margin-based structured prediction commonly uses a maximum loss over all possible structured outputs. The large-margin formulation including latent variables not only results in a non-convex formulation but also increases the search space by a factor of the size of the latent space. Recent work has proposed the use of the maximum loss over random structured outputs sampled independently from some proposal distribution, with theoretical guarantees. We extend this work by including latent variables. We study a new family of loss functions under Gaussian perturbations and analyze the effect of the latent space on the generalization bounds. We show that the non-convexity of learning with latent variables originates naturally, as it relates to a tight upper bound of the Gibbs decoder distortion with respect to the latent space. Finally, we provide a formulation using random samples that produces a tighter upper bound of the Gibbs decoder distortion up to a statistical accuracy, which enables a faster evaluation of the objective function. We illustrate the method with synthetic experiments and a computer vision application.


title: A Unified Framework for Training Neural Networks

abstract: The lack of mathematical tractability of Deep Neural Networks (DNNs) has hindered progress towards having a unified convergence analysis of training algorithms, in the general setting. We propose a unified optimization framework for training different types of DNNs, and establish its convergence for arbitrary loss, activation, and regularization functions, assumed to be smooth. We show that framework generalizes well-known first- and second-order training methods, and thus allows us to show the convergence of these methods for various DNN architectures and learning tasks, as a special case of our approach. We discuss some of its applications in training various DNN architectures (e.g., feed-forward, convolutional, linear networks), to regression and classification tasks.


title: Measurement of nuclear modification factors of $\Upsilon$(1S), $\Upsilon$(2S), and $\Upsilon$(3S) mesons in PbPb collisions at $\sqrt{s_{_\mathrm{NN}}} =$ 5.02 TeV

abstract: The cross sections for $\Upsilon$(1S), $\Upsilon$(2S), and $\Upsilon$(3S) production in lead-lead (PbPb) and proton-proton (pp) collisions at $\sqrt{s_{_\mathrm{NN}}} =$ 5.02 TeV have been measured using the CMS detector at the LHC. The nuclear modification factors, R$_\mathrm{AA}$, derived from the PbPb-to-pp ratio of yields for each state, are studied as functions of meson rapidity and transverse momentum, as well as PbPb collision centrality. The yields of all three states are found to be significantly suppressed, and compatible with a sequential ordering of the suppression, R$_\mathrm{AA}$($\Upsilon$(1S)) $>$ R$_\mathrm{AA}$($\Upsilon$(2S)) $>$ R$_\mathrm{AA}$($\Upsilon$(3S)) . The suppression of $\Upsilon$(1S) is larger than that seen at $\sqrt{s_{_\mathrm{NN}}} =$ 2.76 TeV, although the two are compatible within uncertainties. The upper limit on the R$_\mathrm{AA}$ of $\Upsilon$(3S) integrated over $p_\mathrm{T}$ and rapidity is 0.094 at 95% confidence level, which is the strongest suppression observed for any hadron species in heavy ion collisions to date.


title: Spatio-temporal modelling of forest monitoring data: Modelling German tree defoliation data collected between 1989 and 2015 for trend estimation and survey grid examination using GAMMs

abstract: Spatio-temporal modelling of tree defoliation data of German forest condition survey is presented. In the present study generalized additive mixed models were used to estimate the spatio-temporal trends of defoliation of the main tree species from 1989 to 2015 and to examine the suitability of different monitoring grid resolutions. Although data has been collected since 1989, this is the first time the spatio-temporal modelling for entire Germany has been carried out. Besides the space-time component, stand age showed a significant effect on defoliation. The mean age and the species-specific relation between defoliation and age determined the general level of defoliation whereas fluctuations of defoliation were primarily related to weather conditions. The study indicates a strong association between drought stress and defoliation of all four main tree species. Besides direct effects of weather conditions, indirect effects seem to play a further role. Defoliation of the comparably drought-tolerant species pine and oak was primarily affected by insect infestations following drought whereas considerable time for regeneration was required by beech following drought stress and recurring substantial fructification. South-eastern Germany has emerged as the region with the highest defoliation since the drought year 2003. This region was characterized by the strongest water deficits in 2003 compared to the long-term reference period. The present study gives evidence that the focus has moved from air pollution to climate change. Furthermore, the spatio-temporal model was used to carry out a simulation study to compare different survey grid resolutions. This grid examination indicated that an 8 x 8 km grid instead of the standard 16 x 16 km grid is necessary for spatio-temporal trend estimation and for detecting hot-spots in defoliation in space and time, especially regarding oak.


title: Tight Bounds for Collaborative PAC Learning via Multiplicative Weights

abstract: We study the collaborative PAC learning problem recently proposed in Blum et al.~\cite{BHPQ17}, in which we have $k$ players and they want to learn a target function collaboratively, such that the learned function approximates the target function well on all players' distributions simultaneously. The quality of the collaborative learning algorithm is measured by the ratio between the sample complexity of the algorithm and that of the learning algorithm for a single distribution (called the overhead). We obtain a collaborative learning algorithm with overhead $O(\ln k)$, improving the one with overhead $O(\ln^2 k)$ in \cite{BHPQ17}. We also show that an $\Omega(\ln k)$ overhead is inevitable when $k$ is polynomial bounded by the VC dimension of the hypothesis class. Finally, our experimental study has demonstrated the superiority of our algorithm compared with the one in Blum et al. on real-world datasets.


title: Monte Carlo Tree Search for Asymmetric Trees

abstract: We present an extension of Monte Carlo Tree Search (MCTS) that strongly increases its efficiency for trees with asymmetry and/or loops. Asymmetric termination of search trees introduces a type of uncertainty for which the standard upper confidence bound (UCB) formula does not account. Our first algorithm (MCTS-T), which assumes a non-stochastic environment, backs-up tree structure uncertainty and leverages it for exploration in a modified UCB formula. Results show vastly improved efficiency in a well-known asymmetric domain in which MCTS performs arbitrarily bad. Next, we connect the ideas about asymmetric termination to the presence of loops in the tree, where the same state appears multiple times in a single trace. An extension to our algorithm (MCTS-T+), which in addition to non-stochasticity assumes full state observability, further increases search efficiency for domains with loops as well. Benchmark testing on a set of OpenAI Gym and Atari 2600 games indicates that our algorithms always perform better than or at least equivalent to standard MCTS, and could be first-choice tree search algorithms for non-stochastic, fully-observable environments.


title: Positive Lyapunov exponent for random perturbations of predominantly expanding multimodal circle maps

abstract: We study the effects of IID random perturbations of amplitude $\epsilon > 0$ on the asymptotic dynamics of one-parameter families $\{f_a : S^1 \to S^1, a \in [0,1]\}$ of smooth multimodal maps which "predominantly expanding", i.e., $|f'_a| \gg 1$ away from small neighborhoods of the critical set $\{ f'_a = 0 \}$. We obtain, for any $\epsilon > 0$, a \emph{checkable, finite-time} criterion on the parameter $a$ for random perturbations of the map $f_a$ to exhibit (i) a unique stationary measure, and (ii) a positive Lyapunov exponent comparable to $\int_{S^1} \log |f_a'| \, dx$. This stands in contrast with the situation for the deterministic dynamics of $f_a$, the chaotic regimes of which are determined by typically uncheckable, infinite-time conditions. Moreover, our finite-time criterion depends on only $k \sim \log (\epsilon^{-1})$ iterates of the deterministic dynamics of $f_a$, which grows quite slowly as $\epsilon \to 0$.


title: Quantum Scanning Microscope for Cold Atoms

abstract: We present a detailed theoretical description of an atomic scanning microscope in a cavity QED setup proposed in Phys. Rev. Lett. 120, 133601 (2018). The microscope continuously observes atomic densities with optical subwavelength resolution in a nondestructive way. The super-resolution is achieved by engineering an internal atomic dark state with a sharp spatial variation of population of a ground level dispersively coupled to the cavity field. Thus, the atomic position encoded in the internal state is revealed as a phase shift of the light reflected from the cavity in a homodyne experiment. Our theoretical description of the microscope operation is based on the stochastic master equation describing the conditional time evolution of the atomic system under continuous observation as a competition between dynamics induced by the Hamiltonian of the system, decoherence effects due to atomic spontaneous decay, and the measurement backaction. Within our approach we relate the observed homodyne current with a local atomic density, and discuss the emergence of a quantum nondemolition measurement regime allowing continuous observation of spatial densities of quantum motional eigenstates without measurement backaction in a single experimental run.


title: Nuclear Structure from the In-Medium Similarity Renormalization Group

abstract: Efforts to describe nuclear structure and dynamics from first principles have advanced significantly in recent years. Exact methods for light nuclei are now able to include continuum degrees of freedom and treat structure and reactions on the same footing, and multiple approximate, computationally efficient many-body methods have been developed that can be routinely applied for medium-mass nuclei. This has made it possible to confront modern nuclear interactions from Chiral Effective Field Theory, that are rooted in Quantum Chromodynamics with a wealth of experimental data. Here, we discuss one of these efficient new many-body methods, the In-Medium Similarity Renormalization Group (IMSRG), and its applications in modern nuclear structure theory. The IMSRG evolves the nuclear many-body Hamiltonian in second-quantized form through continuous unitary transformations that can be implemented with polynomial computational effort. Through suitably chosen generators, we drive the matrix representation of the Hamiltonian in configuration space to specific shapes, e.g., to implement a decoupling of low- and high-energy scales, or to extract energy eigenvalues for a given nucleus. We present selected results from Multireference IMSRG (MR-IMSRG) calculations of open-shell nuclei, as well as proof-of-principle applications for intrinsically deformed medium-mass nuclei. We discuss the successes and prospects of merging the (MR-)IMSRG with many-body methods ranging from Configuration Interaction to the Density Matrix Renormalization Group, with the goal of achieving an efficient simultaneous description of dynamic and static correlations in atomic nuclei.


title: Sending or not sending: twin-field quantum key distribution with large misalignment error

abstract: Based on the novel idea of twin-field quantum key distribution, we present a sending-or-not-sending twin-field fault tolerant quantum key distribution protocol. Our protocol can access a secure distance longer than 700 km even though the misalignment error rate is $15\%$. In the case of zero alignment error, our protocol can exceeds a secure distance of 800 km. Thanks to the novel idea of TF-QKD !


title: Detection of intrinsic source structure at ~3 Schwarzschild radii with Millimeter-VLBI observations of SAGITTARIUS A*

abstract: We report results from very long baseline interferometric (VLBI) observations of the supermassive black hole in the Galactic center, Sgr A*, at 1.3 mm (230 GHz). The observations were performed in 2013 March using six VLBI stations in Hawaii, California, Arizona, and Chile. Compared to earlier observations, the addition of the APEX telescope in Chile almost doubles the longest baseline length in the array, provides additional {\it uv} coverage in the N-S direction, and leads to a spatial resolution of $\sim$30 $\mu$as ($\sim$3 Schwarzschild radii) for Sgr A*. The source is detected even at the longest baselines with visibility amplitudes of $\sim$4-13% of the total flux density. We argue that such flux densities cannot result from interstellar refractive scattering alone, but indicate the presence of compact intrinsic source structure on scales of $\sim$3 Schwarzschild radii. The measured nonzero closure phases rule out point-symmetric emission. We discuss our results in the context of simple geometric models that capture the basic characteristics and brightness distributions of disk- and jet-dominated models and show that both can reproduce the observed data. Common to these models are the brightness asymmetry, the orientation, and characteristic sizes, which are comparable to the expected size of the black hole shadow. Future 1.3 mm VLBI observations with an expanded array and better sensitivity will allow a more detailed imaging of the horizon-scale structure and bear the potential for a deep insight into the physical processes at the black hole boundary.


title: Turbulence in Magnetized Pair Plasmas

abstract: Alfv\'enic-type turbulence in strongly magnetized, low-beta pair plasmas is investigated. A coupled set of equations for the evolution of the magnetic and flow potentials are derived, covering both fluid and kinetic scales. In the fluid (MHD) range those equations are the same as for electron-ion plasmas, so turbulence at those scales is expected to be of the Alfv\'enic nature, exhibiting critical balance, dynamic alignment, and transition to a tearing mediated regime at small scales. The critical scale at which a transition to a tearing-mediated range occurs is derived, and the spectral slope in that range is predicted to be $k_\perp^{-8/3}$ (or $k_\perp^{-3}$, depending on details of the reconnecting configuration assumed). At scales below the electron (and positron) skin depth, it is argued that turbulence is dictated by a cascade of the inertial Alfv\'en wave, which we show to result in the magnetic energy spectrum $\propto k_\perp^{-11/3}$.


title: On the congruences of Eisenstein series with polynomial indexes

abstract: In this paper, based on Serre's $p$-adic family of Eisenstein series, we prove a general family of congruences for Eisenstein series $G_k$ in the form $$ \sum_{i=1}^n g_i(p)G_{f_i(p)}\equiv g_0(p)\mod p^N, $$ where $f_1(t),\ldots,f_n(t)\in\mathbb{Z}[t]$ are non-constant integer polynomials with positive leading coefficients and $g_0(t),\ldots,g_n(t)\in\mathbb{Q}(t)$ are rational functions. This generalizes the classical von Staudt-Clausen's and Kummer's congruences of Eisenstein series, and also yields some new congruences.


title: Enhancement in surface mobility and quantum transport of Bi_(2-x)Sb_(x)Te_(3-y)Se_(y) topological insulator by controlling the crystal growth conditions

abstract: Despite numerous studies on three-dimensional topological insulators (3D TIs), the controlled growth of high quality (bulk-insulating and high mobility) TIs remains a challenging subject. This study investigates the role of growth methods on the synthesis of single crystal stoichiometric BiSbTeSe2 (BSTS). Three types of BSTS samples are prepared using three different methods, namely melting growth (MG), Bridgman growth (BG) and two-step melting-Bridgman growth (MBG). Our results show that the crystal quality of the BSTS depend strongly on the growth method. Crystal structure and composition analyses suggest a better homogeneity and highly-ordered crystal structure in BSTS grown by MBG method. This correlates well to sample electrical transport properties, where a substantial improvement in surface mobility is observed in MBG BSTS devices. The enhancement in crystal quality and mobility allow the observation of well-developed quantum Hall effect at low magnetic field.


title: Quantum limited superresolution of an incoherent source pair in three dimensions

abstract: The error in estimating the separation of a pair of incoherent sources from radiation emitted by them and subsequently captured by an imager is fundamentally bounded below by the inverse of the corresponding quantum Fisher information (QFI) matrix. We calculate the QFI for estimating the full three-dimensional (3D) pair separation vector, extending previous work on pair separation in one and two dimensions. We also show that the pair-separation QFI is, in fact, identical to source localization QFI, which underscores the fundamental importance of photon-state localization in determining the ultimate estimation-theoretic bound for both problems. We also propose general coherent-projection bases that can attain the QFI in two special cases. We present simulations of an approximate experimental realization of such quantum limited pair superresolution using the Zernike basis, confirming the achievability of the QFI bounds.


title: Comments on rigid and local supercurrents in ${\cal N}=1$ minimal Supergravity

abstract: We discuss local supercurrents as sources of the super-Einstein equations in the superconformal approach in the old and new minimal (auxiliary fields) formulation. Modifications of the Ward identity giving the covariant divergence of the Einstein multiplet are considered in presence of a Fayet-Iliopoulos term. Curvature multiplets can be used as alternative to the gravitino variation in the search for rigid supersymmetric curved backgrounds.


title: Phenomenological theory of heat transport in the fractional quantum Hall effect

abstract: The thermal Hall conductance is a universal and topological property which characterizes the fractional quantum Hall (FQH) state. The quantized value of the thermal Hall conductance has only recently been measured experimentally in integer quantum Hall (IQH) and FQH regimes, however, the existing setup is not able to detect if the thermal current is counter-propagating or co-propagating with the charge current. Furthermore, although there is experimental evidence for heat transfer between the edge modes and the bulk, the current theories do not take this dissipation effect in consideration. In this work we construct phenomenological rate equations for the heat currents which include equilibration processes between the edge modes and energy dissipation to an external thermal bath. Solving these equations in the limit where temperature bias is small, we compute the temperature profiles of the edge modes in a FQH state, from which we infer the two terminal thermal conductance of the state as a function of the coupling to the external bath. We show that the two terminal thermal conductance depends on the coupling strength, and can be non-universal when this coupling is very strong. Furthermore, we propose an experimental setup to examine this theory, which may also allow the determination of the sign of the thermal Hall conductance.


title: Characterization of anisotropic high order Sobolev spaces

abstract: We establish two types of characterizations for high order anisotropic Sobolev spaces. In particular, we prove high order anisotropic versions of Bourgain-Brezis- Mironescu's formula and Nguyen's formula.


title: Active and sterile neutrino phenomenology with $A_4$ based minimal extended seesaw

abstract: We study a model of neutrino within the framework of the minimal extended seesaw (MES), which plays an important role in active and sterile neutrino phenomenology in (3+1) scheme. The $A_4$ flavor symmetry is augmented by an additional $Z_4\times Z_3$ symmetry to constraint the Yukawa Lagrangian of the model. We use non-trivial Dirac mass matrix, with broken $\mu-\tau$ symmetry, as the origin of leptonic mixing. Interestingly, such a structure of mixing naturally leads to the non-zero reactor mixing angle $\theta_{13}$. Non-degenerate mass structure for right-handed neutrino $M_R$ is considered so that we can further extend our study to Leptogenesis. We have also considered three different cases for sterile neutrino mass, $M_S$ to check the viability of this model, within the allowed $3\sigma$ bound in this MES framework.


title: SymmSLIC: Symmetry Aware Superpixel Segmentation and its Applications

abstract: Over-segmentation of an image into superpixels has become a useful tool for solving various problems in image processing and computer vision. Reflection symmetry is quite prevalent in both natural and man-made objects and is an essential cue in understanding and grouping the objects in natural scenes. Existing algorithms for estimating superpixels do not preserve the reflection symmetry of an object which leads to different sizes and shapes of superpixels across the symmetry axis. In this work, we propose an algorithm to over-segment an image through the propagation of reflection symmetry evident at the pixel level to superpixel boundaries. In order to achieve this goal, we first find the reflection symmetry in the image and represent it by a set of pairs of pixels which are mirror reflections of each other. We partition the image into superpixels while preserving this reflection symmetry through an iterative algorithm. We compare the proposed method with state-of-the-art superpixel generation methods and show the effectiveness in preserving the size and shape of superpixel boundaries across the reflection symmetry axes. We also present two applications, symmetry axes detection and unsupervised symmetric object segmentation, to illustrate the effectiveness of the proposed approach.


title: Segmentation of Liver Lesions with Reduced Complexity Deep Models

abstract: We propose a computationally efficient architecture that learns to segment lesions from CT images of the liver. The proposed architecture uses bilinear interpolation with sub-pixel convolution at the last layer to upscale the course feature in bottle neck architecture. Since bilinear interpolation and sub-pixel convolution do not have any learnable parameter, our overall model is faster and occupies less memory footprint than the traditional U-net. We evaluate our proposed architecture on the highly competitive dataset of 2017 Liver Tumor Segmentation (LiTS) Challenge. Our method achieves competitive results while reducing the number of learnable parameters roughly by a factor of 13.8 compared to the original UNet model.


title: Minimal index and dimension for 2-$C^*$-categories with finite-dimensional centers

abstract: In the first part of this paper, we give a new look at inclusions of von Neumann algebras with finite-dimensional centers and finite Jones' index. The minimal conditional expectation is characterized by means of a canonical state on the relative commutant, that we call the spherical state; the minimal index is neither additive nor multiplicative (it is submultiplicative), contrary to the subfactor case. So we introduce a matrix dimension with the good functorial properties: it is always additive and multiplicative. The minimal index turns out to be the square of the norm of the matrix dimension, as was known in the multi-matrix inclusion case. In the second part, we show how our results are valid in a purely 2-$C^*$-categorical context, in particular they can be formulated in the framework of Connes' bimodules over von Neumann algebras.


title: Cramer-Wold AutoEncoder

abstract: We propose a new generative model, Cramer-Wold Autoencoder (CWAE). Following WAE, we directly encourage normality of the latent space. Our paper uses also the recent idea from Sliced WAE (SWAE) model, which uses one-dimensional projections as a method of verifying closeness of two distributions. The crucial new ingredient is the introduction of a new (Cramer-Wold) metric in the space of densities, which replaces the Wasserstein metric used in SWAE. We show that the Cramer-Wold metric between Gaussian mixtures is given by a simple analytic formula, which results in the removal of sampling necessary to estimate the cost function in WAE and SWAE models. As a consequence, while drastically simplifying the optimization procedure, CWAE produces samples of a matching perceptual quality to other SOTA models.


title: Differentially Private Uniformly Most Powerful Tests for Binomial Data

abstract: We derive uniformly most powerful (UMP) tests for simple and one-sided hypotheses for a population proportion within the framework of Differential Privacy (DP), optimizing finite sample performance. We show that in general, DP hypothesis tests for exchangeable data can always be expressed as a function of the empirical distribution. Using this structure, we prove a `Neyman-Pearson lemma' for binomial data under DP, where the DP-UMP only depends on the sample sum. Our tests can also be stated as a post-processing of a random variable, whose distribution we coin "Truncated-Uniform-Laplace" (Tulap), a generalization of the Staircase and discrete Laplace distributions. Furthermore, we obtain exact p-values, which are easily computed in terms of the Tulap random variable. We show that our results also apply to distribution-free hypothesis tests for continuous data. Our simulation results demonstrate that our tests have exact type I error, and are more powerful than current techniques.


title: Berry phase of the composite-fermion Fermi Sea: Effect of Landau-level mixing

abstract: We construct explicit lowest-Landau-level wave functions for the composite-fermion Fermi sea and its low energy excitations following a recently developed approach [Pu, Wu and Jain, Phys. Rev. B 96, 195302 (2018)] and demonstrate them to be very accurate representations of the Coulomb eigenstates. We further ask how the Berry phase associated with a closed loop around the Fermi circle, predicted to be $\pi$ in a Dirac composite fermion theory satisfying particle-hole symmetry [D. T. Son, Phys. Rev. X 5, 031027 (2015)], is affected by Landau level mixing. For this purpose, we consider a simple model wherein we determine the variational ground state as a function of Landau level mixing within the space spanned by two basis functions: the lowest-Landau-level projected and the unprojected composite-fermion Fermi sea wave functions. We evaluate Berry phase for a path around the Fermi circle within this model following a recent prescription, and find that it rotates rapidly as a function of Landau level mixing. We also consider the effect of a particle-hole symmetry breaking three-body interaction on the Berry phase while confining the Hilbert space to the lowest Landau level. Our study deepens the connection between the $\pi$ Berry phase and the exact particle-hole symmetry in the lowest Landau level.


title: Highway State Gating for Recurrent Highway Networks: improving information flow through time

abstract: Recurrent Neural Networks (RNNs) play a major role in the field of sequential learning, and have outperformed traditional algorithms on many benchmarks. Training deep RNNs still remains a challenge, and most of the state-of-the-art models are structured with a transition depth of 2-4 layers. Recurrent Highway Networks (RHNs) were introduced in order to tackle this issue. These have achieved state-of-the-art performance on a few benchmarks using a depth of 10 layers. However, the performance of this architecture suffers from a bottleneck, and ceases to improve when an attempt is made to add more layers. In this work, we analyze the causes for this, and postulate that the main source is the way that the information flows through time. We introduce a novel and simple variation for the RHN cell, called Highway State Gating (HSG), which allows adding more layers, while continuing to improve performance. By using a gating mechanism for the state, we allow the net to "choose" whether to pass information directly through time, or to gate it. This mechanism also allows the gradient to back-propagate directly through time and, therefore, results in a slightly faster convergence. We use the Penn Treebank (PTB) dataset as a platform for empirical proof of concept. Empirical results show that the improvement due to Highway State Gating is for all depths, and as the depth increases, the improvement also increases.


title: Neutral Current Forward-Backward Asymmetry: from $\theta_W$ to PDF Determinations

abstract: Measurements of the forward-backward asymmetry in neutral-current Drell-Yan di-lepton production have primarily been used for determinations of the weak mixing angle $\theta_W$. We observe that, unlike the case of Run-I of the Large Hadron Collider (LHC Run-I), for the first time at the LHC Run-II the reconstructed forward-backward asymmetry has the capability of placing useful constraints on the determination of the parton distribution functions (PDFs). By examining the statistical and the PDF uncertainties on the reconstructed forward-backward asymmetry, we investigate its potential for disentangling the flavour content of quark and antiquark PDFs. Access to the valence/sea $u$-quark and to the sea up-type antiquark PDFs, in particular, may be gained by the appropriate use of selection cuts in the rapidity of the emerging lepton pair in regions both near the $Z$-boson peak and away from it, in a manner complementary, though more indirect, to the case of the charged-current asymmetry. We study the extension of these results for the planned high-luminosity (HL) LHC.


title: Observation of Topological Surface State in High Temperature Superconductor MgB2

abstract: The hunt for the benchmark topological superconductor (TSc) has been an extremely active research subject in condensed matter research, with quite a few candidates identified or proposed. However, low transition temperatures (Tc) and/or strong sensitivity to disorder and dopant levels in known TSc candidates have greatly hampered progress in this field. Here, we use Angle-resolved Photoemission Spectroscopy (ARPES) to show the presence of Dirac Nodal Lines (DNLs) and the corresponding topological surface states (TSS's) on the [010] faces of the Tc=39K s-wave BCS superconductor MgB2. Not only is this nearly triple the current record of superconducting Tc among all candidate TSc's, but the nature of these DNL states should make them highly tolerant against disorder and inadvertent doping variations. This makes MgB2 a promising high temperature platform for the study of topological superconductivity.


title: Acoustically-driven surface and hyperbolic plasmon-phonon polaritons in graphene/h-BN heterostructures on piezoelectric substrates

abstract: Surface plasmon polaritons in graphene couple strongly to surface phonons in polar substrates leading to hybridized surface plasmon-phonon polaritons (SPPPs). We demonstrate that a surface acoustic wave (SAW) can be used to launch propagating SPPPs in graphene/h-BN heterostructures on a piezoelectric substrate like AlN, where the SAW-induced surface modulation acts as a dynamic diffraction grating. The efficiency of the light coupling is greatly enhanced by the introduction of the h-BN film as compared to the bare graphene/AlN system. The h-BN interlayer not only significantly changes the dispersion of the SPPPs but also enhances their lifetime. The strengthening of the SPPPs is shown to be related to both the higher carrier mobility induced in graphene and the coupling with h-BN and AlN surface phonons. In addition to surface phonons, hyperbolic phonons appear in the case of multilayer h-BN films leading to hybridized hyperbolic plasmon-phonon polaritons (HPPPs) that are also mediated by the SAW. These results pave the way for engineering SAW-based graphene/h-BN plasmonic devices and metamaterials covering the mid-IR to THz range.


title: Diagram complexes, formality, and configuration space integrals for braids

abstract: We use rational formality of configuration spaces and the bar construction to study the cohomology of the space of braids in dimension four or greater. We provide a diagram complex for braids and a quasi-isomorphism to the de Rham cochains on the space of braids. The quasi-isomorphism is given by a configuration space integral followed by Chen's iterated integrals. This extends results of Kohno and of Cohen and Gitler on the cohomology of the space of braids to a CDGA suitable for integration. We show that this integration is compatible with Bott-Taubes configuration space integrals for long links via a map between two diagram complexes. As a corollary, we get a surjection in cohomology from the space of long links to the space of braids. We also discuss to what extent our results apply to the case of classical braids.


title: Subspace Clustering by Block Diagonal Representation

abstract: This paper studies the subspace clustering problem. Given some data points approximately drawn from a union of subspaces, the goal is to group these data points into their underlying subspaces. Many subspace clustering methods have been proposed and among which sparse subspace clustering and low-rank representation are two representative ones. Despite the different motivations, we observe that many existing methods own the common block diagonal property, which possibly leads to correct clustering, yet with their proofs given case by case. In this work, we consider a general formulation and provide a unified theoretical guarantee of the block diagonal property. The block diagonal property of many existing methods falls into our special case. Second, we observe that many existing methods approximate the block diagonal representation matrix by using different structure priors, e.g., sparsity and low-rankness, which are indirect. We propose the first block diagonal matrix induced regularizer for directly pursuing the block diagonal matrix. With this regularizer, we solve the subspace clustering problem by Block Diagonal Representation (BDR), which uses the block diagonal structure prior. The BDR model is nonconvex and we propose an alternating minimization solver and prove its convergence. Experiments on real datasets demonstrate the effectiveness of BDR.


title: Concentric ESN: Assessing the Effect of Modularity in Cycle Reservoirs

abstract: The paper introduces concentric Echo State Network, an approach to design reservoir topologies that tries to bridge the gap between deterministically constructed simple cycle models and deep reservoir computing approaches. We show how to modularize the reservoir into simple unidirectional and concentric cycles with pairwise bidirectional jump connections between adjacent loops. We provide a preliminary experimental assessment showing how concentric reservoirs yield to superior predictive accuracy and memory capacity with respect to single cycle reservoirs and deep reservoir models.


title: Performance of a segmented $^{6}$Li-loaded liquid scintillator detector for the PROSPECT experiment

abstract: This paper describes the design and performance of a 50 liter, two-segment $^{6}$Li-loaded liquid scintillator detector that was designed and operated as prototype for the PROSPECT (Precision Reactor Oscillation and Spectrum) Experiment. The two-segment detector was constructed according to the design specifications of the experiment. It features low-mass optical separators, an integrated source and optical calibration system, and materials that are compatible with the $^{6}$Li-doped scintillator developed by PROSPECT. We demonstrate a high light collection of 850$\pm$20 PE/MeV, an energy resolution of $\sigma$ = 4.0$\pm$0.2% at 1 MeV, and efficient pulse-shape discrimination of low $dE/dx$ (electronic recoil) and high $dE/dx$ (nuclear recoil) energy depositions. An effective scintillation attenuation length of 85$\pm$3 cm is measured in each segment. The 0.1% by mass concentration of $^{6}$Li in the scintillator results in a measured neutron capture time of $\tau$ = 42.8$\pm$0.2 $\mu s$. The long-term stability of the scintillator is also discussed. The detector response meets the criteria necessary for achieving the PROSPECT physics goals and demonstrates features that may find application in fast neutron detection.


title: Memory efficient distributed sliding super point cardinality estimation by GPU

abstract: Super point is a kind of special host in the network which contacts with huge of other hosts. Estimating its cardinality, the number of other hosts contacting with it, plays important roles in network management. But all of existing works focus on discrete time window super point cardinality estimation which has great latency and ignores many measuring periods. Sliding time window measures super point cardinality in a finer granularity than that of discrete time window but also more complex. This paper firstly introduces an algorithm to estimate super point cardinality under sliding time window from distributed edge routers. This algorithm's ability of sliding super point cardinality estimating comes from a novel method proposed in this paper which can record the time that a host appears. Based on this method, two sliding cardinality estimators, sliding rough estimator and sliding linear estimator, are devised for super points detection and their cardinalities estimation separately. When using these two estimators together, the algorithm consumes the smallest memory with the highest accuracy. This sliding super point cardinality algorithm can be deployed in distributed environment and acquire the global super points' cardinality by merging estimators of distributed nodes. Both of these estimators could process packets parallel which makes it becom possible to deal with high speed network in real time by GPU. Experiments on a real world traffic show that this algorithm have the highest accuracy and the smallest memory comparing with others when running under discrete time window. Under sliding time window, this algorithm also has the same performance as under discrete time window.


title: Cleaning up the neighborhood: A full classification for adversarial partial monitoring

abstract: Partial monitoring is a generalization of the well-known multi-armed bandit framework where the loss is not directly observed by the learner. We complete the classification of finite adversarial partial monitoring to include all games, solving an open problem posed by Bartok et al. [2014]. Along the way we simplify and improve existing algorithms and correct errors in previous analyses. Our second contribution is a new algorithm for the class of games studied by Bartok [2013] where we prove upper and lower regret bounds that shed more light on the dependence of the regret on the game structure.


title: A fuzzy-PSO system for indoor localization based on visible light communications

abstract: Indoor positioning systems using visible light communication (VLC) have potential applications in smart buildings, for instance, in developing economical, easy-to-use, widely accessible positioning system based on light-emitting diodes. Thus using VLCs, we introduce a new fuzzy-based system for indoor localization in this paper. The system processes data from transmitters (i.e., anchor nodes) and delivers the calculated position of a receiver. A particle swarm optimization (PSO) technique is then employed to obtain the optimal configuration of the proposed fuzzy logic controllers (FLCs). Specifically, the proposed PSO technique optimizes the membership functions of the FLCs by adjusting their range to achieve the best results regarding the localization reliability. We demonstrate the utility of the proposed approach using experiments.


title: Multi-User Cooperative Mobile Video Streaming: Performance Analysis and Online Mechanism Design

abstract: Adaptive bitrate streaming enables video users to adapt their playing bitrates to the real-time network conditions, hence achieving the desirable quality-of-experience (QoE). In a multi-user wireless scenario, however, existing single-user based bitrate adaptation methods may fail to provide the desirable QoE, due to lack of consideration of multi-user interactions (such as the multi-user interferences and network congestion). In this work, we propose a novel user cooperation framework based on user-provided networking for multi-user mobile video streaming over wireless cellular networks. The framework enables nearby mobile video users to crowdsource their cellular links and resources for cooperative video streaming. We first analyze the social welfare performance bound of the proposed cooperative streaming system by introducing a virtual time-slotted system. Then, we design a low complexity Lyapunov-based online algorithm, which can be implemented in an online and distributed manner without the complete future and global network information. Numerical results show that the proposed online algorithm achieves an average 97% of the theoretical maximum social welfare. We further conduct experiments with real data traces, to compare our proposed online algorithm with the existing online algorithms in the literature. Experiment results show that our algorithm outperforms the existing algorithms in terms of both the achievable bitrate (with an average gain of 20% - 30%) and social welfare (with an average gain of 10% - 50%).


title: Umbrella: A Unified Software Defined Development Framework

abstract: The Northbound (NB) APIs that SDN controllers provide differ in terms of architecture, syntax, naming convention, data resources, and usage. Using NB APIs to write SDN applications makes each application dependent on the API of a specific controller. To bring NB APIs from different vendors under one umbrella and make programming of SDN applications independent of specific controllers, we propose a unified software defined development framework that we call Umbrella. This paper presents the key components of the software and reports some preliminary results.


title: APMEC: An Automated Provisioning Framework for Multi-access Edge Computing

abstract: Novel use cases and verticals such as connected cars and human-robot cooperation in the areas of 5G and Tactile Internet can significantly benefit from the flexibility and reduced latency provided by Network Function Virtualization (NFV) and Multi-Access Edge Computing (MEC). Existing frameworks managing and orchestrating MEC and NFV are either tightly coupled or completely separated. The former design is inflexible and increases the complexity of one framework. Whereas, the latter leads to inefficient use of computation resources because information are not shared. We introduce APMEC, a dedicated framework for MEC while enabling the collaboration with the management and orchestration (MANO) frameworks for NFV. The new design allows to reuse allocated network services, thus maximizing resource utilization. Measurement results have shown that APMEC can allocate up to 60% more number of network services. Being developed on top of OpenStack, APMEC is an open source project, available for collaboration and facilitating further research activities.


title: V2X Downlink Coverage Analysis with a Realistic Urban Vehicular Model

abstract: As the realization of vehicular communication such as vehicle-to-vehicle (V2V) or vehicle-to-infrastructure (V2I) is imperative for the autonomous driving cars, the understanding of realistic vehicle-to-everything (V2X) models is needed. While previous research has mostly targeted vehicular models in which vehicles are randomly distributed and the variable of carrier frequency was not considered, a more realistic analysis of the V2X model is proposed in this paper. We use a one-dimensional (1D) Poisson cluster process (PCP) to model a realistic scenario of vehicle distribution in a perpendicular cross line road urban area and compare the coverage results with the previous research that distributed vehicles randomly by Poisson Point Process (PPP). Moreover, we incorporate the effect of different carrier frequencies, mmWave and sub-6 GHz, to our analysis by altering the antenna radiation pattern accordingly. Results indicated that while the effect of clustering led to lower outage, using mmWave had even more significance in leading to lower outage. Moreover, line-of-sight (LoS) interference links are shown to be more dominant in lowering the outage than the non-line-of-sight (NLoS) links even though they are less in number. The analytical results give insight into designing and analyzing the urban V2X channels, and are verified by actual urban area three-dimensional (3D) ray-tracing simulation.


title: Federated Learning for Ultra-Reliable Low-Latency V2V Communications

abstract: In this paper, a novel joint transmit power and resource allocation approach for enabling ultra-reliable low-latency communication (URLLC) in vehicular networks is proposed. The objective is to minimize the network-wide power consumption of vehicular users (VUEs) while ensuring high reliability in terms of probabilistic queuing delays. In particular, a reliability measure is defined to characterize extreme events (i.e., when vehicles' queue lengths exceed a predefined threshold with non-negligible probability) using extreme value theory (EVT). Leveraging principles from federated learning (FL), the distribution of these extreme events corresponding to the tail distribution of queues is estimated by VUEs in a decentralized manner. Finally, Lyapunov optimization is used to find the joint transmit power and resource allocation policies for each VUE in a distributed manner. The proposed solution is validated via extensive simulations using a Manhattan mobility model. It is shown that FL enables the proposed distributed method to estimate the tail distribution of queues with an accuracy that is very close to a centralized solution with up to 79\% reductions in the amount of data that need to be exchanged. Furthermore, the proposed method yields up to 60\% reductions of VUEs with large queue lengths, without an additional power consumption, compared to an average queue-based baseline. Compared to systems with fixed power consumption and focusing on queue stability while minimizing average power consumption, the reduction in extreme events of the proposed method is about two orders of magnitude.


title: Fog Assisted Cloud Models for Smart Grid Architectures- Comparison Study and Optimal Deployment

abstract: Cloud Computing (CC) serves to be a key driver for fulfilling the store and compute requirements of a modern Smart Grid (SG). However, since the datacenters are deployed in concentrated and far remote areas, it fails to guarantee the quality of experience (QoE) attributes for the SG services, viz. latency, bandwidth, energy consumption, and network cost. Fog Computing (FC) extends the processing capabilities into the edge of the network, offering location-awareness, low latency, and latency-sensitive analytics for mission critical requirements of SG. In this work, we first examine the current state of cloud based SG architectures and highlight the motivation(s) for adopting FC as technology enabler for sustainable and real-time SG analytics. Then we present a hierarchical FC architecture for supporting integration of massive number of IoT devices into future SG. Following this architecture we proposed a cost optimization framework that jointly investigates data consumer association, workload distribution, virtual machine placement and QoS constraints towards viable deployment of FC model over SG networks. The formulated MINLP problem is then solved using Modified Differential Evolution (MDE) algorithm. Comprehensive evaluation of proposed framework on real world parameters shows that for an infrastructure with nearly 50% applications requesting real-time services, the overall service latency for fog computing get reduced to almost half of that of generic cloud paradigm. It is also observed that the fog assisted cloud framework lowers the aggregated electricity consumption of the pure cloud computing paradigm by more than 40%.


title: Cache-Aware QoE-Traffic Optimization in Mobile Edge Assisted Adaptive Video Streaming

abstract: Multi-access edge computing (MEC) enables placing video content at the edge of the network aiming to improve the quality of experience (QoE) of the mobile clients. Video content caching at edge servers also reduces traffic in the backhaul of the mobile network, hence reducing operational costs for mobile network operators (MNOs). However, minimizing the rate of cache misses and maximizing the average video quality may sometimes be at odds with each other, particularly when the cache size is constrained. Our objective in this article is two fold: First, we explore the impact of fixed video content caching on the optimal QoE of mobile clients in a setup where servers at mobile network edge handle bitrate selection. Second, we want to investigate the effect of cache replacement on QoE-traffic trade-off. An integer nonlinear programming (INLP) optimization model is formulated for the problem of jointly maximizing the QoE, the fairness as well as minimizing overall data traffic on the origin video server. Due to its NP-Hardness, we then present a low complexity greedy-based algorithm with minimum need for parameter tuning which can be easily deployed. We show through simulations that the joint optimization indeed enables striking a desired trade-off between traffic reduction and QoE. The results also reveal that with fixed cached contents, the impact of caching on the QoE is proportional to the desired operational point of MNO. Furthermore, the effect of cache replacement on QoE is less noticeable compared to its effect on backhaul traffic when cache size is constrained.


title: Time-accurate Middleware for the Virtualization of Communication Protocols

abstract: Communication between devices in avionics systems must be predictable and deterministic, and data must be delivered reliably. To help the system architects comply with these requirements, network protocol standards like ARINC 429 and AFDX were created. Even though the behaviour of each component in a network is well defined, it is still necessary to test extensively every applications before deployment. But physical test benches used in the aircraft development process are complex and expensive platforms. In order to limit the need for physical tests, we propose a time-accurate middleware for virtualizing communication protocols that can be used to replace physical tests with simulations. We specified three formal models of AFDX networks that take into account temporal constraints with different levels of precision. We also developed a prototype for a network virtualization middleware based on the AFDX protocol specification that provides an easy-to-setup environment for testing network configurations. Finally, we used formal models together with virtualization in order to define runtime monitors for checking whether the behavior of the middleware is time-accurate with respect to a real system.


title: Self-Organizing Relay Selection in UAV Communication Networks: A Matching Game Perspective

abstract: For large unmanned aerial vehicle (UAV) networks, the timely communication is needed to accomplish a series of missions accurately and effectively. The relay technology will play an important role in UAV networks by helping drones communicating with long-distance drones, which solves the problem of the limited transmission power of drones. In this paper, the relay selection is seen as the entry point to improve the performance of self-organizing network with multiple optimizing factors. Different from the ground relay models, the relay selection in UAV communication networks presents new challenges, including heterogeneous, dynamic, dense and limited information characteristics. More effective schemes with distributed, fast, robust and scalable features are required to solve the optimizing problem. After discussing the challenges and requirements, we find that the matching game is suitable to model the complex relay model. The advantages of the matching game in self-organizing UAV communications are discussed. Moreover, we provide extensive applications of matching markets, and then propose a novel classification of matching game which focuses on the competitive relationship between players. Specifically, basic preliminary models are presented and some future research directions of matching game in UAV relay models are discussed.


title: Second-Order Occlusion-Aware Volumetric Radiance Caching

abstract: We present a second-order gradient analysis of light transport in participating media and use this to develop an improved radiance caching algorithm for volumetric light transport. We adaptively sample and interpolate radiance from sparse points in the medium using a second-order Hessian-based error metric to determine when interpolation is appropriate. We derive our metric from each point's incoming light field, computed by using a proxy triangulation-based representation of the radiance reflected by the surrounding medium and geometry. We use this representation to efficiently compute the first- and second-order derivatives of the radiance at the cache points while accounting for occlusion changes. We also propose a self-contained two-dimensional model for light transport in media and use it to validate and analyze our approach, demonstrating that our method outperforms previous radiance caching algorithms both in terms of accurate derivative estimates and final radiance extrapolation. We generalize these findings to practical three-dimensional scenarios, where we show improved results while reducing computation time by up to 30\% compared to previous work.


title: Comment on "Collision strength and effective collision strength for Ba~XLVIII" by Mohan et al. [Can. J. Phys. 95 (2017) 173]

abstract: In a recent paper, Mohan et al. [Can. J. Phys. {\bf 95} (2017) 173] have reported results for collision strengths ($\Omega$) and effective collision strengths ($\Upsilon$) for transitions from the ground to higher 51 excited levels of F-like Ba~XLVIII. For the calculations of $\Omega$, the Dirac atomic $R$-matrix code (DARC) and the flexible atomic code (FAC) have been adopted, in order to facilitate a direct comparison. However, for the subsequent calculations of $\Upsilon$, DARC alone has been employed. In this comment, we demonstrate that while their limited results for $\Omega$ are comparatively reliable, for $\Upsilon$ are not, particularly for the allowed transitions and at lower temperatures. Apart from the non expected behaviour, their $\Upsilon$ values are overestimated for several transitions, by about a factor of two.


title: On the Secrecy Capacity of Fisher-Snedecor F Fading Channels

abstract: The performance of physical-layer security of the classic Wyner's wiretap model over Fisher-Snedecor F composite fading channels is considered in this work. Specifically, the main channel (i.e., between the source and the legitimate destination) and the eavesdropper's channel (i.e., between the source and the illegitimate destination) are assumed to experience independent quasi-static Fisher-Snedecor F fading conditions, which have been shown to be encountered in realistic wireless transmission scenarios in conventional and emerging communication systems. In this context, exact closed-form expressions for the average secrecy capacity (ASC) and the probability of non-zero secrecy capacity (PNSC) are derived. Additionally, an asymptotic analytical expression for the ASC is also presented. The impact of shadowing and multipath fading on the secrecy performance is investigated. Our results show that increasing the fading parameter of the main channel and or the shadowing parameter of the eavesdropper's channel improves the secrecy performance. The analytical results are compared with Monte-Carlo simulations to validate the analysis.


title: Online shortest paths with confidence intervals for routing in a time varying random network

abstract: The increase in the world's population and rising standards of living is leading to an ever-increasing number of vehicles on the roads, and with it ever-increasing difficulties in traffic management. This traffic management in transport networks can be clearly optimized by using information and communication technologies referred as Intelligent Transport Systems (ITS). This management problem is usually reformulated as finding the shortest path in a time varying random graph. In this article, an online shortest path computation using stochastic gradient descent is proposed. This routing algorithm for ITS traffic management is based on the online Frank-Wolfe approach. Our improvement enables to find a confidence interval for the shortest path, by using the stochastic gradient algorithm for approximate Bayesian inference.


title: Note on the stability of planar stationary flows in an exterior domain without symmetry

abstract: The asymptotic stability of two-dimensional stationary flows in a non-symmetric exterior domain is considered. Under the smallness condition on initial perturbations, we show the stability of the small stationary flow whose leading profile at spatial infinity is given by the rotating flow decaying in the scale-critical order $O(|x|^{-1})$. Especially, we prove the $L^p$-$L^q$ estimates to the semigroup associated with the linearized equations.


title: Basis-independent quantum coherence and its distribution

abstract: We analyze a basis-independent definition of quantum coherence. The maximally mixed state is used as the reference state, which allows for a way of defining coherence that is invariant under arbitrary unitary transformations. The basis-independent approach is applied to finding the distri- bution of the coherence within a multipartite system, where the contributions due to correlations between the subsystems and within each subsystem are isolated. The use of the square root of the Jensen-Shannon divergence allows for inequality relations to be derived between these quantities, giving a geometrical picture within the Hilbert space of the system. We describe the relationship between the basis-independent and the basis-dependent approaches, and argue that many advan- tages exist for the former method. The formalism is illustrated with several numerical examples which show that the states can be characterized in a simple and effective manner.


title: Learning Illuminant Estimation from Object Recognition

abstract: In this paper we present a deep learning method to estimate the illuminant of an image. Our model is not trained with illuminant annotations, but with the objective of improving performance on an auxiliary task such as object recognition. To the best of our knowledge, this is the first example of a deep learning architecture for illuminant estimation that is trained without ground truth illuminants. We evaluate our solution on standard datasets for color constancy, and compare it with state of the art methods. Our proposal is shown to outperform most deep learning methods in a cross-dataset evaluation setup, and to present competitive results in a comparison with parametric solutions.


title: Bound states in the continuum and Fano resonances in the strong mode coupling regime

abstract: The study of resonant dielectric nanostructures with high refractive index is a new research direction in nanoscale optics and metamaterial-inspired nanophotonics. Because of the unique optically-induced electric and magnetic Mie resonances, high-index nanoscale structures are expected to complement or even replace different plasmonic components in a range of potential applications. Here we study strong coupling between modes of a single subwavelength high-index dielectric resonator and analyse the mode transformation and Fano resonances when resonator's aspect ratio varies. We demonstrate that strong mode coupling results in resonances with high quality factors, which are related to the physics of bound states in the continuum when the radiative losses are almost suppressed due to the Friedrich-Wintgen scenario of destructive interference. We explain the physics of these states in terms of multipole decomposition and show that their appearance is accompanied by drastic change of the far-field radiation pattern. We reveal a fundamental link between the formation of the high-quality resonances and peculiarities of the Fano parameter in the scattering cross-section spectra. Our theoretical findings are confirmed by microwave experiments for the scattering of a high-index cylindrical resonators with a tunable aspect ratio. The proposed mechanism of the strong mode coupling in single subwavelength high-index resonators accompanied by resonances with high quality factor helps to extend substantially functionalities of all-dielectric nanophotonics that opens new horizons for active and passive nanoscale metadevices.


title: Collective Online Learning of Gaussian Processes in Massive Multi-Agent Systems

abstract: Distributed machine learning (ML) is a modern computation paradigm that divides its workload into independent tasks that can be simultaneously achieved by multiple machines (i.e., agents) for better scalability. However, a typical distributed system is usually implemented with a central server that collects data statistics from multiple independent machines operating on different subsets of data to build a global analytic model. This centralized communication architecture however exposes a single choke point for operational failure and places severe bottlenecks on the server's communication and computation capacities as it has to process a growing volume of communication from a crowd of learning agents. To mitigate these bottlenecks, this paper introduces a novel Collective Online Learning Gaussian Process framework for massive distributed systems that allows each agent to build its local model, which can be exchanged and combined efficiently with others via peer-to-peer communication to converge on a global model of higher quality. Finally, our empirical results consistently demonstrate the efficiency of our framework on both synthetic and real-world datasets.


title: Reinforcement Learning for Heterogeneous Teams with PALO Bounds

abstract: We introduce reinforcement learning for heterogeneous teams in which rewards for an agent are additively factored into local costs, stimuli unique to each agent, and global rewards, those shared by all agents in the domain. Motivating domains include coordination of varied robotic platforms, which incur different costs for the same action, but share an overall goal. We present two templates for learning in this setting with factored rewards: a generalization of Perkins' Monte Carlo exploring starts for POMDPs to canonical MPOMDPs, with a single policy mapping joint observations of all agents to joint actions (MCES-MP); and another with each agent individually mapping joint observations to their own action (MCES-FMP). We use probably approximately local optimal (PALO) bounds to analyze sample complexity, instantiating these templates to PALO learning. We promote sample efficiency by including a policy space pruning technique, and evaluate the approaches on three domains of heterogeneous agents demonstrating that MCES-FMP yields improved policies in less samples compared to MCES-MP and a previous benchmark.


title: Discovery of a new nontoxic cuprate superconducting system Ga-Ba-Ca-Cu-O

abstract: Superconductivity is observed in a new nontoxic cuprate system Ga-Ba-Ca-Cu-O, with Tc = 82K for GaBa2Ca5Cu6O14+{\delta} (Ga-1256) and Tc = 116K probably for GaBa2Ca3Cu4O10+{\delta} (Ga-1234) or GaBa2Ca2Cu3O8+{\delta} (Ga-1223), respectively. All compounds are fabricated by solid state reaction method under high pressure and high temperature. Samples are characterized by resistivity, magnetization and X-ray diffraction (XRD) measurements. The temperature dependence of magnetization measured in both zero-field-cooled and field-cooled processes on one sample (S1) shows two superconducting transitions at about 82K and 113K. The estimated shielding fraction for the phase with Tc of 82K is about 67%, while the fraction for another phase with Tc of 113K is quite small. The XRD Rietveld refinement for S1 indicates two main phases existing in the sample, Ga-1256 with fraction of about 58% and non-superconducting Ca0.85CuO2 with fraction of about 42%, respectively. Thus, we can conclude the superconducting phase with transition temperature of 82K is due to Ga-1256. The resistivity measurement also confirms the superconductivity for S1, and the resistivity reaches zero at about 82K. The temperature dependence of magnetization for another sample (S2) shows much higher superconducting shielding fraction for the phase with Tc of 116K, which may be a promising prospective for the synthesis of Ga-1234 or Ga-1223 phase.


title: Existence and Uniqueness For Variational Data Assimilation in Continuous Time

abstract: A variant of the optimal control problem is considered which is nonstandard in that the performance index contains "stochastic" integrals, that is, integrals against very irregular functions. The motivation for considering such performance indices comes from dynamical estimation problems where observed time series need to be "fitted" with trajectories of dynamical models. The observations may be contaminated with white noise, which gives rise to the nonstandard performance indices. Problems of this kind appear in engineering, physics, and the geosciences where this is referred to as data assimilation. Pathwise existence of minimisers is obtained, along with a maximum principle as well as preliminary results in dynamic programming. The results extend previous results on the maximum aposteriori estimator of trajectories of diffusion processes. To obtain these results, classical concepts from optimal control need to be substantially modified due to the nonstandard nature of the performance index, as well the fact that typical models in the geosciences do not satisfy linear growth nor monotonicity conditions.


title: Segregation of polymers under cylindrical confinement: Effects of polymer topology and crowding

abstract: Monte Carlo computer simulations are used to study the segregation behaviour of two polymers under cylindrical confinement. Using a multiple-histogram method, the conformational free energy, F, of the polymers was measured as a function of the centre-of-mass separation distance, \lambda. We examined the scaling of the free energy functions with the polymer length, the length and diameter of the confining cylinder, the polymer topology (i.e. linear vs ring polymers), and the packing fraction and size of mobile crowding agents. In the absence of crowders, the observed scaling of F(\lambda) is similar to that predicted using a simple model employing the de~Gennes blob model and the approximation that the free energy of overlapping chains in a tube is equal to that of two isolated chains each in a tube of half the cross-sectional area. Simulations were used to test the latter approximation and reveal that it yields poor quantitative predictions. This, along with generic finite-size effects, likely gives rise to the discrepancies between the predicted and measured values of scaling exponents for F(\lambda). For segregation in the presence of crowding agents, the free energy barrier generally decreases with increasing crowder packing fraction, thus reducing the entropic forces driving segregation. However, for fixed packing fraction, the barrier increases as the crowder/monomer size ratio decreases.


title: A theory of single-shot error correction for adversarial noise

abstract: Single-shot error correction is a technique for correcting physical errors using only a single round of noisy check measurements, such that any residual noise affects a small number of qubits. We propose a general theory of single-shot error correction and establish a sufficient condition called good soundness of the code's measurement checks. Good code soundness in topological (or LDPC) codes is shown to entail a macroscopic energy barrier for the associated Hamiltonian. Consequently, 2D topological codes with local checks can not have good soundness. In tension with this, we also show that for any code a specific choice of measurement checks does exist that provides good soundness. In other words, every code can perform single-shot error correction but the required checks may be nonlocal and act on many qubits. If we desire codes with both good soundness and simple measurement checks (the LDPC property) then careful constructions are needed. Finally, we use a double application of the homological product to construct quantum LDPC codes with single-shot error correcting capabilities. Our double homological product codes exploit redundancy in measurements checks through a process we call metachecking.


title: Quantum optics of nonlinear systems in cascade

abstract: In this letter, we investigate the quantum optical properties of driven-dissipative nonlinear systems in a cascade configuration. We show that pumping a nonlinear system with a state having a noncoherent statistics, can improve the antibunching of the output state and, consequently, the nonclassicality of the whole system. Furthermore, we show that is possible to generate entanglement through dissipative coupling. These results applies to a broad category of physical systems with a Kerr-like non-linearity, from Rydberg atoms to exciton polaritons in microcavities.


title: The classical D-type expansion of spherical H II regions

abstract: Recent numerical and analytic work has highlighted some shortcomings in our understanding of the dynamics of H II region expansion, especially at late times, when the H II region approaches pressure equilibrium with the ambient medium. Here we reconsider the idealized case of a constant radiation source in a uniform and spherically symmetric ambient medium, with an isothermal equation of state. A thick-shell solution is developed which captures the stalling of the ionization front and the decay of the leading shock to a weak compression wave as it escapes to large radii. An acoustic approximation is introduced to capture the late-time damped oscillations of the H II region about the stagnation radius. Putting these together, a matched asymptotic equation is derived for the radius of the ionization front which accounts for both the inertia of the expanding shell and the finite temperature of the ambient medium. The solution to this equation is shown to agree very well with the numerical solution at all times, and is superior to all previously published solutions. The matched asymptotic solution can also accurately model the variation of H II region radius for a time-varying radiation source.


title: Constructing convex projective 3-manifolds with generalized cusps

abstract: We prove that non-compact finite volume hyperbolic 3-manifolds that satisfy a mild cohomological condition (infinitesimal rigidity) admit a family of properly convex deformations of their complete hyperbolic structure where the ends become generalized cusps of type 1 or type 2. We also discuss methods for controlling which types of cusp occur. Using these methods we produce the first known example of a 1-cusped hyperbolic 3-manifold that admits a convex projective structure with a type 2 cusp. We also use these techniques to produce new 1-cusped manifolds that admit a convex projective structure with a type 1 cusp.


title: Computational Complexity of Enumerative 3-Manifold Invariants

abstract: Fix a finite group $G$. We analyze the computational complexity of the problem of counting homomorphisms $\pi_1(X) \to G$, where $X$ is a topological space treated as computational input. We are especially interested in requiring $G$ to be a fixed, finite, nonabelian, simple group. We then consider two cases: when the input $X=M$ is a closed, triangulated 3-manifold, and when $X=S^3 \setminus K$ is the complement of a knot (presented as a diagram) in $S^3$. We prove complexity theoretic hardness results in both settings. When $M$ is closed, we show that counting homomorphisms $\pi_1(M) \to G$ (up to automorphisms of $G$) is $\#\mathsf{P}$-complete via parsimonious Levin reduction---the strictest type of polynomial-time reduction. This remains true even if we require $M$ to be an integer homology 3-sphere. We prove an analogous result in the case that $X=S^3 \setminus K$ is the complement of a knot. Both proofs proceed by studying the action of the pointed mapping class group $\mathrm{MCG}_*(\Sigma)$ on the set of homomorphisms $\{\pi_1(\Sigma) \to G\}$ for an appropriate surface $\Sigma$. In the case where $X=M$ is closed, we take $\Sigma$ to be a closed surface with large genus. When $X=S^3 \setminus K$ is a knot complement, we take $\Sigma$ to be a disk with many punctures. Our constructions exhibit classical computational universality for a combinatorial topological quantum field theory associated to $G$. Our "topological classical computing" theorems are analogs of the famous results of Freedman, Larsen and Wang establishing the quantum universality of topological quantum computing with the Jones polynomial at a root of unity. Instead of using quantum circuits, we develop a circuit model for classical reversible computing that is equivariant with respect to a symmetry of the computational alphabet.


title: MAROON-X: A Radial Velocity Spectrograph for the Gemini Observatory

abstract: MAROON-X is a red-optical, high precision radial velocity spectrograph currently nearing completion and undergoing extensive performance testing at the University of Chicago. The instrument is scheduled to be installed at Gemini North in the first quarter of 2019. MAROON-X will be the only RV spectrograph on a large telescope with full access by the entire US community. In these proceedings we discuss the latest addition of the red wavelength arm and the two science grade detector systems, as well as the design and construction of the telescope front end. We also present results from ongoing RV stability tests in the lab. First results indicate that MAROON-X can be calibrated at the sub-m/s level, and perhaps even much better than that using a simultaneous reference approach.


title: WisenetMD: Motion Detection Using Dynamic Background Region Analysis

abstract: Motion detection algorithms that can be applied to surveillance cameras such as CCTV (Closed Circuit Television) have been studied extensively. Motion detection algorithm is mostly based on background subtraction. One main issue in this technique is that false positives of dynamic backgrounds such as wind shaking trees and flowing rivers might occur. In this paper, we proposed a method to search for dynamic background region by analyzing the video and removing false positives by re-checking false positives. The proposed method was evaluated based on CDnet 2012/2014 dataset obtained at "changedetection.net" site. We also compared its processing speed with other algorithms.


title: Electron Power-Law Spectra in Solar and Space Plasmas

abstract: Particles are accelerated to very high, non-thermal energies in solar and space plasma environments. While energy spectra of accelerated electrons often exhibit a power law, it remains unclear how electrons are accelerated to high energies and what processes determine the power-law index $\delta$. Here, we review previous observations of the power-law index $\delta$ in a variety of different plasma environments with a particular focus on sub-relativistic electrons. It appears that in regions more closely related to magnetic reconnection (such as the `above-the-looptop' solar hard X-ray source and the plasma sheet in Earth's magnetotail), the spectra are typically soft ($\delta \gtrsim$ 4). This is in contrast to the typically hard spectra ($\delta \lesssim$ 4) that are observed in coincidence with shocks. The difference implies that shocks are more efficient in producing a larger non-thermal fraction of electron energies when compared to magnetic reconnection. A caveat is that during active times in Earth's magnetotail, $\delta$ values seem spatially uniform in the plasma sheet, while power-law distributions still exist even in quiet times. The role of magnetotail reconnection in the electron power-law formation could therefore be confounded with these background conditions. Because different regions have been studied with different instrumentations and methodologies, we point out a need for more systematic and coordinated studies of power-law distributions for a better understanding of possible scaling laws in particle acceleration as well as their universality.


title: Hybrid Programming for Near-term Quantum Computing Systems

abstract: Recent computations involving quantum processing units (QPUs) have demonstrated a series of challenges inherent to hybrid classical-quantum programming, compilation, execution, and verification and validation. Despite considerable progress, system-level noise, limited low-level instructions sets, remote access models, and an overall lack of portability and classical integration presents near-term programming challenges that must be overcome in order to enable reliable scientific quantum computing and support robust hardware benchmarking. In this work, we draw on our experience in programming QPUs to identify common concerns and challenges, and detail best practices for mitigating these challenge within the current hybrid classical-quantum computing paradigm. Following this discussion, we introduce the XACC quantum compilation and execution framework as a hardware and language agnostic solution that addresses many of these hybrid programming challenges. XACC supports extensible methodologies for managing a variety of programming, compilation, and execution concerns across the increasingly diverse set of QPUs. We use recent nuclear physics simulations to illustrate how the framework mitigates programming, compilation, and execution challenges and manages the complex workflow present in QPU-enhanced scientific applications. Finally, we codify the resulting hybrid scientific computing workflow in order to identify key areas requiring future improvement.


title: Dungeons and Dragons: Combinatorics for the $dP_3$ Quiver

abstract: In this paper, we utilize the machinery of cluster algebras, quiver mutations, and brane tilings to study a variety of historical enumerative combinatorics questions all under one roof. Previous work [Zha, LMNT14], which arose during the second author's monitorship of undergraduates, and more recently of both authors [LM17], analyzed the cluster algebra associated to the cone over $\mathbf{dP_3}$, the del Pezzo surface of degree $6$ ($\mathbb{CP}^2$ blown up at three points). By investigating sequences of toric mutations, those occurring only at vertices with two incoming and two outgoing arrows, in this cluster algebra, we obtained a family of cluster variables that could be parameterized by $\mathbb{Z}^3$ and whose Laurent expansions had elegant combinatorial interpretations in terms of dimer partition functions (in most cases). While the earlier work [Zha, LMNT14, LM17] focused exclusively on one possible initial seed for this cluster algebra, there are in total four relevant initial seeds (up to graph isomorphism). In the current work, we explore the combinatorics of the Laurent expansions from these other initial seeds and how this allows us to relate enumerations of perfect matchings on Dungeons to Dragons.


title: Variational Inference for Data-Efficient Model Learning in POMDPs

abstract: Partially observable Markov decision processes (POMDPs) are a powerful abstraction for tasks that require decision making under uncertainty, and capture a wide range of real world tasks. Today, effective planning approaches exist that generate effective strategies given black-box models of a POMDP task. Yet, an open question is how to acquire accurate models for complex domains. In this paper we propose DELIP, an approach to model learning for POMDPs that utilizes amortized structured variational inference. We empirically show that our model leads to effective control strategies when coupled with state-of-the-art planners. Intuitively, model-based approaches should be particularly beneficial in environments with changing reward structures, or where rewards are initially unknown. Our experiments confirm that DELIP is particularly effective in this setting.


title: On self-play computation of equilibrium in poker

abstract: We compare performance of the genetic algorithm and the counterfactual regret minimization algorithm in computing the near-equilibrium strategies in the simplified poker games. We focus on the von Neumann poker and the simplified version of the Texas Hold'Em poker, and test outputs of the considered algorithms against analytical expressions defining the Nash equilibrium strategies. We comment on the performance of the studied algorithms against opponents deviating from equilibrium.


title: Categorical smooth compactifications and generalized Hodge-to-de Rham degeneration

abstract: We disprove two (unpublished) conjectures of Kontsevich which state generalized versions of categorical Hodge-to-de Rham degeneration for smooth and for proper DG categories (but not smooth and proper, in which case degeneration is proved by Kaledin \cite{Ka}). In particular, we show that there exists a minimal $10$-dimensional $A_{\infty}$-algebra over a field of characteristic zero, for which the supertrace of $\mu_3$ on the second argument is non-zero. As a byproduct, we obtain an example of a homotopically finitely presented DG category (over a field of characteristic zero) that does not have a smooth categorical compactification, giving a negative answer to a question of To\"en. This can be interpreted as a lack of resolution of singularities in the noncommutative setup. We also obtain an example of a proper DG category which does not admit a categorical resolution of singularities in the terminology of Kuznetsov and Lunts \cite{KL} (that is, it cannot be embedded into a smooth and proper DG category).