title: SketchMate: Deep Hashing for Million-Scale Human Sketch Retrieval

abstract: We propose a deep hashing framework for sketch retrieval that, for the first time, works on a multi-million scale human sketch dataset. Leveraging on this large dataset, we explore a few sketch-specific traits that were otherwise under-studied in prior literature. Instead of following the conventional sketch recognition task, we introduce the novel problem of sketch hashing retrieval which is not only more challenging, but also offers a better testbed for large-scale sketch analysis, since: (i) more fine-grained sketch feature learning is required to accommodate the large variations in style and abstraction, and (ii) a compact binary code needs to be learned at the same time to enable efficient retrieval. Key to our network design is the embedding of unique characteristics of human sketch, where (i) a two-branch CNN-RNN architecture is adapted to explore the temporal ordering of strokes, and (ii) a novel hashing loss is specifically designed to accommodate both the temporal and abstract traits of sketches. By working with a 3.8M sketch dataset, we show that state-of-the-art hashing models specifically engineered for static images fail to perform well on temporal sketch data. Our network on the other hand not only offers the best retrieval performance on various code sizes, but also yields the best generalization performance under a zero-shot setting and when re-purposed for sketch recognition. Such superior performances effectively demonstrate the benefit of our sketch-specific design.


title: Introduction to coherent spaces

abstract: The notion of a coherent space is a nonlinear version of the notion of a complex Euclidean space: The vector space axioms are dropped while the notion of inner product is kept. Coherent spaces provide a setting for the study of geometry in a different direction than traditional metric, topological, and differential geometry. Just as it pays to study the properties of manifolds independently of their embedding into a Euclidean space, so it appears fruitful to study the properties of coherent spaces independent of their embedding into a Hilbert space. Coherent spaces have close relations to reproducing kernel Hilbert spaces, Fock spaces, and unitary group representations, and to many other fields of mathematics, statistics, and physics. This paper is the first of a series of papers and defines concepts and basic theorems about coherent spaces, associated vector spaces, and their topology. Later papers in the series discuss symmetries of coherent spaces, relations to homogeneous spaces, the theory of group representations, $C^*$-algebras, hypergroups, finite geometry, and applications to quantum physics. While the applications to quantum physics were the main motiviation for developing the theory, many more applications exist in complex analysis, group theory, probability theory, statistics, physics, and engineering.


title: Decoding the ultrafast formation of a Fermi-Dirac distributed electron gas

abstract: Time- and angle-resolved photoelectron spectroscopy with 13 fs temporal resolution is used to follow the different stages in the formation of a Fermi-Dirac distributed electron gas in graphite after absorption of an intense 7 fs laser pulse. Within the first 50 fs after excitation a sequence of time frames is resolved which are characterized by different energy and momentum exchange processes among the involved photonic, electronic, and phononic degrees of freedom. The results reveal experimentally the complexity of the transition from a nascent non-thermal towards a thermal electron distribution due to the different timescales associated with the involved interaction processes.


title: SALMON: Scalable Ab-initio Light-Matter simulator for Optics and Nanoscience

