title: Vacuum Texture: A New Interpretation of Quantum Mechanics and a New Loophole for Bell's Inequality Measurements that preserves Local Realism and Causality

abstract: We introduce a new interpretation of quantum mechanics by examining the Einstein, Podolsky and Rosen's (EPR) paradox and Bell's inequality experiments under the assumption that the vacuum has an inhomogeneous texture for energy levels below the Heisenberg time-energy uncertainty relation. In this article, selected results from the most reliable Bell's inequality experiments will be quantitatively analyzed to show that our interpretation of quantum mechanics creates a new loophole in Bell's inequality, and that the past experimental findings do not contradict our new interpretation. Under the vacuum texture interpretation of quantum mechanics in a Bell's inequality experiment, the states of the pair of particles created at the source (e.g. during parametric down conversion) is influenced by an inhomogeneous vacuum texture sent from the measurement apparatus. We will also show that the resulting pair of particles are not entangled and that the theory of vacuum texture preserves local realism with complete causality. This article will also suggest an experiment to definitively confirm the existence of vacuum texture.


title: K-Athena: a performance portable structured grid finite volume magnetohydrodynamics code

abstract: Large scale simulations are a key pillar of modern research and require ever-increasing computational resources. Different novel manycore architectures have emerged in recent years on the way towards the exascale era. Performance portability is required to prevent repeated non-trivial refactoring of a code for different architectures. We combine Athena++, an existing magnetohydrodynamics (MHD) CPU code, with Kokkos, a performance portable on-node parallel programming paradigm, into K-Athena to allow efficient simulations on multiple architectures using a single codebase. We present profiling and scaling results for different platforms including Intel Skylake CPUs, Intel Xeon Phis, and NVIDIA GPUs. K-Athena achieves $>10^8$ cell-updates/s on a single V100 GPU for second-order double precision MHD calculations, and a speedup of 30 on up to 24,576 GPUs on Summit (compared to 172,032 CPU cores), reaching $1.94\times10^{12}$ total cell-updates/s at 76% parallel efficiency. Using a roofline analysis we demonstrate that the overall performance is currently limited by DRAM bandwidth and calculate a performance portability metric of 62.8%. Finally, we present the implementation strategies used and the challenges encountered in maximizing performance. This will provide other research groups with a straightforward approach to prepare their own codes for the exascale era. K-Athena is available at https://gitlab.com/pgrete/kathena .


title: On physics of a highly relativistic spinning particle in the gravitational field

abstract: The Mathisson-Papapetrou equations are used for investigations of influence of the spin-gravity coupling on a highly relativistic spinning particle in Schwarzschild's field. It is established that interaction of the particle spin with the gravitomagnetic components of the field, estimated in the proper frame of the particle, causes the large acceleration of the spinning particle relative to geodesic free fall. As a result the accelerated charged spinning particle can generate intensive electromagnetic radiation when its velocity is highly relativistic. The significant contribution of the highly relativistic spin-gravity coupling to the energy of the spinning particle is analyzed.


title: Extreme magnetic field-boosted superconductivity

abstract: Applied magnetic fields underlie exotic quantum states, such as the fractional quantum Hall effect and Bose-Einstein condensation of spin excitations. Superconductivity, on the other hand, is inherently antagonistic towards magnetic fields. Only in rare cases can these effects be mitigated over limited fields, leading to reentrant superconductivity. Here, we report the unprecedented coexistence of multiple high-field reentrant superconducting phases in the spin-triplet superconductor UTe2. Strikingly, we observe superconductivity in the highest magnetic field range identified for any reentrant superconductor, beyond 65 T. These extreme properties reflect a new kind of exotic superconductivity rooted in magnetic fluctuations and boosted by a quantum dimensional crossover.


title: Exact solution of two fluid plasma equations for the creation of jet-like flows and seed magnetic fields in cylindrical geometry

abstract: An exact solution of two fluid ideal classical plasma equations is presented which shows that the jet-like outflow and magnetic field are generated simultaneously by the density and temperature gradients of both electrons and ions. Particular profiles of density function $\psi=\ln \bar{n}$ (where $\bar{n}$ is normalized by some constant density $N_0$) and temperatures $T_j$ (for $j=e,i)$ are chosen which reduce the set of nonlinear partial differential equations to two simple linear equations generating longitudinally uniform axial outflow and magnetic field in cylindrical geometry in several astrophysical objects. This mechanism also seems to be operative for producing short scale plasma jets in the solar atmosphere in the form of spicules and flares. The presented solution requires particular profiles of density and temperatures, but it is a natural solution of the two fluid ideal classical plasma equations. Similar jet-like outflows can be generated by the density and temperature gradients in neutral fluids as well.


title: Elastic Anisotropy Governs the Decay of Cell-induced Displacements

abstract: The unique nonlinear mechanics of the fibrous extracellular matrix (ECM) facilitates long-range cell-cell mechanical communications that would be impossible on linear elastic substrates. Past research has described the contribution of two separated effects on the range of force transmission, including ECM elastic non-linearity and fiber alignment. However, the relation between these different effects is unclear, and how they combine to dictate force transmission range is still elusive. Here, we combine discrete fiber simulations with continuum modeling to study the decay of displacements induced by a contractile cell in fibrous networks. We demonstrate that fiber non-linearity and fiber reorientation both contribute to the strain-induced anisotropy of the elastic moduli of the cell local environment. This elastic anisotropy is a parameter that governs the slow decay of the displacements, and it depends on the magnitude of applied strain, either an external tension or an internal contraction as a model of the cell. Furthermore, we show that accounting for artificially-prescribed elastic anisotropy dictates the displacement decay induced by a contracting cell. Our findings unify previous single effects into a mechanical theory that explains force transmission in fibrous networks. This work provides important insights into biological processes that involve the coordinated action of distant cells mediated by the ECM, such that occur in morphogenesis, wound healing, angiogenesis, and cancer metastasis. It may also provide design parameters for biomaterials to control force transmission between cells, as a way to guide morphogenesis in tissue engineering.


title: On the Computation and Communication Complexity of Parallel SGD with Dynamic Batch Sizes for Stochastic Non-Convex Optimization

abstract: For SGD based distributed stochastic optimization, computation complexity, measured by the convergence rate in terms of the number of stochastic gradient calls, and communication complexity, measured by the number of inter-node communication rounds, are two most important performance metrics. The classical data-parallel implementation of SGD over $N$ workers can achieve linear speedup of its convergence rate but incurs an inter-node communication round at each batch. We study the benefit of using dynamically increasing batch sizes in parallel SGD for stochastic non-convex optimization by charactering the attained convergence rate and the required number of communication rounds. We show that for stochastic non-convex optimization under the P-L condition, the classical data-parallel SGD with exponentially increasing batch sizes can achieve the fastest known $O(1/(NT))$ convergence with linear speedup using only $\log(T)$ communication rounds. For general stochastic non-convex optimization, we propose a Catalyst-like algorithm to achieve the fastest known $O(1/\sqrt{NT})$ convergence with only $O(\sqrt{NT}\log(\frac{T}{N}))$ communication rounds.


title: Finite time stability for the Riemann problem with extremal shocks for a large class of hyperbolic systems

abstract: In this paper on hyperbolic systems of conservation laws in one space dimension, we give a complete picture of stability for all solutions to the Riemann problem which contain only extremal shocks. We study stability of the Riemann problem amongst a large class of solutions. We show stability among the family of solutions with shocks from any family. We assume solutions verify at least one entropy condition. We have no small data assumptions. The solutions we consider are bounded and satisfy a strong trace condition weaker than $BV_{\text{loc}}$. We make only mild assumptions on the system. In particular, our work applies to gas dynamics, including the isentropic Euler system and the full Euler system for a polytropic gas. We use the theory of a-contraction (see Kang and Vasseur [Arch. Ration. Mech. Anal., 222(1):343--391, 2016]), and introduce new ideas in this direction to allow for two shocks from different shock families to be controlled simultaneously. This paper shows $L^2$ stability for the Riemann problem for all time. Our results compare to Chen, Frid, and Li [Comm. Math. Phys., 228(2):201--217, 2002] and Chen and Li [J. Differential Equations, 202(2):332--353, 2004], which give uniqueness and long-time stability for perturbations of the Riemann problem -- amongst a large class of solutions without smallness assumptions and which are locally $BV$. Although, these results lack global $L^2$ stability.


title: Multiclass Language Identification using Deep Learning on Spectral Images of Audio Signals

abstract: The first step in any voice recognition software is to determine what language a speaker is using, and ideally this process would be automated. The technique described in this paper, language identification for audio spectrograms (LIFAS), uses spectrograms generated from audio signals as inputs to a convolutional neural network (CNN) to be used for language identification. LIFAS requires minimal pre-processing on the audio signals as the spectrograms are generated during each batch as they are input to the network during training. LIFAS utilizes deep learning tools that are shown to be successful on image processing tasks and applies it to audio signal classification. LIFAS performs binary language classification with an accuracy of 97\%, and multi-class classification with six languages at an accuracy of 89\% on 3.75 second audio clips.


title: Subpacketization-Rate Trade-off in Multi-Antenna Coded Caching

abstract: Coded caching can be applied in wireless multi-antenna communications by multicast beamforming coded data chunks to carefully selected user groups and using the existing file fragments in user caches to decode the desired files at each user. However, the number of packets a file should be split into, known as subpacketization, grows exponentially with the network size. We provide a new scheme, which enables the level of subpacketization to be selected freely among a set of predefined values depending on basic network parameters such as antenna and user count. A simple efficiency index is also proposed as a performance indicator at various subpacketization levels. The numerical examples demonstrate that larger subpacketization generally results in better efficiency index and higher symmetric rate, while smaller subpacketization incurs significant loss in the achievable rate. This enables more efficient caching schemes, tailored to the available computational and power resources.


