title: Minimal Hopf-Galois Structures on Separable Field Extensions

abstract: In Hopf-Galois theory, every $H$-Hopf-Galois structure on a field extension $K/k$ gives rise to an injective map $\mathcal{F}$ from the set of $k$-sub-Hopf algebras of $H$ into the intermediate fields of $K/k$. Recent papers on the failure of the surjectivity of $\mathcal{F}$ reveal that there exist many Hopf-Galois structures for which there are many more subfields than sub-Hopf algebras. This paper surveys and illustrates group-theoretical methods to determine $H$-Hopf-Galois structures on finite separable extensions in the extreme situation when $H$ has only two sub-Hopf algebras.


title: Fast Graph Filters for Decentralized Subspace Projection

abstract: A number of inference problems with sensor networks involve projecting a measured signal onto a given subspace. In existing decentralized approaches, sensors communicate with their local neighbors to obtain a sequence of iterates that asymptotically converges to the desired projection. In contrast, the present paper develops methods that produce these projections in a finite and approximately minimal number of iterations. Building upon tools from graph signal processing, the problem is cast as the design of a graph filter which, in turn, is reduced to the design of a suitable graph shift operator. Exploiting the eigenstructure of the projection and shift matrices leads to an objective whose minimization yields approximately minimum-order graph filters. To cope with the fact that this problem is not convex, the present work introduces a novel convex relaxation of the number of distinct eigenvalues of a matrix based on the nuclear norm of a Kronecker difference. To tackle the case where there exists no graph filter capable of implementing a certain subspace projection with a given network topology, a second optimization criterion is presented to approximate the desired projection while trading the number of iterations for approximation error. Two algorithms are proposed to optimize the aforementioned criteria based on the alternating-direction method of multipliers. An exhaustive simulation study demonstrates that the obtained filters can effectively obtain subspace projections markedly faster than existing algorithms.


title: Two-loop analysis of classically scale-invariant models with extended Higgs sectors

abstract: We present the first explicit calculation of leading two-loop corrections to the Higgs trilinear coupling $\lambda_{hhh}$ in models with classical scale invariance (CSI), using the effective-potential approximation. Furthermore, we also study -- for the first time at two loops -- the relation that appears between the masses of all states in CSI theories, due to the requirement of reproducing correctly the 125-GeV Higgs-boson mass. In addition to obtaining analytic results for general CSI models, we consider two particular examples of Beyond-the-Standard-Model theories with extended Higgs sectors, namely an $N$-scalar model (endowed with a global $O(N)$ symmetry) and a CSI version of the Two-Higgs-Doublet Model, and we perform detailed numerical studies of these scenarios. While at one loop the value of the Higgs trilinear coupling is identical in all CSI models, and deviates by approximately $82\%$ from the (one-loop) SM prediction, we find that the inclusion of two-loop corrections lifts this universality and allows distinguishing different BSM scenarios with CSI. Taking into account constraints from perturbative unitarity and the relation among masses, we find for both types of scenarios we consider that at two loops $\lambda_{hhh}$ deviates from its SM prediction by $100\pm10\%$ -- i.e. a quite significant further deviation with respect to the one-loop result of $\sim 82\%$.


title: Topological Magnetoelectric Switching on the Atomic Scale

abstract: Intrinsic magnetic topological insulators from MnBi2Te4 family promise realization of axion insulator, a theoretically predicted state of matter capable to mutually convert electric and magnetic signals, and whose properties are reminiscent of cosmological axion dark matter. Here we report the first experimental realization of room-temperature axionic single-spin switch in topological metamaterial MnBi2Te3. The metamaterial was in situ created in the scanning tunneling microscopy (STM) experiment by removing Te atomic layer from MnBi2Te4 surface using STM tip. Room temperature STM study of MnBi2Te3 revealed atomic scale variations of exchange gap and formation of nanoscale spin bubbles pinned at subsurface defects. We found that individual spin states in MnBi2Te3 can be reversibly switched using local electric field of STM tip with magnetoelectric response comparable to the theoretically predicted response of axion insulator. The observed topological surface magnetism develops significantly above bulk N\'eel temperature.


title: Factorials $\pmod p$ and the average of modular mappings

abstract: We have known that most sequences in $\mathcal{M}=\{1,2,\dots, M\}$ with length $n$ will miss $Me^{-\lambda}$ of the total numbers of $\{1,2,\dots,M\}$ as the ratio $n/M$ tends to $\lambda$. Now we consider a more general case where the numbers in $\{1,2,\dots,M\}$ are achieved exactly k times by a 'random' sequence $f(1), f(2),\dots,f(n)$. We show that if $n/M\rightarrow \lambda$, then the limit has a Poisson distribution, that is, the proportion of sequences for which some number in $\mathcal{M}$ is achieved exactly $k$ times has the limit $\frac{\lambda^k}{k!}e^{-\lambda}$. We conjecture that this is the behavior of the factorial mapping modulo a prime and present a few supporting arguments.


title: Continuous Adjoint Complement to the Blasius Equation

abstract: The manuscript is concerned with a continuous adjoint complement to two-dimensional, incompressible, first-order boundary-layer equations for a flat plate boundary-layer. The text is structured into three parts. The first part demonstrates, that the adjoint complement can be derived in two ways, either following a first simplify then derive or a first derive and then simplify strategy. The simplification step comprises the classical boundary-layer (b.-l.) approximation and the derivation step transfers the primal flow equation into a companion adjoint equation. The second part of the paper comprises the analyses of the coupled primal/adjoint b.-l. framework. This leads to similarity parameters, which turn the Partial-Differential-Equation (PDE) problem into a boundary value problem described by a set of Ordinary-Differential-Equations (ODE) and support the formulation of an adjoint complement to the classical Blasius equation. Opposite to the primal Blasius equation, its adjoint complement consists of two ODEs which can be simplified depending on the treatment of advection. It is shown, that the advective fluxes, which are frequently debated in the literature, vanish for the investigated self-similar b.l. flows. Differences between the primal and the adjoint Blasius framework are discussed against numerical solutions, and analytical expressions are derived for the adjoint b.-l. thickness, wall shear stress and subordinated skin friction and drag coefficients. The analysis also provides an analytical expression for the shape sensitivity to shear driven drag objectives. The third part assesses the predictive agreement between the different Blasius solutions and numerical results for Navier-Stokes simulations of a flat plate b.-l. at Reynolds numbers between 1E+03 <= ReL <= 1E+05 .


title: Pix2Streams: Dynamic Hydrology Maps from Satellite-LiDAR Fusion

abstract: Where are the Earth's streams flowing right now? Inland surface waters expand with floods and contract with droughts, so there is no one map of our streams. Current satellite approaches are limited to monthly observations that map only the widest streams. These are fed by smaller tributaries that make up much of the dendritic surface network but whose flow is unobserved. A complete map of our daily waters can give us an early warning for where droughts are born: the receding tips of the flowing network. Mapping them over years can give us a map of impermanence of our waters, showing where to expect water, and where not to. To that end, we feed the latest high-res sensor data to multiple deep learning models in order to map these flowing networks every day, stacking the times series maps over many years. Specifically, i) we enhance water segmentation to $50$ cm/pixel resolution, a 60$\times$ improvement over previous state-of-the-art results. Our U-Net trained on 30-40cm WorldView3 images can detect streams as narrow as 1-3m (30-60$\times$ over SOTA). Our multi-sensor, multi-res variant, WasserNetz, fuses a multi-day window of 3m PlanetScope imagery with 1m LiDAR data, to detect streams 5-7m wide. Both U-Nets produce a water probability map at the pixel-level. ii) We integrate this water map over a DEM-derived synthetic valley network map to produce a snapshot of flow at the stream level. iii) We apply this pipeline, which we call Pix2Streams, to a 2-year daily PlanetScope time-series of three watersheds in the US to produce the first high-fidelity dynamic map of stream flow frequency. The end result is a new map that, if applied at the national scale, could fundamentally improve how we manage our water resources around the world.


title: An acceleration of decentralized SGD under general assumptions with low stochastic noise

abstract: Distributed optimization methods are actively researched by optimization community. Due to applications in distributed machine learning, modern research directions include stochastic objectives, reducing communication frequency, and time-varying communication network topology. Recently, an analysis unifying several centralized and decentralized approaches to stochastic distributed optimization was developed in Koloskova et al. (2020). In this work, we employ a Catalyst framework and accelerate the rates of Koloskova et al. (2020) in the case of low stochastic noise.


title: Uncertainty as a Form of Transparency: Measuring, Communicating, and Using Uncertainty

abstract: Algorithmic transparency entails exposing system properties to various stakeholders for purposes that include understanding, improving, and contesting predictions. Until now, most research into algorithmic transparency has predominantly focused on explainability. Explainability attempts to provide reasons for a machine learning model's behavior to stakeholders. However, understanding a model's specific behavior alone might not be enough for stakeholders to gauge whether the model is wrong or lacks sufficient knowledge to solve the task at hand. In this paper, we argue for considering a complementary form of transparency by estimating and communicating the uncertainty associated with model predictions. First, we discuss methods for assessing uncertainty. Then, we characterize how uncertainty can be used to mitigate model unfairness, augment decision-making, and build trustworthy systems. Finally, we outline methods for displaying uncertainty to stakeholders and recommend how to collect information required for incorporating uncertainty into existing ML pipelines. This work constitutes an interdisciplinary review drawn from literature spanning machine learning, visualization/HCI, design, decision-making, and fairness. We aim to encourage researchers and practitioners to measure, communicate, and use uncertainty as a form of transparency.


title: A class of well-balanced algorithms for relativistic fluids on a Schwarzschild background

abstract: For the evolution of a compressible fluid in spherical symmetry on a Schwarzschild curved background, we design a class of well-balanced numerical algorithms with first-order or second-order of accuracy. We treat both the relativistic Burgers-Schwarzschild model and the relativistic Euler-Schwarzschild model and take advantage of the explicit or implicit forms available for the stationary solutions of these models. Our schemes follow the finite volume methodology and preserve the stationary solutions. Importantly, they allow us to investigate the global asymptotic behavior of such flows and determine the asymptotic behavior of the mass density and velocity field of the fluid.


title: Normal heat diffusion in many-body system via thermal photons

