title: Notes on Conformal Soft Theorems and Recursion Relations in Gravity

abstract: Celestial amplitudes are flat-space amplitudes which are Mellin-transformed to correlators living on the celestial sphere. In this note we present a recursion relation, based on a tree-level BCFW recursion, for gravitational celestial amplitudes and use it to explore the notion of conformal softness. As the BCFW formula exponentiates in the soft energy, it leads directly to conformal soft theorems in an exponential form. These appear from a soft piece of the amplitude characterized by a discrete family of singularities with weights $\Delta=1-\mathbb{Z}_+$. As a byproduct, in the case of the MHV sector we provide a direct celestial analogue of Hodges' recursion formula at all multiplicities.


title: Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version)

abstract: We propose DAB -- a data-aware extension of BPMN where the process operates over case and persistent data (partitioned into a read-only database called catalog and a read-write database called repository). The model trades off between expressiveness and the possibility of supporting parameterized verification of safety properties on top of it. Specifically, taking inspiration from the literature on verification of artifact systems, we study verification problems where safety properties are checked irrespectively of the content of the read-only catalog, and accepting the potential presence of unboundedly many tuples in the catalog and repository. We tackle such problems using an array-based backward reachability procedure fully implemented in MCMT -- a state-of-the-art array-based SMT model checker. Notably, we prove that the procedure is sound and complete for checking safety of DABs, and single out additional conditions that guarantee its termination and, in turn, show decidability of checking safety.


title: Debunking the Myth that Upfront Requirements are Infeasible for Scientific Computing Software

abstract: Many in the Scientific Computing Software community believe that upfront requirements are impossible, or at least infeasible. This paper shows requirements are feasible with the following: i) an appropriate perspective ("faking" the final documentation as if requirements were correct and complete from the start, and gathering requirements as if for a family of programs); ii) the aid of the right principles (abstraction, separation of concerns, anticipation of change, and generality); iii) employing SCS specific templates (for Software Requirements and Module Interface Specification); iv) using a design process that enables change (information hiding); and, v) the aid of modern tools (version control, issue tracking, checking, generation and automation tools). Not only are upfront requirements feasible, they provide significant benefits, including facilitating communication, early identification of errors, better design decisions and enabling replicability. The topics listed above are explained, justified and illustrated via an example of software developed by a small team of software and mechanical engineers for modelling the solidification of a metal alloy.


title: Inverse Kinematics of Some General 6R/P Manipulators

abstract: We develop an algorithm that solves the inverse kinematics of general serial 2RP3R, 2R2P2R, 3RP2R and 6R manipulators based on the HuPf algorithm. We identify the workspaces of the 3-subchains of the manipulator with a quasi-projective variety in $\mathbb{P}^7$ via dual quaternions. This allows us to compute linear forms that describe linear spaces containing the workspaces of these 3-subchains. We present numerical examples that illustrate the algorithm and show the real solutions.


title: On Typical Homoclinic-Like Loops in 3D Filippov Systems

abstract: In this work a homoclinic-like loop of a piecewise smooth vector field passing through a typical singularity is analyzed. We have shown that such a loop is robust in one-parameter families of Filippov systems. The basin of attraction of this connection is computed as well as its bifurcation diagram. It is worthwhile to mention that this phenomenon has no counterpart in the smooth world and the techniques used in this analysis differ from the usual ones.


title: Time-series learning of latent-space dynamics for reduced-order model closure

abstract: We study the performance of long short-term memory networks (LSTMs) and neural ordinary differential equations (NODEs) in learning latent-space representations of dynamical equations for an advection-dominated problem given by the viscous Burgers equation. Our formulation is devised in a non-intrusive manner with an equation-free evolution of dynamics in a reduced space with the latter being obtained through a proper orthogonal decomposition. In addition, we leverage the sequential nature of learning for both LSTMs and NODEs to demonstrate their capability for closure in systems which are not completely resolved in the reduced space. We assess our hypothesis for two advection-dominated problems given by the viscous Burgers equation. It is observed that both LSTMs and NODEs are able to reproduce the effects of the absent scales for our test cases more effectively than intrusive dynamics evolution through a Galerkin projection. This result empirically suggests that time-series learning techniques implicitly leverage a memory kernel for coarse-grained system closure as is suggested through the Mori-Zwanzig formalism.


title: Machine-learned Interatomic Potentials for Alloys and Alloy Phase Diagrams

abstract: We introduce machine-learned potentials for Ag-Pd to describe the energy of alloy configurations over a wide range of compositions. We compare two different approaches. Moment tensor potentials (MTP) are polynomial-like functions of interatomic distances and angles. The Gaussian Approximation Potential (GAP) framework uses kernel regression, and we use the Smooth Overlap of Atomic Positions (SOAP) representation of atomic neighbourhoods that consists of a complete set of rotational and permutational invariants provided by the power spectrum of the spherical Fourier transform of the neighbour density. Both types of potentials give excellent accuracy for a wide range of compositions and rival the accuracy of cluster expansion, a benchmark for this system. While both models are able to describe small deformations away from the lattice positions, SOAP-GAP excels at transferability as shown by sensible transformation paths between configurations, and MTP allows, due to its lower computational cost, the calculation of compositional phase diagrams. Given the fact that both methods perform as well as cluster expansion would but yield off-lattice models, we expect them to open new avenues in computational materials modeling for alloys.


title: Griffith energies as small strain limit of nonlinear models for nonsimple brittle materials

abstract: We consider a nonlinear, frame indifferent Griffith model for nonsimple brittle materials where the elastic energy also depends on the second gradient of the deformations. In the framework of free discontinuity and gradient discontinuity problems, we prove existence of minimizers for boundary value problems. We then pass to a small strain limit in terms of suitably rescaled displacement fields and show that the nonlinear energies can be identified with a linear Griffith model in the sense of $\Gamma$-convergence. This complements the study in [Arch. Ration. Mech. Anal. 225 (2017), 425-467] by providing a linearization result in arbitrary space dimensions.


title: Observation of the $^7$H excited state

abstract: The $^7$H system was populated in the $^2$H($^8$He,$^3$He)$^7$H reaction with a 26 AMeV $^8$He beam. The $^{7}$H missing mass energy spectrum, the $^{3}$H energy and angular distributions in the $^7$H decay frame were reconstructed. The $^7$H missing mass spectrum shows a peak which can be interpreted either as unresolved $5/2^+$ and $3/2^+$ doublet or one of these states at 6.5(5) MeV. The data also provide indications on the $1/2^+$ ground state of $^7$H located at 2.0(5) MeV with quite a low population cross section of $\sim 10$ $\mu$b/sr within angular range $\theta_{\text{cm}} \simeq 6^{\circ} - 30^{\circ}$.


title: The constant factor in the asymptotic for practical numbers

abstract: An integer $n\ge 1$ is said to be practical if every natural number $ m \le n$ can be expressed as a sum of distinct positive divisors of $n$. The number of practical numbers up to $x$ is asymptotic to $c x/\log x$, where $c$ is a constant. In this note we show that $c=1.33607...$.


title: Mapping the perturbation potential of metallic and dipolar tips in tunneling spectroscopy on MoS$_2$

abstract: Scanning tunneling spectroscopy requires the application of a potential difference between the sample and a tip. In metal-vacuum-metal junctions, one can safely assume that the potential is constant along the metallic substrate. Here, we show that the inhomogeneous shape of the electric potential has to be taken into account when probing spatially extended molecules on a decoupling layer. To this end, oligothiophene-based molecules were deposited on a monolayer of molybdenum disulfide (MoS$_2$) on a Au(111) surface. By probing the delocalized molecular orbital along the thiophene-backbone, we found an apparent intramolecular shift of the positive ion resonance, which can be ascribed to a perturbation potential caused by the tip. Using a simple model for the electrostatic landscape, we show that such a perturbation is caused by the inhomogeneity of the applied bias potential in the junction and may be further modified by an electric dipole of a functionalized tip. The two effects can be disentangled in tunneling spectra by probing the apparent energy shift of vibronic resonances along the molecular backbone. We suggest that extended molecules on MoS$_2$ can be used as a sensor for the shape of the electrostatic potential of arbitrary tips.


title: Flavor changing Flavon decay $\phi\to tc$ ($\phi=H_F,\,A_F$) at the High Luminosity Large Hadron Collider

abstract: We present a study of the flavor changing decays $\phi\to tc$ ($\phi=H_F,\,A_F$) of the $CP$-even and $CP$-odd scalar flavons at the large hadron collider and its next stage, the high-luminosity large hadron collider. The theoretical framework is an extension of the standard model that incorporates an extra complex singlet and invokes the Froggatt-Nielsen mechanism with an Abelian flavor symmetry. The projected exclusion and discovery regions in terms of the model parameters are reported. We find that $A_F$ could be detected at the LHC by considering a reasonable scenario of the model parameter space. As far as $H_F$ is concerned, we also found promising results that could be verified experimentally at the high-luminosity LHC.


title: Locally linear embedding for transient cylinder wakes

abstract: Reduced-order representations of an ensemble of cylinder wake transients are investigated. Locally linear embedding identifies a two-dimensional manifold with a maximum error of 1% from new snapshot data. This representation outperforms a 50-dimensional POD expansion from the same data and is not obtainable with cluster-based coarse graining of similar order. This manifold resolves the steady solution, the stability eigenmodes, the first post-transient POD modes, the intermediate vortex shedding structure as well as higher harmonics. The snapshot data are generated by a direct numerical simulation of the two-dimensional wake behind a circular cylinder at a Reynolds number of 100. The initial conditions of the 16 transients start near the steady solution and converge to the period vortex shedding. Many oscillatory flows can be expected to be characterized on two- or low-dimensional manifolds identifiable with locally linear embedding. These manifolds have unexplored potential for prediction, estimation and control.


title: A Cusp-Core like challenge for Modified Newtonian Dynamics

