title: Use the force! Reduced variance estimators for densities, radial distribution functions and local mobilities in molecular simulations

abstract: Even though the computation of local properties, such as densities or radial distribution functions, remains one of the most standard goals of molecular simulation, it still largely relies on straighforward histogram-based strategies. Here we highlight recent developments of alternative approaches leading, from different perspectives, to estimators with a reduced variance compared to conventional binning. They all make use of the force acting on the particles, in addition to their position, and allow to focus on the non-trivial part of the problem in order to alleviate (or even remove in some cases) the catastrophic behaviour of histograms as the bin size decreases. The corresponding computational cost is negligible for molecular dynamics simulations, since the forces are already computed to generate the configurations, and the benefit of reduced-variance estimators is even larger when the cost of generating the latter is high, in particular with ab initio simulations. The force sampling approach may result in spurious residual non-zero values of the density in regions where no particles are present, but strategies are available to mitigate this artefact. We illustrate this approach on number, charge and polarization densities, radial distribution functions and local transport coefficients, discuss the connections between the various perspectives and suggest future challenges for this promising approach.


title: Deformed crystals and torsional oscillations of neutron star crust

abstract: We study breaking stress of deformed Coulomb crystals in a neutron star crust, taking into account electron plasma screening of ion-ion interaction; calculated breaking stress is fitted as a function of electron screening parameter. We apply the results for analyzing torsional oscillation modes in the crust of a non-magnetic star. We present exact analytic expression for the fundamental frequencies of such oscillations and show that the frequencies of all torsional oscillations are insensitive to the presence of the outer neutron star crust. The results can be useful in theoretical modeling of processes involving deformed Coulomb crystals in the crust of neutron stars, such as magnetic field evolution, torsional crustal or thermo-elastic quasi-periodic oscillations of flaring soft gamma-ray repeaters, pulsar glitches. The applicability of the results to soft gamma-ray repeaters is discussed.


title: Classification of descriptions and summary using multiple passes of statistical and natural language toolkits

abstract: This document describes a possible approach that can be used to check the relevance of a summary / definition of an entity with respect to its name. This classifier focuses on the relevancy of an entity's name to its summary / definition, in other words, it is a name relevance check. The percentage score obtained from this approach can be used either on its own or used to supplement scores obtained from other metrics to arrive upon a final classification; at the end of the document, potential improvements have also been outlined. The dataset that this document focuses on achieving an objective score is a list of package names and their respective summaries (sourced from pypi.org).


title: Fast calculation of p-values for one-sided Kolmogorov-Smirnov type statistics

abstract: A novel method for computing exact p-values of one-sided statistics from the Kolmogorov-Smirnov family is presented. It covers the Higher Criticism statistic, one-sided weighted Kolmogorov-Smirnov statistics, and the one-sided Berk-Jones statistics. In addition to p-values, the method can also be used for power analysis, finding alpha-level thresholds, and the construction of confidence bands for the empirical distribution function. With its quadratic runtime and numerical stability, the method easily scales to sample sizes in the hundreds of thousands and takes less than a second to run on a sample size of 25,000. This allows practitioners working on large data sets to use exact finite-sample computations instead of approximation schemes. The method is based on a reduction to the boundary-crossing probability of a pure jump stochastic process. FFT convolutions of two different sizes are then used to efficiently propagate the probabilities of the non-crossing paths. This approach has applications beyond statistics, for example in financial risk modeling.


title: Polar harmonic Maa{\ss} forms and holomorphic projection

abstract: Recently, Mertens, Ono, and the third author studied mock modular analogues of Eisenstein series. Their coefficients are given by small divisor functions, and have shadows given by classical Shimura theta functions. Here, we construct a class of small divisor functions $\sigma^{\text{sm}}_{2,\chi}$ and prove that these generate the holomorphic part of polar harmonic (weak) Maa{\ss} forms of weight $\frac{3}{2}$. To this end, we essentially compute the holomorphic projection of mixed harmonic Maa{\ss} forms in terms of Jacobi polynomials, but without assuming the structure of such forms. Instead, we impose translation invariance and suitable growth conditions on the Fourier coefficients. Specializing to a certain choice of characters, we obtain an identitiy between $\sigma^{\text{sm}}_{2,\ \text{Id}}$ and Hurwitz class numbers, and ask for more such identities. Moreover, we prove $p$-adic congruences of our small divisor functions when $p$ is an odd prime. If $\chi$ is non-trivial we rewrite the generating function of $\sigma^{\text{sm}}_{2,\chi}$ as a linear combination of Appell-Lerch sums and their first two normalized derivatives. Lastly, we offer a connection of our construction to meromorphic Jacobi forms of index $-1$ and false theta functions.


title: Simulation of the neutron-tagged deep inelastic scattering at EicC

abstract: Measuring the pionic structure function is of high interests as it provides a new area for understanding the strong interaction among quarks and testing the QCD predictions. To this purpose, we investigate the feasibility and the expected impacts of a possible experiment on EicC. We show the simulation results on the statistical precision of an EicC measurement, based on the model of leading neutron tagged DIS process and the parton distribution functions of the pion from JAM18 global analysis. The simulation shows that at EicC, the kinematics cover $x_{\pi}$ range from 0.01 to 1, and $Q^2$ range from 1 GeV$^2$ to 50 GeV$^2$, within the acceptable statistical uncertainty. Assuming an integrated luminosity of 50 fb$^{-1}$, in the low-$Q^{2}$ region ($<10$ GeV$^2$), the MC data show that the suggested measurement in the whole $x_{\rm\pi}$ range reaches very high precision ($<3$\%). To perform such an experiment, only the addition of a far-forward neutron calorimeter is needed.


title: On quaternionic rigid meromorphic cocyles

abstract: Recently, Darmon and Vonk initiated the theory of rigid meromorphic cocycles for the group $\mathrm{SL}_2(\mathbb{Z}[1/p])$. One of their major results is the algebraicity of the divisor associated to such a cocycle. We generalize the result to the setting of $\mathfrak{p}$-arithmetic subgroups of inner forms of $\mathrm{SL}_2$ over arbitrary number fields. The method of proof differs from the one of Darmon and Vonk. Their proof relies on an explicit description of the cohomology via modular symbols and continued fractions, whereas our main tool is Bieri-Eckmann duality for arithmetic groups.


title: Simulating gas kinematic studies of high-redshift galaxies with the HARMONI Integral Field Spectrograph

abstract: We present simulated observations of gas kinematics in galaxies formed in 10 pc resolution cosmological simulations with the hydrodynamical + N-body code RAMSES, using the new RAMSES2HSIM pipeline with the simulated observing pipeline (HSIM) for the ELT HARMONI IFU spectrograph. We post-process the galaxy's gas kinematics and H{\alpha} line emission for each simulation cell, and integrate the emission to produce an extinction-corrected input cube. We then simulate observations of the input cube with HARMONI, for a range of exposure times, spatial sampling, and spectral resolution. We analyze the mock observations to recover galaxy properties such as its kinematics and compare with the known simulation values. We investigate the cause of biases between the 'real' and 'observed' kinematic values, demonstrating the sensitivity of the inferred rotation curve to knowledge of the instrument's point spread function.


title: Quantifying the effect of oxygen on micro-mechanical properties of a near-alpha titanium alloy

abstract: Atom probe tomography (APT), electron probe microanalysis (EPMA) and nanoindentation were used to characterise the oxygen-rich layer on an in-service jet engine compressor disc, manufactured from the titanium alloy TIMETAL 834. Oxygen ingress was quantified and related to changes in mechanical properties through nanoindentation studies. The relationship between oxygen concentration, microstructure, crystal orientation and hardness has been explored through correlative hardness mapping, EPMA and electron backscatter diffraction (EBSD). The role of microstructure on oxygen ingress has been studied and oxygen ingress along a potential alpha/ beta interface was directly observed on the nanoscale using APT.


title: Prototype Completion with Primitive Knowledge for Few-Shot Learning

abstract: Few-shot learning is a challenging task, which aims to learn a classifier for novel classes with few examples. Pre-training based meta-learning methods effectively tackle the problem by pre-training a feature extractor and then fine-tuning it through the nearest centroid based meta-learning. However, results show that the fine-tuning step makes very marginal improvements. In this paper, 1) we figure out the key reason, i.e., in the pre-trained feature space, the base classes already form compact clusters while novel classes spread as groups with large variances, which implies that fine-tuning the feature extractor is less meaningful; 2) instead of fine-tuning the feature extractor, we focus on estimating more representative prototypes during meta-learning. Consequently, we propose a novel prototype completion based meta-learning framework. This framework first introduces primitive knowledge (i.e., class-level part or attribute annotations) and extracts representative attribute features as priors. Then, we design a prototype completion network to learn to complete prototypes with these priors. To avoid the prototype completion error caused by primitive knowledge noises or class differences, we further develop a Gaussian based prototype fusion strategy that combines the mean-based and completed prototypes by exploiting the unlabeled samples. Extensive experiments show that our method: (i) can obtain more accurate prototypes; (ii) outperforms state-of-the-art techniques by 2% - 9% in terms of classification accuracy. Our code is available online.


title: Accelerated gap collapse in a Slater antiferromagnet

abstract: We study the melting of long-range antiferromagnetic order in the Hubbard model after an interaction quench, using non-equilibrium dynamical mean-field theory. From previous studies, the system is known to quickly relax into a prethermal symmetry-broken state. Using a convergent truncation of the memory integrals in the Kadanoff Baym equations, we unravel the subsequent relaxation dynamics of this state over several orders of magnitude in time. At long times, the prethermal state can be characterized by a single slow variable which is related to the conduction band population. The dynamics of this variable does not follow the paradigmatic steady relaxation of pre-thermal states: It is highly nonlinear, with a pronounced speedup once the gap falls below a certain value. This behavior indicates that non-thermal order can be self-stabilized on some timescale. It is not reproduced using simple Fermi's golden rule estimate for the evolution of the conduction band population.