title: Corrigendum to: Oscillatory motions in restricted $N$-body problems [J. Differential Equations 265 (2018) 779-803]

abstract: We consider the planar restricted $N$-body problem where the $N-1$ primaries are assumed to be in a central configuration whereas the infinitesimal particle escapes to infinity in a parabolic orbit. We prove the existence of transversal intersections between the stable and unstable manifolds of the parabolic orbits at infinity which guarantee the existence of a Smale's horseshoe. This implies the occurrence of chaotic motions but also of oscillatory motions, that is, orbits for which the massless particle leaves every bounded region but it returns infinitely often to some fixed bounded region. Our achievement is based in an adequate scaling of the variables which allows us to write the Hamiltonian function as the Hamiltonian of the Kepler problem multiplied by a small quantity plus higher-order terms that depend on the chosen configuration. We compute the Melnikov function related to the first two non-null perturbative terms and characterize the cases where it has simple zeroes. Concretely, for some combinations of the configuration parameters, i.e. mass values and positions of the primaries, the Melnikov function vanishes, otherwise it has simple zeroes and the transversality condition is satisfied. The theory is illustrated for various cases of restricted $N$-body problems, including the circular restricted three-body problem. No restrictions on the mass parameters are assumed.


title: Solving Irregular and Data-enriched Differential Equations using Deep Neural Networks

abstract: Recent work has introduced a simple numerical method for solving partial differential equations (PDEs) with deep neural networks (DNNs). This paper reviews and extends the method while applying it to analyze one of the most fundamental features in numerical PDEs and nonlinear analysis: irregular solutions. First, the Sod shock tube solution to compressible Euler equations is discussed, analyzed, and then compared to conventional finite element and finite volume methods. These methods are extended to consider performance improvements and simultaneous parameter space exploration. Next, a shock solution to compressible magnetohydrodynamics (MHD) is solved for, and used in a scenario where experimental data is utilized to enhance a PDE system that is \emph{a priori} insufficient to validate against the observed/experimental data. This is accomplished by enriching the model PDE system with source terms and using supervised training on synthetic experimental data. The resulting DNN framework for PDEs seems to demonstrate almost fantastical ease of system prototyping, natural integration of large data sets (be they synthetic or experimental), all while simultaneously enabling single-pass exploration of the entire parameter space.

categories: cs.LG cs.NA physics.comp-ph physics.data-an stat.ML


title: Optimal local well-posedness for the periodic derivative nonlinear Schrodinger equation

abstract: We prove local well-posedness for the periodic derivative nonlinear Schrodinger's equation, which is L^2 critical, in Fourier-Lebesgue spaces which scale like H^s(T) for s>0. In particular we close the existing gap in the subcritical theory by improving the result of Grunrock and Herr [25], which established local well-posedness in Fourier-Lebesgue spaces which scale like H^s(T) for s>1 . We achieve this result by a delicate analysis of the structure of the solution and the construction of an adapted nonlinear submanifold of a suitable function space. Together these allow us to construct the unique solution to the given subcritical data. This constructive procedure is inspired by the theory of para-controlled distributions developed by Gubinelli-Imkeller-Perkowski [26] and Cantellier-Chouk [10] in the context of stochastic PDE. Our proof and results however, are purely deterministic.


title: Forecasting the Ambient Solar Wind with Numerical Models: I. On the Implementation of an Operational Framework

abstract: The ambient solar wind conditions in interplanetary space and in the near-Earth environment are determined by activity on the Sun. Steady solar wind streams modulate the propagation behaviour of interplanetary coronal mass ejections and are themselves an important driver of recurrent geomagnetic storm activity. The knowledge of the ambient solar wind flows and fields is thus an essential component of successful space weather forecasting. Here, we present an implementation of an operational framework for operating, validating and optimizing models of the ambient solar wind flow on the example of Carrington Rotation 2077. We reconstruct the global topology of the coronal magnetic field using the potential field source surface model (PFSS) and the Schatten current sheet model (SCS), and discuss three empirical relationships for specifying the solar wind conditions near the Sun, namely the Wang-Sheeley (WS) model, the distance from the coronal hole boundary (DCHB) model, and the Wang-Sheeley-Arge (WSA) model. By adding uncertainty in the latitude about the sub-Earth point, we select an ensemble of initial conditions and map the solutions to Earth by the Heliospheric Upwind eXtrapolation (HUX) model. We assess the forecasting performance from a continuous variable validation, and find that the WSA model most accurately predicts the solar wind speed time series. We note that the process of ensemble forecasting slightly improves the forecasting performance of all solar wind models investigated. We conclude that the implemented framework is well suited for studying the relationship between coronal magnetic fields and the properties of the ambient solar wind flow in the near-Earth environment.


title: FastDraw: Addressing the Long Tail of Lane Detection by Adapting a Sequential Prediction Network

abstract: The search for predictive models that generalize to the long tail of sensor inputs is the central difficulty when developing data-driven models for autonomous vehicles. In this paper, we use lane detection to study modeling and training techniques that yield better performance on real world test drives. On the modeling side, we introduce a novel fully convolutional model of lane detection that learns to decode lane structures instead of delegating structure inference to post-processing. In contrast to previous works, our convolutional decoder is able to represent an arbitrary number of lanes per image, preserves the polyline representation of lanes without reducing lanes to polynomials, and draws lanes iteratively without requiring the computational and temporal complexity of recurrent neural networks. Because our model includes an estimate of the joint distribution of neighboring pixels belonging to the same lane, our formulation includes a natural and computationally cheap definition of uncertainty. On the training side, we demonstrate a simple yet effective approach to adapt the model to new environments using unsupervised style transfer. By training FastDraw to make predictions of lane structure that are invariant to low-level stylistic differences between images, we achieve strong performance at test time in weather and lighting conditions that deviate substantially from those of the annotated datasets that are publicly available. We quantitatively evaluate our approach on the CVPR 2017 Tusimple lane marking challenge, difficult CULane datasets, and a small labeled dataset of our own and achieve competitive accuracy while running at 90 FPS.


title: Type II critical behavior of gravitating magnetic monopoles

abstract: I study type II critical collapse in the spherically symmetric gravitating magnetic monopole system. This is an Einstein-Yang-Mills-Higgs system with two matter fields: a field parametrizing the scalar field gauged under SU(2) and a field parametrizing the gauge field. This system offers interesting differences compared to what is commonly found for type II collapse in other systems. For example, instead of the critical solution sitting between collapse and complete dispersal of the matter fields, on the non-black hole side of the critical solution, the matter fields settle down to a static and stable configuration. More interesting, however, is that I find strong evidence for the existence of two critical solutions, each with their own set of scaling and echoing exponents, which I determine numerically.


title: Implementations of efficient univariate polynomial matrix algorithms and application to bivariate resultants

abstract: Complexity bounds for many problems on matrices with univariate polynomial entries have been improved in the last few years. Still, for most related algorithms, efficient implementations are not available, which leaves open the question of the practical impact of these algorithms, e.g. on applications such as decoding some error-correcting codes and solving polynomial systems or structured linear systems. In this paper, we discuss implementation aspects for most fundamental operations: multiplication, truncated inversion, approximants, interpolants, kernels, linear system solving, determinant, and basis reduction. We focus on prime fields with a word-size modulus, relying on Shoup's C++ library NTL. Combining these new tools to implement variants of Villard's algorithm for the resultant of generic bivariate polynomials (ISSAC 2018), we get better performance than the state of the art for large parameters.


title: Congenital anomalies from a physics perspective. The key role of "manufacturing" volatility

abstract: Genetic and environmental factors are traditionally seen as the sole causes of congenital anomalies. In this paper we introduce a third possible cause, namely random "manufacturing" discrepancies with respect to ``design'' values. A clear way to demonstrate the existence of this component is to ``shut'' the two others and to see whether or not there is remaining variability. Perfect clones raised under well controlled laboratory conditions fulfill the conditions for such a test. Carried out for four different species, the test reveals a variability remainder of the order of 10%-20% in terms of coefficient of variation. As an example, the CV of the volume of E.coli bacteria immediately after binary fission is of the order of 10%. In short, ``manufacturing'' discrepancies occur randomly, even when no harmful mutation or environmental factors are involved. Not surprisingly, there is a strong connection between congenital defects and infant mortality. In the wake of birth there is a gradual elimination of defective units and this screening accounts for the post-natal fall of infant mortality. Apart from this trend, post-natal death rates also have humps and peaks associated with various inabilities and defects.\qL In short, infant mortality rates convert the case-by-case and mostly qualitative problem of congenital malformations into a global quantitative effect which, so to say, summarizes and registers what goes wrong in the embryonic phase. Based on the natural assumption that for simple organisms (e.g. rotifers) the manufacturing processes are shorter than for more complex organisms (e.g. mammals), fewer congenital anomalies are expected. Somehow, this feature should be visible on the infant mortality rate. How this conjecture can be tested is outlined in our conclusion.


title: Three-Dimensional Microscopy by Milling with Ultraviolet Excitation

abstract: Analysis of three-dimensional biological samples is critical to understanding tissue function and the mechanisms of disease. Many chronic conditions, like neurodegenerative diseases and cancers, correlate with complex tissue changes that are difficult to explore using two-dimensional histology. While three-dimensional techniques such as confocal and light-sheet microscopy are well-established, they are time consuming, require expensive instrumentation, and are limited to small tissue volumes. Three-dimensional microscopy is therefore impractical in clinical settings and often limited to core facilities at major research institutions. There would be a tremendous benefit to providing clinicians and researchers with the ability to routinely image large three-dimensional tissue volumes at cellular resolution. In this paper, we propose an imaging methodology that enables fast and inexpensive three-dimensional imaging that can be readily integrated into current histology pipelines. This method relies on block-face imaging of paraffin-embedded samples using deep-ultraviolet excitation. The imaged surface is then ablated to reveal the next tissue section for imaging. The final image stack is then aligned and reconstructed to provide tissue models that exceed the depth and resolution achievable with modern three-dimensional imaging systems.


