title: Understanding the Representation Power of Graph Neural Networks in Learning Graph Topology

abstract: To deepen our understanding of graph neural networks, we investigate the representation power of Graph Convolutional Networks (GCN) through the looking glass of graph moments, a key property of graph topology encoding path of various lengths. We find that GCNs are rather restrictive in learning graph moments. Without careful design, GCNs can fail miserably even with multiple layers and nonlinear activation functions. We analyze theoretically the expressiveness of GCNs, concluding a modular GCN design, using different propagation rules with residual connections could significantly improve the performance of GCN. We demonstrate that such modular designs are capable of distinguishing graphs from different graph generation models for surprisingly small graphs, a notoriously difficult problem in network science. Our investigation suggests that, depth is much more influential than width, with deeper GCNs being more capable of learning higher order graph moments. Additionally, combining GCN modules with different propagation rules is critical to the representation power of GCNs.


title: Message passing-based link configuration in short range millimeter wave systems

abstract: Millimeter wave (mmWave) communication in typical wearable and data center settings is short range. As the distance between the transmitter and the receiver in short range scenarios can be comparable to the length of the antenna arrays, the common far field approximation for the channel may not be applicable. As a result, dictionaries that result in a sparse channel representation in the far field setting may not be appropriate for short distances. In this paper, we develop a novel framework to exploit the structure in short range mmWave channels. The proposed method splits the channel into several subchannels for which the far field approximation can be applied. Then, the structure within and across different subchannels is leveraged using message passing. We show how information about the antenna array geometry can be used to design message passing factors that incorporate structure across successive subchannels. Simulation results indicate that our framework can be used to achieve better beam alignment with fewer channel measurements when compared to standard compressed sensing-based techniques that do not exploit structure across subchannels.


title: On the probability of strain invasion in endemic settings: accounting for individual heterogeneity and control in multi-strain dynamics

abstract: The rise of antimicrobial drug resistance is an imminent threat to global health that has warranted, and duly received, considerable attention within the medical, microbiological and modelling communities. Outbreaks of drug-resistant pathogens are ignited by the emergence and transmission of mutant variants descended from wild-type strains circulating in the community. In this work we investigate the stochastic dynamics of the emergence of a novel disease strain, introduced into a population in which it must compete with an existing endemic strain. In analogy with past work on single-strain epidemic outbreaks, we apply a branching process approximation to calculate the probability that the new strain becomes established. As expected, a critical determinant of the survival prospects of any invading strain is the magnitude of its reproduction number relative to that of the background endemic strain. Whilst in most circumstances this ratio must exceed unity in order for invasion to be viable, we show that differential control scenarios can lead to less-fit novel strains invading populations hosting a fitter endemic one. This analysis and the accompanying findings will inform our understanding of the mechanisms that have led to past instances of successful strain invasion, and provide valuable lessons for thwarting future drug-resistant strain incursions.


title: Global solvability criteria for quaternionic Riccati equations

abstract: Some global existence criteria for quaternionic Riccati equations are established. Two of them are used to prove a completely non conjugation theorem for solutions of linear systems of ordinary differential equations.


title: Making AI Forget You: Data Deletion in Machine Learning

abstract: Intense recent discussions have focused on how to provide individuals with control over when their data can and cannot be used --- the EU's Right To Be Forgotten regulation is an example of this effort. In this paper we initiate a framework studying what to do when it is no longer permissible to deploy models derivative from specific user data. In particular, we formulate the problem of efficiently deleting individual data points from trained machine learning models. For many standard ML models, the only way to completely remove an individual's data is to retrain the whole model from scratch on the remaining data, which is often not computationally practical. We investigate algorithmic principles that enable efficient data deletion in ML. For the specific setting of k-means clustering, we propose two provably efficient deletion algorithms which achieve an average of over 100X improvement in deletion efficiency across 6 datasets, while producing clusters of comparable statistical quality to a canonical k-means++ baseline.


title: Profiling based Out-of-core Hybrid Method for Large Neural Networks

abstract: GPUs are widely used to accelerate deep learning with NNs (NNs). On the other hand, since GPU memory capacity is limited, it is difficult to implement efficient programs that compute large NNs on GPU. To compute NNs exceeding GPU memory capacity, data-swapping method and recomputing method have been proposed in existing work. However, in these methods, performance overhead occurs due to data movement or increase of computation. In order to reduce the overhead, it is important to consider characteristics of each layer such as sizes and cost for recomputation. Based on this direction, we proposed Profiling based out-of-core Hybrid method (PoocH). PoocH determines target layers of swapping or recomputing based on runtime profiling. We implemented PoocH by extending a deep learning framework, Chainer, and we evaluated its performance. With PoocH, we successfully computed an NN requiring 50 GB memory on a single GPU with 16 GB memory. Compared with in-core cases, performance degradation was 38 \% on x86 machine and 28 \% on POWER9 machine.


title: Conditional Analysis for Key-Value Data with Local Differential Privacy

abstract: Local differential privacy (LDP) has been deemed as the de facto measure for privacy-preserving distributed data collection and analysis. Recently, researchers have extended LDP to the basic data type in NoSQL systems: the key-value data, and show its feasibilities in mean estimation and frequency estimation. In this paper, we develop a set of new perturbation mechanisms for key-value data collection and analysis under the strong model of local differential privacy. Since many modern machine learning tasks rely on the availability of conditional probability or the marginal statistics, we then propose the conditional frequency estimation method for key analysis and the conditional mean estimation for value analysis in key-value data. The released statistics with conditions can further be used in learning tasks. Extensive experiments of frequency and mean estimation on both synthetic and real-world datasets validate the effectiveness and accuracy of the proposed key-value perturbation mechanisms against the state-of-art competitors.


title: Ground state of the three-dimensional BCS d-wave superconductor

abstract: We determine the mean-field ground state of the three-dimensional rotationally symmetric d-wave ($\ell=2$) superconductor at weak coupling. It is a non-inert state, invariant under the symmetry $C_{2}$ only, which breaks time reversal symmetry almost maximally, and features a high, but again less than maximal average magnetization. The state obtained by minimization of the expanded sixth-order Ginzburg--Landau free energy is found to be an excellent approximation to the true ground state. The coupling to a parasitic s-wave component has only a minuscule quantitative and no qualitative effect on the ground state.

categories: cond-mat.supr-con cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el


title: On Analysis of the Bitcoin and Prism Backbone Protocols

abstract: Bitcoin is a peer-to-peer payment system proposed by Nakamoto in 2008. Properties of the bitcoin backbone protocol have been investigated in some depth: the blockchain growth property quantifies the number of blocks added to the blockchain during any time intervals; the blockchain quality property ensures the honest miners always contribute at least a certain fraction of the blockchain; the common prefix property ensures if a block is deep enough, it will eventually be adopted by all honest miners with high probability. Following the spirit of decoupling various functionalities of the blockchain, the Prism protocol is proposed to dramatically improve the throughput while maintaining the same level of security. Prior analyses of the bitcoin and Prism backbone protocols assume the lifespan of blockchain is finite. This paper presents a streamlined and strengthened analysis without the finite horizon assumption. Specifically, the results include a blockchain growth property, a blockchain quality property, and a common prefix property of the bitcoin backbone protocol, as well as the liveness and persistence of the Prism backbone protocol regardless of whether the blockchains have a infinite lifespan. We also express the properties of bitcoin and Prism backbone protocols in explicit expressions rather than order optimal results, which lead to tighter bounds and practical references for public transaction ledger protocol design.


title: A community perspective on the concept of marine holobionts: state-of-the-art, challenges, and future directions

abstract: Host-microbe interactions play crucial roles in marine ecosystems, but we still have very little understanding of the mechanisms that govern these relationships, the evolutionary processes that shape them, and their ecological consequences. The holobiont concept is a renewed paradigm in biology that can help describe and understand these complex systems. It posits that a host and its associated microbiota, living together in a long-lasting relationship, form the holobiont, and have to be studied together, as a coherent biological and functional unit, in order to understand the biology, ecology and evolution of the organisms. Here we discuss critical concepts and opportunities in marine holobiont research and identify key challenges in the field. We highlight the potential economic, sociological, and environmental impacts of the holobiont concept in marine biological, evolutionary, and environmental sciences with comparisons to terrestrial science whenever appropriate. A deeper understanding of such complex systems, however, will require further technological and conceptual advances. The most significant challenge will be to bridge functional research on simple and tractable model systems and global approaches. This will require scientists to work together as an (inter)active community in order to address, for instance, ecological and evolutionary questions and the roles of holobionts in biogeochemical cycles.


title: Structural domination and coloring of some ($P_7, C_7$)-free graphs

abstract: We show that every connected induced subgraph of a graph $G$ is dominated by an induced connected split graph if and only if $G$ is $\cal{C}$-free, where $\cal{C}$ is a set of six graphs which includes $P_7$ and $C_7$, and each containing an induced $P_5$. A similar characterisation is shown for the class of graphs which are dominated by induced complete split graphs. Motivated by these results, we study structural descriptions of some classes of $\cal{C}$-free graphs. In particular, we give structural descriptions for the class of ($P_7$,$C_7$,$C_4$,gem)-free graphs and for the class of ($P_7$,$C_7$,$C_4$,diamond)-free graphs. Using these results, we show that every ($P_7$,$C_7$,$C_4$,gem)-free graph $G$ satisfies $\chi(G) \leq 2\omega(G)-1$, and that every ($P_7$,$C_7$,$C_4$,diamond)-free graph $H$ satisfies $\chi(H) \leq \omega(H)+1$. These two upper bounds are tight for any subgraph of the Petersen graph containing a $C_5$.


title: Massively Multilingual Neural Machine Translation in the Wild: Findings and Challenges