abstract: A normal-diffusion theory for heat transfer in many-body systems via carriers of thermal photons is developed. The thermal conductivity tensor is rigorously derived from fluctuational electrodynamics as a coefficient of diffusion term for the first time. In addition, a convection-like heat transfer behavior is revealed in systems of asymmetric distribution of particles, indicating violation of Fourier's law for such system. Considering the central role of thermal conductivity in heat transfer, this work paves a way for understanding, analysis and manipulation of heat transfer in nanoparticle system via thermal photons with many-body interactions.


title: DIRL: Domain-Invariant Representation Learning for Sim-to-Real Transfer

abstract: Generating large-scale synthetic data in simulation is a feasible alternative to collecting/labelling real data for training vision-based deep learning models, albeit the modelling inaccuracies do not generalize to the physical world. In this paper, we present a domain-invariant representation learning (DIRL) algorithm to adapt deep models to the physical environment with a small amount of real data. Existing approaches that only mitigate the covariate shift by aligning the marginal distributions across the domains and assume the conditional distributions to be domain-invariant can lead to ambiguous transfer in real scenarios. We propose to jointly align the marginal (input domains) and the conditional (output labels) distributions to mitigate the covariate and the conditional shift across the domains with adversarial learning, and combine it with a triplet distribution loss to make the conditional distributions disjoint in the shared feature space. Experiments on digit domains yield state-of-the-art performance on challenging benchmarks, while sim-to-real transfer of object recognition for vision-based decluttering with a mobile robot improves from 26.8 % to 91.0 %, resulting in 86.5 % grasping accuracy of a wide variety of objects. Code and supplementary details are available at https://sites.google.com/view/dirl


title: MuSCLE: Multi Sweep Compression of LiDAR using Deep Entropy Models

abstract: We present a novel compression algorithm for reducing the storage of LiDAR sensor data streams. Our model exploits spatio-temporal relationships across multiple LiDAR sweeps to reduce the bitrate of both geometry and intensity values. Towards this goal, we propose a novel conditional entropy model that models the probabilities of the octree symbols by considering both coarse level geometry and previous sweeps' geometric and intensity information. We then use the learned probability to encode the full data stream into a compact one. Our experiments demonstrate that our method significantly reduces the joint geometry and intensity bitrate over prior state-of-the-art LiDAR compression methods, with a reduction of 7-17% and 15-35% on the UrbanCity and SemanticKITTI datasets respectively.


title: Does spontaneous motion lead to intuitive Body-Machine Interfaces? A fitness study of different body segments for wearable telerobotics

abstract: Human-Robot Interfaces (HRIs) represent a crucial component in telerobotic systems. Body-Machine Interfaces (BoMIs) based on body motion can feel more intuitive than standard HRIs for naive users as they leverage humans' natural control capability over their movements. Among the different methods used to map human gestures into robot commands, data-driven approaches select a set of body segments and transform their motion into commands for the robot based on the users' spontaneous motion patterns. Despite being a versatile and generic method, there is no scientific evidence that implementing an interface based on spontaneous motion maximizes its effectiveness. In this study, we compare a set of BoMIs based on different body segments to investigate this aspect. We evaluate the interfaces in a teleoperation task of a fixed-wing drone and observe users' performance and feedback. To this aim, we use a framework that allows a user to control the drone with a single Inertial Measurement Unit (IMU) and without prior instructions. We show through a user study that selecting the body segment for a BoMI based on spontaneous motion can lead to sub-optimal performance. Based on our findings, we suggest additional metrics based on biomechanical and behavioral factors that might improve data-driven methods for the design of HRIs.


title: Studying Robustness of Semantic Segmentation under Domain Shift in cardiac MRI

abstract: Cardiac magnetic resonance imaging (cMRI) is an integral part of diagnosis in many heart related diseases. Recently, deep neural networks have demonstrated successful automatic segmentation, thus alleviating the burden of time-consuming manual contouring of cardiac structures. Moreover, frameworks such as nnU-Net provide entirely automatic model configuration to unseen datasets enabling out-of-the-box application even by non-experts. However, current studies commonly neglect the clinically realistic scenario, in which a trained network is applied to data from a different domain such as deviating scanners or imaging protocols. This potentially leads to unexpected performance drops of deep learning models in real life applications. In this work, we systematically study challenges and opportunities of domain transfer across images from multiple clinical centres and scanner vendors. In order to maintain out-of-the-box usability, we build upon a fixed U-Net architecture configured by the nnU-net framework to investigate various data augmentation techniques and batch normalization layers as an easy-to-customize pipeline component and provide general guidelines on how to improve domain generalizability abilities in existing deep learning methods. Our proposed method ranked first at the Multi-Centre, Multi-Vendor & Multi-Disease Cardiac Image Segmentation Challenge (M&Ms).


title: Morphologically Aware Word-Level Translation

abstract: We propose a novel morphologically aware probability model for bilingual lexicon induction, which jointly models lexeme translation and inflectional morphology in a structured way. Our model exploits the basic linguistic intuition that the lexeme is the key lexical unit of meaning, while inflectional morphology provides additional syntactic information. This approach leads to substantial performance improvements - 19% average improvement in accuracy across 6 language pairs over the state of the art in the supervised setting and 16% in the weakly supervised setting. As another contribution, we highlight issues associated with modern BLI that stem from ignoring inflectional morphology, and propose three suggestions for improving the task.


title: On graviton propagation in curved space-time background

abstract: Equation describing propagation of gravitational waves (GW) over arbitrary curved space-time background is analyzed. New terms, which are absent in the conventional homogeneous and isotropic Friedmann cosmology, are found. Some examples of realistic metric, where these new terms manifest themselves, are presented. Possible implications to very low frequency GW are briefly discussed.


title: Accelerating Distributed SGD for Linear Regression using Iterative Pre-Conditioning

abstract: This paper considers the multi-agent distributed linear least-squares problem. The system comprises multiple agents, each agent with a locally observed set of data points, and a common server with whom the agents can interact. The agents' goal is to compute a linear model that best fits the collective data points observed by all the agents. In the server-based distributed settings, the server cannot access the data points held by the agents. The recently proposed Iteratively Pre-conditioned Gradient-descent (IPG) method has been shown to converge faster than other existing distributed algorithms that solve this problem. In the IPG algorithm, the server and the agents perform numerous iterative computations. Each of these iterations relies on the entire batch of data points observed by the agents for updating the current estimate of the solution. Here, we extend the idea of iterative pre-conditioning to the stochastic settings, where the server updates the estimate and the iterative pre-conditioning matrix based on a single randomly selected data point at every iteration. We show that our proposed Iteratively Pre-conditioned Stochastic Gradient-descent (IPSG) method converges linearly in expectation to a proximity of the solution. Importantly, we empirically show that the proposed IPSG method's convergence rate compares favorably to prominent stochastic algorithms for solving the linear least-squares problem in server-based networks.


title: The ground state of non-associative hydrogen and upper bounds on the magnetic charge of elementary particles

abstract: Formulations of magnetic monopoles in a Hilbert-space formulation of quantum mechanics require Dirac's quantization condition of magnetic charge, which implies a large value that can easily be ruled out for elementary particles by standard atomic spectroscopy. However, an algebraic formulation of non-associative quantum mechanics is mathematically consistent with fractional magnetic charges of small values. Here, spectral properties in non-associative quantum mechanics are derived, applied to the ground state of hydrogen with a magnetically charged nucleus. The resulting energy leads to new strong upper bounds for the magnetic charge of various elementary particles that can appear as the nucleus of hydrogen-like atoms, such as the muon or the antiproton.


title: The effect of monetary incentives on sociality induced cooperation

abstract: This paper examines how the group membership fee influences the formation of groups and the cooperation rate within the socialized groups. We found that monetary transactions do not ruin the establishment of social ties and the formation of group relations.


title: Fredholm Theory for Pseudoholomorphic Curves with Brake Symmetry

abstract: In this paper we study pseudoholomorphic curves with brake symmetry in symplectization of a closed contact manifold. We introduce the pseudoholomorphic curve with brake symmetry and the corresponding moduli space. Then we get the virtual dimension of the moduli space.


title: Metal-polymer hybrid chemiresistive sensor for low concentration fast hydrogen detection

abstract: Low concentration hydrogen gas detection is of paramount importance both in space applications as well as medical applications. It is also critically important for safe handling of hydrogen below the explosive limit. Here, we report a novel hybrid Pd metal-polymer chemiresistive sensor that can sense 0.5% hydrogen ($H_2$) gas in ambient conditions of temperature and pressure with the highest reported sensitivity($\sim$30%) obtained earlier by a physical deposition technique, making it an extremely good sensor for real life low concentration hydrogen gas detection. The sensor is easy to fabricate and is also extremely cost-effective for commercial applications. The obtained hybrid chemiresistive sensor comprises palladium (Pd) nanocrystals bound by oxygen and nitrogen atoms of a stabilizer Polyvinylepyrollidone (PVP), grown on top of a selfassembled monolayer. The exceptional rise time-constant is proposed to arise from hydrogen loading at the (111) surface of the palladium nanocrystal which is a very fast process and subsequent fast diffusion of the H atoms from the surface into the bulk. An effort to increase the number of available sites by UV-ozone cleaning, resulted in a degradation of the sensing device due to the poisoning of the available sites by oxygen.


title: Resource Allocation of Dual-Hop VLC/RF Systems with Light Energy Harvesting

abstract: In this paper, we study the time allocation optimization problem to maximize the sum throughput in a dual-hop heterogeneous visible light communication (VLC)/radio frequency (RF) communication system. Two scenarios are investigated in this paper. For the first scenario, we consider an optical wireless powered communication network (WPCN) in which all users harvest energy from the received lightwave over downlink (DL), and then they use the harvested energy to transmit information signals in the uplink (UL) channels based on the time division multiple access (TDMA) scheme. The optimal time allocation in the UL is obtained to maximize the sum throughput of all users. For the second scenario, the time switching simultaneous lightwave information and power transfer (TS-SLIPT) based on the dual-hop VLC/RF is assumed that the LED transmits information and power simultaneously in the first hop DL (i.e., VLC link). The harvested energy at the relay is used to transmit information signals over the UL in the second hop (i.e., RF link). We propose a multi-objective optimization problem (MOOP) to study the trade-off between UL and DL sum-rate maximization. The non-convex MOOP framework is then transformed into an equivalent form, which yields a set of Pareto optimal resource allocation policies. We also illustrate the effectiveness of the proposed approaches through numerical results.


