title: Anomaly interplay in $U(2)$ gauge theories

abstract: We discuss anomaly cancellation in $U(2)$ gauge theories in four dimensions. For a $U(2)$ gauge theory defined with a spin structure, the vanishing of the bordism group $\Omega_5^{\text{Spin}}(BU(2))$ implies that there can be no global anomalies, in contrast to the related case of an $SU(2)$ gauge theory. We show explicitly that the familiar $SU(2)$ global anomaly is replaced by a local anomaly when $SU(2)$ is embedded in $U(2)$. There must be an even number of fermions with isospin $2r+1/2$, for $r\in \mathbb{Z}_{\geq 0}$, for this local anomaly to cancel. The case of a $U(2)$ theory defined without a choice of spin structure but rather using a spin-$U(2)$ structure, which is possible when all fermions (bosons) have half-integer (integer) isospin and odd (even) $U(1)$ charge, is more subtle. We find that the recently-discovered `new $SU(2)$ global anomaly' is also equivalent, though only at the level of the partition function, to a perturbative anomaly in the $U(2)$ theory, which is this time a combination of a mixed gauge anomaly with a gauge-gravity anomaly. This perturbative anomaly vanishes if there is an even number of fermions with isospin $4r+3/2$, for $r\in \mathbb{Z}_{\geq 0}$, recovering the condition for cancelling the new $SU(2)$ anomaly. Alternatively, this perturbative anomaly can be cancelled by a Wess--Zumino term, leaving a low-energy theory with a global anomaly, which can itself be cancelled by coupling to topological degrees of freedom.


title: One-loop matching in the SMEFT extended with a sterile neutrino

abstract: We study the phenomenology of the simplest renormalisable model that, at low energy, leads to the effective field theory of the Standard Model extended with right-handed neutrinos ($\nu$SMEFT). Our aim is twofold. First, to contextualise new collider signatures in models with sterile neutrinos so far studied only using the bottom-up approach. And second and more important, to provide a thorough example of one-loop matching in the diagrammatic approach, of which other matching techniques and automatic tools can benefit for cross-checks. As byproducts of this work, we provide for the first time: (i) a complete off-shell basis for the $\nu$SMEFT and explicit relations between operators linked by equations of motion; (ii) a complete basis for the low-energy effective field theory ($\nu$LEFT) and the tree-level matching onto the $\nu$SMEFT; (iii) partial one-loop anomalous dimensions in the $\nu$LEFT. This way, our work comprises a new step forward towards the systematisation of one-loop computations in effective field theories, especially if the SM neutrinos are Dirac.


title: Laminar Flame Speeds in Degenerate Oxygen-Neon Mixtures

abstract: The collapse of degenerate oxygen-neon cores (i.e., electron-capture supernovae or accretion-induced collapse) proceeds through a phase in which a deflagration wave ("flame") forms at or near the center and propagates through the star. In models, the assumed speed of this flame influences whether this process leads to an explosion or to the formation of a neutron star. We calculate the laminar flame speeds in degenerate oxygen-neon mixtures with compositions motivated by detailed stellar evolution models. These mixtures include trace amounts of carbon and have a lower electron fraction than those considered in previous work. We find that trace carbon has little effect on the flame speeds, but that material with electron fraction $Y_e \approx 0.48-0.49$ has laminar flame speeds that are $\approx 2$ times faster than those at $Y_e = 0.5$. We provide tabulated flame speeds and a corresponding fitting function so that the impact of this difference can be assessed via full star hydrodynamical simulations of the collapse process.


title: Properties of the Tangle for Uniform Random and Random Walk Tip Selection

abstract: The growing number of applications for distributed ledger technologies is driving both industry and academia to solve the limitations of blockchain, particularly its scalability issues. Recent distributed ledger technologies have replaced the blockchain linear structure with a more flexible directed acyclic graph in an attempt to accommodate a higher throughput. Despite the fast-growing diffusion of directed acyclic graph based distributed ledger technologies, researchers lack a basic understanding of their behavior. In this paper we analyze the Tangle, a directed acyclic graph that is used (with certain modifications) in various protocols such as IOTA, Byteball, Avalanche or SPECTRE. Our contribution is threefold. First, we run simulations in a continuous-time model to examine tip count stability and cumulative weight evolution while varying the rate of incoming transactions. In particular we confirm analytical predictions on the number of tips with uniform random tip selection strategy. Second, we show how different tip selection algorithms affect the growth of the Tangle. Moreover, we explain these differences by analyzing the spread of exit probabilities of random walks. Our findings confirm analytically derived predictions and provide novel insights on the different phases of growth of cumulative weight as well as on the average time difference for a transaction to receive its first approval when using distinct tip selection algorithms. Lastly, we analyze simulation overhead and performance as a function of Tangle size and compare results for different tip selection algorithms.


title: Solitary and Periodic Waves in Collisionless Plasmas: The Adlam-Allen Model Revisited

abstract: We consider the Adlam-Allen (AA) system of partial differential equations which, arguably, is the first model that was introduced to describe solitary waves in the context of propagation of hydrodynamic disturbances in collisionless plasmas. Here, we identify the solitary waves of the model by implementing a dynamical systems approach. The latter suggests that the model also possesses periodic wave solutions --which reduce to the solitary wave in the limiting case of infinite period-- as well as rational solutions which are obtained herein. In addition, employing a long-wave approximation via a relevant multiscale expansion method, we establish the asymptotic reduction of the AA system to the Korteweg-de Vries equation. Such a reduction, is not only another justification for the above solitary wave dynamics, but also may offer additional insights for the emergence of other possible plasma waves. Direct numerical simulations are performed for the study of multiple solitary waves and their pairwise interactions. The stability of solitary waves is discussed in terms of potentially relevant criteria, while the robustness of spatially periodic wave solutions is touched upon by our numerical experiments.


title: Figuring Out Gas & Galaxies in Enzo (FOGGIE). III. The Mocky Way: Investigating Biases in Observing the Milky Way's Circumgalactic Medium

abstract: The circumgalactic medium (CGM) of the Milky Way is mostly obscured by nearby gas in position-velocity space because we reside inside the Galaxy. Substantial biases exist in most studies on the Milky Way's CGM that focus on easier-to-detect high-velocity gas. With mock observations on a Milky-Way analog from the FOGGIE simulation, we investigate four observational biases related to the Milky Way's CGM. First, QSO absorption-line studies probe a limited amount of the CGM mass: only 35% of the mass is at high Galactic latitudes $|b|>20$ degrees, of which only half is moving at $|v_{\rm LSR}|\gtrsim100$ km s$^{-1}$. Second, the inflow rate ($\dot{M}$) of the cold gas observable in HI 21cm is reduced by a factor of $\sim10$ as we switch from the local standard of rest to the galaxy's rest frame; meanwhile $\dot{M}$ of the cool and warm gas does not change significantly. Third, OVI and NV are promising ions to probe the Milky Way's outer CGM ($r\gtrsim$15 kpc), but CIV may be less sensitive. Lastly, the scatter in ion column density is a factor of 2 higher if the CGM is observed from inside-out than from external views because of the gas radial density profile. Our work highlights that observations of the Milky Way's CGM, especially those using HI 21cm and QSO absorption lines, are highly biased. We demonstrate that these biases can be quantified and calibrated through synthetic observations with simulated Milky-Way analogs.


title: The Gaia-Kepler Stellar Properties Catalog. I. Homogeneous Fundamental Properties for 186,301 Kepler Stars

abstract: An accurate and precise Kepler Stellar Properties Catalog is essential for the interpretation of the Kepler exoplanet survey results. Previous Kepler Stellar Properties Catalogs have focused on reporting the best-available parameters for each star, but this has required combining data from a variety of heterogeneous sources. We present the Gaia-Kepler Stellar Properties Catalog, a set of stellar properties of 186,301 Kepler stars, homogeneously derived from isochrones and broadband photometry, Gaia Data Release 2 parallaxes, and spectroscopic metallicities, where available. Our photometric effective temperatures, derived from $g-K_s$ colors, are calibrated on stars with interferometric angular diameters. Median catalog uncertainties are 112 K for $T_{\mathrm{eff}}$, 0.05 dex for $\log g$, 4% for $R_\star$, 7% for $M_\star$, 13% for $\rho_\star$, 10% for $L_\star$, and 56% for stellar age. These precise constraints on stellar properties for this sample of stars will allow unprecedented investigations into trends in stellar and exoplanet properties as a function of stellar mass and age. In addition, our homogeneous parameter determinations will permit more accurate calculations of planet occurrence and trends with stellar properties.


title: Exploring Early and Late Cosmology with Next Generation Surveys

abstract: Perturbations from inflation evolve into large scale structure of the late universe, and encode abundant cosmic structure formation physics. We allow freedom in the primordial power spectrum, rather than assuming a power law scale dependence, to study its impact on cosmological parameter determination. Combining various generations of cosmic microwave background (CMB) data and galaxy redshift survey data, we investigate the constraints on reconstruction of the primordial curvature perturbation power spectrum and the late time cosmology, especially the sum of neutrino masses. We quantify how each successive generation, in CMB and galaxy surveys, provides significant improvements, often by factors of several. By using CMB polarization information over a broad range of angular scales, and galaxy redshift data in many bins of redshift, one can allow inflationary freedom and still constrain parameters comparably to assuming power law dependence. The primordial power spectrum can be reconstructed at the subpercent level in a dozen wavenumber bins, while simultaneously fitting the sum of neutrino masses to 14 meV.


title: EMOPAIN Challenge 2020: Multimodal Pain Evaluation from Facial and Bodily Expressions

abstract: The EmoPain 2020 Challenge is the first international competition aimed at creating a uniform platform for the comparison of machine learning and multimedia processing methods of automatic chronic pain assessment from human expressive behaviour, and also the identification of pain-related behaviours. The objective of the challenge is to promote research in the development of assistive technologies that help improve the quality of life for people with chronic pain via real-time monitoring and feedback to help manage their condition and remain physically active. The challenge also aims to encourage the use of the relatively underutilised, albeit vital bodily expression signals for automatic pain and pain-related emotion recognition. This paper presents a description of the challenge, competition guidelines, bench-marking dataset, and the baseline systems' architecture and performance on the three sub-tasks: pain estimation from facial expressions, pain recognition from multimodal movement, and protective movement behaviour detection.


title: Where New Words Are Born: Distributional Semantic Analysis of Neologisms and Their Semantic Neighborhoods

abstract: We perform statistical analysis of the phenomenon of neology, the process by which new words emerge in a language, using large diachronic corpora of English. We investigate the importance of two factors, semantic sparsity and frequency growth rates of semantic neighbors, formalized in the distributional semantics paradigm. We show that both factors are predictive of word emergence although we find more support for the latter hypothesis. Besides presenting a new linguistic application of distributional semantics, this study tackles the linguistic question of the role of language-internal factors (in our case, sparsity) in language change motivated by language-external factors (reflected in frequency growth).


title: A Note on Distance-Preserving Graph Sparsification

abstract: We consider problems of the following type: given a graph $G$, how many edges are needed in the worst case for a sparse subgraph $H$ that approximately preserves distances between a given set of node pairs $P$? Examples include pairwise spanners, distance preservers, reachability preservers, etc. There has been a trend in the area of simple constructions based on the hitting set technique, followed by somewhat more complicated constructions that improve over the bounds obtained from hitting sets by roughly a $\log$ factor. In this note, we point out that the simpler constructions based on hitting sets don't actually need an extra $\log$ factor in the first place. This simplifies and unifies a few proofs in the area, and it improves the size of the $+4$ pairwise spanner from $\widetilde{O}(np^{2/7})$ [Kavitha Th. Comp. Sys. '17] to $O(np^{2/7})$.


title: The orbital phase space of contracted dark matter halos

abstract: We study the orbital phase-space of dark matter (DM) halos in the AURIGA suite of cosmological hydrodynamics simulations of Milky Way analogues. We characterise halos by their spherical action distribution, a function of the specific angular momentum, and the radial action, of the DM particles. By comparing DM-only and hydrodynamical simulations of the same halos, we investigate the contraction of DM halos caused by the accumulation of baryons at the centre. We find a small systematic suppression of the radial action in the DM halos of the hydrodynamical simulations, suggesting that the commonly used adiabatic contraction approximation can result in an underestimate of the density by ~ 8%. We apply an iterative algorithm to contract the AURIGA DM halos given a baryon density profile and halo mass, recovering the true contracted DM profiles with an accuracy of ~15%, that reflects halo-to-halo variation. Using this algorithm, we infer the total mass profile of the Milky Way's contracted DM halo. We derive updated values for the key astrophysical inputs to DM direct detection experiments: the DM density and velocity distribution in the Solar neighbourhood.


title: Strong Spin-Orbit Quenching via the Product Jahn-Teller Effect in Neutral Group IV Artificial Atom Qubits in Diamond

abstract: Artificial atom qubits in diamond have emerged as leading candidates for a range of solid-state quantum systems, from quantum sensors to repeater nodes in memory-enhanced quantum communication. Inversion-symmetric group IV vacancy centers, comprised of Si, Ge, Sn and Pb dopants, hold particular promise as their neutrally charged electronic configuration results in a ground-state spin triplet, enabling long spin coherence above cryogenic temperatures. However, despite the tremendous interest in these defects, a theoretical understanding of the electronic and spin structure of these centers remains elusive. In this context, we predict the ground- and excited-state properties of the neutral group IV color centers from first principles. We capture the product Jahn-Teller effect found in the excited state manifold to second order in electron-phonon coupling, and present a non-perturbative treatment of the effect of spin-orbit coupling. Importantly, we find that spin-orbit splitting is strongly quenched due to the dominant Jahn-Teller effect, with the lowest optically-active $^3E_u$ state weakly split into $m_s$-resolved states. The predicted complex vibronic spectra of the neutral group IV color centers are essential for their experimental identification and have key implications for use of these systems in quantum information science.

categories: quant-ph cond-mat.mes-hall physics.chem-ph physics.comp-ph


title: Improving Label Ranking Ensembles using Boosting Techniques

abstract: Label ranking is a prediction task which deals with learning a mapping between an instance and a ranking (i.e., order) of labels from a finite set, representing their relevance to the instance. Boosting is a well-known and reliable ensemble technique that was shown to often outperform other learning algorithms. While boosting algorithms were developed for a multitude of machine learning tasks, label ranking tasks were overlooked. In this paper, we propose a boosting algorithm which was specifically designed for label ranking tasks. Extensive evaluation of the proposed algorithm on 24 semi-synthetic and real-world label ranking datasets shows that it significantly outperforms existing state-of-the-art label ranking algorithms.


title: Nonparametric Causal Feature Selection for Spatiotemporal Risk Mapping of Malaria Incidence in Madagascar

abstract: Modern disease mapping draws upon a wealth of high resolution spatial data products reflecting environmental and/or socioeconomic factors as covariates, or `features', within a geostatistical framework to improve predictions of disease risk. Feature selection is an important step in building these models, helping to reduce overfitting and computational complexity, and to improve model interpretability. Selecting only features that have a causal relationship with the response variable could potentially improve predictions and generalisability, but identifying these causal features from non-interventional, spatiotemporal data is a challenging problem. Here we examine the performance of a causal feature selection procedure with regard to estimating malaria incidence in Madagascar. The studied procedure designed for this task combines the PC algorithm with spatiotemporal prewhitening and kernel-based independence tests extended to accommodate aggregated data. This case study reveals a clear advantage for causal feature selection in terms of the out-of-sample predictive accuracy in a forward temporal estimation task, but not in a spatiotemporal interpolation task, in comparison with thresholded spike-and-slab, for both linear and non-linear regression models. Compared to no feature selection, causal feature selection was most beneficial in settings wherein the volume of available data was low relative to the model complexity.