title: The Swift/UVOT Stars Survey. III. Photometry and Color-Magnitude Diagrams of 103 Galactic Open Clusters

abstract: As part of the Swift/UVOT Stars Survey, we present near-ultraviolet point-source photometry for 103 Galactic open clusters. These data, taken over the span of the mission, provide a unique and unprecedented set of near-ultraviolet point-source photometry on simple stellar populations. After applying membership analysis fueled mostly by GAIA DR2 proper motions, we find that 49 of these 103 have clear precise CMDs amenable to investigation. We compare the CMDs to theoretical isochrones and find good agreement between the theoretical isochrones and the CMDs. The exceptions are the fainter parts of the main sequence and the red giant branch in the uvw2-uvw1 CMDs, which is most likely due either to the difficulty of correcting for the red leak in the uvw2 filter or limitations in our understanding of UV opacities for cool stars. For the most part, our derived cluster parameters -- age, distance and reddening -- agree with the consensus literature but we find a few clusters that warrant substantial revision from literature values, notably NGC~2304, NGC~2343, NGC~2360, NGC~2396, NGC~2428, NGC~2509, NGC~2533, NGC~2571, NGC~2818, Collinder~220 and NGC~6939. A number of clusters also show white dwarf and blue straggler sequences. We confirm the presence of extended main sequence turnoffs in NGC~2360 and NGC~2818 and show hints of it in a number of other clusters which may warrant future spectroscopic study. Most of the clusters in the study have low extinction and the rest are well fit by a "Milky-Way-like" extinction law. However, Collinder~220 hints at a possible "LMC-like" extinction law. We finally provide a comprehensive point-source catalog to the community as a tool for future investigation.


title: Kesten-McKay law for random subensembles of Paley equiangular tight frames

abstract: We apply the method of moments to prove a recent conjecture of Haikin, Zamir and Gavish (2017) concerning the distribution of the singular values of random subensembles of Paley equiangular tight frames. Our analysis applies more generally to real equiangular tight frames of redundancy 2, and we suspect similar ideas will eventually produce more general results for arbitrary choices of redundancy.


title: An Auxiliary-Field Quantum Monte Carlo Perspective on the Ground State of the Dense Uniform Electron Gas: An Investigation with Hartree-Fock Trial Wavefunctions

abstract: We assess the utility of Hartree-Fock (HF) trial wavefunctions in performing phaseless auxiliary-field quantum Monte Carlo (ph-AFQMC) on the uniform electron gas (UEG) model. The combination of ph-AFQMC with spin-restricted HF (RHF+ph-AFQMC), was found to be highly accurate and efficient for systems containing up to 114 electrons in 2109 orbitals, particularly for $r_s$ $\le$ 2.0. Compared to spin-restricted coupled-cluster (RCC) methods, we found that RHF+ph-AFQMC performs better than CC with singles, doubles, and triples (RCCSDT) and similarly to or slightly worse than CC with singles, doubles, triples, and quadruples (RCCSDTQ) for $r_s$ $\le$ 3.0 in the 14-electron UEG model. With the 54-electron, we found RHF+ph-AFQMC to be nearly exact for $r_s$ $\le$ 2.0 and pointed out potential biases in existing benchmarks. Encouraged by these, we performed RHF+ph-AFQMC on the 114-electron UEG model for $r_s$ $\le$ 2.0 and provided new benchmark data for future method development. We found that the UEG models with $r_s$ = 5.0 remain to be challenging for RHF+ph-AFQMC. Employing non-orthogonal configuration expansions or unrestricted HF states as trial wavefunctions was also found to be ineffective in the case of the 14-electron UEG model with $r_s$ = 5.0. We emphasize the need for a better trial wavefunction for ph-AFQMC in simulating strongly correlated systems. With the 54-electron and 114-electron UEG models, we stress the potential utility of RHF+ph-AFQMC for simulating dense solids.


title: Channels, Remote Estimation and Queueing Systems With A Utilization-Dependent Component: A Unifying Survey Of Recent Results

abstract: In this article, we survey the main models, techniques, concepts, and results centered on the design and performance evaluation of engineered systems that rely on a utilization-dependent component (UDC) whose operation may depend on its usage history or assigned workload. Specifically, we report on research themes concentrating on the characterization of the capacity of channels and the design with performance guarantees of remote estimation and queueing systems. Causes for the dependency of a UDC on past utilization include the use of replenishable energy sources to power the transmission of information among the sub-components of a networked system, and the assistance of a human operator for servicing a queue. Our analysis unveils the similarity of the UDC models typically adopted in each of the research themes, and it reveals the differences in the objectives and technical approaches employed. We also identify new challenges and future research directions inspired by the cross-pollination among the central concepts, techniques, and problem formulations of the research themes discussed.


title: Active embedding search via noisy paired comparisons

abstract: Suppose that we wish to estimate a user's preference vector $w$ from paired comparisons of the form "does user $w$ prefer item $p$ or item $q$?," where both the user and items are embedded in a low-dimensional Euclidean space with distances that reflect user and item similarities. Such observations arise in numerous settings, including psychometrics and psychology experiments, search tasks, advertising, and recommender systems. In such tasks, queries can be extremely costly and subject to varying levels of response noise; thus, we aim to actively choose pairs that are most informative given the results of previous comparisons. We provide new theoretical insights into the benefits and challenges of greedy information maximization in this setting, and develop two novel strategies that maximize lower bounds on information gain and are simpler to analyze and compute respectively. We use simulated responses from a real-world dataset to validate our strategies through their similar performance to greedy information maximization, and their superior preference estimation over state-of-the-art selection methods as well as random queries.


title: Ax-Schanuel for $GL_n$

abstract: In this paper we prove an Ax-Schanuel type result for the exponential functions for general linear groups over $\mathbb{C}$. We prove the result first for the group of upper triangular matrices and then for the group $GL_n$ of all $n\times n$ invertible matrices over $\mathbb{C}$. We also obtain Ax-Lindemann type results for these maps as a corollary, characterizing the bi-algebraic subsets of these maps.


title: Hyperparameter Estimation in Bayesian MAP Estimation: Parameterizations and Consistency

abstract: The Bayesian formulation of inverse problems is attractive for three primary reasons: it provides a clear modelling framework; means for uncertainty quantification; and it allows for principled learning of hyperparameters. The posterior distribution may be explored by sampling methods, but for many problems it is computationally infeasible to do so. In this situation maximum a posteriori (MAP) estimators are often sought. Whilst these are relatively cheap to compute, and have an attractive variational formulation, a key drawback is their lack of invariance under change of parameterization. This is a particularly significant issue when hierarchical priors are employed to learn hyperparameters. In this paper we study the effect of the choice of parameterization on MAP estimators when a conditionally Gaussian hierarchical prior distribution is employed. Specifically we consider the centred parameterization, the natural parameterization in which the unknown state is solved for directly, and the noncentred parameterization, which works with a whitened Gaussian as the unknown state variable, and arises when considering dimension-robust MCMC algorithms; MAP estimation is well-defined in the nonparametric setting only for the noncentred parameterization. However, we show that MAP estimates based on the noncentred parameterization are not consistent as estimators of hyperparameters; conversely, we show that limits of finite-dimensional centred MAP estimators are consistent as the dimension tends to infinity. We also consider empirical Bayesian hyperparameter estimation, show consistency of these estimates, and demonstrate that they are more robust with respect to noise than centred MAP estimates. An underpinning concept throughout is that hyperparameters may only be recovered up to measure equivalence, a well-known phenomenon in the context of the Ornstein-Uhlenbeck process.


title: A true concurrent model of smart contracts executions

abstract: The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state of smart contracts is collaboratively maintained by a peer-to-peer network of mutually untrusted nodes, which collect from users a set of transactions (representing the required actions on contracts), and execute them in some order. Once this sequence of transactions is appended to the blockchain, the other nodes validate it, re-executing the transactions in the same order. The serial execution of transactions does not take advantage of the multi-core architecture of modern processors, so contributing to limit the throughput. In this paper we propose a true concurrent model of smart contract execution. Based on this, we show how static analysis of smart contracts can be exploited to parallelize the execution of transactions.


title: Emergence of Subcritical Bifurcations in a System of Randomly Coupled Supercritical Andronov-Hopf Oscillators: A Potential Mechanism for Neural Network Type Switching

abstract: Experimental evidence suggests that the computational state of cortical systems change according to behavioral and stimulus context. However, it is still unknown what mechanisms underlie this adaptive processing in cortical circuitry. In this paper, we present a model of randomly coupled supercritical Andronov-Hopf oscillators which can act as an adaptive processor by exhibiting drastically different dynamics depending on the value of a single network parameter. Despite being only composed of supercritical subunits, the full system can exhibit either supercritical or subcritical Andronov-Hopf bifurcations. This model might provide a novel mechanism for switching between globally asymptotically stable and nonhyperbolic neural network types in pattern recognition theory.


title: Digital Passport: A Novel Technological Strategy for Intellectual Property Protection of Convolutional Neural Networks

abstract: In order to prevent deep neural networks from being infringed by unauthorized parties, we propose a generic solution which embeds a designated digital passport into a network, and subsequently, either paralyzes the network functionalities for unauthorized usages or maintain its functionalities in the presence of a verified passport. Such a desired network behavior is successfully demonstrated in a number of implementation schemes, which provide reliable, preventive and timely protections against tens of thousands of fake-passport deceptions. Extensive experiments also show that the deep neural network performance under unauthorized usages deteriorate significantly (e.g. with 33% to 82% reductions of CIFAR10 classification accuracies), while networks endorsed with valid passports remain intact.