abstract: We show that Modified Newtonian Dynamics (MOND) predict distinct galactic acceleration curve geometries in $g2$-space - the space of total observed centripetal accelerations $g_{\rm tot}$ vs the inferred Newtonian acceleration from baryonic matter $g_{\rm N}$ - and corresponding rotation speed curves: MOND modified gravity predicts cored geometries for isolated galaxies while MOND modified inertia yields neutral geometries, ie. neither cuspy or cored, based on a cusp-core classification of galaxy rotation curve geometry in $g2$-space - rather than on inferred DM density profiles. The classification can be applied both to DM and modified gravity models as well as data and implies a {\it cusp-core} challenge for MOND from observations, for example of cuspy galaxies, which is different from the so-called cusp-core problem of dark matter (DM). We illustrate this challenge by a number of cuspy and also cored galaxies from the SPARC rotation curve database, which deviate significantly from the MOND modified gravity and MOND modified inertia predictions.


title: POLED displays: Robust printing of pixels

abstract: The fabrication of a high-quality POLED (Polymeric Organic Light Emitting Diode) display requires the deposition of identical, uniform fluid films into a large number of shallow recessed regions that form a regular array of pixels on a display backplane. We determine the protocols required to achieve continuous liquid coverage of the entire pixel area for the case where equally-spaced fluid droplets are sequentially printed along a straight line within a stadium-shaped pixel, and explore how these protocols depend on the wetting properties of the pixel surface. Our investigation uses a combination of experiments and numerical modelling, based on the assumption of fluid redistribution via capillary spreading according to a Cox-Voinov law. We show that the model is able to predict quantitatively the evolution of the liquid deposited in a pixel and provides a computationally inexpensive design tool to determine efficient printing strategies that account for uncertainties arising from imperfect substrate preparation or printhead dysfunction.


title: Accurate ground state- and quasiparticle energies: beyond the RPA and GW methods with adiabatic exchange-correlation kernels

abstract: We review the theory and application of adiabatic exchange-correlation (xc-) kernels for ab initio calculations of ground state energies and quasiparticle excitations within the frameworks of the adiabatic connection fluctuation dissipation theorem and Hedin's equations, respectively. Various different xc-kernels, which are all rooted in the homogeneous electron gas, are introduced but hereafter we focus on the specific class of renormalized adiabatic kernels, in particular the rALDA and rAPBE. The kernels drastically improve the description of short-range correlations as compared to the random phase approximation (RPA), resulting in significantly better correlation energies. This effect greatly reduces the reliance on error cancellations, which is essential in RPA, and systematically improves covalent bond energies while preserving the good performance of the RPA for dispersive interactions. For quasiparticle energies, the xc-kernels account for vertex corrections that are missing in the GW self-energy. In this context, we show that the short-range correlations mainly correct the absolute band positions while the band gap is less affected in agreement with the known good performance of GW for the latter. The renormalized xc-kernels offer a rigorous extension of the RPA and GW methods with clear improvements in terms of accuracy at little extra computational cost.


title: Natural analog to cosmology in basic condensed matter physics

abstract: We show that the spatially homogeneous and isotropic evolution of a macroscopic Coulomb system of identical particles obeys equations that have the structure of the cosmological equations of the general theory of relativity. There is a Hubble law, and the background charge (if present) mimics the effect of a negative cosmological constant. Specifically, Coulomb explosions mimic the non-singular open cosmologies in negatively curved spaces, while breathing modes in conductors model oscillatory universes including the anti-de Sitter space.

categories: gr-qc astro-ph.CO cond-mat.mtrl-sci physics.flu-dyn


title: Electron Transfer Methods in Open Systems

abstract: Utilization of electron transfer methods for description of quantum transport is popular due to simplicity of the formulation and its ability to account for basic physics of electron exchange between system and baths. At the same time, necessity to go beyond simple golden rule-type expressions for rates was indicated in the literature and ad hoc formulations were proposed. Similarly, kinetic schemes for quantum transport beyond usual second order Lindblad/Redfield considerations were discussed. Here we utilize recently introduced by us nonequilibrium Hubbard Green's functions diagrammatic technique to analyze construction of rates in open systems. We show that previous considerations for rates of second and fourth order can be obtained as a particular case of zero and second order Green's function diagrammatic series with bare diagrams. We discuss limitations of previous considerations, stress advantages of the Hubbard Green's function approach in constructing the rates and indicate that standard dressing of the diagrams is a natural way to account for additional baths/degrees of freedom when formulating generalized expressions for the rates.


title: Vecchia-Laplace approximations of generalized Gaussian processes for big non-Gaussian spatial data

abstract: Generalized Gaussian processes (GGPs) are highly flexible models that combine latent GPs with potentially non-Gaussian likelihoods from the exponential family. GGPs can be used in a variety of settings, including GP classification, nonparametric count regression, modeling non-Gaussian spatial data, and analyzing point patterns. However, inference for GGPs can be analytically intractable, and large datasets pose computational challenges due to the inversion of the GP covariance matrix. We propose a Vecchia-Laplace approximation for GGPs, which combines a Laplace approximation to the non-Gaussian likelihood with a computationally efficient Vecchia approximation to the GP, resulting in a simple, general, scalable, and accurate methodology. We provide numerical studies and comparisons on simulated and real spatial data. Our methods are implemented in a freely available R package.


title: Towards exciton-polaritons in MoS$_2$ nanotubes

abstract: We measure low-temperature micro-photoluminescence spectra along a MoS$_2$ nanotube, which exhibit the peaks of the optical whispering gallery modes below the exciton resonance. The variation of the position and intensity of these peaks is used to quantify the change of the nanotube geometry. The width of the peaks is shown to be determined by the fluctuations of the nanotube wall thickness and propagation of the detected optical modes along the nanotube. We analyse the dependence of the energies of the optical modes on the wave vector along the nanotube axis and demonstrate the potential of the high-quality nanotubes for realization of the strong coupling between exciton and optical modes with the Rabi splitting reaching 400 meV. We show how the formation of exciton-polaritons in such structures will be manifested in the micro-photoluminescence spectra.


title: Non-abelian tensor square and related constructions of $p$-groups

abstract: Let $G$ be a group. We denote by $\nu(G)$ a certain extension of the non-abelian tensor square $[G,G^{\varphi}]$ by $G \times G$. We prove that if $G$ is a finite potent $p$-group, then $[G,G^{\varphi}]$ and the $k$-th term of the lower central series $\gamma_k(\nu(G))$ are potently embedded in $\nu(G)$ (Theorem A). Moreover, we show that if $G$ is a potent $p$-group, then the exponent $\exp(\nu(G))$ divides $p \cdot \exp(G)$ (Theorem B). We also study the weak commutativity construction of powerful $p$-groups (Theorem C).


title: Nonlinear silicon waveguides generating broadband, spectrally engineered frequency combs spanning 2.0-8.5 um

abstract: Nanophotonic waveguides with sub-wavelength mode confinement and engineered dispersion profiles are an excellent platform for application-tailored nonlinear optical interactions at low pulse energies. Here, we present fully air clad suspended-silicon waveguides for infrared frequency comb generation with optical bandwidth limited only by the silicon transparency. The achieved spectra are lithographically tailored to span 2.1 octaves in the mid-infrared (2.0-8.5 um or 1170--5000 cm-1) when pumped at 3.10 um with 100 pJ pulses. Novel fork-shaped couplers provide efficient input coupling with only 1.5 dB loss. The coherence, brightness, and the stability of the generated light are highlighted in a dual frequency comb setup in which individual comb-lines are resolved with 30 dB extinction ratio and 100 MHz spacing in the wavelength range of 4.8-8.5 um (2100-1170 cm-1). These sources are used for broadband gas- and liquid-phase dual-comb spectroscopy with 100 MHz comb-line resolution. We achieve a peak spectral signal-to-noise ratio of 10 Hz^0.5 across a simultaneous bandwidth containing 112,200 comb-lines. These results provide a pathway to further integration with the developing high repetition rate frequency comb lasers for compact sensors with applications in chip-based chemical analysis and spectroscopy.


title: Kernel quadrature with DPPs

abstract: We study quadrature rules for functions from an RKHS, using nodes sampled from a determinantal point process (DPP). DPPs are parametrized by a kernel, and we use a truncated and saturated version of the RKHS kernel. This link between the two kernels, along with DPP machinery, leads to relatively tight bounds on the quadrature error, that depends on the spectrum of the RKHS kernel. Finally, we experimentally compare DPPs to existing kernel-based quadratures such as herding, Bayesian quadrature, or leverage score sampling. Numerical results confirm the interest of DPPs, and even suggest faster rates than our bounds in particular cases.


title: Interpolation of Operators With Trace Inequalities Related To The Positive Weighted Geometric Mean

abstract: There are various generalizations of the geometric mean $(a,b)\mapsto a^{1/2}b^{1/2}$ for $a,b\in \mathbb{R}^+$ to positive matrices, and we consider the standard positive geometric mean $(X,Y)\mapsto X^{1/2}(X^{-1/2}YX^{-1/2})^{1/2}X^{1/2}$. Much research in recent years has been devoted to relating the weighted version of this mean $X\#_{t}Y:=X^{1/2}(X^{-1/2}YX^{-1/2})^{t}X^{1/2}$ for $t\in [0, 1]$ with operators $e^{(1-t)X+tY}$ and $e^{(1-t)X/2}e^{tY}e^{(1-t)X/2}$ in Golden-Thompson-like inequalities. These inequalities are of interest to mathematical physicists for their relationship to quantum entropy, relative quantum entropy, and R\'{e}nyi divergences. However, the weighted mean is well-defined for the full range of $t\in\mathbb{R}$. In this paper we examine the value of $|||e^H\#_te^K|||$ and variations thereof in comparison to $|||e^{(1-t)H+tK}|||$ and $|||e^{(1-t)H}e^{tK}|||$ for any unitarily invariant norm $|||\cdot|||$ and in particular the trace norm, creating for the first time the full picture of interpolation of the weighted geometric mean with the Golden-Thompson Inequality. We expand inequalities known for $|||(e^{rH}\#_te^{rK})^{1/r}|||$ with $r>0$, $t\in [0,1]$ to the entire real line, and comment on how the exterior inequalities can be used to provide elegant proofs of the known inequalities for $t\in [0,1]$. We also characterize the equality cases for strictly increasing unitarily invariant norms.