title: Geometry of quantum complexity

abstract: Computational complexity is a new quantum information concept that may play an important role in holography and in understanding the physics of the black hole interior. We consider quantum computational complexity for $n$ qubits using Nielsen's geometrical approach. We investigate a choice of penalties which, compared to previous definitions, increases in a more progressive way with the number of qubits simultaneously entangled by a given operation. This choice turns out to be free from singularities. We also analyze the relation between operator and state complexities, framing the discussion with the language of Riemannian submersions. This provides a direct relation between geodesics and curvatures in the unitaries and the states spaces, which we also exploit to give a closed-form expression for the metric on the states in terms of the one for the operators. Finally, we study conjugate points for a large number of qubits in the unitary space and we provide a strong indication that maximal complexity scales exponentially with the number of qubits in a certain regime of the penalties space.


title: Realization of Topological Mott Insulator in a Twisted Bilayer Graphene Lattice Model

abstract: Magic-angle twisted bilayer graphene has recently become a thriving material platform realizing correlated electron phenomena taking place within its topological flat bands. Several numerical and analytical methods have been applied to understand the correlated phases therein, revealing some similarity with the quantum Hall physics. In this work, we provide a Mott-Hubbard perspective for the TBG system. Employing the large-scale density matrix renormalization group on the lattice model containing the projected Coulomb interactions only, we identify a first-order quantum phase transition between the insulating stripe phase and the quantum anomalous Hall state with the Chern number of $\pm 1$. Our results not only shed light on the mechanism of the quantum anomalous Hall state discovered at three-quarters filling, but also provide an example of the topological Mott insulator, i.e., the quantum anomalous Hall state in the strong coupling limit.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.supr-con


title: Power Side-Channel Attacks on BNN Accelerators in Remote FPGAs

abstract: To lower cost and increase the utilization of Cloud Field-Programmable Gate Arrays (FPGAs), researchers have recently been exploring the concept of multi-tenant FPGAs, where multiple independent users simultaneously share the same remote FPGA. Despite its benefits, multi-tenancy opens up the possibility of malicious users co-locating on the same FPGA as a victim user, and extracting sensitive information. This issue becomes especially serious when the user is running a machine learning algorithm that is processing sensitive or private information. To demonstrate the dangers, this paper presents a remote, power-based side-channel attack on a deep neural network accelerator running in a variety of Xilinx FPGAs and also on Cloud FPGAs using Amazon Web Services (AWS) F1 instances. This work in particular shows how to remotely obtain voltage estimates as a deep neural network inference circuit executes, and how the information can be used to recover the inputs to the neural network. The attack is demonstrated with a binarized convolutional neural network used to recognize handwriting images from the MNIST handwritten digit database. With the use of precise time-to-digital converters for remote voltage estimation, the MNIST inputs can be successfully recovered with a maximum normalized cross-correlation of 79% between the input image and the recovered image on local FPGA boards and 72% on AWS F1 instances. The attack requires no physical access nor modifications to the FPGA hardware.


title: Stochastic Strategies for Robotic Surveillance as Stackelberg Games

abstract: This paper studies a stochastic robotic surveillance problem where a mobile robot moves randomly on a graph to capture a potential intruder that strategically attacks a location on the graph. The intruder is assumed to be omniscient: it knows the current location of the mobile agent and can learn the surveillance strategy. The goal for the mobile robot is to design a stochastic strategy so as to maximize the probability of capturing the intruder. We model the strategic interactions between the surveillance robot and the intruder as a Stackelberg game, and optimal and suboptimal Markov chain based surveillance strategies in star, complete and line graphs are studied. We first derive a universal upper bound on the capture probability, i.e., the performance limit for the surveillance agent. We show that this upper bound is tight in the complete graph and further provide suboptimality guarantees for a natural design. For the star and line graphs, we first characterize dominant strategies for the surveillance agent and the intruder. Then, we rigorously prove the optimal strategy for the surveillance agent.


title: The Challenge of Diacritics in Yoruba Embeddings

abstract: The major contributions of this work include the empirical establishment of a better performance for Yoruba embeddings from undiacritized (normalized) dataset and provision of new analogy sets for evaluation. The Yoruba language, being a tonal language, utilizes diacritics (tonal marks) in written form. We show that this affects embedding performance by creating embeddings from exactly the same Wikipedia dataset but with the second one normalized to be undiacritized. We further compare average intrinsic performance with two other work (using analogy test set & WordSim) and we obtain the best performance in WordSim and corresponding Spearman correlation.


title: New Confocal Hyperbola-based Ellipse Fitting with Applications to Estimating Parameters of Mechanical Pipes from Point Clouds

abstract: This manuscript presents a new method for fitting ellipses to two-dimensional data using the confocal hyperbola approximation to the geometric distance of points to ellipses. The proposed method was evaluated and compared to established methods on simulated and real-world datasets. First, it was revealed that the confocal hyperbola distance considerably outperforms other distance approximations such as algebraic and Sampson. Next, the proposed ellipse fitting method was compared with five reliable and established methods proposed by Halir, Taubin, Kanatani, Ahn and Szpak. The performance of each method as a function of rotation, aspect ratio, noise, and arc-length were examined. It was observed that the proposed ellipse fitting method achieved almost identical results (and in some cases better) than the gold standard geometric method of Ahn and outperformed the remaining methods in all simulation experiments. Finally, the proposed method outperformed the considered ellipse fitting methods in estimating the geometric parameters of cylindrical mechanical pipes from point clouds. The results of the experiments show that the confocal hyperbola is an excellent approximation to the true geometric distance and produces reliable and accurate ellipse fitting in practical settings.


title: Deep Ordinal Regression using Optimal Transport Loss and Unimodal Output Probabilities

abstract: It is often desired that ordinal regression models yield unimodal predictions. However, in many recent works this characteristic is either absent, or implemented using soft targets, which do not guarantee unimodal outputs at inference. In addition, we argue that the standard maximum likelihood objective is not suitable for ordinal regression problems, and that optimal transport is better suited for this task, as it naturally captures the order of the classes. In this work, we propose a framework for deep ordinal regression, based on unimodal output distribution and optimal transport loss. Inspired by the well-known Proportional Odds model, we propose to modify its design by using an architectural mechanism which guarantees that the model output distribution will be unimodal. We empirically analyze the different components of our proposed approach and demonstrate their contribution to the performance of the model. Experimental results on eight real-world datasets demonstrate that our proposed approach consistently performs on par with and often better than several recently proposed deep learning approaches for deep ordinal regression with unimodal output probabilities, while having guarantee on the output unimodality. In addition, we demonstrate that proposed approach is less overconfident than current baselines.


title: On the Sigma invariants of even Artin groups of FC-type

abstract: In this paper we study Sigma invariants of even Artin groups of FC-type, extending some known results for right-angled Artin groups. In particular, we define a condition that we call the strong homological $n$-link condition for a graph $\Gamma$ and prove that it gives a sufficient condition for a character $\chi:A_\Gamma\to \mathbb{Z}$ to satisfy $[\chi]\in\Sigma^n(A_\Gamma,\mathbb{Z})$. This implies that the kernel $A^\chi_\Gamma=\ker \chi$ is of type $FP_n$. The homotopy counterpart is also proved. Partial results on the converse are discussed. We also provide a general formula for the free part of $H_n(A^\chi_\Gamma;\mathbb{F})$ as an $\mathbb{F}[t^{\pm 1}]$-module with the natural action induced by $\chi$. This gives a characterization of when $H_n(A^\chi_\Gamma;\mathbb{F})$ is a finite dimensional vector space over $\mathbb{F}$. In the last version we correct a problem in the proof of Lemma 4.3 and also a remark at the end of subsection 3.3.


title: Adiabaticity of spin dynamics in diamond nitrogen vacancy centers in time-dependent magnetic fields

abstract: We study the spin dynamics of diamond nitrogen vacancy (NV) centers in an oscillating magnetic field along the symmetry axis of the NV in the presence of transverse magnetic fields. It is well-known that the coupling between the otherwise degenerate Zeeman levels $|M_S=\pm1\rangle$ due to strain and electric fields is responsible for a Landau-Zener process near the pseudo-crossing of the adiabatic energy levels when the axial component of the oscillating magnetic field changes sign. We derive an effective two-level Hamiltonian for the NV system that includes coupling between the two levels via virtual transitions into the third far-detuned level $|M_S=0\rangle$ induced by transverse magnetic fields. This coupling adds to the coupling due to strain and electric fields, with a phase that depends on the direction of the transverse field in the plane perpendicular to the NV axis. Hence, the {\em total coupling} of the Zeeman levels can be tuned to control the adiabaticity of spin dynamics by fully or partially compensating the effect of the strain and electric fields, or by enhancing it. Moreover, by varying the strength and direction of the transverse magnetic fields, one can determine the strength and direction of the local strain and electric fields at the position of the NV center, and even the {\em external} stress and electric field. The nuclear spin hyperfine interaction is shown to introduce a nuclear spin dependent offset of the axial magnetic field for which the pseudo-crossing occurs, while the adiabaticity remains unaffected by the nuclear spin. If the NV center is coupled to the environment, modeled by a bath with a Gaussian white noise spectrum, as appropriate for NVs near the diamond surface, then the spin dynamics is accompanied by relaxation of the Zeeman level populations and decoherence with a non-monotonic decrease of the purity of the system.


title: Gambler's Ruin and the ICM

abstract: Consider gambler's ruin with three players, 1, 2, and 3, having initial capitals $A$, $B$, and $C$ units. At each round a pair of players is chosen (uniformly at random) and a fair coin flip is made resulting in the transfer of one unit between these two players. Eventually, one of the players is eliminated and play continues with the remaining two. Let $\sigma\in S_3$ be the elimination order (e.g., $\sigma=132$ means player 1 is eliminated first and player 3 is eliminated second, leaving player 2 with $A+B+C$ units). We seek approximations (and exact formulas) for the elimination order probabilities $P_{A,B,C}(\sigma)$. Exact, as well as arbitrarily precise, computation of these probabilities is possible when $N:=A+B+C$ is not too large. Linear interpolation can then give reasonable approximations for large $N$. One frequently used approximation, the independent chip model (ICM), is shown to be inadequate. A regression adjustment is proposed, which seems to give good approximations to the elimination order probabilities.