title: Jet substructure in $p$+$p$ and $p$+Au collisions at $\sqrt{s_{\text{NN}}} = 200$ GeV at STAR

abstract: In order to attribute the partonic energy loss experienced by jets (jet quenching) observed in A+A collisions to the traversal of partons through the hot QCD medium, it is necessary to examine the cold nuclear matter (CNM) effects on the corresponding jets. Such an examination has historically been done using $p$+A collisions. We present fully corrected measurements of the jet mass and SoftDrop groomed jet mass in $p$+$p$ and $p$+Au collisions at STAR at $\sqrt{s_{\rm{NN}}}=200$ GeV as a function of the event activity (EA) to increase or decrease the magnitude of CNM effects. EA is determined in the backward (Au-going) rapidity ($-5.0<\eta<-3.3$) by the STAR Beam-Beam Counter to minimize auto-correlation with jets measured at mid-rapidity. Comparison of the jet mass distribution in $p$+Au collisions to that in $p$+$p$ collisions allows for isolation of CNM effects in anticipation of an upcoming jet mass measurement in Au+Au collisions.


title: Thermally activated flow in models of amorphous solids

abstract: Amorphous solids yield at a critical value $\Sigma_c$ of the imposed stress $\Sigma$ through a dynamical phase transition. While sharp in athermal systems, the presence of thermal fluctuations leads to the rounding of the transition and thermally activated flow even below $\Sigma_c$. Here, we study the steady state thermal flow of amorphous solids using a mesoscopic elasto-plastic model. In the Hebraud-Lequex (HL) model we provide an analytical solution of the thermally activated flow at low temperature. We then propose a general scaling law that also describes the transition rounding. Finally, we find that the scaling law holds in numerical simulations of the HL model, a 2D elasto-plastic model, and in previously published molecular dynamics simulations of 2D Lennard-Jones glass.


title: News Recommender System: A review of recent progress, challenges, and opportunities

abstract: Nowadays, more and more news readers tend to read news online where they have access to millions of news articles from multiple sources. In order to help users to find the right and relevant content, news recommender systems (NRS) are developed to relieve the information overload problem and suggest news items that users might be interested in. In this paper, we highlight the major challenges faced by the news recommendation domain and identify the possible solutions from the state-of-the-art. Due to the rapid growth of building recommender systems using deep learning models, we divide our discussion in two parts. In the first part, we present an overview of the conventional recommendation solutions, datasets, evaluation criteria beyond accuracy and recommendation platforms being used in NRS. In the second part, we explain the deep learning-based recommendation solutions applied in NRS. Different from previous surveys, we also study the effects of news recommendations on user behavior and try to suggest the possible remedies to mitigate these effects. By providing the state-of-the-art knowledge, this survey can help researchers and practical professionals in their understanding of developments in news recommendation algorithms. It also sheds light on potential new directions


title: Visual Relationship Detection with Visual-Linguistic Knowledge from Multimodal Representations

abstract: Visual relationship detection aims to reason over relationships among salient objects in images, which has drawn increasing attention over the past few years. Inspired by human reasoning mechanisms, it is believed that external visual commonsense knowledge is beneficial for reasoning visual relationships of objects in images, which is however rarely considered in existing methods. In this paper, we propose a novel approach named Relational Visual-Linguistic Bidirectional Encoder Representations from Transformers (RVL-BERT), which performs relational reasoning with both visual and language commonsense knowledge learned via self-supervised pre-training with multimodal representations. RVL-BERT also uses an effective spatial module and a novel mask attention module to explicitly capture spatial information among the objects. Moreover, our model decouples object detection from visual relationship recognition by taking in object names directly, enabling it to be used on top of any object detection system. We show through quantitative and qualitative experiments that, with the transferred knowledge and novel modules, RVL-BERT achieves competitive results on two challenging visual relationship detection datasets. The source code is available at https://github.com/coldmanck/RVL-BERT.


title: Duality between Coronavirus Transmission and Air-based Macroscopic Molecular Communication

abstract: This contribution exploits the duality between a viral infection process and macroscopic air-based molecular communication. Airborne aerosol and droplet transmission through human respiratory processes is modeled as an instance of a multiuser molecular communication scenario employing respiratory-event-driven molecular variable-concentration shift keying. Modeling is aided by experiments that are motivated by a macroscopic air-based molecular communication testbed. In artificially induced coughs, a saturated aqueous solution containing a fluorescent dye mixed with saliva is released by an adult test person. The emitted particles are made visible by means of optical detection exploiting the fluorescent dye. The number of particles recorded is significantly higher in test series without mouth and nose protection than in those with a wellfitting medical mask. A simulation tool for macroscopic molecular communication processes is extended and used for estimating the transmission of infectious aerosols in different environments. Towards this goal, parameters obtained through self experiments are taken. The work is inspired by the recent outbreak of the coronavirus pandemic.


title: Josephson AC effect induced by weak gravitational field

abstract: In this paper we examine the possibility of a Josephson AC effect between two superconductors induced by the Earth's gravitational field, making use of the gravito-Maxwell formalism. The theoretical framework exploits the symmetry between the weak field expansion of the gravitational field and the standard Maxwell formulation, combined with the Josephson junction physics. We also suggest a suitable experimental setup, analysing also the related possible difficulties in measurements.


title: Modern Methods for Text Generation

abstract: Synthetic text generation is challenging and has limited success. Recently, a new architecture, called Transformers, allow machine learning models to understand better sequential data, such as translation or summarization. BERT and GPT-2, using Transformers in their cores, have shown a great performance in tasks such as text classification, translation and NLI tasks. In this article, we analyse both algorithms and compare their output quality in text generation tasks.


title: Classical Dynamics from Self-Consistency Equations in Quantum Mechanics -- Extended Version

abstract: During the last three decades, P. B\'{o}na has developed a non-linear generalization of quantum mechanics, based on symplectic structures for normal states and offering a general setting which is convenient to study the emergence of macroscopic classical dynamics from microscopic quantum processes. We propose here a new mathematical approach to Bona's one, with much brother domain of applicability. It highlights the central role of self-consistency. This leads to a mathematical framework in which the classical and quantum worlds are naturally entangled. We build a Poisson bracket for the polynomial functions on the hermitian weak$^{\ast }$ continuous functionals on any $C^{\ast }$-algebra. This is reminiscent of a well-known construction for finite-dimensional Lie algebras. We then restrict this Poisson bracket to states of this $C^{\ast }$-algebra, by taking quotients with respect to Poisson ideals. This leads to densely defined symmetric derivations on the commutative $C^{\ast }$-algebras of real-valued functions on the set of states. Up to a closure, these are proven to generate $C_{0}$-groups of contractions. As a matter of fact, in general commutative $C^{\ast }$-algebras, even the closableness of unbounded symmetric derivations is a non-trivial issue. Some new mathematical concepts are introduced, which are possibly interesting by themselves: the convex weak $^{\ast }$ G\^{a}teaux derivative, state-dependent $C^{\ast }$-dynamical systems and the weak$^{\ast }$-Hausdorff hypertopology, a new hypertopology used to prove, among other things, that convex weak$^{\ast }$-compact sets generically have weak$^{\ast }$-dense extreme boundary in infinite dimension. Our recent results on macroscopic dynamical properties of lattice-fermion and quantum-spin systems with long-range, or mean-field, interactions corroborate the relevance of the general approach we present here.


title: Current jumps in flat band ladders with Dzyaloshinskii-Moriya interactions

abstract: Localized magnons states, due to flat bands in the spectrum, is an intensely studied phenomenon and can be found in many frustrated magnets of different spatial dimensionality. The presence of Dzyaloshinskii-Moriya (DM) interactions may change radically the behavior in such systems. In this context, we study a paradigmatic example of a one-dimensional frustrated antiferromagnet, the sawtooth chain in the presence of DM interactions. Using both path integrals methods and numerical Density Matrix Renormalization Group, we revisit the physics of localized magnons and determine the consequences of the DM interaction on the ground state. We have studied the spin current behavior, finding three different regimes. First, a Luttinger-liquid regime where the spin current shows a step behavior as a function of parameter $D$, at a low magnetic field. Increasing the magnetic field, the system is in the Meissner phase at the $m = 1/2$ plateau, where the spin current is proportional to the DM parameter. Finally, further increasing the magnetic field and for finite $D$ there is a small stiffness regime where the spin current shows, at fixed magnetization, a jump to large values at $D = 0$, a phenomenon also due to the flat band.


title: Dynamic graph and polynomial chaos based models for contact tracing data analysis and optimal testing prescription

abstract: In this study, we address three important challenges related to disease transmissions such as the COVID-19 pandemic, namely, (a) providing an early warning to likely exposed individuals, (b) identifying individuals who are asymptomatic, and (c) prescription of optimal testing when testing capacity is limited. First, we present a dynamic-graph based SEIR epidemiological model in order to describe the dynamics of the disease propagation. Our model considers a dynamic network that accounts for the interactions between individuals over time, such as the ones obtained by manual or automated contact tracing, and uses a diffusion-reaction mechanism to describe the state dynamics. This dynamic graph model helps identify likely exposed/infected individuals to whom we can provide early warnings, even before they display any symptoms and/or are asymptomatic. Moreover, when the testing capacity is limited compared to the population size, reliable estimation of individual's health state and disease transmissibility using epidemiological models is extremely challenging. Thus, estimation of state uncertainty is paramount for both eminent risk assessment, as well as for closing the tracing-testing loop by optimal testing prescription. Therefore, we propose the use of arbitrary Polynomial Chaos Expansion, a popular technique used for uncertainty quantification, to represent the states, and quantify the uncertainties in the dynamic model. This design enables us to assign uncertainty of the state of each individual, and consequently optimize the testing as to reduce the overall uncertainty given a constrained testing budget. These tools can also be used to optimize vaccine distribution to curb the disease spread when limited vaccines are available. We present a few simulation results that illustrate the performance of the proposed framework, and estimate the impact of incomplete contact tracing data.


title: ICASSP 2021 Acoustic Echo Cancellation Challenge: Datasets, Testing Framework, and Results