title: Signatures of crypto-currency market decoupling from the Forex

abstract: Based on the high-frequency recordings from Kraken, a cryptocurrency exchange and professional trading platform that aims to bring Bitcoin and other cryptocurrencies into the mainstream, the multiscale cross-correlations involving the Bitcoin (BTC), Ethereum (ETH), Euro (EUR) and US dollar (USD) are studied over the period between July 1, 2016 and December 31, 2018. It is shown that the multiscaling characteristics of the exchange rate fluctuations related to the cryptocurrency market approach those of the Forex. This, in particular, applies to the BTC/ETH exchange rate, whose Hurst exponent by the end of 2018 started approaching the value of 0.5, which is characteristic of the mature world markets. Furthermore, the BTC/ETH direct exchange rate has already developed multifractality, which manifests itself via broad singularity spectra. A particularly significant result is that the measures applied for detecting cross-correlations between the dynamics of the BTC/ETH and EUR/USD exchange rates do not show any noticeable relationships. This may be taken as an indication that the cryptocurrency market has begun decoupling itself from the Forex.


title: Global estimates in Sobolev spaces for homogeneous H\"ormander sums of squares

abstract: Let $\mathcal{L}=\sum_{j=1}^m X_j^2$ be a H\"ormander sum of squares of vector fields in space $\mathbb{R}^n$, where any $X_j$ is homogeneous of degree $1$ with respect to a family of non-isotropic dilations in space. In this paper we prove global estimates and regularity properties for $\mathcal{L}$ in the $X$-Sobolev spaces $W^{k,p}_X(\mathbb{R}^n)$, where $X = \{X_1,\ldots,X_m\}$. In our approach, we combine local results for general H\"ormander sums of squares, the homogeneity property of the $X_j$'s, plus a global lifting technique for homogeneous vector fields.


title: Global estimates for the fundamental solution of homogeneous H\"ormander operators

abstract: Let $\mathcal{L}=\sum_{j=1}^{m}X_{j}^{2}$ be a H\"{o}rmander sum of squares of vector fields in $\mathbb{R}^{n}$, where any $X_{j}$ is homogeneous of degree $1$ with respect to a family of non-isotropic dilations in $\mathbb{R}^{n}$. Then $\mathcal{L}$ is known to admit a global fundamental solution $\Gamma (x;y)$, that can be represented as the integral of a fundamental solution of a sublaplacian operator on a lifting space $\mathbb{R}^{n}\times \mathbb{R}^{p}$, equipped with a Carnot group structure. The aim of this paper is to prove global pointwise (upper and lower) estimates of $\Gamma $, in terms of the Carnot-Carath\'{e}odory distance induced by $X=\{X_{1},\ldots ,X_{m}\}$ on $\mathbb{R}^{n}$, as well as global pointwise (upper) estimates for the $X$-derivatives of any order of $\Gamma $, together with suitable integral representations of these derivatives. The least dimensional case $n=2$ presents several peculiarities which are also investigated. Applications to the potential theory for $\mathcal{L}$ and to singular-integral estimates for the kernel $X_{i}X_{j}\Gamma $ are also provided. Finally, most of the results about $\Gamma$ are extended to the case of H\"{o}rmander operators with drift $\sum_{j=1}^{m}X_{j}^{2}+X_{0}$, where $X_{0}$ is $2$-homogeneous and $X_{1},...,X_{m}$ are $1$-homogeneous.


title: TempoCave: Visualizing Dynamic Connectome Datasets to Support Cognitive Behavioral Therapy

abstract: We introduce TempoCave, a novel visualization application for analyzing dynamic brain networks, or connectomes. TempoCave provides a range of functionality to explore metrics related to the activity patterns and modular affiliations of different regions in the brain. These patterns are calculated by processing raw data retrieved functional magnetic resonance imaging (fMRI) scans, which creates a network of weighted edges between each brain region, where the weight indicates how likely these regions are to activate synchronously. In particular, we support the analysis needs of clinical psychologists, who examine these modular affiliations and weighted edges and their temporal dynamics, utilizing them to understand relationships between neurological disorders and brain activity, which could have a significant impact on the way in which patients are diagnosed and treated. We summarize the core functionality of TempoCave, which supports a range of comparative tasks, and runs both in a desktop mode and in an immersive mode. Furthermore, we present a real-world use case that analyzes pre- and post-treatment connectome datasets from 27 subjects in a clinical study investigating the use of cognitive behavior therapy to treat major depression disorder, indicating that TempoCave can provide new insight into the dynamic behavior of the human brain.


title: RadGrad: Active learning with loss gradients

abstract: Solving sequential decision prediction problems, including those in imitation learning settings, requires mitigating the problem of covariate shift. The standard approach, DAgger, relies on capturing expert behaviour in all states that the agent reaches. In real-world settings, querying an expert is costly. We propose a new active learning algorithm that selectively queries the expert, based on both a prediction of agent error and a proxy for agent risk, that maintains the performance of unrestrained expert querying systems while substantially reducing the number of expert queries made. We show that our approach, RadGrad, has the potential to improve upon existing safety-aware algorithms, and matches or exceeds the performance of DAgger and variants (i.e., SafeDAgger) in one simulated environment. However, we also find that a more complex environment poses challenges not only to our proposed method, but also to existing safety-aware algorithms, which do not match the performance of DAgger in our experiments.


title: The Second DIHARD Diarization Challenge: Dataset, task, and baselines

abstract: This paper introduces the second DIHARD challenge, the second in a series of speaker diarization challenges intended to improve the robustness of diarization systems to variation in recording equipment, noise conditions, and conversational domain. The challenge comprises four tracks evaluating diarization performance under two input conditions (single channel vs. multi-channel) and two segmentation conditions (diarization from a reference speech segmentation vs. diarization from scratch). In order to prevent participants from overtuning to a particular combination of recording conditions and conversational domain, recordings are drawn from a variety of sources ranging from read audiobooks to meeting speech, to child language acquisition recordings, to dinner parties, to web video. We describe the task and metrics, challenge design, datasets, and baseline systems for speech enhancement, speech activity detection, and diarization.


title: A Static Analysis-based Cross-Architecture Performance Prediction Using Machine Learning

abstract: Porting code from CPU to GPU is costly and time-consuming; Unless much time is invested in development and optimization, it is not obvious, a priori, how much speed-up is achievable or how much room is left for improvement. Knowing the potential speed-up a priori can be very useful: It can save hundreds of engineering hours, help programmers with prioritization and algorithm selection. We aim to address this problem using machine learning in a supervised setting, using solely the single-threaded source code of the program, without having to run or profile the code. We propose a static analysis-based cross-architecture performance prediction framework (Static XAPP) which relies solely on program properties collected using static analysis of the CPU source code and predicts whether the potential speed-up is above or below a given threshold. We offer preliminary results that show we can achieve 94% accuracy in binary classification, in average, across different thresholds


title: Sealed Computation: Abstract Requirements for Mechanisms to Support Trustworthy Cloud Computing

abstract: In cloud computing, data processing is delegated to a remote party for efficiency and flexibility reasons. A practical user requirement usually is that the confidentiality and integrity of data processing needs to be protected. In the common scenarios of cloud computing today, this can only be achieved by assuming that the remote party does not in any form act maliciously. In this paper, we propose an approach that avoids having to trust a single entity. Our approach is based on two concepts: (1) the technical abstraction of sealed computation, i.e., a technical mechanism to confine the processing of data within a tamper-proof hardware container, and (2) the additional role of an auditing party that itself cannot add functionality to the system but is able to check whether the system (including the mechanism for sealed computation) works as expected. We discuss the abstract technical and procedural requirements of these concepts and explain how they can be applied in practice.


title: Gradient Dynamics of Shallow Univariate ReLU Networks

abstract: We present a theoretical and empirical study of the gradient dynamics of overparameterized shallow ReLU networks with one-dimensional input, solving least-squares interpolation. We show that the gradient dynamics of such networks are determined by the gradient flow in a non-redundant parameterization of the network function. We examine the principal qualitative features of this gradient flow. In particular, we determine conditions for two learning regimes:kernel and adaptive, which depend both on the relative magnitude of initialization of weights in different layers and the asymptotic behavior of initialization coefficients in the limit of large network widths. We show that learning in the kernel regime yields smooth interpolants, minimizing curvature, and reduces to cubic splines for uniform initializations. Learning in the adaptive regime favors instead linear splines, where knots cluster adaptively at the sample points.


title: Simulator-based training of generative models for the inverse design of metasurfaces

abstract: Metasurfaces are subwavelength-structured artificial media that can shape and localize electromagnetic waves in unique ways. The inverse design of these devices is a non-convex optimization problem in a high dimensional space, making global optimization a major challenge. We present a new type of population-based global optimization algorithm for metasurfaces that is enabled by the training of a generative neural network. The loss function used for backpropagation depends on the generated pattern layouts, their efficiencies, and efficiency gradients, which are calculated by the adjoint variables method using forward and adjoint electromagnetic simulations. We observe that the distribution of devices generated by the network continuously shifts towards high performance design space regions over the course of optimization. Upon training completion, the best generated devices have efficiencies comparable to or exceeding the best devices designed using standard topology optimization. Our proposed global optimization algorithm can generally apply to other gradient-based optimization problems in optics, mechanics and electronics.


title: Axisymmetric internal wave transmission and resonance in non-linear stratifications

abstract: To date, the influence of non-linear stratifications and two layer stratifications on internal wave propagation has been studied for two-dimensional wave fields in a cartesian geometry. Here, we use a novel wave generator configuration to investigate transmission in non-linear stratifications of axisymmetric internal wave. Two configurations are studied, both theoretically and experimentally. In the case of a free incident wave, a transmission maximum is found in the vicinity of evanescent frequencies. In the case of a confined incident wave, resonant effects lead to enhanced transmission rates from an upper layer to layer below. We consider the oceanographic relevance of these results by applying them to an example oceanic stratification, finding that there can be real-world implications.