title: A new formula for Lazard's correspondence for finite braces and pre-Lie algebras

abstract: In this paper a simple algebraic formula is obtained for the correspondence between finite right nilpotent Fp-braces and finite nilpotent pre-Lie algebras. This correspondence agrees with the correspondence using Lazard's correspondence between finite Fp-braces and pre-Lie algebras proposed by Wolfgang Rump in 2014. As an application example, a classification of all right nilpotent Fp-braces generated by one element of cardinality p^4 is obtained, answering a question posed by Leandro Vendramin. It is also shown that the sum of a finite number of left nilpotent ideals in a left brace is a left nilpotent ideal, therefore every finite brace contains the largest left nilpotent ideal.


title: Triangles in randomly perturbed graphs

abstract: We study the problem of finding pairwise vertex-disjoint triangles in the randomly perturbed graph model, which is the union of any $n$-vertex graph $G$ satisfying a given minimum degree condition and the binomial random graph $G(n,p)$. We prove that asymptotically almost surely $G \cup G(n,p)$ contains at least $\min\{\delta(G), \lfloor n/3 \rfloor\}$ pairwise vertex-disjoint triangles, provided $p \ge C \log n/n$, where $C$ is a large enough constant. This is a perturbed version of an old result of Dirac. Our result is asymptotically optimal and answers a question of Han, Morris, and Treglown [RSA, 2021, no. 3, 480--516] in a strong form. We also prove a stability version of our result, which in the case of pairwise vertex-disjoint triangles extends a result of Han, Morris, and Treglown [RSA, 2021, no. 3, 480--516]. Together with a result of Balogh, Treglown, and Wagner [CPC, 2019, no. 2, 159--176] this fully resolves the existence of triangle factors in randomly perturbed graphs. We believe that the methods introduced in this paper are useful for a variety of related problems: we discuss possible generalisations to clique factors, cycle factors, and $2$-universality.


title: BirdSLAM: Monocular Multibody SLAM in Bird's-Eye View

abstract: In this paper, we present BirdSLAM, a novel simultaneous localization and mapping (SLAM) system for the challenging scenario of autonomous driving platforms equipped with only a monocular camera. BirdSLAM tackles challenges faced by other monocular SLAM systems (such as scale ambiguity in monocular reconstruction, dynamic object localization, and uncertainty in feature representation) by using an orthographic (bird's-eye) view as the configuration space in which localization and mapping are performed. By assuming only the height of the ego-camera above the ground, BirdSLAM leverages single-view metrology cues to accurately localize the ego-vehicle and all other traffic participants in bird's-eye view. We demonstrate that our system outperforms prior work that uses strictly greater information, and highlight the relevance of each design decision via an ablation analysis.


title: A Picture's Worth a Thousand Words: Visualizing n-dimensional Overlap in Logistic Regression Models with Empirical Likelihood

abstract: In this note, conditions for the existence and uniqueness of the maximum likelihood estimate for multidimensional predictor, binary response models are introduced from a sensitivity testing point of view. The well known condition of Silvapulle is translated to be an empirical likelihood maximization which, with existing R code, mechanizes the process of assessing overlap status. The translation shifts the meaning of overlap, defined by geometrical properties of the two-predictor groups, from the intersection of their convex cones is non-empty to the more understandable requirement that the convex hull of their differences contains zero. The code is applied to reveal the character of overlap by examining minimal overlapping structures and cataloging them in dimensions fewer than four. Rules to generate minimal higher dimensional structures which account for overlap are provided. Supplementary materials are available online.


title: Ground states of elliptic problems over cones

abstract: Given a reflexive Banach space $X$, we consider a class of functionals $\Phi \in C^1(X,\Re)$ that do not behave in a uniform way, in the sense that the map $t \mapsto \Phi(tu)$, $t>0$, does not have a uniform geometry with respect to $u\in X$. Assuming instead such a uniform behavior within an open cone $Y \subset X \setminus \{0\}$, we show that $\Phi$ has a ground state relative to $Y$. Some further conditions ensure that this relative ground state is the (absolute) ground state of $\Phi$. Several applications to elliptic equations and systems are given.


title: Unsupervised Contrastive Learning of Sound Event Representations

abstract: Self-supervised representation learning can mitigate the limitations in recognition tasks with few manually labeled data but abundant unlabeled data---a common scenario in sound event research. In this work, we explore unsupervised contrastive learning as a way to learn sound event representations. To this end, we propose to use the pretext task of contrasting differently augmented views of sound events. The views are computed primarily via mixing of training examples with unrelated backgrounds, followed by other data augmentations. We analyze the main components of our method via ablation experiments. We evaluate the learned representations using linear evaluation, and in two in-domain downstream sound event classification tasks, namely, using limited manually labeled data, and using noisy labeled data. Our results suggest that unsupervised contrastive pre-training can mitigate the impact of data scarcity and increase robustness against noisy labels, outperforming supervised baselines.


title: B-meson Nuclear Modification Factor and $\mathbf{v_2(p_T)}$ in a Strongly Coupled Plasma in $\mathbf{Pb+Pb}$ Collisions at $\mathbf{\sqrt{s_{NN}}=2.76}$ TeV and $\mathbf{\sqrt{s_{NN}}=5.5}$ TeV

abstract: We present predictions for the suppression of B-mesons using AdS/CFT techniques assuming a strongly coupled quark-gluon plasma at $\sqrt{s_{NN}}=2.76$ TeV for central collisions and $\sqrt{s_{NN}}=5.5$ TeV for various centrality classes. We provide estimates of the systematic theoretical uncertainties due to 1) the mapping of QCD parameters to those in $\mathcal N = 4$ SYM and 2) the exact form of the momentum dependence of the diffusion coefficient predicted by AdS/CFT. We show that coupling energy loss to flow increases $v_2$ substantially out to surprisingly large momenta, on the order of $\sim 25$ GeV/c, thus pointing to a possible resolution of the $R_{AA}$ and $v_2$ puzzle for light hadrons.


title: $T\overline{T}$ deformation in SCFTs and integrable supersymmetric theories

abstract: We calculate the $\mathcal{S}$-multiplets for two-dimensional Euclidean $\mathcal{N}=(0,2)$ and $\mathcal{N} = (2,2)$ superconformal field theories under the $T\overline{T}$ deformation at leading order of perturbation theory in the deformation coupling. Then, from these $\mathcal{N} = (0, 2)$ deformed multiplets, we calculate two- and three-point correlators. We show the $\mathcal{N} = (0,2)$ chiral ring's elements do not flow under the $T\overline{T}$ deformation. Specializing to integrable supersymmetric seed theories, such as $\mathcal{N} = (2,2)$ Landau-Ginzburg models, we use the thermodynamic Bethe ansatz to study the S-matrices and ground state energies. From both an S-matrix perspective and Melzer's folding prescription, we show that the deformed ground state energy obeys the inviscid Burgers' equation. Finally, we show that several indices independent of $D$-term perturbations including the Witten index, Cecotti-Fendley-Intriligator-Vafa index and elliptic genus do not flow under the $T\overline{T}$ deformation.


title: Order estimates of the uniform approximations by Zygmund sums on the classes of convolutions of periodic functions