abstract: The ICASSP 2021 Acoustic Echo Cancellation Challenge is intended to stimulate research in the area of acoustic echo cancellation (AEC), which is an important part of speech enhancement and still a top issue in audio communication and conferencing systems. Many recent AEC studies report good performance on synthetic datasets where the train and test samples come from the same underlying distribution. However, the AEC performance often degrades significantly on real recordings. Also, most of the conventional objective metrics such as echo return loss enhancement (ERLE) and perceptual evaluation of speech quality (PESQ) do not correlate well with subjective speech quality tests in the presence of background noise and reverberation found in realistic environments. In this challenge, we open source two large datasets to train AEC models under both single talk and double talk scenarios. These datasets consist of recordings from more than 2,500 real audio devices and human speakers in real environments, as well as a synthetic dataset. We open source two large test sets, and we open source an online subjective test framework for researchers to quickly test their results. The winners of this challenge will be selected based on the average Mean Opinion Score (MOS) achieved across all different single talk and double talk scenarios.


title: A history of the Magellanic Clouds and the European exploration of the Southern Hemisphere

abstract: The Magellanic Clouds were known before Magellan's voyage exactly 500 years ago, and were not given that name by Magellan himself or his chronicler Antonio Pigafetta. They were, of course, already known by local populations in South America, such as the Mapuche and Tupi-Guaranis. The Portuguese called them Clouds of the Cape, and scientific circles had long used the name of Nubecula Minor and Major. We trace how and when the name Magellanic Clouds came into common usage by following the history of exploration of the southern hemisphere and the southern sky by European explorers. While the name of Magellan was quickly associated to the Strait he discovered (within about 20 years only), the Clouds got their final scientific name only at the end of the 19th century, when scientists finally abandoned Latin as their communication language.


title: Early Time Dynamics and the Bulk

abstract: Deciphering the origin of collective phenomena in small colliding systems is one of contemporary focuses in heavy-ion physics. It entails penetrating the barrier between two previously separated research topics: thermalization/hydrodynamization and phenomenological studies of collectivity. I first review some recent progress in understanding thermalization/hydrodynamization in large colliding systems, centralized on bottom-up thermalization. Then, using a simple kinetic theory I demonstrate how the investigation of hydrodynamization is intertwined with the study of flow in small colliding systems. Connections of these studies to "hard probes" are also commented where possible.


title: Forecasting financial markets with semantic network analysis in the COVID-19 crisis

abstract: This paper uses a new textual data index for predicting stock market data. The index is applied to a large set of news to evaluate the importance of one or more general economic-related keywords appearing in the text. The index assesses the importance of the economic-related keywords, based on their frequency of use and semantic network position. We apply it to the Italian press and construct indices to predict Italian stock and bond market returns and volatilities in a recent sample period, including the COVID-19 crisis. The evidence shows that the index captures the different phases of financial time series well. Moreover, results indicate strong evidence of predictability for bond market data, both returns and volatilities, short and long maturities, and stock market volatility.


title: Nonexistence of NNSC fill-ins with large mean curvature

abstract: In this note we show that a closed Riemannian manifold does not admit a fill-in with nonnegative scalar curvature if the mean curvature is point-wise large. Similar result also holds for fill-ins with a negative scalar curvature lower bound.


title: The hit-and-run version of top-to-random

abstract: We study an example of a {\em hit-and-run} random walk on the symmetric group $\mathbf S_n$. Our starting point is the well understood {\em top-to-random} shuffle. In the hit-and-run version, at each {\em single step}, after picking the point of insertion, $j$, uniformly at random in $\{1,\dots,n\}$, the top card is inserted in the $j$-th position $k$ times in a row where $k$ is uniform in $\{0,1,\dots,j-1\}$. The question is, does this accelerate mixing significantly or not? We show that, in $L^2$ and sup-norm, this accelerates mixing at most by a constant factor (independent of $n$). Analyzing this problem in total variation is an interesting open question.


title: Defeasible reasoning in Description Logics: an overview on DL^N

abstract: DL^N is a recent approach that extends description logics with defeasible reasoning capabilities. In this paper we provide an overview on DL^N, illustrating the underlying knowledge engineering requirements as well as the characteristic features that preserve DL^N from some recurrent semantic and computational drawbacks. We also compare DL^N with some alternative nonmonotonic semantics, enlightening the relationships between the KLM postulates and DL^N.


title: Quick Streaming Algorithms for Maximization of Monotone Submodular Functions in Linear Time

abstract: We consider the problem of monotone, submodular maximization over a ground set of size $n$ subject to cardinality constraint $k$. For this problem, we introduce the first deterministic algorithms with linear time complexity; these algorithms are streaming algorithms. Our single-pass algorithm obtains a constant ratio in $\lceil n / c \rceil + c$ oracle queries, for any $c \ge 1$. In addition, we propose a deterministic, multi-pass streaming algorithm with a constant number of passes that achieves nearly the optimal ratio with linear query and time complexities. We prove a lower bound that implies no constant-factor approximation exists using $o(n)$ queries, even if queries to infeasible sets are allowed. An empirical analysis demonstrates that our algorithms require fewer queries (often substantially less than $n$) yet still achieve better objective value than the current state-of-the-art algorithms, including single-pass, multi-pass, and non-streaming algorithms.


title: Infinitesimal analysis without the Axiom of Choice

abstract: It is often claimed that analysis with infinitesimals requires more substantial use of the Axiom of Choice than traditional elementary analysis. The claim is based on the observation that the hyperreals entail the existence of nonprincipal ultrafilters over N, a strong version of the Axiom of Choice, while the real numbers can be constructed in ZF. The axiomatic approach to nonstandard methods refutes this objection. We formulate a theory SPOT in the st-$\in$-language which suffices to carry out infinitesimal arguments, and prove that SPOT is a conservative extension of ZF. Thus the methods of Calculus with infinitesimals are just as effective as those of traditional Calculus. The conclusion extends to large parts of ordinary mathematics and beyond. We also develop a stronger axiomatic system SCOT, conservative over ZF+ADC, which is suitable for handling such features as an infinitesimal approach to the Lebesgue measure. Proofs of the conservativity results combine and extend the methods of forcing developed by Enayat and Spector.


title: Nash equilibrium seeking under partial-decision information over directed communication networks

abstract: We consider the Nash equilibrium problem in a partial-decision information scenario. Specifically, each agent can only receive information from some neighbors via a communication network, while its cost function depends on the strategies of possibly all agents. In particular, while the existing methods assume undirected or balanced communication, in this paper we allow for non-balanced, directed graphs. We propose a fully-distributed pseudo-gradient scheme, which is guaranteed to converge with linear rate to a Nash equilibrium, under strong monotonicity and Lipschitz continuity of the game mapping. Our algorithm requires global knowledge of the communication structure, namely of the Perron-Frobenius eigenvector of the adjacency matrix and of a certain constant related to the graph connectivity. Therefore, we adapt the procedure to setups where the network is not known in advance, by computing the eigenvector online and by means of vanishing step sizes.


title: Closest separable state when measured by a quasi-relative entropy

abstract: It is well known that for pure states the relative entropy of entanglement is equal to the reduced entropy, and the closest separable state is explicitly known as well. The same holds for Renyi relative entropy per recent results. We ask the same question for a quasi-relative entropy of entanglement, which is an entanglement measure defined as the minimum distance to the set of separable state, when the distance is measured by the quasi-relative entropy. First, we consider a maximally entangled state, and show that the closest separable state is the same for any quasi-relative entropy as for the relative entropy of entanglement. Then, we show that this also holds for a certain class of functions and any pure state. And at last, we consider any pure state on two qubit systems and a large class of operator convex function. For these, we find the closest separable state, which may not be the same one as for the relative entropy of entanglement.


title: Exploration of End-to-end Synthesisers forZero Resource Speech Challenge 2020

abstract: A Spoken dialogue system for an unseen language is referred to as Zero resource speech. It is especially beneficial for developing applications for languages that have low digital resources. Zero resource speech synthesis is the task of building text-to-speech (TTS) models in the absence of transcriptions. In this work, speech is modelled as a sequence of transient and steady-state acoustic units, and a unique set of acoustic units is discovered by iterative training. Using the acoustic unit sequence, TTS models are trained. The main goal of this work is to improve the synthesis quality of zero resource TTS system. Four different systems are proposed. All the systems consist of three stages: unit discovery, followed by unit sequence to spectrogram mapping, and finally spectrogram to speech inversion. Modifications are proposed to the spectrogram mapping stage. These modifications include training the mapping on voice data, using x-vectors to improve the mapping, two-stage learning, and gender-specific modelling. Evaluation of the proposed systems in the Zerospeech 2020 challenge shows that quite good quality synthesis can be achieved.


title: Dialogue-adaptive Language Model Pre-training From Quality Estimation

abstract: Pre-trained language models (PrLMs) have achieved great success on a wide range of natural language processing tasks by virtue of the universal language representation ability obtained by self-supervised learning on a large corpus. These models are pre-trained on standard plain texts with general language model (LM) training objectives, which would be insufficient to model dialogue-exclusive attributes like specificity and informativeness reflected in these tasks that are not explicitly captured by the pre-trained universal language representations. In this work, we propose dialogue-adaptive pre-training objectives (DAPO) derived from quality estimation to simulate dialogue-specific features, namely coherence, specificity, and informativeness. As the foundation for model pre-training, we synthesize a new dialogue corpus and build our training set with two unsupervised methods: 1) coherence-oriented context corruption, including utterance ordering, insertion, and replacement, to help the model capture the coherence inside the dialogue contexts; and 2) specificity-oriented automatic rescoring, which encourages the model to measure the quality of the synthesized data for dialogue-adaptive pre-training by considering specificity and informativeness. Experimental results on widely used open-domain response selection and quality estimation benchmarks show that DAPO significantly improves the baseline models and achieves state-of-the-art performance on the MuTual leaderboard, verifying the effectiveness of estimating quality evaluation factors into pre-training.