title: Texas Active Target (TexAT) detector for experiments with rare isotope beams

abstract: The TexAT (Texas Active Target) detector is a new active-target time projection chamber (TPC) that was built at the Cyclotron Institute Texas A$\&$M University. The detector is designed to be of general use for nuclear structure and nuclear astrophysics experiments with rare isotope beams. TexAT combines a highly segmented Time Projection Chamber (TPC) with two layers of solid state detectors. It provides high efficiency and flexibility for experiments with low intensity exotic beams, allowing for the 3D track reconstruction of the incoming and outgoing particles involved in nuclear reactions and decays.


title: $L^{p}-L^{p^{\prime}}$ estimates for matrix Schr\"{o}dinger equations

abstract: This paper is devoted to the study of dispersive estimates for matrix Schr\"odinger equations on the half-line with general boundary condition, and on the line. We prove $L^{p}-L^{p^{\prime}}$ estimates on the half-line for slowly decaying selfadjoint matrix potentials that satisfy $\int_{0}^{\infty }\, (1+x) |V(x)|\, dx < \infty$ both in the generic and in the exceptional cases. We obtain our $L^{p}-L^{p^{\prime}}$ estimate on the line for a $n \times n$ system, under the condition that $\int_{-^{\infty}}^{\infty}\, (1+|x|)\, |V(x)|\, dx < \infty,$ from the $L^{p}-L^{p^{\prime}}$ estimate for a $2n\times2n$ system on the half-line. With our $L^{p}-L^{p^{\prime}}$ estimates we prove Strichartz estimates.


title: Domain wall pinning in a circular cross-section wire with modulated diameter

abstract: Domain wall propagation in cylindrical nanowires with modulations of diameter is a key phenomenon to design physics-oriented devices, or a disruptive three-dimensional magnetic memory. This chapter presents a combination of analytical modelling and micromagnetic simulations, with the aim to present a comprehensive panorama of the physics of pinning of domain walls at modulations, when moved under the stimulus of a magnetic field or a spin-polarized current. For the sake of considering simple physics, we consider diameters of a few tens of nanometers at most, and accordingly domain walls of transverse type. Modeling with suitable approximations provides simple scaling laws, while simulations are more accurate, refining the results and defining the range of validity of the models. While pinning increases with the relative change of diameter, a key feature is the much larger efficiency of pinning at an increase of diameter upon considering current rather than field, due to the drastic decrease of current density related to the increase of diameter.


title: Symbolic regression by uniform random global search

abstract: Symbolic regression (SR) is a data analysis problem where we search for the mathematical expression that best fits a numerical dataset. It is a global optimization problem. The most popular approach to SR is by genetic programming (SRGP). It is a common paradigm to compare an algorithm's performance to that of random search, but the data comparing SRGP to random search is lacking. We describe a novel algorithm for SR, namely SR by uniform random global search (SRURGS), also known as pure random search. We conduct experiments comparing SRURGS with SRGP using 100 randomly generated equations. Our results suggest that a SRGP is faster than SRURGS in producing equations with good R^2 for simple problems. However, our experiments suggest that SRURGS is more robust than SRGP, able to produce good output in more challenging problems. As SRURGS is arguably the simplest global search algorithm, we believe it should serve as a control algorithm against which other symbolic regression algorithms are compared. SRURGS has only one tuning parameter, and is conceptually very simple, making it a useful tool in solving SR problems. The method produces random equations, which is useful for the generation of symbolic regression benchmark problems. We have released well documented and open-source python code, currently under formal peer-review, so that interested researchers can deploy the tool in practice.


title: Deep Learning-Based Quantization of L-Values for Gray-Coded Modulation

abstract: In this work, a deep learning-based quantization scheme for log-likelihood ratio (L-value) storage is introduced. We analyze the dependency between the average magnitude of different L-values from the same quadrature amplitude modulation (QAM) symbol and show they follow a consistent ordering. Based on this we design a deep autoencoder that jointly compresses and separately reconstructs each L-value, allowing the use of a weighted loss function that aims to more accurately reconstructs low magnitude inputs. Our method is shown to be competitive with state-of-the-art maximum mutual information quantization schemes, reducing the required memory footprint by a ratio of up to two and a loss of performance smaller than 0.1 dB with less than two effective bits per L-value or smaller than 0.04 dB with 2.25 effective bits. We experimentally show that our proposed method is a universal compression scheme in the sense that after training on an LDPC-coded Rayleigh fading scenario we can reuse the same network without further training on other channel models and codes while preserving the same performance benefits.


title: SeeMoRe: A Fault-Tolerant Protocol for Hybrid Cloud Environments

abstract: Large scale data management systems utilize State Machine Replication to provide fault tolerance and to enhance performance. Fault-tolerant protocols are extensively used in the distributed database infrastructure of large enterprises such as Google, Amazon, and Facebook, as well as permissioned blockchain systems like IBM's Hyperledger Fabric. However, and in spite of years of intensive research, existing fault-tolerant protocols do not adequately address all the characteristics of distributed system applications. In particular, hybrid cloud environments consisting of private and public clouds are widely used by enterprises. However, fault-tolerant protocols have not been adapted for such environments. In this paper, we introduce SeeMoRe, a hybrid State Machine Replication protocol to handle both crash and malicious failures in a public/private cloud environment. SeeMoRe considers a private cloud consisting of nonmalicious nodes (either correct or crash) and a public cloud with both Byzantine faulty and correct nodes. SeeMoRe has three different modes which can be used depending on the private cloud load and the communication latency between the public and the private cloud. We also introduce a dynamic mode switching technique to transition from one mode to another. Furthermore, we evaluate SeeMoRe using a series of benchmarks. The experiments reveal that SeeMoRe's performance is close to the state of the art crash fault-tolerant protocols while tolerating malicious failures.


title: Key Instance Selection for Unsupervised Video Object Segmentation

abstract: This paper proposes key instance selection based on video saliency covering objectness and dynamics for unsupervised video object segmentation (UVOS). Our method takes frames sequentially and extracts object proposals with corresponding masks for each frame. We link objects according to their similarity until the M-th frame and then assign them unique IDs (i.e., instances). Similarity measure takes into account multiple properties such as ReID descriptor, expected trajectory, and semantic co-segmentation result. After M-th frame, we select K IDs based on video saliency and frequency of appearance; then only these key IDs are tracked through the remaining frames. Thanks to these technical contributions, our results are ranked third on the leaderboard of UVOS DAVIS challenge.


title: BitcoinHeist: Topological Data Analysis for Ransomware Detection on the Bitcoin Blockchain

abstract: Proliferation of cryptocurrencies (e.g., Bitcoin) that allow pseudo-anonymous transactions, has made it easier for ransomware developers to demand ransom by encrypting sensitive user data. The recently revealed strikes of ransomware attacks have already resulted in significant economic losses and societal harm across different sectors, ranging from local governments to health care. Most modern ransomware use Bitcoin for payments. However, although Bitcoin transactions are permanently recorded and publicly available, current approaches for detecting ransomware depend only on a couple of heuristics and/or tedious information gathering steps (e.g., running ransomware to collect ransomware related Bitcoin addresses). To our knowledge, none of the previous approaches have employed advanced data analytics techniques to automatically detect ransomware related transactions and malicious Bitcoin addresses. By capitalizing on the recent advances in topological data analysis, we propose an efficient and tractable data analytics framework to automatically detect new malicious addresses in a ransomware family, given only a limited records of previous transactions. Furthermore, our proposed techniques exhibit high utility to detect the emergence of new ransomware families, that is, ransomware with no previous records of transactions. Using the existing known ransomware data sets, we show that our proposed methodology provides significant improvements in precision and recall for ransomware transaction detection, compared to existing heuristic based approaches, and can be utilized to automate ransomware detection.


title: Blackbody radiation shift for the $^1$S$_0$--$^3$P$_0$ optical clock transition in zinc and cadmium atoms

abstract: Black-body radiation (BBR) shifts of $^3\!P_0-^1\!S_0$ clock transition in divalent atoms Cd and Zn are evaluated using accurate relativistic many-body techniques of atomic structure. Static polarizabilities of the clock levels and relevant electric-dipole matrix elements are computed. We also present a comparative overview of the BBR shifts in optical clocks based on neutral divalent atoms trapped in optical lattices.


title: Surf at MEDIQA 2019: Improving Performance of Natural Language Inference in the Clinical Domain by Adopting Pre-trained Language Model

abstract: While deep learning techniques have shown promising results in many natural language processing (NLP) tasks, it has not been widely applied to the clinical domain. The lack of large datasets and the pervasive use of domain-specific language (i.e. abbreviations and acronyms) in the clinical domain causes slower progress in NLP tasks than that of the general NLP tasks. To fill this gap, we employ word/subword-level based models that adopt large-scale data-driven methods such as pre-trained language models and transfer learning in analyzing text for the clinical domain. Empirical results demonstrate the superiority of the proposed methods by achieving 90.6% accuracy in medical domain natural language inference task. Furthermore, we inspect the independent strengths of the proposed approaches in quantitative and qualitative manners. This analysis will help researchers to select necessary components in building models for the medical domain.


title: Monolayer VTe2: Incommensurate Fermi surface nesting and suppression of charge density waves

abstract: We investigated the electronic structure of monolayer VTe2 grown on bilayer graphene by angle-resolved photoemission spectroscopy (ARPES). We found that monolayer VTe2 takes the octahedral 1T structure in contrast to the monoclinic one in the bulk, as evidenced by the good agreement in the Fermi-surface topology between ARPES results and first-principles band calculations for octahedral monolayer 1T-VTe2. We have revealed that monolayer 1T-VTe2 at low temperature is characterized by a metallic state whereas the nesting condition is better than that of isostructural monolayer VSe2 which undergoes a CDW transition to insulator at low temperature. The present result suggests an importance of Fermi-surface topology for characterizing the CDW properties of monolayer TMDs.