title: Misconceptions, knowledge, and attitudes of secondary school students towards the phenomenon of radioactivity

abstract: Since its serendipitous discovery in 1896 by Henry Becquerel, radioactivity has called the attention of both the scientific community and the broad audience due to its intriguing nature, its multiple applications and its controversial uses. For this reason, the teaching of the phenomenon is considered a key ingredient in the path towards developing critical-thinking skills in many secondary science education curricula. Despite being one of the basic concepts in general physics courses, the scientific teaching literature of the last 40 years reports a great deal of misconceptions and conceptual errors related to radioactivity that seemingly appear regardless of the context. This study explores, for the first time, the knowledge status on the topic on a sample of N=191 secondary school students and Y=29 Physics-and-Chemistry trainee teachers in the Spanish region of Valencia. To this aim, a revised version of a diagnostic tool developed by Martins \cite{Mar92} has been employed. In general, the results reveal an evolution from a widespread dissenting notion on the phenomenon, which is staunchly related to danger, hazard and destruction in the lowest educational levels, towards a more rational, relative and multidimensional perspective in the highest ones. Furthermore, the great overlap of the ideas, emotions and attitudes of the inquired individuals with the main misconceptions and conceptual mistakes reported in the literature for different educational contexts unveils the urgent need to develop new teaching strategies leading to a meaningful learning of the associated nuclear science concepts.


title: Enabling Highly-Scalable Remote Memory Access Programming with MPI-3 One Sided

abstract: Modern interconnects offer remote direct memory access (RDMA) features. Yet, most applications rely on explicit message passing for communications albeit their unwanted overheads. The MPI-3.0 standard defines a programming interface for exploiting RDMA networks directly, however, it's scalability and practicability has to be demonstrated in practice. In this work, we develop scalable bufferless protocols that implement the MPI-3.0 specification. Our protocols support scaling to millions of cores with negligible memory consumption while providing highest performance and minimal overheads. To arm programmers, we provide a spectrum of performance models for all critical functions and demonstrate the usability of our library and models with several application studies with up to half a million processes. We show that our design is comparable to, or better than UPC and Fortran Coarrays in terms of latency, bandwidth, and message rate. We also demonstrate application performance improvements with comparable programming complexity.


title: The Skitovich--Darmois and Heyde theorems for complex and quaternion random variables

abstract: We prove the following analogue of the classical Skitovich--Darmois theorem for complex random variables. Let $\alpha=a+ib$ be a nonzero complex number. Then the following statements hold. $1$. Let either $b\ne 0$, or $b=0$ and $a>0$. Let $\xi_1$ and $\xi_2$ be independent complex random variables. Assume that the linear forms $L_1=\xi_1+\xi_2$ and $L_2=\xi_1+\alpha\xi_2$ are independent. Then $\xi_j$ are degenerate random variables. $2$. Let $b=0$ and $a<0$. Then there exist complex Gaussian random variables in the wide sense $\xi_1$ and $\xi_2$ such that they are not complex Gaussian random variables in the narrow sense, whereas the linear forms $L_1=\xi_1+\xi_2$ and $L_2=\xi_1+\alpha\xi_2$ are independent. We also study an analogue of the Heyde theorem for complex random variables.


title: Closed form distance formula for the balanced multiple travelling salesmen

abstract: As a first contribution the mTSP is solved using an exact method and two heuristics, where the number of nodes per route is balanced. The first heuristic uses a nearest node approach and the second assigns the closest vehicle (salesman). A comparison of heuristics with test-instances being in the Euclidean plane showed similar solution quality and runtime. On average, the nearest node solutions are approximately one percent better. The closest vehicle heuristic is especially important when the nodes (customers) are not known in advance, e.g. for online routing. Whilst the nearest node is preferable when one vehicle has to be used multiple times to service all customers. The second contribution is a closed form formula that describes the mTSP distance dependent on the number of vehicles and customers. Increasing the number of salesman results in an approximately linear distance growth for uniformly distributed nodes in a Euclidean grid plane. The distance growth is almost proportional to the square root of number of customers (nodes). These two insights are combined in a single formula. The minimum distance of a node to $n$ uniformly distributed random (real and integer) points was derived and expressed as functional relationship dependent on the number of vehicles. This gives theoretical underpinnings and is in agreement with the distances found via the previous mTSP heuristics. Hence, this allows to compute all expected mTSP distances without the need of running the heuristics.