title: Unsupervised Domain Adaptation via CycleGAN for White Matter Hyperintensity Segmentation in Multicenter MR Images

abstract: Automatic segmentation of white matter hyperintensities in magnetic resonance images is of paramount clinical and research importance. Quantification of these lesions serve as a predictor for risk of stroke, dementia and mortality. During the last years, convolutional neural networks (CNN) specifically tailored for biomedical image segmentation have outperformed all previous techniques in this task. However, they are extremely data-dependent, and maintain a good performance only when data distribution between training and test datasets remains unchanged. When such distribution changes but we still aim at performing the same task, we incur in a domain adaptation problem (e.g. using a different MR machine or different acquisition parameters for training and test data). In this work, we explore the use of cycle-consistent adversarial networks (CycleGAN) to perform unsupervised domain adaptation on multicenter MR images with brain lesions. We aim at learning a mapping function to transform volumetric MR images between domains, which are characterized by different medical centers and MR machines with varying brand, model and configuration parameters. Our experiments show that CycleGAN allows us to reduce the Jensen-Shannon divergence between MR domains, enabling automatic segmentation with CNN models on domains where no labeled data was available.


title: Optimisation of large-radius jet reconstruction for the ATLAS detector in 13 TeV proton-proton collisions

abstract: Jet substructure has provided new opportunities for searches and measurements at the LHC, and has seen continuous development since the optimization of the large-radius jet definition used by ATLAS was performed during Run 1. A range of new inputs to jet reconstruction, pile-up mitigation techniques and jet grooming algorithms motivate an optimisation of large-radius jet reconstruction for ATLAS. In this paper, this optimisation procedure is presented, and the performance of a wide range of large-radius jet definitions is compared. The relative performance of these jet definitions is assessed using metrics such as their pileup stability, ability to identify hadronically decaying $W$ bosons and top quarks with large transverse momenta. A new type of jet input object, called a 'unified flow object' is introduced which combines calorimeter- and inner-detector-based signals in order to achieve optimal performance across a wide kinematic range. Large-radius jet definitions are identified which significantly improve on the current ATLAS baseline definition, and their modelling is studied using $pp$ collisions recorded by the ATLAS detector at $\sqrt{s}=13$ TeV during 2017.


title: Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma

abstract: The CAP theorem says that no blockchain can be live under dynamic participation and safe under temporary network partitions. To resolve this availability-finality dilemma, we formulate a new class of flexible consensus protocols, ebb-and-flow protocols, which support a full dynamically available ledger in conjunction with a finalized prefix ledger. The finalized ledger falls behind the full ledger when the network partitions but catches up when the network heals. Gasper, the current candidate protocol for Ethereum 2.0's beacon chain, combines the finality gadget Casper FFG with the LMD GHOST fork choice rule and aims to achieve this property. However, we discovered an attack in the standard synchronous network model, highlighting a general difficulty with existing finality-gadget-based designs. We present a construction of provably secure ebb-and-flow protocols with optimal resilience. Nodes run an off-the-shelf dynamically available protocol, take snapshots of the growing available ledger, and input them into a separate off-the-shelf BFT protocol to finalize a prefix. We explore connections with flexible BFT and improve upon the state-of-the-art for that problem.


title: Remarks on Joachimsthal integral and Poritsky property

abstract: The billiard in an ellipse has an integral linear in momentum, the Joachimsthal integral. We show that the existence of such an integral characterizes conics. We extend this result to the spherical and hyperbolic geometries and to higher dimensions. We connect the existence of Joachimsthal integral with the Poritsky property, a property of billiard curves, called so after H. Poritsky whose important 1950 paper was one of the early studies of the billiard problem.


title: Semi-Anchored Detector for One-Stage Object Detection

abstract: A standard one-stage detector is comprised of two tasks: classification and regression. Anchors of different shapes are introduced for each location in the feature map to mitigate the challenge of regression for multi-scale objects. However, the performance of classification can degrade due to the highly class-imbalanced problem in anchors. Recently, many anchor-free algorithms have been proposed to classify locations directly. The anchor-free strategy benefits the classification task but can lead to sup-optimum for the regression task due to the lack of prior bounding boxes. In this work, we propose a semi-anchored framework. Concretely, we identify positive locations in classification, and associate multiple anchors to the positive locations in regression. With ResNet-101 as the backbone, the proposed semi-anchored detector achieves 43.6% mAP on COCO data set, which demonstrates the state-of-art performance among one-stage detectors.


title: Quantum entanglement and the non-orientability of spacetime

abstract: We argue, in the context of Ads/CFT correspondence, that the degree of entanglement on the CFTs side determines the orientation of space and time on the dual global spacetime. That is, the global spacetime dual to entangled copies of field theory is non-orientable, while the product state of the CFTs results in an orientable spacetime. As a result, disentangling the degrees of freedom between two copies of CFT implies, on the gravity side, the transition from a non-orientable spacetime to a spacetime having a definite orientation of space and time, thus an orientable spacetime. We conclude showing that topology change induced by decreasing the entanglement between two sets of degrees of freedom corresponds to a topological blow down operation.


title: Proximity Sensing: Modeling and Understanding Noisy RSSI-BLE Signals and Other Mobile Sensor Data for Digital Contact Tracing

abstract: As we await a vaccine, social-distancing via efficient contact tracing has emerged as the primary health strategy to dampen the spread of COVID-19. To enable efficient digital contact tracing, we present a novel system to estimate pair-wise individual proximity, via a joint model of Bluetooth Low Energy (BLE) signals with other on-device sensors (accelerometer, magnetometer, gyroscope). We explore multiple ways of interpreting the sensor data stream (time-series, histogram, etc) and use several statistical and deep learning methods to learn representations for sensing proximity. We report the normalized Decision Cost Function (nDCF) metric and analyze the differential impact of the various input signals, as well as discuss various challenges associated with this task.


title: Near-linear Size Hypergraph Cut Sparsifiers

abstract: Cuts in graphs are a fundamental object of study, and play a central role in the study of graph algorithms. The problem of sparsifying a graph while approximately preserving its cut structure has been extensively studied and has many applications. In a seminal work, Bencz\'ur and Karger (1996) showed that given any $n$-vertex undirected weighted graph $G$ and a parameter $\varepsilon \in (0,1)$, there is a near-linear time algorithm that outputs a weighted subgraph $G'$ of $G$ of size $\tilde{O}(n/\varepsilon^2)$ such that the weight of every cut in $G$ is preserved to within a $(1 \pm \varepsilon)$-factor in $G'$. The graph $G'$ is referred to as a {\em $(1 \pm \varepsilon)$-approximate cut sparsifier} of $G$. A natural question is if such cut-preserving sparsifiers also exist for hypergraphs. Kogan and Krauthgamer (2015) initiated a study of this question and showed that given any weighted hypergraph $H$ where the cardinality of each hyperedge is bounded by $r$, there is a polynomial-time algorithm to find a $(1 \pm \varepsilon)$-approximate cut sparsifier of $H$ of size $\tilde{O}(\frac{nr}{\varepsilon^2})$. Since $r$ can be as large as $n$, in general, this gives a hypergraph cut sparsifier of size $\tilde{O}(n^2/\varepsilon^2)$, which is a factor $n$ larger than the Bencz\'ur-Karger bound for graphs. It has been an open question whether or not Bencz\'ur-Karger bound is achievable on hypergraphs. In this work, we resolve this question in the affirmative by giving a new polynomial-time algorithm for creating hypergraph sparsifiers of size $\tilde{O}(n/\varepsilon^2)$.


title: Short proof of a spectral Chernoff bound for local Hamiltonians

