title: Error Control and Loss Functions for the Deep Learning Inversion of Borehole Resistivity Measurements

abstract: Deep learning (DL) is a numerical method that approximates functions. Recently, its use has become attractive for the simulation and inversion of multiple problems in computational mechanics, including the inversion of borehole logging measurements for oil and gas applications. In this context, DL methods exhibit two key attractive features: a) once trained, they enable to solve an inverse problem in a fraction of a second, which is convenient for borehole geosteering operations as well as in other real-time inversion applications. b) DL methods exhibit a superior capability for approximating highly-complex functions across different areas of knowledge. Nevertheless, as it occurs with most numerical methods, DL also relies on expert design decisions that are problem specific to achieve reliable and robust results. Herein, we investigate two key aspects of deep neural networks (DNNs) when applied to the inversion of borehole resistivity measurements: error control and adequate selection of the loss function. As we illustrate via theoretical considerations and extensive numerical experiments, these interrelated aspects are critical to recover accurate inversion results.


title: Predicting Scores of Medical Imaging Segmentation Methods with Meta-Learning

abstract: Deep learning has led to state-of-the-art results for many medical imaging tasks, such as segmentation of different anatomical structures. With the increased numbers of deep learning publications and openly available code, the approach to choosing a model for a new task becomes more complicated, while time and (computational) resources are limited. A possible solution to choosing a model efficiently is meta-learning, a learning method in which prior performance of a model is used to predict the performance for new tasks. We investigate meta-learning for segmentation across ten datasets of different organs and modalities. We propose four ways to represent each dataset by meta-features: one based on statistical features of the images and three are based on deep learning features. We use support vector regression and deep neural networks to learn the relationship between the meta-features and prior model performance. On three external test datasets these methods give Dice scores within 0.10 of the true performance. These results demonstrate the potential of meta-learning in medical imaging.


title: Topology design of two-fluid heat exchange

abstract: Heat exchangers are devices that typically transfer heat between two fluids. The performance of a heat exchanger such as heat transfer rate and pressure loss strongly depends on the flow regime in the heat transfer system. In this paper, we present a density-based topology optimization method for a two-fluid heat exchange system, which achieves a maximum heat transfer rate under fixed pressure loss. We propose a representation model accounting for three states, i.e., two fluids and a solid wall between the two fluids, by using a single design variable field. The key aspect of the proposed model is that mixing of the two fluids can be essentially prevented without any penalty scheme. This is because the solid constantly exists between the two fluids due to the use of the single design variable field. We demonstrate the effectiveness of the proposed approach through three-dimensional numerical examples in which an optimized design is compared with a simple reference design, and the effects of design conditions (i.e., Reynolds number, Prandtl number, design domain size, and flow arrangements) are investigated.


title: The stable Adams operations on Hermitian K-theory

abstract: We prove that exterior powers of (skew-)symmetric bundles induce a $\lambda$-ring structure on the ring $GW^0(X) \oplus GW^2(X)$, when $X$ is a scheme where $2$ is invertible. Using this structure, we define stable Adams operations on Hermitian $K$-theory. As a byproduct of our methods, we also compute the ternary laws associated to Hermitian $K$-theory.


title: Prediction of Reduced Glass Transition Temperature using Machine Learning

abstract: The advent of computational material sciences has paved the way for data-driven approaches for modeling and fabrication of materials. The prediction of properties like the glass-forming ability (GFA) by using the variation in alloy composition remains to be a challenging problem in the field of material sciences. It also results in significant financial concerns for the manufacturing industry. Despite the existence of various empirical guides for the prediction of GFA, a comprehensive prediction model is still highly desirable. This work focuses on studying some of the popular machine learning algorithms for the prediction of the reduced glass transition temperature (Trg) of material compositions. From the experimentation, we conclude that the ensemble model performs better for predicting Trg. This result can prove instrumental in the branch of material sciences by helping us to develop materials having remarkable properties.


title: Knot Morphing Algorithm for Quantum `Fragile Topology'

abstract: A knot theoretic algorithm is proposed to model `fragile topology' of quantum physics.


title: Local and Global Explanations of Agent Behavior: Integrating Strategy Summaries with Saliency Maps

abstract: With advances in reinforcement learning (RL), agents are now being developed in high-stakes application domains such as healthcare and transportation. Explaining the behavior of these agents is challenging, as the environments in which they act have large state spaces, and their decision-making can be affected by delayed rewards, making it difficult to analyze their behavior. To address this problem, several approaches have been developed. Some approaches attempt to convey the $\textit{global}$ behavior of the agent, describing the actions it takes in different states. Other approaches devised $\textit{local}$ explanations which provide information regarding the agent's decision-making in a particular state. In this paper, we combine global and local explanation methods, and evaluate their joint and separate contributions, providing (to the best of our knowledge) the first user study of combined local and global explanations for RL agents. Specifically, we augment strategy summaries that extract important trajectories of states from simulations of the agent with saliency maps which show what information the agent attends to. Our results show that the choice of what states to include in the summary (global information) strongly affects people's understanding of agents: participants shown summaries that included important states significantly outperformed participants who were presented with agent behavior in a randomly set of chosen world-states. We find mixed results with respect to augmenting demonstrations with saliency maps (local information), as the addition of saliency maps did not significantly improve performance in most cases. However, we do find some evidence that saliency maps can help users better understand what information the agent relies on in its decision making, suggesting avenues for future work that can further improve explanations of RL agents.


title: Flexible Over-Moded Resonators Based on P(VDF-TrFE) Thin Films With Very High Temperature Coefficient

abstract: This work presents for the first time a flexible over-moded resonator (OMR) based on P(VDF-TrFE) thin films. The devices were manufactured on commercially available elastic substrate with inkjet-printed electrodes. The sensing copolymer films used in the devices were polarized by the corona method after electrode deposition. The main performance parameters of the component were then determined. The manufactured OMRs on P(VDF-TrFE) exhibited a linear variation of frequency versus temperature and a very large value of temperature coefficient of frequency (TCF > 1600 ppm/degrees C). These properties suggest a great potential for using such components as low-cost and high-precision temperature sensors. The electromechanical coupling coefficient and the quality factor of the resonator were also characterized versus temperature.


title: The effects of density inhomogeneities on the radio wave emission in electron beam plasmas

abstract: Type III radio bursts are radio emissions associated with solar flares. They are considered to be caused by electron beams traveling from the solar corona to the solar wind. Magnetic reconnection is a possible accelerator of electron beams in the course of solar flares since it causes unstable distribution functions, and density inhomogeneities (cavities). The properties of radio emission by electron beams in an inhomogeneous environment are still poorly understood. We capture the non-linear kinetic plasma processes of generation of beam-related radio emissions in inhomogeneous plasmas by utilizing fully-kinetic Particle-In-Cell (PIC) code numerical simulations. Our model takes into account initial electron velocity distribution functions (EVDFs) as they are supposed to be created by magnetic reconnection. We focus our analysis on low-density regions with strong magnetic fields. The assumed EVDFs allow two distinct mechanisms of radio wave emissions: plasma emissions due to wave-wave interactions and so-called electron cyclotron maser emissions (ECME) due to direct wave-particle interactions. We investigate the effects of density inhomogeneities on the conversion of free energy from the electron beams into the energy of electrostatic and electromagnetic waves via plasma emission and ECME, as well as the frequency shift of electron resonances caused by perpendicular gradients in the beam EVDFs. Our most important finding is that the number of harmonics of Langmuir waves increases due to the presence of density inhomogeneities. The additional harmonics of Langmuir waves are generated by a coalescence of beam-generated Langmuir waves and their harmonics.


title: Deep Implicit Volume Compression

abstract: We describe a novel approach for compressing truncated signed distance fields (TSDF) stored in 3D voxel grids, and their corresponding textures. To compress the TSDF, our method relies on a block-based neural network architecture trained end-to-end, achieving state-of-the-art rate-distortion trade-off. To prevent topological errors, we losslessly compress the signs of the TSDF, which also upper bounds the reconstruction error by the voxel size. To compress the corresponding texture, we designed a fast block-based UV parameterization, generating coherent texture maps that can be effectively compressed using existing video compression algorithms. We demonstrate the performance of our algorithms on two 4D performance capture datasets, reducing bitrate by 66% for the same distortion, or alternatively reducing the distortion by 50% for the same bitrate, compared to the state-of-the-art.


title: Covering gonalities of complete intersections in positive characteristic

abstract: We define the covering gonality and separable covering gonality of varieties over arbitrary fields, generalizing the definition given by Bastianelli-de Poi-Ein-Lazarsfeld-Ullery for complex varieties. We show that over an arbitrary field a smooth multidegree $(d_1,\ldots,d_k)$ complete intersection in $\mathbb{P}^N$ has separable covering gonality at least $d-N+1$, where $d=d_1+\cdots+d_k$. We also show that the very general such variety has covering gonality at least $\frac{d-N+2}{2}$.


title: Decoding of Intuitive Visual Motion Imagery Using Convolutional Neural Network under 3D-BCI Training Environment

abstract: In this study, we adopted visual motion imagery, which is a more intuitive brain-computer interface (BCI) paradigm, for decoding the intuitive user intention. We developed a 3-dimensional BCI training platform and applied it to assist the user in performing more intuitive imagination in the visual motion imagery experiment. The experimental tasks were selected based on the movements that we commonly used in daily life, such as picking up a phone, opening a door, eating food, and pouring water. Nine subjects participated in our experiment. We presented statistical evidence that visual motion imagery has a high correlation from the prefrontal and occipital lobes. In addition, we selected the most appropriate electroencephalography channels using a functional connectivity approach for visual motion imagery decoding and proposed a convolutional neural network architecture for classification. As a result, the averaged classification performance of the proposed architecture for 4 classes from 16 channels was 67.50 % across all subjects. This result is encouraging, and it shows the possibility of developing a BCI-based device control system for practical applications such as neuroprosthesis and a robotic arm.


title: Super-Rayleigh Slopes in Transmission Spectra of Exoplanets Generated by Photochemical Haze