title: Right $\ell$-groups associated with von Neumann algebras

abstract: In [Rum18], Rump defined and characterized noncommutative universal groups $G(X)$ for generalized orthomodular lattices $X$. We give an explicit construction of $G(X)$ in terms of \emph{pure paraunitary groups} when $X$ is the projection lattice of a von Neumann algebra. The results given here extend some of those in [Die19].


title: Performance of the T-matrix based master equation for Coulomb drag in double quantum dots

abstract: Recently, novel Coulomb drag mechanisms in capacitively coupled double quantum dots were uncovered by the T-matrix based master equation (TME). The TME is so far the primary approach to studying Coulomb drag in the weak-coupling regime; however, its accuracy and reliability remain unexplored. Here, we evaluate the performance of the TME for Coulomb drag via a comparison with numerically exact results obtained by the hierarchical equation-of-motion approach. We find that the TME can capture qualitative current evolutions versus dot levels, temperature, and effective coupling strengths, but only partially succeeds at the quantitative level. Specifically, the TME gives highly inaccurate drag currents when large charge fluctuations on dots exist and the fourth-order tunneling processes make a leading-order contribution. This failure of the TME is attributed to the combined effect of the unique drag mechanisms and its overlook of the fourth-order single-electron tunnelings. We identify the reliable regions to facilitate further quantitative studies on Coulomb drag by the TME.


title: Emergence of Pragmatics from Referential Game between Theory of Mind Agents

abstract: Pragmatics studies how context can contribute to language meanings. In human communication, language is never interpreted out of context, and sentences can usually convey more information than their literal meanings. However, this mechanism is missing in most multi-agent systems, restricting the communication efficiency and the capability of human-agent interaction. In this paper, we propose an algorithm, using which agents can spontaneously learn the ability to "read between lines" without any explicit hand-designed rules. We integrate the theory of mind (ToM) in a cooperative multi-agent pedagogical situation and propose an adaptive reinforcement learning (RL) algorithm to develop a communication protocol. ToM is a profound cognitive science concept, claiming that people regularly reason about other's mental states, including beliefs, goals, and intentions, to obtain performance advantage in competition, cooperation or coalition. With this ability, agents consider language as not only messages but also rational acts reflecting others' hidden states. Our experiments demonstrate the advantage of pragmatic protocols over non-pragmatic protocols. We also show the teaching complexity following the pragmatic protocol empirically approximates to recursive teaching dimension (RTD).


title: Strong solutions of forward-backward stochastic differential equations with measurable coefficients

abstract: This paper investigates solvability of fully coupled systems of forward-backward stochastic differential equations (FBSDEs) with irregular coefficients. In particular, we assume that the coefficients of the FBSDEs are merely measurable and bounded in the forward process. We crucially use compactness results from the theory of Malliavin calculus to construct strong solutions. Despite the irregularity of the coefficients, the solutions turn out to be differentiable, at least in the Malliavin sense and, as functions of the initial variable, in the Sobolev sense.


title: A Journey into Ontology Approximation: From Non-Horn to Horn

abstract: We study complete approximations of an ontology formulated in a non-Horn description logic (DL) such as $\mathcal{ALC}$ in a Horn DL such as~$\mathcal{EL}$. We provide concrete approximation schemes that are necessarily infinite and observe that in the $\mathcal{ELU}$-to-$\mathcal{EL}$ case finite approximations tend to exist in practice and are guaranteed to exist when the original ontology is acyclic. In contrast, neither of this is the case for $\mathcal{ELU}_\bot$-to-$\mathcal{EL}_\bot$ and for $\mathcal{ALC}$-to-$\mathcal{EL}_\bot$ approximations. We also define a notion of approximation tailored towards ontology-mediated querying, connect it to subsumption-based approximations, and identify a case where finite approximations are guaranteed to exist.


title: Printed high-mobility p-type buffer layers on perovskite photovoltaics for efficient semi-transparent devices

abstract: Perovskite solar cells (PSCs) with transparent electrodes can be integrated with existing solar panels in tandem configurations to increase the power conversion efficiency. A critical layer in semi-transparent PSCs is the inorganic buffer layer, which protects the PSC against damage when the transparent electrode is sputtered on top. The development of n-i-p structured semi-transparent PSCs has been hampered by the lack of suitable p-type buffer layers. In this work we develop a p-type CuOx buffer layer, which can be grown uniformly over the perovskite device without damaging the perovskite or organic charge transport layers, can be grown using industrially scalable techniques and has high hole mobility (4.3 +/- 2 cm2 V-1 s-1), high transmittance (>95%), and a suitable ionisation potential for hole extraction (5.3 +/- 0.2 eV). Semi-transparent PSCs with efficiencies up to 16.7% are achieved using the CuOx buffer layer. Our work demonstrates a new approach to integrate PSCs into tandem configurations, as well as enable the development of other devices that need high quality p-type layers.


title: Hyers-Ulam stability for differential equations and partial differential equations via Gronwall Lemma

abstract: In this paper we will study Hyers-Ulam stability for Bernoulli differential equations, Riccati differential equations and quasilinear partial differential equations of first order, using Gronwall Lemma, following a method given by Rus.


title: Non-linear Onsager relations for Gaussian quantum maps

abstract: Onsager's relations allow one to express the second law of thermodynamics in terms of the underlying associated currents. These relations, however, are usually valid only close to equilibrium. Using a quantum phase space formulation of the second law, we show that open bosonic Gaussian systems also obey a set of Onsager relations, valid arbitrarily far from equilibrium. These relations, however, are found to be given by a more complex non-linear function, which reduces to the usual quadratic form close to equilibrium. This non-linearity implies that far from equilibrium, there exists a fundamental asymmetry between entropy flow from system to bath and vice-versa. The ramifications of this for applications in driven-dissipative quantum optical setups are also discussed.


title: Breather solutions of the modified Benjamin-Bona-Mahony equation

abstract: New two-component vector breather solution of the modified Benjamin-Bona-Mahony (MBBM) equation is considered. Using the generalized perturbation reduction method the MBBM equation is reduced to the coupled nonlinear Schr\"odinger equations for auxiliary functions. Explicit analytical expressions for the profile and parameters of the vector breather oscillating with the sum and difference of the frequencies and wavenumbers are presented. The two-component vector breather and single-component scalar breather of the MBBM equation is compared.


title: Buffer-gas cooling of molecules in the low-density regime: Comparison between simulation and experiment

abstract: Cryogenic buffer gas cells have been a workhorse for the cooling of molecules in the last decades. The straightforward sympathetic cooling principle makes them applicable to a huge variety of different species. Notwithstanding this success, detailed simulations of buffer gas cells are rare, and have never been compared to experimental data in the regime of low to intermediate buffer gas densities. Here, we present a numerical approach based on a trajectory analysis, with molecules performing a random walk in the cell due to collisions with a homogeneous buffer gas. This method can reproduce experimental flux and velocity distributions of molecules emerging from the buffer gas cell for varying buffer gas densities. This includes the strong decrease in molecule output from the cell for increasing buffer gas density and the so-called boosting effect, when molecules are accelerated by buffer-gas atoms after leaving the cell. The simulations provide various insights which could substantially improve buffer-gas cell design.


title: On Hyers-Ulam-Rassias stability of a Volterra-Hammerstein functional integral equation

abstract: The aim of this paper is to study Hyers-Ulam-Rassias stability for a Volterra-Hammerstein functional integral equation in three variables via Picard operators.


title: Block-wise Scrambled Image Recognition Using Adaptation Network

abstract: In this study, a perceptually hidden object-recognition method is investigated to generate secure images recognizable by humans but not machines. Hence, both the perceptual information hiding and the corresponding object recognition methods should be developed. Block-wise image scrambling is introduced to hide perceptual information from a third party. In addition, an adaptation network is proposed to recognize those scrambled images. Experimental comparisons conducted using CIFAR datasets demonstrated that the proposed adaptation network performed well in incorporating simple perceptual information hiding into DNN-based image classification.


title: Lifting Automorphisms on Abelian Varieties as Derived Autoequivalences

abstract: We show that on an Abelian variety over an algebraically closed field of positive characteristic, the obstruction to lifting an automorphism to an Abelian variety over a field of characteristic zero as a morphism vanishes if and only if it vanishes for lifting it as an autoequivalence. We also compare the deformation space of these two types of deformations.


title: Search for charged Higgs bosons decaying into a top and a bottom quark in the all-jet final state of pp collisions at $\sqrt{s} =$ 13 TeV

abstract: A search for charged Higgs bosons (H$^\pm$) decaying into a top and a bottom quark in the all-jet final states is presented. The analysis uses LHC proton-proton collision data recorded with the CMS detector in 2016 at $\sqrt{s} =$ 13 TeV, corresponding to an integrated luminosity of 35.9 fb$^{-1}$. No significant excess is observed above the expected background. Model-independent upper limits at 95% confidence level are set on the product of the H$^\pm$ production cross section and branching fraction in two scenarios. For production in association with a top quark, limits of 21.3 to 0.007 pb are obtained for H$^\pm$ masses in the range of 0.2 to 3 TeV. Combining this with a search in leptonic final states results in improved limits of 9.25 to 0.005 pb. The complementary $s$-channel production of an H$^\pm$ is investigated in the mass range of 0.8 to 3 TeV and the corresponding upper limits are 4.5 to 0.023 pb. These results are interpreted using different minimal supersymmetric extensions of the standard model.


title: Random attraction in the TASEP model