abstract: We give a simple proof of a Chernoff bound for the spectrum of a $k$-local Hamiltonian based on Weyl's inequalities. The complexity of estimating the spectrum's $\epsilon(n)$-th quantile up to constant relative error thus exhibits the following dichotomy: For $\epsilon(n)=d^{-n}$ the problem is NP-hard and maybe even QMA-hard, yet there exists constant $a>1$ such that the problem is trivial for $\epsilon(n)=a^{-n}$. We note that a related Chernoff bound due to Kuwahara and Saito (Ann. Phys. '20) for a generalized problem is also sufficient to establish such a dichotomy, its proof relying on a careful analysis of the \emph{cluster expansion}.


title: Correlations constrained by composite measurements

abstract: How to understand the set of correlations admissible in nature is one outstanding open problem in the core of the foundations of quantum theory. Here we take a complementary viewpoint to the device-independent approach, and explore the correlations that physical theories may feature when restricted by some particular constraints on their measurements. We show that demanding that a theory exhibits {a composite} measurement imposes a hierarchy of constraints on the structure of its sets of states and effects, which translate to a hierarchy of constraints on the allowed correlations themselves. We moreover focus on the particular case where one demands the existence of a correlated measurement that reads out the parity of local fiducial measurements. By formulating a non-linear Optimisation Problem, and semidefinite relaxations of it, we explore the consequences of the existence of such a parity reading measurement for violations of Bell inequalities. In particular, we show that in certain situations this assumption has surprisingly strong consequences, namely, that Tsirelson's bound can be recovered.


title: The Folded Spin-1/2 XXZ Model: I. Diagonalisation, Jamming, and Ground State Properties

abstract: We study an effective Hamiltonian generating time evolution of states on intermediate time scales in the strong-coupling limit of the spin-1/2 XXZ model. To leading order, it describes an integrable model with local interactions. We solve it completely by means of a coordinate Bethe Ansatz that manifestly breaks the translational symmetry. We demonstrate the existence of exponentially many jammed states and estimate their stability under the leading correction to the effective Hamiltonian. Some ground state properties of the model are discussed.


title: Correlation-Informed Permutation of Qubits for Reducing Ansatz Depth in VQE

abstract: The Variational Quantum Eigensolver (VQE) is a method of choice to solve the electronic structure problem for molecules on near-term gate-based quantum computers. However, the circuit depth is expected to grow significantly with problem size. Increased depth can both degrade the accuracy of the results and reduce trainability. In this work, we propose a novel approach to reduce ansatz circuit depth. Our approach, called PermVQE, adds an additional optimization loop to VQE that permutes qubits in order to solve for the qubit Hamiltonian that minimizes long-range correlations in the ground state. The choice of permutations is based on mutual information, which is a measure of interaction between electrons in spin-orbitals. Encoding strongly interacting spin-orbitals into proximal qubits on a quantum chip naturally reduces the circuit depth needed to prepare the ground state. For representative molecular systems, LiH, H$_2$, (H$_2$)$_2$, H$_4$, and H$_3^+$, we demonstrate for linear qubit connectivity that placing entangled qubits in close proximity leads to shallower depth circuits required to reach a given eigenvalue-eigenvector accuracy. This approach can be extended to any qubit connectivity and can significantly reduce the depth required to reach a desired accuracy in VQE. Moreover, our approach can be applied to other variational quantum algorithms beyond VQE.


title: Hyperbolic 4-manifolds with perfect circle-valued Morse functions

abstract: We exhibit some (compact and cusped) finite-volume hyperbolic four-manifolds M with perfect circle-valued Morse functions, that is circle-valued Morse functions $f\colon M \to S^1$ with only index 2 critical points. We construct in particular one example where every generic circle-valued function is homotopic to a perfect one. An immediate consequence is the existence of infinitely many finite-volume (compact and cusped) hyperbolic 4-manifolds $M$ having a handle decomposition with bounded numbers of 1- and 3-handles, so with bounded Betti numbers $b_1(M)$, $b_3(M)$ and rank of $\pi_1(M)$.


title: Proposal-Free Volumetric Instance Segmentation from Latent Single-Instance Masks

abstract: This work introduces a new proposal-free instance segmentation method that builds on single-instance segmentation masks predicted across the entire image in a sliding window style. In contrast to related approaches, our method concurrently predicts all masks, one for each pixel, and thus resolves any conflict jointly across the entire image. Specifically, predictions from overlapping masks are combined into edge weights of a signed graph that is subsequently partitioned to obtain all final instances concurrently. The result is a parameter-free method that is strongly robust to noise and prioritizes predictions with the highest consensus across overlapping masks. All masks are decoded from a low dimensional latent representation, which results in great memory savings strictly required for applications to large volumetric images. We test our method on the challenging CREMI 2016 neuron segmentation benchmark where it achieves competitive scores.


title: Toy models of black hole, white hole and wormhole: thermal effects and information loss problem

abstract: In this paper, by setting proper boundaries in the Minkowski spacetime, we construct three toy model spacetimes, a toy black hole, a toy white hole, and a toy wormhole. Based on these model spacetimes, we discuss the Hawking radiation and the information loss problem. By counting the number of the field modes inside and outside the horizon, we show the thermal radiation of the toy black hole. We show that the white hole have a thermal absorption. We show that in the whole toy wormhole spacetime, there is no information lost. In addition, we show the black hole radiation and the white hole absorption are independent of the choices of boundary conditions at the singularity. We also show the physical effects caused by two particular boundary conditions.


title: Primes in short intervals: Heuristics and calculations

abstract: We formulate, using heuristic reasoning, precise conjectures for the range of the number of primes in intervals of length $y$ around $x$, where $y\ll (\log x)^2$. In particular we conjecture that the maximum grows surprisingly slowly as $y$ ranges from $\log x$ to $(\log x)^2$. We will show that our conjectures are somewhat supported by available data, though not so well that there may not be room for some modification.


title: The Beginning of the Nuclear Age

abstract: The article below is based on lectures delivered to new students remotely in the course of orientation. It presents the quantum theory tree from its inception a century ago till today. The main focus is on the nuclear physics - HEP branch.


title: Inclination damping on Callisto

abstract: Callisto is thought to possess a subsurface ocean, which will dissipate energy due to obliquity tides. This dissipation should have damped any primordial inclination within 1 Gyr - and yet Callisto retains a present-day inclination. We argue that Callisto's inclination and eccentricity were both excited in the relatively recent past (~0.3 Gyr). This excitation occurred as Callisto migrated outwards according to the "resonance-locking" model and passed through a 2:1 mean-motion resonance with Ganymede. Ganymede's orbital elements were likewise excited by the same event. To explain the present-day orbital elements we deduce a solid-body tidal k2/Q~0.05 for Callisto and a significantly lower value for Ganymede.


title: Strong approximation of Gaussian $\beta$-ensemble characteristic polynomials: the edge regime and the stochastic Airy function

abstract: We investigate the characteristic polynomials of the Gaussian $\beta$-ensemble for general $\beta>0$ through its transfer matrix recurrence. We show that the rescaled characteristic polynomial converges to a random entire function in a neighborhood of the edge of the limiting spectrum. This random entire function, called the stochastic Airy function, is the unique (up to scaling) $L^2$ solution to the stochastic Airy equation, a family of second order stochastic differential equations. Moreover, we obtain a coupling between the characteristic polynomial and a solution of the stochastic Airy equation which allows us to show that for any $\epsilon>0$, these two function are uniformly close by $N^{-1/6 + \epsilon}$ with overwhelming probability. These results build on the results of the authors in which the hyperbolic portion of the transfer matrix recurrence for the characteristic polynomial is analyzed.


title: HSolo: Homography from a single affine aware correspondence

abstract: The performance of existing robust homography estimation algorithms is highly dependent on the inlier rate of feature point correspondences. In this paper, we present a novel procedure for homography estimation that is particularly well suited for inlier-poor domains. By utilizing the scale and rotation byproducts created by affine aware feature detectors such as SIFT and SURF, we obtain an initial homography estimate from a single correspondence pair. This estimate allows us to filter the correspondences to an inlier-rich subset for use with a robust estimator. Especially at low inlier rates, our novel algorithm provides dramatic performance improvements.


title: Uncovering turbulent plasma dynamics via deep learning from partial observations

abstract: One of the most intensely studied aspects of magnetic confinement fusion is edge plasma turbulence which is critical to reactor performance and operation. Drift-reduced Braginskii two-fluid theory has for decades been widely applied to model boundary plasmas with varying success. Towards better understanding edge turbulence in both theory and experiment, we demonstrate that physics-informed neural networks constrained by partial differential equations can accurately learn turbulent fields consistent with the two-fluid theory from just partial observations of a synthetic plasma's electron density and temperature in contrast with conventional equilibrium models. These techniques present a novel paradigm for the advanced design of plasma diagnostics and validation of magnetized plasma turbulence theories in challenging thermonuclear environments.


title: Canceling the cavity length induced phase noise in an optical ring cavity for phase shift measurement and spin squeezing

abstract: We demonstrate a new method of light phase shift measurement using a high-finesse optical ring cavity which exhibits reduced phase noise due to cavity length fluctuations. Two laser beams with a frequency difference of one cavity free spectral range are simultaneously resonant with the cavity, demonstrating noise correlations in the error signals due to the common-mode cavity length fluctuations. The differential error signal shows a 30 dB reduction in cavity noise down to the noise floor in a frequency range up to half the cavity linewidth ($\delta\nu/2 \simeq 30$ kHz). Various noise sources are analyzed and their contributions to the noise floor are evaluated. Additionally, we apply this noise-reduced phase shift measurement scheme in a simulated spin-squeezing experiment where we have achieved a factor of 40 improvement in phase sensitivity with a phase resolution of 0.7 mrad, which may remove one important barrier against attaining highly spin-squeezed states. The demonstrated method is the first reported measurement using an optical ring cavity and two independent beams, a flexible situation. This method can find direct application to non-destructive measurements in quantum systems, such as for the generation of spin-squeezed states in atom interferometers and atomic clocks.


title: Directional quantile classifiers

abstract: We introduce classifiers based on directional quantiles. We derive theoretical results for selecting optimal quantile levels given a direction, and, conversely, an optimal direction given a quantile level. We also show that the misclassification rate is infinitesimal if population distributions differ by at most a location shift and if the number of directions is allowed to diverge at the same rate of the problem's dimension. We illustrate the satisfactory performance of our proposed classifiers in both small and high dimensional settings via a simulation study and a real data example. The code implementing the proposed methods is publicly available in the R package Qtools.


title: Advanced anneal paths for improved quantum annealing

abstract: Advances in quantum annealing technology make it possible to obtain high quality approximate solutions of important NP-hard problems. With the newer generations of the D-Wave annealer, more advanced features are available which allow the user to have greater control of the anneal process. In this contribution, we study how such features can help in improving the quality of the solutions returned by the annealer. Specifically, we focus on two of these features: reverse annealing and h-gain. Reverse annealing (RA) was designed to allow refining a known solution by backward annealing from a classical state representing the solution to a mid-anneal point where a transverse field is present, followed by an ordinary forward anneal, which is hoped to improve on the previous solution. The h-gain (HG) feature stands for time-dependent gain in Hamiltonian linear ($h$) biases and was originally developed to help study freezeout times and phase transitions in spin glasses. Here we apply HG to bias the quantum state in the beginning of the annealing process towards the known solution as in the RA case, but using a different apparatus. We also investigate a hybrid reverse annealing/h-gain schedule, which has a backward phase resembling an RA step and whose forward phase uses the HG idea. To optimize the parameters of the schedules, we employ a Bayesian optimization framework. We test all techniques on a variety of input problems including the weighted Maximum Cut problem and the weighted Maximum Clique problem. Our results show that each technique may dominate the others depending on the input instance, and that the HG technique is a viable alternative to RA for some problems.


title: Digital Signal Processing for Molecular Communication via Chemical Reactions-based Microfluidic Circuits

abstract: Chemical reactions-based microfluidic circuits are expected to provide new opportunities to perform signal processing functions over molecular domain. To realize this vision, in this article, we exploit and present the digital signal processing capabilities of chemical reactions-based microfluidic circuits. Aiming to facilitate microfluidic circuit design, we describe a microfluidic circuit using a five-level architecture: 1) Molecular Propagation; 2) Chemical Transformation; 3) Microfluidic Modules; 4) Microfluidic Logic Gates; and 5) Microfluidic Circuits. We first identify the components at Levels 1 and 2, and present how their combinations can build the basic modules for Level 3. We then assemble basic modules to construct five types of logic gate for Level 4, including AND, NAND, OR, NOR, and XOR gates, which show advantages of microfluidic circuits in reusability and modularity. Last but not least, we discuss challenges and potential solutions for designing, building, and testing microfluidic circuits with complex signal processing functions in Level 5 based on the digital logic gates at Level 4.