title: $K$-theoretic DT/PT correspondence for toric Calabi-Yau 4-folds

abstract: Recently, Nekrasov discovered a new "genus" for Hilbert schemes of points on $\mathbb{C}^4$. We conjecture a DT/PT correspondence for Nekrasov genera for toric Calabi-Yau 4-folds. We verify our conjecture in several cases using a vertex formalism. Taking a certain limit of the equivariant parameters, we recover the cohomological DT/PT correspondence for toric Calabi-Yau 4-folds recently conjectured by the first two authors. Another limit gives a dimensional reduction to the $K$-theoretic DT/PT correspondence for toric 3-folds conjectured by Nekrasov-Okounkov. As an application of our techniques, we find a conjectural formula for the generating series of $K$-theoretic stable pair invariants of the local resolved conifold. Upon dimensional reduction to the resolved conifold, we recover a formula which was recently proved by Kononov-Okounkov-Osinenko.


title: On the fallback disk around the slowest isolated pulsar, 1E 161348$-$5055

abstract: The central compact object 1E 161348$-$5055 in the supernova remnant RCW 103 has a spin period $\sim 6.67$ hr, making it the slowest isolated pulsar. It is believed that a supernova fallback disk is required to spin down the neutron star to the current spin period within a few $10^3$ yr. The mass of the fallback disk around newborn neutron stars can provide useful information on the supernova processes and the possible detection limit with optical/infrared observations. However, it is controversial how massive the disk is in the case of 1E 161348$-$5055. In this work we simulate the spin evolution of a magnetar that is driven by the interaction between the disk and the star's magnetic field. Compared with previous studies, we take into account various critical conditions that affect the formation and evolution of the fallback disk. Our calculation shows that we can reproduce the extremely slow spin of 1E 161348$-$5055 when taking the initial disk mass $M_{\rm d} \sim 10^{-7} M_{\odot}$ and the neutron star magnetic field $B\geq 5 \times 10^{15}$ G. This implies that 1E 161348$-$5055 may be a magnetar with very special initial parameters. However, if future observations reveal more objects like 1E 161348$-$5055, then stringent constraints can be obtained on the supernova fallback.


title: Adversarial training approach for local data debiasing

abstract: The widespread use of automated decision processes in many areas of our society raises serious ethical issues concerning the fairness of the process and the possible resulting discriminations. In this work, we propose a novel approach called GANsan whose objective is to prevent the possibility of any discrimination i.e., direct and indirect) based on a sensitive attribute by removing the attribute itself as well as the existing correlations with the remaining attributes. Our sanitization algorithm GANsan is partially inspired by the powerful framework of generative adversarial networks (in particular the Cycle-GANs), which offers a flexible way to learn a distribution empirically or to translate between two different distributions. In contrast to prior work, one of the strengths of our approach is that the sanitization is performed in the same space as the original data by only modifying the other attributes as little as possible and thus preserving the interpretability of the sanitized data. As a consequence, once the sanitizer is trained, it can be applied to new data, such as for instance, locally by an individual on his profile before releasing it. Finally, experiments on a real dataset demonstrate the effectiveness of the proposed approach as well as the achievable trade-off between fairness and utility.


title: Supervised Hierarchical Clustering with Exponential Linkage

abstract: In supervised clustering, standard techniques for learning a pairwise dissimilarity function often suffer from a discrepancy between the training and clustering objectives, leading to poor cluster quality. Rectifying this discrepancy necessitates matching the procedure for training the dissimilarity function to the clustering algorithm. In this paper, we introduce a method for training the dissimilarity function in a way that is tightly coupled with hierarchical clustering, in particular single linkage. However, the appropriate clustering algorithm for a given dataset is often unknown. Thus we introduce an approach to supervised hierarchical clustering that smoothly interpolates between single, average, and complete linkage, and we give a training procedure that simultaneously learns a linkage function and a dissimilarity function. We accomplish this with a novel Exponential Linkage function that has a learnable parameter that controls the interpolation. In experiments on four datasets, our joint training procedure consistently matches or outperforms the next best training procedure/linkage function pair and gives up to 8 points improvement in dendrogram purity over discrepant pairs.


title: Multi-user Resource Control with Deep Reinforcement Learning in IoT Edge Computing

abstract: By leveraging the concept of mobile edge computing (MEC), massive amount of data generated by a large number of Internet of Things (IoT) devices could be offloaded to MEC server at the edge of wireless network for further computational intensive processing. However, due to the resource constraint of IoT devices and wireless network, both the communications and computation resources need to be allocated and scheduled efficiently for better system performance. In this paper, we propose a joint computation offloading and multi-user scheduling algorithm for IoT edge computing system to minimize the long-term average weighted sum of delay and power consumption under stochastic traffic arrival. We formulate the dynamic optimization problem as an infinite-horizon average-reward continuous-time Markov decision process (CTMDP) model. One critical challenge in solving this MDP problem for the multi-user resource control is the curse-of-dimensionality problem, where the state space of the MDP model and the computation complexity increase exponentially with the growing number of users or IoT devices. In order to overcome this challenge, we use the deep reinforcement learning (RL) techniques and propose a neural network architecture to approximate the value functions for the post-decision system states. The designed algorithm to solve the CTMDP problem supports semi-distributed auction-based implementation, where the IoT devices submit bids to the BS to make the resource control decisions centrally. Simulation results show that the proposed algorithm provides significant performance improvement over the baseline algorithms, and also outperforms the RL algorithms based on other neural network architectures.


title: Controllable Planning, Responsibility, and Information in Automatic Driving Technology

abstract: People hope automated driving technology should be always in a stable and controllable state, accurately, which can be divided into controllable planning, responsibility, and information. Otherwise, it would bring about the problems of tram dilemma, responsibility attribution, information leakage, and security. This article discusses these three types of issues separately and clarifies some misunderstandings.


title: An Integral Formulation and Convex Hull Pricing for Unit Commitment

abstract: Reducing uplift payments has been a challenging problem for most wholesale markets in US. The main difficulty comes from the unit commitment discrete decision makings. Recently convex hull pricing has shown promises to reduce the uplift payments. However, it has been intractable to obtain the optimal convex hull price. In this paper, we describe an innovative approach to decide the optimal convex hull price by simply solving a linear program. We also provide an example to illustrate the calculation process. The final computational experiments on a revised IEEE-118 bus system verify the cost effectiveness by utilizing our proposed approach.


title: Relative expander entropy in the presence of a two-sided obstacle and applications

abstract: We study a notion of relative entropy motivated by self-expanders of mean curvature flow. In particular, we obtain the existence of this quantity for arbitrary hypersurfaces trapped between two disjoint self-expanders asymptotic to the same cone. This allows us to begin to develop the variational theory for the relative entropy functional for the associated obstacle problem. We also obtain a version of the forward monotonicity formula for mean curvature flow proposed by Ilmanen.


title: Predicting Personality Traits from Physical Activity Intensity

abstract: Call and messaging logs from mobile devices have been used to predict human personality traits successfully in recent years. However, the widely available accelerometer data is not yet utilized for this purpose. In this research, we explored some important features describing human physical activity intensity, used for the very first time to predict human personality traits through raw accelerometer data. Using a set of newly introduced metrics, we combined physical activity intensity features with traditional phone activity features for personality prediction. The experiment results show that the predicted personality scores are closer to the ground truth, with observable reduction of errors in predicting the Big-5 personality traits across male and female.


title: Adapting Behaviour via Intrinsic Reward: A Survey and Empirical Study

abstract: Learning about many things can provide numerous benefits to a reinforcement learning system. For example, learning many auxiliary value functions, in addition to optimizing the environmental reward, appears to improve both exploration and representation learning. The question we tackle in this paper is how to sculpt the stream of experience---how to adapt the learning system's behavior---to optimize the learning of a collection of value functions. A simple answer is to compute an intrinsic reward based on the statistics of each auxiliary learner, and use reinforcement learning to maximize that intrinsic reward. Unfortunately, implementing this simple idea has proven difficult, and thus has been the focus of decades of study. It remains unclear which of the many possible measures of learning would work well in a parallel learning setting where environmental reward is extremely sparse or absent. In this paper, we investigate and compare different intrinsic reward mechanisms in a new bandit-like parallel-learning testbed. We discuss the interaction between reward and prediction learners and highlight the importance of introspective prediction learners: those that increase their rate of learning when progress is possible, and decrease when it is not. We provide a comprehensive empirical comparison of 14 different rewards, including well-known ideas from reinforcement learning and active learning. Our results highlight a simple but seemingly powerful principle: intrinsic rewards based on the amount of learning can generate useful behavior, if each individual learner is introspective.


title: Event-based Star Tracking via Multiresolution Progressive Hough Transforms

abstract: Star trackers are state-of-the-art attitude estimation devices which function by recognising and tracking star patterns. Most commercial star trackers use conventional optical sensors. A recent alternative is to use event sensors, which could enable more energy efficient and faster star trackers. However, this demands new algorithms that can efficiently cope with high-speed asynchronous data, and are feasible on resource-constrained computing platforms. To this end, we propose an event-based processing approach for star tracking. Our technique operates on the event stream from a star field, by using multiresolution Hough Transforms to time-progressively integrate event data and produce accurate relative rotations. Optimisation via rotation averaging is then used to fuse the relative rotations and jointly refine the absolute orientations. Our technique is designed to be feasible for asynchronous operation on standard hardware. Moreover, compared to state-of-the-art event-based motion estimation schemes, our technique is much more efficient and accurate.


abstract: Conditional gradients constitute a class of projection-free first-order algorithms for smooth convex optimization. As such, they are frequently used in solving smooth convex optimization problems over polytopes, for which the computational cost of orthogonal projections would be prohibitive. However, they do not enjoy the optimal convergence rates achieved by projection-based accelerated methods; moreover, achieving such globally-accelerated rates is information-theoretically impossible for these methods. To address this issue, we present Locally Accelerated Conditional Gradients -- an algorithmic framework that couples accelerated steps with conditional gradient steps to achieve local acceleration on smooth strongly convex problems. Our approach does not require projections onto the feasible set, but only on (typically low-dimensional) simplices, thus keeping the computational cost of projections at bay. Further, it achieves the optimal accelerated local convergence. Our theoretical results are supported by numerical experiments, which demonstrate significant speedups of our framework over state of the art methods in both per-iteration progress and wall-clock time.