title: Asymptotics for the number of Simple $(4a+1)$-Knots of Genus 1

abstract: We investigate the asymptotics of the total number of simple $4a+1$-knots with Alexander polynomial of the form $mt^2 +(1-2m) t + m$ for some $m \in [-X, X]$. Using Kearton and Levine's classification of simple knots, we give equivalent algebraic and arithmetic formulations of this counting question. In particular, this count is the same as the total number of $\mathbb{Z}[1/m]$-equivalence classes of binary quadratic forms of discriminant $1-4m$, for $m$ running through the same range. Our heuristics, based on the Cohen-Lenstra heuristics, suggest that this total is asymptotic to $X^{3/2}/\log X$, and the largest contribution comes from the values of $m$ that are positive primes. Using sieve methods, we prove that the contribution to the total coming from $m$ prime is bounded above by $O(X^{3/2}/\log X)$, and that the total itself is $o(X^{3/2})$.


title: A Three-state Opinion Formation Model for Financial Markets

abstract: We propose a three-state microscopic opinion formation model for the purpose of simulating the dynamics of financial markets. In order to mimic the heterogeneous composition of the mass of investors in a market, the agent-based model considers two different types of traders: noise traders and contrarians. Agents are represented as nodes in a network of interactions and they can assume any of three distinct possible states (e.g. buy, sell or remain inactive). The time evolution of the state of an agent is dictated by probabilistic dynamics that include both local and global influences. A noise trader is subject to local interactions, tending to assume the majority state of its nearest neighbors, whilst a contrarian is subject to a global interaction with the behavior of the market as a whole, tending to assume the state of the global minority of the market. The model exhibits the typical qualitative and quantitative features of real financial time series, including distributions of returns with heavy tails, volatility clustering and long-time memory for the absolute values of the returns. The distributions of returns are fitted by means of coupled Gaussian distributions, quantitatively revealing transitions between leptokurtic, mesokurtic and platykurtic regimes in terms of a non-linear statistical coupling which describes the complexity of the system.


title: A self referencing attosecond interferometer with zeptosecond precision

abstract: In this work we demonstrate the generation of two intense, ultrafast laser pulses that allow a controlled interferometric measurement of higher harmonic generation pulses with 12.8 attoseconds in resolution (half the atomic unit of time) and a precision as low as 680 zeptoseconds ($10^{-21}$ seconds). We create two replicas of a driving femtosecond pulse which share the same optical path except at the focus where they converge to two foci. An attosecond pulse train emerges from each focus through the process of HHG. The two attosecond pulse trains from each focus interfere in the far field producing a clear interference pattern in the XUV region. By controlling the relative optical phase between the two driving laser pulses we are able to actively influence the delay between the pulses and are able to perform very stable and precise pump-probe experiments. Because of the phase operation occurs across the entire spatial profile we effectively create two indistinguishable intense laser pulses or a common path interferometer for attosecond pulses. Commonality across the two beams means that they are extremely stable to environmental and mechanical fluctuations up to a Rayleigh range from the focus. In our opinion this represents an ideal source for homodyne and heterodyne spectroscopic measurements with sub-attosecond precision.


title: Is Gravity Actually the Curvature of Spacetime?

abstract: The Einstein equations, apart from being the classical field equations of General Relativity, are also the classical field equations of two other theories of gravity. As the experimental tests of General Relativity are done using the Einstein equations, we do not really know, if gravity is the curvature of a torsionless spacetime, or torsion of a curvatureless spacetime, or if it occurs due to the non-metricity of a curvatureless and torsionless spacetime. However, as the classical actions of all these theories differ from each other by boundary terms, and the Casimir effect is a boundary effect, we propose that a novel gravitational Casimir effect between superconductors can be used to test which of these theories actually describe gravity.


title: A New Quenched $XY$ model with Nonusual "Exotic" Interactions

abstract: Human beings live in a networked world in which information spreads very fast thanks to the advances in technology. In the decision processes or opinion formation there are different ideas of what is collectively good but they tend to go against the self interest of a large amount of agents. Here we show that the associated stochastic operator ($\mathfrak{\widehat{W^\aleph}}_{\rho,\Delta,r}$) proposed in [43] for describe phenomena, does not belong to a CP (Contact Processes) universality class [35]. However, its mathematical structure corresponds to a new Exotic quantum XY model, but unprecedently, their parameters is a "function" of the interaction between the local sities $(i-1,i,i+1)$, and with the impurity present at the same site $i$.


title: Fast and Robust Distributed Learning in High Dimension

abstract: Could a gradient aggregation rule (GAR) for distributed machine learning be both robust and fast? This paper answers by the affirmative through multi-Bulyan. Given $n$ workers, $f$ of which are arbitrary malicious (Byzantine) and $m=n-f$ are not, we prove that multi-Bulyan can ensure a strong form of Byzantine resilience, as well as an ${\frac{m}{n}}$ slowdown, compared to averaging, the fastest (but non Byzantine resilient) rule for distributed machine learning. When $m \approx n$ (almost all workers are correct), multi-Bulyan reaches the speed of averaging. We also prove that multi-Bulyan's cost in local computation is $O(d)$ (like averaging), an important feature for ML where $d$ commonly reaches $10^9$, while robust alternatives have at least quadratic cost in $d$. Our theoretical findings are complemented with an experimental evaluation which, in addition to supporting the linear $O(d)$ complexity argument, conveys the fact that multi-Bulyan's parallelisability further adds to its efficiency.


title: Tropical diagrams of probability spaces

abstract: After endowing the space of diagrams of probability spaces with an entropy distance, we study its large-scale geometry by identifying the asymptotic cone as a closed convex cone in a Banach space. We call this cone the tropical cone, and its elements tropical diagrams of probability spaces. Given that the tropical cone has a rich structure, while tropical diagrams are rather flexible objects, we expect the theory of tropical diagrams to be useful for information optimization problems in information theory and artificial intelligence. In a companion article, we give a first application to derive a statement about the entropic cone.


title: Enabling Practical Processing in and near Memory for Data-Intensive Computing

abstract: Modern computing systems suffer from the dichotomy between computation on one side, which is performed only in the processor (and accelerators), and data storage/movement on the other, which all other parts of the system are dedicated to. Due to this dichotomy, data moves a lot in order for the system to perform computation on it. Unfortunately, data movement is extremely expensive in terms of energy and latency, much more so than computation. As a result, a large fraction of system energy is spent and performance is lost solely on moving data in a modern computing system. In this work, we re-examine the idea of reducing data movement by performing Processing in Memory (PIM). PIM places computation mechanisms in or near where the data is stored (i.e., inside the memory chips, in the logic layer of 3D-stacked logic and DRAM, or in the memory controllers), so that data movement between the computation units and memory is reduced or eliminated. While the idea of PIM is not new, we examine two new approaches to enabling PIM: 1) exploiting analog properties of DRAM to perform massively-parallel operations in memory, and 2) exploiting 3D-stacked memory technology design to provide high bandwidth to in-memory logic. We conclude by discussing work on solving key challenges to the practical adoption of PIM.


title: Crystal structure of the unconventional spin-triplet superconductor UTe2 at low temperature by single crystal neutron diffraction

abstract: The crystal structure of the new superconductor UTe2 has been investigated for the first time at low temperature (LT) of 2.7 K, just closely above the superconducting transition temperature of about 1.7 K by single crystal neutron diffraction, in order to prove, whether the orthorhombic structure of type Immm (Nr. 71 Int. Tabl.) reported for room temperature (RT) persists down to the superconducting phase and can be considered as a parent symmetry for the development of spin triplet superconductivity. Our results show that the RT structure reported previously obtained by single crystal X-Ray diffraction indeed describes also the LT neutron diffraction data with high precision. No structural change from RT down to 2.7 K is observed. Detailed structural parameters for UTe2 at LT are reported.


title: Large-Scale Mixing in a Violent Oxygen-Neon Shell Merger Prior to a Core-Collapse Supernova

abstract: We present a seven-minute long $4\pi$-3D simulation of a shell merger event in a non-rotating $18.88\, M_\odot$ supernova progenitor before the onset of gravitational collapse. The key motivation is to capture the large-scale mixing and asymmetries in the wake of the shell merger before collapse using a self-consistent approach. The $4\pi$ geometry is crucial as it allows us to follow the growth and evolution of convective modes on the largest possible scales. We find significant differences between the kinematic, thermodynamic and chemical evolution of the 3D and the 1D model. The 3D model shows vigorous convection leading to more efficient mixing of nuclear species. In the 3D case the entire oxygen shell attains convective Mach numbers of $\mathord{\approx}\, 0.1$, whereas in the 1D model, the convective velocities are much lower and there is negligible overshooting across convective boundaries. In the 3D case, the convective eddies entrain nuclear species from the neon (and carbon) layers into the deeper part of the oxygen burning shell, where they burn and power a violent convection phase with outflows. This is a prototypical model of a convective-reactive system. Due to the strong convection and the resulting efficient mixing, the interface between the neon layer and the silicon-enriched oxygen layer disappears during the evolution, and silicon is mixed far out into merged oxygen/neon shell. Neon entrained inwards by convective downdrafts burns, resulting in lower neon mass in the 3D model compared to the 1D model at time of collapse. In addition, the 3D model develops remarkable large-scale, large-amplitude asymmetries, which may have important implications for the impending gravitational collapse and the subsequent explosion.


title: Hubbard pair cluster with elastic interactions. Studies of thermal expansion, magnetostriction and electrostriction