title: Electron Landau Damping of Kinetic Alfv\'en Waves in Simulated Magnetosheath Turbulence

abstract: Turbulence is thought to play a role in the heating of the solar wind plasma, though many questions remain to be solved regarding the exact nature of the mechanisms driving this process in the heliosphere. In particular, the physics of the collisionless interactions between particles and turbulent electromagnetic fields in the kinetic dissipation range of the turbulent cascade remains incompletely understood. A recent analysis of an interval of Magnetosphere Multiscale (MMS) observations has used the field-particle correlation technique to demonstrate that electron Landau damping is involved in the dissipation of turbulence in the Earth's magnetosheath. Motivated by this discovery, we perform a high-resolution gyrokinetic numerical simulation of the turbulence in the MMS interval to investigate the role of electron Landau damping in the dissipation of turbulent energy. We employ the field-particle correlation technique on our simulation data, compare our results to the known velocity-space signatures of Landau damping outside the dissipation range, and evaluate the net electron energization. We find qualitative agreement between the numerical and observational results for some key aspects of the energization and speculate on the nature of disagreements in light of experimental factors, such as differences in resolution, and of developing insights into the nature of field-particle interactions in the presence of dispersive kinetic Alfv\'en waves.


title: Erratum to "Measurement of the $e^+e^-\to\pi^+\pi^-$ cross section between 600 and 900 MeV using initial state radiation"

abstract: In Phys. Lett. B 753, 629-638 (2016) [arXiv:1507.08188] the BESIII collaboration published a cross section measurement of the process $e^+e^-\to \pi^+ \pi^-$ in the energy range between 600 and 900 MeV. In this erratum we report a corrected evaluation of the statistical errors in terms of a fully propagated covariance matrix. The correction also yields a reduced statistical uncertainty for the hadronic vacuum polarization contribution to the anomalous magnetic moment of the muon, which now reads as $a_\mu^{\pi\pi\mathrm{, LO}}(600 - 900\,\mathrm{MeV}) = (368.2 \pm 1.5_{\rm stat} \pm 3.3_{\rm syst})\times 10^{-10}$. The central values of the cross section measurement and of $a_\mu^{\pi\pi\mathrm{, LO}}$, as well as the systematic uncertainties remain unchanged.


title: On the nature of R\'enyi modified entropy and the Incomplete statistics approach in black holes thermodynamics

abstract: In this work we have investigated the effects of the two highlighted nongaussian entropies which are the modified R\'enyi entropy and the so-called Incomplete statistics in the analysis of the thermodynamics of black holes (BHs). We have obtained the equipartition theorems and after that we obtained the heat capacities for both approaches. Depending on the values of both $\lambda-$parameter and $M$, the BH mass, relative to a modified R\'enyi entropy and, depending on the values of the $q-$parameter and $M$, the Incomplete entropy can determine if the BH has an unstable thermal equilibrium or not for each model.


title: Another View on the Shape Equation for Strings

abstract: The question how an $M$-dimensional extended object must be shaped so that a rigid motion gives an $M$-brane solution ($M+1$ dimensional timelike zero mean curvature surface) in $M+2$ dimensional Minkowski space is discussed for closed strings


title: OrthoReg: Robust Network Pruning Using Orthonormality Regularization

abstract: Network pruning in Convolutional Neural Networks (CNNs) has been extensively investigated in recent years. To determine the impact of pruning a group of filters on a network's accuracy, state-of-the-art pruning methods consistently assume filters of a CNN are independent. This allows the importance of a group of filters to be estimated as the sum of importances of individual filters. However, overparameterization in modern networks results in highly correlated filters that invalidate this assumption, thereby resulting in incorrect importance estimates. To address this issue, we propose OrthoReg, a principled regularization strategy that enforces orthonormality on a network's filters to reduce inter-filter correlation, thereby allowing reliable, efficient determination of group importance estimates, improved trainability of pruned networks, and efficient, simultaneous pruning of large groups of filters. When used for iterative pruning on VGG-13, MobileNet-V1, and ResNet-34, OrthoReg consistently outperforms five baseline techniques, including the state-of-the-art, on CIFAR-100 and Tiny-ImageNet. For the recently proposed Early-Bird Ticket hypothesis, which claims networks become amenable to pruning early-on in training and can be pruned after a few epochs to minimize training expenditure, we find OrthoReg significantly outperforms prior work. Code available at https://github.com/EkdeepSLubana/OrthoReg.


title: Bias Variance Tradeoff in Analysis of Online Controlled Experiments

abstract: Many organizations utilize large-scale online controlled experiments (OCEs) to accelerate innovation. Having high statistical power to detect small differences between control and treatment accurately is critical, as even small changes in key metrics can be worth millions of dollars or indicate user dissatisfaction for a very large number of users. For large-scale OCE, the duration is typically short (e.g. two weeks) to expedite changes and improvements to the product. In this paper, we examine two common approaches for analyzing usage data collected from users within the time window of an experiment, which can differ in accuracy and power. The open approach includes all relevant usage data from all active users for the entire duration of the experiment. The bounded approach includes data from a fixed period of observation for each user (e.g. seven days after exposure) after the first time a user became active in the experiment window.


title: The End of a Black Hole's Evaporation -- Part I

abstract: At the end of Hawking evaporation, the horizon of a black hole enters a physical region where quantum gravity cannot be neglected. The physics of this region has not been much explored. We characterise its physics and introduce a technique to study it.


title: Jacobi-Zariski long nearly exact sequences for associative algebras

abstract: For an extension of associative algebras $B\subset A$ over a field and an $A$-bimodule $X$, we obtain a Jacobi-Zariski long nearly exact sequence relating the Hochschild homologies of $A$ and $B$, and the relative Hochschild homology, all of them with coefficients in $X$. This long sequence is exact twice in three. There is a spectral sequence which converges to the gap of exactness.


title: The Cost of Denied Observation in Multiagent Submodular Optimization