title: Stochastic Runge-Kutta Accelerates Langevin Monte Carlo and Beyond

abstract: Sampling with Markov chain Monte Carlo methods often amounts to discretizing some continuous-time dynamics with numerical integration. In this paper, we establish the convergence rate of sampling algorithms obtained by discretizing smooth It\^o diffusions exhibiting fast Wasserstein-$2$ contraction, based on local deviation properties of the integration scheme. In particular, we study a sampling algorithm constructed by discretizing the overdamped Langevin diffusion with the method of stochastic Runge-Kutta. For strongly convex potentials that are smooth up to a certain order, its iterates converge to the target distribution in $2$-Wasserstein distance in $\tilde{\mathcal{O}}(d\epsilon^{-2/3})$ iterations. This improves upon the best-known rate for strongly log-concave sampling based on the overdamped Langevin equation using only the gradient oracle without adjustment. In addition, we extend our analysis of stochastic Runge-Kutta methods to uniformly dissipative diffusions with possibly non-convex potentials and show they achieve better rates compared to the Euler-Maruyama scheme in terms of the dependence on tolerance $\epsilon$. Numerical studies show that these algorithms lead to better stability and lower asymptotic errors.


title: Identifiability of Hierarchical Latent Attribute Models

abstract: Hierarchical Latent Attribute Models (HLAMs) are a family of discrete latent variable models that are attracting increasing attention in educational, psychological, and behavioral sciences. The key ingredients of an HLAM include a binary structural matrix and a directed acyclic graph specifying hierarchical constraints on the configurations of latent attributes. These components encode practitioners' design information and carry important scientific meanings. Despite the popularity of HLAMs, the fundamental identifiability issue remains unaddressed. The existence of the attribute hierarchy graph leads to degenerate parameter space, and the potentially unknown structural matrix further complicates the identifiability problem. This paper addresses this issue of identifying the latent structure and model parameters underlying an HLAM. We develop sufficient and necessary identifiability conditions. These results directly and sharply characterize the different impacts on identifiability cast by different attribute types in the graph. The proposed conditions not only provide insights into diagnostic test designs under the attribute hierarchy, but also serve as tools to assess the validity of an estimated HLAM.


title: Analytical Derivatives for Differentiable Renderer: 3D Pose Estimation by Silhouette Consistency

abstract: Differentiable render is widely used in optimization-based 3D reconstruction which requires gradients from differentiable operations for gradient-based optimization. The existing differentiable renderers obtain the gradients of rendering via numerical technique which is of low accuracy and efficiency. Motivated by this fact, a differentiable mesh renderer with analytical gradients is proposed. The main obstacle of rasterization based rendering being differentiable is the discrete sampling operation. To make the rasterization differentiable, the pixel intensity is defined as a double integral over the pixel area and the integral is approximated by anti-aliasing with an average filter. Then the analytical gradients with respect to the vertices coordinates can be derived from the continuous definition of pixel intensity. To demonstrate the effectiveness and efficiency of the proposed differentiable renderer, experiments of 3D pose estimation by only multi-viewpoint silhouettes were conducted. The experimental results show that 3D pose estimation without 3D and 2D joints supervision is capable of producing competitive results both qualitatively and quantitatively. The experimental results also show that the proposed differentiable renderer is of higher accuracy and efficiency compared with previous method of differentiable renderer.


title: Indexing Graph Search Trees and Applications

abstract: We consider the problem of compactly representing the Depth First Search (DFS) tree of a given undirected or directed graph having $n$ vertices and $m$ edges while supporting various DFS related queries efficiently in the RAM with logarithmic word size. We study this problem in two well-known models: {\it indexing} and {\it encoding} models. While most of these queries can be supported easily in constant time using $O(n \lg n)$ bits\footnote{We use $\lg$ to denote logarithm to the base $2$.} of extra space, our goal here is, more specifically, to beat this trivial $O(n \lg n)$ bit space bound, yet not compromise too much on the running time of these queries. In the {\it indexing} model, the space bound of our solution involves the quantity $m$, hence, we obtain different bounds for sparse and dense graphs respectively. In the {\it encoding} model, we first give a space lower bound, followed by an almost optimal data structure with extremely fast query time. Central to our algorithm is a partitioning of the DFS tree into connected subtrees, and a compact way to store these connections. Finally, we also apply these techniques to compactly index the shortest path structure, biconnectivity structures among others.


title: Free affine $\mathbb{Z}^p$-actions on Tori

abstract: We prove that any $\mathbb{Z}^p$-action ${\bf A}$ that acts by automorphisms of $\mathbb{Z}^q$ with a non-zero fixed-point set induces a unipotent factor of the $\mathbb{Z}^p$-action ${\bf A}$ which determines whether the action ${\bf A}$ is {\it liberated affine}, i.e. ${\bf A}$ is the linear part of a free affine $\mathbb{Z}^p$-action on the torus $T^q$. In general, it is not true that all unipotent $\mathbb{Z}^p$-actions $\bf{U}$ on $\mathbb{Z}^q$ are liberated affine: counter-examples appear for $q\geq 4$. But if the dimension of the fixed-point set of ${\bf U}$ regarded as a subspace of $\mathbb{Z}^q$ is less than $q/2$, then ${\bf U}$ is liberated affine. If $q\leq3$, then a $\mathbb{Z}^p$-action on $\mathbb{Z}^q$ with non-zero fixed-point set is liberated affine. Finally, for unipotent $\mathbb{Z}^p$-actions on $\mathbb{Z}^3$, we obtain a classification of all those that are the linear part of a minimal free affine $\mathbb{Z}^p$-action on $T^3$.


title: Analysis of time-resolved single-particle spectrum on the one-dimensional extended Hubbard model

abstract: We investigate the short-time evolution of the half filled one-dimensional extended Hubbard model in the strong-coupling regime, driven by a transient laser pump. Combining twisted boundary conditions with the time-dependent Lanczos technique, we obtain snapshots of the single-particle spectral function with high momentum resolution. The analysis of the oscillations of the spectral function shows that its characteristic frequencies are consistent with the magnitudes of the optical gap. Furthermore, we examine the time-evolving spectral structure in the charge-density-wave phase in detail and find that one of the bands in the single-particle spectrum originates from the photoinduced bond-order background.


title: Space Efficient Algorithms for Breadth-Depth Search

abstract: Continuing the recent trend, in this article we design several space-efficient algorithms for two well-known graph search methods. Both these search methods share the same name {\it breadth-depth search} (henceforth {\sf BDS}), although they work entirely in different fashion. The classical implementation for these graph search methods takes $O(m+n)$ time and $O(n \lg n)$ bits of space in the standard word RAM model (with word size being $\Theta(\lg n)$ bits), where $m$ and $n$ denotes the number of edges and vertices of the input graph respectively. Our goal here is to beat the space bound of the classical implementations, and design $o(n \lg n)$ space algorithms for these search methods by paying little to no penalty in the running time. Note that our space bounds (i.e., with $o(n \lg n)$ bits of space) do not even allow us to explicitly store the required information to implement the classical algorithms, yet our algorithms visits and reports all the vertices of the input graph in correct order.


title: Joint Regularization on Activations and Weights for Efficient Neural Network Pruning

abstract: With the rapid scaling up of deep neural networks (DNNs), extensive research studies on network model compression such as weight pruning have been performed for improving deployment efficiency. This work aims to advance the compression beyond the weights to neuron activations. We propose the joint regularization technique which simultaneously regulates the distribution of weights and activations. By distinguishing and leveraging the significance difference among neuron responses and connections during learning, the jointly pruned network, namely \textit{JPnet}, optimizes the sparsity of activations and weights for improving execution efficiency. The derived deep sparsification of JPnet reveals more optimization space for the existing DNN accelerators dedicated for sparse matrix operations. We thoroughly evaluate the effectiveness of joint regularization through various network models with different activation functions and on different datasets. With $0.4\%$ degradation constraint on inference accuracy, a JPnet can save $72.3\% \sim 98.8\%$ of computation cost compared to the original dense models, with up to $5.2\times$ and $12.3\times$ reductions in activation and weight numbers, respectively.


title: Gravitational edge modes: From Kac-Moody charges to Poincar\'e networks

abstract: We revisit the canonical framework for general relativity in its connection-vierbein formulation, recasting the Gauss law, the Bianchi identity and the space diffeomorphism bulk constraints as conservation laws for boundary surface charges, respectively electric, magnetic and momentum charges. Partitioning the space manifold into 3D regions glued together through their interfaces, we focus on a single domain and its punctured 2D boundary. The punctures carry a ladder of Kac-Moody edge modes, whose 0-modes represent the electric and momentum charges while the higher modes describe the stringy vibration modes of the 1D-boundary around each puncture. In particular, this allows to identify missing observables in the discretization scheme used in loop quantum gravity and leads to an enhanced theory upgrading spin networks to tube networks carrying Virasoro representations. In the limit where the tubes are contracted to 1D links and the string modes neglected, we do not just recover loop quantum gravity but obtain a more general structure: Poincar\'e charge networks, which carry a representation of the 3D diffeomorphism boundary charges on top of the $\mathrm{SU}(2)$ fluxes and gauge transformations.


title: Counting elliptic curves with an isogeny of degree three

abstract: We count by height the number of elliptic curves over the rationals that possess an isogeny of degree three.


title: Local Metallic and Structural Properties of the Strongly Correlated Metal LaNiO$_{3}$ using $^{8}$Li $\beta$-NMR