abstract: We introduce our efforts towards building a universal neural machine translation (NMT) system capable of translating between any language pair. We set a milestone towards this goal by building a single massively multilingual NMT model handling 103 languages trained on over 25 billion examples. Our system demonstrates effective transfer learning ability, significantly improving translation quality of low-resource languages, while keeping high-resource language translation quality on-par with competitive bilingual baselines. We provide in-depth analysis of various aspects of model building that are crucial to achieving quality and practicality in universal NMT. While we prototype a high-quality universal translation system, our extensive empirical analysis exposes issues that need to be further addressed, and we suggest directions for future research.


title: Is there a supernova bound on axions?

abstract: We present a critical assessment of the SN1987A supernova cooling bound on axions and other light particles. Core-collapse simulations used in the literature to substantiate the bound omitted from the calculation the envelope exterior to the proto-neutron star (PNS). As a result, the only source of neutrinos in these simulations was, by construction, a cooling PNS. We show that if the canonical delayed neutrino mechanism failed to explode SN1987A, and if the pre-collapse star was rotating, then an accretion disk would form that could explain the late-time ($t\gtrsim5$ sec) neutrino events. Such accretion disk would be a natural feature if SN1987A was a collapse-induced thermonuclear explosion. Axions do not cool the disk and do not affect its neutrino output, provided the disk is optically-thin to neutrinos, as it naturally is. These considerations cast doubt on the supernova cooling bound.


title: Optimal Feature Transport for Cross-View Image Geo-Localization

abstract: This paper addresses the problem of cross-view image geo-localization, where the geographic location of a ground-level street-view query image is estimated by matching it against a large scale aerial map (e.g., a high-resolution satellite image). State-of-the-art deep-learning based methods tackle this problem as deep metric learning which aims to learn global feature representations of the scene seen by the two different views. Despite promising results are obtained by such deep metric learning methods, they, however, fail to exploit a crucial cue relevant for localization, namely, the spatial layout of local features. Moreover, little attention is paid to the obvious domain gap (between aerial view and ground view) in the context of cross-view localization. This paper proposes a novel Cross-View Feature Transport (CVFT) technique to explicitly establish cross-view domain transfer that facilitates feature alignment between ground and aerial images. Specifically, we implement the CVFT as network layers, which transports features from one domain to the other, leading to more meaningful feature similarity comparison. Our model is differentiable and can be learned end-to-end. Experiments on large-scale datasets have demonstrated that our method has remarkably boosted the state-of-the-art cross-view localization performance, e.g., on the CVUSA dataset, with significant improvements for top-1 recall from 40.79% to 61.43%, and for top-10 from 76.36% to 90.49%. We expect the key insight of the paper (i.e., explicitly handling domain difference via domain transport) will prove to be useful for other similar problems in computer vision as well.


title: Charmed baryon$-$nucleon interaction

abstract: We present a comparative study of the charmed baryon$-$nucleon interaction based on different theoretical approaches. For this purpose, we make use of i) a constituent quark model tuned in the light-flavor baryon$-$baryon interaction and the hadron spectra, ii) existing results in the literature based both on hadronic and quark-level descriptions, iii) (2+1)-flavor lattice QCD results of the HAL QCD Collaboration at unphysical pion masses and their effective field theory extrapolation to the physical pion mass. There is a general qualitative agreement among the different available approaches to the charmed baryon$-$nucleon interaction. Different from hadronic models based on one-boson exchange potentials, quark$-$model based results point to soft interactions without two-body bound states. They also support a negligible channel coupling, due either to tensor forces or to transitions between different physical channels, $\Lambda_c N - \Sigma_c N$. Short-range gluon and quark-exchange dynamics generate a slightly larger repulsion in the $^1S_0$ than in the $^3S_1$ $\Lambda_c N$ partial wave. A similar asymmetry between the attraction in the two $S$ waves of the $\Lambda_c N$ interaction also appears in hadronic approaches. A comparative detailed study of Pauli suppressed partial waves, as the $^1S_0 (I=1/2)$ and $^3S_1 (I=3/2)$ $\Sigma_c N$ channels, would help to disentangle the short-range dynamics of two-baryon systems containing heavy flavors. The possible existence of charmed hypernuclei is discussed.


title: Micro-expression Action Unit Detection with Spatio-temporal Adaptive Pooling

abstract: Action Unit (AU) detection plays an important role for facial expression recognition. To the best of our knowledge, there is little research about AU analysis for micro-expressions. In this paper, we focus on AU detection in micro-expressions. Microexpression AU detection is challenging due to the small quantity of micro-expression databases, low intensity, short duration of facial muscle change, and class imbalance. In order to alleviate the problems, we propose a novel Spatio-Temporal Adaptive Pooling (STAP) network for AU detection in micro-expressions. Firstly, STAP is aggregated by a series of convolutional filters of different sizes. In this way, STAP can obtain multi-scale information on spatial and temporal domains. On the other hand, STAP contains less parameters, thus it has less computational cost and is suitable for micro-expression AU detection on very small databases. Furthermore, STAP module is designed to pool discriminative information for micro-expression AUs on spatial and temporal domains.Finally, Focal loss is employed to prevent the vast number of negatives from overwhelming the microexpression AU detector. In experiments, we firstly polish the AU annotations on three commonly used databases. We conduct intensive experiments on three micro-expression databases, and provide several baseline results on micro-expression AU detection. The results show that our proposed approach outperforms the basic Inflated inception-v1 (I3D) in terms of an average of F1- score. We also evaluate the performance of our proposed method on cross-database protocol. It demonstrates that our proposed approach is feasible for cross-database micro-expression AU detection. Importantly, the results on three micro-expression databases and cross-database protocol provide extensive baseline results for future research on micro-expression AU detection.


title: Improving the Cauchy-Schwarz inequality

abstract: We highlight overlap as one of the simplest inequalities in linear space that yields a number of useful results. One obtains the Cauchy-Schwarz inequality as a special case. More importantly, a variant of it is seen to work desirably in certain singular situations where the celebrated inequality appears to be useless. The basic tenet generates a few other interesting relations, including the improvements over certain common uncertainty bounds. Role of projection operators in modifying the Cauchy-Schwarz relation is noted. Selected applications reveal the efficacy.


title: Grothendieck's Existence Theorem for Relatively Perfect Complexes on Algebraic Stacks

abstract: We prove Grothendieck's existence theorem for relatively perfect complexes on an algebraic stack that is proper and flat over an $I$-adically complete Noetherian ring $A$. This generalizes an earlier result of Lieblich in the setting of algebraic spaces.


title: The HOG-FDA Approach with Mobile Phone Data to Modeling the Dynamic of People's Presences in the City

abstract: In the context of Smart City, the dynamic of the presence of people can be analysed using high-dimensional spatio-temporal mobile phone data. In order to find regularities and detect anomalies in the daily profiles, we propose an approach that considers the spatial structure by means of Histogram of Oriented Gradients (HOG) method and the temporal evolution using a Model-Based Clustering Functional Data Analysis (FDA). An application to the case study of the Municipality of Brescia is provided. Similarities among days, that follow a seasonal or a days of the week trend, exist. The number of users in the city, depending on the season, the day of the week and the time of the day, varies from 30 to 60 thousands of people


title: Improving the Signal-to-noise Ratio for Heat-Assisted Magnetic Recording by Optimizing a High/Low Tc bilayer structure

abstract: We optimize the recording medium for heat-assisted magnetic recording by using a high/low $T_{\mathrm{c}}$ bilayer structure to reduce AC and DC noise. Compared to a former work, small Gilbert damping $\alpha=0.02$ is considered for the FePt like hard magnetic material. Atomistic simulations are performed for a cylindrical recording grain with diameter $d=5\,$nm and height $h=8\,$nm. Different soft magnetic material compositions are tested and the amount of hard and soft magnetic material is optimized. The results show that for a soft magnetic material with $\alpha_{\mathrm{SM}}=0.1$ and $J_{ij,\mathrm{SM}}=7.72\times 10^{-21}\,$J/link a composition with $50\%$ hard and $50\%$ soft magnetic material leads to the best results. Additionally, we analyse how much the areal density can be improved by using the optimized bilayer structure compared to the pure hard magnetic recording material. It turns out that the optimized bilayer design allows an areal density that is $1\,$Tb/in$^2$ higher than that of the pure hard magnetic material while obtaining the same SNR.


title: Evidential positive opinion influence measures for viral marketing

abstract: The Viral Marketing is a relatively new form of marketing that exploits social networks to promote a brand, a product, etc. The idea behind it is to find a set of influencers on the network that can trigger a large cascade of propagation and adoptions. In this paper, we will introduce an evidential opinion-based influence maximization model for viral marketing. Besides, our approach tackles three opinions based scenarios for viral marketing in the real world. The first scenario concerns influencers who have a positive opinion about the product. The second scenario deals with influencers who have a positive opinion about the product and produce effects on users who also have a positive opinion. The third scenario involves influence users who have a positive opinion about the product and produce effects on the negative opinion of other users concerning the product in question. Next, we proposed six influence measures, two for each scenario. We also use an influence maximization model that the set of detected influencers for each scenario. Finally, we show the performance of the proposed model with each influence measure through some experiments conducted on a generated dataset and a real world dataset collected from Twitter.


title: From Hybrid Modal Logic to Matching Logic and Back

abstract: Building on our previous work on hybrid polyadic modal logic we identify modal logic equivalents for Matching Logic, a logic for program specification and verification. This provides a rigorous way to transfer results between the two approaches, which should benefit both systems.


title: Many-Body Physics and Quantum Simulations with Strongly Interacting Photons