abstract: A popular formalism for multiagent control applies tools from game theory, casting a multiagent decision problem as a cooperation-style game in which individual agents make local choices to optimize their own local utility functions in response to the observable choices made by other agents. When the system-level objective is submodular maximization, it is known that if every agent can observe the action choice of all other agents, then all Nash equilibria of a large class of resulting games are within a factor of $2$ of optimal; that is, the price of anarchy is $1/2$. However, little is known if agents cannot observe the action choices of other relevant agents. To study this, we extend the standard game-theoretic model to one in which a subset of agents either become \emph{blind} (unable to observe others' choices) or \emph{isolated} (blind, and also invisible to other agents), and we prove exact expressions for the price of anarchy as a function of the number of compromised agents. When $k$ agents are compromised (in any combination of blind or isolated), we show that the price of anarchy for a large class of utility functions is exactly $1/(2+k)$. We then show that if agents use marginal-cost utility functions and at least $1$ of the compromised agents is blind (rather than isolated), the price of anarchy improves to $1/(1+k)$. We also provide simulation results demonstrating the effects of these observation denials in a dynamic setting.


title: Multi-modal embeddings using multi-task learning for emotion recognition

abstract: General embeddings like word2vec, GloVe and ELMo have shown a lot of success in natural language tasks. The embeddings are typically extracted from models that are built on general tasks such as skip-gram models and natural language generation. In this paper, we extend the work from natural language understanding to multi-modal architectures that use audio, visual and textual information for machine learning tasks. The embeddings in our network are extracted using the encoder of a transformer model trained using multi-task training. We use person identification and automatic speech recognition as the tasks in our embedding generation framework. We tune and evaluate the embeddings on the downstream task of emotion recognition and demonstrate that on the CMU-MOSEI dataset, the embeddings can be used to improve over previous state of the art results.


title: Analysis and convergence of Hermite subdivision schemes

abstract: Hermite interpolation property is desired in applied and computational mathematics. Hermite and vector subdivision schemes are of interest in CAGD for generating subdivision curves and in computational mathematics for building Hermite wavelets to numerically solve partial differential equations. In contrast to well-studied scalar subdivision schemes, Hermite and vector subdivision schemes employ matrix-valued masks and vector input data, which make their analysis much more complicated and difficult than their scalar counterparts. Despite recent progresses on Hermite subdivision schemes, several key questions still remain unsolved, for example, characterization of Hermite masks, factorization of matrix-valued masks, and convergence of Hermite subdivision schemes. In this paper, we shall study Hermite subdivision schemes through investigating vector subdivision operators acting on vector polynomials and establishing the relations among Hermite subdivision schemes, vector cascade algorithms and refinable vector functions. This approach allows us to resolve several key problems on Hermite subdivision schemes including characterization of Hermite masks, factorization of matrix-valued masks, and convergence of Hermite subdivision schemes.


title: Investigating Gender Bias in BERT

abstract: Contextual language models (CLMs) have pushed the NLP benchmarks to a new height. It has become a new norm to utilize CLM provided word embeddings in downstream tasks such as text classification. However, unless addressed, CLMs are prone to learn intrinsic gender-bias in the dataset. As a result, predictions of downstream NLP models can vary noticeably by varying gender words, such as replacing "he" to "she", or even gender-neutral words. In this paper, we focus our analysis on a popular CLM, i.e., BERT. We analyse the gender-bias it induces in five downstream tasks related to emotion and sentiment intensity prediction. For each task, we train a simple regressor utilizing BERT's word embeddings. We then evaluate the gender-bias in regressors using an equity evaluation corpus. Ideally and from the specific design, the models should discard gender informative features from the input. However, the results show a significant dependence of the system's predictions on gender-particular words and phrases. We claim that such biases can be reduced by removing genderspecific features from word embedding. Hence, for each layer in BERT, we identify directions that primarily encode gender information. The space formed by such directions is referred to as the gender subspace in the semantic space of word embeddings. We propose an algorithm that finds fine-grained gender directions, i.e., one primary direction for each BERT layer. This obviates the need of realizing gender subspace in multiple dimensions and prevents other crucial information from being omitted. Experiments show that removing embedding components in such directions achieves great success in reducing BERT-induced bias in the downstream tasks.


title: Demailly's Conjecture and the Containment Problem

abstract: We investigate Demailly's Conjecture for a general set of sufficiently many points. Demailly's Conjecture generalizes Chudnovsky's Conjecture in providing a lower bound for the Waldschmidt constant of a set of points in projective spaces. We also study a containment between symbolic and ordinary powers conjectured by Harbourne and Huneke that in particular implies Demailly's bound, and prove that a general version of that containment holds for generic determinantal ideals and defining ideals of star configurations.


title: Learning Shape Features and Abstractions in 3D Convolutional Neural Networks for Detecting Alzheimer's Disease

abstract: Deep Neural Networks - especially Convolutional Neural Network (ConvNet) has become the state-of-the-art for image classification, pattern recognition and various computer vision tasks. ConvNet has a huge potential in medical domain for analyzing medical data to diagnose diseases in an efficient way. Based on extracted features by ConvNet model from MRI data, early diagnosis is very crucial for preventing progress and treating the Alzheimer's disease. Despite having the ability to deliver great performance, absence of interpretability of the model's decision can lead to misdiagnosis which can be life threatening. In this thesis, learned shape features and abstractions by 3D ConvNets for detecting Alzheimer's disease were investigated using various visualization techniques. How changes in network structures, used filters sizes and filters shapes affects the overall performance and learned features of the model were also inspected. LRP relevance map of different models revealed which parts of the brain were more relevant for the classification decision. Comparing the learned filters by Activation Maximization showed how patterns were encoded in different layers of the network. Finally, transfer learning from a convolutional autoencoder was implemented to check whether increasing the number of training samples with patches of input to extract the low-level features improves learned features and the model performance.


title: Variational approach to relative entropies (with application to QFT)

abstract: We define a new divergence of von Neumann algebras using a variational expression that is similar in nature to Kosaki's formula for the relative entropy. Our divergence satisfies the usual desirable properties, upper bounds the sandwiched Renyi entropy and reduces to the fidelity in a limit. As an illustration, we use the formula in quantum field theory to compute our divergence between the vacuum in a bipartite system and an "orbifolded" -- in the sense of conditional expectation -- system in terms of the Jones index. We take the opportunity to point out entropic certainty relation for arbitrary von Neumann subalgebras of a factor related to the relative entropy. This certainty relation has an equivalent formulation in terms of error correcting codes.


title: Coherent phonons and the interplay between charge density wave and Mott phases in 1$T$-TaSe$_{2}$

abstract: 1$T$-TaSe$_{2}$ is host to coexisting strongly-correlated phases including charge density waves (CDWs) and an unusual Mott transition at low temperature. Here, we investigate coherent phonon oscillations in 1$T$-TaSe$_{2}$ using a combination of time- and angle-resolved photoemission spectroscopy (TR-ARPES) and time-resolved reflectivity (TRR). Perturbation by a femtosecond laser pulse triggers a modulation of the valence band binding energy at the $\Gamma$-point, related to the Mott gap, that is consistent with the in-plane CDW amplitude mode frequency. By contrast, TRR measurements show a modulation of the differential reflectivity comprised of multiple frequencies belonging to the distorted CDW lattice modes. Comparison of the temperature dependence of coherent and spontaneous phonons across the CDW transition shows that the amplitude mode intensity is more easily suppressed during perturbation of the CDW state by the optical excitation compared to other modes. Our results clearly identify the relationship of the in-plane CDW amplitude mode with the Mott phase in 1$T$-TaSe$_{2}$ and highlight the importance of lattice degrees of freedom.


title: The concealment of accelerated information is possible

abstract: The possibility of masking an accelerated two-qubit system by using a minimum number of qubits is discussed. It is shown that, the information may be masked in either entangled local states or product non-local separable states. We examine that each partition of these states satisfies the masking conditions. Due to the presence of non-local separable partition, one may consider that it is a type of quantum data hiding scheme. The local /non-local information encoded in the masked entangled state is robust against the decoherence of the acceleration process. The possibility of estimating the acceleration parameter via the entangled/separable masked state increases as the initial entanglement value increases. The efficiency of the masking process is examined by quantifying the fidelity of the accelerated state and its subsystems. It is shown that, the fidelity of the masked state is maximum at small initial acceleration, while the minimum fidelity is more than $96\%$.


title: Finite Group Equivariant Neural Networks for Games

abstract: Games such as go, chess and checkers have multiple equivalent game states, i.e. multiple board positions where symmetrical and opposite moves should be made. These equivalences are not exploited by current state of the art neural agents which instead must relearn similar information, thereby wasting computing time. Group equivariant CNNs in existing work create networks which can exploit symmetries to improve learning, however, they lack the expressiveness to correctly reflect the move embeddings necessary for games. We introduce Finite Group Neural Networks (FGNNs), a method for creating agents with an innate understanding of these board positions. FGNNs are shown to improve the performance of networks playing checkers (draughts), and can be easily adapted to other games and learning problems. Additionally, FGNNs can be created from existing network architectures. These include, for the first time, those with skip connections and arbitrary layer types. We demonstrate that an equivariant version of U-Net (FGNN-U-Net) outperforms the unmodified network in image segmentation.


title: Advanced unembedding techniques for quantum annealers

abstract: The D-Wave quantum annealers make it possible to obtain high quality solutions of NP-hard problems by mapping a problem in a QUBO (quadratic unconstrained binary optimization) or Ising form to the physical qubit connectivity structure on the D-Wave chip. However, the latter is restricted in that only a fraction of all pairwise couplers between physical qubits exists. Modeling the connectivity structure of a given problem instance thus necessitates the computation of a minor embedding of the variables in the problem specification onto the logical qubits, which consist of several physical qubits "chained" together to act as a logical one. After annealing, it is however not guaranteed that all chained qubits get the same value (-1 or +1 for an Ising model, and 0 or 1 for a QUBO), and several approaches exist to assign a final value to each logical qubit (a process called "unembedding"). In this work, we present tailored unembedding techniques for four important NP-hard problems: the Maximum Clique, Maximum Cut, Minimum Vertex Cover, and Graph Partitioning problems. Our techniques are simple and yet make use of structural properties of the problem being solved. Using Erd\H{o}s-R\'enyi random graphs as inputs, we compare our unembedding techniques to three popular ones (majority vote, random weighting, and minimize energy). We demonstrate that our proposed algorithms outperform the currently available ones in that they yield solutions of better quality, while being computationally equally efficient.


title: Phase retrieval of bandlimited functions for the wavelet transform

abstract: We study the recovery of square-integrable signals from the absolute values of their wavelet transforms, also called wavelet phase retrieval. We present a new uniqueness result for wavelet phase retrieval. To be precise, we show that any wavelet with finitely many vanishing moments allows for the unique recovery of real-valued bandlimited signals up to global sign. Additionally, we present the first uniqueness result for sampled wavelet phase retrieval in which the underlying wavelets are allowed to be complex-valued and we present a uniqueness result for phase retrieval from sampled Cauchy wavelet transform measurements.


title: Large exciton binding energies in MnPS$_3$ as a case study of vdW layered magnet

abstract: Stable excitons in semiconductor monolayers such as transition-metal dichalcogenides (TMDCs) enable and motivate fundamental research as well as the development of room-temperature optoelectronics applications. The newly discovered layered magnetic materials present a unique opportunity to integrate optical functionalities with magnetism. We predict that a large class of antiferromagnetic semiconducting monolayers of the MPX$_3$ family exhibit giant excitonic binding energies, making them suitable platforms for magneto-optical investigations and optospintronics applications. Indeed, our investigations, based on first principles methods combined with an effective-model Bethe-Salpeter solver, show that excitons in bare Neel-MnPS$_3$ are bound by more than 1 eV, which is twice the excitonic energies in TMDCs. In addition, the antiferromagnetic ordering of monolayer samples can be inferred indirectly using different polarization of light.


title: Minimal Surfaces from Rigid Motions

abstract: Equations are derived for the shape of a hypersurface in $\mathbb{R}^N$ for which a rigid motion yields a minimal surface in $\mathbb{R}^{N+1}$. Some elementary, but unconventional, aspects of the classical case $N=2$ (solved by H.F. Scherk in 1835) are discussed in some detail.


title: GeoSPARQL+: Syntax, Semantics and System for Integrated Querying of Graph, Raster and Vector Data -- Technical Report

abstract: We introduce an approach to semantically represent and query raster data in a Semantic Web graph. We extend the GeoSPARQL vocabulary and query language to support raster data as a new type of geospatial data. We define new filter functions and illustrate our approach using several use cases on real-world data sets. Finally, we describe a prototypical implementation and validate the feasibility of our approach.


title: 5G meets Construction Machines: Towards a Smart working Site

abstract: The fleet management of mobile working machines with the help of connectivity can increase safety and productivity. Although in our previous study, we proposed a solution to use IEEE 802.11p to achieve the fleet management of construction machines, the shortcoming of WIFI may limit the usage of this technology in some cases. Alternatively, the fifth-generation mobile networks (5G) have shown great potential to solve the problems. Thus, as the world's first academic paper investigating 5G and construction machines' cooperation, we demonstrated the scenarios where 5G can have a significant effect on the construction machines industry. Also, based on the simulation we made in $ns-3$, we compared the performance of 4G and 5G for the most relevant construction machines scenarios. Last but not least, we showed the feasibility of remote-control and self-working construction machines with the help of 5G.


title: Deep Replication of a Runoff Portfolio

abstract: To the best of our knowledge, the application of deep learning in the field of quantitative risk management is still a relatively recent phenomenon. This article presents the key notions of Deep Asset Liability Management (Deep~ALM) for a technological transformation in the management of assets and liabilities along a whole term structure. The approach has a profound impact on a wide range of applications such as optimal decision making for treasurers, optimal procurement of commodities or the optimisation of hydroelectric power plants. As a by-product, intriguing aspects of goal-based investing or Asset Liability Management (ALM) in abstract terms concerning urgent challenges of our society are expected alongside. We illustrate the potential of the approach in a stylised case.


title: Topological mixing of the geodesic flow on convex projective manifolds

abstract: We introduce a natural subset of the unit tangent bundle of a convex projective manifold, the biproximal unit tangent bundle; it is closed and invariant under the geodesic flow, and we prove that the geodesic flow is topologically mixing on it whenever the manifold is irreducible. We also show that, for higher-rank, irreducible, compact convex projective manifolds, the geodesic flow is topologically mixing on each connected component of the non-wandering set.


title: Intertwined Magnetic Dipolar and Electric Quadrupolar Correlations in the Pyrochlore Tb$_2$Ge$_2$O$_7$

abstract: We present a comprehensive experimental and theoretical study of the pyrochlore Tb$_2$Ge$_2$O$_7$, an exemplary realization of a material whose properties are dominated by competition between magnetic dipolar and electric quadrupolar correlations. The dipolar and quadrupolar correlations evolve over three distinct regimes that we characterize via heat capacity, elastic and inelastic neutron scattering. In the first regime, above $T^*=1.1$ K, significant quadrupolar correlations lead to an intense inelastic mode that cannot be accounted for within a scenario with solely magnetic dipole-dipole correlations. The onset of extended dipole correlations occurs in the intermediate regime, between $T^*=1.1$ K and $T_c = 0.25$ K, with the formation of a collective paramagnetic state characterized by extended ferromagnetic canted spin ice domains. Here, long-range order is impeded not only by the usual frustration operating in classical spin ice systems, but also by a competition between dipolar and quadrupolar correlations. Finally, in the lowest temperature regime, below $T_c=0.25$ K, there is an abrupt and significant increase in the dipole ordered moment. The majority of the ordered moment remains tied up in the ferromagnetic spin ice-like state, but an additional $\mathbf{k}=(0,0,1)$ antiferromagnetic order parameter also develops. Simultaneously, the spectral weight of the inelastic mode, which is a proxy for the quadrupolar correlations, is observed to drop, indicating that dipole order ultimately wins out. Tb$_2$Ge$_2$O$_7$ is therefore a remarkable platform to study intertwined dipolar and quadrupolar correlations in a magnetically frustrated system and provides important insights into the physics of the whole family of terbium pyrochlores.


title: Gapped Chiral Fermions

abstract: In principle, there is no obstacle to gapping fermions preserving any global symmetry that does not suffer a 't Hooft anomaly. In practice, preserving a symmetry that is realised on fermions in a chiral manner necessitates some dynamics beyond simple quadratic mass terms. We show how this can be achieved using familiar results about supersymmetric gauge theories and, in particular, the phenomenon of confinement without chiral symmetry breaking. We present simple models that gap fermions while preserving a symmetry group under which they transform in chiral representations. For example, we show how to gap a collection of 4d fermions that carry the quantum numbers of one generation of the Standard Model, but without breaking electroweak symmetry. We further show how to gap fermions in groups of 16 while preserving certain discrete symmetries that exhibit a mod 16 anomaly.


title: Analysis of Theoretical and Numerical Properties of Sequential Convex Programming for Continuous-Time Optimal Control

abstract: Sequential Convex Programming (SCP) has recently gained significant popularity as an effective method for solving optimal control problems and has been successfully applied in several different domains. However, the theoretical analysis of SCP has received comparatively limited attention, and it is often restricted to discrete-time formulations. In this paper, we present a unifying theoretical analysis of a fairly general class of SCP procedures for continuous-time optimal control problems. In addition to the derivation of convergence guarantees in a continuous-time setting, our analysis reveals two new numerical and practical insights. First, we show how one can more easily account for manifold-type constraints, which are a defining feature of optimal control of mechanical systems. Second, we show how our theoretical analysis can be leveraged to accelerate SCP-based optimal control methods by infusing techniques from indirect optimal control.


title: On Light Spanners, Low-treewidth Embeddings and Efficient Traversing in Minor-free Graphs

abstract: Understanding the structure of minor-free metrics, namely shortest path metrics obtained over a weighted graph excluding a fixed minor, has been an important research direction since the fundamental work of Robertson and Seymour. A fundamental idea that helps both to understand the structural properties of these metrics and lead to strong algorithmic results is to construct a "small-complexity" graph that approximately preserves distances between pairs of points of the metric. We show the two following structural results for minor-free metrics: 1. Construction of a light subset spanner. Given a subset of vertices called terminals, and $\epsilon$, in polynomial time we construct a subgraph that preserves all pairwise distances between terminals up to a multiplicative $1+\epsilon$ factor, of total weight at most $O_{\epsilon}(1)$ times the weight of the minimal Steiner tree spanning the terminals. 2. Construction of a stochastic metric embedding into low treewidth graphs with expected additive distortion $\epsilon D$. Namely, given a minor free graph $G=(V,E,w)$ of diameter $D$, and parameter $\epsilon$, we construct a distribution $\mathcal{D}$ over dominating metric embeddings into treewidth-$O_{\epsilon}(\log n)$ graphs such that the additive distortion is at most $\epsilon D$. One of our important technical contributions is a novel framework that allows us to reduce \emph{both problems} to problems on simpler graphs of bounded diameter. Our results have the following algorithmic consequences: (1) the first efficient approximation scheme for subset TSP in minor-free metrics; (2) the first approximation scheme for vehicle routing with bounded capacity in minor-free metrics; (3) the first efficient approximation scheme for vehicle routing with bounded capacity on bounded genus metrics.


title: Friends and Strangers Walking on Graphs

abstract: Given graphs $X$ and $Y$ with vertex sets $V(X)$ and $V(Y)$ of the same cardinality, we define a graph $\mathsf{FS}(X,Y)$ whose vertex set consists of all bijections $\sigma:V(X)\to V(Y)$, where two bijections $\sigma$ and $\sigma'$ are adjacent if they agree everywhere except for two adjacent vertices $a,b \in V(X)$ such that $\sigma(a)$ and $\sigma(b)$ are adjacent in $Y$. This setup, which has a natural interpretation in terms of friends and strangers walking on graphs, provides a common generalization of Cayley graphs of symmetric groups generated by transpositions, the famous $15$-puzzle, generalizations of the $15$-puzzle as studied by Wilson, and work of Stanley related to flag $h$-vectors. We derive several general results about the graphs $\mathsf{FS}(X,Y)$ before focusing our attention on some specific choices of $X$. When $X$ is a path graph, we show that the connected components of $\mathsf{FS}(X,Y)$ correspond to the acyclic orientations of the complement of $Y$. When $X$ is a cycle, we obtain a full description of the connected components of $\mathsf{FS}(X,Y)$ in terms of toric acyclic orientations of the complement of $Y$. We then derive various necessary and/or sufficient conditions on the graphs $X$ and $Y$ that guarantee the connectedness of $\mathsf{FS}(X,Y)$. Finally, we raise several promising further questions.


title: Understanding the Role of Individual Units in a Deep Neural Network

abstract: Deep neural networks excel at finding hierarchical representations that solve complex tasks over large data sets. How can we humans understand these learned representations? In this work, we present network dissection, an analytic framework to systematically identify the semantics of individual hidden units within image classification and image generation networks. First, we analyze a convolutional neural network (CNN) trained on scene classification and discover units that match a diverse set of object concepts. We find evidence that the network has learned many object classes that play crucial roles in classifying scene classes. Second, we use a similar analytic method to analyze a generative adversarial network (GAN) model trained to generate scenes. By analyzing changes made when small sets of units are activated or deactivated, we find that objects can be added and removed from the output scenes while adapting to the context. Finally, we apply our analytic framework to understanding adversarial attacks and to semantic image editing.


title: Three-dimensional Fermi surface and small effective masses in Mo8Ga41

abstract: We report Fermi surface characteristics of Mo8Ga41, a two-gap superconductor with critical temperature Tc = 10 K, obtained from quantum oscillation measurements. Four major frequencies have been observed with relatively small quasiparticle masses. Angular dependence of major frequencies indicates three-dimensional Fermi surface sheets. This argues for a relatively isotropic superconducting state and, given its relatively high Tc, shows that a search for materials in this class could be of interest for superconducting wire applications.


title: Nonlinear transport in Weyl semimetals induced by Berry curvature dipole

abstract: Topological Weyl semimetals (WSMs) have been predicted to be excellent candidates for detecting Berry curvature dipole (BCD) and the related non-linear effects in electronics and optics due to the large Berry curvature concentrated around the Weyl nodes. And yet, linearized models of isolated tilted Weyl cones only realize a diagonal non-zero BCD tensor which sum to zero in the model of WSM with multiple Weyl nodes in the presence of mirror symmetry. On the other hand, recent \textit{ab initio} work has found that realistic WSMs like TaAs-type or MoTe$_2$-type compounds, which have mirror symmetry, indeed show an off-diagonal BCD tensor with an enhanced magnitude for its non-zero components. So far, there is a lack of theoretical work addressing this contradiction for 3D WSMs. In this paper, we systematically study the BCD in 3D WSMs using lattice Weyl Hamiltonians, which go beyond the linearized models. We find that the non-zero BCD and its related important features for these WSMs do not rely on the contribution from the Weyl nodes. Instead, they are dependent on the part of the Fermi surface that lies \textit{between} the Weyl nodes, in the region of the reciprocal space where neighboring Weyl cones overlap. For large enough chemical potential such Fermi surfaces are present in the lattice Weyl Hamiltonians as well as in the realistic WSMs. We also show that, a lattice Weyl Hamitonian with a non-zero chiral chemical potential for the Weyl cones can also support dips or peaks in the off-diagonal components of the BCD tensor near the Weyl nodes themselves, consistent with recent \textit{ab initio} work.