abstract: SALMON (Scalable Ab-initio Light-Matter simulator for Optics and Nanoscience, http://salmon-tddft.jp) is a software package for the simulation of electron dynamics and optical properties of molecules, nanostructures, and crystalline solids based on first-principles time-dependent density functional theory. The core part of the software is the real-time, real-space calculation of the electron dynamics induced in molecules and solids by an external electric field solving the time-dependent Kohn-Sham equation. Using a weak instantaneous perturbing field, linear response properties such as polarizabilities and photoabsorptions in isolated systems and dielectric functions in periodic systems are determined. Using an optical laser pulse, the ultrafast electronic response that may be highly nonlinear in the field strength is investigated in time domain. The propagation of the laser pulse in bulk solids and thin films can also be included in the simulation via coupling the electron dynamics in many microscopic unit cells using Maxwell's equations describing the time evolution of the electromagnetic fields. The code is efficiently parallelized so that it may describe the electron dynamics in large systems including up to a few thousand atoms. The present paper provides an overview of the capabilities of the software package showing several sample calculations.


title: R2RML Mappings in OBDA Systems: Enabling Comparison among OBDA Tools

abstract: In today's large enterprises there is a significant increasing trend in the amount of data that has to be stored and processed. To complicate this scenario the complexity of organizing and managing a large collection of data, structured according to a single, unified schema, makes so that there is almost never a single place where to look to satisfy an information need. The Ontology-Based Data Access (OBDA) paradigm aims at mitigating this phenomenon by providing to the users of the system a unified and shared conceptual view of the domain of interest (ontology), while still enabling the data to be stored in different data sources, which are managed by a relational database. In an OBDA system the link between the data stored at the sources and the ontology is provided through a declarative specification given in terms of a set of mappings. In this work we focus on comparing two of the available systems for OBDA, namely, Mastro and Ontop, by adopting OBDA specifications based on W3C recommendations. We first show how support for R2RML mappings has been integrated in Mastro, which was the last feature missing in order to enable the system to use specifications based solely on W3C recommendations relevant to OBDA. We then proceed in performing a comparison between these systems over two OBDA specifications, the NPD Benchmark and the ACI specification.


title: Random walks in random hypergeometric environment

abstract: We consider one-dependent random walks on $\mathbb{Z}^d$ in random hypergeometric environment for $d\ge 3$. These are memory-one walks in a large class of environments parameterized by positive weights on directed edges and on pairs of directed edges which includes the class of Dirichlet environments as a special case. We show that the walk is a.s. transient for any choice of the parameters, and moreover that the return time has some finite positive moment. We then give a characterization for the existence of an invariant measure for the process from the point of view of the walker which is absolutely continuous with respect to the initial distribution on the environment in terms of a function $\kappa$ of the initial weights. These results generalize [Sab11] and [Sab13] on random walks in Dirichlet environment. It turns out that $\kappa$ coincides with the corresponding parameter in the Dirichlet case, and so in particular the existence of such invariant measures is independent of the weights on pairs of directed edges, and determined solely by the weights on directed edges.


title: The X-ARAPUCA: An improvement of the ARAPUCA device

abstract: The ARAPUCA is a novel technology for the detection of liquid argon scintillation light, which has been proposed for the far detector of the Deep Underground Neutrino Experiment. The X-ARAPUCA is an improvement to the original ARAPUCA design, retaining the original ARAPUCA concept of photon trapping inside a highly reflective box while using a wavelength shifting slab inside the box to increase the probability of collecting trapped photons onto a silicon photomultiplier array. The X-ARAPUCA concept is presented and its performances are compared to those of a standard ARAPUCA by means of analytical calculations and Monte Carlo simulations.


title: Optimal Relay Location in Diffusion Based Molecular Communications

abstract: Molecular Communications via Diffusion (MCvD) is a promising paradigm which enables nano-machines to communicate with each other. However, the reliability of existing systems degrade rapidly as the distance between the transmitters and the receivers grows. To solve this issue, relaying schemes must be implemented in practice. In this paper, we study two relaying schemes: In the first case, the relay node decodes the incoming signal symbol and forwards it to the receiver using a different type of molecule. Then, the receiver detects the information bits by only considering the molecules from the relay node. In the second case, the receiver considers both the types of molecules sent from the transmitter and the relay node. For these two scenarios, the optimal location of the relay node is obtained. We assume Quadruple Concentration Shift Keying (QCSK) modulation in which the signal is encoded into the four level concentrations of molecules emitted by the nano-machines. Our simulation results indicate that adding a relay improves the performance by 10dB and 15dB in the first and the second schemes, respectively.


title: Existence of a solution for generalized Forchheimer flow in porous media

abstract: This paper is focused on the generalized Forchheimer flows for slightly compressible fluids. We prove the existence and uniqueness of the differential system for stationary problem. The technique of semi-discretization in time is used to prove the existence of solution for the transient problem.


title: Efficient Solution of Large-Scale Algebraic Riccati Equations Associated with Index-2 DAEs via the Inexact Low-Rank Newton-ADI Method

abstract: This paper extends the algorithm of Benner, Heinkenschloss, Saak, and Weichelt: An inexact low-rank Newton-ADI method for large-scale algebraic Riccati equations, Applied Numerical Mathematics Vol.~108 (2016), pp.~125--142, doi:10.1016/j.apnum.2016.05.006 to Riccati equations associated with Hessenberg index-2 Differential Algebratic Equation (DAE) systems. Such DAE systems arise, e.g., from semi-discretized, linearized (around steady state) Navier-Stokes equations. The solution of the associated Riccati equation is important, e.g., to compute feedback laws that stabilize the Navier-Stokes equations. Challenges in the numerical solution of the Riccati equation arise from the large-scale of the underlying systems and the algebraic constraint in the DAE system. These challenges are met by a careful extension of the inexact low-rank Newton-ADI method to the case of DAE systems. A main ingredient in the extension to the DAE case is the projection onto the manifold described by the algebraic constraints. In the algorithm, the equations are never explicitly projected, but the projection is only applied as needed. Numerical experience indicates that the algorithmic choices for the control of inexactness and line-search can help avoid subproblems with matrices that are only marginally stable. The performance of the algorithm is illustrated on a large-scale Riccati equation associated with the stabilization of Navier-Stokes flow around a cylinder.


title: A Particle-based Multiscale Solver for Compressible Liquid-Vapor Flow

abstract: To describe complex flow systems accurately, it is in many cases important to account for the properties of fluid flows on a microscopic scale. In this work, we focus on the description of liquid-vapor flow with a sharp interface between the phases. The local phase dynamics at the interface can be interpreted as a Riemann problem for which we develop a multiscale solver in the spirit of the heterogeneous multiscale method, using a particle-based microscale model to augment the macroscopic two-phase flow system. The application of a microscale model makes it possible to use the intrinsic properties of the fluid at the microscale, instead of formulating (ad-hoc) constitutive relations.


title: Sectional-hyperbolic lyapunov stable sets

abstract: In hyperbolic dynamics, a well-known result is: every hyperbolic Lyapunov stable set, is attracting; it's natural to wonder if this result is maintained in the sectional-hyperbolic dynamics. This question is still open, although some partial results have been presented. We will prove that all sectional-hyperbolic transitive Lyapunov stable set of codimension one of a vector field X over a compact manifold, with unique singularity Lorenz-like, which is of boundary-type, is an attractor of X.


title: On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths

abstract: One of the most interesting entities of homotopy type theory is the identity type. It gives rise to an interesting interpretation of the equality, since one can semantically interpret the equality between two terms of the same type as a collection of homotopical paths between points of the same space. Since this is only a semantical interpretation, the addition of paths to the syntax of homotopy type theory has been recently proposed by De Queiroz, Ramos and De Oliveira . In these works, the authors propose an entity known as `computational path', proposed by De Queiroz and Gabbay in 1994, and show that it can be used to formalize the identity type. We have found that it is possible to use these computational paths as a tool to achieve one central result of algebraic topology and homotopy type theory: the calculation of fundamental groups of surfaces. We review the concept of computational paths and the $LND_{EQ}-TRS$, which is a term rewriting system proposed by De Oliveira in 1994 to map redundancies between computational paths. We then proceed to calculate the fundamental group of the circle, cylinder, M{\"o}bius band, torus and the real projective plane. Moreover, we show that the use of computational paths make these calculations simple and straightforward, whereas the same result is much harder to obtain using the traditional code-encode-decode approach of homotopy type theory.


title: A family of quantum graph vertex couplings interpolating between different symmetries

abstract: The paper discusses quantum graphs with a vertex coupling which interpolates between the common one of the $\delta$ type and a coupling introduced recently by two of the authors which exhibits a preferred orientation. Describing the interpolation family in terms of circulant matrices, we analyze the spectral and scattering property of such vertices, and investigate the band spectrum of the corresponding square lattice graph.


title: Some functional inequalities for the fractional p-sub-Laplacian

abstract: In this paper we study the fractional Dirichlet p-sub-Laplacian in a Haar measurable set on homogeneous Lie groups. We prove fractional Sobolev and Hardy inequalities and we also present a Lyapunov-type inequality for the fractional p-sub-Laplacian. As a consequence of the Lyapunov-type inequality we show an estimate of the first eigenvalue in a quasi-ball for the Dirichlet fractional p-sub-Laplacian.


title: The maximal degree in a Poisson-Delaunay graph

abstract: We investigate the maximal degree in a Poisson-Delaunay graph in $\mathbf{R}^d$, $d\geq 2$, over all nodes in the window $\mathbf{W}_\rho:= \rho^{1/d}[0,1]^d$ as $\rho$ goes to infinity. The exact order of this maximum is provided in any dimension. In the particular setting $d=2$, we show that this quantity is concentrated on two consecutive integers with high probability. An extension of this result is discussed when $d\geq 3$


title: Patch-based Face Recognition using a Hierarchical Multi-label Matcher

abstract: This paper proposes a hierarchical multi-label matcher for patch-based face recognition. In signature generation, a face image is iteratively divided into multi-level patches. Two different types of patch divisions and signatures are introduced for 2D facial image and texture-lifted image, respectively. The matcher training consists of three steps. First, local classifiers are built to learn the local matching of each patch. Second, the hierarchical relationships defined between local patches are used to learn the global matching of each patch. Three ways are introduced to learn the global matching: majority voting, l1-regularized weighting, and decision rule. Last, the global matchings of different levels are combined as the final matching. Experimental results on different face recognition tasks demonstrate the effectiveness of the proposed matcher at the cost of gallery generalization. Compared with the UR2D system, the proposed matcher improves the Rank-1 accuracy significantly by 3% and 0.18% on the UHDB31 dataset and IJB-A dataset, respectively.


title: Dark Matter Effects On Neutron Star Properties

abstract: We study possible effects of a dark matter (DM) core on the maximum mass of a neutron star (NS), on the mass-radius relation and on the NS tidal deformability parameter $\Lambda$. We show that all these quantities would in general be reduced in the presence of a DM core. In particular, our calculations indicate that the presence of a DM core with a mass fraction $\sim 5\%$ could affect significantly the interpretation of these NS data as constraints on the nuclear equation of state (EOS), potentially excluding some EOS models on the basis of the measured mass of PSR J0348+0432, while allowing other EOS models to become consistent with the LIGO/Virgo upper limit on $\Lambda$. Specific scenarios for generating such DM cores are explored in an Appendix.


title: Exact relativistic models of conformastatic charged dust thick disks

abstract: We construct relativistic models of charged dust thick disks for a particular conformastatic spacetime through a Miyamoto-Nagai transformation used in Newtonian gravity to model disk like galaxies. Two simple families of thick disk models and a family of thick annular disks based on the field of an extreme Reissner-Nordstr\"om black hole and a Morgan-Morgan-like metric are considered. The electrogeodesic motion of test particles around the structures are analyzed. Also the stability of the particles against radial perturbation is studied using an extension of the Rayleigh criteria of stability of a fluid in rest in a gravitational field. The models built satisfy all the energy conditions.


title: On capacity computation for symmetric polygonal condensers

abstract: Making use of two different analytical-numerical methods for capacity computation, we obtain matching to a very high precision numerical values for capacities of a wide family of planar condensers. These two methods are based respectively on the use of the Lauricella function and Riemann theta functions. We apply these results to benchmark the performance of numerical algorithms, which are based on adaptive $hp$--finite element method and boundary integral method.


title: Model completion of scaled lattices and co-Heyting algebras of p-adic semi-algebraic sets

abstract: Let p be prime number, K be a p-adically closed field, X $\subseteq$ K^m a semi-algebraic set defined over K and L(X) the lattice of semi-algebraic subsets of X which are closed in X. We prove that the complete theory of L(X) eliminates the quantifiers in a certain language LASC, the LASC-structure on L(X) being an extension by definition of the lattice structure. Moreover it is decidable, contrary to what happens over a real closed field. We classify these LASC-structures up to elementary equivalence, and get in particular that the complete theory of L(K^m) only depends on m, not on K nor even on p. As an application we obtain a classification of semi-algebraic sets over countable p-adically closed fields up to so-called "pre-algebraic" homeomorphisms.


title: Unsupervised Semantic-based Aggregation of Deep Convolutional Features

abstract: In this paper, we propose a simple but effective semantic-based aggregation (SBA) method. The proposed SBA utilizes the discriminative filters of deep convolutional layers as semantic detectors. Moreover, we propose the effective unsupervised strategy to select some semantic detectors to generate the "probabilistic proposals", which highlight certain discriminative pattern of objects and suppress the noise of background. The final global SBA representation could then be acquired by aggregating the regional representations weighted by the selected "probabilistic proposals" corresponding to various semantic content. Our unsupervised SBA is easy to generalize and achieves excellent performance on various tasks. We conduct comprehensive experiments and show that our unsupervised SBA outperforms the state-of-the-art unsupervised and supervised aggregation methods on image retrieval, place recognition and cloud classification.


title: Cup-product for equivariant Leibniz cohomology and zinbiel algebras

abstract: We study finite group actions on Leibniz algebras, define equivariant cohomology groups associated to such actions. We show that there exists a cup-product operation on this graded cohomology groups which makes it a graded zinbiel algebra.


title: Implication of rephasing invariant parameters on texture specific mass matrices

abstract: In the quark sector, Jarlskog rephasing invariant parameter $J_{CP}$ has important implications for the CP violation as well as phase structure of the quark mass matrices. In fact all CP violating effects in this sector are proportional to the magnitude of the imaginary part of $J_{CP}$ . With the observation of non-zero and large "reactor mixing angle", it is widely believed that CP might be violated in the leptonic sector. In this context, we have examined in detail the relationship of CP odd invariants for texture specific mass matrices. In particular, we have calculated the predicted ranges of Jarlskog rephasing invariant parameter and other weak basis invariants for all the seven viable cases for texture two zero mass matrices.


title: Emergence of topological Hall effect in half-metallic manganite thin films by tuning perpendicular magnetic anisotropy

abstract: Magnetic materials hosting topological spin textures like magnetic skyrmion exhibit nontrivial Hall effect, namely, topological Hall effect (THE). In this study, we demonstrate the emergence of THE in thin films of half-metallic perovskite manganites. To stabilize magnetic skyrmions, we control the perpendicular magnetic anisotropy by imposing a compressive epitaxial strain as well as by introducing a small Ru doping. When the perpendicular magnetic anisotropy is tuned so that it is balanced with the magnetic dipolar interaction, the film exhibits a sizable THE in a magnetization reversal process. Real-space observations indicate the formation of skyrmions and some of them have high topological charge number. The present result opens up the possibility for novel functionalities that emerge under keen competition between the skyrmion phase and other rich phases of perovskite manganites with various orders in spin, charge, and orbital degrees of freedom.


title: Dynamic modeling of enzyme controlled metabolic networks using a receding time horizon

abstract: Microorganisms have developed complex regulatory features controlling their reaction and internal adaptation to changing environments. When modeling these organisms we usually do not have full understanding of the regulation and rely on substituting it with an optimization problem using a biologically reasonable objective function. The resulting constraint-based methods like the Flux Balance Analysis (FBA) and Resource Balance Analysis (RBA) have proven to be powerful tools to predict growth rates, by-products, and pathway usage for fixed environments. In this work, we focus on the dynamic enzyme-cost Flux Balance Analysis (deFBA), which models the environment, biomass products, and their composition dynamically and contains reaction rate constraints based on enzyme capacity. We extend the original deFBA formalism to include storage molecules and biomass-related maintenance costs. Furthermore, we present a novel usage of the receding prediction horizon as used in Model Predictive Control (MPC) in the deFBA framework, which we call the short-term deFBA (sdeFBA). This way we eliminate some mathematical artifacts arising from the formulation as an optimization problem and gain access to new applications in MPC schemes. A major contribution of this paper is also a systematic approach for choosing the prediction horizon and identifying conditions to ensure solutions grow exponentially. We showcase the effects of using the sdeFBA with different horizons through a numerical example.


title: A Gaia DR2 Mock Stellar Catalog

abstract: We present a mock catalog of Milky Way stars, matching in volume and depth the content of the Gaia data release 2 (GDR2). We generated our catalog using Galaxia, a tool to sample stars from a Besancon Galactic model, together with a realistic 3D dust extinction map. The catalog mimicks the complete GDR2 data model and contains most of the entries in the Gaia source catalog: 5-parameter astrometry, 3-band photometry, radial velocities, stellar parameters, and associated scaled nominal uncertainty estimates. In addition, we supplemented the catalog with extinctions and photometry for non-Gaia bands. This catalog can be used to prepare GDR2 queries in a realistic runtime environment, and it can serve as a Galactic model against which to compare the actual GDR2 data in the space of observables. The catalog is hosted through the virtual observatory GAVO's Heidelberg data center service and thus can be queried using ADQL as for GDR2 data.


title: A note on exponential decay in the random field Ising model

abstract: For the two-dimensional random field Ising model (RFIM) with bimodal (i.e., two-valued) external field, we prove exponential decay of correlations either (1) when the temperature is larger than the critical temperature of the Ising model without external field and the magnetic field strength is small or (2) at any temperature when the magnetic field strength is sufficiently large. Unlike previous work on exponential decay, our approach is not based on cluster expansions but rather on arguably simpler methods; these combine an analysis of the Kert\'{e}sz line and a coupling of Ising measures (and also their random cluster representations) with different boundary conditions. We also show similar but weaker results for the RFIM with a general field distribution and in any dimension.


title: Layout-induced Video Representation for Recognizing Agent-in-Place Actions

abstract: We address the recognition of agent-in-place actions, which are associated with agents who perform them and places where they occur, in the context of outdoor home surveillance. We introduce a representation of the geometry and topology of scene layouts so that a network can generalize from the layouts observed in the training set to unseen layouts in the test set. This Layout-Induced Video Representation (LIVR) abstracts away low-level appearance variance and encodes geometric and topological relationships of places in a specific scene layout. LIVR partitions the semantic features of a video clip into different places to force the network to learn place-based feature descriptions; to predict the confidence of each action, LIVR aggregates features from the place associated with an action and its adjacent places on the scene layout. We introduce the Agent-in-Place Action dataset to show that our method allows neural network models to generalize significantly better to unseen scenes.


title: Controllable Identifier Measurements for Private Authentication with Secret Keys

abstract: The problem of secret-key based authentication under a privacy constraint on the source sequence is considered. The identifier measurements during authentication are assumed to be controllable via a cost-constrained "action" sequence. Single-letter characterizations of the optimal trade-off among the secret-key rate, storage rate, privacy-leakage rate, and action cost are given for the four problems where noisy or noiseless measurements of the source are enrolled to generate or embed secret keys. The results are relevant for several user-authentication scenarios including physical and biometric authentications with multiple measurements. Our results include, as special cases, new results for secret-key generation and embedding with action-dependent side information without any privacy constraint on the enrolled source sequence.

categories: cs.IT cs.CR cs.MM eess.SP math.IT math.PR


title: Posterior Inference for Sparse Hierarchical Non-stationary Models

abstract: Gaussian processes are valuable tools for non-parametric modelling, where typically an assumption of stationarity is employed. While removing this assumption can improve prediction, fitting such models is challenging. In this work, hierarchical models are constructed based on Gaussian Markov random fields with stochastic spatially varying parameters. Importantly, this allows for non-stationarity while also addressing the computational burden through a sparse banded representation of the precision matrix. In this setting, efficient Markov chain Monte Carlo (MCMC) sampling is challenging due to the strong coupling a posteriori of the parameters and hyperparameters. We develop and compare three adaptive MCMC schemes and make use of banded matrix operations for faster inference. Furthermore, a novel extension to multi-dimensional settings is proposed through an additive structure that retains the flexibility and scalability of the model, while also inheriting interpretability from the additive approach. A thorough assessment of the efficiency and accuracy of the methods in nonstationary settings is presented for both simulated experiments and a computer emulation problem.


title: Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs

abstract: We present a sequent calculus for the weak Grzegorczyk logic Go allowing non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs.


title: A simple approach to the chaos-order contributions in nuclear spectra

abstract: The simple one-parameter nearest neighbor-spacing distribution (NNSD) is suggested for statistical analysis of nuclear spectra. This distribution is derived within the Wigner-Dyson approach in the linear approximation for the level repulsion density of quantum states. The obtained NNSD gives the individual information on the Wigner and Poisson contributions in agreement with that of the statistical experimental distributions of collective states in deformed nuclei. Using this NNSD, one finds that the symmetry breaking due to the fixing of projections of the angular momentum of collective states enhances a chaos as a shift of the NNSD from the Poisson to Wigner distribution behavior.


title: Invariants in Noncommutative Dynamics

abstract: When a compact quantum group $H$ coacts freely on unital $C^*$-algebras $A$ and $B$, the existence of equivariant maps $A \to B$ may often be ruled out due to the incompatibility of some invariant. We examine the limitations of using invariants, both concretely and abstractly, to resolve the noncommutative Borsuk-Ulam conjectures of Baum-Dabrowski-Hajac. Among our results, we find that for certain finite-dimensional $H$, there can be no well-behaved invariant which solves the Type 1 conjecture for all free coactions of $H$. This claim is in stark contrast to the case when $H$ is finite-dimensional and abelian. In the same vein, it is possible for all iterated joins of $H$ to be cleft as comodules over the Hopf algebra associated to $H$. Finally, two commonly used invariants, the local-triviality dimension and the spectral count, may both change in a $\theta$-deformation procedure.


title: Minimal models for monomial algebras

abstract: Using combinatorics of chains going back to works of Anick, Green, Happel and Zacharia, we give, for any monomial algebra $A$, an explicit description of its minimal model. This also provides us with formulas for a canonical $A_\infty$-structure on the Ext-algebra of the trivial $A$-module. We do this by exploiting the combinatorics of chains going back to works of Anick, Green, Happel and Zacharia, and the algebraic discrete Morse theory of J\"ollenbeck, Welker and Sk\"oldberg. We then show how this result can be used to obtain models for algebras with a chosen Gr\"obner basis, and briefly outline how to compute some classical homological invariants with it.


title: Scaling of the superconducting gap with orbital character in FeSe

abstract: We use high-resolution angle-resolved photoemission spectroscopy to map the three-dimensional momentum dependence of the superconducting gap in FeSe. We find that on both the hole and electron Fermi surfaces, the magnitude of the gap follows the distribution of $d_{yz}$ orbital weight. Furthermore, we theoretically determine the momentum dependence of the superconducting gap by solving the linearized gap equation using a tight binding model which quantitatively describes both the experimental band dispersions and orbital characters. By considering a Fermi surface only including one electron pocket, as observed spectroscopically, we obtain excellent agreement with the experimental gap structure. Our finding of a scaling between the superconducting gap and the $d_{yz}$ orbital weight supports the interpretation of superconductivity mediated by spin-fluctuations in FeSe.


title: Short Proofs for Some Symmetric Quantified Boolean Formulas

abstract: We exploit symmetries to give short proofs for two prominent formula families of QBF proof complexity. On the one hand, we employ symmetry breakers. On the other hand, we enrich the (relatively weak) QBF resolution calculus Q-Res with the symmetry rule and obtain separations to powerful QBF calculi.


title: Learning Discriminative Features with Multiple Granularities for Person Re-Identification

abstract: The combination of global and partial features has been an essential solution to improve discriminative performances in person re-identification (Re-ID) tasks. Previous part-based methods mainly focus on locating regions with specific pre-defined semantics to learn local representations, which increases learning difficulty but not efficient or robust to scenarios with large variances. In this paper, we propose an end-to-end feature learning strategy integrating discriminative information with various granularities. We carefully design the Multiple Granularity Network (MGN), a multi-branch deep network architecture consisting of one branch for global feature representations and two branches for local feature representations. Instead of learning on semantic regions, we uniformly partition the images into several stripes, and vary the number of parts in different local branches to obtain local feature representations with multiple granularities. Comprehensive experiments implemented on the mainstream evaluation datasets including Market-1501, DukeMTMC-reid and CUHK03 indicate that our method has robustly achieved state-of-the-art performances and outperformed any existing approaches by a large margin. For example, on Market-1501 dataset in single query mode, we achieve a state-of-the-art result of Rank-1/mAP=96.6%/94.2% after re-ranking.


title: Exact solutions of Einstein equations for anisotropic magnetic sources

abstract: In this work, we have obtained exact solutions of Einstein equations for static and axially symmetric magnetized matter, specifically in plane-symmetric and almost-plane symmetric cases. Although these solutions impose constraints on the components of the energy-momentum tensor, some physically interesting situations, like the magnetized vacuum, might be described. Plane-symmetric solutions in presence of a non-vanishing cosmological constant have remarkable features. In particular, the system can be driven continuously to the isotropic case by an appropriate tuning of the cosmological constant, sweeping the magnetic field from weak to strong magnetic field regimes. The role of the cosmological constant in magnetic collapse is discussed with an emphasis in the description of jets from compact objects. For illustrative purposes, specific calculations for a magnetized electron gas have been developed.


title: Model assessment for time series dynamics using copula spectral densities: a graphical tool

abstract: Finding parametric models that accurately describe the dependence structure of observed data is a central task in the analysis of time series. Classical frequency domain methods provide a popular set of tools for fitting and diagnostics of time series models, but their applicability is seriously impacted by the limitations of covariances as a measure of dependence. Motivated by recent developments of frequency domain methods that are based on copulas instead of covariances, we propose a novel graphical tool that allows to access the quality of time series models for describing dependencies that go beyond linearity. We provide a thorough theoretical justification of our approach and show in simulations that it can successfully distinguish between subtle differences of time series dynamics, including non-linear dynamics which result from GARCH and EGARCH models. We also demonstrate the utility of the proposed tools through an application to modeling returns of the S&P 500 stock market index.


title: Particle-laden two-dimensional elastic turbulence

abstract: The aggregation properties of heavy inertial particles in the elastic turbulence regime of an Oldroyd-B fluid with periodic Kolmogorov mean flow are investigated by means of extensive numerical simulations in two dimensions. Both the small and large scale features of the resulting inhomogeneous particle distribution are examined, focusing on their connection with the properties of the advecting viscoelastic flow. We find that particles preferentially accumulate on thin highly elastic propagating waves and that this effect is largest for intermediate values of particle inertia. We provide a quantitative characterization of this phenomenon that allows to relate it to the accumulation of particles in filamentary highly strained flow regions producing clusters of correlation dimension close to 1. At larger scales, particles are found to undergo turbophoretic-like segregation. Indeed, our results indicate a close relationship between the profiles of particle density and fluid velocity fluctuations. The large-scale inhomogeneity of the particle distribution is interpreted in the framework of a model derived in the limit of small, but finite, particle inertia. The qualitative characteristics of different observables are, to a good extent, independent of the flow elasticity. When increased, the latter is found, however, to slightly reduce the globally averaged degree of turbophoretic unmixing.


title: A new deformation family of Schwarz' D surface

abstract: We prove the existence of a new 2-parameter family o$\Delta$ of embedded triply periodic minimal surfaces of genus 3. The new surfaces share many properties with classical orthorhombic deformations of Schwarz' D surface, but also exotic in many ways. In particular, they do not belong to Meeks' five-dimensional family. Nevertheless, o$\Delta$ meets classical deformations in a 1-parameter family on its boundary.


title: Structure and electronic properties of transition-metal/Mg bimetallic clusters at realistic temperatures and oxygen partial pressures

abstract: Composition, atomic structure, and electronic properties of TM$_x$Mg$_y$O$_z$ clusters (TM = Cr, Ni, Fe, Co, $x+y \leq 3$) at realistic temperature $T$ and partial oxygen pressure $p_{\textrm{O}_2}$ conditions are explored using the {\em ab initio} atomistic thermodynamics approach. The low-energy isomers of the different clusters are identified using a massively parallel cascade genetic algorithm at the hybrid density-functional level of theory. On analyzing a large set of data, we find that the fundamental gap E$_\textrm{g}$ of the thermodynamically stable clusters are strongly affected by the presence of Mg-coordinated O$_2$ moieties. In contrast, the nature of the transition metal does not play a significant role in determining E$_\textrm{g}$. Using E$_\textrm{g}$ of a cluster as a descriptor of its redox properties, our finding is against the conventional belief that the transition metal plays the key role in determining the electronic and therefore chemical properties of the clusters. High reactivity may be correlated more strongly with oxygen content in the cluster than with any specific TM type.


title: On gravitational-wave echoes from neutron-star binary coalescences

abstract: A tentative detection of gravitational-wave echoes in the post-merger signal of GW170817 has been recently claimed at $4.2\sigma$ significance level. It has been speculated that the signal might provide evidence for near-horizon quantum structures in the remnant exotic object. We point out that if the remnant object is an ultracompact neutron star, echoes are expected for objects with radius only slightly smaller than that of an ordinary neutron star. The reported echoes at ~72 Hz are compatible with a toy model of incompressible star with mass approximately $M\in(2,3) M_\odot$ and radius close to the Buchdahl limit, R~9GM/(4c^2). If confirmed, low-frequency gravitational-wave echoes would be in tension with all current neutron-star models and would have dramatic implications for nuclear physics and gravity.


title: Average non-vanishing of Dirichlet $L$-functions at the central point

abstract: The Generalized Riemann Hypothesis implies that at least 50% of the central values $L \left( \frac{1}{2},\chi\right)$ are non-vanishing as $\chi$ ranges over primitive characters modulo $q$. We show that one may unconditionally go beyond GRH, in the sense that if one averages over primitive characters modulo $q$ and averages $q$ over an interval, then at least 50.073% of the central values are non-vanishing. The proof utilizes the mollification method with a three-piece mollifier, and relies on estimates for sums of Kloosterman sums due to Deshouillers and Iwaniec.


title: Search of clustered marked states with lackadaisical quantum walks

abstract: Nature of quantum walk in presence of multiple marked state has been studied by Nahimovs and Rivosh \cite{10.1007/978-3-662-49192-8_31}. They have shown that if the marked states are arranged in a $\sqrt{k} \times \sqrt{k}$ cluster in a $\sqrt{N} \times \sqrt{N}$ grid, then to find a single marked state among the multiple ones, quantum walk requires $\Omega(\sqrt{N} - \sqrt{k})$ time. In this paper, we show that using lackadaisical quantum walk with the weight of the self-loop as $\frac{4}{N(k + \lfloor{\frac{\sqrt{{k}}}{2}}\rfloor)}$, where $k$ is odd, the probability of finding a marked state increases by $\sim 0.2$. Furthermore, we show that instead of applying the quantum walk $\mathcal{O}(k)$ times to find all the marked states, classical search in the vicinity of the marked state found after the first implementation of the quantum walk can find all the marked states in $\mathcal{O}(\sqrt{k})$ time on average.


title: The Cone of Cyclic Sieving Phenomena

abstract: We study cyclic sieving phenomena (CSP) on combinatorial objects from an abstract point of view by considering a rational polyhedral cone determined by the linear equations that define such phenomena. Each lattice point in the cone corresponds to a non-negative integer matrix which jointly records the statistic and cyclic order distribution associated with the set of objects realizing the CSP. In particular we consider a universal subcone onto which every CSP matrix linearly projects such that the projection realizes a CSP with the same cyclic orbit structure, but via a universal statistic that has even distribution on the orbits. Reiner et.al. showed that every cyclic action give rise to a unique polynomial (mod $q^n-1$) complementing the action to a CSP. We give a necessary and sufficient criterion for the converse to hold. This characterization allows one to determine if a combinatorial set with a statistic give rise (in principle) to a CSP without having a combinatorial realization of the cyclic action. We apply the criterion to conjecture a new CSP involving stretched Schur polynomials and prove our conjecture for certain rectangular tableaux. Finally we study some geometric properties of the CSP cone. We explicitly determine its half-space description and in the prime order case we determine its extreme rays.


title: Cutting and shuffling with diffusion: Evidence for cut-offs in interval exchange maps

abstract: Low-dimensional dynamical systems are fruitful models for mixing in fluid and granular flows. We study a one-dimensional discontinuous dynamical system (termed "cutting and shuffling" of a line segment), and we present a comprehensive computational study of its finite-time mixing properties including the effect of diffusion. To explore a large parameter space, we introduce fit functions for two mixing metrics of choice: the number of cutting interfaces (a standard quantity in dynamical systems theory of interval exchange transformations) and a mixing norm (a more physical measure of mixing). We compute averages of the mixing metrics across different permutations (shuffling protocols), showing that the latter averages are a robust descriptor of mixing for any permutation choice. If the decay of the normalized mixing norm is plotted against the number of map iterations rescaled by the characteristic e-folding time, then universality emerges: mixing norm decay curves across all cutting and shuffling protocols collapse onto a single stretched-exponential profile. Next, we predict this critical number of iterations using the average length of unmixed subsegments of continuous color during cutting and shuffling and a Batchelor-scale-type diffusion argument. This prediction, called a "stopping time" for finite Markov chains, compares well with the e-folding time of the stretched-exponential fit. Finally, we quantify the effect of diffusion on cutting and shuffling through a P\'eclet number (a dimensionless inverse diffusivity), showing that the system transitions more sharply from an unmixed initial state to a mixed final state as the P\'eclet number becomes large. Our numerical investigation of cutting and shuffling of a line segment in the presence of diffusion thus present evidence for the latter phenomenon, known as a "cut-off" for finite Markov chains, in interval exchange maps.


title: Epidemic spreading in localized environments with recurrent mobility patterns

abstract: The spreading of epidemics is very much determined by the structure of the contact network, which may be impacted by the mobility dynamics of the individuals themselves. In confined scenarios where a small, closed population spends most of its time in localized environments and has easily identifiable mobility patterns --such as workplaces, university campuses or schools-- it is of critical importance to identify the factors controlling the rate of disease spread. Here we present a discrete-time, metapopulation-based model to describe the transmission of SIS-like diseases that take place in confined scenarios where the mobilities of the individuals are not random but, rather, follow clear recurrent travel patterns. This model allows analytical determination of the onset of epidemics, as well as the ability to discern which contact structures are most suited to prevent the infection to spread. It thereby determines whether common prevention mechanisms, as isolation, are worth implementing in such a scenario and their expected impact.


title: The second moment theory of families of L-functions

abstract: For a fairly general family of L-functions, we survey the known consequences of the existence of asymptotic formulas with power-sawing error term for the (twisted) first and second moments of the central values in the family. We then consider in detail the important special case of the family of twists of a fixed cusp form by primitive Dirichlet characters modulo a prime q, and prove that it satisfies such formulas. We derive arithmetic consequences: - a positive proportion of central values L(f x chi, 1/2) are non-zero, and indeed bounded from below; - there exist many characters chi for which the central L-value is very large; - the probability of a large analytic rank decays exponentially fast. We finally show how the second moment estimate establishes a special case of a conjecture of Mazur and Rubin concerning the distribution of modular symbols.


title: Phase coexistence in a monolayer of active particles induced by Marangoni flows

abstract: Thermally or chemically active colloids generate thermodynamic gradients in the solution in which they are immersed and thereby induce hydrodynamic flows that affect their dynamical evolution. Here we study a mean-field model for the many-body dynamics of a monolayer of active particles located at a fluid-fluid interface. In this case, the activity of the particles creates long-ranged Marangoni flows due to the response of the interface, which compete with the direct interaction between the particles. For the most interesting case of a $r^{-3}$ soft repulsion that models the electrostatic or magnetic interparticle forces, we show that an "onion-like" density distribution will develop within the monolayer. For a sufficiently large average density, two-dimensional phase transitions (freezing from liquid to hexatic, and melting from solid to hexatic) should be observable in a radially stratified structure. Furthermore, the analysis allows us to conclude that, while the activity may be too weak to allow direct detection of such induced Marangoni flows, it is relevant as a collective effect in the emergence of the experimentally observable spatial structure of phase coexistences noted above. Finally, the relevance of these results for potential experimental realizations is critically discussed.


title: Jointly Discovering Visual Objects and Spoken Words from Raw Sensory Input

abstract: In this paper, we explore neural network models that learn to associate segments of spoken audio captions with the semantically relevant portions of natural images that they refer to. We demonstrate that these audio-visual associative localizations emerge from network-internal representations learned as a by-product of training to perform an image-audio retrieval task. Our models operate directly on the image pixels and speech waveform, and do not rely on any conventional supervision in the form of labels, segmentations, or alignments between the modalities during training. We perform analysis using the Places 205 and ADE20k datasets demonstrating that our models implicitly learn semantically-coupled object and word detectors.


title: Nonequilibrium atom-surface interaction with lossy multi-layer structures

abstract: The impact of lossy multi-layer structures on nonequilibrium atom-surface interactions is discussed. Specifically, the focus lies on a fully non-Markovian and nonequilibrium description of quantum friction, the fluctuation-induced drag force acting on an atom moving at constant velocity and height above the multi-layer structures. Compared to unstructured bulk material, the drag force for multi-layer systems is considerably enhanced and exhibits different regimes in its velocity and distance dependences. These features are linked to the appearance of coupled interface polaritons within the superlattice structures. Our results are not only useful for an experimental investigation of quantum friction but also highlight a way to tailor the interaction by simply modifying the structural composition of the multi-layer systems.


title: Beta regression control chart for monitoring fractions and proportions

abstract: Regression control charts are usually used to monitor variables of interest that are related to control variables. However, for fraction and/or proportion data, the use of standard regression control charts may not be adequate, since the linear regression model assumes the normality of the interest variable. To work around this problem, we propose the beta regression control chart (BRCC). The BRCC is useful for monitoring fraction, rate and/or proportion data sets when they are related to control variables. The proposed control chart assumes that the mean and dispersion parameters of beta distributed variables are related to the exogenous variables, being modeled using regression structures. The BRCC is numerically assessed through an extensive Monte Carlo simulation study, showing good performance in terms of average run length (ARL). Two applications to real data are presented, evidencing the practical applicability of the proposed method.


title: Estimation of Channel Parameters in a Multipath Environment via Optimizing Highly Oscillatory Error-Functions Using a Genetic Algorithm

abstract: Channel estimation is of crucial importance for tomorrow's wireless mobile communication systems. This paper focuses on the solution of channel parameters estimation problem in a scenario involving multiple paths in the presence of additive white Gaussian noise. We assumed that number of paths in the multipath environment is known and the transmitted signal consists of attenuated and delayed replicas of a known transient signal. In order to determine the maximum likelihood estimates one has to solve a complicated optimization problem. Genetic Algorithms (GA) are well known for their robustness in solving complex optimization problems. A GA is considered to extract channel parameters to minimize the derived error-function. The solution is based on the maximum-likelihood estimation of the channel parameters. Simulation results also demonstrate GA's robustness to channel parameters estimation errors.


title: A Data-driven Study of RR Lyrae Near-IR Light Curves: Principal Component Analysis, Robust Fits, and Metallicity Estimates

abstract: RR~Lyrae variables are widely used tracers of Galactic halo structure and kinematics, but they can also serve to constrain the distribution of the old stellar population in the Galactic bulge. With the aim of improving their near-infrared photometric characterization, we investigate their near-infrared light curves, as well as the empirical relationships between their light curve and metallicities using machine learning methods. We introduce a new, robust method for the estimation of the light-curve shapes, and hence the average magnitudes of RR~Lyrae variables in the $K_\mathrm{S}$ band, by utilizing the first few principal components (PCs) as basis vectors, obtained from the PC analysis of a training set of light curves. Furthermore, we use the amplitudes of these PCs to predict the light-curve shape of each star in the $J$-band, allowing us to precisely determine their average magnitudes (hence colors), even in cases where only one $J$ measurement is available. Finally, we demonstrate that the $K_\mathrm{S}$-band light-curve parameters of RR~Lyrae variables, together with the period, allow the estimation of the metallicity of individual stars with an accuracy of $\sim 0.2 - 0.25$ dex, providing valuable chemical information about old stellar populations bearing RR~Lyrae variables. The methods presented here can be straightforwardly adopted for other classes of variable stars, bands, or for the estimation of other physical quantities.


title: A Near-infrared RR Lyrae census along the southern Galactic plane: the Milky Way's stellar fossil brought to light

abstract: RR Lyrae stars (RRLs) are tracers of the Milky Way's fossil record, holding valuable information on its formation and early evolution. Owing to the high interstellar extinction endemic to the Galactic plane, distant RRLs lying at low Galactic latitudes have been elusive. We attained a census of 1892 high-confidence RRLs by exploiting the near-infrared photometric database of the VVV survey's disk footprint spanning $\sim$70$^\circ$ of Galactic longitude, using a machine-learned classifier. Novel data-driven methods were employed to accurately characterize their spatial distribution using sparsely sampled multi-band photometry. The RRL metallicity distribution function (MDF) was derived from their $K_s$-band light curve parameters using machine-learning methods. The MDF shows remarkable structural similarities to both the spectroscopic MDF of red clump giants and the MDF of bulge RRLs. We model the MDF with a multi-component density distribution and find that the number density of stars associated with the different model components systematically changes with both the Galactocentric radius and vertical distance from the Galactic plane, equivalent to weak metallicity gradients. Based on the consistency with results from the ARGOS survey, three MDF modes are attributed to the old disk populations, while the most metal-poor RRLs are probably halo interlopers. We propose that the dominant [Fe/H] component with a mean of $-1$ dex might correspond to the outskirts of an ancient Galactic spheroid or classical bulge component residing in the central Milky Way. The physical origins of the RRLs in this study need to be verified by kinematical information.


title: Shape-Constrained Univariate Density Estimation

abstract: While the problem of estimating a probability density function (pdf) from its observations is classical, the estimation under additional shape constraints is both important and challenging. We introduce an efficient, geometric approach for estimating pdfs given the number of its modes. This approach explores the space of constrained pdf's using an action of the diffeomorphism group that preserves their shapes. It starts with an initial template, with the desired number of modes and arbitrarily chosen heights at the critical points, and transforms it via: (1) composition by diffeomorphisms and (2) normalization to obtain the final density estimate. The search for optimal diffeomorphism is performed under the maximum-likelihood criterion and is accomplished by mapping diffeomorphisms to the tangent space of a Hilbert sphere, a vector space whose elements can be expressed using an orthogonal basis. This framework is first applied to shape-constrained univariate, unconditional pdf estimation and then extended to conditional pdf estimation. We derive asymptotic convergence rates of the estimator and demonstrate this approach using a synthetic dataset involving speed distribution for different traffic flow on Californian driveways.


title: Modeling of Stick-Slip Behavior in Sheared Granular Fault Gouge Using the Combined Finite-Discrete Element Method

abstract: Sheared granular layers undergoing stick slip behavior are broadly employed to study the physics and dynamics of earthquakes. Here, a two dimensional implementation of the combined finite discrete element method (FDEM), which merges the finite element method (FEM) and the discrete element method (DEM), is used to explicitly simulate a sheared granular fault system including both gouge and plate, and to investigate the influence of different normal loads on seismic moment, macroscopic friction coefficient, kinetic energy, gouge layer thickness, and recurrence time between slips. In the FDEM model, the deformation of plates and particles is simulated using the FEM formulation while particle particle and particle plate interactions are modeled using DEM derived techniques. The simulated seismic moment distributions are generally consistent with those obtained from the laboratory experiments. In addition, the simulation results demonstrate that with increasing normal load, (i) the kinetic energy of the granular fault system increases; (ii) the gouge layer thickness shows a decreasing trend; and (iii) the macroscopic friction coefficient does not experience much change. Analyses of the slip events reveal that, as the normal load increases, more slip events with large kinetic energy release and longer recurrence time occur, and the magnitude of gouge layer thickness decrease also tends to be larger; while the macroscopic friction coefficient drop decreases. The simulations not only reveal the influence of normal loads on the dynamics of sheared granular fault gouge, but also demonstrate the capabilities of FDEM for studying stick slip dynamic behavior of granular fault systems.


title: Martensitic transformation in zirconia. Part II: Martensite growth

abstract: Though the martensitic transformation in zirconia has been the object of a very large number of studies for the last decades, qualitative and quantitative observations of the formation and growth of relief induced by low temperature treatments has hardly ever been reported. In the first part of the study, we have demonstrated the excellent agreement between the atomic force microscopy quantitative observations and the outputs of the calculations derived from the phenomenological theory of martensitic transformation. The intermediate stages of transformation were nonetheless not considered. In this second part, the growth mechanisms of monoclinic phase resulting from the martensitic transformation in ceria-stabilized zirconia (10 mol% CeO2) are investigated. Surface transformation is induced by ageing treatments in water vapor at 413 K. The observations are rationalized by the recent analysis proposed for the crystallographic ABC1 correspondence choice, where the ct axis transforms to the cm axis. Three growth modes are observed and interpreted in terms of transformation strains accommodation. Microcracks formation is observed, explaining grain pop-out where the crystallographic disorientation between two adjacent grains is the largest. The influence of grain boundary paths on the surface relief features is demonstrated. Overall, our results strongly support the non-existence of a critical grain size for low temperature transformation, confirmed by the classical thermodynamics theory applied to this particular case.


title: Martensitic transformation in zirconia. Part I: nanometer scale prediction and measurement of transformation induced relief

abstract: We investigate by atomic force microscopy (AFM) the surface relief resulting from martensitic tetragonal to monoclinic phase transformation induced by low temperature autoclave aging in ceria-stabilized zirconia. AFM appears as a very powerful tool to investigate martensite relief quantitatively and with a great precision. The crystallographic phenomenological theory is used to predict the expected relief induced by the transformation, for the particular case of lattice correspondence ABC1, where tetragonal c axis becomes the monoclinic c axis. A model for variants spatial arrangement for this lattice correspondence is proposed and validated by the experimental observations. An excellent agreement is found between the quantitative calculations outputs and the experimental measurements at nanometer scale yielded by AFM. All the observed features are explained fully quantitatively by the calculations, with discrepancies between calculations and quantitative experimental measurements within the measurements and calculations precision range. In particular, the crystallographic orientation of the transformed grains is determined from the local characteristics of transformation induced relief. It is finally demonstrated that the strain energy is the controlling factor of the surface transformation induced by low temperature autoclave treatments in this material.


title: Symmetry- and Input-Cluster Synchronization in Networks

abstract: We study cluster synchronization in networks and show that the stability of all possible cluster synchronization patterns depends on a small set of Lyapunov exponents. Our approach can be applied to clusters corresponding to both orbital partitions of the network nodes (symmetry-cluster synchronization) and equitable partitions of the network nodes (input-cluster synchronization.) Our results are verified experimentally in networks of coupled opto-electronic oscillators.


title: Current-induced bond rupture in single-molecule junctions

abstract: Electronic-vibrational coupling in single-molecule junctions may result in current-induced bond rupture and is thus an important mechanism for the stability of molecular junctions. We use the hierarchical quantum master equation (HQME) method in combination with the quasi-classical Ehrenfest approach for the nuclear degrees of freedom to simulate current-induced bond rupture in single-molecule junctions. Employing generic models for molecular junctions with dissociative nuclear potentials, we analyze the underlying mechanisms. In particular, we investigate the dependence of the dissociation probability on the applied bias voltage and the molecule-lead coupling strength. The results show that an applied bias voltage can not only lead to dissociation of the molecular junction, but under certain conditions can also increase the stability of the molecule.


title: Discovery of two eclipsing X-ray binaries in M51

abstract: We discovered eclipses and dips in two luminous (and highly variable) X-ray sources in M\,51. One (CXOM51 J132943.3$+$471135) is an ultraluminous supersoft source, with a thermal spectrum at a temperature of about 0.1 keV and characteristic blackbody radius of about $10^4$ km. The other (CXOM51 J132946.1$+$471042) has a two-component spectrum with additional thermal-plasma emission; it approached an X-ray luminosity of $10^{39}$erg s$^{-1}$ during outbursts in 2005 and 2012. From the timing of three eclipses in a series of {\it Chandra} observations, we determine the binary period ($52.75 \pm 0.63$ hr) and eclipse fraction ($22\% \pm 0.1\%$) of CXOM51 J132946.1$+$471042. We also identify a blue optical counterpart in archival {\it Hubble Space Telescope} images, consistent with a massive donor star (mass of $\sim$20--35 $M_{\odot}$). By combining the X-ray lightcurve parameters with the optical constraints on the donor star, we show that the mass ratio in the system must be $M_2/M_1 \gtrsim ~18$, and therefore the compact object is most likely a neutron star (exceeding its Eddington limit in outburst). The general significance of our result is that we illustrate one method (applicable to high-inclination sources) of identifying luminous neutron star X-ray binaries, in the absence of X-ray pulsations or phase-resolved optical spectroscopy. Finally, we discuss the different X-ray spectral appearance expected from super-Eddington neutron stars and black holes at high viewing angles.


title: Predicting interactions between individuals with structural and dynamical information

abstract: Capturing both the structural and temporal aspects of interactions is crucial for many real world datasets like contact between individuals. Using the link stream formalism to capture the dynamic of the systems, we tackle the issue of activity prediction in link streams, that is to say predicting the number of links occurring during a given period of time and we present a protocol that takes advantage of the temporal and structural information contained in the link stream. Using a supervised learning method, we are able to model the dynamic of our system to improve the prediction. We investigate the behavior of our algorithm and crucial elements affecting the prediction. By introducing different categories of pair of nodes, we are able to improve the quality as well as increase the diversity of our prediction.


title: Gaussian Process Subset Scanning for Anomalous Pattern Detection in Non-iid Data

abstract: Identifying anomalous patterns in real-world data is essential for understanding where, when, and how systems deviate from their expected dynamics. Yet methods that separately consider the anomalousness of each individual data point have low detection power for subtle, emerging irregularities. Additionally, recent detection techniques based on subset scanning make strong independence assumptions and suffer degraded performance in correlated data. We introduce methods for identifying anomalous patterns in non-iid data by combining Gaussian processes with novel log-likelihood ratio statistic and subset scanning techniques. Our approaches are powerful, interpretable, and can integrate information across multiple data streams. We illustrate their performance on numeric simulations and three open source spatiotemporal datasets of opioid overdose deaths, 311 calls, and storm reports.


title: Schubert Class and cyclotomic nilHecke algebras

abstract: Let $\ell, n$ be positive integers such that $\ell\geq n$. Let $\mathbb{G}_{n,\ell}$ be the Grassmannian which consists of the set of $n$-dimensional subspaces of $\mathbb{C}^{\ell}$. There is a $\mathbb{Z}$-graded algebra isomorphism between the cohomology $H^*(\mathbb{G}_{n,\ell},\mathbb{Z})$ of $\mathbb{G}_{n,\ell}$ and a natural $\mathbb{Z}$-form $B$ of the $\mathbb{Z}$-graded basic algebra of the type $A$ cyclotomic nilHecke algebra $H_{\ell,n}^{(0)}=\langle\psi_1,\cdots,\psi_{n-1},y_1,\cdots,y_n\rangle$. In this paper, we show that the isomorphism can be chosen such that the image of each (geometrically defined) Schubert class $(a_1,\cdots,a_{n})$ coincides with the basis element $b_{\mathbf{\lambda}}$ constructed by Jun Hu and Xinfeng Liang by purely algebraic method, where $0\leq a_1\leq a_2\leq\cdots\leq a_{n}\leq \ell-n$ with $a_i\in\mathbb{Z}$ for each $i$, $\mathbf{\lambda}$ is the $\ell$-multipartition of $n$ associated to $(\ell+1-(a_{n}+n), \ell+1-(a_{n-1}+n-1),\cdots,\ell+1-(a_1+1))$. A similar correspondence between the Schubert class basis of the cohomology of the Grassmannian $\mathbb{G}_{\ell-n,\ell}$ and the $b_{\lambda}$'s basis of the natural $\mathbb{Z}$-form $B$ of the $\mathbb{Z}$-graded basic algebra of $H_{\ell,n}^{(0)}$ is also obtained. As an application, we obtain a second version of Giambelli formula for Schubert classes.


title: P4K: A Formal Semantics of P4 and Applications

abstract: Programmable packet processors and P4 as a programming language for such devices have gained significant interest, because their flexibility enables rapid development of a diverse set of applications that work at line rate. However, this flexibility, combined with the complexity of devices and networks, increases the chance of introducing subtle bugs that are hard to discover manually. Worse, this is a domain where bugs can have catastrophic consequences, yet formal analysis tools for P4 programs / networks are missing. We argue that formal analysis tools must be based on a formal semantics of the target language, rather than on its informal specification. To this end, we provide an executable formal semantics of the P4 language in the K framework. Based on this semantics, K provides an interpreter and various analysis tools including a symbolic model checker and a deductive program verifier for P4. This paper overviews our formal K semantics of P4, as well as several P4 language design issues that we found during our formalization process. We also discuss some applications resulting from the tools provided by K for P4 programmers and network administrators as well as language designers and compiler developers, such as detection of unportable code, state space exploration of P4 programs and of networks, bug finding using symbolic execution, data plane verification, program verification, and translation validation.


title: Lagrangian submanifolds from tropical hypersurfaces

abstract: We prove that a smooth tropical hypersurface in $\mathbb{R}^3$ can be lifted to a smooth embedded Lagrangian submanifold in $(\mathbb{C}^*)^3$. This completes the proof of the result announced in the article "Lagrangian pairs pants" arXiv:1802.02993. The idea of the proof is to use Lagrangian pairs of pants as the main building blocks.


title: Binary Darboux transformations for discrete modified Boussinesq equation

abstract: We obtain the well-known discrete modified Boussinesq equation in two-component form as well as its Lax pair in $3\times3$ matrix form through a 3-periodic reduction technique on the Hirota-Miwa equation and its Lax pair. We describe how Darboux transformations and binary Darboux transformations can be constructed for this two-component discrete integrable equation. These transformations are then used to obtain classes of explicit solutions in the form of Casorati- and Gramm-type determinants. $N$-soliton solutions of the discrete modified Boussinesq equation are discussed as well when taking the vacuum potentials as constants.


title: Opposed flow focusing: evidence of a second order jetting transition

abstract: We propose a novel microfluidic "opposed-flow" geometry in which the continuous fluid phase is fed into a junction in a direction opposite the dispersed phase. This pulls out the dispersed phase into a micron-sized jet, which decays into micron-sized droplets. As the driving pressure is tuned to a critical value, the jet radius vanishes as a power law down to sizes below 1 $\mu$m. By contrast, the conventional "coflowing" junction leads to a first order jetting transition, in which the jet disappears at a finite radius of several $\mu$m, to give way to a "dripping" state, resulting in much larger droplets. We demonstrate the effectiveness of our method by producing the first microfluidic silicone oil emulsions with a sub micron particle radius, and utilize these droplets to produce colloidal clusters.


title: Cost-Benefit Analysis of Moving-Target Defense in Power Grids

abstract: We study moving-target defense (MTD) that actively perturbs transmission line reactances to thwart stealthy false data injection (FDI) attacks against state estimation in a power grid. Prior work on this topic has proposed MTD based on randomly selected reactance perturbations, but these perturbations cannot guarantee effective attack detection. To address the issue, we present formal design criteria to select MTD reactance perturbations that are truly effective. However, based on a key optimal power flow (OPF) formulation, we find that the effective MTD may incur a non-trivial operational cost that has not hitherto received attention. Accordingly, we characterize important tradeoffs between the MTD's detection capability and its associated required cost. Extensive simulations, using the MATPOWER simulator and benchmark IEEE bus systems, verify and illustrate the proposed design approach that for the first time addresses both key aspects of cost and effectiveness of the MTD.


title: WhatsApp, Doc? A First Look at WhatsApp Public Group Data

abstract: In this dataset paper we describe our work on the collection and analysis of public WhatsApp group data. Our primary goal is to explore the feasibility of collecting and using WhatsApp data for social science research. We therefore present a generalisable data collection methodology, and a publicly available dataset for use by other researchers. To provide context, we perform statistical exploration to allow researchers to understand what public WhatsApp group data can be collected and how this data can be used. Given the widespread use of WhatsApp, our techniques to obtain public data and potential applications are important for the community.


title: Hypergraph Laplace Operators for Chemical Reaction Networks

abstract: We generalize the normalized combinatorial Laplace operator for graphs by defining two Laplace operators for hypergraphs that can be useful in the study of chemical reaction networks. We also investigate some properties of their spectra.


title: Pricing sovereign contingent convertible debt

abstract: We develop a pricing model for Sovereign Contingent Convertible bonds (S-CoCo) with payment standstills triggered by a sovereign's Credit Default Swap (CDS) spread. We model CDS spread regime switching, which is prevalent during crises, as a hidden Markov process, coupled with a mean-reverting stochastic process of spread levels under fixed regimes, in order to obtain S-CoCo prices through simulation. The paper uses the pricing model in a Longstaff-Schwartz American option pricing framework to compute future state contingent S-CoCo prices for risk management. Dual trigger pricing is also discussed using the idiosyncratic CDS spread for the sovereign debt together with a broad market index. Numerical results are reported using S-CoCo designs for Greece, Italy and Germany with both the pricing and contingent pricing models.


title: Direct magnetization-polarization coupling in BaCuF$_4$ fluoride

abstract: Despite oxides and some fluorides perovskites have emerged as prototypes of multiferroic and magnetoelectric materials, they have not impacted real devices. Unfortunately, their working temperatures are very low and the magnetoelectric coupling has been reported to be rather small. Herewith, we report from first-principles calculations an ideal magnetization reversal through polarization switching in BaCuF$_4$ which, according to our results, could be achieved close to room temperature. We also show that this ideal coupling is driven by a soft mode that combines both, polarization and octahedral rotation. The later being directly coupled to the weak ferromagnetism of BaCuF$_4$. This, added to its strong Jahn-Teller distortion and its orbital ordering, makes this material as a very appealing prototype for crystals in the $ABX_4$ family in multifunctional applications.


title: Anomalous triple-gauge-boson interactions in vector-boson pair production with RECOLA2

abstract: Diboson production at the LHC is a process of great importance both in the context of tests of the SM and for direct searches for new physics. In this paper we present a phenomenological study of WW, WZ, and ZZ production considering event selections of interest for the anomalous triple-gauge-boson-coupling searches at the LHC: we provide theoretical predictions within the Standard Model at NLO QCD and NLO EW accuracy and study the effect of the anomalous triple-gauge-boson interactions at NLO QCD. For WW and ZZ production, the contribution of the gluon-initiated loop-induced processes is included. Anomalous triple-gauge-boson interactions are parametrized in the EFT framework. This paper is the first application of RECOLA2 in the EFT context.


title: A categorification of cyclotomic rings

abstract: For any natural number $n \geq 2$, we construct a triangulated monoidal category whose Grothendieck ring is isomorphic to the ring of cyclotomic integers $\mathbb{O}_n$.


title: Direct observation of the magnetic proximity effect in amorphous exchange-spring magnets by neutron reflectometry

abstract: In this letter we report a direct observation of a magnetic proximity effect in an amorphous thin film exchange-spring magnet by the use of neutron reflectometry. The exchange-spring magnet is a trilayer consisting of two ferromagnetic layers with high $T_c$'s separated by a ferromagnetic layer, which is engineered to have a significantly lower $T_c$ than the embedding layers. This enables us to measure magnetization depth profiles at which the low $T_c$ material is in a ferromagnetic or paramagnetic state, while the embedding layers are ferromagnetic. A clear proximity effect is observed 7 K above the $T_c$ of the embedded layer, with a range extending 50 $\unicode{xC5}$.


title: Affine Gaudin models and hypergeometric functions on affine opers

abstract: We conjecture that quantum Gaudin models in affine types admit families of local higher Hamiltonians, labelled by the (countably infinite set of) exponents, whose eigenvalues are given by functions on a space of meromorphic opers associated with the Langlands dual Lie algebra. This is in direct analogy with the situation in finite types. However, in stark contrast to finite types, we prove that in affine types such functions take the form of hypergeometric integrals, over cycles of a twisted homology defined by the levels of the modules at the marked points. That result prompts the further conjecture that the Hamiltonians themselves are naturally expressed as such integrals. We go on to describe the space of meromorphic affine opers on an arbitrary Riemann surface. We prove that it fibres over the space of meromorphic connections on the canonical line bundle $\Omega$. Each fibre is isomorphic to the direct product of the space of sections of the square of $\Omega$ with the direct product, over the exponents $j$ not equal to 1, of the twisted cohomology of the $j^{\rm th}$ tensor power of $\Omega$.


title: Non-Gaussianity of Inflationary Gravitational Waves from the Field Equation

abstract: We demonstrate equivalence of the in-in formalism and Green's function method for calculating the bispectrum of primordial gravitational waves generated by vacuum fluctuations of the metric. The tree-level bispectrum from the field equation, $B_h$, agrees with the results obtained previously using the in-in formalism exactly. Characterising non-Gaussianity of the fluctuations using the ratio $B_h/P^2_h$ in the equilateral configuration, where $P_h$ is the power spectrum of scale-invariant gravitational waves, we show that it is much weaker than in models with spectator gauge fields. We also calculate the tree-level bispectrum of two right-handed and one left-handed gravitational wave using Green's function, reproducing the results from in-in formalism, and show that it can be as large as the bispectrum of three right-handed gravitational waves.


title: Personal Volunteer Computing

abstract: We propose personal volunteer computing, a novel paradigm to encourage technical solutions that leverage personal devices, such as smartphones and laptops, for personal applications that require significant computations, such as animation rendering and image processing. The paradigm requires no investment in additional hardware, relying instead on devices that are already owned by users and their community, and favours simple tools that can be implemented part-time by a single developer. We show that samples of personal devices of today are competitive with a top-of-the-line laptop from two years ago. We also propose new directions to extend the paradigm.


title: First direct lattice-QCD calculation of the $x$-dependence of the pion parton distribution function

abstract: We present the first direct lattice-QCD calculation of the Bjorken-$x$ dependence of the valence quark distribution of the pion. Using large-momentum effective theory (LaMET), we calculate the boosted pion state with long Wilson link operators. After implementing the one-loop matching and meson mass corrections, our result at $m_\pi \approx 310$ MeV is in agreement with those extracted from experimental data as well as from Dyson-Schwinger equation in small $x$ region, but a sizeable discrepancy in the large $x$ region. This discrepancy provides a nice opportunity to systematically study and disentangle the artifacts in the LaMET approach, which will eventually help to discern various existing analyses in the literature.


title: A Framework for Iterative Frequency Domain EP-based Receiver Design

abstract: An original expectation propagation (EP) based message passing framework is introduced, wherein transmitted symbols are considered to belong to the multivariate white Gaussian distribution family. This approach allows deriving a novel class of single-tap frequency domain (FD) receivers with a quasi-linear computational complexity in block length, thanks to Fast-Fourier transform (FFT) based implementation. This framework is exposed in detail, through the design of a novel double-loop single-carrier frequency domain equalizer (SC-FDE), where self-iterations of the equalizer with the demapper, and turbo iterations with the decoder, provide numerous combinations for the performance and complexity trade-off. Furthermore, the flexibility of this framework is illustrated with the derivation of an overlap FDE, used for time-varying channel equalization, among others, and with the design of a FD multiple-input multiple-output (MIMO) detector, used for spatial multiplexing. Through these different receiver design problems, this framework is shown to improve the mitigation of inter-symbol, inter-block and multi-antenna interferences, compared to alternative single-tap FD structures of previous works. Thanks to finite-length and asymptotic analysis, supported by numerical results, the improvement brought by the proposed structures is assessed, and then completed by also accounting for computational costs.


title: Luminescence and absorption in short period superlattices

abstract: This paper applies analytical approximations for the luminescence of short period semiconductor superlattices and analyses the low density regime, demonstrating that the theory clearly connects with low density absorption with ratios of oscillator strengths of bound and continuum states as expected from the Elliott formula. A numerical study illustrates in detail the bleaching of higher order bound state. The analytical expressions have potential for systematic studies of controlled excitonic pathways characterized by THz responses.


title: Clinical Concept Embeddings Learned from Massive Sources of Multimodal Medical Data

abstract: Word embeddings are a popular approach to unsupervised learning of word relationships that are widely used in natural language processing. In this article, we present a new set of embeddings for medical concepts learned using an extremely large collection of multimodal medical data. Leaning on recent theoretical insights, we demonstrate how an insurance claims database of 60 million members, a collection of 20 million clinical notes, and 1.7 million full text biomedical journal articles can be combined to embed concepts into a common space, resulting in the largest ever set of embeddings for 108,477 medical concepts. To evaluate our approach, we present a new benchmark methodology based on statistical power specifically designed to test embeddings of medical concepts. Our approach, called cui2vec, attains state-of-the-art performance relative to previous methods in most instances. Finally, we provide a downloadable set of pre-trained embeddings for other researchers to use, as well as an online tool for interactive exploration of the cui2vec embeddings


title: Predicting neural network dynamics via graphical analysis

abstract: Neural network models in neuroscience allow one to study how the connections between neurons shape the activity of neural circuits in the brain. In this chapter, we study Combinatorial Threshold-Linear Networks (CTLNs) in order to understand how the pattern of connectivity, as encoded by a directed graph, shapes the emergent nonlinear dynamics of the corresponding network. Important aspects of these dynamics are controlled by the stable and unstable fixed points of the network, and we show how these fixed points can be determined via graph-based rules. We also present an algorithm for predicting sequences of neural activation from the underlying directed graph, and examine the effect of graph symmetries on a network's set of attractors.


title: Developing a K-ary malware using Blockchain

abstract: Cyberattacks are nowadays moving rapidly. They are customized, multi-vector, staged in multiple flows and targeted. Moreover, new hacking playgrounds appeared to reach mobile network, modern architectures and smart cities. For that purpose, malware use different entry points and plug-ins. In addition, they are now deploying several techniques for obfuscation, camouflage and analysis resistance. On the other hand, antiviral protections are positioning innovative approaches exposing malicious indicators and anomalies, revealing assumptions of the limitations of the anti-antiviral mechanisms. Primarily, this paper exposes a state of art in computer virology and then introduces a new concept to create undetectable malware based on the blockchain technology. It summarizes techniques adopted by malicious software to avoid functionalities implemented for viral detection and presents the implementation of new viral techniques that leverage the blockchain network.


title: On the internal signature and minimal electric network realizations of reciprocal behaviors

abstract: In a recent paper, it was shown that (i) any reciprocal system with a proper transfer function possesses a signature-symmetric realization in which each state has either even or odd parity; and (ii) any reciprocal and passive behavior can be realized as the driving-point behavior of an electric network comprising resistors, inductors, capacitors and transformers. These results extended classical results to include uncontrollable systems. In this paper, we establish new lower bounds on the number of states with even parity (capacitors) and odd parity (inductors) for reciprocal systems that need not be controllable.


title: Sparse non-negative super-resolution -- simplified and stabilised

abstract: The convolution of a discrete measure, $x=\sum_{i=1}^ka_i\delta_{t_i}$, with a local window function, $\phi(s-t)$, is a common model for a measurement device whose resolution is substantially lower than that of the objects being observed. Super-resolution concerns localising the point sources $\{a_i,t_i\}_{i=1}^k$ with an accuracy beyond the essential support of $\phi(s-t)$, typically from $m$ samples $y(s_j)=\sum_{i=1}^k a_i\phi(s_j-t_i)+\eta_j$, where $\eta_j$ indicates an inexactness in the sample value. We consider the setting of $x$ being non-negative and seek to characterise all non-negative measures approximately consistent with the samples. We first show that $x$ is the unique non-negative measure consistent with the samples provided the samples are exact, i.e. $\eta_j=0$, $m\ge 2k+1$ samples are available, and $\phi(s-t)$ generates a Chebyshev system. This is independent of how close the sample locations are and {\em does not rely on any regulariser beyond non-negativity}; as such, it extends and clarifies the work by Schiebinger et al. and De Castro et al., who achieve the same results but require a total variation regulariser, which we show is unnecessary. Moreover, we characterise non-negative solutions $\hat{x}$ consistent with the samples within the bound $\sum_{j=1}^m\eta_j^2\le \delta^2$. Any such non-negative measure is within ${\mathcal O}(\delta^{1/7})$ of the discrete measure $x$ generating the samples in the generalised Wasserstein distance, converging to one another as $\delta$ approaches zero. We also show how to make these general results, for windows that form a Chebyshev system, precise for the case of $\phi(s-t)$ being a Gaussian window. The main innovation of these results is that non-negativity alone is sufficient to localise point sources beyond the essential sensor resolution.


title: Online Multi-Label Classification: A Label Compression Method

abstract: Many modern applications deal with multi-label data, such as functional categorizations of genes, image labeling and text categorization. Classification of such data with a large number of labels and latent dependencies among them is a challenging task, and it becomes even more challenging when the data is received online and in chunks. Many of the current multi-label classification methods require a lot of time and memory, which make them infeasible for practical real-world applications. In this paper, we propose a fast linear label space dimension reduction method that transforms the labels into a reduced encoded space and trains models on the obtained pseudo labels. Additionally, it provides an analytical method to update the decoding matrix which maps the labels into the original space and is used during the test phase. Experimental results show the effectiveness of this approach in terms of running times and the prediction performance over different measures.


title: Systematic investigation of methods for multiple freeform optimization in multi-lens imaging systems

abstract: With the development in freeform technology, it has now become more and more feasible to use freeform surfaces in real system designs. While the freeform surfaces helping optical designers achieve more and more challenging system features, the methods for multiple freeform implementations are still underdeveloped. We therefore investigate strategies to use freeform surfaces properly in imaging optical systems with one Scheimpflug system and one lithographic system. Based on the studies of the influences of the freeform normalization radius, freeform order and system eccentricity, the methods of determining the optimal location for implementing one freeform surface are discussed. Different optimization strategies to optimize two freeform surfaces are discussed to compare their resulting influences on the system performance. On top of that, ways to implement more than one freeform surface in the optical system is also investigated. In the end, a workflow is presented as guidance for implementing multiple freeform surfaces with respect to system aberration constitutions.


title: Minimal series-parallel network realizations of bicubic impedances

abstract: An important open problem in the synthesis of passive controllers is to obtain a passive network that realizes an arbitrary given impedance function and contains the least possible number of elements. This problem has its origins in electric circuit theory, and is directly applicable to the cost-effective design of mechanical systems containing the inerter. Despite a rich history, the problem can only be considered solved for networks that contain at most two energy storage elements, and in a small number of other special cases. In this paper, we solve the minimal network realization problem for the class of impedances realized by series-parallel networks containing at most three energy storage elements. To accomplish this, we develop a novel continuity-based approach to eliminate redundant elements from a network.


title: Solving Lubrication Problems at the Nanometer Scale

abstract: Lubrication problems at lengthscales for which the traditional Navier-Stokes description fails can be solved using a modified Reynolds lubrication equation that is based on the following two observations: first, classical Reynolds equation failure at small lengthscales is a result of the failure of the Poiseuille flowrate closure (the Reynolds equation is derived from a statement of mass conservation, which is valid at all scales); second, averaging across the film thickness eliminates the need for a constitutive relation providing spatial resolution of flow profiles in this direction. In other words, the constitutive information required to extend the classical Reynolds lubrication equation to small lengthscales is limited to knowledge of the flowrate as a function of the gap height, which is significantly less complex than a general constitutive relation, and can be obtained by experiments and/or offline molecular simulations of pressure driven flow under fully developed conditions. The proposed methodology, which is an extension of the Generalized Lubrication Equation of Fukui & Kaneko to dense fluids, is demonstrated and validated via comparison to Molecular Dynamics simulations of a model lubrication problem.


title: Density Adaptive Point Set Registration

abstract: Probabilistic methods for point set registration have demonstrated competitive results in recent years. These techniques estimate a probability distribution model of the point clouds. While such a representation has shown promise, it is highly sensitive to variations in the density of 3D points. This fundamental problem is primarily caused by changes in the sensor location across point sets. We revisit the foundations of the probabilistic registration paradigm. Contrary to previous works, we model the underlying structure of the scene as a latent probability distribution, and thereby induce invariance to point set density changes. Both the probabilistic model of the scene and the registration parameters are inferred by minimizing the Kullback-Leibler divergence in an Expectation Maximization based framework. Our density-adaptive registration successfully handles severe density variations commonly encountered in terrestrial Lidar applications. We perform extensive experiments on several challenging real-world Lidar datasets. The results demonstrate that our approach outperforms state-of-the-art probabilistic methods for multi-view registration, without the need of re-sampling. Code is available at https://github.com/felja633/DARE.


title: A Tutte polynomial for maps II: the non-orientable case

abstract: We construct a new polynomial invariant of maps (graphs embedded in a compact surface, orientable or non-orientable), which contains as specializations the Krushkal polynomial, the Bollob\'as--Riordan polynomial, the Las Vergnas polynomial, and their extensions to non-orientable surfaces, and hence in particular the Tutte polynomial. Other evaluations include the number of local flows and local tensions taking non-identity values in a given finite group.


title: The Capacity of Anonymous Communications

abstract: We consider the communication scenario where K transmitters are each connected to a common receiver with an orthogonal noiseless link. One of the transmitters has a message for the receiver, who is prohibited from learning anything in the information theoretic sense about which transmitter sends the message (transmitter anonymity is guaranteed). The capacity of anonymous communications is the maximum number of bits of desired information that can be anonymously communicated per bit of total communication. For this anonymous communication problem over a parallel channel with K transmitters and 1 receiver, we show that the capacity is 1/K, i.e., to communicate 1 bit anonymously, each transmitter must send a 1 bit signal. Further, it is required that each transmitter has at least 1 bit correlated randomness (that is independent of the messages) per message bit and the size of correlated randomness at all K transmitters is at least K-1 bits per message bit.