abstract: Simulating quantum many-body systems on a classical computer generally requires a computational cost that grows exponential with the number of particles. This computational complexity has been the main obstacle to understanding various fundamental emergent phenomena in condensed matters such as high-Tc superconductivity and the fractional quantum-Hall effect. The difficulty arises because even the simplest models that are proposed to capture those phenomena cannot be simulated on a classical computer. Recognizing this problem in 1981, Richard Feynman envisioned a quantum simulator, an entirely new type of machine that exploits quantum superposition and operates by individually manipulating its constituting quantum particles and their interactions. Recent advances in various experimental platforms from cold atoms in optical lattices, trapped ions, to solid-state systems have brought the idea of Feynman to the realm of reality. Among those, interacting photons in superconducting circuits has been one of the promising platforms thanks to their local controllability and long coherence times. Early theoretical proposals have shown possibilities to realize quantum many-body phenomena of light using coupled cavity arrays such as Mott to superfluid transitions and fractional quantum Hall states. Start-of-the-art experiments include realization of interacting chiral edge states and stroboscopic signatures of localization of interacting photons in a three-site and a nine-site superconducting circuit, respectively. Interacting photons also serve as a natural platform to simulate driven-dissipative quantum many-body phenomena. A 72-site superconducting circuit has also recently been fabricated to study a dissipative phase transition of light.


title: Exact WKB Analysis of $\mathbb{CP}^1$ Holomorphic Blocks

abstract: We study holomorphic blocks in the three dimensional ${\mathcal N}=2$ gauge theory that describes the $\mathbb{CP}^1$ model. We apply exact WKB methods to analyze the line operator identities associated to the holomorphic blocks and derive the analytic continuation formulae of the blocks as the twisted mass and FI parameter are varied. The main technical result we utilize is the connection formula for the ${}_1\phi_1$ $q$-hypergeometric function. We show in detail how the $q$-Borel resummation methods reproduce the results obtained previously by using block-integral methods.


title: Structural and elastic properties of amorphous carbon from simulated quenching at low rates

abstract: We generate representative structural models of amorphous carbon (a-C) from constant-volume quenching from the liquid with subsequent relaxation of internal stresses in molecular dynamics simulations using empirical and machine-learning interatomic potentials. By varying volume and quench rate we generate structures with a range of density and amorphous morphologies. We find that all a-C samples show a universal relationship between hybridization, bulk modulus and density despite having distinct cohesive energies. Differences in cohesive energy are traced back to slight changes in the distribution of bond-angles that will likely affect thermal stability of these structures.


title: Engineering optical hybrid entanglement between discrete- and continuous-variable states

abstract: The generation and manipulation of hybrid entanglement of light involving discrete- and continuous-variable states have recently appeared as essential resources towards the realization of heterogeneous quantum networks. Here we investigate a scheme for the remote generation of hybrid entanglement between particle-like and wave-like optical qubits based on a non-local heralding photon detection. We also extend this scheme with additional local or non-local detections. An additional local heralding allows the resulting state to exhibit a higher fidelity with the targeted entangled qubits while a two-photon non-local heralding detection gives access to a higher dimensionality in the discrete-variable subspace, resulting thereby in the generation of hybrid entangled qutrits. The implementation of the presented schemes, in combination with ongoing works on high-fidelity quantum state engineering, will provide novel non-classical light sources for the development of optical hybrid architectures.


title: Optimal location of resources maximizing the total population size in logistic models

abstract: In this article, we consider a species whose population density solves the steady diffusive logistic equation in a heterogeneous environment modeled with the help of a spatially non constant coefficient standing for a resources distribution. We address the issue of maximizing the total population size with respect to the resources distribution, considering some uniform pointwise bounds as well as prescribing the total amount of resources. By assuming the diffusion rate of the species large enough, we prove that any optimal configuration is bang-bang (in other words an extreme point of the admissible set) meaning that this problem can be recast as a shape optimization problem, the unknown domain standing for the resources location. In the one-dimensional case, this problem is deeply analyzed, and for large diffusion rates, all optimal configurations are exhibited. This study is completed by several numerical simulations in the one dimensional case.


title: Two-speed solutions to non-convex rate-independent systems

abstract: We consider evolutionary PDE inclusions of the form \[ -\lambda \dot{u}_\lambda + \Delta u - \mathrm{D} W_0(u) + f \ni \partial \mathcal{R}_1(\dot{u}) \qquad\text{in $(0,T) \times \Omega$,} \] where $\mathcal{R}_1$ is a positively $1$-homogeneous rate-independent dissipation potential and $W_0$ is a (generally) non-convex energy density. This work constructs solutions to the above system in the slow-loading limit $\lambda \downarrow 0$. Our solutions have more regularity both in space and time than those that have been obtained with other approaches. On the "slow" time scale we see strong solutions to a purely rate-independent evolution. Over the jumps, we obtain a detailed description of the behavior of the solution and we resolve the jump transients at a "fast" time scale, where the original rate-dependent evolution is still visible. Crucially, every jump transient splits into a (possibly countable) number of rate-dependent evolutions, for which the energy dissipation can be explicitly computed. This in particular yields a global energy equality for the whole evolution process. It also turns out that there is a canonical slow time scale that avoids intermediate-scale effects, where movement occurs in a mixed rate-dependent / rate-independent way. In this way, we obtain precise information on the impact of the approximation on the constructed solution. Our results are illustrated by examples, which elucidate the effects that can occur.


title: Extension of Sinkhorn Method: Optimal Movement Estimation of Agents Moving at Constant Velocity

abstract: In the field of bioimaging, an important part of analyzing the motion of objects is tracking. We propose a method that applies the Sinkhorn distance for solving the optimal transport problem to track objects. The advantage of this method is that it can flexibly incorporate various assumptions in tracking as a cost matrix. First, we extend the Sinkhorn distance from two dimensions to three dimensions. Using this three-dimensional distance, we compare the performance of two types of tracking technique, namely tracking that associates objects that are close to each other, which conventionally uses the nearest-neighbor method, and tracking that assumes that the object is moving at constant velocity, using three types of simulation data. The results suggest that when tracking objects moving at constant velocity, our method is superior to conventional nearest-neighbor tracking as long as the added noise is not excessively large. We show that the Sinkhorn method can be applied effectively to object tracking. Our simulation data analysis suggests that when objects are moving at constant velocity, our method, which sets acceleration as a cost, outperforms the traditional nearest-neighbor method in terms of tracking objects. To apply the proposed method to real bioimaging data, it is necessary to set an appropriate cost indicator based on the movement features.


title: Proportional Dynamics in Exchange Economies

abstract: We study the Proportional Response dynamic in exchange economies, where each player starts with some amount of money and a good. Every day, the players bring one unit of their good and submit bids on goods they like, each good gets allocated in proportion to the bid amounts, and each seller collects the bids received. Then every player updates the bids proportionally to the contribution of each good in their utility. This dynamic models a process of learning how to bid and has been studied in a series of papers on Fisher and production markets, but not in exchange economies. Our main results are as follows: - For linear utilities, the dynamic converges to market equilibrium utilities and allocations, while the bids and prices may cycle. We give a combinatorial characterization of limit cycles for prices and bids. - We introduce a lazy version of the dynamic, where players may save money for later, and show this converges in everything: utilities, allocations, and prices. - For CES utilities in the substitute range $[0,1)$, the dynamic converges for all parameters. This answers an open question about exchange economies with linear utilities, where tatonnement does not converge to market equilibria, and no natural process leading to equilibria was known. We also note that proportional response is a process where the players exchange goods throughout time (in out-of-equilibrium states), while tatonnement only explains how exchange happens in the limit.


title: Generalized primitive potentials

abstract: In our previous work, we introduced a new class of bounded potentials of the one-dimensional Schr\"odinger operator on the real axis, and a corresponding family of solutions of the KdV hierarchy. These potentials, which we call primitive, are obtained as limits of rapidly decreasing reflectionless potentials, or multisoliton solutions of KdV. In this note, we introduce generalized primitive potentials, which are obtained as limits of all rapidly decreasing potentials of the Schr\"odinger operator. These potentials are constructed by solving a contour problem, and are determined by a pair of positive functions on a finite interval and a functional parameter on the real axis.


title: Electron energy relaxation in disordered superconducting NbN films

abstract: We report on the inelastic-scattering rate of electrons on phonons and relaxation of electron energy studied by means of magnetoconductance, and photoresponse, respectively, in a series of strongly disordered superconducting NbN films. The studied films with thicknesses in the range from 3 to 33 nm are characterized by different Ioffe-Regel parameters but an almost constant product q_Tl(q_T is the wave vector of thermal phonons and l is the elastic mean free path of electrons). In the temperature range 14-30 K, the electron-phonon scattering rates obey temperature dependencies close to the power law 1/\tau_{e-ph} \sim T^n with the exponents n = 3.2-3.8. We found that in this temperature range \tau_{e-ph} and n of studied films vary weakly with the thickness and square resistance. At 10 K electron-phonon scattering times are in the range 11.9-17.5 ps. The data extracted from magnetoconductance measurements were used to describe the experimental photoresponse with the two-temperature model. For thick films, the photoresponse is reasonably well described without fitting parameters, however, for thinner films, the fit requires a smaller heat capacity of phonons. We attribute this finding to the reduced density of phonon states in thin films at low temperatures. We also show that the estimated Debye temperature in the studied NbN films is noticeably smaller than in bulk material.


title: Fast algorithm for topologically disordered lattices with constant coordination number

abstract: We present a stochastic algorithm for constructing a topologically disordered (i.e., non-regular) spatial lattice with nodes of constant coordination number, the CC lattice. The construction procedure dramatically improves on an earlier proposal [Phys. Rev. E. 97, 022144 (2018)] with respect to both computational complexity and finite-size scaling properties - making the CC lattice an alternative to proximity graphs which, especially in higher dimensions, is significantly faster to build. Among other applications, physical systems such as certain amorphous materials with low concentration of coordination defects are an important example of disordered, constant-coordination lattices in nature. As a concrete application, we characterize the criticality of the 3D Ising model on the CC lattice. We find that its phase transition belongs to the clean Ising universality class, establishing that the disorder present in the CC lattice is a non-relevant perturbation in the sense of renormalization group theory.


title: Positive Harmonic Functions on the Heisenberg group I

abstract: We present the classification of positive harmonic functions on the Heisenberg group in the case of the southwest measure.


title: Primordial Black Holes from Inflation with Nonminimal Derivative Coupling