abstract: Spectral slopes in optical transmission spectra of exoplanetary atmospheres encapsulate information on the properties of exotic clouds. The slope is usually attributed to the Rayleigh scattering caused by tiny aerosol particles, whereas recent retrieval studies have suggested that the slopes are often steeper than the canonical Rayleigh slopes. Here, we propose that photochemical haze formed in vigorously mixing atmospheres can explain such super-Rayleigh slopes. We first analytically show that the spectral slope can be steepened by the vertical opacity gradient in which atmospheric opacity increases with altitude. Using a microphysical model, we demonstrate that such opacity gradient can be naturally generated by photochemical haze, especially when the eddy mixing is substantially efficient. The transmission spectra of hazy atmospheres can be demarcated into four typical regimes in terms of the haze mass flux and eddy diffusion coefficient. We find that the transmission spectrum can have the spectral slope 2--4 times steeper than the Rayleigh slope if the eddy diffusion coefficient is sufficiently high and the haze mass flux falls into a moderate value. Based on the eddy diffusion coefficient suggested by a recent study of atmospheric circulations, we suggest that photochemical haze preferentially generates super-Rayleigh slopes at planets with equilibrium temperature of 1000--1500 K, which might be consistent with results of recent retrieval studies. Our results would help to interpret the observations of spectral slopes from the perspective of haze formation.


title: The large Trans-Neptunian Object 2002 TC$_{302}$ from combined stellar occultation, photometry and astrometry data

abstract: On 28th January 2018, the large Trans-Neptunian Object (TNO) 2002TC302 occulted a m$_v= $15.3 star with ID 130957813463146112 in the Gaia DR2 stellar catalog. 12 positive occultation chords were obtained from Italy, France, Slovenia and Switzerland. Also, 4 negative detections were obtained near the north and south limbs. This represents the best observed stellar occultation by a TNO other than Pluto, in terms of the number of chords published thus far. From the 12 chords, an accurate elliptical fit to the instantaneous projection of the body, compatible with the near misses, can be obtained. The resulting ellipse has major and minor axes of 543 $\pm$ 18 km and 460 $\pm$ 11 km, respectively, with a position angle of 3 $\pm$ 1 degrees for the minor axis. This information, combined with rotational light curves obtained with the 1.5m telescope at Sierra Nevada Observatory and the 1.23m telescope at Calar Alto observatory, allows us to derive possible 3D shapes and density estimations for the body, based on hydrostatic equilibrium assumptions. The effective area equivalent diameter is $\sim$ 84 km smaller than the radiometrically derived diameter using thermal data from Herschel and Spitzer Space Telescopes. This might indicate the existence of an unresolved satellite of up to $\sim$ 300 km in diameter, to account for all the thermal flux, although the occultation and thermal diameters are compatible within their error bars given the considerable uncertainty of the thermal results. The existence of a potential satellite also appears to be consistent with other ground-based data presented here. From the effective occultation diameter combined with H$_V$ measurements we derive a geometric albedo of 0.147 $\pm$ 0.005, which would be somewhat smaller if 2002TC302 has a satellite. The best occultation light curves do not show any signs of ring features or any signatures of a global atmosphere.


title: COVID-19 pandemic: a mobility-dependent SEIR model with undetected cases in Italy, Europe and US

abstract: OBJECTIVES: to describe the first wave of the COVID-19 pandemic with a focus on undetected cases and to evaluate different post-lockdown scenarios. DESIGN: the study introduces a SEIR compartmental model, taking into account the region-specific fraction of undetected cases, the effects of mobility restrictions, and the personal protective measures adopted, such as wearing a mask and washing hands frequently. SETTING AND PARTICIPANTS: the model is experimentally validated with data of all the Italian regions, some European countries, and the US. MAIN OUTCOME MEASURES: the accuracy of the model results is measured through the mean absolute percentage error (MAPE) and Lewis criteria; fitting parameters are in good agreement with previous literature. RESULTS: the epidemic curves for different countries and the amount of undetected and asymptomatic cases are estimated, which are likely to represent the main source of infections in the near future. The model is applied to the Hubei case study, which is the first place to relax mobility restrictions. Results show different possible scenarios. Mobility and the adoption of personal protective measures greatly influence the dynamics of the infection, determining either a huge and rapid secondary epidemic peak or a more delayed and manageable one. CONCLUSIONS: mathematical models can provide useful insights for healthcare decision makers to determine the best strategy in case of future outbreaks.


title: Quasi-polynomial time algorithms for free quantum games in bounded dimension

abstract: We give a converging semidefinite programming hierarchy of outer approximations for the set of quantum correlations of fixed dimension and derive analytical bounds on the convergence speed of the hierarchy. In particular, we give a semidefinite program of size $\exp(\mathcal{O}\big(T^{12}(\log^2(AT)+\log(Q)\log(AT))/\epsilon^2\big))$ to compute additive $\epsilon$-approximations on the values of two-player free games with $T\times T$-dimensional quantum assistance, where $A$ and $Q$ denote the numbers of answers and questions of the game, respectively. For fixed dimension $T$, this scales polynomially in $Q$ and quasi-polynomially in $A$, thereby improving on previously known approximation algorithms for which worst-case run-time guarantees are at best exponential in $Q$ and $A$. For the proof, we make a connection to the quantum separability problem and employ improved multipartite quantum de Finetti theorems with linear constraints. We also derive an informationally complete measurement which minimises the loss in distinguishability relative to the quantum side information - which may be of independent interest.


title: Making Isabelle Content Accessible in Knowledge Representation Formats

abstract: The libraries of proof assistants like Isabelle, Coq, HOL are notoriously difficult to interpret by external tools: de facto, only the prover itself can parse and process them adequately. In the case of Isabelle, an export of the library into a FAIR (Findable, Accessible, Interoperable, and Reusable) knowledge exchange format was already envisioned by the authors in 1999 but had previously proved too difficult. After substantial improvements of the Isabelle Prover IDE (PIDE) and the OMDoc/Mmt format since then, we are now able to deliver such an export. Concretely we present an integration of PIDE and MMT that allows exporting all Isabelle libraries in OMDoc format. Our export covers the full Isabelle distribution and the Archive of Formal Proofs (AFP) -- more than 12 thousand theories and locales resulting in over 65GB of OMDoc/XML. Such a systematic export of Isabelle content to a well-defined interchange format like OMDoc enables many applications such as dependency management, independent proof checking, or library search.


title: Lacunary polynomials in $L^1$: geometry of the unit sphere

abstract: Let $\Lambda$ be a finite set of nonnegative integers, and let $\mathcal P(\Lambda)$ be the linear hull of the monomials $z^k$ with $k\in\Lambda$, viewed as a subspace of $L^1$ on the unit circle. We characterize the extreme and exposed points of the unit ball in $\mathcal P(\Lambda)$.


title: Identification of linear dynamical systems and machine learning

abstract: The topic of identification of dynamic systems, has been at the core of modern control , following the fundamental works of Kalman. Realization Theory has been one of the major outcomes in this domain, with the possibility of identifying a dynamic system from an input-output relationship. The recent development of machine learning concepts has rejuvanated interest for identification. In this paper, we review briefly the results of realization theory, and develop some methods inspired by Machine Learning concepts.


title: The Weisfeiler-Leman Algorithm and Recognition of Graph Properties

abstract: The $k$-dimensional Weisfeiler-Leman algorithm ($k$-WL) is a very useful combinatorial tool in graph isomorphism testing. We address the applicability of $k$-WL to recognition of graph properties. Let $G$ be an input graph with $n$ vertices. We show that, if $n$ is prime, then vertex-transitivity of $G$ can be seen in a straightforward way from the output of 2-WL on $G$ and on the vertex-individualized copies of $G$. However, if $n$ is divisible by 16, then $k$-WL is unable to distinguish between vertex-transitive and non-vertex-transitive graphs with $n$ vertices as long as $k=o(\sqrt n)$. Similar results are obtained for recognition of arc-transitivity.


title: Quadri-algebras, preLie algebras, and the Catalan family of Lie idempotents

abstract: We compute the expansion of the Catalan family of Lie idempotents introduced in [Menous et al., Adv. Applied Math. 51 (2013), 177-22] on the PBW basis of the Lie module. It is found that the coefficient of a tree depends only on its number of left and right internal edges. In particular, the Catalan idempotents belong to a preLie algebra based on naked binary trees, of which we identify several Lie and preLie subalgebras.


title: Classical and consecutive pattern avoidance in rooted forests

abstract: Following Anders and Archer, we say that an unordered rooted labeled forest avoids the pattern $\sigma\in\mathcal{S}_k$ if in each tree, each sequence of labels along the shortest path from the root to a vertex does not contain a subsequence with the same relative order as $\sigma$. For each permutation $\sigma\in\mathcal{S}_{k-2}$, we construct a bijection between $n$-vertex forests avoiding $(\sigma)(k-1)k:=\sigma(1)\cdots\sigma(k-2)(k-1)k$ and $n$-vertex forests avoiding $(\sigma)k(k-1):=\sigma(1)\cdots\sigma(k-2)k(k-1)$, giving a common generalization of results of West on permutations and Anders--Archer on forests. We further define a new object, the forest-Young diagram, which we use to extend the notion of shape-Wilf equivalence to forests. In particular, this allows us to generalize the above result to a bijection between forests avoiding $\{(\sigma_1)k(k-1), (\sigma_2)k(k-1), \dots, (\sigma_\ell)k(k-1)\}$ and forests avoiding $\{(\sigma_1)(k-1)k, (\sigma_2)(k-1)k, \dots, (\sigma_\ell)(k-1)k\}$ for $\sigma_1, \dots, \sigma_\ell \in \mathcal{S}_{k-2}$. Furthermore, we give recurrences enumerating the forests avoiding $\{123\cdots k\}$, $\{213\}$, and other sets of patterns. Finally, we extend the Goulden--Jackson cluster method to study consecutive pattern avoidance in rooted trees as defined by Anders and Archer. Using the generalized cluster method, we prove that if two length-$k$ patterns are strong-c-forest-Wilf equivalent, then up to complementation, the two patterns must start with the same number. We also prove the surprising result that the patterns $1324$ and $1423$ are strong-c-forest-Wilf equivalent, even though they are not c-Wilf equivalent with respect to permutations.


title: Giant Wilson Loops and AdS$_2$/dCFT$_1$