abstract: The pair cluster (dimer) is studied within the framework of the extended Hubbard model and the grand canonical ensemble. The elastic interatomic interactions and thermal vibrational energy of the atoms are taken into account. The total grand potential is constructed, from which the equation of state is derived. In equilibrium state, the deformation of cluster size, as well as its derivatives, are studied as a function of the temperature and the external magnetic and electric fields. In particular, the thermal expansion, magnetostriction and electrostriction effects are examined for arbitrary temperature, in a wide range of Hamiltonian parameters.


title: SA-Net: Deep Neural Network for Robot Trajectory Recognition from RGB-D Streams

abstract: Learning from demonstration (LfD) and imitation learning offer new paradigms for transferring task behavior to robots. A class of methods that enable such online learning require the robot to observe the task being performed and decompose the sensed streaming data into sequences of state-action pairs, which are then input to the methods. Thus, recognizing the state-action pairs correctly and quickly in sensed data is a crucial prerequisite for these methods. We present SA-Net a deep neural network architecture that recognizes state-action pairs from RGB-D data streams. SA-Net performed well in two diverse robotic applications of LfD -- one involving mobile ground robots and another involving a robotic manipulator -- which demonstrates that the architecture generalizes well to differing contexts. Comprehensive evaluations including deployment on a physical robot show that \sanet{} significantly improves on the accuracy of the previous method that utilizes traditional image processing and segmentation.


title: True SYK or (con)sequences

abstract: Some generalizations of the Sachdev-Ye-Kitaev (SYK) model and different patterns of their reparametrization symmetry breaking are discussed. The analysis of such (pseudo)holographic systems relates their generalized one-dimensional Schwarzian dynamics to (quasi) two-dimensional Liouvillian quantum mechanics. As compared to the original SYK case, the latter might be dissipative or have discrete states in its spectrum, either of which properties alters thermodynamics and correlations while preserving the underlying $SL(2,R)$ symmetry.


title: Resource allocation in communication networks with large number of users: the stochastic gradient descent method

abstract: We consider a communication network with fixed number of links, shared by large number of users. The resource allocation is performed on the basis of an aggregate utility maximization in accordance with the popular approach, proposed by Kelly and coauthors (1998). The problem is to construct a pricing mechanism for transmission rates to stimulate an optimal allocation of the available resources. In contrast to the usual approach, the proposed algorithm does not use the information on the aggregate traffic over each link. Its inputs are the total number $N$ of users, the link capacities and optimal myopic reactions of randomly selected users to the current prices. The dynamic pricing scheme is based on the dual projected stochastic gradient descent method. For a special class of utility functions $u_i$ we obtain upper bounds for the amount of constraint violation and the deviation of the objective function from the optimal value. These estimates are uniform in $N$ and are of order $O(T^{-1/4})$ in the number $T$ of reaction measurements. We present some computer experiments for quadratic utility functions $u_i$.


title: Persistent homology of the sum metric

abstract: Given finite metric spaces $(X, d_X)$ and $(Y, d_Y)$, we investigate the persistent homology $PH_*(X \times Y)$ of the Cartesian product $X \times Y$ equipped with the sum metric $d_X + d_Y$. Interpreting persistent homology as a module over a polynomial ring, one might expect the usual K\"unneth short exact sequence to hold. We prove that it holds for $PH_0$ and $PH_1$, and we illustrate with the Hamming cube $\{0,1\}^k$ that it fails for $PH_n,\,\, n \geq 2$. For $n = 2$, the prediction for $PH_2(X \times Y)$ from the expected K\"unneth short exact sequence has a natural surjection onto $PH_2(X \times Y)$. We compute the nontrivial kernel of this surjection for the splitting of Hamming cubes $\{0,1\}^k = \{0,1\}^{k-1} \times \{0,1\}$. For all $n \geq 0$, the interleaving distance between the prediction for $PH_n(X \times Y)$ and the true persistent homology is bounded above by the minimum of the diameters of $X$ and $Y$. As preliminary results of independent interest, we establish an algebraic K\"unneth formula for simplicial modules over the ring $\kappa[\mathbb{R}_+]$ of polynomials with coefficients in a field $\kappa$ and exponents in $\mathbb{R}_+ = [0,\infty)$, as well as a K\"unneth formula for the persistent homology of $\mathbb{R}_+$-filtered simplicial sets -- both of these K\"unneth formulas hold in all homological dimensions $n \geq 0$.


title: Efficient video indexing for monitoring disease activity and progression in the upper gastrointestinal tract

abstract: Endoscopy is a routine imaging technique used for both diagnosis and minimally invasive surgical treatment. While the endoscopy video contains a wealth of information, tools to capture this information for the purpose of clinical reporting are rather poor. In date, endoscopists do not have any access to tools that enable them to browse the video data in an efficient and user friendly manner. Fast and reliable video retrieval methods could for example, allow them to review data from previous exams and therefore improve their ability to monitor disease progression. Deep learning provides new avenues of compressing and indexing video in an extremely efficient manner. In this study, we propose to use an autoencoder for efficient video compression and fast retrieval of video images. To boost the accuracy of video image retrieval and to address data variability like multi-modality and view-point changes, we propose the integration of a Siamese network. We demonstrate that our approach is competitive in retrieving images from 3 large scale videos of 3 different patients obtained against the query samples of their previous diagnosis. Quantitative validation shows that the combined approach yield an overall improvement of 5% and 8% over classical and variational autoencoders, respectively.


title: Ink removal from histopathology whole slide images by combining classification, detection and image generation models

abstract: Histopathology slides are routinely marked by pathologists using permanent ink markers that should not be removed as they form part of the medical record. Often tumour regions are marked up for the purpose of highlighting features or other downstream processing such an gene sequencing. Once digitised there is no established method for removing this information from the whole slide images limiting its usability in research and study. Removal of marker ink from these high-resolution whole slide images is non-trivial and complex problem as they contaminate different regions and in an inconsistent manner. We propose an efficient pipeline using convolution neural networks that results in ink-free images without compromising information and image resolution. Our pipeline includes a sequential classical convolution neural network for accurate classification of contaminated image tiles, a fast region detector and a domain adaptive cycle consistent adversarial generative model for restoration of foreground pixels. Both quantitative and qualitative results on four different whole slide images show that our approach yields visually coherent ink-free whole slide images.


title: Eigenvalues and eigenstates of the many-body collective neutrino oscillation problem

abstract: We demonstrate a method to systematically obtain eigenvalues and eigenstates of a many-body Hamiltonian describing collective neutrino oscillations. The method is derived from the Richardson-Gaudin framework, which involves casting the eigenproblem as a set of coupled nonlinear "Bethe Ansatz equations", the solutions of which can then be used to parametrize the eigenvalues and eigenvectors. The specific approach outlined in this paper consists of defining auxiliary variables that are related to the Bethe-Ansatz parameters, thereby transforming the Bethe-Ansatz equations into a different set of equations that are numerically better behaved and more tractable. We show that it is possible to express not only the eigenvalues, but also the eigenstates, directly in terms of these auxiliary variables without involving the Bethe Ansatz parameters themselves. In this paper, we limit ourselves to a two-flavor, single-angle neutrino system.


title: Magnetoplasmons for the $\alpha$-T$_3$ model with filled Landau levels

abstract: Using the $\alpha$-T$_3$ model, we carried out analytical and numerical calculations for the static and dynamic polarization functions in the presence of a perpendicular magnetic field. These results were employed to determine the longitudinal dielectric function and the magnetoplasmon dispersion relation. The magnetic field splits the continuous valence, conduction and flat energy subband into discrete Landau levels which present significant effects on the polarization function and magnetoplasmon dispersion. We present results for a doped layer in the integer quantum Hall regime for fixed hopping parameter $\alpha$ and various magnetic fields as well as chosen magnetic field and different $\alpha$ in the random phase approximation.


title: Multi-Pass Q-Networks for Deep Reinforcement Learning with Parameterised Action Spaces

abstract: Parameterised actions in reinforcement learning are composed of discrete actions with continuous action-parameters. This provides a framework for solving complex domains that require combining high-level actions with flexible control. The recent P-DQN algorithm extends deep Q-networks to learn over such action spaces. However, it treats all action-parameters as a single joint input to the Q-network, invalidating its theoretical foundations. We analyse the issues with this approach and propose a novel method, multi-pass deep Q-networks, or MP-DQN, to address them. We empirically demonstrate that MP-DQN significantly outperforms P-DQN and other previous algorithms in terms of data efficiency and converged policy performance on the Platform, Robot Soccer Goal, and Half Field Offense domains.


title: Statistical inference with anchored Bayesian mixture of regressions models: A case study analysis of allometric data

abstract: We present an illustrative study in which we use a mixture of regressions model to improve on an ill-fitting simple linear regression model relating log brain mass to log body mass for 100 placental mammalian species. The slope of the model is of particular scientific interest because it corresponds to a constant that governs a hypothesized allometric power law relating brain mass to body mass. We model these data using an anchored Bayesian mixture of regressions model, which modifies the standard Bayesian Gaussian mixture by pre-assigning small subsets of observations to given mixture components with probability one. These observations (called anchor points) break the relabeling invariance (or label-switching) typical of exchangeable models. In the article, we develop a strategy for selecting anchor points using tools from case influence diagnostics. We compare the performance of three anchoring methodson the allometric data and in simulated settings.


title: Metric formulation of the simple theory of 3d massive gravity

abstract: We have recently introduced a new and very simple action for three-dimensional massive gravity. This action is written in a first order formulation where the triad and the connection play a manifestly symmetric role, but where internal Lorentz gauge symmetry is broken. The absence of Lorentz invariance, which in this model is the mechanism underlying the propagation of a massive graviton, does however prevent from writing a purely metric non-linear action for the theory. Nonetheless, in this letter, we explain how to disentangle, at the non-linear level, the metric and non-metric degrees of freedom in the equations of motion. Focusing on the metric part, we show that it satisfies modified Einstein equations with higher derivative terms. As a particular case, these equations reproduce a well-studied model known as minimal massive gravity. In the general case, we obtain new metric field equations for massive gravity in three dimensions starting from the simple first order action. These field equations are consistent through a mechanism known as "third way consistency", which our theory therefore provides a new example of.