abstract: We report $\beta$-detected NMR of ion-implanted $^{8}$Li in a single crystal and thin film of the strongly correlated metal LaNiO$_{3}$. In both samples, spin-lattice relaxation measurements reveal two distinct local metallic environments, as is evident from $T$-linear Korringa $1/T_{1}$ below 200 K with slopes comparable to other metals. A small, approximately temperature independent Knight shift of $\sim 74$ ppm is observed, yielding a normalized Korringa product characteristic of substantial antiferromagnetic correlations, but, we find no evidence for a magnetic transition from 4 to 310 K. Two distinct, equally abundant $^{8}$Li sites is inconsistent with the widely accepted rhombohedral structure of LaNiO$_{3}$, but cannot be simply explained by either of the common alternative orthorhombic or monoclinic distortions.


title: Scalable, green fabrication of single-crystal noble metal films and nanostructures for low-loss nanotechnology applications

abstract: High quality metal thin films and nanostructures are critical building blocks for next generation nanotechnologies. They comprise low-loss circuit elements in nanodevices, provide new catalytic pathways for water splitting and $CO_2$ reduction technologies, and enable the confinement of spatially extended electromagnetic waves to be harnessed for application in information processing, energy harvesting, engineered metamaterials, and new technologies that will operate in the quantum plasmonics limit. However, the controlled fabrication of high-definition single-crystal subwavelength metal nanostructures remains a significant hurdle, due to the tendency for polycrystalline metal growth using conventional physical vapor deposition methods, and the challenges associated with placing solution-grown nanocrystals in desired orientations and locations on a surface to fabricate functional devices. Here, we introduce a new scalable, green, wet chemical approach to monocrystalline noble metals that enables the fabrication of ultrasmooth, epitaxial, single-crystal films of controllable thickness. They are ideal for the subtractive manufacture of nanostructure through ion beam milling, and additive crystalline nanostructure via lithographic patterning to enable large area, single-crystal metamaterials and high aspect ratio nanowires. Our single-crystal nanostructures demonstrate improved feature quality and pattern transfer yield, reduced optical and resistive losses, tailored local fields, and greatly improved stability compared to polycrystalline structures, supporting greater local field enhancements and enabling new practical advances at the nanoscale.


title: Second-Order Semantic Dependency Parsing with End-to-End Neural Networks

abstract: Semantic dependency parsing aims to identify semantic relationships between words in a sentence that form a graph. In this paper, we propose a second-order semantic dependency parser, which takes into consideration not only individual dependency edges but also interactions between pairs of edges. We show that second-order parsing can be approximated using mean field (MF) variational inference or loopy belief propagation (LBP). We can unfold both algorithms as recurrent layers of a neural network and therefore can train the parser in an end-to-end manner. Our experiments show that our approach achieves state-of-the-art performance.


title: Persistence and Extinction of Nonlocal Dispersal Evolution Equations in Moving Habitats

abstract: This paper is devoted to the study of persistence and extinction of a species modeled by nonlocal dispersal evolution equations in moving habitats with moving speed $c$. It is shown that the species becomes extinct if the moving speed $c$ is larger than the so called spreading speed $c^*$, where $c^*$ is determined by the maximum linearized growth rate function. If the moving speed $c$ is smaller than $c^*$, it is shown that the persistence of the species depends on the patch size of the habitat, namely, the species persists if the patch size is greater than some number $L^*$ and in this case, there is a traveling wave solution with speed $c$, and it becomes extinct if the patch size is {smaller} than $L^*$.


title: Semi-supervised Logistic Learning Based on Exponential Tilt Mixture Models

abstract: Consider semi-supervised learning for classification, where both labeled and unlabeled data are available for training. The goal is to exploit both datasets to achieve higher prediction accuracy than just using labeled data alone. We develop a semi-supervised logistic learning method based on exponential tilt mixture models, by extending a statistical equivalence between logistic regression and exponential tilt modeling. We study maximum nonparametric likelihood estimation and derive novel objective functions which are shown to be Fisher consistent. We also propose regularized estimation and construct simple and highly interpretable EM algorithms. Finally, we present numerical results which demonstrate the advantage of the proposed methods compared with existing methods.


title: Gender trends in computer science authorship

abstract: A large-scale, up-to-date analysis of Computer Science literature (11.8M papers through 2019) reveals that, if trends from the last 50 years continue, parity between the number of male and female authors will not be reached in this century. In contrast, parity is projected to be reached within two to three decades or may have already been reached in other fields of study like Medicine or Sociology. Our analysis of collaboration trends in Computer Science reveals shifts in the size of the collaboration gap between authors of different perceived genders. The gap is persistent but shrinking, corresponding to a slow increase in the rate of cross-gender collaborations over time. Together, these trends describe a persistent gender gap in the authorship of Computer Science literature that may not close without systematic intervention.


title: Non-autonomous curves on surfaces