abstract: We propose a novel enhancement mechanism of the curvature perturbations in the nonminimal derivative coupling inflation model with a coupling parameter related to the inflaton field. By considering a special form of the coupling parameter as a function of the inflaton, a period of ultra-slow-roll inflation can be realized due to the gravitationally enhanced friction, and the resulting power spectrum of the curvature perturbations has a sharp peak, which is large enough to produce the primordial black holes. Under this mechanism, we can easily obtain a sharp mass spectrum of primordial black holes around specific masses such as $\mathcal{O}(10)M_\odot$, $\mathcal{O}(10^{-5})M_\odot$, and $\mathcal{O}(10^{-12})M_\odot$, which can explain the LIGO events, the ultrashort-timescale microlensing events in OGLE data, and the most of dark matter, respectively.


title: Terahertz Band: The Last Piece of RF Spectrum Puzzle for Communication Systems

abstract: Ultra-high bandwidth, negligible latency and seamless communication for devices and applications are envisioned as major milestones that will revolutionize the way by which societies create, distribute and consume information. The remarkable expansion of wireless data traffic that we are witnessing recently has advocated the investigation of suitable regimes in the radio spectrum to satisfy users' escalating requirements and allow the development and exploitation of both massive capacity and massive connectivity of heterogeneous infrastructures. To this end, the Terahertz (THz) frequency band (0.1-10 THz) has received noticeable attention in the research community as an ideal choice for scenarios involving high-speed transmission. Particularly, with the evolution of technologies and devices, advancements in THz communication is bridging the gap between the millimeter wave (mmW) and optical frequency ranges. Moreover, the IEEE 802.15 suite of standards has been issued to shape regulatory frameworks that will enable innovation and provide a complete solution that crosses between wired and wireless boundaries at 100 Gbps. Nonetheless, despite the expediting progress witnessed in THz wireless research, the THz band is still considered one of the least probed frequency bands. As such, in this work, we present an up-to-date review paper to analyze the fundamental elements and mechanisms associated with the THz system architecture.


title: On the Zakharov-L'vov stochastic model for wave turbulence

abstract: In this note we present the main results of the papers \cite{DK, DK2}, dedicated to rigorous study of the limiting properties of the stochastic model for wave turbulence due to Zakharov-L'vov. Proofs of the assertions, stated below without reference, may be found in those works.


title: Provenance for Large-scale Datalog

abstract: Logic programming languages such as Datalog have become popular as Domain Specific Languages (DSLs) for solving large-scale, real-world problems, in particular, static program analysis and network analysis. The logic specifications which model analysis problems, process millions of tuples of data and contain hundreds of highly recursive rules. As a result, they are notoriously difficult to debug. While the database community has proposed several data-provenance techniques that address the Declarative Debugging Challenge for Databases, in the cases of analysis problems, these state-of-the-art techniques do not scale. In this paper, we introduce a novel bottom-up Datalog evaluation strategy for debugging: our provenance evaluation strategy relies on a new provenance lattice that includes proof annotations, and a new fixed-point semantics for semi-naive evaluation. A debugging query mechanism allows arbitrary provenance queries, constructing partial proof trees of tuples with minimal height. We integrate our technique into Souffle, a Datalog engine that synthesizes C++ code, and achieve high performance by using specialized parallel data structures. Experiments are conducted with DOOP/DaCapo, producing proof annotations for tens of millions of output tuples. We show that our method has a runtime overhead of 1.27x on average while being more flexible than existing state-of-the-art techniques.


title: Mass measurements for two binary pulsars discovered in the PALFA survey

abstract: In this paper, we present the results of timing observations of PSRs J1949+3106 and J1950+2414, two binary millisecond pulsars discovered in data from the Arecibo ALFA pulsar survey (PALFA). The timing parameters include precise measurements of the proper motions of both pulsars, which show that PSR J1949+3106 has a transversal motion very similar to that of an object in the local standard of rest. The timing also includes measurements of the Shapiro delay and the rate of advance of periastron for both systems. Assuming general relativity, these allow estimates of the masses of the components of the two systems; for PSR J1949+3106, the pulsar mass is $M_p \, = \, 1.34^{+0.17}_{-0.15} \, M_{\odot}$ and the companion mass $M_c \, = \, 0.81^{+0.06}_{-0.05}\, M_{\odot}$; for PSR J1950+2414 $M_p \, = \, 1.496 \, \pm \, 0.023\, M_{\odot}$ and $M_c \, = \, 0.280^{+0.005}_{-0.004}\, M_{\odot}$ (all values 68.3 % confidence limits). We use these masses and proper motions to investigate the evolutionary history of both systems: PSR J1949+3106 is likely the product of a low-kick supernova; PSR J1950+2414 is a member of a new class of eccentric millisecond pulsar binaries with an unknown formation mechanism. We discuss the proposed hypotheses for the formations of these systems in light of our new mass measurements.


title: BlazeFace: Sub-millisecond Neural Face Detection on Mobile GPUs

abstract: We present BlazeFace, a lightweight and well-performing face detector tailored for mobile GPU inference. It runs at a speed of 200-1000+ FPS on flagship devices. This super-realtime performance enables it to be applied to any augmented reality pipeline that requires an accurate facial region of interest as an input for task-specific models, such as 2D/3D facial keypoint or geometry estimation, facial features or expression classification, and face region segmentation. Our contributions include a lightweight feature extraction network inspired by, but distinct from MobileNetV1/V2, a GPU-friendly anchor scheme modified from Single Shot MultiBox Detector (SSD), and an improved tie resolution strategy alternative to non-maximum suppression.


title: No Word is an Island -- A Transformation Weighting Model for Semantic Composition

abstract: Composition models of distributional semantics are used to construct phrase representations from the representations of their words. Composition models are typically situated on two ends of a spectrum. They either have a small number of parameters but compose all phrases in the same way, or they perform word-specific compositions at the cost of a far larger number of parameters. In this paper we propose transformation weighting (TransWeight), a composition model that consistently outperforms existing models on nominal compounds, adjective-noun phrases and adverb-adjective phrases in English, German and Dutch. TransWeight drastically reduces the number of parameters needed compared to the best model in the literature by composing similar words in the same way.


title: A global economic policy uncertainty index from principal component analysis

abstract: This paper constructs a global economic policy uncertainty index through the principal component analysis of the economic policy uncertainty indices for twenty primary economies around the world. We find that the PCA-based global economic policy uncertainty index is a good proxy for the economic policy uncertainty on a global scale, which is quite consistent with the GDP-weighted global economic policy uncertainty index. The PCA-based economic policy uncertainty index is found to be positively related with the volatility and correlation of the global financial market, which indicates that the stocks are more volatile and correlated when the global economic policy uncertainty is higher. The PCA-based global economic policy uncertainty index performs slightly better because the relationship between the PCA-based uncertainty and market volatility and correlation is more significant.


title: Approximate Nonlinear Regulation via Identification-Based Adaptive Internal Models

abstract: This paper concerns the problem of adaptive output regulation for multivariable nonlinear systems in normal form. We present a regulator employing an adaptive internal model of the exogenous signals based on the theory of nonlinear Luenberger observers. Adaptation is performed by means of discrete-time system identification schemes, in which every algorithm fulfilling some optimality and stability conditions can be used. Practical and approximate regulation results are given relating the prediction capabilities of the identified model to the asymptotic bound on the regulated variables, which become asymptotic whenever a "right" internal model exists in the identifier's model set. The proposed approach, moreover, does not require "high-gain" stabilization actions.


title: Emission peaks in the light curve of core collapse supernovae by late jets

abstract: We build a toy model where the central object, i.e., a newly born neutron star or a black hole, launches jets at late times and show that these jets might account for peaks in the light curve of some peculiar (i.e., having unusual light curves) core collapse supernovae (CCSNe) when the jets interact with the CCSN ejecta. We assume that the central object accretes fallback material and launches two short-lived opposite jets weeks to months after the explosion. We model each jet-ejecta interaction as a spherically symmetric `mini explosion' that takes place inside the ejecta. We assume that each `mini explosion' adds emission that is symmetric in time around the late peak, and with a rise in emission power that has the same slope as that of the main CCSN light curve. In total we use 12 parameters in the toy model. In our toy model late jets form stronger emission peaks than early jets. Late jets with a kinetic energy of only about one percent of the kinetic energy of the CCSN itself might form strong emission peaks. We apply our toy model to the brightest peak of the enigmatic CCSN iPTF14hls that has several extra peaks in its light curve. We can fit this emission peak with our toy model when we take the kinetic energy of the jets to be about one to two percent of the CCSN energy, and the shocked ejecta mass to be about three percent of the ejecta mass.


title: On the behaviour of clamped plates under large compression

abstract: We determine the asymptotic behaviour of eigenvalues of clamped plates under large compression, by relating this problem to eigenvalues of the Laplacian with Robin boundary conditions. Using the method of fundamental solutions, we then carry out a numerical study of the extremal domains for the first eigenvalue, from which we see that these depend on the value of the compression, and start developing a boundary structure as this parameter is increased. The corresponding number of nodal domains of the first eigenfunction of the extremal domain also increases with the compression.


title: Free boundary minimal surfaces in the unit ball : recent advances and open questions

abstract: In this survey, we discuss some recent results on free boundary minimal surfaces in the Euclidean unit-ball. The subject has been a very active field of research in the past few years due to the seminal work of Fraser and Schoen on the extremal Steklov eigenvalue problem. We review several different techniques of constructing examples of embedded free boundary minimal surfaces in the unit ball. Next, we discuss some uniqueness results for free boundary minimal disks and the conjecture about the uniqueness of critical catenoid. We also discuss several Morse index estimates for free boundary minimal surfaces. Moreover, we describe estimates for the first Steklov eigenvalue on such free boundary minimal surfaces and various smooth compactness results. Finally, we mention some sharp area bounds for free boundary minimal submanifolds and related questions.


title: Capillary Rise -- A Computational Benchmark for Wetting Processes