title: Energy-Aware Scheduling of Task Graphs with Imprecise Computations and End-to-End Deadlines

abstract: Imprecise computations provide an avenue for scheduling algorithms developed for energy-constrained computing devices by trading off output quality with the utilization of system resources. This work proposes a method for scheduling task graphs with potentially imprecise computations, with the goal of maximizing the quality of service subject to a hard deadline and an energy bound. Furthermore, for evaluating the efficacy of the proposed method, a mixed integer linear program formulation of the problem, which provides the optimal reference scheduling solutions, is also presented. The effect of potentially imprecise inputs of tasks on their output quality is taken into account in the proposed method. Both the proposed method and MILP formulation target multiprocessor platforms. Experiments are run on 10 randomly generated task graphs. Based on the obtained results, for some cases, a feasible schedule of a task graph can be achieved with the energy consumption less than 50% of the minimum energy required for scheduling all tasks in that task graph completely precisely.


title: Large-Scale Spectrum Occupancy Learning via Tensor Decomposition and LSTM Networks

abstract: A new paradigm for large-scale spectrum occupancy learning based on long short-term memory (LSTM) recurrent neural networks is proposed. Studies have shown that spectrum usage is a highly correlated time series. Moreover, there is a correlation for occupancy of spectrum between different frequency channels. Therefore, revealing all these correlations using learning and prediction of one-dimensional time series is not a trivial task. In this paper, we introduce a new framework for representing the spectrum measurements in a tensor format. Next, a time-series prediction method based on CANDECOMP/PARFAC (CP) tensor decomposition and LSTM recurrent neural networks is proposed. The proposed method is computationally efficient and is able to capture different types of correlation within the measured spectrum. Moreover, it is robust against noise and missing entries of sensed spectrum. The superiority of the proposed method is evaluated over a large-scale synthetic dataset in terms of prediction accuracy and computational efficiency.


title: Driven Liouville-von Neumann Equation for Quantum Transport and Multiple-Probe Green's Functions

abstract: The so called Driven Liouville-von Neumann equation is a dynamical formulation to simulate a voltage bias across a molecular system and to model a time-dependent current in a grand-canonical framework. This approach introduces a damping term in the equation of motion that drives the charge to a reference, out of equilibrium density. Originally proposed by Horsfield and co-workers, further work on this scheme has led to different coexisting versions of this equation. On the other hand, the multiple-probe scheme devised by Todorov and collaborators, known as the hairy-probes method, is a formal treatment based on Green's functions that allows to fix the electrochemical potentials in two regions of an open quantum system. In this article, the equations of motion of the hairy probes formalism are rewritten to show that, under certain conditions, they can assume the same algebraic structure as the Driven Liouville-von Neumann equation in the form proposed by Morzan et al. [J. Chem. Phys. 2017, 146, 044110]. In this way, a new formal ground is provided for the latter, identifying the origin of every term. The performance of the different methods are explored using tight-binding time-dependent simulations in three trial structures, designated as ballistic, disordered, and resonant models. In the context of first-principles Hamiltonians the Driven Liouville-von Neumann approach is of special interest, because it does not require the calculation of Green's functions. Hence, the effects of replacing the reference density based on the Green's function by one obtained from an applied field are investigated, to gain a deeper understanding of the limitations and the range of applicability of the Driven Liouville-von Neumann equation.


title: Enabling Explainable Fusion in Deep Learning with Fuzzy Integral Neural Networks

abstract: Information fusion is an essential part of numerous engineering systems and biological functions, e.g., human cognition. Fusion occurs at many levels, ranging from the low-level combination of signals to the high-level aggregation of heterogeneous decision-making processes. While the last decade has witnessed an explosion of research in deep learning, fusion in neural networks has not observed the same revolution. Specifically, most neural fusion approaches are ad hoc, are not understood, are distributed versus localized, and/or explainability is low (if present at all). Herein, we prove that the fuzzy Choquet integral (ChI), a powerful nonlinear aggregation function, can be represented as a multi-layer network, referred to hereafter as ChIMP. We also put forth an improved ChIMP (iChIMP) that leads to a stochastic gradient descent-based optimization in light of the exponential number of ChI inequality constraints. An additional benefit of ChIMP/iChIMP is that it enables eXplainable AI (XAI). Synthetic validation experiments are provided and iChIMP is applied to the fusion of a set of heterogeneous architecture deep models in remote sensing. We show an improvement in model accuracy and our previously established XAI indices shed light on the quality of our data, model, and its decisions.


title: User Association in Dense mmWave Networks based on Rate Requirements

abstract: Commonly considered user association frameworks in millimeter-wave communications are based on the sum rate maximization, and they essentially neglect user specific rate and service requirements. Furthermore, new features of millimeter-wave communications including spatial multiplexing, connectivity to multiple coordinated base stations and dense base station deployment are not considered. In this work, we propose a two-step optimization framework for single-shot user association in dense millimeter-wave networks which takes into account users' rate requirements, multi-connectivity, and hybrid transceiver architecture for spatial multiplexing. The proposed framework considers multiple RF chains at each base station and assigns them to different users that also have multiple RF chains for connectivity with more than one base station. In the first step, the objective of the user association is to maximize the number of users with satisfied rate requirements while minimizing network underutilization. In the second step, remaining RF chains are assigned to users, whose rate requirement has not been met, such that network sum rate is maximized. This is a novel problem formulation for user associate in millimeter-wave networks. We propose low complexity sub-optimal user association algorithms based on this formulation, numerically evaluate the optimal and sub-optimal solutions, and compare them to the conventional association approaches in terms of the number of associated users and network sum rate.


title: Prediction and outlier detection in classification problems

abstract: We consider the multi-class classification problem when the training data and the out-of-sample test data may have different distributions and propose a method called BCOPS (balanced and conformal optimized prediction sets). BCOPS constructs a prediction set $C(x)$ as a subset of class labels, possibly empty. It tries to optimize the out-of-sample performance, aiming to include the correct class as often as possible, but also detecting outliers $x$, for which the method returns no prediction (corresponding to $C(x)$ equal to the empty set). The proposed method combines supervised-learning algorithms with the method of conformal prediction to minimize a misclassification loss averaged over the out-of-sample distribution. The constructed prediction sets have a finite-sample coverage guarantee without distributional assumptions. We also propose a method to estimate the outlier detection rate of a given method. We prove asymptotic consistency and optimality of our proposals under suitable assumptions and illustrate our methods on real data examples.


title: ERRATUM: Stochastic evolution equations for large portfolios of stochastic volatility models

abstract: In the article "Stochastic evolution equations for large portfolios of Stochastic Volatility models" (Arxiv:1701.05640) there is a mistake in the proof of Theorem 3.1. In this erratum we establish a weaker version of this Theorem and then we redevelop the regularity theory for our problem accordingly. This means that most of our regularity results are replaced by slightly weaker ones. We also clarify a point in the proof of a correct result.


title: Few-Shot Learning with Embedded Class Models and Shot-Free Meta Training

abstract: We propose a method for learning embeddings for few-shot learning that is suitable for use with any number of ways and any number of shots (shot-free). Rather than fixing the class prototypes to be the Euclidean average of sample embeddings, we allow them to live in a higher-dimensional space (embedded class models) and learn the prototypes along with the model parameters. The class representation function is defined implicitly, which allows us to deal with a variable number of shots per each class with a simple constant-size architecture. The class embedding encompasses metric learning, that facilitates adding new classes without crowding the class representation space. Despite being general and not tuned to the benchmark, our approach achieves state-of-the-art performance on the standard few-shot benchmark datasets.


title: A New Encounter Between Leader-Follower Tracking and Observer-Based Control: Towards Enhancing Robustness against Disturbances

abstract: This paper studies robust tracking control for a leader-follower multi-agent system (MAS) subject to disturbances. A challenging problem is considered here, which differs from those in the literature in two aspects. First, we consider the case when all the leader and follower agents are affected by disturbances, while the existing studies assume only the followers to suffer disturbances. Second, we assume the disturbances to be bounded only in rates of change rather than magnitude as in the literature. To address this new problem, we propose a novel observer-based distributed tracking control design. As a distinguishing feature, the followers can cooperatively estimate the disturbance affecting the leader to adjust their maneuvers accordingly, which is enabled by the design of the first-of-its-kind distributed disturbance observers. We build specific tracking control approaches for both first- and second-order MASs and prove that they can lead to bounded-error tracking, despite the challenges due to the relaxed assumptions about disturbances. We further perform simulation to validate the proposed approaches.


title: Optimization-based approach to the calibration of mesoscale mechanical models for carbon nanotube systems

abstract: A new mesoscale mechanical model, describing elastic interactions in carbon nanotubes (CNT) and other nanofilaments, is proposed. Functional form of the developed model is based on enhanced vector model (EVM) that describes basic types of bond deformations: tension, torsion, bending and shear. Calibration of bond stiffnesses is performed by adjusting EVM parameters to reproduce both CNT's deformation energies and shape observed in a full-atomistic simulation. The parameters obtained are compared with the ones obtained from Euler-Bernoulli beam theory considerations. It is found that after certain critical length of a tested CNT specimen its stiffness parameters become length-independent and can be used in mesoscale simulations of CNTs of arbitrary length.


title: Dimensional reduction of the electromagnetic sector of the nonminimal Standard-Model-Extension