abstract: We establish the exact-order estimates of uniform approximations by the Zygmund sums $Z^{s}_{n-1}$ of $2\pi$-periodic continuous functions $f$ from the classes $C^{\psi}_{\beta,p}$.These classes are defined by the convolutions of functions from the unit ball in the space $L_{p}$, $1\leq p<\infty$, with generating fixed kernels $\Psi_{\beta}(t)=\sum_{k=1}^{\infty}\psi(k)\cos\left(kt+\frac{\beta\pi}{2}\right)$, $\Psi_{\beta}\in L_{p'}$, $\beta\in \mathbb{R}$, $1/p+1/p'=1$. We additionally assume that the product $\psi(k)k^{s+1/p}$ is generally monotonically increasing with the rate of some power function, and, besides, for $1< p<\infty$ it holds that $\sum_{k=n}^{\infty}\psi^{p'}(k)k^{p'-2}<\infty$, and for $p=1$ the following condition is true $\sum_{k=n}^{\infty}\psi(k)<\infty$.It is shown that under these conditions Zygmund sums $Z^{s}_{n-1}$ and Fejer sums \linebreak$\sigma_{n-1}=Z^{1}_{n-1}$ realize the order of the best uniform approximations by trigonometric polynomials of these classes.


title: A population of hypercompact HII regions identified from young HII regions

abstract: Context. The derived physical parameters for young HII regions are normally determined assuming the emission region to be optically thin. However, this assumption is unlikely to hold for young HII regions such as hyper-compact HII(HCHII) and ultra-compact HII(UCHII) regions and leads to the underestimation of their properties. This can be overcome by fitting the SEDs over a wide range of radio frequencies. Aims. The two primary goals of this study are (1) to determine the physical properties of young HII regions from radio SEDs in the search for potential HCHII regions, and (2) to use these physical properties to investigate their evolution. Method. We used the Karl G. Jansky Very Large Array (VLA) to observe the X-band and K-band with angular resolutions of ~1.7" and ~0.7", respectively, toward 114 HII regions with rising-spectra between 1-5 GHz. We complement our observations with VLA archival data and construct SEDs in the range of 1-26 GHz and model them assuming an ionization-bounded HII region with uniform density. Results. Our sample has a mean electron density of ne=1.6E4cm^{-3}, diameter diam=0.14pc, and emission measure EM = 1.9E7pc*cm^{-6}. We identify 16 HCHII region candidates and 8 intermediate objects between the classes of HCHII and UCHII regions. The ne, diam, and EM change as expected, but the Lyman continuum flux is relatively constant over time. We find that about 67% of Lyman-continuum photons are absorbed by dust within these HII regions and the dust absorption fraction tends to be more significant for more compact and younger HII regions. Conclusion. Young HII regions are commonly located in dusty clumps; HCHII regions and intermediate objects are often associated with various masers, outflows, broad radio recombination lines, and extended green objects, and the accretion at the two stages tends to be quickly reduced or halted.


title: Associative spectra of graph algebras I. Foundations, undirected graphs, antiassociative graphs

abstract: Associative spectra of graph algebras are examined with the help of homomorphisms of DFS trees. Undirected graphs are classified according to the associative spectra of their graph algebras; there are only three distinct possibilities: constant 1, powers of 2, and Catalan numbers. Associative and antiassociative digraphs are described, and associative spectra are determined for certain families of digraphs, such as paths, cycles, and graphs on two vertices.


title: Recoverable, Abortable, and Adaptive Mutual Exclusion with Sublogarithmic RMR Complexity

abstract: We present the first recoverable mutual exclusion (RME) algorithm that is simultaneously abortable, adaptive to point contention, and with sublogarithmic RMR complexity. Our algorithm has $O(\min(K,\log_W N))$ RMR passage complexity and $O(F + \min(K,\log_W N))$ RMR super-passage complexity, where $K$ is the number of concurrent processes (point contention), $W$ is the size (in bits) of registers, and $F$ is the number of crashes in a super-passage. Under the standard assumption that $W=\Theta(\log N)$, these bounds translate to worst-case $O(\frac{\log N}{\log \log N})$ passage complexity and $O(F + \frac{\log N}{\log \log N})$ super-passage complexity. Our key building blocks are: * A $D$-process abortable RME algorithm, for $D \leq W$, with $O(1)$ passage complexity and $O(1+F)$ super-passage complexity. We obtain this algorithm by using the Fetch-And-Add (FAA) primitive, unlike prior work on RME that uses Fetch-And-Store (FAS/SWAP). * A generic transformation that transforms any abortable RME algorithm with passage complexity of $B < W$, into an abortable RME lock with passage complexity of $O(\min(K,B))$.


title: Creation of a novel inverted charge density wave state

abstract: Charge density wave (CDW) order is an emergent quantum phase that is characterized by a periodic lattice distortion and charge density modulation, often present near superconducting transitions. Here we uncover a novel inverted CDW state by using a femtosecond laser to coherently over-drive the unique star-of-David lattice distortion in 1T-TaSe$_2$. We track the signature of this novel CDW state using time- and angle-resolved photoemission spectroscopy and time-dependent density functional theory, and validate that it is associated with a unique lattice and charge arrangement never before realized. The dynamic electronic structure further reveals its novel properties, that are characterized by an increased density of states near the Fermi level, high metallicity, and altered electron-phonon couplings. Our results demonstrate how ultrafast lasers can be used to create unique states in materials, by manipulating charge-lattice orders and couplings.


title: Static and Dynamic Properties of Block-Copolymer Based Grafted Nanoparticles Across the Non-Ergodicity Transition

abstract: We present a systematic investigation of static and dynamic properties of block copolymer micelles with crosslinked cores, representing model polymer-grafted nanoparticles, over a wide concentration range from dilute regime to an arrested (crystalline) state, by means of light and neutron scattering, complemented by linear viscoelasticity. We have followed the evolution of their scattering intensity and diffusion dynamics throughout the non-ergodicity transition and the observed results have been contrasted against appropriately coarse-grained Langevin Dynamics simulations. These stable model soft particles of the core-shell type are situated between ultrasoft stars and hard spheres, and the well-known star pair interaction potential is not appropriate to describe them. Instead, we have found that an effective brush interaction potential provides very satisfactory agreement between experiments and simulations, offering insights into the interplay of softness and dynamics in spherical colloidal suspensions.


title: Two Quick Proofs of a Catalan Lemma Needed by Lisa Sauermann and Yuval Wigderson

abstract: We present two proofs each, all shorter than the original proofs, of two elegant combinatorial identities that came up in the beautiful article arXiv:2010.00077 .


title: Stability Analysis of Complementarity Systems with Neural Network Controllers

abstract: Complementarity problems, a class of mathematical optimization problems with orthogonality constraints, are widely used in many robotics tasks, such as locomotion and manipulation, due to their ability to model non-smooth phenomena (e.g., contact dynamics). In this paper, we propose a method to analyze the stability of complementarity systems with neural network controllers. First, we introduce a method to represent neural networks with rectified linear unit (ReLU) activations as the solution to a linear complementarity problem. Then, we show that systems with ReLU network controllers have an equivalent linear complementarity system (LCS) description. Using the LCS representation, we turn the stability verification problem into a linear matrix inequality (LMI) feasibility problem. We demonstrate the approach on several examples, including multi-contact problems and friction models with non-unique solutions.


title: Your: Your Unified Reader

abstract: The advancement in signal processing and GPU based systems has enabled new transient detectors at various telescopes to perform much more sensitive searches than their predecessors. Typically the data output from the telescopes is in one of the two commonly used formats: psrfits and Sigproc filterbank. Software developed for transient searches often only works with one of these two formats, limiting their general applicability. Therefore, researchers have to write custom scripts to read/write the data in their format of choice before they can begin any data analysis relevant for their research. \textsc{Your} (Your Unified Reader) is a python-based library that unifies the data processing across multiple commonly used formats. \textsc{Your} implements a user-friendly interface to read and write in the data format of choice. It also generates unified metadata corresponding to the input data file for a quick understanding of observation parameters and provides utilities to perform common data analysis operations. \textsc{Your} also provides several state-of-the-art radio frequency interference mitigation (RFI) algorithms, which can now be used during any stage of data processing (reading, writing, etc.) to filter out artificial signals.


title: Law of large numbers for the drift of two-dimensional wreath product

abstract: We prove the law of large numbers for the drift of random walks on the two-dimensional lamplighter group, under the assumption that the random walk has finite $(2+\epsilon)$-moment. This result is in contrast with classical examples of abelian groups, where the displacement after $n$ steps, normalised by its mean, does not concentrate, and the limiting distribution of the normalised $n$-step displacement admits a density whose support is $[0,\infty)$. We study further examples of groups, some with random walks satisfying LLN for drift and other examples where such concentration phenomenon does not hold, and study relation of this property with asymptotic geometry of groups.


title: Design of an Externally Driven Current Cloak

abstract: An inhomogeneity into a conductive matrix deforms the flow pattern of an applied electric current. A usual current cloak can be defined as a permanent modification of the matrix properties around the inhomogeneity guaranteeing that the current flow pattern is similar before and after passing by the modified zone, so it implies the "electrical invisibility" of the inhomogeneous region. Here we introduce the concept of a current cloak that can be tuned --switched on and off, for example-- by means on an external field. We demonstrate analytically and using Finite Elements Simulations that a current cloak can be constructed and manipulated by an external magnetic field for a concrete system consisting in a magneto-resistive matrix with a stainless steel inclusion.


title: Safety Synthesis Sans Specification

abstract: We define the problem of learning a transducer ${S}$ from a target language $U$ containing possibly conflicting transducers, using membership queries and conjecture queries. The requirement is that the language of ${S}$ be a subset of $U$. We argue that this is a natural question in many situations in hardware and software verification. We devise a learning algorithm for this problem and show that its time and query complexity is polynomial with respect to the rank of the target language, its incompatibility measure, and the maximal length of a given counterexample. We report on experiments conducted with a prototype implementation.


title: Real-Time Polyp Detection, Localization and Segmentation in Colonoscopy Using Deep Learning

abstract: Computer-aided detection, localisation, and segmentation methods can help improve colonoscopy procedures. Even though many methods have been built to tackle automatic detection and segmentation of polyps, benchmarking of state-of-the-art methods still remains an open problem. This is due to the increasing number of researched computer vision methods that can be applied to polyp datasets. Benchmarking of novel methods can provide a direction to the development of automated polyp detection and segmentation tasks. Furthermore, it ensures that the produced results in the community are reproducible and provide a fair comparison of developed methods. In this paper, we benchmark several recent state-of-the-art methods using Kvasir-SEG, an open-access dataset of colonoscopy images for polyp detection, localisation, and segmentation evaluating both method accuracy and speed. Whilst, most methods in literature have competitive performance over accuracy, we show that the proposed ColonSegNet achieved a better trade-off between an average precision of 0.8000 and mean IoU of 0.8100, and the fastest speed of 180 frames per second for the detection and localisation task. Likewise, the proposed ColonSegNet achieved a competitive dice coefficient of 0.8206 and the best average speed of 182.38 frames per second for the segmentation task. Our comprehensive comparison with various state-of-the-art methods reveals the importance of benchmarking the deep learning methods for automated real-time polyp identification and delineations that can potentially transform current clinical practices and minimise miss-detection rates.


title: Efficient construction of an HSS preconditioner for symmetric positive definite $\mathcal{H}^2$ matrices

abstract: In an iterative approach for solving linear systems with ill-conditioned, symmetric positive definite (SPD) kernel matrices, both fast matrix-vector products and fast preconditioning operations are required. Fast (linear-scaling) matrix-vector products are available by expressing the kernel matrix in an $\mathcal{H}^2$ representation or an equivalent fast multipole method representation. Preconditioning such matrices, however, requires a structured matrix approximation that is more regular than the $\mathcal{H}^2$ representation, such as the hierarchically semiseparable (HSS) matrix representation, which provides fast solve operations. Previously, an algorithm was presented to construct an HSS approximation to an SPD kernel matrix that is guaranteed to be SPD. However, this algorithm has quadratic cost and was only designed for recursive binary partitionings of the points defining the kernel matrix. This paper presents a general algorithm for constructing an SPD HSS approximation. Importantly, the algorithm uses the $\mathcal{H}^2$ representation of the SPD matrix to reduce its computational complexity from quadratic to quasilinear. Numerical experiments illustrate how this SPD HSS approximation performs as a preconditioner for solving linear systems arising from a range of kernel functions.


title: Almost Tight L0-norm Certified Robustness of Top-k Predictions against Adversarial Perturbations

abstract: Top-k predictions are used in many real-world applications such as machine learning as a service, recommender systems, and web searches. $\ell_0$-norm adversarial perturbation characterizes an attack that arbitrarily modifies some features of an input such that a classifier makes an incorrect prediction for the perturbed input. $\ell_0$-norm adversarial perturbation is easy to interpret and can be implemented in the physical world. Therefore, certifying robustness of top-$k$ predictions against $\ell_0$-norm adversarial perturbation is important. However, existing studies either focused on certifying $\ell_0$-norm robustness of top-$1$ predictions or $\ell_2$-norm robustness of top-$k$ predictions. In this work, we aim to bridge the gap. Our approach is based on randomized smoothing, which builds a provably robust classifier from an arbitrary classifier via randomizing an input. Our major theoretical contribution is an almost tight $\ell_0$-norm certified robustness guarantee for top-$k$ predictions. We empirically evaluate our method on CIFAR10 and ImageNet. For instance, our method can build a classifier that achieves a certified top-3 accuracy of 69.2\% on ImageNet when an attacker can arbitrarily perturb 5 pixels of a testing image.


title: Case study on the identification and classification of small-scale flow patterns in flaring active region

abstract: We propose a novel methodology to identity flows in the solar atmosphere and classify their velocities as either supersonic, subsonic, or sonic. The proposed methodology consists of three parts. First, an algorithm is applied to the Solar Dynamics Observatory (SDO) image data to locate and track flows, resulting in the trajectory of each flow over time. Thereafter, the differential emission measure inversion method is applied to six AIA channels along the trajectory of each flow in order to estimate its background temperature and sound speed. Finally, we classify each flow as supersonic, subsonic, or sonic by performing simultaneous hypothesis tests on whether the velocity bounds of the flow are larger, smaller, or equal to the background sound speed. The proposed methodology was applied to the SDO image data from the 171 {\AA} spectral line for the date 6 March 2012 from 12:22:00 to 12:35:00 and again for the date 9 March 2012 from 03:00:00 to 03:24:00. Eighteen plasma flows were detected, 11 of which were classified as supersonic, 3 as subsonic, and 3 as sonic at a $70\%$ level of significance. Out of all these cases, 2 flows cannot be strictly ascribed to one of the respective categories as they change from the subsonic state to supersonic and vice versa. We labelled them as a subclass of transonic flows. The proposed methodology provides an automatic and scalable solution to identify small-scale flows and to classify their velocities as either supersonic, subsonic, or sonic. We identified and classified small-scale flow patterns in flaring loops. The results show that the flows can be classified into four classes: sub-, super-, trans-sonic, and sonic. The detected flows from AIA images can be analyzed in combination with the other high-resolution observational data, such as Hi-C 2.1 data, and be used for the development of theories of the formation of flow patterns.

categories: astro-ph.SR physics.comp-ph physics.data-an physics.space-ph


title: DORB: Dynamically Optimizing Multiple Rewards with Bandits

abstract: Policy gradients-based reinforcement learning has proven to be a promising approach for directly optimizing non-differentiable evaluation metrics for language generation tasks. However, optimizing for a specific metric reward leads to improvements in mostly that metric only, suggesting that the model is gaming the formulation of that metric in a particular way without often achieving real qualitative improvements. Hence, it is more beneficial to make the model optimize multiple diverse metric rewards jointly. While appealing, this is challenging because one needs to manually decide the importance and scaling weights of these metric rewards. Further, it is important to consider using a dynamic combination and curriculum of metric rewards that flexibly changes over time. Considering the above aspects, in our work, we automate the optimization of multiple metric rewards simultaneously via a multi-armed bandit approach (DORB), where at each round, the bandit chooses which metric reward to optimize next, based on expected arm gains. We use the Exp3 algorithm for bandits and formulate two approaches for bandit rewards: (1) Single Multi-reward Bandit (SM-Bandit); (2) Hierarchical Multi-reward Bandit (HM-Bandit). We empirically show the effectiveness of our approaches via various automatic metrics and human evaluation on two important NLG tasks: question generation and data-to-text generation, including on an unseen-test transfer setup. Finally, we present interpretable analyses of the learned bandit curriculum over the optimized rewards.


title: Open4Business(O4B): An Open Access Dataset for Summarizing Business Documents

abstract: A major challenge in fine-tuning deep learning models for automatic summarization is the need for large domain specific datasets. One of the barriers to curating such data from resources like online publications is navigating the license regulations applicable to their re-use, especially for commercial purposes. As a result, despite the availability of several business journals there are no large scale datasets for summarizing business documents. In this work, we introduce Open4Business(O4B),a dataset of 17,458 open access business articles and their reference summaries. The dataset introduces a new challenge for summarization in the business domain, requiring highly abstractive and more concise summaries as compared to other existing datasets. Additionally, we evaluate existing models on it and consequently show that models trained on O4B and a 7x larger non-open access dataset achieve comparable performance on summarization. We release the dataset, along with the code which can be leveraged to similarly gather data for multiple domains.


title: On the correlation of earthquake occurrence among major fault zones in the eastern margin of the Tibetan Plateau by Big Data Analysis

abstract: The subsequent series of responses to big events may exhibit a synchronicity of event number, frequency and energy release in different fault zones. This synchronicity is a reliable source for probing non-intuitive geological structures, assessing regional seismicity hazard map and even predicting the next big events. The synchronicity of main faults in the eastern margin of the Qinghai-Tibetan Plateau is still unknown to us. We propose to examine the correlation of earthquake occurrence among different fault zones to indicate this synchronicity, and to obtain a preliminary understanding of geodynamics processes and the unrecognized characteristics of deep evolution in the eastern margin of the Qinghai-Tibetan Plateau. We estimate temporal changes of completeness level, frequency seismicity, and intensity seismicity, referring respectively to Mc, Z, and E values, of 21 main fault zones, using a seismic catalogue from 1970 to 2015. Our results reveal that six fault zone pairs of fault zones exhibit relative high correlation (>0.6) by all three indicators, while four fault zone pairs are non-adjacent with close internal affinity offsetting the limit of spatial distance, such as the pair of Rongjing-mabian fault and Minjiang-huya fault. Most strikingly, some fault zone pairs showing typical high correlation (>0.8) of seismicity frequency or seismicity intensity, the faults surprisingly belong to neither the same seismic belt nor the same geological block, exhibiting a regional scale remote triggering pattern of earthquakes or structures. An embryonic pattern to predict the next possible events will also be presented. This correlation analysis discovers a previously unrecognized strong coupling relationship among main faults with high earthquake risk in the eastern margin of the Qinghai-Tibetan Plateau.


title: The Dusty Heart of NGC 4151 Revealed by $\lambda\sim$1-40 $\mu$m Reverberation Mapping and Variability: A Challenge to Current Clumpy Torus Models

abstract: We probe the dusty environment of the archetypical type-1 AGN in NGC 4151 with comprehensive IR reverberation mapping over several decades, in J ($\sim1.22\mu$m), H ($\sim1.63\mu$m), K ($\sim2.19\mu$m), L ($\sim3.45\mu$m) and N-band ($\sim10.6\mu m$), plus multiple measurements at 20--40 $\mu$m. At 1--4$\mu$m, the hot dust reverberation signals come from two distinct dust populations at separate radii ($\sim$0.033 pc and $\sim$0.076 pc), with temperatures of $\sim$1500--2500 K and $\sim$900--1000 K, consistent with the expected properties of sublimating graphite and silicate dust grains. The domination of the torus infrared output by carbon and silicate grains near their sublimation temperatures and radii may account for the general similarity of AGN near-IR spectral energy distributions. The torus inner edge defined by the hottest dust remains at roughly the same radius independent of the AGN optical luminosity over $\sim$25 years. The emission by hot dust warmed directly by the optical/UV AGN output has increased gradually by $\sim$4\%/year, indicating a possibly growing torus. A third dust component at $\sim$700 K does not seem to participate directly in the IR reverberation behavior and its emission may originate deep in the circumnuclear torus. We find a reverberation signal at $\sim10\mu$m with an inferred radius for the warm dust of $\sim$2.2--3.1 pc. The lack of variability at 20--40$\mu$m indicates the far-IR emission comes from even more extended regions. The torus properties revealed by dust reverberation analysis are inconsistent with predictions from pure clumpy torus models. Instead, the longer wavelength emission possibly originates in a flared torus or the polar wind.


title: Determining the atomic charge of calcium ion requires the information of its coordination geometry in an EF-hand motif

abstract: It is challenging to parameterize the force field for calcium ions (Ca2+) in calcium-binding proteins because of their unique coordination chemistry that involves the surrounding atoms required for stability. In this work, we observed wide variation in Ca2+ binding loop conformations of the Ca2+-binding protein calmodulin (CaM), which adopts the most populated ternary structures determined from the MD simulations, followed by ab initio quantum mechanical (QM) calculations on all twelve amino acids in the loop that coordinate Ca2+ in aqueous solution. Ca2+ charges were derived by fitting to the electrostatic potential (ESP) in the context of a classical or polarizable force field (PFF). We discovered that the atomic radius of Ca2+ in conventional force fields is too large for the QM calculation to capture the variation in the coordination geometry of Ca2+ in its ionic form, leading to unphysical charges. Specifically, we found that the fitted atomic charges of Ca2+ in the context of PFF depend on the coordinating geometry of electronegative atoms from the amino acids in the loop. Although nearby water molecules do not influence the atomic charge of Ca2+, they are crucial for compensating for the coordination of Ca2+ due to the conformational flexibility in the EF-hand loop. Our method advances the development of force fields for metal ions and protein binding sites in dynamic environments.


title: Precision-Recall Curve (PRC) Classification Trees

abstract: The classification of imbalanced data has presented a significant challenge for most well-known classification algorithms that were often designed for data with relatively balanced class distributions. Nevertheless skewed class distribution is a common feature in real world problems. It is especially prevalent in certain application domains with great need for machine learning and better predictive analysis such as disease diagnosis, fraud detection, bankruptcy prediction, and suspect identification. In this paper, we propose a novel tree-based algorithm based on the area under the precision-recall curve (AUPRC) for variable selection in the classification context. Our algorithm, named as the "Precision-Recall Curve classification tree", or simply the "PRC classification tree" modifies two crucial stages in tree building. The first stage is to maximize the area under the precision-recall curve in node variable selection. The second stage is to maximize the harmonic mean of recall and precision (F-measure) for threshold selection. We found the proposed PRC classification tree, and its subsequent extension, the PRC random forest, work well especially for class-imbalanced data sets. We have demonstrated that our methods outperform their classic counterparts, the usual CART and random forest for both synthetic and real data. Furthermore, the ROC classification tree proposed by our group previously has shown good performance in imbalanced data. The combination of them, the PRC-ROC tree, also shows great promise in identifying the minority class.


title: Stein Variational Model Predictive Control

abstract: Decision making under uncertainty is critical to real-world, autonomous systems. Model Predictive Control (MPC) methods have demonstrated favorable performance in practice, but remain limited when dealing with complex probability distributions. In this paper, we propose a generalization of MPC that represents a multitude of solutions as posterior distributions. By casting MPC as a Bayesian inference problem, we employ variational methods for posterior computation, naturally encoding the complexity and multi-modality of the decision making problem. We present a Stein variational gradient descent method to estimate the posterior directly over control parameters, given a cost function and observed state trajectories. We show that this framework leads to successful planning in challenging, non-convex optimal control problems.


title: Multi-species modeling in the particle-based ESBGK method for monatomic gas species

abstract: Multi-species modeling is implemented for the particle-based ellipsoidal statistical Bhatnagar-Gross-Krook (ESBGK) for monatomic species in the open-source plasma simulation suite PICLas. After a literature review on available multi-species extensions of the kinetic model equations and approaches for the determination of the transport coefficients, Brull's model is implemented for the former and Wilke's mixing rules and collision integrals for the latter. The implementation is verified with three simulation test cases: a simple reservoir, a supersonic Couette flow and the hypersonic flow around a 70$^{\circ}$ blunted cone. The simulation results are compared with the Direct Simulation Monte Carlo (DSMC) method, where good overall agreement can be achieved. However, the determination of the transport coefficients through collision integrals offers better agreement with the DSMC results at acceptable computational cost. For the last test case, a comparison of the computational duration is presented.


title: Advances in the training, pruning and enforcement of shape constraints of Morphological Neural Networks using Tropical Algebra

abstract: In this paper we study an emerging class of neural networks based on the morphological operators of dilation and erosion. We explore these networks mathematically from a tropical geometry perspective as well as mathematical morphology. Our contributions are threefold. First, we examine the training of morphological networks via Difference-of-Convex programming methods and extend a binary morphological classifier to multiclass tasks. Second, we focus on the sparsity of dense morphological networks trained via gradient descent algorithms and compare their performance to their linear counterparts under heavy pruning, showing that the morphological networks cope far better and are characterized with superior compression capabilities. Our approach incorporates the effect of the training optimizer used and offers quantitative and qualitative explanations. Finally, we study how the architectural structure of a morphological network can affect shape constraints, focusing on monotonicity. Via Maslov Dequantization, we obtain a softened version of a known architecture and show how this approach can improve training convergence and performance.


title: Hot exciton relaxation in coupled ultra-thin CdTe/ZnTe quantum well structures

abstract: The photoluminescence (PL) and PL excitation (PLE) spectra of CdTe/ZnTe asymmetric double quantum well (QW) structures are studied on a series of samples containing two CdTe layers with nominal thicknesses of 2 and 4 monolayers (ML) in the ZnTe matrix. The samples differ in the thickness of the ZnTe spacer between CdTe QWs which is 45, 65 and 75 ML. It has been found that at above-barrier excitation the PL from a shallow QW at sufficiently weak excitation intensities is determined by recombination of hot excitons. It is shown that under these conditions, when PL is excited by lasers with different wavelengths, the ratio of the PL intensities from shallow and deep QWs decreases exponentially with an increase of the initial kinetic energy of hot excitons. It is found that energy relaxation of hot excitons with LO phonon emission determine the shape of the PLE spectrum of shallow QW in the range of exciton kinetic energies up to more than 20 LO phonons above ZnTe bandgap. We have shown that the results obtained are well described by the model of charge and energy transfer between QWs.


title: Fiber-based angular filtering for high-resolution Brillouin spectroscopy in the 20-300 GHz frequency range

abstract: Brillouin spectroscopy emerges as a promising non-invasive tool for nanoscale imaging and sensing. One-dimensional semiconductor superlattice structures are eminently used for selectively enhancing the generation or detection of phonons at few GHz. While commercially available Brillouin spectrometers provide high-resolution spectra, they consist of complex experimental techniques and are not suitable for semiconductor cavities operating at a wide range of optical wavelengths. We develop a pragmatic experimental approach for conventional Brillouin spectroscopy integrating a widely tunable excitation-source. Our setup combines a fibered-based angular filtering and a spectral filtering based on a single etalon and a double grating spectrometer. This configuration allows probing confined acoustic phonon modes in the 20-300 GHz frequency range with excellent laser rejection and high spectral resolution. Remarkably, our scheme based on the excitation and collection of the enhanced Brillouin scattering signals through the optical cavity, allows for better angular filtering for low phonon frequency. It can be implemented for the study of cavity optomechanics and stimulated Brillouin scattering over broadband optical and acoustic frequency ranges.


title: Two-dimensional chiral waveguide quantum electrodynamics: long range qubit correlations and flat-band dark polaritons

abstract: We consider a two-dimensional extension of the 1D waveguide quantum electrodynamics and investigate the nature of linear excitations in two-dimensional arrays of qubits coupled to networks of chiral waveguides. We show that the combined effects of chirality and long-range photon mediated qubit-qubit interactions lead to the emergence of the two-dimensional flat bands in the polaritonic spectrum, corresponding to slow strongly correlated light.


title: Good proctor or "Big Brother"? AI Ethics and Online Exam Supervision Technologies

abstract: This article philosophically analyzes online exam supervision technologies, which have been thrust into the public spotlight due to campus lockdowns during the COVID-19 pandemic and the growing demand for online courses. Online exam proctoring technologies purport to provide effective oversight of students sitting online exams, using artificial intelligence (AI) systems and human invigilators to supplement and review those systems. Such technologies have alarmed some students who see them as `Big Brother-like', yet some universities defend their judicious use. Critical ethical appraisal of online proctoring technologies is overdue. This article philosophically analyzes these technologies, focusing on the ethical concepts of academic integrity, fairness, non-maleficence, transparency, privacy, respect for autonomy, liberty, and trust. Most of these concepts are prominent in the new field of AI ethics and all are relevant to the education context. The essay provides ethical considerations that educational institutions will need to carefully review before electing to deploy and govern specific online proctoring technologies.


title: A tunable magneto-acoustic oscillator with low phase noise

abstract: A frequency-tunable low phase noise magneto-acoustic resonator is developed on the base of a parallel-plate straight-edge bilayer consisting of a yttrium-iron garnet (YIG) layer grown on a substrate of a gallium-gadolinium garnet(GGG). When a YIG/GGG sample forms an ideal parallel plate, it supports a series of high-quality-factor acoustic modes standing along the plate thickness. Due to the magnetostriction of the YIG layer the ferromagnetic resonance (FMR) mode of the YIG layer can strongly interact with the acoustic thickness modes of the YIG/GGG structure, when the modes' frequencies match. A particular acoustic thickness mode used for the resonance excitations of the hybrid magneto-acoustic oscillations in a YIG/GGG bilayer is chosen by the YIG layer FMR frequency, which can be tuned by the variation of the external bias magnetic field. A composite magneto-acoustic oscillator, which includes an FMR-based resonance pre-selector, is developed to guarantee satisfaction of the Barkhausen criteria for a single-acoustic-mode oscillation regime. The developed low phase noise composite magneto-acoustic oscillator can be tuned from 0.84 GHz to 1 GHz with an increment of about 4.8 MHz (frequency distance between the adjacent acoustic thickness modes in a YIG/GGG parallel plate), and demonstrates the phase noise of -116 dBc/Hz at the offset frequency of 10 kHz.


title: Adaptive Step Size Incremental Conductance Based Maximum Power Point Tracking (MPPT)

abstract: Extracting maximum power available from photovoltaic arrays requires the system operating at the maximum power point (MPP). Therefore, finding the MPP is necessary for efficient operation of PV arrays. The MPP changes with multiple environmental factors, mainly temperature and irradiance. Traditionally, the incremental conductance technique with fixed step size was used to find the MPP, which suffers from a trade-off between speed of convergence and accuracy. In this work, we propose an incremental conductance maximum power point tracking (MPPT) algorithm with a variable step size, which adaptively changes the step size after each iteration based on how far away the current operating point is from a new MPP. This mitigates the aforementioned trade-off drastically by achieving faster convergence speed without the loss of accuracy. A series of simulations involving variations in temperature and irradiance were performed using MATLAB, and the speed of convergence and accuracy were compared with the traditional IC technique.


title: Crowdsharing Wireless Energy Services

abstract: We propose a novel self-sustained ecosystem for energy sharing in the IoT environment. We leverage energy harvesting, wireless power transfer, and crowdsourcing that facilitate the development of an energy crowdsharing framework to charge IoT devices. The ubiquity of IoT devices, coupled with the potential ability for sharing energy, provides new and exciting opportunities to crowdsource wireless energy, thus enabling a green alternative for powering IoT devices anytime and anywhere. We discuss the crowdsharing of energy services, open challenges, and proposed solutions.


title: Material selection method for a perovskite solar cell design based on the genetic algorithm

abstract: In this work, we propose a method of selecting the most desirable combinations of material for a perovskite solar cell design utilizing the genetic algorithm. Solar cells based on the methylammonium lead halide, CH3NH3PbX3, attract researchers due to the benefits of their high absorption coefficient and sharp Urbach tail, long diffusion length and carrier lifetime, and high carrier mobility. However, their poor stability under exposure to moisture still poses a challenge. In our work, we assigned stability index, power conversion efficiency index, and cost-effectiveness index for each material based on the available experimental data in the literature, and our algorithm determined the TiO2/CH3NH3PbI2.1Br0.9/Spiro-OMeTAD as the most well balanced solution in terms of cost, efficiency, and stability. The proposed method can be extended further to aid the material selection in all-perovskite multijunction solar cell design as more data on perovskite materials become available in the future.


title: A single-projection three-dimensional reconstruction algorithm for scanning transmission electron microscopy data

abstract: Increasing interest in three-dimensional nanostructures adds impetus to electron microscopy techniques capable of imaging at or below the nanoscale in three dimensions. We present a reconstruction algorithm that takes as input a focal series of four-dimensional scanning transmission electron microscopy (4D-STEM) data. We apply the approach to a lead iridate, Pb$_2$Ir$_2$O$_7$, and yttrium-stabilized zirconia,Y$_{0.095}$Zr$_{0.905}$O$_2$ , heterostructure from data acquired with the specimen in a single plan-view orientation, with the epitaxial layers stacked along the beam direction. We demonstrate that Pb-Ir atomic columns are visible in the uppermost layers of the reconstructed volume. We compare this approach to the alternative techniques of depth sectioning using differential phase contrast scanning transmission electron microscopy (DPC-STEM) and multislice ptychographic reconstruction.


title: Coming to Terms with Your Choices: An Existential Take on Dependent Types

abstract: Type-level programming is an increasingly popular way to obtain additional type safety. Unfortunately, it remains a second-class citizen in the majority of industrially-used programming languages. We propose a new dependently-typed system with subtyping and singleton types whose goal is to enable type-level programming in an accessible style. At the heart of our system lies a non-deterministic choice operator. We argue that embracing non-determinism is crucial for bringing dependent types to a broader audience of programmers, since real-world programs will inevitably interact with imprecisely-typed, or even impure code. Furthermore, we show that singleton types combined with the choice operator can serve as a replacement for many type functions of interest in practice. We establish the soundness of our approach using the Coq proof assistant. Our soundness approach models non-determinism using additional function arguments to represent choices. We represent type-level computation using singleton types and existential types that quantify over choice arguments. To demonstrate the practicality of our type system, we present an implementation as a modification of the Scala compiler. We provide a case study in which we develop a strongly-typed wrapper for Spark datasets.


title: Unravelling Water Stability and Electrical Conductivity of 2D Layered Metal-Organic Frameworks in Aqueous Solutions

abstract: Molecular dynamics simulations combined with periodic electronic structure calculations are performed to decipher structural, thermodynamical and dynamical properties of the interfaced vs. confined water adsorbed in hexagonal 1D channels of the 2D layered electrically conductive Cu3(HHTP)2 and Cu3(HTTP)2 metal-organic frameworks (HHTP=2,3,6,7,10,11-hexahydroxytriphenylene and HTTP = 2,3,6,7,10,11-hexathiotriphenylene). Comparing water adsorption in bulk vs. slab models of the studied 2D MOFs shows that water is preferentially adsorbed on the framework walls via forming hydrogen bonds to the organic linkers rather than by coordinating to the coordinatively unsaturated open-Cu2+ sites. Theory predicts that in Cu3(HTTP)2 the van der Waals interactions are stronger which helps the MOF maintain its layered morphology with allowing very little water molecules to diffuse into the interlayer space. Data presented in this work are general and helpful in implementing new strategies for preserving the integrity as well as electrical conductivity of porous materials in aqueous solutions.


title: Price formation and optimal trading in intraday electricity markets with a major player

abstract: We study price formation in intraday electricity markets in the presence of intermittent renewable generation. We consider the setting where a major producer may interact strategically with a large number of small producers. Using stochastic control theory we identify the optimal strategies of agents with market impact and exhibit the Nash equilibrium in closed form in the asymptotic framework of mean field games with a major player. This is a companion paper to [F\'eron, Tankov, and Tinsi, Price formation and optimal trading in intraday electricity markets, arXiv:2009.04786, 2020], where a similar model is developed in the setting of identical agents.


title: Predicting Human Strategies in Simulated Search and Rescue Task

abstract: In a search and rescue scenario, rescuers may have different knowledge of the environment and strategies for exploration. Understanding what is inside a rescuer's mind will enable an observer agent to proactively assist them with critical information that can help them perform their task efficiently. To this end, we propose to build models of the rescuers based on their trajectory observations to predict their strategies. In our efforts to model the rescuer's mind, we begin with a simple simulated search and rescue task in Minecraft with human participants. We formulate neural sequence models to predict the triage strategy and the next location of the rescuer. As the neural networks are data-driven, we design a diverse set of artificial "faux human" agents for training, to test them with limited human rescuer trajectory data. To evaluate the agents, we compare it to an evidence accumulation method that explicitly incorporates all available background knowledge and provides an intended upper bound for the expected performance. Further, we perform experiments where the observer/predictor is human. We show results in terms of prediction accuracy of our computational approaches as compared with that of human observers.


title: Search for Periodic Modulations of the Rate of Double-Beta Decay of $^{100}$Mo in the NEMO-3 Detector

abstract: Double-beta decays of $^{100}$Mo from the 6.0195-year exposure of a 6.914 kg high-purity sample were recorded by the NEMO-3 experiment that searched for neutrinoless double-beta decays. These ultra-rare transitions to $^{100}$Ru have a half-life of approximately $7\times10^{18}$ years, and have been used to conduct the first ever search for periodic variations of this decay mode. The Lomb-Scargle periodogram technique, and its error-weighted extension, were employed to look for periodic modulations of the half-life. Monte Carlo modeling was used to study the modulation sensitivity of the data over a broad range of amplitudes and frequencies. Data show no evidence of modulations with amplitude greater than 2.5% in the frequency range of $0.33225\,{\rm y^{-1}}$ to $365.25\,{\rm y^{-1}}$.


title: Deep multi-modal networks for book genre classification based on its cover

abstract: Book covers are usually the very first impression to its readers and they often convey important information about the content of the book. Book genre classification based on its cover would be utterly beneficial to many modern retrieval systems, considering that the complete digitization of books is an extremely expensive task. At the same time, it is also an extremely challenging task due to the following reasons: First, there exists a wide variety of book genres, many of which are not concretely defined. Second, book covers, as graphic designs, vary in many different ways such as colors, styles, textual information, etc, even for books of the same genre. Third, book cover designs may vary due to many external factors such as country, culture, target reader populations, etc. With the growing competitiveness in the book industry, the book cover designers and typographers push the cover designs to its limit in the hope of attracting sales. The cover-based book classification systems become a particularly exciting research topic in recent years. In this paper, we propose a multi-modal deep learning framework to solve this problem. The contribution of this paper is four-fold. First, our method adds an extra modality by extracting texts automatically from the book covers. Second, image-based and text-based, state-of-the-art models are evaluated thoroughly for the task of book cover classification. Third, we develop an efficient and salable multi-modal framework based on the images and texts shown on the covers only. Fourth, a thorough analysis of the experimental results is given and future works to improve the performance is suggested. The results show that the multi-modal framework significantly outperforms the current state-of-the-art image-based models. However, more efforts and resources are needed for this classification task in order to reach a satisfactory level.


title: Linear independence of rationally slice knots

abstract: A knot in $S^3$ is rationally slice if it bounds a disk in a rational homology ball. We give an infinite family of rationally slice knots that are linearly independent in the knot concordance group. In particular, our examples are all infinite order. All previously known examples of rationally slice knots were order two.


title: ArraMon: A Joint Navigation-Assembly Instruction Interpretation Task in Dynamic Environments

abstract: For embodied agents, navigation is an important ability but not an isolated goal. Agents are also expected to perform specific tasks after reaching the target location, such as picking up objects and assembling them into a particular arrangement. We combine Vision-and-Language Navigation, assembling of collected objects, and object referring expression comprehension, to create a novel joint navigation-and-assembly task, named ArraMon. During this task, the agent (similar to a PokeMON GO player) is asked to find and collect different target objects one-by-one by navigating based on natural language instructions in a complex, realistic outdoor environment, but then also ARRAnge the collected objects part-by-part in an egocentric grid-layout environment. To support this task, we implement a 3D dynamic environment simulator and collect a dataset (in English; and also extended to Hindi) with human-written navigation and assembling instructions, and the corresponding ground truth trajectories. We also filter the collected instructions via a verification stage, leading to a total of 7.7K task instances (30.8K instructions and paths). We present results for several baseline models (integrated and biased) and metrics (nDTW, CTC, rPOD, and PTC), and the large model-human performance gap demonstrates that our task is challenging and presents a wide scope for future work. Our dataset, simulator, and code are publicly available at: https://arramonunc.github.io


title: hyper-sinh: An Accurate and Reliable Function from Shallow to Deep Learning in TensorFlow and Keras

abstract: This paper presents the 'hyper-sinh', a variation of the m-arcsinh activation function suitable for Deep Learning (DL)-based algorithms for supervised learning, such as Convolutional Neural Networks (CNN). hyper-sinh, developed in the open source Python libraries TensorFlow and Keras, is thus described and validated as an accurate and reliable activation function for both shallow and deep neural networks. Improvements in accuracy and reliability in image and text classification tasks on five (N = 5) benchmark data sets available from Keras are discussed. Experimental results demonstrate the overall competitive classification performance of both shallow and deep neural networks, obtained via this novel function. This function is evaluated with respect to gold standard activation functions, demonstrating its overall competitive accuracy and reliability for both image and text classification.


title: Generation of entangled states of light using discrete solitons in waveguide arrays

abstract: We study the quantum properties of light propagating through an array of coupled nonlinear waveguides and forming a discrete soliton. We demonstrate that it is possible to use certain types of quasi-solitons to form continuous variables entanglement between the certain pair of waveguides. This entanglement generation process occurs even with a very large number of photons in the laser field used, so it does not require a special material with an extremely high nonlinearity coefficient. Also absorption in the waveguide media does not influence it too much.


title: $s$-Numbers of Embeddings of Weighted Wiener Algebras

abstract: In this paper we study the asymptotic behavior of Kolmogorov, approximation, Bernstein and Weyl numbers of embeddings $ \mathcal{A}^{s,r}_{\rm mix}(\mathbb{T}^d) \to L_2(\mathbb{T}^d)$ and $\mathcal{A}^{s,r}_{\rm mix}(\mathbb{T}^d) \to \mathcal{A}(\mathbb{T}^d)$, where $\mathcal{A}^{s,r}_{\rm mix}(\mathbb{T}^d)$ is a weighted Wiener algebra of mixed smoothness $s$ and $\mathcal{A}(\mathbb{T}^d)$ is the Wiener algebra itself, both defined on the $d$-dimensional torus $\mathbb{T}^d$. Our main interest consists in the calculation of the associated asymptotic constants.