abstract: The 1/2-BPS Wilson loop in $\mathcal{N}=4$ supersymmetric Yang-Mills theory is an important and well-studied example of conformal defect. In particular, much work has been done for the correlation functions of operator insertions on the Wilson loop in the fundamental representation. In this paper, we extend such analyses to Wilson loops in the large-rank symmetric and antisymmetric representations, which correspond to probe D3 and D5 branes with $AdS_2 \times S^2$ and $AdS_2 \times S^4$ worldvolume geometries, ending at the $AdS_5$ boundary along a one-dimensional contour. We first compute the correlation functions of protected scalar insertions from supersymmetric localization, and obtain a representation in terms of multiple integrals that are similar to the eigenvalue integrals of the random matrix, but with important differences. Using ideas from the Fermi Gas formalism and the Clustering method, we evaluate their large $N$ limit exactly as a function of the 't Hooft coupling. The results are given by simple integrals of polynomials that resemble the $Q$-functions of the Quantum Spectral Curve, with integration measures depending on the number of insertions. Next, we study the correlation functions of fluctuations on the probe D3 and D5 branes in AdS. We compute a selection of three- and four-point functions from perturbation theory on the D-branes, and show that they agree with the results of localization when restricted to supersymmetric kinematics. We also explain how the difference of the internal geometries of the D3 and D5 branes manifests itself in the localization computation.


title: Generative Tweening: Long-term Inbetweening of 3D Human Motions

abstract: The ability to generate complex and realistic human body animations at scale, while following specific artistic constraints, has been a fundamental goal for the game and animation industry for decades. Popular techniques include key-framing, physics-based simulation, and database methods via motion graphs. Recently, motion generators based on deep learning have been introduced. Although these learning models can automatically generate highly intricate stylized motions of arbitrary length, they still lack user control. To this end, we introduce the problem of long-term inbetweening, which involves automatically synthesizing complex motions over a long time interval given very sparse keyframes by users. We identify a number of challenges related to this problem, including maintaining biomechanical and keyframe constraints, preserving natural motions, and designing the entire motion sequence holistically while considering all constraints. We introduce a biomechanically constrained generative adversarial network that performs long-term inbetweening of human motions, conditioned on keyframe constraints. This network uses a novel two-stage approach where it first predicts local motion in the form of joint angles, and then predicts global motion, i.e. the global path that the character follows. Since there are typically a number of possible motions that could satisfy the given user constraints, we also enable our network to generate a variety of outputs with a scheme that we call Motion DNA. This approach allows the user to manipulate and influence the output content by feeding seed motions (DNA) to the network. Trained with 79 classes of captured motion data, our network performs robustly on a variety of highly complex motion styles.


title: Deep Snow: Synthesizing Remote Sensing Imagery with Generative Adversarial Nets

abstract: In this work we demonstrate that generative adversarial networks (GANs) can be used to generate realistic pervasive changes in remote sensing imagery, even in an unpaired training setting. We investigate some transformation quality metrics based on deep embedding of the generated and real images which enable visualization and understanding of the training dynamics of the GAN, and may provide a useful measure in terms of quantifying how distinguishable the generated images are from real images. We also identify some artifacts introduced by the GAN in the generated images, which are likely to contribute to the differences seen between the real and generated samples in the deep embedding feature space even in cases where the real and generated samples appear perceptually similar.


title: Effect of disorder on the transverse magnetoresistance of Weyl semimetals

abstract: We study the effect of random potential created by different types of impurities on the transverse magnetoresistance of Weyl semimetals. It is shown that the magnetic field and temperature dependence of magnetoresistance is strongly affected by the type of impurity potential. Two limiting cases are analyzed in detail: ($i$) the ultra-quantum limit, when the applied magnetic field is so high that only the zeroth and first Landau levels contribute to the magnetotransport, and ($ii$) the semiclassical situation, for which a large number of Landau levels comes into play. A formal diagrammatic approach allowed us to obtain expressions for the components of the electrical conductivity tensor in both limits. In contrast to the oversimplified case of the $\delta$-correlated disorder, the long-range impurity potential (including that of Coulomb impurities) introduces an additional length scale, which changes the geometry and physics of the problem. It is shown that the magnetoresistance can deviate from the linear behavior as a function of magnetic field for a certain class of impurity potentials.


title: Learning Deep Models from Synthetic Data for Extracting Dolphin Whistle Contours

abstract: We present a learning-based method for extracting whistles of toothed whales (Odontoceti) in hydrophone recordings. Our method represents audio signals as time-frequency spectrograms and decomposes each spectrogram into a set of time-frequency patches. A deep neural network learns archetypical patterns (e.g., crossings, frequency modulated sweeps) from the spectrogram patches and predicts time-frequency peaks that are associated with whistles. We also developed a comprehensive method to synthesize training samples from background environments and train the network with minimal human annotation effort. We applied the proposed learn-from-synthesis method to a subset of the public Detection, Classification, Localization, and Density Estimation (DCLDE) 2011 workshop data to extract whistle confidence maps, which we then processed with an existing contour extractor to produce whistle annotations. The F1-score of our best synthesis method was 0.158 greater than our baseline whistle extraction algorithm (~25% improvement) when applied to common dolphin (Delphinus spp.) and bottlenose dolphin (Tursiops truncatus) whistles.


title: Differential invariants of measurements, and their connection to central moments

abstract: Due to the principle of minimal information gain, the measurement of points in an affine space $V$ determines a Legendrian submanifold of $V \times V^* \times \mathbb R$. Such Legendrian submanifolds are equipped with additional geometric structures that come from the central moments of the underlying probability distributions and are invariant under the action of the group of affine transformations on $V$. We investigate the action of this group of affine transformations on Legendrian submanifolds of $V \times V^* \times \mathbb R$ by giving a detailed overview of the structure of the algebra of scalar differential invariants. We show how the central moments can be used to construct the scalar differential invariants. In the end, we view the results in the context of equilibrium thermodynamics of gases, where we notice that the heat capacity is one of the differential invariants.


title: Bichromatic synchronized chaos in coupled optomechanical nanoresonators

abstract: Synchronization and chaos are two well known and ubiquitous phenomena in nature. Interestingly, under specific conditions, coupled chaotic systems can display synchronization in some of their observables. Here, we experimentally investigate bichromatic synchronization on the route to chaos of two non-identical mechanically coupled optomechanical nanocavities. Electromechanical near-resonant excitation of one of the resonators evidences hysteretic behaviors of the coupled mechanical modes which can, under amplitude modulation, reach the chaotic regime. The observations, allowing to measure directly the full phase space of the system, are accurately modeled by coupled periodically forced Duffing resonators thanks to a complete calibration of the experimental parameters. This shows that, besides chaos transfer from the mechanical to the optical frequency domain, spatial chaos transfer between the two nonidentical subsystems occurs. Upon simultaneous excitations of the coupled membranes modes, we also demonstrate bichromatic chaos synchronization between quadratures at the two distinct carrier frequencies of the normal modes. Their respective quadrature amplitudes are consistently synchronized thanks to the modal orthogonality breaking induced by the nonlinearity. Meanwhile, their phases show complex dynamics with imperfect synchronization in the chaotic regime. Our generic model agrees again quantitatively with the observed synchronization dynamics. These results set the ground for the experimental study of yet unexplored collective dynamics of e.g synchronization in arrays of strongly coupled, nanoscale nonlinear oscillators for applications ranging from precise measurements to multispectral chaotic encryption and random bit generation, and to analog computing, to mention a few.


title: Adapted Topologies and Higher Rank Signatures

abstract: The topology of weak convergence does not account for the growth of information over time that is captured in the filtration of an adapted stochastic process. For example, two adapted stochastic processes can have very similar laws but give completely different results in applications such as optimal stopping, queuing theory, or stochastic programming. To address such discontinuities, Aldous introduced the extended weak topology, and subsequently, Hoover and Keisler showed that both, weak topology and extended weak topology, are just the first two topologies in a sequence of topologies that get increasingly finer. We use higher rank expected signatures to embed adapted processes into graded linear spaces and show that these embeddings induce the adapted topologies of Hoover--Keisler.


title: Accelerating Ill-Conditioned Low-Rank Matrix Estimation via Scaled Gradient Descent

abstract: Low-rank matrix estimation is a canonical problem that finds numerous applications in signal processing, machine learning and imaging science. A popular approach in practice is to factorize the matrix into two compact low-rank factors, and then optimize these factors directly via simple iterative methods such as gradient descent and alternating minimization. Despite nonconvexity, recent literatures have shown that these simple heuristics in fact achieve linear convergence when initialized properly for a growing number of problems of interest. However, upon closer examination, existing approaches can still be computationally expensive especially for ill-conditioned matrices: the convergence rate of gradient descent depends linearly on the condition number of the low-rank matrix, while the per-iteration cost of alternating minimization is often prohibitive for large matrices. The goal of this paper is to set forth a competitive algorithmic approach dubbed Scaled Gradient Descent (ScaledGD) which can be viewed as pre-conditioned or diagonally-scaled gradient descent, where the pre-conditioners are adaptive and iteration-varying with a minimal computational overhead. With tailored variants for low-rank matrix sensing, robust principal component analysis and matrix completion, we theoretically show that ScaledGD achieves the best of both worlds: it converges linearly at a rate independent of the condition number of the low-rank matrix similar as alternating minimization, while maintaining the low per-iteration cost of gradient descent. Our analysis is also applicable to general loss functions that are restricted strongly convex and smooth over low-rank matrices. To the best of our knowledge, ScaledGD is the first algorithm that provably has such properties over a wide range of low-rank matrix estimation tasks.

categories: cs.LG cs.IT eess.SP math.IT math.OC stat.ML


title: Non-asymptotic Results for Singular Values of Gaussian Matrix Products

abstract: This article concerns the non-asymptotic analysis of the singular values (and Lyapunov exponents) of Gaussian matrix products in the regime where $N,$ the number of term in the product, is large and $n,$ the size of the matrices, may be large or small and may depend on $N$. We obtain concentration estimates for sums of Lyapunov exponents, a quantitative rate of convergence of the empirical measure of the normalized squared singular values to the uniform distribution on $[0,1]$, and results on the joint normality of Lyapunov exponents when $N$ is sufficiently large as a function of $n.$ Our technique consists of non-asymptotic versions of the ergodic theory approach at $N=\infty$ due originally to Furstenberg and Kesten in the 1960's, which were then further developed by Newman and Isopi-Newman as well as by a number of other authors in the 1980's. Our key technical idea is that small ball probabilities for volumes of random projections give a way to quantify convergence in the multiplicative ergodic theorem for random matrices.