abstract: In the current paper, we construct a Lorentz-violating electrodynamics in (1+2) spacetime dimensions from the electromagnetic sector of the nonminimal Standard-Model Extension (SME) in (1+3) dimensions. Subsequently, we study some of the basic properties of this framework. We obtain the field equations, the Green's functions, and the perturbative Feynman rules. Furthermore, the modified dispersion relations are computed at leading order in Lorentz violation. We then remove the unphysical degrees of freedom from the electromagnetic Green's function that are present due to gauge invariance. The resulting object is used to construct the general solutions of the uncoupled field equations with external inhomogeneities present. This modified planar electrodynamics may be valuable to describe electromagnetic phenomena in two-dimensional condensed-matter systems. Furthermore, it supports a better understanding of the electromagnetic sector of the nonminimal SME.


title: Two-dimensional ground-state mapping of a Mott-Hubbard system in a flexible field-effect device

abstract: A Mott insulator sometimes induces unconventional superconductivity in its neighbors when doped and/or pressurized. Because the phase diagram should be strongly related to the microscopic mechanism of the superconductivity, it is important to obtain the global phase diagram surrounding the Mott insulating state. However, the parameter available for controlling the ground state of most Mott insulating materials is one-dimensional owing to technical limitations. Here we present a two-dimensional ground-state mapping for a Mott insulator using an organic field-effect device by simultaneously tuning the bandwidth and bandfilling. The observed phase diagram showed many unexpected features such as an abrupt first-order superconducting transition under electron doping, a recurrent insulating phase in the heavily electron-doped region, and a nearly constant superconducting transition temperature in a wide parameter range. These results are expected to contribute toward elucidating one of the standard solutions for the Mott-Hubbard model. Theoretical calculations reproducing the main features of our experimental results have also been conducted.


title: PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games

abstract: Statistical model checking (SMC) is a technique for analysis of probabilistic systems that may be (partially) unknown. We present an SMC algorithm for (unbounded) reachability yielding probably approximately correct (PAC) guarantees on the results. We consider both the setting (i) with no knowledge of the transition function (with the only quantity required a bound on the minimum transition probability) and (ii) with knowledge of the topology of the underlying graph. On the one hand, it is the first algorithm for stochastic games. On the other hand, it is the first practical algorithm even for Markov decision processes. Compared to previous approaches where PAC guarantees require running times longer than the age of universe even for systems with a handful of states, our algorithm often yields reasonably precise results within minutes, not requiring the knowledge of mixing time or the topology of the whole model.


title: Precision Weak Gravitational Lensing Using Velocity Fields: Fisher Matrix Analysis

abstract: Weak gravitational lensing measurements based on photometry are limited by shape noise, the variance in the unknown unlensed orientations of the source galaxies. If the source is a disk galaxy with a well-ordered velocity field, however, velocity field data can support simultaneous inference of the shear, inclination, and position angle, virtually eliminating shape noise. We use the Fisher Information Matrix formalism to forecast the precision of this method in the idealized case of a perfectly ordered velocity field defined on an infinitesimally thin disk. For nearly face-on targets one shear component, $\gamma_\times$, can be constrained to $0.003\frac{90}{I_0}\frac{25}{n_{\rm pix}}$ where $I_0$ is the S/N of the central intensity pixel and $n_{\rm pix}$ is the number of pixels across a diameter enclosing 80\% of the light. This precision degrades with inclination angle, by a factor of three by $i{=}50^\circ$. Uncertainty on the other shear component, $\gamma_+$, is about 1.5 (7) times larger than the $\gamma_\times$ uncertainty for targets at $i=10^\circ$ ($50^\circ$). For arbitrary galaxy position angle on the sky, these forecasts apply not to $\gamma_+$ and $\gamma_\times$ as defined on the sky, but to two eigenvectors in $(\gamma_+, \gamma_\times,\mu)$ space where $\mu$ is the magnification. We also forecast the potential of less expensive partial observations of the velocity field such as slit spectroscopy. We conclude by outlining some ways in which real galaxies depart from our idealized model and thus create random or systematic uncertainties not captured here. In particular, our forecast $\gamma_\times$ precision is currently limited only by the data quality rather than scatter in galaxy properties because the relevant type of scatter has yet to be measured.


title: Language-Conditioned Graph Networks for Relational Reasoning

abstract: Solving grounded language tasks often requires reasoning about relationships between objects in the context of a given task. For example, to answer the question "What color is the mug on the plate?" we must check the color of the specific mug that satisfies the "on" relationship with respect to the plate. Recent work has proposed various methods capable of complex relational reasoning. However, most of their power is in the inference structure, while the scene is represented with simple local appearance features. In this paper, we take an alternate approach and build contextualized representations for objects in a visual scene to support relational reasoning. We propose a general framework of Language-Conditioned Graph Networks (LCGN), where each node represents an object, and is described by a context-aware representation from related objects through iterative message passing conditioned on the textual input. E.g., conditioning on the "on" relationship to the plate, the object "mug" gathers messages from the object "plate" to update its representation to "mug on the plate", which can be easily consumed by a simple classifier for answer prediction. We experimentally show that our LCGN approach effectively supports relational reasoning and improves performance across several tasks and datasets. Our code is available at http://ronghanghu.com/lcgn.


title: Systole on locally symmetric spaces

abstract: Here we survey on the growth of systoles of arithmetic locally symmetric spaces under the congruence covering and give simple proofs for the best possible constants of Gromov for several important classes of symmetric spaces.


title: Performance of the Muon $g-2$ calorimeter and readout systems measured with test beam data

abstract: A single calorimeter station for the Muon $g-2$ experiment at Fermilab includes the following subsystems: a 54-element array of PbF$_{2}$ Cherenkov crystals read out by large-area SiPMs, bias and slow-control electronics, a suite of 800 MSPS waveform digitizers, a clock and control distribution network, a gain calibration and monitoring system, and a GPU-based frontend read out through a MIDAS data acquisition environment. The entire system performance was evaluated using 2.5 - 5 GeV electrons at the End Station Test Beam at SLAC. This paper includes a description of the individual subsystems and the results of measurements of the energy response and resolution, energy-scale stability, timing resolution, and spatial uniformity. All measured performances meet or exceed the $g-2$ experimental requirements. Based on the success of the tests, the complete production of the required 24 calorimeter stations has been made and installation into the main experiment is complete. Furthermore, the calorimeter response measurements determined here informed the design of the reconstruction algorithms that are now employed in the running $g-2$ experiment.


title: Spin Seebeck effect from antiferromagnetic magnons and critical spin fluctuations in epitaxial FeF2 films

abstract: We report a longitudinal spin Seebeck effect (SSE) study in epitaxially grown FeF2(110) antiferromagnetic (AFM) thin films with strong uniaxial anisotropy over the temperature range of 3.8 - 250 K. Both the magnetic field- and temperature-dependent SSE signals below the N\'eel temperature (TN=70 K) of the FeF2 films are consistent with a theoretical model based on the excitations of AFM magnons without any net induced static magnetic moment. In addition to the characteristic low-temperature SSE peak associated with the AFM magnons, there is another SSE peak at TN which extends well into the paramagnetic phase. All the SSE data taken at different magnetic fields up to 12 T near and above the critical point TN follow the critical scaling law very well with the critical exponents for magnetic susceptibility of 3D Ising systems, which suggests that the AFM spin correlation is responsible for the observed SSE near TN.


title: On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem

abstract: Quantitative information flow (QIF) is traditionally defined as the expected value of information leakage over all feasible program runs and it fails to identify vulnerable programs where only limited number of runs leak large amount of information. As discussed in Bielova (2016), a good notion for dynamic leakage and an efficient way of computing the leakage are needed. To address this problem, the authors have already proposed two notions for dynamic leakage and a method of quantifying dynamic leakage based on model counting. Inspired by the work of Kawamoto et. al. (2017), this paper proposes two efficient methods for computing dynamic leakage, a compositional method along with the sequential structure of a program and a parallel computation based on the value domain decomposition. For the former, we also investigate both exact and approximated calculations. From the perspective of implementation, we utilize binary decision diagrams (BDDs) and deterministic decomposable negation normal forms (d-DNNFs) to represent Boolean formulas in model counting. Finally, we show experimental results on several examples.


title: Guiding center dynamics as motion on a formal slow manifold in loop space

abstract: Since the late 1950's, the dynamics of a charged particle's ``guiding center" in a strong, inhomogeneous magnetic field have been understood in terms of near-identity coordinate transformations. The basic idea has been to approximately transform away the coupling between the fast gyration around magnetic fields lines and the remaining slow dynamics. This basic understanding now serves as a foundation for describing the kinetic theory of strongly magnetized plasmas. I present a new way to understand guiding center dynamics that does not involve complicated coordinate transformations. Starting from a dynamical systems formulation of the motion of parameterized loops in a charged particle's phase space, I identify a formal slow manifold in loop space. Dynamics on this formal slow manifold are equivalent to guiding center dynamics to all orders in perturbation theory. After demonstrating that loop space dynamics comprises an infinite-dimensional noncanonical Hamiltonian system, I recover the well-known Hamiltonian formulation of guiding center motion by restricting the (pre-) symplectic structure on loop space to the finite-dimensional guiding center formal slow manifold.


title: Learning Robotic Manipulation through Visual Planning and Acting