abstract: Four different numerical approaches are compared for the rise of liquid between two parallel plates. These are an Arbitrary Lagrangian-Eulerian method (OpenFOAM solver interTrackFoam), a geometric volume of fluid code (FS3D), an algebraic volume of fluid method (OpenFOAM solver interFoam), and a level set approach (BoSSS). The first three approaches discretize the bulk equation using a finite volume method while the last one employs an extended discontinuous Galerkin discretization. The results are compared to ODE models which are the classical rise model and an extended model that incorporates a Navier slip boundary condition on the capillary walls and levels at a corrected stationary rise height. All physical parameters are based on common requirements for the initial conditions, short simulation time, and a non-dimensional parameter study. The comparison shows excellent agreement between the different implementations with minor quantitative deviations for the adapted interFoam implementation. While the qualitative agreement between the full solutions of the continuum mechanical approach and the reference model is good, the quantitative comparison is only reasonable, especially for cases with increasing oscillations. Furthermore, reducing the slip length changes the solution qualitatively as oscillations are completely damped in contrast to the solution of the ODE models. To provide reference data for a full continuum simulation of the capillary rise problem, all results are made available online.


title: Even maps, the Colin de~Verdi\`ere number and representations of graphs

abstract: Van der Holst and Pendavingh introduced a graph parameter $\sigma$, which coincides with the more famous Colin de Verdi\`{e}re graph parameter $\mu$ for small values. However, the definition of $\sigma$ is much more geometric/topological directly reflecting embeddability properties of the graph. They proved $\mu(G) \leq \sigma(G) + 2$ and conjectured $\mu(G) \leq \sigma(G)$ for any graph $G$. We confirm this conjecture. As far as we know, this is the first topological upper bound on $\mu(G)$ which is, in general, tight. Equality between $\mu$ and $\sigma$ does not hold in general as van der Holst and Pendavingh showed that there is a graph $G$ with $\mu(G) \leq 18$ and $\sigma(G)\geq 20$. We show that the gap appears on much smaller values, namely, we exhibit a graph $H$ for which $\mu(H)\leq 7$ and $\sigma(H)\geq 8$. We also prove that, in general, the gap can be large: The incidence graphs $H_q$ of finite projective planes of order $q$ satisfy $\mu(H_q) \in O(q^{3/2})$ and $\sigma(H_q) \geq q^2$.


title: Kolmogorov complexity in the USSR (1975--1982): isolation and its end

abstract: These reminiscences are about the "dark ages" of algorithmic information theory in the USSR. After a great interest in this topic in 1960s and the beginning of 1970s the number of people working in this area in the USSR decreased significantly. At that time L.A. Levin published a bunch of papers that were seminal for the modern algorithmic information theory. Then he left the USSR, and the new wave of interest was triggered by the talk of A.N. Kolmogorov at a Moscow State (Lomonosov) University Mathematical Department (Logic and Algorithms Division) seminar organized by him; several younger researchers obtained some new results in algorithmic information theory.


title: First results of Resistive-Plate Well (RPWELL) detector operation at 163 K

abstract: We present for the first time, discharge-free operation at cryogenic conditions of a Resistive-Plate WELL (RPWELL) detector. It is a single-sided Thick Gaseous Electron Multiplier (THGEM) coupled to a readout anode via a plate of high bulk resistivity. The results of single- and double-stage RPWELL detectors operated in stable conditions in Ne/5$\%$CH$_{4}$ at 163 K are summarized. The RPWELL comprised a ferric-based (Fe$^{3+}$) ceramic composite ("Fe-ceramic") as the resistive plate, of volume resistivity $\sim$$10^{11}$ $\Omega$$\cdot$cm at this temperature. Gains of $\sim$$10^{4}$ and $\sim$$10^{5}$ were reached with the single-stage RPWELL, with 6 keV X-rays and single UV-photons, respectively. The double-stage detector, a THGEM followed by the RPWELL, reached gains $\sim$$10^{5}$ and $\sim$$10^{6}$ with X-rays and single UV-photons, respectively. The results were obtained with and without a CsI photocathode on the first multiplying element. Potential applications at these cryogenic conditions are discussed.


title: Decoding and Repair Schemes for Shift-XOR Regenerating Codes

abstract: Decoding and repair schemes are proposed for shift-exclusive-or (shift-XOR) product-matrix (PM) regenerating codes, which outperform the existing schemes in terms of both communication and computation costs. In particular, for the shift-XOR minimum bandwidth regenerating (MBR) codes, our decoding and repair schemes have the optimal transmission bandwidth and can be implemented in-place without extra storage space for intermediate XOR results. Technically, our schemes involve an in-place algorithm for solving a system of shift-XOR equations, called \emph{shift-XOR elimination}, which does not have the bandwidth overhead generated by shift operations as in the previous zigzag algorithm and has lower computation complexities compared with the zigzag algorithm. The decoding and repair of shift-XOR MBR/MSR codes are decomposed into a sequence of systems of shift-XOR equations, and hence can be solved by a sequence of calls to the shift-XOR elimination. As the decompositions of the decoding and repair depend only on the PM construction, but not the specific shift and XOR operations, our decoding and repair schemes can be extended to other MBR/MSR codes using the PM construction. Due to its fundamental role, the shift-XOR elimination is of independent interest.


title: Variational and numerical analysis of a dynamic viscoelastic contact problem with friction and wear

abstract: In this paper, we consider a dynamic viscoelastic contact problem with friction and wear, and describe it as a system of nonlinear partial differential equations. We formulate the previous problem as a hyperbolic quasi-variational inequality by employing the variational method. We adopt the Rothe method to show the existence and uniqueness of weak solution for the hyperbolic quasi-variational inequality under mild conditions. We also give a fully discrete scheme for solving the hyperbolic quasi-variational inequality and obtain error estimates for the fully discrete scheme.


title: From Single Neurons to Behavior in the Jellyfish Aurelia aurita

abstract: Jellyfish nerve nets provide insight into the origins of nervous systems, as both their taxonomic position and their evolutionary age imply that jellyfish resemble some of the earliest neuron-bearing, actively-swimming animals. Here we develop the first neuronal network model for the nerve nets of jellyfish. Specifically, we focus on the moon jelly Aurelia aurita and the control of its energy-efficient swimming motion. The proposed single neuron model disentangles the contributions of different currents to a spike. The network model identifies factors ensuring non-pathological activity and suggests an optimization for the transmission of signals. After modeling the jellyfish's muscle system and its bell in a hydrodynamic environment, we explore the swimming elicited by neural activity. We find that different delays between nerve net activations lead to well-controlled, differently directed movements. Our model bridges the scales from single neurons to behavior, allowing for a comprehensive understanding of jellyfish neural control.


title: GalWeight Application: A publicly-available catalog of dynamical parameters of 1,800 galaxy clusters from SDSS-DR13, ($\mathtt{GalWCat19}$)

abstract: Utilizing the SDSS-DR13 spectroscopic dataset, we create a new publicly-available catalog of 1,800 galaxy clusters (GalWeight cluster catalog, $\mathtt{GalWCat19}$) and a corresponding catalog of 34,471 identified member galaxies. The clusters are identified from overdensities in redshift-phase space. The GalWeight technique introduced in Abdullah, Wilson and Klypin (AWK18) is then applied to identify cluster members. The completeness of the cluster catalog ($\mathtt{GalWCat19}$) and the procedure followed to determine cluster mass are tested on the Bolshoi N-body simulations. The 1,800 $\mathtt{GalWCat19}$ clusters range in redshift between $0.01 - 0.2$ and in mass between $(0.4 - 14) \times 10^{14}h^{-1}M_{\odot}$. The cluster catalog provides a large number of cluster parameters including sky position, redshift, membership, velocity dispersion, and mass at overdensities $\Delta = 500, 200, 100, 5.5$. The 34,471 member galaxies are identified within the radius at which the density is 200 times the critical density of the Universe. The galaxy catalog provides the coordinates of each galaxy and the ID of the cluster that the galaxy belongs to. The cluster velocity dispersion scales with mass as $\log(\sigma_{200})=\log(946\pm52~ \mbox{km} ~ \mbox{s}^{-1}) +(0.349\pm0.142)\log\left[h(z) ~ M_{200}/10^{15}M_\odot\right]$ with scatter of $\delta_{\log\sigma} = 0.06$. The catalogs are publicly available at the following website\footnote{\url{https://mohamed-elhashash-94.webself.net/galwcat/}}.


title: FIRE: Unsupervised bi-directional inter-modality registration using deep networks

abstract: Inter-modality image registration is an critical preprocessing step for many applications within the routine clinical pathway. This paper presents an unsupervised deep inter-modality registration network that can learn the optimal affine and non-rigid transformations simultaneously. Inverse-consistency is an important property commonly ignored in recent deep learning based inter-modality registration algorithms. We address this issue through the proposed multi-task architecture and the new comprehensive transformation network. Specifically, the proposed model learns a modality-independent latent representation to perform cycle-consistent cross-modality synthesis, and use an inverse-consistent loss to learn a pair of transformations to align the synthesized image with the target. We name this proposed framework as FIRE due to the shape of its structure. Our method shows comparable and better performances with the popular baseline method in experiments on multi-sequence brain MR data and intra-modality 4D cardiac Cine-MR data.


title: Probabilistic finiteness properties for profinite groups

abstract: We introduce various probablistic finiteness conditions for profinite groups related to positive finite generation (PFG). We investigate completed group rings which are PFG as modules, and use this to answer a question of Kionke and the second author on positively finitely related groups. Using the theory of projective covers, we define and characterise a probabilistic version of the $\mathrm{FP}_n$ property for profinite groups, called $\mathrm{PFP}_n$. Finally, we prove how these conditions are related to previously defined finiteness conditions and each other.


title: On the minimum value of the Colless index and the bifurcating trees that achieve it

abstract: Measures of tree balance play an important role in the analysis of phylogenetic trees. One of the oldest and most popular indices in this regard is the Colless index for rooted bifurcating trees, introduced by Colless (1982). While many of its statistical properties under different probabilistic models for phylogenetic trees have already been established, little is known about its minimum value and the trees that achieve it. In this manuscript, we fill this gap in the literature. To begin with, we derive both recursive and closed expressions for the minimum Colless index of a tree with $n$ leaves. Surprisingly, these expressions show a connection between the minimum Colless index and the so-called Blancmange curve, a fractal curve. We then fully characterize the tree shapes that achieve this minimum value and we introduce both an algorithm to generate them and a recurrence to count them. After focusing on two extremal classes of trees with minimum Colless index (the maximally balanced trees and the greedy from the bottom trees), we conclude by showing that all trees with minimum Colless index also have minimum Sackin index, another popular balance index.


title: Room temperature Organic Exciton-Polariton Condensate in a Lattice

abstract: Interacting Bosons, loaded in artificial lattices, have emerged as a modern platform to explore collective manybody phenomena, quantum phase transitions and exotic phases of matter as well as to enable advanced on chip simulators. Such experiments strongly rely on well-defined shaping the potential landscape of the Bosons, respectively Bosonic quasi-particles, and have been restricted to cryogenic, or even ultra-cold temperatures. On chip, the GaAs-based exciton-polariton platform emerged as a promising system to implement and study bosonic non-linear systems in lattices, yet demanding cryogenic temperatures. In our work, we discuss the first experiment conducted on a polaritonic lattice at ambient conditions: We utilize fluorescent proteins as an excitonic gain material, providing ultra-stable Frenkel excitons. We directly take advantage of their soft nature by mechanically shaping them in the photonic one-dimensional lattice. We demonstrate controlled loading of the condensate in distinct orbital lattice modes of different symmetries, and finally explore, as an illustrative example, the formation of a gap solitonic mode, driven by the interplay of effective interaction and negative effective mass in our lattice. The observed phenomena in our open dissipative system are comprehensively scrutinized by a nonequilibrium model of polariton condensation. We believe, that this work is establishing the organic polariton platform as a serious contender to the well-established GaAs platform for a wide range of applications relying on coherent Bosons in lattices, given its unprecedented flexibility, cost effectiveness and operation temperature.


title: Asymptotic results for the last zero crossing time of a Brownian motion with non-null drift

abstract: We consider the last zero crossing time $T_{\mu,t}$ of a Brownian motion, with drift $\mu \neq 0$ in the time interval $[0, t]$. We prove the large deviation principle of $\{T_{\mu \sqrt r t} : r > 0 \}$ as $r$ tends to infinity. Moreover, motivated by the results on moderate deviations in the literature, we also prove a class of large deviation principles for the same random variables with different scalings, which are governed by the same rate function. Finally we compare some aspects of the classical moderate deviation results, and the results in this paper.


title: Impurity concentration dependent electrical conduction in germanium crystal at low temperatures

abstract: Germanium single crystal having 45 mm diameter and 100 mm length of 7N+ purity has been grown by Czochralski method. Structural quality of the crystal has been characterized by Laue diffraction. Electrical conduction and Hall measurements are carried out on samples retrieved from different parts of the crystal along the growth axis. Top part of the crystal exhibits lowest impurity concentration (~10^12/cm3) that gradually increases towards the bottom (10^13/cm3). The crystal is n-type at room temperature and the resistivity shows non-monotonic temperature dependence. There is a transition from n-type to p-type conductivity below room temperature at which bulk resistivity shows maximum and dip in carrier mobility. This intrinsic to extrinsic transition regions shift towards room temperature as the impurity concentration increases and reflects the purity level of the crystal. Similar trend is observed in boron implanted high purity germanium (HPGe) crystal at different doping level. The phenomena can be understood as a result of interplay between temperature dependent conduction mechanism driven by impurity band and intrinsic carrier in Ge crystals having fairly low acceptor concentrations (<10^12/cm3).


title: Fast Modeling L2 Cache Reuse Distance Histograms Using Combined Locality Information from Software Traces

abstract: To mitigate the performance gap between CPU and the main memory, multi-level cache architectures are widely used in modern processors. Therefore, modeling the behaviors of the downstream caches becomes a critical part of the processor performance evaluation in the early stage of Design Space Exploration (DSE). In this paper, we propose a fast and accurate L2 cache reuse distance histogram model, which can be used to predict the behaviors of the multi-level cache architectures where the L1 cache uses the LRU replacement policy and the L2 cache uses LRU/Random replacement policies. We use the profiled L1 reuse distance histogram and two newly proposed metrics, namely the RST table and the Hit-RDH, that describing more detailed information of the software traces as the inputs. For a given L1 cache configuration, the profiling results can be reused for different configurations of the L2 cache. The output of our model is the L2 cache reuse distance histogram, based on which the L2 cache miss rates can be evaluated. We compare the L2 cache miss rates with the results from gem5 cycle-accurate simulations of 15 benchmarks chosen from SPEC CPU 2006 and 9 benchmarks from SPEC CPU 2017. The average absolute error is less than 5%, while the evaluation time for each L2 configuration can be sped up almost 30X for four L2 cache candidates.


title: Statistical Measures and Selective Decay Principle for Generalized Euler Dynamics: Formulation and Application to the Formation of Strong Fronts

abstract: In this work we investigate the statistical mechanics of a family of two dimensional (2D) fluid flows, described by the generalized Euler equations, or $\alpha$-models. These models describe both nonlocal and local dynamics, with one example of the latter given by the Surface Quasi Geostrophy (SQG) model for which the existence of singularities is still under discussion. Furthermore, SQG is relevant both for atmosphere and ocean dynamics, and in particular, it is proposed to understand the oceanic submesoscale structures, front and filaments, associated with horizontal gradients of buoyancy. We discuss under which conditions the statistical theory suggests a principle of selective decay for the whole family of turbulent models, and then we explore the selective decay principle numerically, the transition to equilibrium and the formation of singularities, starting from initial conditions (i.c.s) corresponding to a hyperbolic saddle. We study the topological transitions in the flow configuration induced by filaments breaking. Furthermore we compare the theoretical equilibrium states, and the functional relation between the generalized vorticity $q$ and its correspondent stream function $\psi$, with the results of the simulations. For the particular i.c.s investigated, and domain used for the simulations, we have not noticed transition from tanh-like to sinh-like $\psi-q$ functional relation, which would be expected by the emergence of coherent structures that are, however, filtered by the time averages used to compute the mean fields.


title: The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas

abstract: HyperLTL, the extension of Linear Temporal Logic by trace quantifiers, is a uniform framework for expressing information flow policies by relating multiple traces of a security-critical system. HyperLTL has been successfully applied to express fundamental security policies like noninterference and observational determinism, but has also found applications beyond security, e.g., distributed protocols and coding theory. However, HyperLTL satisfiability is undecidable as soon as there are existential quantifiers in the scope of a universal one. To overcome this severe limitation to applicability, we investigate here restricted variants of the satisfiability problem to pinpoint the decidability border. First, we restrict the space of admissible models and show decidability when restricting the search space to models of bounded size or to finitely representable ones. Second, we consider formulas with restricted nesting of temporal operators and show that nesting depth one yields decidability for a slightly larger class of quantifier prefixes. We provide tight complexity bounds in almost all cases.


title: Metallicity gradients in small and nearby spiral galaxies

abstract: Spectra of HII regions obtained with Gemini/GMOS are used to derive the radial metallicity gradients of four small, low-mass spiral galaxies. The analysis of the outer disk of one of them, NGC 1058, uncovers the characteristic flattening found in similar extended disk galaxies. After combining these data with published long-slit observations of nearby spiral galaxies, no evidence for a dependence of the disk scale length-normalized metallicity gradients with stellar mass is found, down to log(M*/Msun) ~ 8.5. The abundance gradients derived from these observations are compared to predictions from recent cosmological simulations of galaxy evolution, finding that in several cases the simulations fail to reproduce the mean steepening of the gradients, expressed in dex/kpc, with decreasing stellar mass for present-day galaxies, or do not extend to sufficiently small stellar masses for a meaningful comparison. The mean steepening of the abundance gradients (in dex/kpc) with decreasing disk scale length is in qualitative agreement with predictions from the inside-out model of Boissier & Prantzos, although the predicted slopes are systematically steeper than observed. This indicates the necessity of including processes such as outflows and radial mixing in similar models of galactic chemical evolution. Published spatially resolved metallicity and photometric data of dwarf irregular galaxies suggest that significant, but transitory, metallicity gradients can develop for systems that have experienced recent (t < 100 Myr) enhanced star formation in their inner disks.


title: Real-world forward rate dynamics with affine realizations

abstract: We investigate the existence of affine realizations for L\'{e}vy driven interest rate term structure models under the real-world probability measure, which so far has only been studied under an assumed risk-neutral probability measure. For models driven by Wiener processes, all results obtained under the risk-neutral approach concerning the existence of affine realizations are transferred to the general case. A similar result holds true for models driven by compound Poisson processes with finite jump size distributions. However, in the presence of jumps with infinite activity we obtain severe restrictions on the structure of the market price of risk; typically, it must even be constant.


title: Void-and-Cluster Sampling of Large Scattered Data and Trajectories

abstract: We propose a data reduction technique for scattered data based on statistical sampling. Our void-and-cluster sampling technique finds a representative subset that is optimally distributed in the spatial domain with respect to the blue noise property. In addition, it can adapt to a given density function, which we use to sample regions of high complexity in the multivariate value domain more densely. Moreover, our sampling technique implicitly defines an ordering on the samples that enables progressive data loading and a continuous level-of-detail representation. We extend our technique to sample time-dependent trajectories, for example pathlines in a time interval, using an efficient and iterative approach. Furthermore, we introduce a local and continuous error measure to quantify how well a set of samples represents the original dataset. We apply this error measure during sampling to guide the number of samples that are taken. Finally, we use this error measure and other quantities to evaluate the quality, performance, and scalability of our algorithm.


title: Gamma-ray Bursts as distance indicators through a machine learning approach

abstract: Gamma-ray bursts (GRBs) are spectacularly energetic events, with the potential to inform on the early universe and its evolution, once their redshifts are known. Unfortunately, determining redshifts is a painstaking procedure requiring detailed follow-up multi-wavelength observations often involving various astronomical facilities, which have to be rapidly pointed at these serendipitous events. Here we use Machine Learning algorithms to infer redshifts from a collection of observed temporal and spectral features of GRBs. We obtained a very high correlation coefficient ($0.96$) between the inferred and the observed redshifts, and a small dispersion (with a mean square error of $0.003$) in the test set. The addition of plateau afterglow parameters improves the predictions by $61.4\%$ compared to previous results. The GRB luminosity function and cumulative density rate evolutions, obtained from predicted and observed redshift are in excellent agreement indicating that GRBs are effective distance indicators and a reliable step for the cosmic distance ladder.


title: Towards a new generation of parton densities with deep learning models

abstract: We present a new regression model for the determination of parton distribution functions (PDF) using techniques inspired from deep learning projects. In the context of the NNPDF methodology, we implement a new efficient computing framework based on graph generated models for PDF parametrization and gradient descent optimization. The best model configuration is derived from a robust cross-validation mechanism through a hyperparametrization tune procedure. We show that results provided by this new framework outperforms the current state-of-the-art PDF fitting methodology in terms of best model selection and computational resources usage.


title: Lattice matched Volmer-Weber growth of Fe$_3$Si on GaAs(001) -- the influence of the growth rate

abstract: We investigate the formation of lattice matched single-crystalline Fe$_3$Si/GaAs(001) ferromagnet/semiconductor hybrid structures by Volmer-Weber island growth, starting from the epitaxial growth of isolated Fe$_3$Si islands up to the formation of continuous films as a result of island coalescence. We find coherent defect-free layers exhibiting compositional disorder near the Fe$_3$Si/GaAs-interface for higher growth rates, whereas they are fully ordered for lower growth rates.


title: Directing Power Towards Conic Parameter Subspaces

abstract: For a high-dimensional parameter of interest, tests based on quadratic statistics are known to have low power against subsets of the parameter space (henceforth, parameter subspaces). In addition, they typically involve an inverse covariance matrix which is difficult to estimate in high-dimensional settings. I simultaneously address these two issues by proposing a novel test statistic that is large in a conic parameter subspace of interest. This test statistic generalizes the Wald statistic and nests many well-known test statistics. For a given parameter subspace, the statistic is free of tuning parameters and suitable for high-dimensional settings if the subspace is sufficiently small. It can be computed using regularized linear regression, where the type of regularization and the regularization parameters are completely determined by the parameter subspace of interest. I illustrate the statistic on subspaces that consist of sparse or nearly-sparse vectors, for which the computation corresponds to $\ell_0$- and $\ell_1$-regularized regression, respectively.


title: Interferometric optical signature of electron microbunching in laser-driven plasma accelerators

abstract: We report observations of coherent optical transition radiation interferometry (COTRI) patterns generated by microbunched ~200-MeV electrons as they emerge from a laser-plasma accelerator. The divergence of the microbunched portion of electrons, deduced by comparison to an analytical COTRI model, is ~6x smaller than the ~3 mrad ensemble beam divergence, while the radius of the microbunched beam, obtained from COTR images on the same shot, is < 3 microns. The combined results show that the microbunched distribution has estimated transverse normalized emittance ~0.5 mm mrad.


title: Safe Policy Improvement with Soft Baseline Bootstrapping

abstract: Batch Reinforcement Learning (Batch RL) consists in training a policy using trajectories collected with another policy, called the behavioural policy. Safe policy improvement (SPI) provides guarantees with high probability that the trained policy performs better than the behavioural policy, also called baseline in this setting. Previous work shows that the SPI objective improves mean performance as compared to using the basic RL objective, which boils down to solving the MDP with maximum likelihood. Here, we build on that work and improve more precisely the SPI with Baseline Bootstrapping algorithm (SPIBB) by allowing the policy search over a wider set of policies. Instead of binarily classifying the state-action pairs into two sets (the \textit{uncertain} and the \textit{safe-to-train-on} ones), we adopt a softer strategy that controls the error in the value estimates by constraining the policy change according to the local model uncertainty. The method can take more risks on uncertain actions all the while remaining provably-safe, and is therefore less conservative than the state-of-the-art methods. We propose two algorithms (one optimal and one approximate) to solve this constrained optimization problem and empirically show a significant improvement over existing SPI algorithms both on finite MDPs and on infinite MDPs with a neural network function approximation.


title: Quantum probing topological phase transitions by non-Markovianity

abstract: Understanding the physical significance and probing the global invariants characterizing quantum topological phases in extended systems is a main challenge in modern physics with major impact in different areas of science. Here, a quantum-information-inspired probing method is proposed where topological phase transitions are revealed by a non-Markovianity quantifier. The idea is illustrated by considering the decoherence dynamics of an external read-out qubit that probes a Su-Schrieffer-Heeger (SSH) chain with either pure dephasing or dissipative coupling. Qubit decoherence features and non-Markovianity measure clearly signal the topological phase transition of the SSH chain.


title: Charge carriers with fractional exclusion statistics in cuprates

abstract: We show that in the SU(2)XU(1) spin-charge gauge approach we developed earlier one can attribute consistently an exclusion statistics with parameter 1/2 to the spinless charge carriers of the t-J model in two dimensions(2D), as it occurs in one dimension (1D). Like the 1D case, the no-double occupation constraint is at the origin of this fractional exclusion statistics. With this statistics we recover a "large" Fermi volume of holes at high dopings, close to that of the tight binding approximation. Furthermore, the composite nature of the hole, made of charge and spin carriers only weakly bounded, can provide a natural explanation of many unusual experimental features of the hole-doped cuprates.


title: How should we score athletes and candidates: geometric scoring rules

abstract: Scoring rules are widely used to rank athletes in sports and candidates in elections. Each position in each individual ranking is worth a certain number of points; the total sum of points determines the aggregate ranking. The question is how to choose a scoring rule for a specific application. First, we derive a one-parameter family with geometric scores which satisfies two principles of independence: once an extremely strong or weak candidate is removed, the aggregate ranking ought to remain intact. This family includes Borda count, generalised plurality (medal count), and generalised antiplurality (threshold rule) as edge cases, and we find which additional axioms characterise these rules. Second, we introduce a one-parameter family with optimal scores: the athletes should be ranked according to their expected overall quality. Finally, using historical data from biathlon, golf, and athletics we demonstrate how the geometric and optimal scores can simplify the selection of suitable scoring rules, show that these scores closely resemble the actual scores used by the organisers, and provide an explanation for empirical phenomena observed in biathlon and golf tournaments. We see that geometric scores approximate the optimal scores well in events where the distribution of athletes' performances is roughly uniform.


title: Cake Cutting on Graphs: A Discrete and Bounded Proportional Protocol

abstract: The classical cake cutting problem studies how to find fair allocations of a heterogeneous and divisible resource among multiple agents. Two of the most commonly studied fairness concepts in cake cutting are proportionality and envy-freeness. It is well known that a proportional allocation among $n$ agents can be found efficiently via simple protocols [16]. For envy-freeness, in a recent breakthrough, Aziz and Mackenzie [5] proposed a discrete and bounded envy-free protocol for any number of players. However, the protocol suffers from high multiple-exponential query complexity and it remains open to find simpler and more efficient envy-free protocols. In this paper we consider a variation of the cake cutting problem by assuming an underlying graph over the agents whose edges describe their acquaintance relationships, and agents evaluate their shares relatively to those of their neighbors. An allocation is called locally proportional if each agent thinks she receives at least the average value over her neighbors. Local proportionality generalizes proportionality and is in an interesting middle ground between proportionality and envy-freeness: its existence is guaranteed by that of an envy-free allocation, but no simple protocol is known to produce such a locally proportional allocation for general graphs. Previous works showed locally proportional protocols for special classes of graphs, and it is listed in both [1] and [8] as an open question to design simple locally proportional protocols for more general classes of graphs. In this paper we completely resolved this open question by presenting a discrete and bounded locally proportional protocol for any given graphs. Our protocol has a query complexity of only single exponential, which is significantly smaller than the six towers of $n$ query complexity of the envy-free protocol given in [5].


title: MeetUp! A Corpus of Joint Activity Dialogues in a Visual Environment

abstract: Building computer systems that can converse about their visual environment is one of the oldest concerns of research in Artificial Intelligence and Computational Linguistics (see, for example, Winograd's 1972 SHRDLU system). Only recently, however, have methods from computer vision and natural language processing become powerful enough to make this vision seem more attainable. Pushed especially by developments in computer vision, many data sets and collection environments have recently been published that bring together verbal interaction and visual processing. Here, we argue that these datasets tend to oversimplify the dialogue part, and we propose a task---MeetUp!---that requires both visual and conversational grounding, and that makes stronger demands on representations of the discourse. MeetUp! is a two-player coordination game where players move in a visual environment, with the objective of finding each other. To do so, they must talk about what they see, and achieve mutual understanding. We describe a data collection and show that the resulting dialogues indeed exhibit the dialogue phenomena of interest, while also challenging the language & vision aspect.


title: Towards a Connected Sky: Performance of Beamforming with Down-tilted Antennas for Ground and UAV User Co-existence

abstract: Providing connectivity to aerial users such as cellular connected unmanned aerial vehicles is a key challenge for future cellular systems. In this paper, the use of conjugate beamforming for simultaneous content delivery to an AU coexisting with multiple ground users is investigated. In particular, a content delivery network of uniformly distributed massive MIMO enabled ground base stations serving both aerial and ground users through spatial multiplexing is considered. For this model, the successful content delivery probability is derived as a function of the system parameters. The effects of various system parameters such as antenna down-tilt angle, AU altitude, number of scheduled users, and number of antennas on the achievable performance are then investigated. Results reveal that whenever the AU altitude is below the BS height, the antennas down-tilt angles yield an inherent tradeoff between the performance of the AU and the GUs. However, if the AU altitude exceeds the BS height, down-tilting the BS antennas with a considerably large angle improves the performance of both the AU and the GUs.


title: Nickel coated carbon nanotubes in aluminum matrix composites: A multiscale simulation study

abstract: In this work we use density functional theory (DFT) calculations to benchmark empirical potentials for the interaction between nickel and sp$^2$ bonded carbon nanoparticles. These potentials are then used in order to investigate how Ni decorated or coated carbon nanotubes (CNT) affect the mechanical properties of Al/CNT composites. In particular we look at the pull-out behaviour of pristine as well as Ni-decorated and Ni-coated CNT from an Al matrix. Our result shows that Ni coating may produce an extended interface (interphase) where a significant amount of energy is dissipated during CNT pull-out, leading to a high pull-out force. We also demonstrate that surface decorated CNT may act as efficient nano-crystallization agents and thus provide a novel strengthening mechanism not previously discussed in the literature. We discuss our results in view of promising approaches for engineering CNT-metal interfaces such as to achieve high strength metal-CNT composite.


title: Optimal Space-Depth Trade-Off of CNOT Circuits in Quantum Logic Synthesis

abstract: Decoherence -- in the current physical implementations of quantum computers -- makes depth reduction a vital task in quantum-circuit design. Moore and Nilsson (SIAM Journal of Computing, 2001) demonstrated that additional qubits -- known as ancillae -- can be used to provide an extended space to parallelize quantum circuits. Specifically, they proved that, with $O(n^2)$ ancillae, any $n$-qubit CNOT circuit can be transformed into an equivalent one of $O(\log n)$ depth. However, the near-term quantum technologies can only support a limited amount of qubits, making space-depth trade-off a fundamental research subject for quantum-circuit synthesis. In this work, we establish an asymptotically optimal space-depth trade-off for CNOT circuits. We prove that any $n$-qubit CNOT circuit can be parallelized to $$O\left(\max\left\{\log n, \frac{n^2}{(n+m)\log (n+m)}\right\}\right)$$ depth with $m$ ancillae. This bound is tight even if the task is expanded from exact synthesis to the approximation of CNOT circuits with arbitrary two-qubit quantum gates. Our result can be extended to stabilizer circuits via the reduction by Aaronson and Gottesman (Physical Review A, 2004). Furthermore, we provide hardness evidence for optimizing CNOT circuits in terms of size or depth. Our result has improved upon two previous papers that motivated our work. Moore-Nilsson's construction (aforementioned) for $O(\log n)$-depth CNOT circuit synthesis: We have reduced their need for ancillae by a factor of $\log^2 n$ by showing that $m= O(n^2/\log^2 n)$ additional qubits -- which is asymptotically optimal -- suffice to build equivalent $O(\log n)$-depth $O(n^2/\log n)$-size CNOT circuits. Patel-Markov-Hayes's construction (Quantum Information & Computation 2008) for $m = 0$: We have reduced their depth by a factor of $n$ and achieved the asymptotically optimal bound of $O(n/\log n)$.


title: Detecting volcanically produced tori along orbits of exoplanets using UV spectroscopy

abstract: We suggest to use the Hubble Space Telescople (HST) follow-up observations of the TESS targets for detecting possible plasma tori along the orbits of exoplanets orbiting M dwarfs. The source of the torus could be planetary volcanic activity due to tidal or electromagnetic induction heating. Fast losses to space for planets orbiting these active stars can lead to the lost material forming a torus along the planetary orbit, similar to the Io plasma torus. We show that such torus would be potentially detectable by the HST in the UV.


title: Deep-Learning for Tidemark Segmentation in Human Osteochondral Tissues Imaged with Micro-computed Tomography

abstract: Three-dimensional (3D) semi-quantitative grading of pathological features in articular cartilage (AC) offers significant improvements in basic research of osteoarthritis (OA). We have earlier developed the 3D protocol for imaging of AC and its structures which includes staining of the sample with a contrast agent (phosphotungstic acid, PTA) and a consequent scanning with micro-computed tomography. Such a protocol was designed to provide X-ray attenuation contrast to visualize AC structure. However, at the same time, this protocol has one major disadvantage: the loss of contrast at the tidemark (calcified cartilage interface, CCI). An accurate segmentation of CCI can be very important for understanding the etiology of OA and ex-vivo evaluation of tidemark condition at early OA stages. In this paper, we present the first application of Deep Learning to PTA-stained osteochondral samples that allows to perform tidemark segmentation in a fully-automatic manner. Our method is based on U-Net trained using a combination of binary cross-entropy and soft Jaccard loss. On cross-validation, this approach yielded intersection over the union of 0.59, 0.70, 0.79, 0.83 and 0.86 within 15 {\mu}m, 30 {\mu}m, 45 {\mu}m, 60 {\mu}m and 75 {\mu}m padded zones around the tidemark, respectively. Our codes and the dataset that consisted of 35 PTA-stained human AC samples are made publicly available together with the segmentation masks to facilitate the development of biomedical image segmentation methods.


title: A supervised neural network for drag prediction of arbitrary 2D shapes in low Reynolds number flows

abstract: Despite the significant breakthrough of neural networks in the last few years, their spreading in the field of computational fluid dynamics is very recent, and many applications remain to explore. In this paper, we explore the drag prediction capabilities of convolutional neural networks for laminar, low-Reynolds number flows past arbitrary 2D shapes. A set of random shapes exhibiting a rich variety of geometrical features is built using B\'ezier curves. The efficient labelling of the shapes is provided using an immersed method to solve a unified Eulerian formulation of the Navier-Stokes equation. The network is then trained and optimized on the obtained dataset, and its predictive efficiency assessed on several real-life shapes, including NACA airfoils.


title: Efficient Semantic Scene Completion Network with Spatial Group Convolution

abstract: We introduce Spatial Group Convolution (SGC) for accelerating the computation of 3D dense prediction tasks. SGC is orthogonal to group convolution, which works on spatial dimensions rather than feature channel dimension. It divides input voxels into different groups, then conducts 3D sparse convolution on these separated groups. As only valid voxels are considered when performing convolution, computation can be significantly reduced with a slight loss of accuracy. The proposed operations are validated on semantic scene completion task, which aims to predict a complete 3D volume with semantic labels from a single depth image. With SGC, we further present an efficient 3D sparse convolutional network, which harnesses a multiscale architecture and a coarse-to-fine prediction strategy. Evaluations are conducted on the SUNCG dataset, achieving state-of-the-art performance and fast speed. Code is available at https://github.com/zjhthu/SGC-Release.git


title: Activitynet 2019 Task 3: Exploring Contexts for Dense Captioning Events in Videos

abstract: Contextual reasoning is essential to understand events in long untrimmed videos. In this work, we systematically explore different captioning models with various contexts for the dense-captioning events in video task, which aims to generate captions for different events in the untrimmed video. We propose five types of contexts as well as two categories of event captioning models, and evaluate their contributions for event captioning from both accuracy and diversity aspects. The proposed captioning models are plugged into our pipeline system for the dense video captioning challenge. The overall system achieves the state-of-the-art performance on the dense-captioning events in video task with 9.91 METEOR score on the challenge testing set.


title: The core of a module and the adjoint of an ideal over a two dimensional regular local ring

abstract: The core of an module is the intersection of all its reductions. The main result asserts that the core of a finitely generated, torsion-free, integrally closed module over a two dimensional regular local ring is the product of the module and the adjoint of an ideal. This generalizes the fundamental formula for the core of an integrally closed ideal in a two-dimensional regular local ring due to Huneke and Swanson. As an application, we show that for integrally closed modules $M$ and $N$ over a two-dimensional regular local ring with $M\subset N$ and $M^{**}=N^{**}$, the core of $M$ is contained in the core of $N$.


title: Analysis of Ward's Method

abstract: We study Ward's method for the hierarchical $k$-means problem. This popular greedy heuristic is based on the \emph{complete linkage} paradigm: Starting with all data points as singleton clusters, it successively merges two clusters to form a clustering with one cluster less. The pair of clusters is chosen to (locally) minimize the $k$-means cost of the clustering in the next step. Complete linkage algorithms are very popular for hierarchical clustering problems, yet their theoretical properties have been studied relatively little. For the Euclidean $k$-center problem, Ackermann et al. show that the $k$-clustering in the hierarchy computed by complete linkage has a worst-case approximation ratio of $\Theta(\log k)$. If the data lies in $\mathbb{R}^d$ for constant dimension $d$, the guarantee improves to $\mathcal{O}(1)$, but the $\mathcal{O}$-notation hides a linear dependence on $d$. Complete linkage for $k$-median or $k$-means has not been analyzed so far. In this paper, we show that Ward's method computes a $2$-approximation with respect to the $k$-means objective function if the optimal $k$-clustering is well separated. If additionally the optimal clustering also satisfies a balance condition, then Ward's method fully recovers the optimum solution. These results hold in arbitrary dimension. We accompany our positive results with a lower bound of $\Omega((3/2)^d)$ for data sets in $\mathbb{R}^d$ that holds if no separation is guaranteed, and with lower bounds when the guaranteed separation is not sufficiently strong. Finally, we show that Ward produces an $\mathcal{O}(1)$-approximative clustering for one-dimensional data sets.


title: Statistics effects in extremal black holes ensemble

abstract: We consider the grand canonical ensemble of the static and extremal black holes, when the equivalence of the electric charge and mass of individual black hole is postulated. Assuming uniform distribution of black holes in space, we are finding the effective mass of test particle and mean time dilation at the admissible points of space, taking into account the gravitational action of surrounding black holes. Having specified the statistics that governs extremal black holes, we study its effect on those quantities. Here, the role of statistics is to assign a statistical weight to the configurations of certain fixed number of black holes. We borrow these weights from Bose-Einstein, Fermi-Dirac, classical and infinite statistics. Using mean field approximation, the aforementioned characteristics are calculated and visualized, what permits us to draw the conclusions on visible effect of each statistics.