title: Search for a light charged Higgs boson in the H$^\pm$ $\to $ cs channel in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search is conducted for a low-mass charged Higgs boson produced in a top quark decay and subsequently decaying into a charm and a strange quark. The data sample was recorded in proton-proton collisions at $\sqrt{s} =$ 13 TeV by the CMS experiment at the LHC and corresponds to an integrated luminosity of 35.9 fb$^{-1}$. The search is performed in the process of top quark pair production, where one top quark decays to a bottom quark and a charged Higgs boson, and the other to a bottom quark and a W boson. With the W boson decaying to a charged lepton (electron or muon) and a neutrino, the final state comprises an isolated lepton, missing transverse momentum, and at least four jets, of which two are tagged as b jets. To enhance the search sensitivity, one of the jets originating from the charged Higgs boson is required to satisfy a charm tagging selection. No significant excess beyond standard model predictions is found in the dijet invariant mass distribution. An upper limit in the range 1.68-0.25% is set on the branching fraction of the top quark decay to the charged Higgs boson and bottom quark for a charged Higgs boson mass between 80 and 160 GeV.


title: Pseudo-effective cones of projective bundles and weak Zariski decomposition

abstract: In this article, we consider the projective bundle $\mathbb{P}_X(E)$ over a smooth complex projective variety $X$, where $E$ is a semistable bundle on $X$ with $c_2(End(E)) =0$. We give a necessary and sufficient condition to get the equality $ Nef^1\bigl(\mathbb{P}_X(E)\bigr) = \overline{Eff}^1\bigl(\mathbb{P}_X(E)\bigr)$ of nef cone and pseudoeffective cone of divisors in $\mathbb{P}_X(E)$. As an application of our result, we show the equality of nef and pseudoeffective cones of divisors of projective bundles over some special varieties. In particular, we show that weak Zariski decomposition exists on these projective bundles. We also show that a semistable bundle $E$ of rank $r \geq 2$ with $c_2\bigl(End(E)\bigr) = 0$ on a smooth complex projective variety of Picard number 1 is $k$-homogeneous i.e. $\overline{Eff}^k\bigl(\mathbb{P}_X(E)\bigr) = Nef^k\bigl(\mathbb{P}_{X}(E)\bigr)$ for all $1 \leq k < r$. Finally, we show that weak Zariski decomposition exists for a fibre product $\mathbb{P}_C(E)\times_C\mathbb{P}(E')$ over a smooth projective curve $C$.


title: An inverse problem for the collapsing sum

abstract: Gaussian filters have applications in a variety of areas in computer science, from computer vision to speech recognition. The collapsing sum is a matrix operator that was recently introduced to study Gaussian filters combinatorially. In this paper, we view the collapsing sum from a discrete tomographical perspective and examine the recoverability of its preimages as a matrix completion problem. Using bipartite graphs, we derive a necessary and sufficient condition for a partial matrix to be extended to a preimage of a given matrix.


title: Iterative and doubling algorithms for Riccati-type matrix equations: a comparative introduction

abstract: We review a family of algorithms for Lyapunov- and Riccati-type equations which are all related to each other by the idea of \emph{doubling}: they construct the iterate $Q_k = X_{2^k}$ of another naturally-arising fixed-point iteration $(X_h)$ via a sort of repeated squaring. The equations we consider are Stein equations $X - A^*XA=Q$, Lyapunov equations $A^*X+XA+Q=0$, discrete-time algebraic Riccati equations $X=Q+A^*X(I+GX)^{-1}A$, continuous-time algebraic Riccati equations $Q+A^*X+XA-XGX=0$, palindromic quadratic matrix equations $A+QY+A^*Y^2=0$, and nonlinear matrix equations $X+A^*X^{-1}A=Q$. We draw comparisons among these algorithms, highlight the connections between them and to other algorithms such as subspace iteration, and discuss open issues in their theory.


title: Necessary and sufficient conditions for asymptotically optimal linear prediction of random fields on compact metric spaces

abstract: Optimal linear prediction (aka. kriging) of a random field $\{Z(x)\}_{x\in\mathcal{X}}$ indexed by a compact metric space $(\mathcal{X},d_{\mathcal{X}})$ can be obtained if the mean value function $m\colon\mathcal{X}\to\mathbb{R}$ and the covariance function $\varrho\colon\mathcal{X}\times\mathcal{X}\to\mathbb{R}$ of $Z$ are known. We consider the problem of predicting the value of $Z(x^*)$ at some location $x^*\in\mathcal{X}$ based on observations at locations $\{x_j\}_{j=1}^n$ which accumulate at $x^*$ as $n\to\infty$ (or, more generally, predicting $\varphi(Z)$ based on $\{\varphi_j(Z)\}_{j=1}^n$ for linear functionals $\varphi,\varphi_1,\ldots,\varphi_n$). Our main result characterizes the asymptotic performance of linear predictors (as $n$ increases) based on an incorrect second order structure $(\tilde{m},\tilde{\varrho})$, without any restrictive assumptions on $\varrho,\tilde{\varrho}$ such as stationarity. We, for the first time, provide necessary and sufficient conditions on $(\tilde{m},\tilde{\varrho})$ for asymptotic optimality of the corresponding linear predictor holding uniformly with respect to $\varphi$. These general results are illustrated by weakly stationary random fields on $\mathcal{X}\subset\mathbb{R}^d$ with Mat\'ern or periodic covariance functions, and on the sphere $\mathcal{X}=\mathbb{S}^2$ for the case of two isotropic covariance functions.


title: Investigating the physical conditions in extended system hosting mid-infrared bubble N14

abstract: To observationally explore physical processes, we present a multi-wavelength study of a wide-scale environment toward l = 13.7 - 14.9 degrees containing a mid-infrared bubble N14. The analysis of 12CO, 13CO, and C18O gas at [31.6, 46] km/s reveals an extended physical system (extension ~59 pc x 29 pc), which hosts at least five groups of the ATLASGAL 870 micron dust clumps at d ~3.1 kpc. These spatially-distinct groups/sub-regions contain unstable molecular clumps, and are associated with several Class I young stellar objects (mean age ~0.44 Myr). At least three groups of ATLASGAL clumps associated with the expanding HII regions (including the bubble N14) and embedded infrared dark clouds, devoid of the ionized gas, are found in the system. The observed spectral indices derived using the GMRT and THOR radio continuum data suggest the presence of non-thermal emission with the HII regions. High resolution GMRT radio continuum map at 1280 MHz traces several ionized clumps powered by massive B-type stars toward N14, which are considerably young (age ~10^3 - 10^4 years). Locally, early stage of star formation is evident toward all the groups of clumps. The position-velocity maps of 12CO, 13CO, and C18O exhibit an oscillatory-like velocity pattern toward the selected longitude range. Considering the presence of different groups/sub-regions in the system, the oscillatory pattern in velocity is indicative of the fragmentation process. All these observed findings favour the applicability of the global collapse scenario in the extended physical system, which also seems to explain the observed hierarchy.


title: $T\bar{T}$ deformation of classical Liouville field theory

abstract: We consider the irrelevant flow of classical Liouville field theory driven by the $T\bar T$ operator. After discussing properties of its exact action and equation of motion we construct an infinite set of conserved currents. We also find its vacuum solutions.


title: Halting SARS-CoV-2 by Targeting High-Contact Individuals

abstract: Network scientists have proposed that infectious diseases involving person-to-person transmission may be effectively halted by targeting interventions at a minority of highly connected individuals. Can this strategy be effective in combating a virus partly transmitted in close-range contact, as many believe SARS-CoV-2 to be? Effectiveness critically depends on high between-person variability in the number of close-range contacts. We analyze population survey data showing that indeed the distribution of close-range contacts across individuals is characterized by a small fraction of individuals reporting very high frequencies. Strikingly, we find that the average duration of contact is mostly invariant in the number of contacts, reinforcing the criticality of hubs. We simulate a population embedded in a network with empirically observed contact frequencies. Simulations show that targeting hubs robustly improves containment.


title: On the real Davies' conjecture

abstract: We show that every matrix $A \in \mathbb{R}^{n\times n}$ is at least $\delta$$\|A\|$-close to a real matrix $A+E \in \mathbb{R}^{n\times n}$ whose eigenvectors have condition number at most $\tilde{O}_{n}(\delta^{-1})$. In fact, we prove that, with high probability, taking $E$ to be a sufficiently small multiple of an i.i.d. real sub-Gaussian matrix of bounded density suffices. This essentially confirms a speculation of Davies, and of Banks, Kulkarni, Mukherjee, and Srivastava, who recently proved such a result for i.i.d. complex Gaussian matrices. Along the way, we also prove non-asymptotic estimates on the minimum possible distance between any two eigenvalues of a random matrix whose entries have arbitrary means; this part of our paper may be of independent interest.


title: An $H^p$ scale for complete Pick spaces

abstract: We define by interpolation a scale analogous to the Hardy $H^p$ scale for complete Pick spaces, and establish some of the basic properties of the resulting spaces, which we call $\mathcal{H}^p$. In particular, we obtain an $\mathcal{H}^p-\mathcal{H}^q$ duality and establish sharp pointwise estimates for functions in $\mathcal{H}^p$.


title: An extension in the Adams spectral sequence in dimension 54

abstract: We establish a hidden extension in the Adams spectral sequence converging to the stable homotopy groups of spheres at the prime 2 in the 54-stem. This extension is exceptional in that the only proof we know proceeds via Pstragowski's category of synthetic spectra. This was the final unresolved hidden 2-extension in the Adams spectral sequence through dimension 80. We hope this provides a concise demonstration of the computational leverage provided by $\mathbb{F}_2$-synthetic spectra.


title: Remote Mesoscopic Signatures of Induced Magnetic Texture in Graphene

abstract: Mesoscopic conductance fluctuations are a ubiquitous signature of phase-coherent transport in small conductors, exhibiting universal character independent of system details. In this work, however, we demonstrate a pronounced breakdown of this universality, due to the interplay of local and remote phenomena in transport. Our experiments are performed in a graphene-based interaction-detection geometry, in which an artificial magnetic texture is induced in the graphene layer by covering a portion of it with a micromagnet. When probing conduction at some distance from this region, the strong influence of remote factors is manifested through the appearance of giant conductance fluctuations, with amplitude much larger than $e^2/h$. This violation of one of the fundamental tenets of mesoscopic physics dramatically demonstrates how local considerations can be overwhelmed by remote signatures in phase-coherent conductors


title: Exceptional Point of Degeneracy in Linear-Beam Tubes for High Power Backward-Wave Oscillators

abstract: Abstract An exceptional point of degeneracy (EPD) is induced in a system made of an electron beam interacting with an electromagnetic (EM) guided mode. This enables a degenerate synchronous regime in backward wave oscillators (BWOs) where the electron beams provides distributed gain to the EM mode with distributed power extraction. Current particle-in-cell simulation results demonstrate that BWOs operating at an EPD have a starting-oscillation current that scales quadratically to a non-vanishing value for long interaction lengths and therefore have higher power conversion efficiency at arbitrarily higher level of power generation compared to standard BWOs.


title: Enhanced Infrared Emission by Thermally Switching the Excitation of Magnetic Polariton with Scalable Microstructured VO2 Metasurfaces

abstract: Dynamic radiative cooling attracts fast-increasing interest due to its adaptability to changing environment and promises for more energy-savings than the static counterpart. Here we demonstrate enhanced infrared emission by thermally switching the excitation of magnetic polariton with microstructured vanadium dioxide (VO2) metasurfaces fabricated via scalable and etch-free processes. Temperature-dependent infrared spectroscopy clearly shows that the spectral emittance of fabricated tunable metasurfaces at wavelengths from 2 to 6 um is significantly enhanced when heated beyond its phase transition temperature, where the magnetic polariton is excited with metallic VO2. The tunable emittance spectra are also demonstrated to be insensitive to incidence and polarization angles such that the VO2 metasurface can be treated as a diffuse infrared emitter. Numerical optical simulation and analytical inductance-capacitance model elucidate the suppression or excitation of magnetic polariton with insulating or metallic VO2 upon phase transition. The effect of enhanced thermal emission with the tunable VO2 metasurface is experimentally demonstrated with a thermal vacuum test. For the same heating power of 0.2 W, the steady-state temperature of the tunable VO2 metasurface emitter after phase transition is found to be 20degC lower than that of a reference V2O5 emitter whose static spectral emittance is almost the same as that of the VO2 metasurface before phase transition. The radiative thermal conductance for the tunable metasurface emitter is found to be 3.96 W/m2K with metallic VO2 at higher temperatures and 0.68 W/m2K with insulating VO2 at lower temperatures, clearly demonstrating almost six-fold enhancement in radiative heat dissipation.


title: Noncollinear Magnetic Modulation of Weyl Nodes in Ferrimagnetic Mn$_3$Ga

abstract: The tetragonal ferrimagnetic Mn$_3$Ga exhibits a wide range of intriguing magnetic properties. Here, we report the emergence of topologically nontrivial nodal lines in the absence of spin orbit coupling (SOC) which are protected by both mirror and $C_{4z}$ rotational symmetries. In the presence of SOC we demonstrate that the doubly degenerate nontrivial crossing points evolve into $C_{4z}$-protected Weyl nodes with chiral charge of $\pm$2. Furthermore, we have considered the experimentally reported noncollinear ferrimagnetic structure, where the magnetic moment of the Mn$_I$ atom (on the Mn-Ga plane) is tilted by an angle $\theta$ with respect to the crystallographic $c$ axis. The evolution of the Weyl nodes with $\theta$ reveals that the double Weyl nodes split into a pair of charge-1 Weyl nodes whose separation can be tuned by the magnetic orientation in the noncollinear ferrimagnetic structure.


title: The number of k-tons in the coupon collector problem

abstract: Consider the coupon collector problem where each box of a brand of cereal contains a coupon and there are n different types of coupons. Suppose that the probability of a box containing a coupon of a specific type is $1/n$ and that we keep buying boxes until we collect at least $m$ coupons of each type. For $k\geq m$ call a certain coupon a $k$-ton if we see it $k$ times by the time we have seen $m$ copies of all of the coupons. Here we determine the asymptotic distribution of the number of $k$-tons after we have collected $m$ copies of each coupon for any $k$ in a restricted range, given any fixed $m$. We also determine the asymptotic joint probability distribution over such values of $k$ and the total number of coupons collected.


title: Man vs machine: an experimental study of geosteering decision skills

abstract: With the steady growth of the amount of real-time data while drilling, operational decision-making is becoming both better informed and more complex. Therefore, as no human brain has the capacity to interpret and integrate all decision-relevant information from the data, the adoption of advanced algorithms is required not only for data interpretation but also for decision optimization itself. However, the advantages of the automatic decision-making are hard to quantify. The main contribution of this paper is an experiment in which we compare the decision skills of geosteering experts with those of an automatic decision support system in a fully controlled synthetic environment. The implementation of the system, hereafter called DSS-1, is presented in our earlier work [Alyaev et al. "A decision support system for multi-target geosteering." Journal of Petroleum Science and Engineering 183 (2019)]. For the current study we have developed an easy-to-use web-based platform which can visualize and update uncertainties in a 2D geological model. The platform has both user and application interfaces (GUI and API) allowing us to put human participants and DSS-1 into a similar environment and conditions. The results of comparing 29 geoscientists with DSS-1 over three experimental rounds showed that the automatic algorithm outperformed 28 participants. What's more, no expert has beaten DSS-1 more than once over the three rounds, giving it the best comparative rating among the participants. By design DSS-1 performs consistently, that is, identical problem setup is guaranteed to yield identical decisions. The study showed that only two experts managed to demonstrate partial consistency within a tolerance but ended up with much lower scores.


title: Subgradient-based Lavrentiev regularisation of monotone ill-posed problems

abstract: We introduce subgradient-based Lavrentiev regularisation of the form \begin{equation*} \mathcal{A}(u) + \alpha \partial \mathcal{R}(u) \ni f^\delta \end{equation*} for linear and nonlinear ill-posed problems with monotone operators $\mathcal{A}$ and general regularisation functionals $\mathcal{R}$. In contrast to Tikhonov regularisation, this approach perturbs the equation itself and avoids the use of the adjoint of the derivative of $\mathcal{A}$. It is therefore especially suitable for time-causal problems that only depend on information in the past, governed for instance by Volterra integral operators of the first kind. We establish a general well-posedness theory in Banach spaces, prove convergence-rate results using variational source conditions, and include some illustrating examples.


title: Approximation Algorithms and Hardness for Strong Unique Games

abstract: The UNIQUE GAMES problem is a central problem in algorithms and complexity theory. Given an instance of UNIQUE GAMES, the STRONG UNIQUE GAMES problem asks to find the largest subset of vertices, such that the UNIQUE GAMES instance induced on them is completely satisfiable. In this paper, we give new algorithmic and hardness results for STRONG UNIQUE GAMES. Given an instance with label set size $k$ where a set of $(1 - \epsilon)$-fraction of the vertices induce an instance that is completely satisfiable, our first algorithm produces a set of $1 - \widetilde{O}({k^2}) \epsilon \sqrt{\log n}$ fraction of the vertices such that the UNIQUE GAMES induced on them is completely satisfiable. In the same setting, our second algorithm produces a set of $1 - \widetilde{O}({k^2}) \sqrt{\epsilon \log d}$ (here $d$ is the largest vertex degree of the graph) fraction of the vertices such that the UNIQUE GAMES induced on them is completely satisfiable. The technical core of our results is a new connection between STRONG UNIQUE GAMES and Small-Set-Vertex-Expansion in graphs. Complementing this, assuming the Unique Games Conjecture, we prove that it is NP-hard to compute a set of size larger than $1 - \Omega( \sqrt{\epsilon \log k \log d})$ for which all the constraints induced on this set are satisfied. Given an undirected graph $G(V,E)$ the ODD CYCLE TRANSVERSAL problem asks to delete the least fraction of vertices to make the induced graph on the remaining vertices bipartite. As a corollary to our main algorithmic results, we obtain an algorithm that outputs a set $S$ such the graph induced on $V \setminus S$ is bipartite, and $|S|/n \leq O(\sqrt{\epsilon \log d})$ (here $d$ is the largest vertex degree and $\epsilon$ is the optimal fraction of vertices that need to be deleted). Assuming the Unique Games Conjecture, we prove a matching (up to constant factors) hardness.


title: Modeling extra-deep electromagnetic logs using a deep neural network

abstract: Modern geosteering is heavily dependent on real-time interpretation of deep electromagnetic (EM) measurements. We present a methodology to construct a deep neural network (DNN) model trained to reproduce a full set of extra-deep EM logs consisting of 22 measurements per logging position. The model is trained in a 1D layered environment consisting of up to seven layers with different resistivity values. A commercial simulator provided by a tool vendor is used to generate a training dataset. The dataset size is limited because the simulator provided by the vendor is optimized for sequential execution. Therefore, we design a training dataset that embraces the geological rules and geosteering specifics supported by the forward model. We use this dataset to produce an EM simulator based on a DNN without access to the proprietary information about the EM tool configuration or the original simulator source code. Despite employing a relatively small training set size, the resulting DNN forward model is quite accurate for the considered examples: a multi-layer synthetic case and a section of a published historical operation from the Goliat Field. The observed average evaluation time of 0.15 ms per logging position makes it also suitable for future use as part of evaluation-hungry statistical and/or Monte-Carlo inversion algorithms within geosteering workflows.


title: Dark sector origin of the KOTO and MiniBooNE anomalies

abstract: We present a dark sector model that reproduces the KOTO, MiniBooNE and muon anomalous magnetic moment anomalies. The dark sector is comprised of a light scalar singlet $S$ that has a large coupling to a slightly heavier sterile neutrino that mixes with the active neutrinos. The scalar couples to standard model fermions via Yukawa couplings, and to photons via a higher-dimensional coupling. The KOTO signal is a result of the flavor-changing penguin process $K_L \to \pi^0 S$ followed by the decay of $S$ to neutrinos. The sterile neutrino produced in neutrino-nucleus scattering at MiniBooNE decays to an active neutrino and $S$, which decays electromagnetically and creates an event excess at low energies.


title: Novel Backoff Mechanism for Mitigation of Congestion in DSRC Broadcast

abstract: Due to the recent re-allocation of the 5.9 GHz band by the US Federal Communications Commission (FCC), it will be inevitable that dedicated short-range communications (DSRC) and cellular vehicle-to-everything (C-V2X), two representative technologies for V2X, have to address coexistence. Especially, the distributed nature of DSRC makes it not trivial to control congestions due to an asynchronous structure, which makes it inefficient to disseminate a controlling signal. To this end, we propose a method to "lighten" a distributed V2X networking. Technically, it is to allocate the backoff counter according to the level of an accident risk to which a vehicle is temporarily exposed. We provide an analysis framework based on a spatiotemporal analysis. The numerical results show the improvement in the successful delivery of basic safety messages (BSMs).


title: DHP Framework: Digital Health Passports Using Blockchain -- Use case on international tourism during the COVID-19 pandemic

abstract: In order to contain the COVID-19 pandemic, several countries enforced extended social distancing measures for several weeks, effectively pausing the majority of economic activities. In an effort to resume economic activity safely, several Digital Contact Tracing applications and protocols have been introduced with success. However, DCT is a reactive method, as it aims to break existing chains of disease transmission in a population. Therefore DCT is not suitable for proactively preventing the spread of a disease; an approach that relevant to certain use cases, such as international tourism, where individuals travel across borders. In this work, we first identify the limitations characterising DCT related to privacy issues, unwillingness of the public to use DCT mobile apps due to privacy concerns, lack of interoperability among different DCT applications and protocols, and the assumption that there is limited, local mobility in the population. We then discuss the concept of a Health Passport as a means of verifying that individuals are disease risk-free and how it could be used to resume the international tourism sector. Following, we present the DHP Framework that uses a private blockchain and Proof of Authority for issuing Digital Health Passports. The framework provides a distributed infrastructure supporting the issuance of DHPs by foreign health systems and their verification by relevant stakeholders, such as airline companies and border control authorities. We discuss the attributes of the system in terms of its usability and performance, security and privacy. Finally, we conclude by identifying future extensions of our work on formal security and privacy properties that need to be rigorously guaranteed via appropriate security protocols.


title: High-dimensional outlier detection using random projections

abstract: There exist multiple methods to detect outliers in multivariate data in the literature, but most of them require to estimate the covariance matrix. The higher the dimension, the more complex the estimation of the matrix becoming impossible in high dimensions. In order to avoid estimating this matrix, we propose a novel random projections-based procedure to detect outliers in Gaussian multivariate data. It consists in projecting the data in several one-dimensional subspaces where an appropriate univariate outlier detection method, similar to Tukey's method but with a threshold depending on the initial dimension and the sample size, is applied. The required number of projections is determined using sequential analysis. Simulated and real datasets illustrate the performance of the proposed method.


title: Gyrokinetics investigations of an I-mode pedestal on Alcator C-Mod

abstract: Naturally stable to ELMs, and with widths larger than EPED predictions, the I-modes are an excellent laboratory for investigating the role of drift micro-instabilities in pedestals since I-mode pedestal are not "limited" by MHD instabilities. We present here a study based on gyrokinetic simulations (using GENE) to model fluctuations and heat transport in the I-mode pedestals in C-Mod. We find the Weakly Coherent Mode observed on C-Mod I-mode to be an electrostatic Ion Temperature Gradient/Impurity density gradient (ITG/Impurity) driven mode. The ITG/Impurity mode match frequency and the impurity confinement time observed on the I-mode. Nonlinear ETG simulations, can match experimental heat flux with profile adjustment well within experimental error bars. Simulations, varying impurity level (Zeff) and temperature and density profiles (within experimental error bars), are used to probe the sensitivity of fluctuations and transport.


title: Portrait Shadow Manipulation

abstract: Casually-taken portrait photographs often suffer from unflattering lighting and shadowing because of suboptimal conditions in the environment. Aesthetic qualities such as the position and softness of shadows and the lighting ratio between the bright and dark parts of the face are frequently determined by the constraints of the environment rather than by the photographer. Professionals address this issue by adding light shaping tools such as scrims, bounce cards, and flashes. In this paper, we present a computational approach that gives casual photographers some of this control, thereby allowing poorly-lit portraits to be relit post-capture in a realistic and easily-controllable way. Our approach relies on a pair of neural networks---one to remove foreign shadows cast by external objects, and another to soften facial shadows cast by the features of the subject and to add a synthetic fill light to improve the lighting ratio. To train our first network we construct a dataset of real-world portraits wherein synthetic foreign shadows are rendered onto the face, and we show that our network learns to remove those unwanted shadows. To train our second network we use a dataset of Light Stage scans of human subjects to construct input/output pairs of input images harshly lit by a small light source, and variably softened and fill-lit output images of each face. We propose a way to explicitly encode facial symmetry and show that our dataset and training procedure enable the model to generalize to images taken in the wild. Together, these networks enable the realistic and aesthetically pleasing enhancement of shadows and lights in real-world portrait images


title: Neural Controlled Differential Equations for Irregular Time Series

abstract: Neural ordinary differential equations are an attractive option for modelling temporal dynamics. However, a fundamental issue is that the solution to an ordinary differential equation is determined by its initial condition, and there is no mechanism for adjusting the trajectory based on subsequent observations. Here, we demonstrate how this may be resolved through the well-understood mathematics of \emph{controlled differential equations}. The resulting \emph{neural controlled differential equation} model is directly applicable to the general setting of partially-observed irregularly-sampled multivariate time series, and (unlike previous work on this problem) it may utilise memory-efficient adjoint-based backpropagation even across observations. We demonstrate that our model achieves state-of-the-art performance against similar (ODE or RNN based) models in empirical studies on a range of datasets. Finally we provide theoretical results demonstrating universal approximation, and that our model subsumes alternative ODE models.


title: Dark Matter, Dark Energy and Fundamental Acceleration

abstract: We discuss the existence of an acceleration scale in galaxies and galaxy clusters. The presence of the same acceleration scale found at very different scales and in very different astrophysical objects strongly supports the existence of a fundamental acceleration scale governing the observed gravitational physics. We also comment on the implication of such a fundamental acceleration scale on the problem of dark matter. We discuss the relevance of the fundamental acceleration for the nature of dark matter as well as for structure formation to be explored in future numerical simulations.


title: New curiosities in the menagerie of corks

abstract: A cork is a smooth, contractible, oriented, compact 4-manifold $W$ together with a self-diffeomorphism $f$ of the boundary 3-manifold that cannot extend to a self-diffeomorphism of $W$; the cork is said to be strong if $f$ cannot extend to a self-diffeomorphism of any smooth integer homology ball bounded by $\partial W$. Surprising recent work of Dai, Hedden, and Mallick showed that most of the well-known corks in the literature are strong. We construct the first non-strong corks, which also give rise to new examples of absolutely exotic Mazur manifolds. Additionally we give the first examples of corks where the diffeomorphism of $\partial W$ can be taken to be orientation-reversing.


title: Disaster Resilience and Asset Prices

abstract: This paper investigates whether security markets price the effect of social distancing on firms' operations. We document that firms that are more resilient to social distancing significantly outperformed those with lower resilience during the COVID-19 outbreak, even after controlling for the standard risk factors. Similar cross-sectional return differentials already emerged before the COVID-19 crisis: the 2014-19 cumulative return differential between more and less resilient firms is of similar size as during the outbreak, suggesting growing awareness of pandemic risk well in advance of its materialization. Finally, we use stock option prices to infer the market's return expectations after the onset of the pandemic: even at a two-year horizon, stocks of more pandemic-resilient firms are expected to yield significantly lower returns than less resilient ones, reflecting their lower exposure to disaster risk. Hence, going forward, markets appear to price exposure to a new risk factor, namely, pandemic risk.


title: Overlaps, Eigenvalue Gaps, and Pseudospectrum under real Ginibre and Absolutely Continuous Perturbations

abstract: Let $G_n$ be an $n \times n$ matrix with real i.i.d. $N(0,1/n)$ entries, let $A$ be a real $n \times n$ matrix with $\Vert A \Vert \le 1$, and let $\gamma \in (0,1)$. We show that with probability $0.99$, $A + \gamma G_n$ has all of its eigenvalue condition numbers bounded by $O\left(n^{5/2}/\gamma^{3/2}\right)$ and eigenvector condition number bounded by $O\left(n^3 /\gamma^{3/2}\right)$. Furthermore, we show that for any $s > 0$, the probability that $A + \gamma G_n$ has two eigenvalues within distance at most $s$ of each other is $O\left(n^4 s^{1/3}/\gamma^{5/2}\right).$ In fact, we show the above statements hold in the more general setting of non-Gaussian perturbations with real, independent, absolutely continuous entries with a finite moment assumption and appropriate normalization. This extends the previous work [Banks et al. 2019] which proved an eigenvector condition number bound of $O\left(n^{3/2} / \gamma\right)$ for the simpler case of {\em complex} i.i.d. Gaussian matrix perturbations. The case of real perturbations introduces several challenges stemming from the weaker anticoncentration properties of real vs. complex random variables. A key ingredient in our proof is new lower tail bounds on the small singular values of the complex shifts $z-(A+\gamma G_n)$ which recover the tail behavior of the complex Ginibre ensemble when $\Im z\neq 0$. This yields sharp control on the area of the pseudospectrum $\Lambda_\epsilon(A+\gamma G_n)$ in terms of the pseudospectral parameter $\epsilon>0$, which is sufficient to bound the overlaps and eigenvector condition number via a limiting argument.

categories: math.PR cs.NA math-ph math.MP math.NA math.SP


title: Joint Multi-Dimension Pruning via Numerical Gradient Update

abstract: We present joint multi-dimension pruning (abbreviated as JointPruning), an effective method of pruning a network on three crucial aspects: spatial, depth and channel simultaneously. To tackle these three naturally different dimensions, we proposed a general framework by defining pruning as seeking the best pruning vector (i.e., the numerical value of layer-wise channel number, spacial size, depth) and construct a unique mapping from the pruning vector to the pruned network structures. Then we optimize the pruning vector with gradient update and model joint pruning as a numerical gradient optimization process. To overcome the challenge that there is no explicit function between the loss and the pruning vectors, we proposed self-adapted stochastic gradient estimation to construct a gradient path through network loss to pruning vectors and enable efficient gradient update. We show that the joint strategy discovers a better status than previous studies that focused on individual dimensions solely, as our method is optimized collaboratively across the three dimensions in a single end-to-end training and it is more efficient than the previous exhaustive methods. Extensive experiments on large-scale ImageNet dataset across a variety of network architectures MobileNet V1&V2&V3 and ResNet demonstrate the effectiveness of our proposed method. For instance, we achieve significant margins of 2.5% and 2.6% improvement over the state-of-the-art approach on the already compact MobileNet V1&V2 under an extremely large compression ratio.


title: Reconstructing Maps from Text

abstract: Previous research has demonstrated that Distributional Semantic Models (DSMs) are capable of reconstructing maps from news corpora (Louwerse & Zwaan, 2009) and novels (Louwerse & Benesh, 2012). The capacity for reproducing maps is surprising since DSMs notoriously lack perceptual grounding (De Vega et al., 2012). In this paper we investigate the statistical sources required in language to infer maps, and resulting constraints placed on mechanisms of semantic representation. Study 1 brings word co-occurrence under experimental control to demonstrate that direct co-occurrence in language is necessary for traditional DSMs to successfully reproduce maps. Study 2 presents an instance-based DSM that is capable of reconstructing maps independent of the frequency of co-occurrence of city names.


title: Correlation Energy of a Weakly Interacting Fermi Gas

abstract: We derive rigorously the leading order of the correlation energy of a Fermi gas in a scaling regime of high density and weak interaction. The result verifies the prediction of the random-phase approximation. Our proof refines the method of collective bosonization in three dimensions. We approximately diagonalize an effective Hamiltonian describing approximately bosonic collective excitations around the Hartree-Fock state, while showing that gapless and non-collective excitations have only a negligible effect on the ground state energy.

categories: math-ph cond-mat.quant-gas cond-mat.str-el math.MP


title: Chemical subdiffusivity of critical 2D percolation

abstract: We show that random walk on the incipient infinite cluster (IIC) of two-dimensional critical percolation is subdiffusive in the chemical distance (i.e., in the intrinsic graph metric). Kesten (1986) famously showed that this is true for the Euclidean distance, but it is known that the chemical distance is typically asymptotically larger. More generally, we show that subdiffusivity in the chemical distance holds for stationary random graphs of polynomial volume growth, as long as there is a multi-scale way of covering the graph so that "deep patches" have "thin backbones". Our estimates are quantitative and give explicit bounds in terms of the one and two-arm exponents $\eta_2 > \eta_1 > 0$: For $d$-dimensional models, the mean chemical displacement after $T$ steps of random walk scales asymptotically slower than $T^{1/\beta}$, whenever \[ \beta < 2 + \frac{\eta_2-\eta_1}{d-\eta_1}\,. \] Using the conjectured values of $\eta_2 = \eta_1 + 1/4$ and $\eta_1 = 5/48$ for 2D lattices, the latter quantity is $2+12/91$.


title: Psychophysical identity and free energy

abstract: An approach to implementing variational Bayesian inference in biological systems is considered, under which the thermodynamic free energy of a system directly encodes its variational free energy. In the case of the brain, this assumption places constraints on the neuronal encoding of generative and recognition densities, in particular requiring a stochastic population code. The resulting relationship between thermodynamic and variational free energies is prefigured in mind-brain identity theses in philosophy and in the Gestalt hypothesis of psychophysical isomorphism.


title: A Transformer-based Embedding Model for Personalized Product Search

abstract: Product search is an important way for people to browse and purchase items on E-commerce platforms. While customers tend to make choices based on their personal tastes and preferences, analysis of commercial product search logs has shown that personalization does not always improve product search quality. Most existing product search techniques, however, conduct undifferentiated personalization across search sessions. They either use a fixed coefficient to control the influence of personalization or let personalization take effect all the time with an attention mechanism. The only notable exception is the recently proposed zero-attention model (ZAM) that can adaptively adjust the effect of personalization by allowing the query to attend to a zero vector. Nonetheless, in ZAM, personalization can act at most as equally important as the query and the representations of items are static across the collection regardless of the items co-occurring in the user's historical purchases. Aware of these limitations, we propose a transformer-based embedding model (TEM) for personalized product search, which could dynamically control the influence of personalization by encoding the sequence of query and user's purchase history with a transformer architecture. Personalization could have a dominant impact when necessary and interactions between items can be taken into consideration when computing attention weights. Experimental results show that TEM outperforms state-of-the-art personalization product retrieval models significantly.


title: High-Energy Neutrino and Gamma-Ray Emission from Tidal Disruption Events

abstract: Tidal disruption events (TDE) have been considered as cosmic-ray and neutrino sources for a decade. We suggest two classes of new scenarios for high-energy multi-messenger emission from TDEs that do not have to harbor powerful jets. First, we investigate high-energy neutrino and gamma-ray production in the core region of a supermassive black hole. In particular, we show that about 1-100 TeV neutrinos and MeV gamma-rays can efficiently be produced in hot coronae around an accretion disk. We also study the consequences of particle acceleration in radiatively inefficient accretion flows (RIAFs). Second, we consider possible cosmic-ray acceleration by sub-relativistic disk-driven winds or interactions between tidal streams, and show that subsequent hadronuclear and photohadronic interactions inside the TDE debris lead to GeV-PeV neutrinos and sub-GeV cascade gamma-rays. We demonstrate that these models should be accompanied by soft gamma-rays or hard X-rays as well as optical/UV emission, which can be used for future observational tests. Although this work aims to present models of non-jetted high-energy emission, we discuss the implications of the TDE AT2019dsg that might coincide with the high-energy neutrino IceCube-191001A, by considering the corona, RIAF, hidden sub-relativistic wind, and hidden jet models. It is not yet possible to be conclusive about their physical association and the expected number of neutrinos is typically much less than unity. We find that the most optimistic cases of the corona and hidden wind models could be consistent with the observation of IceCube-191001A, whereas jet models are unlikely to explain the multi-messenger observations.


title: Fractional quantum Hall effect in CVD-grown graphene

abstract: We show the emergence of fractional quantum Hall states in dry-transferred chemical vapor deposition (CVD) derived graphene assembled into heterostructures for magnetic fields from below 3 T to 35 T. Effective composite-fermion filling factors up to $\nu^* = 4$ are visible and higher order composite-fermion states (with four flux quanta attached) start to emerge at the highest fields. Our results show that the quantum mobility of CVD-grown graphene is comparable to that of exfoliated graphene and, more specifically, that the $p/3$ fractional quantum Hall states have energy gaps of up to 30 K, well comparable to those observed in other silicon-gated devices based on exfoliated graphene.


title: Catalan Numbers and Jacobi Polynomials

abstract: We prove that the inverse of the Hankel matrix of the reciprocals of the Catalan numbers has integer entries. We generalize the result to an infinite family of generalized Catalan numbers. The Hankel matrices that we consider are associated with orthogonal polynomials that are variants of Jacobi polynomials. Our proofs use these polynomials and computer algebra based on Wilf-Zeilberger theory.


title: A Starshot Communication Downlink

abstract: Breakthrough Starshot is an initiative to propel a sailcraft to Alpha Centauri within the next generation. As the sailcraft transits Alpha Centauri at 0.2 c, it looks for signs of life by imaging planets and gathering other scientific data. After the transit, the 4.1-meter diameter sailcraft downlinks its data to an Earth-based receiver. The present work estimates the raw data rate of a 1.02 {\mu}m, 100 Watt laser that is received at 1.25 {\mu}m by a 30-meter telescope. The telescope receives 288 signal photons per second (-133 dBm) from the sailcraft after accounting for optical gains (+296 dBi), conventional losses (-476 dB), relativistic effects (-3.5 dB), and link margin (-3.0 dB). For this photon-starved Poisson channel with 0.1 nm equivalent noise bandwidth, 90% detector quantum efficiency, 1024-ary PPM modulation, and 10^-3 raw bit error rate, the raw data rate is 260 bit/s (hard-decision) to 1.5 kbit/s (ideal) raw data rate, which is 8-50 Gbit/year. This rate is slowed by noise, especially starlight from Alpha Centauri A scattered into the detector by the atmosphere and receiver optics as sailcraft nears the star. Because this is a flyby mission (the sailcraft does not stop in the Centauri system), the proper motion of Alpha Centauri relative to Earth carries it away from the sailcraft after transit, and the noise subsides over days to weeks. The downlink can resume as soon as a day after transit, starting at 7-22 bit/s and reaching nearly full speed after 4 months. By using a coronagraph on the receiving telescope, full-rate downlink speed could be reached much sooner.


title: Explicit formulae for geodesics in left invariant sub-Finsler problems on Heisenberg groups via convex trigonometry

abstract: In the present paper, we obtain explicit formulae for geodesics in some left-invariant sub-Finsler problems on Heisenberg groups $\mathbb{H}_{2n+1}$. Our main assumption is the following: the compact convex set of unit velocities at identity admits a generalization of spherical coordinates. This includes convex hulls and sums of coordinate 2-dimensional sets, all left-invariant sub-Riemannian structures on $\mathbb{H}_{2n+1}$, and unit balls in $L_p$-metric for $1\le p\le\infty$. In the last case, extremals are obtained in terms of incomplete Euler integral of the first kind.


title: Which scaling rule applies to Artificial Neural Networks

abstract: The experience shows that cooperating and communicating computing systems, comprising segregated single processors, have severe performance limitations. In his classic "First Draft" von Neumann warned that using a "too fast processor" vitiates his simple "procedure" (but not his computing model!); furthermore, that using the classic computing paradigm for imitating neuronal operations, is unsound. Amdahl added that large machines, comprising many processors, have an inherent disadvantage. Given that ANN's components are heavily communicating with each other, they are built from a large number of components designed/fabricated for use in conventional computing, furthermore they attempt to mimic biological operation using improper technological solutions, their achievable payload computing performance is conceptually modest. The type of workload that AI-based systems generate leads to an exceptionally low payload computational performance, and their design/technology limits their size to just above the "toy" level systems: the scaling of processor-based ANN systems is strongly nonlinear. Given the proliferation and growing size of ANN systems, we suggest ideas to estimate in advance the efficiency of the device or application. Through analyzing published measurements we provide evidence that the role of data transfer time drastically influences both ANNs performance and feasibility. It is discussed how some major theoretical limiting factors, ANN's layer structure and their methods of technical implementation of communication affect their efficiency. The paper starts from von Neumann's original model, without neglecting the transfer time apart from processing time; derives an appropriate interpretation and handling for Amdahl's law. It shows that, in that interpretation, Amdahl's Law correctly describes ANNs.


title: Polarization in low energy kaon-hyperon interaction

abstract: In this paper, we study the low energy kaon-hyperon interaction considering effective chiral Lagrangians that include kaons, $\sigma$ mesons, hyperons and the corresponding resonances. The scattering amplitudes are calculated and then we determine the angular distributions and polarizations.


title: Saving the Sonorine: Photovisual Audio Recovery Using Image Processing and Computer Vision Techniques

abstract: This paper presents a novel technique to recover audio from sonorines, an early 20th century form of analogue sound storage. Our method uses high resolution photographs of sonorines under different lighting conditions to observe the change in reflection behavior of the physical surface features and create a three-dimensional height map of the surface. Sound can then be extracted using height information within the surface's grooves, mimicking a physical stylus on a phonograph. Unlike traditional playback methods, our method has the advantage of being contactless: the medium will not incur damage and wear from being played repeatedly. We compare the results of our technique to a previously successful contactless method using flatbed scans of the sonorines, and conclude with future research that can be applied to this photovisual approach to audio recovery.


title: A harmonic mean inequality for the $q-$gamma and $q-$digamma functions

abstract: We prove amongs others results that the harmonic mean of $\Gamma_q(x)$ and $\Gamma_q(1/x)$ is greater than or equal to $1$ for arbitrary $x > 0$ and $q\in J$ where $J$ is a subset of $[0,+\infty)$. Also, we prove that for there is $p_0\in(1,9/2)$, such that for $q\in(0,p_0)$, $\psi_q(1)$ is the minimum of the harmonic mean of $\psi_q(x)$ and $\psi_q(1/x)$ for $x > 0$ and for $q\in(p_0,+\infty)$, $\psi_q(1)$ is the maximum. Our results generalize some known inequalities due to Alzer and Gautschi.


title: Arabic Offensive Language Detection Using Machine Learning and Ensemble Machine Learning Approaches

abstract: This study aims at investigating the effect of applying single learner machine learning approach and ensemble machine learning approach for offensive language detection on Arabic language. Classifying Arabic social media text is a very challenging task due to the ambiguity and informality of the written format of the text. Arabic language has multiple dialects with diverse vocabularies and structures, which increase the complexity of obtaining high classification performance. Our study shows significant impact for applying ensemble machine learning approach over the single learner machine learning approach. Among the trained ensemble machine learning classifiers, bagging performs the best in offensive language detection with F1 score of 88%, which exceeds the score obtained by the best single learner classifier by 6%. Our findings highlight the great opportunities of investing more efforts in promoting the ensemble machine learning approach solutions for offensive language detection models.


title: Discrete solitons dynamics in $\cal{PT}$-symmetric oligomers with complex-valued couplings

abstract: We consider an array of double oligomers in an optical waveguide device. A mathematical model for the system is the coupled discrete nonlinear Schr\"odinger (NLS) equations, where the gain-and-loss parameter contributes to the complex-valued linear coupling. The array caters to an optical simulation of the parity-time ($\cal{PT}$)-symmetry property between the coupled arms. The system admits fundamental bright discrete soliton solutions. We investigate their existence and spectral stability using perturbation theory analysis. These analytical findings are verified further numerically using the Newton-Raphson method and a standard eigenvalue-problem solver. Our study focuses on two natural discrete modes of the solitons: single- and double-excited-sites, also known as onsite and intersite modes, respectively. Each of these modes acquires three distinct configurations between the dimer arms, i.e., symmetric, asymmetric, and antisymmetric. Although both intersite and onsite discrete solitons are generally unstable, the latter can be stable, depending on the combined values of the propagation constant, horizontal linear coupling coefficient, and gain-loss parameter.


title: Achieving Online Regression Performance of LSTMs with Simple RNNs

abstract: Recurrent Neural Networks (RNNs) are widely used for online regression due to their ability to generalize nonlinear temporal dependencies. As an RNN model, Long-Short-Term-Memory Networks (LSTMs) are commonly preferred in practice, as these networks are capable of learning long-term dependencies while avoiding the vanishing gradient problem. However, due to their large number of parameters, training LSTMs requires considerably longer training time compared to simple RNNs (SRNNs). In this paper, we achieve the online regression performance of LSTMs with SRNNs efficiently. To this end, we introduce a first-order training algorithm with a linear time complexity in the number of parameters. We show that when SRNNs are trained with our algorithm, they provide very similar regression performance with the LSTMs in two to three times shorter training time. We provide strong theoretical analysis to support our experimental results by providing regret bounds on the convergence rate of our algorithm. Through an extensive set of experiments, we verify our theoretical work and demonstrate significant performance improvements of our algorithm with respect to LSTMs and the other state-of-the-art learning models.


title: Switching friction at a manganite surface using electric fields

abstract: We report active control of the friction force at the contact between a nanoscale asperity and a La$_{0.55}$Ca$_{0.45}$MnO$_3$ (LCMO) thin film using electric fields. We use friction force microscopy under ultrahigh vacuum conditions to measure the friction force as we change the film resistive state by electric field-induced resistive switching. Friction forces are high in the insulating state and clearly change to lower values when the probed local region is switched to the conducting state. Upon switching back to an insulating state, the friction forces increase again. Thus, we demonstrate active control of friction without having to change the contact temperature or pressure. By comparing with measurements of friction at the metal-to-insulator transition and with the effect of applied voltage on adhesion, we rule out electronic excitations, electrostatic forces and changes in contact area as the reasons for the effect of resistive switching on friction. Instead, we argue that friction is limited by phonon relaxation times which are strongly coupled to the electronic degrees of freedom through distortions of the MnO6 octahedra. The concept of controlling friction forces by electric fields should be applicable to any materials where the field produces strong changes in phonon lifetimes.


title: Quantum string comparison method

abstract: We propose a quantum string comparison method whose main building blocks are a specially designed oracle construction followed by Grover's search algorithm. The purpose of the oracle is to compare all alphabets of the string in parallel. This requires a unique input state preparation, which when combined with some ancillas will result in a deterministic binary success and failure compare outcome.


title: Quantum Probabilistic Spaces on Graphs for Topological Evolutions

abstract: We start with the consideration of fusion rules of anyonic particles evolving on a 2D surface and the a hypergroup comes with it to construct entangled quantum Markov chains. The fusion rules induce an association scheme with Krein parameters and their duals the intersection numbers. One useful way to think of the schemes as regular graphs encoding the paths of possible quantum walks (automorphisms). We consider braid B3 that describes the unitary dynamics of the anyons as the automorphism subgroup of the graphs. The dynamics induced by the fusions (and the adjoint splitting operations) may be viewed as the chain evolving on a growing graph and the braiding as automorphisms on a fixed graph. In our quantum probability framework infinite iterations of the unitaries, which can encode algorithmic content for quantum simulations, can describe asymptotics elegantly if the particles are allowed to evolve coherently for a longer period. We will define quantum states on the Bose-Mesner algebra which is also a von Neumann algebra as well as a Frobenius algebra to build the quantum Markov chains providing another perspective to topological computation.


title: Visions, Values, and Videos: Revisiting Envisionings in Service of UbiComp Design for the Home

abstract: UbiComp has been envisioned to bring about a future dominated by calm computing technologies making our everyday lives ever more convenient. Yet the same vision has also attracted criticism for encouraging a solitary and passive lifestyle. The aim of this paper is to explore and elaborate these tensions further by examining the human values surrounding future domestic UbiComp solutions. Drawing on envisioning and contravisioning, we probe members of the public (N=28) through the presentation and focus group discussion of two contrasting animated video scenarios, where one is inspired by "calm" and the other by "engaging" visions of future UbiComp technology. By analysing the reasoning of our participants, we identify and elaborate a number of relevant values involved in balancing the two perspectives. In conclusion, we articulate practically applicable takeaways in the form of a set of key design questions and challenges.


title: On the Transition Laws of $p$-Tempered $\alpha$-Stable OU-Processes

abstract: We derive an explicit representation for the transition law of a $p$-tempered $\alpha$-stable process of Ornstein-Uhlenbeck-type and use it to develop a methodology for simulation. Our results apply in both the univariate and multivariate cases. Special attention is given to the case where $p\le\alpha$, which is more complicated and requires additional care.


title: On the Complexity of Breaking Symmetry

abstract: We can break symmetry by eliminating solutions within a symmetry class that are not least in the lexicographical ordering. This is often referred to as the lex-leader method. Unfortunately, as symmetry groups can be large, the lexleader method is not tractable in general. We prove that using other total orderings besides the usual lexicographical ordering will not reduce the computational complexity of breaking symmetry in general. It follows that breaking symmetry with other orderings like the Gray code ordering or the Snake-Lex ordering is intractable in general.


title: Existence of Erd\H{o}s-Burgess constant in commutative rings

abstract: Let $R$ be a commutative unitary ring. An idempotent in $R$ is an element $e\in R$ with $e^2=e$. The Erd\H{o}s-Burgess constant associated with the ring $R$ is the smallest positive integer $\ell$ (if exists) such that for any given $\ell$ elements (not necessarily distinct) of $R$, say $a_1,\ldots,a_{\ell}\in R$, there must exist a nonempty subset $J\subset \{1,2,\ldots,\ell\}$ with $\prod\limits_{j\in J} a_j$ being an idempotent. In this paper, we prove that except for an infinite commutative ring with a very special form, the Erd\H{o}s-Burgess constant of the ring $R$ exists if and only if $R$ is finite.