abstract: The totally asymmetric simple exclusion process (TASEP) is a basic model of statistical mechanics that has found numerous applications. We consider the case of TASEP with a finite chain where particles may enter from the left and leave to the right at prescribed rates. This model can be formulated as a Markov process with a finite number of states. Due to the irreducibility of the process it is well-known that the probability distribution on the states is globally attracted to a unique equilibrium distribution. We extend this result to the more detailed level of individual trajectories. To do so we formulate TASEP as a random dynamical system. Our main result is that the trajectories from all possible initial conditions contract to each other yielding the existence of a random attractor that consists of a single trajectory almost surely. This implies that in the long run TASEP ``filters out'' any perturbation that changes the state of the particles along the chain. In order to prove our main result we first establish that any random dynamical system on a finite state space possesses both a global random pullback attractor and a global random forward attractor. This observation appears to be missing in the literature. We then provide sufficient and necessary conditions for these attractors to be singletons. Finally, we show that TASEP satisfies one of these conditions.


title: Faster and Enhanced Inclusion-Minimal Cograph Completion

abstract: We design two incremental algorithms for computing an inclusion-minimal completion of an arbitrary graph into a cograph. The first one is able to do so while providing an additional property which is crucial in practice to obtain inclusion-minimal completions using as few edges as possible : it is able to compute a minimum-cardinality completion of the neighbourhood of the new vertex introduced at each incremental step. It runs in $O(n+m')$ time, where $m'$ is the number of edges in the completed graph. This matches the complexity of the algorithm in [Lokshtanov, Mancini and Papadopoulos 2010] and positively answers one of their open questions. Our second algorithm improves the complexity of inclusion-minimal completion to $O(n+m\log^2 n)$ when the additional property above is not required. Moreover, we prove that many very sparse graphs, having only $O(n)$ edges, require $\Omega(n^2)$ edges in any of their cograph completions. For these graphs, which include many of those encountered in applications, the improvement we obtain on the complexity scales as $O(n/\log^2 n)$.


title: Adaptive Loss Function for Super Resolution Neural Networks Using Convex Optimization Techniques

abstract: Single Image Super-Resolution (SISR) task refers to learn a mapping from low-resolution images to the corresponding high-resolution ones. This task is known to be extremely difficult since it is an ill-posed problem. Recently, Convolutional Neural Networks (CNNs) have achieved state of the art performance on SISR. However, the images produced by CNNs do not contain fine details of the images. Generative Adversarial Networks (GANs) aim to solve this issue and recover sharp details. Nevertheless, GANs are notoriously difficult to train. Besides that, they generate artifacts in the high-resolution images. In this paper, we have proposed a method in which CNNs try to align images in different spaces rather than only the pixel space. Such a space is designed using convex optimization techniques. CNNs are encouraged to learn high-frequency components of the images as well as low-frequency components. We have shown that the proposed method can recover fine details of the images and it is stable in the training process.


title: Pseudospectra of the damped wave equation with unbounded damping

abstract: We analyze pseudospectra of the generator of the damped wave equation with unbounded damping. We show that the resolvent norm diverges as $\Re z \to - \infty$. The highly non-normal character of the operator is a robust effect preserved even when a strong potential is added. Consequently, spectral instabilities and other related pseudospectral effects are present.


title: Investigation of the one-neutron transfer in $^{13}$C + $^{28}$Si at E$_{lab}$ = 30 and 34 MeV

abstract: Background: Neutron transfer measurements for the $^{18}$O + $^{28}$Si system have shown that the experimental one-neutron and two-neutron transfer cross sections are well reproduced with spectroscopic amplitudes from two different shell model interactions for the Si isotopes: \textit{psdmod} for the two-neutron transfer, and \textit{psdmwkpn} for the one-neutron transfer. Purpose: The origin of this ambiguity can be related to a more complex mechanism in the one-neutron transfer that requires the unpairing of neutrons prior to its transfer in the ($^{18}$O,$^{17}$O) reaction. Studying a nucleus where this characteristic is absent ($^{13}$C) should help to elucidate this question. Method: One-neutron transfer cross sections were measured for the $^{13}$C + $^{28}$Si at E$_{lab}$ = 30, and 34 MeV, and compared with coupled reaction channel calculations using spectroscopic amplitudes derived from the \textit{psdmod} and \textit{psdmwkpn} shell model interactions. Results: The spectroscopic amplitudes from the \textit{psdmod} interaction for the relevant states in $^{29}$Si provide a good description of the experimental data and the corresponding values agree with previous estimates obtained from the (d,p) reaction. Conclusions: The experimental data for the one-neutron transfer to $^{28}$Si induced by ($^{13}$C,$^{12}$C) reaction is well reproduced using spectroscopic amplitudes from the \textit{psdmod}.


title: Massif: Interactive Interpretation of Adversarial Attacks on Deep Learning

abstract: Deep neural networks (DNNs) are increasingly powering high-stakes applications such as autonomous cars and healthcare; however, DNNs are often treated as "black boxes" in such applications. Recent research has also revealed that DNNs are highly vulnerable to adversarial attacks, raising serious concerns over deploying DNNs in the real world. To overcome these deficiencies, we are developing Massif, an interactive tool for deciphering adversarial attacks. Massif identifies and interactively visualizes neurons and their connections inside a DNN that are strongly activated or suppressed by an adversarial attack. Massif provides both a high-level, interpretable overview of the effect of an attack on a DNN, and a low-level, detailed description of the affected neurons. These tightly coupled views in Massif help people better understand which input features are most vulnerable or important for correct predictions.


title: Sawtooth Wave Adiabatic Passage in a Magneto-Optical Trap

abstract: We investigate theoretically the application of Sawtooth Wave Adiabatic Passage (SWAP) in a 1D magneto-optical trap (MOT). As opposed to related methods that have been previously discussed, our approach utilizes repeated cycles of stimulated absorption and emission processes to achieve both trapping and cooling, thereby reducing the adverse effects that arise from photon scattering. Specifically, we demonstrate this method's ability to cool, slow, and trap particles with fewer spontaneously emitted photons, higher forces and in less time when compared to a traditional MOT scheme that utilizes the same narrow linewidth transition. We calculate the phase space compression that is achievable and characterize the resulting system equilibrium cloud size and temperature.


title: Decomposable Formulation of Transmission Constraints for Decentralized Power Systems Optimization

abstract: One of the most complicating factors in decentralized optimization for power systems is the modeling of power flow equations. Existing formulations for DC power flows either have limited scalability or are very dense and unstructured, making them unsuitable for large-scale decentralized studies. In this work, we present a novel DC power flow formulation, based on sparsified injection shift factors, which has a decomposable block-diagonal structure, scales well for large systems, and can efficiently handle N-1 security requirements. Benchmarks on Multi-Zonal Security-Constrained Unit Commitment problems show that the proposed formulation can reliably and efficiently solve instances with up to 6,515 buses, with no convergence or numerical issues.


title: 4D beyond-cohomology topological phase protected by $C_2$ symmetry and its boundary theories

abstract: We study bosonic symmetry protected topological (SPT) phases with $C_{2}$ rotational symmetry in four spatial dimensions which is not captured by the group cohomology classification. By using the topological crystal approach, we show that the topological crystalline state of this SPT phase is given by placing an $E_{8}$ state on the two dimensional rotational invariant plane, which provides a simple physical picture of this phase. Based on this understanding, we show that a variant of QED4 with charge-1 and charge-3 Dirac fermions is a field theoretical description of the three dimensional boundary. We also discuss the connection to symmetric gapped boundary with topological order and its anomaly signature.


title: Missed opportunities in large scale comparison of QSAR and conformal prediction methods and their applications in drug discovery

abstract: Recently Bosc et al. (J Cheminform 11(1): 4, 2019), published an article describing a case study that directly compares conformal predictions with traditional QSAR methods for large-scale predictions of target-ligand binding. We consider this study to be very important. Unfortunately, we have found several issues in the authors' approach as well as in the presentation of their findings.


title: Causal and compositional structure of unitary transformations

abstract: The causal structure of a unitary transformation is the set of relations of possible influence between any input subsystem and any output subsystem. We study whether such causal structure can be understood in terms of compositional structure of the unitary. Given a quantum circuit with no path from input system $A$ to output system $B$, system $A$ cannot influence system $B$. Conversely, given a unitary $U$ with a no-influence relation from input $A$ to output $B$, it follows from [B. Schumacher and M. D. Westmoreland, Quantum Information Processing 4 no. 1, (Feb, 2005)] that there exists a circuit decomposition of $U$ with no path from $A$ to $B$. However, as we argue, there are unitaries for which there does not exist a circuit decomposition that makes all causal constraints evident simultaneously. To address this, we introduce a new formalism of `extended circuit diagrams', which goes beyond what is expressible with quantum circuits, with the core new feature being the ability to represent direct sum structures in addition to sequential and tensor product composition. A causally faithful extended circuit decomposition, representing a unitary $U$, is then one for which there is a path from an input $A$ to an output $B$ if and only if there actually is influence from $A$ to $B$ in $U$. We derive causally faithful extended circuit decompositions for a large class of unitaries, where in each case, the decomposition is implied by the unitary's respective causal structure. We hypothesize that every finite-dimensional unitary transformation has a causally faithful extended circuit decomposition.


title: Generating octave-bandwidth soliton frequency combs with compact, low-power semiconductor lasers

abstract: We report a comprehensive study of low-power, octave-bandwidth, single-soliton microresonator frequency combs in both the 1550 nm and 1064 nm bands. Our experiments utilize fully integrated silicon-nitride Kerr microresonators, and we demonstrate direct soliton generation with widely available distributed-Bragg-reflector lasers that provide less than 40 mW of chip-coupled laser power. We report measurements of soliton thermal dynamics and demonstrate how rapid laser-frequency control, consistent with the thermal timescale of a microresonator, facilitates stabilization of octave-bandwidth soliton combs. Moreover, since soliton combs are completely described by fundamental linear and nonlinear dynamics of the intraresonator field, we demonstrate the close connection between modeling and generation of octave-bandwidth combs. Our experiments advance the development of self-referenced frequency combs with integrated-photonics technology, and comb-laser sources with tens of terahertz pulse bandwidth across the near-infrared.


title: Lesion Harvester: Iteratively Mining Unlabeled Lesions and Hard-Negative Examples at Scale

abstract: Acquiring large-scale medical image data, necessary for training machine learning algorithms, is frequently intractable, due to prohibitive expert-driven annotation costs. Recent datasets extracted from hospital archives, e.g., DeepLesion, have begun to address this problem. However, these are often incompletely or noisily labeled, e.g., DeepLesion leaves over 50% of its lesions unlabeled. Thus, effective methods to harvest missing annotations are critical for continued progress in medical image analysis. This is the goal of our work, where we develop a powerful system to harvest missing lesions from the DeepLesion dataset at high precision. Accepting the need for some degree of expert labor to achieve high fidelity, we exploit a small fully-labeled subset of medical image volumes and use it to intelligently mine annotations from the remainder. To do this, we chain together a highly sensitive lesion proposal generator and a very selective lesion proposal classifier. While our framework is generic, we optimize our performance by proposing a 3D contextual lesion proposal generator and by using a multi-view multi-scale lesion proposal classifier. These produce harvested and hard-negative proposals, which we then re-use to finetune our proposal generator by using a novel hard negative suppression loss, continuing this process until no extra lesions are found. Extensive experimental analysis demonstrates that our method can harvest an additional 9,805 lesions while keeping precision above 90%. To demonstrate the benefits of our approach, we show that lesion detectors trained on our harvested lesions can significantly outperform the same variants only trained on the original annotations, with boost of average precision of 7% to 10%. We open source our annotations at https://github.com/JimmyCai91/DeepLesionAnnotation.


title: An alternative to Vaughan's identity

abstract: We exhibit an identity that plays the same role as Vaughan's identity but is arguably simpler


title: Lasso for hierarchical polynomial models

abstract: In a polynomial regression model, the divisibility conditions implicit in polynomial hierarchy give way to a natural construction of constraints for the model parameters. We use this principle to derive versions of strong and weak hierarchy and to extend existing work in the literature, which at the moment is only concerned with models of degree two. We discuss how to estimate parameters in lasso using standard quadratic programming techniques and apply our proposal to both simulated data and examples from the literature. The proposed methodology compares favorably with existing techniques in terms of low validation error and model size.


title: Impedance Modulation for Negotiating Control Authority in a Haptic Shared Control Paradigm

abstract: Communication and cooperation among team members can be enhanced significantly with physical interaction. Successful collaboration requires the integration of the individual partners' intentions into a shared action plan, which may involve a continuous negotiation of intentions and roles. This paper presents an adaptive haptic shared control framework wherein a human driver and an automation system are physically connected through a motorized steering wheel. By virtue of haptic feedback, the driver and automation system can monitor each other actions and can still intuitively express their control intentions. The objective of this paper is to develop a systematic model for an automation system that can vary its impedance such that the control authority can transit between the two agents intuitively and smoothly. To this end, we defined a cost function that not only ensures the safety of the collaborative task but also takes account of the assistive behavior of the automation system. We employed a predictive controller based on modified least square to modulate the automation system impedance such that the cost function is optimized. The results demonstrate the significance of the proposed approach for negotiating the control authority, specifically when humans and automation are in a non-cooperative mode. Furthermore, the performance of the adaptive haptic shared control is compared with the traditional fixed automation impedance haptic shared control paradigm.


title: Concentration and homogenization in electrical conduction in heterogeneous media involving the Laplace-Beltrami operator

abstract: We study a concentration and homogenization problem modelling electrical conduction in a composite material. The novelty of the problem is due to the specific scaling of the physical quantities characterizing the dielectric component of the composite. This leads to the appearance of a peculiar displacement current governed by a Laplace-Beltrami pseudo-parabolic equation. This pseudo-parabolic character is present also in the homogenized equation, which is obtained by the unfolding technique.


title: The Lee model: a tool to study decays

abstract: We describe -- in a didactical and detailed way -- the so-called Lee model (which shares similarities with the Jaynes-Cummings and Friedrichs models) as a tool to study unstable quantum states/particles. This Lee model is based on Quantum Mechanics (QM) but possesses some of the features of Quantum Field Theory (QFT). The decay process can be studied in great detail and typical QFT quantities such as propagator, one-loop resummation, and Feynman rules can be introduced. Deviations from the exponential decay law as well as the Quantum Zeno effects can be studied within this framework. The survival probability amplitude as a Fourier transform of the energy distribution, the normalization of the latter, and the Breit-Wigner limit can be obtained in a rigorous mathematical approach.


title: On framings of links in 3-manifolds

abstract: We show that the only way of changing the framing of a link by ambient isotopy in an oriented $3$-manifold is when the manifold has a properly embedded non-separating $S^2$. This change of framing is given by the Dirac trick, also known as the light bulb trick. The main tool we use is based on McCullough's work on the mapping class groups of $3$-manifolds. We also relate our results to the theory of skein modules.


title: Explosive, continuous and frustrated synchronization transition in spiking Hodgkin-Huxley neuronal networks: the role of topology and synaptic interaction

abstract: Synchronization is an important collective phenomenon in interacting oscillatory agents. Many functional features of the brain are related to synchronization of neurons. The type of synchronization transition that may occur (explosive vs. continuous) has been the focus of intense attention in recent years, mostly in the context of phase oscillator models for which collective behavior is independent of the mean-value of natural frequency. However, synchronization properties of biologically-motivated neural models depend on the firing frequencies. In this study we report a systematic study of gamma-band synchronization in spiking Hodgkin-Huxley neurons which interact via electrical or chemical synapses. We use various network models in order to define the connectivity matrix. We find that the underlying mechanisms and types of synchronization transitions in gamma-band differs from beta-band. In gamma-band, network regularity suppresses transition while randomness promotes a continuous transition. Heterogeneity in the underlying topology does not lead to any change in the order of transition, however, correlation between number of synapses and frequency of a neuron will lead to explosive synchronization in heterogenous networks with electrical synapses. Furthermore, small-world networks modeling a fine balance between clustering and randomness (as in the cortex), lead to explosive synchronization with electrical synapses, but a smooth transition in the case of chemical synapses. We also find that hierarchical modular networks, such as the connectome, lead to frustrated transitions. We explain our results based on various properties of the network, paying particular attention to the competition between clustering and long-range synapses.


title: Scheduling for Weighted Flow and Completion Times in Reconfigurable Networks

abstract: New optical technologies offer the ability to reconfigure network topologies dynamically, rather than setting them once and for all. This is true in both optical wide area networks (optical WANs) and in datacenters, despite the many differences between these two settings. Because of these new technologies, there has been a surge of both practical and theoretical research on algorithms to take advantage of them. In particular, Jia et al. [INFOCOM '17] designed online scheduling algorithms for dynamically reconfigurable topologies for both the makespan and sum of completion times objectives. In this paper, we work in the same setting but study an objective that is more meaningful in an online setting: the sum of flow times. The flow time of a job is the total amount of time that it spends in the system, which may be considerably smaller than its completion time if it is released late. We provide competitive algorithms for the online setting with speed augmentation, and also give a lower bound proving that speed augmentation is in fact necessary. As a side effect of our techniques, we also improve and generalize the results of Jia et al. on completion times by giving an $O(1)$-competitive algorithm for arbitrary sizes and release times even when nodes have different degree bounds, and moreover allow for the weighted sum of completion times (or flow times).


title: Galactic ionising photon budget during the Epoch of Reionisation in the Cosmic Dawn II simulation

abstract: Cosmic Dawn ("CoDa") II yields the first statistically-meaningful determination of the relative contribution to reionization by galaxies of different halo mass, from a fully-coupled radiation-hydrodynamics simulation of the epoch of reionization large enough ($\sim$ 100 Mpc) to model global reionization while resolving the formation of all galactic halos above $\sim 10^8 M_\odot$. Cell transmission inside high-mass haloes is bi-modal -- ionized cells are transparent, while neutral cells absorb the photons their stars produce - and the halo escape fraction $f_{esc}$ reflects the balance of star formation rate ("SFR") between these modes. The latter is increasingly prevalent at higher halo mass, driving down $f_{esc}$ (we provide analytical fits to our results), whereas halo escape luminosity, proportional to $f_{esc} \times$SFR, increases with mass. Haloes with dark matter masses within $6.10^{8} M_\odot < M_h < 3.10^{10} M_\odot$ produce $\sim 80$% of the escaping photons at z=7, when the Universe is 50% ionized, making them the main drivers of cosmic reionization. Less massive haloes, though more numerous, have low SFRs and contribute less than 10% of the photon budget then, despite their high $f_{esc}$. High mass haloes are too few and too opaque, contributing $<10$% despite their high SFRs. The dominant mass range is lower (higher) at higher (lower) redshift, as mass function and reionization advance together (e.g. at z$=8.5$, x$_{\rm HI}=0.9$, $M_h < 5.10^9 M_\odot$ haloes contributed $\sim$80%). Galaxies with UV magnitudes $M_{AB1600}$ between $-12$ and $-19$ dominated reionization between z$=6$ and 8.


title: Shared task: Lexical semantic change detection in German (Student Project Report)

abstract: Recent NLP architectures have illustrated in various ways how semantic change can be captured across time and domains. However, in terms of evaluation there is a lack of benchmarks to compare the performance of these systems against each other. We present the results of the first shared task on unsupervised lexical semantic change detection (LSCD) in German based on the evaluation framework proposed by Schlechtweg et al. (2019).


title: Machine Learning for Performance-Aware Virtual Network Function Placement

abstract: With the growing demand for data connectivity, network service providers are faced with the task of reducing their capital and operational expenses while simultaneously improving network performance and addressing the increased connectivity demand. Although Network Function Virtualization (NFV) has been identified as a solution, several challenges must be addressed to ensure its feasibility. In this paper, we address the Virtual Network Function (VNF) placement problem by developing a machine learning decision tree model that learns from the effective placement of the various VNF instances forming a Service Function Chain (SFC). The model takes several performance-related features from the network as an input and selects the placement of the various VNF instances on network servers with the objective of minimizing the delay between dependent VNF instances. The benefits of using machine learning are realized by moving away from a complex mathematical modelling of the system and towards a data-based understanding of the system. Using the Evolved Packet Core (EPC) as a use case, we evaluate our model on different data center networks and compare it to the BACON algorithm in terms of the delay between interconnected components and the total delay across the SFC. Furthermore, a time complexity analysis is performed to show the effectiveness of the model in NFV applications.


title: Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of $\#$SAT Algorithms

abstract: We continue the program of proving circuit lower bounds via circuit satisfiability algorithms. So far, this program has yielded several concrete results, proving that functions in $\text{Quasi-NP} = \text{NTIME}[n^{(\log n)^{O(1)}}]$ and $\text{NEXP}$ do not have small circuits from various circuit classes ${\cal C}$, by showing that ${\cal C}$ admits non-trivial satisfiability and/or $\#$SAT algorithms which beat exhaustive search by a minor amount. In this paper, we present a new strong lower bound consequence of non-trivial $\#$SAT algorithm for a circuit class ${\mathcal C}$. Say a symmetric Boolean function $f(x_1,\ldots,x_n)$ is sparse if it outputs $1$ on $O(1)$ values of $\sum_i x_i$. We show that for every sparse $f$, and for all "typical" ${\cal C}$, faster $\#$SAT algorithms for ${\cal C}$ circuits actually imply lower bounds against the circuit class $f \circ {\cal C}$, which may be stronger than ${\cal C}$ itself. In particular: $\#$SAT algorithms for $n^k$-size ${\cal C}$-circuits running in $2^n/n^k$ time (for all $k$) imply $\text{NEXP}$ does not have $f \circ {\cal C}$-circuits of polynomial size. $\#$SAT algorithms for $2^{n^{\epsilon}}$-size ${\cal C}$-circuits running in $2^{n-n^{\epsilon}}$ time (for some $\epsilon > 0$) imply $\text{Quasi-NP}$ does not have $f \circ {\cal C}$-circuits of polynomial size. Applying $\#$SAT algorithms from the literature, one immediate corollary of our results is that $\text{Quasi-NP}$ does not have $\text{EMAJ} \circ \text{ACC}^0 \circ \text{THR}$ circuits of polynomial size, where $\text{EMAJ}$ is the "exact majority" function, improving previous lower bounds against $\text{ACC}^0$ [Williams JACM'14] and $\text{ACC}^0 \circ \text{THR}$ [Williams STOC'14], [Murray-Williams STOC'18]. This is the first nontrivial lower bound against such a circuit class.


title: Steenrod square for virtual links toward Khovanov-Lipshitz-Sarkar stable homotopy type for virtual links

abstract: We define a second Steenrod square for virtual links, which is stronger than Khovanov homology for virtual links, toward constructing Khovanov-Lipshitz-Sarkar stable homotopy type for virtual links. This induces the first meaningful nontrivial example of the second Steenrod square operator on the Khovanov homology for links in a 3-manifold other than the 3-sphere.


title: Investor Experiences and International Capital Flows

abstract: We propose a novel explanation for classic international macro puzzles regarding capital flows and portfolio investment, which builds on modern macro-finance models of experience-based belief formation. Individual experiences of past macroeconomic outcomes have been shown to exert a long-lasting influence on beliefs about future realizations, and to explain domestic stock-market investment. We argue that experience effects can explain the tendency of investors to hold an over proportional fraction of their equity wealth in domestic stocks (home bias), to invest in domestic equity markets in periods of domestic crises (retrenchment), and to withdraw capital from foreign equity markets in periods of foreign crises (fickleness). Experience-based learning generates additional implications regarding the strength of these puzzles in times of higher or lower economic activity and depending on the demographic composition of market participants. We test and confirm these predictions in the data.


title: Depth Completion Using a View-constrained Deep Prior

abstract: Recent work has shown that the structure of convolutional neural networks (CNNs) induces a strong prior that favors natural images. This prior, known as a deep image prior (DIP), is an effective regularizer in inverse problems such as image denoising and inpainting. We extend the concept of the DIP to depth images. Given color images and noisy and incomplete target depth maps, we optimize a randomly-initialized CNN model to reconstruct a depth map restored by virtue of using the CNN network structure as a prior combined with a view-constrained photo-consistency loss. This loss is computed using images from a geometrically calibrated camera from nearby viewpoints. We apply this deep depth prior for inpainting and refining incomplete and noisy depth maps within both binocular and multi-view stereo pipelines. Our quantitative and qualitative evaluation shows that our refined depth maps are more accurate and complete, and after fusion, produces dense 3D models of higher quality.


title: GhostImage: Remote Perception Attacks against Camera-based Image Classification Systems

abstract: In vision-based object classification systems imaging sensors perceive the environment and machine learning is then used to detect and classify objects for decision-making purposes; e.g., to maneuver an automated vehicle around an obstacle or to raise an alarm to indicate the presence of an intruder in surveillance settings. In this work we demonstrate how the perception domain can be remotely and unobtrusively exploited to enable an attacker to create spurious objects or alter an existing object. An automated system relying on a detection/classification framework subject to our attack could be made to undertake actions with catastrophic results due to attacker-induced misperception. We focus on camera-based systems and show that it is possible to remotely project adversarial patterns into camera systems by exploiting two common effects in optical imaging systems, viz., lens flare/ghost effects and auto-exposure control. To improve the robustness of the attack to channel effects, we generate optimal patterns by integrating adversarial machine learning techniques with a trained end-to-end channel model. We experimentally demonstrate our attacks using a low-cost projector, on three different image datasets, in indoor and outdoor environments, and with three different cameras. Experimental results show that, depending on the projector-camera distance, attack success rates can reach as high as 100% and under targeted conditions.


title: Weakly Supervised Temporal Action Localization Using Deep Metric Learning

abstract: Temporal action localization is an important step towards video understanding. Most current action localization methods depend on untrimmed videos with full temporal annotations of action instances. However, it is expensive and time-consuming to annotate both action labels and temporal boundaries of videos. To this end, we propose a weakly supervised temporal action localization method that only requires video-level action instances as supervision during training. We propose a classification module to generate action labels for each segment in the video, and a deep metric learning module to learn the similarity between different action instances. We jointly optimize a balanced binary cross-entropy loss and a metric loss using a standard backpropagation algorithm. Extensive experiments demonstrate the effectiveness of both of these components in temporal localization. We evaluate our algorithm on two challenging untrimmed video datasets: THUMOS14 and ActivityNet1.2. Our approach improves the current state-of-the-art result for THUMOS14 by 6.5% mAP at IoU threshold 0.5, and achieves competitive performance for ActivityNet1.2.


title: Convergence to quasi-stationarity through Poincar\'e inequalities and Bakry-Emery criteria

abstract: This paper aims to provide some tools coming from functional inequalities to deal with quasi-stationarity for absorbed Markov processes. First, it is shown how a Poincar\'e inequality related to a suitable Doob transform entails exponential convergence of conditioned distributions to a quasi-stationary distribution in total variation and in $1$-Wasserstein distance. A special attention is paid to multi-dimensional diffusion processes, for which the aforementioned Poincar\'e inequality is implied by an easier-to-check Bakry-\'{E}mery condition depending on the right eigenvector for the sub-Markovian generator, which is not always known. Under additional assumptions on the potential, it is possible to bypass this lack of knowledge showing that exponential quasi-ergodicity is entailed by the classical Bakry-\'{E}mery condition.


title: Isogeometric solution of Helmholtz equation with Dirichlet boundary condition: numerical experiences

abstract: In this paper we use the Isogeometric method to solve the Helmholtz equation with nonhomogeneous Dirichlet boundary condition over a bounded physical domain. Starting from the variational formulation of the problem, we show with details how to apply the isogeometric approach to obtain an approximation of the solution using biquadratic B-spline functions. To illustrate the power of the method we solve several difficult problems, which are particular cases of the Helmholtz equation, where the solution has discontinuous gradient in some points, or it is highly oscillatory. For these problems we explain how to select the knots of B-spline quadratic functions and how to insert knew knots in order to obtain good approximations of the exact solution on regions with irregular boundary. The results, obtained with our Julia implementation of the method, prove that isogeometric approach produces approximations with a relative small error and computational cost.


title: Current vortices in aromatic carbon molecules

abstract: The local current flow through three small aromatic carbon molecules, namely benzene, naphthalene and anthracene, is studied. Applying density functional theory and the non-equilibrium Green's function method for transport, we demonstrate that pronounced current vortices exist at certain electron energies for these molecules. The intensity of these circular currents, which appear not only at the anti-resonances of the transmission but also in vicinity of its maxima, can exceed the total current flowing through the molecular junction and generate considerable magnetic fields. The $\pi$ electron system of the molecular junctions is emulated experimentally by a network of macroscopic microwave resonators. The local current flows in these experiments confirm the existence of current vortices as a robust property of ring structures. The circular currents can be understood in terms of a simple nearest-neighbor tight-binding H\"uckel model. Current vortices are caused by the interplay of the complex eigenstates of the open system which have energies close-by the considered electron energy. Degeneracies, as observed in benzene and anthracene, can thus generate strong circular currents, but also non-degenerate systems like naphthalene exhibit current vortices. Small imperfections and perturbations can couple otherwise uncoupled states and induce circular currents.


title: Point Cloud Segmentation based on Hypergraph Spectral Clustering

abstract: Hypergraph spectral analysis has emerged as an effective tool processing complex data structures in data analysis. The surface of a three-dimensional (3D) point cloud and the multilateral relationship among their points can be naturally captured by the high-dimensional hyperedges. This work investigates the power of hypergraph spectral analysis in unsupervised segmentation of 3D point clouds. We estimate and order the hypergraph spectrum from observed point cloud coordinates. By trimming the redundancy from the estimated hypergraph spectral space based on spectral component strengths, we develop a clustering-based segmentation method. We apply the proposed method to various point clouds, and analyze their respective spectral properties. Our experimental results demonstrate the effectiveness and efficiency of the proposed segmentation method.


title: Augmenting GAIL with BC for sample efficient imitation learning

abstract: Imitation learning is the problem of recovering an expert policy without access to a reward signal. Behavior cloning and GAIL are two widely used methods for performing imitation learning. Behavior cloning converges in a few iterations but doesn't achieve peak performance due to its inherent iid assumption about the state-action distribution. GAIL addresses the issue by accounting for the temporal dependencies when performing a state distribution matching between the agent and the expert. Although GAIL is sample efficient in the number of expert trajectories required, it is still not very sample efficient in terms of the environment interactions needed for convergence of the policy. Given the complementary benefits of both methods, we present a simple and elegant method to combine both methods to enable stable and sample efficient learning. Our algorithm is very simple to implement and integrates with different policy gradient algorithms. We demonstrate the effectiveness of the algorithm in low dimensional control tasks, gridworlds and in high dimensional image-based tasks.


title: Scientific Image Tampering Detection Based On Noise Inconsistencies: A Method And Datasets

abstract: Scientific image tampering is a problem that affects not only authors but also the general perception of the research community. Although previous researchers have developed methods to identify tampering in natural images, these methods may not thrive under the scientific setting as scientific images have different statistics, format, quality, and intentions. Therefore, we propose a scientific-image specific tampering detection method based on noise inconsistencies, which is capable of learning and generalizing to different fields of science. We train and test our method on a new dataset of manipulated western blot and microscopy imagery, which aims at emulating problematic images in science. The test results show that our method can detect various types of image manipulation in different scenarios robustly, and it outperforms existing general-purpose image tampering detection schemes. We discuss applications beyond these two types of images and suggest next steps for making detection of problematic images a systematic step in peer review and science in general.


title: MEMS-actuated Metasurface Alvarez Lens

abstract: Miniature lenses with tunable focus are essential components for many modern applications involving compact optical systems. While several tunable lenses have been reported with various tuning mechanisms, they often still face challenges in power consumption, tuning speed, fabrication cost, or production scalability. In this work, we have adapted the mechanism of an Alvarez lens - a varifocal composite lens in which lateral shifts of two optical elements with cubic phase surfaces give rise to a change in optical power - to construct a miniature, MEMS-actuated metasurface Alvarez lens. The implementation based on electrostatic microelectromechanical systems (MEMS) generates fast and controllable actuation with low power consumption. The utilization of metasurfaces, ultrathin and subwavelength-patterned diffractive optics, as the optical elements greatly reduces the device volume compared to systems using conventional freeform lenses. The entire MEMS Alvarez metalens is fully compatible with modern semiconductor fabrication technologies, granting it the potential to be mass-produced at a low unit cost. In the reported prototype to operate at 1550 nm wavelength, a total uniaxial displacement of 6.3 um is achieved in the Alvarez metalens with direct-current (DC) voltage application up to 20 V, modulating the focal position within a total tuning range of 68 um, producing more than an order of magnitude change in focal length and 1460 diopters change in optical power. The MEMS Alvarez metalens has a robust design that can potentially generate a much larger tuning range without substantially increasing device volume or energy consumption, making it desirable for a wide range of imaging and display applications.


title: Intersection torsion and analytic torsion of spaces with conical singularities

abstract: We prove an extension of the Cheeger-M\"{u}ller theorem to spaces with isolated conical singularities: the $L^2$-analytic torsion coincides with the Ray-Singer intersection torsion on an even dimensional space, and they are trivial, while the ratio is non trivial on an odd dimensional space, and the anomaly depends only on the link of the singularities. For this aim, we develop on one side a combinatorial cellular theory whose homology coincides with the intersection homology of Gregory and Macpherson, and where the Ray-Singer intersection torsion is well defined. On the other side, we elaborate the spectral theory for the Hodge-Laplace operator on the square integrable forms on a space with conical singularities {\it \'a la} Cheeger, and we extend the classical results of the Hodge theory and the analytic torsion.


title: SZ Scaling Relations of Galaxy Groups and Clusters Near the North Ecliptic Pole

abstract: SZ scaling relations have been used to test the self-similar prediction for massive galaxy clusters, but little attention has been given to individual galaxy groups. We investigate the scaling relations of galaxy groups and clusters near the North Ecliptic Pole using X-ray and SZ observations. This region of the sky is where both the ROSAT and Planck satellites achieved their deepest observations, permitting the investigation of lower mass systems. Our sample consists of 62 X-ray detected groups and clusters, spanning a mass range of $10^{13.4}M_{\odot}<~M_{500}<10^{15}M_{\odot}$ and redshifts of $0.03\lesssim z \lesssim 0.82$. We extract the total SZ flux from unresolved Planck data and estimate the fraction of the SZ flux within $R_{500}$ assuming two different pressure profiles. The SZ scaling relations were derived using a Bayesian technique that accounts for censored data. We find a power law slope of $1.73^{+0.19}_{-0.18}$ for the $Y_{SZ}-M_{500}$ relation which is consistent with the self-similar prediction of 5/3. The slope of $0.89^{+0.09}_{-0.08}$ for the $Y_{SZ}-L_{X,500}$ relation is in agreement with other observational studies but not the self-similar prediction of 5/4, and the $Y_{SZ}-Y_{X}$ relation lies below the 1:1 relation when the slope is fixed to unity. The determined scaling relations are dependent on the selected pressure profile, so resolved data are needed to determine the effects of AGN feedback. In addition, we find a number of potential cluster candidates in the Planck Compton maps that were not identified in our X-ray sample.


title: A Price-Per-Attention Auction Scheme Using Mouse Cursor Information

abstract: Payments in online ad auctions are typically derived from click-through rates, so that advertisers do not pay for ineffective ads. But advertisers often care about more than just clicks. That is, for example, if they aim to raise brand awareness or visibility. There is thus an opportunity to devise a more effective ad pricing paradigm, in which ads are paid only if they are actually noticed. This article contributes a novel auction format based on a pay-per-attention (PPA) scheme. We show that the PPA auction inherits the desirable properties (strategy-proofness and efficiency) as its pay-per-impression and pay-per-click counterparts, and that it also compares favourably in terms of revenues. To make the PPA format feasible, we also contribute a scalable diagnostic technology to predict user attention to ads in sponsored search using raw mouse cursor coordinates only, regardless of the page content and structure. We use the user attention predictions in numerical simulations to evaluate the PPA auction scheme. Our results show that, in relevant economic settings, the PPA revenues would be strictly higher than the existing auction payment schemes.


title: Learning Directed Locomotion in Modular Robots with Evolvable Morphologies

abstract: We generalize the well-studied problem of gait learning in modular robots in two dimensions. Firstly, we address locomotion in a given target direction that goes beyond learning a typical undirected gait. Secondly, rather than studying one fixed robot morphology we consider a test suite of different modular robots. This study is based on our interest in evolutionary robot systems where both morphologies and controllers evolve. In such a system, newborn robots have to learn to control their own body that is a random combination of the bodies of the parents. We apply and compare two learning algorithms, Bayesian optimization and HyperNEAT. The results of the experiments in simulation show that both methods successfully learn good controllers, but Bayesian optimization is more effective and efficient. We validate the best learned controllers by constructing three robots from the test suite in the real world and observe their fitness and actual trajectories. The obtained results indicate a reality gap that depends on the controllers and the shape of the robots, but overall the trajectories are adequate and follow the target directions successfully.


title: When does the Tukey median work?

abstract: We analyze the performance of the Tukey median estimator under total variation (TV) distance corruptions. Previous results show that under Huber's additive corruption model, the breakdown point is 1/3 for high-dimensional halfspace-symmetric distributions. We show that under TV corruptions, the breakdown point reduces to 1/4 for the same set of distributions. We also show that a certain projection algorithm can attain the optimal breakdown point of 1/2. Both the Tukey median estimator and the projection algorithm achieve sample complexity linear in dimension.


title: Complete solution of tropical vector inequalities using matrix sparsification

abstract: We examine the problem of finding all solutions of two-sided vector inequalities given in the tropical algebra setting, where the unknown vector multiplied by known matrices appears on both sides of the inequality. We offer a solution that uses sparse matrices to simplify the problem and to construct a family of solution sets, each defined by a sparse matrix obtained from one of the given matrices by setting some of its entries to zero. All solutions are then combined to present the result in a parametric form in terms of a matrix whose columns form a complete system of generators for the solution. We describe the computational technique proposed to solve the problem, remark on its computational complexity and illustrate this technique with numerical examples.


title: Accretion-Driven Sources in Spatially Resolved Ly$\alpha$ Emitters

abstract: Ly$\alpha$ emission is a standard tracer of starburst galaxies at high redshift. However, a number of local Ly$\alpha$ emitters (LAEs) are X-ray sources, suggesting a possible origin of Ly$\alpha$ photons other than young, hot stars, and which may be active at much later ages relative to the parent starburst. Resolved, nearby LAEs offer the opportunity to discriminate between diffuse X-ray emission arising from supernova-heated gas, high-mass X-ray binaries (HMXBs), or low-luminosity active galactic nuclei (LLAGN). We examine archival X-ray imaging from Chandra and XMM-Newton for 11 galaxies with spatially resolved Ly$\alpha$ imaging to determine the luminosity, morphology, and spectral hardness of the X-ray sources. The data are consistent with 9 of the 12, bright Ly$\alpha$ sources being driven by luminous, $10^{40}$ erg s$^{-1}$ X-ray sources. Half of the 8 Chandra sources are unresolved. The data suggest that nuclear activity, whether from LLAGN or nuclear starbursts, may play an important role in Ly$\alpha$ emission. Our results also suggest a significant link between Ly$\alpha$ emission and HMXBs, ULXs, and/or LLAGN, which would imply that Ly$\alpha$ may be generated over timescales 1 - 2 orders of magnitude longer than produced by photoionization from OB stars. This highlights a critical need to quantify the relative contributions of different sources across cosmic time, to interpret Ly$\alpha$ observations and the resulting properties of distant galaxies.


title: A Comprehensive Study of Bloated Dependencies in the Maven Ecosystem

abstract: Build automation tools and package managers have a profound influence on software development. They facilitate the reuse of third-party libraries, support a clear separation between the application's code and its external dependencies, and automate several software development tasks. However, the wide adoption of these tools introduces new challenges related to dependency management. In this paper, we propose an original study of one such challenge: the emergence of bloated dependencies. Bloated dependencies are libraries that the build tool packages with the application's compiled code but that are actually not necessary to build and run the application. This phenomenon artificially grows the size of the built binary and increases maintenance effort. We propose a tool, called DepClean, to analyze the presence of bloated dependencies in Maven artifacts. We analyze 9,639 Java artifacts hosted on Maven Central, which include a total of 723,444 dependency relationships. Our key result is that 75.1% of the analyzed dependency relationships are bloated. In other words, it is feasible to reduce the number of dependencies of Maven artifacts up to 1/4 of its current count. We also perform a qualitative study with 30 notable open-source projects. Our results indicate that developers pay attention to their dependencies and are willing to remove bloated dependencies: 18/21 answered pull requests were accepted and merged by developers, removing 131 dependencies in total.


title: Depth-Based Selective Blurring in Stereo Images Using Accelerated Framework

abstract: We propose a hybrid method for stereo disparity estimation by combining block and region-based stereo matching approaches. It generates dense depth maps from disparity measurements of only 18 % image pixels (left or right). The methodology involves segmenting pixel lightness values using fast K-Means implementation, refining segment boundaries using morphological filtering and connected components analysis; then determining boundaries' disparities using sum of absolute differences (SAD) cost function. Complete disparity maps are reconstructed from boundaries' disparities. We consider an application of our method for depth-based selective blurring of non-interest regions of stereo images, using Gaussian blur to de-focus users' non-interest regions. Experiments on Middlebury dataset demonstrate that our method outperforms traditional disparity estimation approaches using SAD and normalized cross correlation by up to 33.6 % and some recent methods by up to 6.1 %. Further, our method is highly parallelizable using CPU and GPU framework based on Java Thread Pool and APARAPI with speed-up of 5.8 for 250 stereo video frames (4,096 x 2,304).


title: The role of extensional rheology in the oral phase of swallowing: an in vitro study

abstract: Swallowing disorders deteriorate significantly the quality of life and can be lifethreatening. Texture modification using shear thinning food thickeners have proven effective in the management of dysphagia. Some studies have recently considered the positive role of cohesiveness, but there is still an insufficient understanding of the effect of the rheological properties of the liquid bolus on the dynamics of bolus transport, particularly when elasticity and extensional properties are combined with a shear thinning behaviour. This study combines steady shear, SAOS and capillary breakage extensional rheometry with an in vitro method to characterize the oral transport of elastic liquids. Bolus velocity and bolus length were measured from in vitro experiments using image analysis and related to the shear and extensional properties. A theory describing the bolus dynamics shows that the elastic and extensional properties do not influence significantly the oral transit dynamics. Conversely, in vitro results suggest that the extensional properties can affect the transition from the oral to the pharyngeal phase of swallowing, where thin, viscoelastic liquids lead to a fast transit, lower oral post-swallow residues and more compact bolus with a smoother surface, which may suggest a lower risk of fragmentation. This mechanistic explanation suggests that the benefit of the extensional properties of thin viscoelastic liquids in the management of dysphagia should be further evaluated in clinical trials.


title: Deleting object selective units in a fully-connected layer of deep convolutional networks improves classification performance

abstract: Neurons in the primate visual cortices show a wide range of stimulus selectivity. Some neurons respond to only a small fraction of stimulus images, whereas others respond to many stimulus images in a non-selective manner. It is unclear how stimulus selective and non-selective neurons contribute to visual object recognition. Herein, we examined the relationship between stimulus selectivity and the effect of deletion of units on task performance using fully a connected layer of two types of deep convolutional neural networks (DCNNs). Deleting a stimulus selective unit caused slight improvements of task performance, whereas deleting stimulus non-selective units caused a significant decrease in task performance. However, these findings do not imply that stimulus selective units have no use for the task. Indeed, better performance was obtained when the networks consisted of both stimulus selective and non-selective units.


title: Topology of random 2-dimensional cubical complexes

abstract: We study a natural model of random 2-dimensional cubical complex which is a subcomplex of an n-dimensional cube, and where every possible square $2$-face is included independently with probability p. Our main result is to exhibit a sharp threshold p=1/2 for homology vanishing as $n \to \infty$. This is a 2-dimensional analogue of the Burtin and Erd\H{o}s-Spencer theorems characterizing the connectivity threshold for random cubical graphs. Our main result can also be seen as a cubical counterpart to the Linial--Meshulam theorem for random 2-dimensional simplicial complexes. However, the models exhibit strikingly different behaviors. We show that if $p > 1 - \sqrt{1/2} \approx 0.2929$, then with high probability the fundamental group is a free group with one generator for every maximal $1$-dimensional face. As a corollary, homology vanishing and simple connectivity have the same threshold, even in the strong "hitting time" sense. This is in contrast with the simplicial case, where the thresholds are far apart. The proof depends on an iterative algorithm for contracting cycles -- we show that with high probability the algorithm rapidly and dramatically simplifies the fundamental group, converging after only a few steps.


title: Off-Axis Spiral Phase Mirrors for Generating High Intensity Optical Vortices

abstract: In this work, we present a novel and practical method for generating optical vortices in high-power laser systems. Off-axis spiral phase mirrors are used at oblique angles of incidence in the beam path after amplification and compression allowing for the generation of high-power optical vortices in almost any laser system. An off-axis configuration is possible via modification of the azimuthal gradient of the spiral phase helix and is demonstrated with a simple model using a discrete spiral staircase. This work presents the design, fabrication, and implementation of off-axis spiral phase mirrors in both low and high-power laser systems.


title: On FC-central extensions of groups of intermediate growth

abstract: It is shown that FC-central extensions retain sub-exponential volume growth. A large collection of FC-central extensions of the first Grigorchuk group is provided by the constructions in the works of Erschler and Kassabov-Pak. We show that in these examples subgroup separability is preserved. We introduce two new collections of extensions of the Grigorchuk group. One collection gives first examples of intermediate growth groups with centers isomorphic to $\mathbb{Z}^{\infty}$; and the other provides groups with prescribed oscillating intermediate growth functions.


title: Discovery of the soft electronic modes of the trimeron order in magnetite

abstract: The Verwey transition in magnetite (Fe$_3$O$_4$) is the first metal-insulator transition ever observed and involves a concomitant structural rearrangement and charge-orbital ordering. Due to the complex interplay of these intertwined degrees of freedom, a complete characterization of the low-temperature phase of magnetite and the mechanism driving the transition have long remained elusive. It was demonstrated in recent years that the fundamental building blocks of the charge-ordered structure are three-site small polarons called trimerons. However, electronic collective modes of this trimeron order have not been detected to date, and thus an understanding of the dynamics of the Verwey transition from an electronic point of view is still lacking. Here, we discover spectroscopic signatures of the low-energy electronic excitations of the trimeron network using terahertz light. By driving these modes coherently with an ultrashort laser pulse, we reveal their critical softening and hence demonstrate their direct involvement in the Verwey transition. These findings represent the first observation of soft modes in magnetite and shed new light on the cooperative mechanism at the origin of its exotic ground state.


title: Programmable anisotropic digital metasurface for independent manipulation of dual-polarized THz waves based on voltage-controlled phase transition of VO2 microwires

abstract: Programmable metasurfaces incorporated with tunable materials controlled by external stimuli can provide an unprecedented degree of freedom in dynamical wave manipulation in real-time. Beyond the scope of isotropic reconfigurable metasurfaces that only support unique tunable responses for excitation with a certain single-polarization, here, for the first time a new generation of ultrafast reprogrammable multi-functional anisotropic metasurface is reported to enable interchangeable missions independently for two orthogonal linearly polarized THz wavefront excitations. The reconfigurability of the proposed anisotropic meta-device was guaranteed by elaborately designed meta-particle composed of two perpendicular VO2 microwires whose operational statuses can be arbitrarily and dynamically tuned among two digital states of 0 and 1 independent for dual-polarization channels by mere changing the biasing voltage via two independent computer-programmed multichannel DC network. Capitalizing on such meta-particle design, single/multiple focused THz beam into a pre-determined focal spot and single/multiple focused vortex beams with interchangeable OAM modes satisfactorily generated by encoding a metasurface with different parabola and spiral-parabola-like coding sequences respectively. Besides controlling the near field behaviors, the versatility and flexibility of the proposed anisotropic metasurface also can furnish an inspiring platform to manipulate the far-field scattering patterns in each desired polarization channel. Anisotropic meta-device bringing new degrees of freedom in achieving versatile tunable control of differently polarized electromagnetic waves which will significantly enhance storage density and data capacities and has the potential for complicated wave manipulation such as ultrafast THz communication and dynamic holography.


title: Performance-Driven Internet Path Selection

abstract: Internet routing can often be sub-optimal, with the chosen routes providing worse performance than other available policy-compliant routes. This stems from the lack of visibility into route performance at the network layer. While this is an old problem, we argue that recent advances in programmable hardware finally open up the possibility of performance-aware routing in a deployable, BGP-compatible manner. We introduce ROUTESCOUT, a hybrid hardware/software system supporting performance-based routing at ISP scale. In the data plane, ROUTESCOUT leverages P4-enabled hardware to monitor performance across policy-compliant route choices for each destination, at line-rate and with a small memory footprint. ROUTESCOUT's control plane then asynchronously pulls aggregated performance metrics to synthesize a performance-aware forwarding policy. We show that ROUTESCOUT can monitor performance across most of an ISP's traffic, using only 4 MB of memory. Further, its control can flexibly satisfy a variety of operator objectives, with sub-second operating times.


title: Irreducibility of geometric Galois representations and the Tate conjecture for a family of elliptic surfaces

abstract: Using Calegari's result on the Fontaine-Mazur conjecture, we study the irreducibility of pure, regular, rank 3 weakly compatible systems of self-dual l-adic representations. As a consequence, we prove that the Tate conjecture holds for a family of elliptic surfaces defined over Q with geometric genus bigger than 1.