abstract: Planning for robotic manipulation requires reasoning about the changes a robot can affect on objects. When such interactions can be modelled analytically, as in domains with rigid objects, efficient planning algorithms exist. However, in both domestic and industrial domains, the objects of interest can be soft, or deformable, and hard to model analytically. For such cases, we posit that a data-driven modelling approach is more suitable. In recent years, progress in deep generative models has produced methods that learn to `imagine' plausible images from data. Building on the recent Causal InfoGAN generative model, in this work we learn to imagine goal-directed object manipulation directly from raw image data of self-supervised interaction of the robot with the object. After learning, given a goal observation of the system, our model can generate an imagined plan -- a sequence of images that transition the object into the desired goal. To execute the plan, we use it as a reference trajectory to track with a visual servoing controller, which we also learn from the data as an inverse dynamics model. In a simulated manipulation task, we show that separating the problem into visual planning and visual tracking control is more sample efficient and more interpretable than alternative data-driven approaches. We further demonstrate our approach on learning to imagine and execute in 3 environments, the final of which is deformable rope manipulation on a PR2 robot.


title: Decentralized Trusted Computing Base for Blockchain Infrastructure Security

abstract: There is a growing interest today in blockchain technology as a possible foundation for the future global financial ecosystem. However, in order for this future financial ecosystem to be truly global, with a high degree of interoperability and stability, a number challenges need to be addressed related to infrastructure security. One key aspect concerns the security and robustness of the systems that participate in the blockchain peer-to-peer networks. In this paper we discuss the notion of the decentralized trusted computing base as an extension of the TCB concept in trusted computing. We explore how a decentralized TCB can be useful to (i) harden individual nodes and systems in the blockchain infrastructure, and (ii) be the basis for secure group-oriented computations making within the P2P network of nodes that make-up the blockchain system.


title: Knowledge-aware Graph Neural Networks with Label Smoothness Regularization for Recommender Systems

abstract: Knowledge graphs capture structured information and relations between a set of entities or items. As such knowledge graphs represent an attractive source of information that could help improve recommender systems. However, existing approaches in this domain rely on manual feature engineering and do not allow for an end-to-end training. Here we propose Knowledge-aware Graph Neural Networks with Label Smoothness regularization (KGNN-LS) to provide better recommendations. Conceptually, our approach computes user-specific item embeddings by first applying a trainable function that identifies important knowledge graph relationships for a given user. This way we transform the knowledge graph into a user-specific weighted graph and then apply a graph neural network to compute personalized item embeddings. To provide better inductive bias, we rely on label smoothness assumption, which posits that adjacent items in the knowledge graph are likely to have similar user relevance labels/scores. Label smoothness provides regularization over the edge weights and we prove that it is equivalent to a label propagation scheme on a graph. We also develop an efficient implementation that shows strong scalability with respect to the knowledge graph size. Experiments on four datasets show that our method outperforms state of the art baselines. KGNN-LS also achieves strong performance in cold-start scenarios where user-item interactions are sparse.


title: Minimality and stable Bernouliness in dimension 3

abstract: In 3-dimensional manifolds, we prove that generically in$Diff^1_m(M)$, the existence of a minimal expanding invariant foliation implies stable Bernoulliness.


title: An O(1) Algorithm for the Numerical Evaluation of the Prolate Spheroidal Wave Functions of Order 0

abstract: The standard algorithm for the numerical evaluation of the prolate spheroidal wave function $\mathsf{Ps}\hskip.05em{}_{n}(x;\gamma^2)$ of order $0$, bandlimit $\gamma > 0$ and characteristic exponent $n$ has running time which grows with both $n$ and $\gamma$. Here, we describe an alternate approach which runs in time independent of these quantities. We present the results of numerical experiments demonstrating the properties of our scheme, and we have made our implementation of it publicly available.


title: Competition, Collaboration, and Optimization in Multiple Interacting Spreading Processes

abstract: Competition and collaboration are at the heart of multi-agent probabilistic spreading processes. The battle on public opinion and competitive marketing campaigns are typical examples of the former, while the joint spread of multiple diseases such as HIV and tuberculosis demonstrates the latter. These spreads are influenced by the underlying network topology, the infection rates between network constituents, recovery rates and, equally importantly, the interactions between the spreading processes themselves. Here, for the first time we derive dynamic message-passing equations that provide an exact description of the dynamics of two interacting spreading processes on tree graphs, and develop systematic low-complexity models that predict the spread on general graphs. We also develop a theoretical framework for an optimal control of interacting spreading processes through an optimized resource allocation under budget constraints and within a finite time window. Derived algorithms can be used to maximize the desired spread in the presence of a rival competitive process, and to limit the spread through vaccination in the case of coupled infectious diseases. We demonstrate the efficacy of the framework and optimization method on both synthetic and real-world networks.


title: Particulate Air Pollution, Birth Outcomes, and Infant Mortality: Evidence from Japan's Automobile Emission Control Law of 1992

abstract: This study investigates the impacts of the Automobile NOx Law of 1992 on ambient air pollutants and fetal and infant health outcomes in Japan. Using panel data taken from more than 1,500 monitoring stations between 1987 and 1997, we find that NOx and SO2 levels reduced by 87% and 52%, respectively in regulated areas following the 1992 regulation. In addition, using a municipal-level Vital Statistics panel dataset and adopting the regression differences-in-differences method, we find that the enactment of the regulation explained most of the improvements in the fetal death rate between 1991 and 1993. This study is the first to provide evidence on the positive impacts of this large-scale automobile regulation policy on fetal health.


title: Machine learning in acoustics: theory and applications

abstract: Acoustic data provide scientific and engineering insights in fields ranging from biology and communications to ocean and Earth science. We survey the recent advances and transformative potential of machine learning (ML), including deep learning, in the field of acoustics. ML is a broad family of techniques, which are often based in statistics, for automatically detecting and utilizing patterns in data. Relative to conventional acoustics and signal processing, ML is data-driven. Given sufficient training data, ML can discover complex relationships between features and desired labels or actions, or between features themselves. With large volumes of training data, ML can discover models describing complex acoustic phenomena such as human speech and reverberation. ML in acoustics is rapidly developing with compelling results and significant future promise. We first introduce ML, then highlight ML developments in four acoustics research areas: source localization in speech processing, source localization in ocean acoustics, bioacoustics, and environmental sounds in everyday scenes.

categories: eess.SP cs.LG cs.SD eess.AS physics.app-ph


title: The role of pawnshops in risk coping in early twentieth-century Japan

abstract: This study examines the role of pawnshops as a risk-coping device in prewar Japan. Using data on pawnshop loans for more than 250 municipalities and exploiting the 1918-1920 influenza pandemic as a natural experiment, we find that the adverse health shock increased the total amount of loans from pawnshops. This is because those who regularly relied on pawnshops borrowed more money from them than usual to cope with the adverse health shock, and not because the number of people who used pawnshops increased.


title: Magnetic field line twisting by photospheric vortices: energy storage and release

abstract: We investigate the dynamics of a closed corona cartesian reduced magnetohydrodynamic (MHD) model where photospheric vortices twist the coronal magnetic field lines. We consider two corotating or counter-rotating vortices localized at the center of the photospheric plate, and additionally more corotating vortices that fill the plate entirely. Our investigation is specifically devoted to study the fully nonlinear stage, after the linear stage during which the vortices create laminar and smoothly twisting flux tubes. Our main goal is to understand the dynamics of photospheric vortices twisting the field lines of a coronal magnetic field permeated by finite amplitude broadband fluctuations. We find that depending on the arrangement and handedness of the photospheric vortices an inverse cascade storing a significant amount of magnetic energy may occur or not. In the first case a reservoir of magnetic energy available to large events such as destabilization of a pre-CME configuration develops, while in the second case the outcome is a turbulent heated corona. Although our geometry is simplified our simulations are shown to have relevant implications for coronal dynamics and CME initiation.


title: Long Short-Term Memory with Gate and State Level Fusion for Light Field-Based Face Recognition

abstract: Long Short-Term Memory (LSTM) is a prominent recurrent neural network for extracting dependencies from sequential data such as time-series and multi-view data, having achieved impressive results for different visual recognition tasks. A conventional LSTM network can learn a model to posteriorly extract information from one input sequence. However, if two or more dependent sequences of data are simultaneously acquired, the conventional LSTM networks may only process those sequences consecutively, not taking benefit of the information carried out by their mutual dependencies. In this context, this paper proposes two novel LSTM cell architectures that are able to jointly learn from multiple sequences simultaneously acquired, targeting to create richer and more effective models for recognition tasks. The efficacy of the novel LSTM cell architectures is assessed by integrating them into deep learning-based methods for face recognition with multi-view, light field images. The new cell architectures jointly learn the scene horizontal and vertical parallaxes available in a light field image, to capture richer spatio-angular information from both directions. A comprehensive evaluation, with the IST-EURECOM LFFD dataset using three challenging evaluation protocols, shows the advantage of using the novel LSTM cell architectures for face recognition over the state-of-the-art light field-based methods. These results highlight the added value of the novel cell architectures when learning from correlated input sequences.


title: Controlled Natural Languages and Default Reasoning

abstract: Controlled natural languages (CNLs) are effective languages for knowledge representation and reasoning. They are designed based on certain natural languages with restricted lexicon and grammar. CNLs are unambiguous and simple as opposed to their base languages. They preserve the expressiveness and coherence of natural languages. In this report, we focus on a class of CNLs, called machine-oriented CNLs, which have well-defined semantics that can be deterministically translated into formal languages, such as Prolog, to do logical reasoning. Over the past 20 years, a number of machine-oriented CNLs emerged and have been used in many application domains for problem solving and question answering. However, few of them support non-monotonic inference. In our work, we propose non-monotonic extensions of CNL to support defeasible reasoning. In the first part of this report, we survey CNLs and compare three influential systems: Attempto Controlled English (ACE), Processable English (PENG), and Computer-processable English (CPL). We compare their language design, semantic interpretations, and reasoning services. In the second part of this report, we first identify typical non-monotonicity in natural languages, such as defaults, exceptions and conversational implicatures. Then, we propose their representation in CNL and the corresponding formalizations in a form of defeasible reasoning known as Logic Programming with Defaults and Argumentation Theory (LPDA).