abstract: Consider a symplectic surface $\Sigma$ with two properly embedded Hamiltonian isotopic curves $L$ and $L'$. Suppose $g \in Ham (\Sigma)$ is a Hamiltonian diffeomorphism which sends $L$ to $L'$. Which dynamical properties of $g$ can be detected by the pair $(L, L')$? We discuss two cases where one can deduce that $g$ is `chaotic': non-autonomous or even of positive entropy.


title: Nefness of the direct images of relative canonical bundles

abstract: Given a fibration $f$ between two projective manifolds $X$ and $Y$, we discuss the nefness of the direct images $f_{\ast}(K_{X/Y}\otimes L)$, where $(L,h)$ is a pseudo-effective line bundle with mild singularity.


title: Learning with Partially Ordered Representations

abstract: This paper examines the characterization and learning of grammars defined with enriched representational models. Model-theoretic approaches to formal language theory traditionally assume that each position in a string belongs to exactly one unary relation. We consider unconventional string models where positions can have multiple, shared properties, which are arguably useful in many applications. We show the structures given by these models are partially ordered, and present a learning algorithm that exploits this ordering relation to effectively prune the hypothesis space. We prove this learning algorithm, which takes positive examples as input, finds the most general grammar which covers the data.


title: Tutorial on algebraic deletion correction codes

abstract: The deletion channel is known to be a notoriously diffcult channel to design error-correction codes for. In spite of this difficulty, there are some beautiful code constructions which give some intuition about the channel and about what good deletion codes look like. In this tutorial we will take a look at some of them. This document is a transcript of my talk at the coding theory reading group on some interesting works on deletion channel. It is not intended to be an exhaustive survey of works on deletion channel, but more as a tutorial to some of the important and cute ideas in this area. For a comprehensive survey, we refer the reader to the cited sources and surveys. We also provide an implementation of VT codes that correct single insertion/deletion errors for general alphabets at https://github.com/shubhamchandak94/VT_codes/.


title: Convergence Revisit on Generalized Symmetric ADMM

abstract: In this note, we show a sublinear nonergodic convergence rate for the algorithm developed in [Bai, et al. Generalized symmetric ADMM for separable convex optimization. Comput. Optim. Appl. 70, 129-170 (2018)], as well as its linear convergence under assumptions that the sub-differential of each component objective function is piecewise linear and all the constraint sets are polyhedra. These remaining convergence results are established for the stepsize parameters of dual variables belonging to a special isosceles triangle region, which aims to strengthen our understanding for convergence of the generalized symmetric ADMM.


title: Unsupervised Learning of Object Structure and Dynamics from Videos

abstract: Extracting and predicting object structure and dynamics from videos without supervision is a major challenge in machine learning. To address this challenge, we adopt a keypoint-based image representation and learn a stochastic dynamics model of the keypoints. Future frames are reconstructed from the keypoints and a reference frame. By modeling dynamics in the keypoint coordinate space, we achieve stable learning and avoid compounding of errors in pixel space. Our method improves upon unstructured representations both for pixel-level video prediction and for downstream tasks requiring object-level understanding of motion dynamics. We evaluate our model on diverse datasets: a multi-agent sports dataset, the Human3.6M dataset, and datasets based on continuous control tasks from the DeepMind Control Suite. The spatially structured representation outperforms unstructured representations on a range of motion-related tasks such as object tracking, action recognition and reward prediction.


title: Characterizing dynamical stages of open clusters located in the Sagittarius spiral arm

abstract: The study of dynamical properties of Galactic open clusters is a fundamental prerequisite for the comprehension of their dissolution processes. In this work, we characterized 12 open clusters, namely: Collinder 258, NGC 6756, Czernik 37, NGC 5381, Ruprecht 111, Ruprecht 102, NGC 6249, Basel 5, Ruprecht 97, Trumpler 25, ESO 129-SC32 and BH 150, projected against dense stellar fields. In order to do that, we employed Washington $CT_{1}$ photometry and GAIA DR2 astrometry, combined with a decontamination algorithm applied to the three-dimensional astrometric space of proper motions and parallaxes. From the derived membership likelihoods, we built decontaminated colour-magnitude diagrams, while structural parameters were obtained from King profiles fitting. Our analysis revealed that they are relatively young open clusters (log($t$ yr$^{-1}$) $\sim7.3-8.6$), placed along the Sagittarius spiral arm, and at different internal dynamical stages. We found that the half-light radius to Jacobi radius ratio, the concentration parameter and the age to relaxation time ratio describe satisfactorily their different stages of dynamical evolution. Those relative more dynamically evolved open clusters have apparently experienced more important low-mass star loss.


title: Large dynamical axion field in topological antiferromagnetic insulator Mn$_2$Bi$_2$Te$_5$

abstract: The dynamical axion field is a new state of quantum matter where the magnetoelectric response couples strongly to its low-energy magnetic fluctuations. It is fundamentally different from an axion insulator with a static quantized magnetoelectric response. The dynamical axion field exhibits many exotic phenomena such as axionic polariton and axion instability. However, these effects have not been experimentally confirmed due to the lack of proper topological magnetic materials. Here by combining analytic models and first-principles calculations, we predict a series of van der Waal layered Mn$_2$Bi$_2$Te$_5$-related topological antiferromagnetic materials could host the long-sought dynamical axion field with a topological origin. We also show a large dynamical axion field can be achieved in antiferromagnetic insulating states close to the topological phase transition. We further propose the optical and transport experiments to detect such a dynamical axion field. Our results could directly aid and facilitate the search for topological-origin large dynamical axion field in realistic materials.


title: Learning to Reconstruct and Understand Indoor Scenes from Sparse Views

abstract: This paper proposes a new method for simultaneous 3D reconstruction and semantic segmentation of indoor scenes. Unlike existing methods that require recording a video using a color camera and/or a depth camera, our method only needs a small number of (e.g., 3-5) color images from uncalibrated sparse views as input, which greatly simplifies data acquisition and extends applicable scenarios. Since different views have limited overlaps, our method allows a single image as input to discern the depth and semantic information of the scene. The key issue is how to recover relatively accurate depth from single images and reconstruct a 3D scene by fusing very few depth maps. To address this problem, we first design an iterative deep architecture, IterNet, that estimates depth and semantic segmentation alternately, so that they benefit each other. To deal with the little overlap and non-rigid transformation between views, we further propose a joint global and local registration method to reconstruct a 3D scene with semantic information from sparse views. We also make available a new indoor synthetic dataset simultaneously providing photorealistic high-resolution RGB images, accurate depth maps and pixel-level semantic labels for thousands of complex layouts, useful for training and evaluation. Experimental results on public datasets and our dataset demonstrate that our method achieves more accurate depth estimation, smaller semantic segmentation errors and better 3D reconstruction results, compared with state-of-the-art methods.


title: Extended probabilistic Rand index and the adjustable moving window-based pixel-pair sampling method

abstract: The probabilistic Rand (PR) index has the following three problems: It lacks variations in its value over images; the normalized probabilistic Rand (NPR) index to address this is theoretically unclear, and the sampling method of pixel-pairs was not proposed concretely. In this paper, we propose methods for solving these problems. First, we propose extended probabilistic Rand (EPR) index that considers not only similarity but also dissimilarity between segmentations. The EPR index provides twice as wide effective range as the PR index does. Second, we propose an adjustable moving window-based pixel-pair sampling (AWPS) method in which each pixel-pair is sampled adjustably by considering granularities of ground truth segmentations. Results of experiments show that the proposed methods work effectively and efficiently.


title: Drop Impact on Two-Tier Monostable Superrepellent Surfaces

abstract: Superrepellency is a favorable non-wetting situation featured by a dramatically reduced solid/liquid contact region with extremely low adhesion. However, drop impact often brings out a notable extension of the contact region associated with rather enhanced water affinity, such renders irreversible breakdowns of superhydrophobicity. Here, we report an alternative outcome, a repeated Cassie-Wenzel-Cassie (CWC) wetting state transition in the microscale occurs when a drop impacts a two-tier superhydrophobic surface, which exhibits a striking contrast to the conventional perspective. Influences of material parameters on the impact dynamics are quantified. We demonstrate that self-cleaning and dropwise condensation significantly benefit from this outcome - dirt particles or small droplets in deep textures can be taken away through the transition. The results reported in this study allows us to promote the strategy to design functional superrepellency materials.


title: Low Probability of Detection Communication: Opportunities and Challenges

abstract: Low probability of detection (LPD) communication has recently emerged as a new transmission technology to address privacy and security in wireless networks. Recent studies have established the fundamental limits of LPD communication in terms of the amount of information bits that can be conveyed from a transmitter to a receiver subject to a constraint on a warden's detection error probability. The established information-theoretic metric enables analytical studies on the design and performance of LPD communication under various channel conditions. In this article, we present the key features of LPD communication and discuss various important design considerations. Firstly, we clarify the differences between LPD communication and the well-known physical-layer security. Then, from an information-theoretic point of view, we discuss the optimal signalling strategies for transmitting the message-carrying signal and artificial-noise signal for LPD communication. Finally, we identify the key challenges in the design of practical LPD communication systems and point out future research directions in this context. This article provides guidelines for designing practical LPD communication strategies in wireless systems and networks.


title: Soliton fractional charges in graphene nanoribbon and polyacetylene: similarities and differences

abstract: An introductory overview of current research developments regarding solitons and fractional boundary charges in graphene nanoribbons is presented. Graphene nanoribbons and polyacetylene have chiral symmetry and share numerous similar properties, e.g., the bulk-edge correspondence between the Zak phase and the existence of edge states, along with the presence of chiral boundary states, which are important for charge fractionalization. In polyacetylene, a fermion mass potential in the Dirac equation produces an excitation gap, and a twist in this scalar potential produces a zero-energy chiral soliton. Similarly, in a gapful armchair graphene nanoribbon, a distortion in the chiral gauge field can produce soliton states. In polyacetylene, a soliton is bound to a domain wall connecting two different dimerized phases. In graphene nanoribbons, a domain-wall soliton connects two topological zigzag edges with different chiralities. However, such a soliton does not display spin-charge separation. The existence of a soliton in finite-length polyacetylene can induce formation of fractional charges on the opposite ends. In contrast, for gapful graphene nanoribbons, the antiferromagnetic coupling between the opposite zigzag edges induces integer boundary charges. The presence of disorder in graphene nanoribbons partly mitigates antiferromagnetic coupling effect. Hence, the average edge charge of gap states with energies within a small interval is e/2, with significant charge fluctuations. However, midgap states exhibit a well-defined charge fractionalization between the opposite zigzag edges in the weak-disorder regime. Numerous occupied soliton states in a disorder-free and doped zigzag graphene nanoribbon form a solitonic phase.


title: Domain Adaptation for Enterprise Email Search

abstract: In the enterprise email search setting, the same search engine often powers multiple enterprises from various industries: technology, education, manufacturing, etc. However, using the same global ranking model across different enterprises may result in suboptimal search quality, due to the corpora differences and distinct information needs. On the other hand, training an individual ranking model for each enterprise may be infeasible, especially for smaller institutions with limited data. To address this data challenge, in this paper we propose a domain adaptation approach that fine-tunes the global model to each individual enterprise. In particular, we propose a novel application of the Maximum Mean Discrepancy (MMD) approach to information retrieval, which attempts to bridge the gap between the global data distribution and the data distribution for a given individual enterprise. We conduct a comprehensive set of experiments on a large-scale email search engine, and demonstrate that the MMD approach consistently improves the search quality for multiple individual domains, both in comparison to the global ranking model, as well as several competitive domain adaptation baselines including adversarial learning methods.


title: Casimir forces and high-Tc superconductors

abstract: We investigate the Casimir forces between high-$T_c$ superconductors as function of the distance and temperature, focusing on optimally-doped YBa$_2$Cu$_3$O$_{6.95}$. We consider formerly studied configurations in normal metals lying in the short-distance (50 nm - 600 nm), and long-distance (600 nm - 10 microns) regimes. The dielectric properties of the material are described in terms of weakly-interacting, short-correlated conducting pairs transported along quasi-2D layers. In the short-range regime, a continuous behavior of the Casimir forces arises, with no significant discontinuity at the transition temperature. This behavior also follows in the equivalent the normal conductor configuration. In the long-range regime, the forces show an abrupt increment at the critical temperature. Simultaneously, the Casimir entropy and the specific heat develop a strong discontinuous behavior, characteristic of the SC-normal phase transition. In every situation, the entropy vanishes at extremely low temperatures.


title: Brain correlates of task-load and dementia elucidation with tensor machine learning using oddball BCI paradigm

abstract: Dementia in the elderly has recently become the most usual cause of cognitive decline. The proliferation of dementia cases in aging societies creates a remarkable economic as well as medical problems in many communities worldwide. A recently published report by The World Health Organization (WHO) estimates that about 47 million people are suffering from dementia-related neurocognitive declines worldwide. The number of dementia cases is predicted by 2050 to triple, which requires the creation of an AI-based technology application to support interventions with early screening for subsequent mental wellbeing checking as well as preservation with digital-pharma (the so-called beyond a pill) therapeutical approaches. We present an attempt and exploratory results of brain signal (EEG) classification to establish digital biomarkers for dementia stage elucidation. We discuss a comparison of various machine learning approaches for automatic event-related potentials (ERPs) classification of a high and low task-load sound stimulus recognition. These ERPs are similar to those in dementia. The proposed winning method using tensor-based machine learning in a deep fully connected neural network setting is a step forward to develop AI-based approaches for a subsequent application for subjective- and mild-cognitive impairment (SCI and MCI) diagnostics.


title: Memetic EDA-Based Approaches to Comprehensive Quality-Aware Automated Semantic Web Service Composition

abstract: Comprehensive quality-aware automated semantic web service composition is an NP-hard problem, where service composition workflows are unknown, and comprehensive quality, i.e., Quality of services (QoS) and Quality of semantic matchmaking (QoSM) are simultaneously optimized. The objective of this problem is to find a solution with optimized or near-optimized overall QoS and QoSM within polynomial time over a service request. In this paper, we proposed novel memetic EDA-based approaches to tackle this problem. The proposed method investigates the effectiveness of several neighborhood structures of composite services by proposing domain-dependent local search operators. Apart from that, a joint strategy of the local search procedure is proposed to integrate with a modified EDA to reduce the overall computation time of our memetic approach. To better demonstrate the effectiveness and scalability of our approach, we create a more challenging, augmented version of the service composition benchmark based on WSC-08 \cite{bansal2008wsc} and WSC-09 \cite{kona2009wsc}. Experimental results on this benchmark show that one of our proposed memetic EDA-based approach (i.e., MEEDA-LOP) significantly outperforms existing state-of-the-art algorithms.


title: Multimodal Abstractive Summarization for How2 Videos

abstract: In this paper, we study abstractive summarization for open-domain videos. Unlike the traditional text news summarization, the goal is less to "compress" text information but rather to provide a fluent textual summary of information that has been collected and fused from different source modalities, in our case video and audio transcripts (or text). We show how a multi-source sequence-to-sequence model with hierarchical attention can integrate information from different modalities into a coherent output, compare various models trained with different modalities and present pilot experiments on the How2 corpus of instructional videos. We also propose a new evaluation metric (Content F1) for abstractive summarization task that measures semantic adequacy rather than fluency of the summaries, which is covered by metrics like ROUGE and BLEU.