title: Temperature dependent phase stability of Mo-Nb-Ta-W refractory high-entropy alloys

abstract: In this study Mo-Nb-Ta-W refractory high-entropy alloys (R-HEAs) have been studied for their phase stability for a wide temperature range (100 K to 2000 K). The equilibrium thermodynamic phases are determined by the changes in enthalpy and entropy. The enthalpy changes at any temperature are simulated by embedded atom method (EAM) potential based hybrid Monte Carlo molecular dynamics (MC/MD) simulations. Configurational entropy was calculated by quasichemical method. The EAM potentials were all calculated based on the physical input parameters of elements like atomic volume, cohesive energy, elastic constants etc. It was found that the MC/MD evolved equilibrium structures and the degree of local chemical short-range order/clustering (SRO/SRC) largely depend on the ordering enthalpies for various temperatures. The ordering transition temperature is close to 700 K, which is also substantiated by the experimental powder X-ray diffractions done in synchrotron beam. Large increase of degree of next-neighbor B2-type ordering of Mo-Ta pairs and decrease of that Nb-W pairs were observed. This was also expected from the trends of density functional theory (DFT) based ab-initio simulations done in the literature and discussed in this work. The simulated diffraction pattern and changes in scattering intensity due to the chemical SRO and SRC was investigated. The diffraction trends were explained with the help of the features of the evolved nanostructure morphology. The developed methodologies may be helpful in prior prediction of long-term phase stability in multi-element alloys by reducing the number of costly experiments.


title: The equilibrium points and stability of grid-connected synchronverters

abstract: Virtual synchronous machines are inverters with a control algorithm that causes them to behave towards the power grid like synchronous generators. A popular way to realize such inverters are synchronverters. Their control algorithm has evolved over time, but all the different formulations in the literature share the same "basic control algorithm". We investigate the equilibrium points and the stability of a synchronverter described by this basic algorithm, when connected to an infinite bus. We formulate a fifth order model for a grid-connected synchronverter and derive a necessary and sufficient condition for the existence of equilibrium points. We show that the set of equilibrium points with positive field current is a two-dimensional manifold that can be parametrized by the corresponding pair $(P,Q)$, where $P$ is the active power and $Q$ is the reactive power. This parametrization has several surprizing geometric properties, for instance, the prime mover torque, the power angle and the field current can be seen directly as distances or angles in the $(P,Q)$ plane. In addition, the stable equilibrium points correspond to a subset of a certain angular sector in the $(P,Q)$ plane. Thus, we can predict the stable operating range of a synchronverter from its parameters and from the grid voltage and frequency. Our stability result is based on the intrinsic two time scales property of the system, using tools from singular perturbation theory. We illustrate our theoretical results with two numerical examples.


title: A new interpretable unsupervised anomaly detection method based on residual explanation

abstract: Despite the superior performance in modeling complex patterns to address challenging problems, the black-box nature of Deep Learning (DL) methods impose limitations to their application in real-world critical domains. The lack of a smooth manner for enabling human reasoning about the black-box decisions hinder any preventive action to unexpected events, in which may lead to catastrophic consequences. To tackle the unclearness from black-box models, interpretability became a fundamental requirement in DL-based systems, leveraging trust and knowledge by providing ways to understand the model's behavior. Although a current hot topic, further advances are still needed to overcome the existing limitations of the current interpretability methods in unsupervised DL-based models for Anomaly Detection (AD). Autoencoders (AE) are the core of unsupervised DL-based for AD applications, achieving best-in-class performance. However, due to their hybrid aspect to obtain the results (by requiring additional calculations out of network), only agnostic interpretable methods can be applied to AE-based AD. These agnostic methods are computationally expensive to process a large number of parameters. In this paper we present the RXP (Residual eXPlainer), a new interpretability method to deal with the limitations for AE-based AD in large-scale systems. It stands out for its implementation simplicity, low computational cost and deterministic behavior, in which explanations are obtained through the deviation analysis of reconstructed input features. In an experiment using data from a real heavy-haul railway line, the proposed method achieved superior performance compared to SHAP, demonstrating its potential to support decision making in large scale critical systems.


title: Contents, Contexts, and Basics of Contextuality

abstract: This is a non-technical introduction into theory of contextuality. More precisely, it presents the basics of a theory of contextuality called Contextuality-by-Default (CbD). One of the main tenets of CbD is that the identity of a random variable is determined not only by its content (that which is measured or responded to) but also by contexts, systematically recorded conditions under which the variable is observed; and the variables in different contexts possess no joint distributions. I explain why this principle has no paradoxical consequences, and why it does not support the holistic "everything depends on everything else" view. Contextuality is defined as the difference between two differences: (1) the difference between content-sharing random variables when taken in isolation, and (2) the difference between the same random variables when taken within their contexts. Contextuality thus defined is a special form of context-dependence rather than a synonym for the latter. The theory applies to any empirical situation describable in terms of random variables. Deterministic situations are trivially noncontextual in CbD, but some of them can be described by systems of epistemic random variables, in which random variability is replaced with epistemic uncertainty. Mathematically, such systems are treated as if they were ordinary systems of random variables.


title: A new family of exceptional rational functions

abstract: For each odd prime power q, we construct an infinite sequence of rational functions f(X) in F_q(X), each of which is exceptional, which means that for infinitely many n the map c-->f(c) induces a bijection of P^1(F_{q^n}). Moreover, each of our functions f(X) is indecomposable, which means that it cannot be written as the composition of lower-degree rational functions in F_q(X). In case q is not a power of 3, these are the first known examples of indecomposable exceptional rational functions f(X) over F_q which have non-solvable monodromy groups and have arbitrarily large degree. These are also the first known examples of wildly ramified indecomposable exceptional rational functions f(X), other than linear changes of polynomials.


title: Arthur's multiplicity formula for even orthogonal and unitary groups

abstract: Let G be an even orthogonal or unitary group over a number field. Based on the same observation used in arXiv:1705.10106, we prove the Arthur's multiplicity formula for the generic part of the automorphic discrete spectrum of G by using the theta lift. We also consider a class of non-generic A-parameters and obtain a multiplicity formula in this case. In particular, we obtain a description of the full automorphic discrete spectrum of even orthogonal or unitary groups with Witt index less or equal to one.


title: JAMIP: an artificial-intelligence aided data-driven infrastructure for computational materials informatics

abstract: Materials informatics has emerged as a promisingly new paradigm for accelerating materials discovery and design. It exploits the intelligent power of machine learning methods in massive materials data from experiments or simulations to seek for new materials, functionality, principles, etc. Developing specialized facility to generate, collect, manage, learn and mine large-scale materials data is crucial to materials informatics. We herein developed an artificial-intelligence-aided data-driven infrastructure named Jilin Artificial-intelligence aided Materials-design Integrated Package (JAMIP), which is an open-source Python framework to meet the research requirements of computational materials informatics. It is integrated by materials production factory, high-throughput first-principles calculations engine, automatic tasks submission and monitoring progress, data extraction, management and storage system, and artificial intelligence machine learning based data mining functions. We have integrated specific features such as inorganic crystal structure prototype database to facilitate high-throughput calculations and essential modules associated with machine learning studies of functional materials. We demonstrated how our developed code is useful in exploring materials informatics of optoelectronic semiconductors by taking halide perovskites as typical case. By obeying the principles of automation, extensibility, reliability and intelligence, the JAMIP code is a promisingly powerful tool contributing to the fast-growing field of computational materials informatics.


title: K-band High-Resolution Spectroscopy of Embedded Massive Protostars

abstract: A classical paradox in high-mass star formation is that powerful radiation pressure can halt accretion, preventing further growth of a central star. Disk accretion has been proposed to solve this problem, but the disks and the accretion process in high-mass star formation are poorly understood. We executed high-resolution ($R$=35,000-70,000) iSHELL spectroscopy in $K$-band for eleven high-mass protostars. Br-$\gamma$ emission was observed toward eight sources, and the line profiles for most of these sources are similar to those of low-mass PMS stars. Using an empirical relationship between the Br-$\gamma$ and accretion luminosities, we tentatively estimate disk accretion rates ranging from $\lesssim$10$^{-8}$ and $\sim$10$^{-4}$ $M_\odot$ yr$^{-1}$. These low-mass-accretion rates suggest that high-mass protostars gain more mass via episodic accretion as proposed for low-mass protostars. Given the detection limits, CO overtone emission ($v$=2-0 and 3-1), likely associated with the inner disk region ($r \ll 100$ au), was found towards two sources. This low-detection rate compared with Br-$\gamma$ emission is consistent with previous observations. Ten out of the eleven sources show absorption at the $v$=0-2 ${\rm R(7)-R(14)}$ CO R-branch. Most of them are either blueshifted or redshifted, indicating that the absorption is associated with an outflow or an inflow with a velocity of up to $\sim50$ km s$^{-1}$. Our analysis indicates that the absorption layer is well thermalized (and therefore $n_{\mathrm H_2} \gtrsim 10^6$ cm$^{-3}$) at a single temperature of typically 100-200 K, and located within 200-600 au of the star.


title: Morse resolutions of powers of square-free monomial ideals of projective dimension one

abstract: Let $I$ be a square-free monomial ideal $I$ of projective dimension one. Starting with the Taylor complex on the generators of $I^r$, we use Discrete Morse theory to describe a CW complex that supports a minimal free resolution of $I^r$. To do so, we concretely describe the acyclic matching on the faces of the Taylor complex.


title: Diagrammatic Differentiation for Quantum Machine Learning

abstract: We introduce diagrammatic differentiation for tensor calculus by generalising the dual number construction from rigs to monoidal categories. Applying this to ZX diagrams, we show how to calculate diagrammatically the gradient of a linear map with respect to a phase parameter. For diagrams of parametrised quantum circuits, we get the well-known parameter-shift rule at the basis of many variational quantum algorithms. We then extend our method to the automatic differentation of hybrid classical-quantum circuits, using diagrams with bubbles to encode arbitrary non-linear operators. Moreover, diagrammatic differentiation comes with an open-source implementation in DisCoPy, the Python library for monoidal categories. Diagrammatic gradients of classical-quantum circuits can then be simplified using the PyZX library and executed on quantum hardware via the tket compiler. This opens the door to many practical applications harnessing both the structure of string diagrams and the computational power of quantum machine learning.


title: Coherence and entanglement of inherently long-lived spin pairs in diamond

abstract: Understanding and protecting the coherence of individual quantum systems is a central challenge in quantum science and technology. Over the last decades, a rich variety of methods to extend coherence have been developed. A complementary approach is to look for naturally occurring systems that are inherently protected against decoherence. Here, we show that pairs of identical nuclear spins in solids form intrinsically long-lived quantum systems. We study three carbon-13 pairs in diamond and realize high-fidelity measurements of their quantum states using a single NV center in their vicinity. We then reveal that the spin pairs are robust to external perturbations due to a unique combination of three phenomena: a clock transition, a decoherence-free subspace, and a variant on motional narrowing. The resulting inhomogeneous dephasing time is $T_2^* = 1.9(3)$ minutes, the longest reported for individually controlled qubits. Finally, we develop complete control and realize an entangled state between two spin-pair qubits through projective parity measurements. These long-lived qubits are abundantly present in diamond and other solids, and provide new opportunities for quantum sensing, quantum information processing, and quantum networks.


title: Temperature-dependent electronic ground state charge transfer in van der Waals heterostructures

abstract: Electronic charge rearrangement between components of a heterostructure is the fundamental principle to reach the electronic ground state. It is acknowledged that the density of states distribution of the components governs the amount of charge transfer, but a notable dependence on temperature has not yet been considered, particularly for weakly interacting systems. Here, we experimentally observe that the amount of ground state charge transfer in a van der Waals heterostructure formed by monolayer MoS2 sandwiched between graphite and a molecular electron acceptor layer increases by a factor of three when going from 7 K to room temperature. State-of-the-art electronic structure calculations of the full heterostructure that account for nuclear thermal fluctuations reveal intra-component electron-phonon coupling and inter-component electronic coupling as the key factors determining the amount of charge transfer. This conclusion is rationalized by a model applicable to multi-component van der Waals heterostructures.


title: Use of static surrogates in hyperparameter optimization

abstract: Optimizing the hyperparameters and architecture of a neural network is a long yet necessary phase in the development of any new application. This consuming process can benefit from the elaboration of strategies designed to quickly discard low quality configurations and focus on more promising candidates. This work aims at enhancing HyperNOMAD, a library that adapts a direct search derivative-free optimization algorithm to tune both the architecture and the training of a neural network simultaneously, by targeting two keys steps of its execution and exploiting cheap approximations in the form of static surrogates to trigger the early stopping of the evaluation of a configuration and the ranking of pools of candidates. These additions to HyperNOMAD are shown to improve on its resources consumption without harming the quality of the proposed solutions.


title: VXSlate: Combining Head Movement and Mobile Touch for Large Virtual Display Interaction

abstract: Virtual Reality (VR) headsets can open opportunities for users to accomplish complex tasks on large virtual displays, using compact setups. However, interacting with large virtual displays using existing interaction techniques might cause fatigue, especially for precise manipulations, due to the lack of physical surfaces. We designed VXSlate, an interaction technique that uses a large virtual display, as an expansion of a tablet. VXSlate combines a user's headmovement, as tracked by the VR headset, and touch interaction on the tablet. The user's headmovement position both a virtual representation of the tablet and of the user's hand on the large virtual display. The user's multi-touch interactions perform finely-tuned content manipulations.


title: Relaxation of Thermal Capillary Waves for Nanoscale Liquid Films on Anisotropic-slip Substrates

abstract: The relaxation dynamics of thermal capillary waves for nanoscale liquid films on anisotropic-slip substrates are investigated, using both molecular dynamics (MD) simulations and a Langevin model. The anisotropy of slip on substrates is achieved using a specific lattice plane of a face-centred cubic lattice. This surface's anisotropy breaks the simple scalar proportionality between slip velocity and wall shear stress and requires the introduction of a slip-coefficient tensor. The Langevin equation can describe both the growth of capillary wave spectra and the relaxation of capillary wave correlations, with the former providing a time scale for the surface to reach thermal equilibrium. Temporal correlations of interfacial Fourier modes, measured at thermal equilibrium in MD, demonstrate that (i) larger slip lengths lead to a faster decay in wave correlations, and (ii) unlike on isotropic-slip substrates, the time correlations of waves on anisotropic-slip substrates are wave-direction dependent. These findings emerge naturally from the proposed Langevin equation, which becomes wave-direction dependent, agrees well with MD results, and allows to produce experimentally-verifiable predictions.


title: Active Dynamical Prospection: Modeling Mental Simulation as Particle Filtering for Sensorimotor Control during Pathfinding

abstract: What do humans do when confronted with a common challenge: we know where we want to go but we are not yet sure the best way to get there, or even if we can. This is the problem posed to agents during spatial navigation and pathfinding, and its solution may give us clues about the more abstract domain of planning in general. In this work, we model pathfinding behavior in a continuous, explicitly exploratory paradigm. In our task, participants (and agents) must coordinate both visual exploration and navigation within a partially observable environment. Our contribution has three primary components: 1) an analysis of behavioral data from 81 human participants in a novel pathfinding paradigm conducted as an online experiment, 2) a proposal to model prospective mental simulation during navigation as particle filtering, and 3) an instantiation of this proposal in a computational agent. We show that our model, Active Dynamical Prospection, demonstrates similar patterns of map solution rate, path selection, and trial duration, as well as attentional behavior (at both aggregate and individual levels) when compared with data from human participants. We also find that both distal attention and delay prior to first move (both potential correlates of prospective simulation) are predictive of task performance.


title: On the least common multiple of shifted powers

abstract: Let $a \geq 2$ be an integer. We prove that for every periodic sequence $(s_n)_{n \geq 1}$ in $\{-1, +1\}$ there exists an effectively computable rational number $C_\mathbf{s} > 0$ such that \begin{equation*} \log\operatorname{lcm}(a + s_1, a^2 + s_2, \dots, a^n + s_n) \sim C_\mathbf{s} \cdot \frac{\log a}{\pi^2} \cdot n^2 , \end{equation*} as $n \to +\infty$, where $\operatorname{lcm}$ denotes the least common multiple. Furthermore, we show that if $(s_n)_{n \geq 1}$ is a sequence of independent and uniformly distributed random variables in $\{-1, +1\}$ then \begin{equation*} \log\operatorname{lcm}(a + s_1, a^2 + s_2, \dots, a^n + s_n) \sim 6 \operatorname{Li}_2\!\big(\tfrac1{2}\big) \cdot \frac{\log a}{\pi^2} \cdot n^2 , \end{equation*} with probability $1 - o(1)$, as $n \to +\infty$, where $\operatorname{Li}_2$ is the dilogarithm function.


title: Deceleration and trapping of SrF molecules

abstract: We report on the electrostatic trapping of neutral SrF molecules. The molecules are captured from a cryogenic buffer-gas beam source into the moving traps of a 4.5 m long traveling-wave Stark decelerator. The SrF molecules in $X^2\Sigma^+(v=0, N=1)$ state are brought to rest as the velocity of the moving traps is gradually reduced from 190 m/s to zero. The molecules are held for up to 50 ms in multiple electric traps of the decelerator. The trapped packets have a volume (FWHM) of 1 mm$^{3}$ and a velocity spread of 5(1) m/s which corresponds to a temperature of $60(20)$ mK. Our result demonstrates a factor 3 increase in the molecular mass that has been Stark-decelerated and trapped. Heavy molecules (mass$>$100 amu) offer a highly increased sensitivity to probe physics beyond the Standard Model. This work significantly extends the species of neutral molecules of which slow beams can be created for collision studies, precision measurement and trapping experiments.


title: Monte Carlo Scene Search for 3D Scene Understanding

abstract: We explore how a general AI algorithm can be used for 3D scene understanding to reduce the need for training data. More exactly, we propose a modification of the Monte Carlo Tree Search (MCTS) algorithm to retrieve objects and room layouts from noisy RGB-D scans. While MCTS was developed as a game-playing algorithm, we show it can also be used for complex perception problems. Our adapted MCTS algorithm has few easy-to-tune hyperparameters and can optimise general losses. We use it to optimise the posterior probability of objects and room layout hypotheses given the RGB-D data. This results in an analysis-by-synthesis approach that explores the solution space by rendering the current solution and comparing it to the RGB-D observations. To perform this exploration even more efficiently, we propose simple changes to the standard MCTS' tree construction and exploration policy. We demonstrate our approach on the ScanNet dataset. Our method often retrieves configurations that are better than some manual annotations, especially on layouts.


title: Effects of surface treatments on flux tunable transmon qubits

abstract: One of the main limitations in state-of-the art solid-state quantum processors are qubit decoherence and relaxation due to noise in their local environment. For the field to advance towards full fault-tolerant quantum computing, a better understanding of the underlying microscopic noise sources is therefore needed. Adsorbates on surfaces, impurities at interfaces and material defects have been identified as sources of noise and dissipation in solid-state quantum devices. Here, we use an ultra-high vacuum package to study the impact of vacuum loading, UV-light exposure and ion irradiation treatments on coherence and slow parameter fluctuations of flux tunable superconducting transmon qubits. We analyse the effects of each of these surface treatments by comparing averages over many individual qubits and measurements before and after treatment. The treatments studied do not significantly impact the relaxation rate $\Gamma_1$ and the echo dephasing rate $\Gamma_2^\textrm{e}$, except for Ne ion bombardment which reduces $\Gamma_1$. In contrast, flux noise parameters are improved by removing magnetic adsorbates from the chip surfaces with UV-light and NH$_3$ treatments. Additionally, we demonstrate that SF$_6$ ion bombardment can be used to adjust qubit frequencies in-situ and post fabrication without affecting qubit coherence at the sweet spot.


title: Ultralong-distance quantum correlations in three-terminal Josephson junctions

abstract: The production of entangled pairs of electrons in ferromagnet-superconductor-ferromagnet or normal metal-superconductor-normal metal three-terminal structures has aroused considerable interest in the last twenty years. In these studies, the distance between the contacts is limited by the zero-energy superconducting coherence length. Here, we demonstrate nonlocality and quantum correlations in voltage-biased three-terminal Josephson junctions over the ultralong distance that exceeds the superconducting coherence length by orders of magnitude. The effect relies on} the interplay between the time-periodic Floquet-Josephson dynamics, Cooper pair splitting and long-range coupling similar to the two-terminal Tomasch effect. We find cross-over between the ``Floquet-Andreev quartets'' (if the spatial separation is smaller than the superconducting coherence length), and the ``ultralong-distance Floquet-Tomasch clusters of Cooper pairs'' if the separation exceeds the superconducting coherence length, possibly reaching the same $\simeq 30\,\mu$m as in the Tomasch experiments. The effect can be detected with DC-transport and zero-frequency quantum current-noise cross-correlation experiments, and it can be used for fundamental studies of superconducting quasiparticle quantum coherence in the circuits of quantum engineering.


title: Open-independent, open-locating-dominating sets: structural aspects of some classes of graphs

abstract: Let $G=(V(G),E(G))$ be a finite simple undirected graph with vertex set $V(G)$, edge set $E(G)$ and vertex subset $S\subseteq V(G)$. $S$ is termed \emph{open-dominating} if every vertex of $G$ has at least one neighbor in $S$, and \emph{open-independent, open-locating-dominating} (an $OLD_{oind}$-set for short) if no two vertices in $G$ have the same set of neighbors in $S$, and each vertex in $S$ is open-dominated exactly once by $S$. The problem of deciding whether or not $G$ has an $OLD_{oind}$-set has important applications that have been reported elsewhere. As the problem is known to be $\mathcal{NP}$-complete, it appears to be notoriously difficult as we show that its complexity remains the same even for just planar bipartite graphs of maximum degree five and girth six, and also for planar subcubic graphs of girth nine. Also, we present characterizations of both $P_4$-tidy graphs and the complementary prisms of cographs that have an $OLD_{oind}$-set.


title: Progressive residual learning for single image dehazing

abstract: The recent physical model-free dehazing methods have achieved state-of-the-art performances. However, without the guidance of physical models, the performances degrade rapidly when applied to real scenarios due to the unavailable or insufficient data problems. On the other hand, the physical model-based methods have better interpretability but suffer from multi-objective optimizations of parameters, which may lead to sub-optimal dehazing results. In this paper, a progressive residual learning strategy has been proposed to combine the physical model-free dehazing process with reformulated scattering model-based dehazing operations, which enjoys the merits of dehazing methods in both categories. Specifically, the global atmosphere light and transmission maps are interactively optimized with the aid of accurate residual information and preliminary dehazed restorations from the initial physical model-free dehazing process. The proposed method performs favorably against the state-of-the-art methods on public dehazing benchmarks with better model interpretability and adaptivity for complex hazy data.


title: CrossoverScheduler: Overlapping Multiple Distributed Training Applications in a Crossover Manner

abstract: Distributed deep learning workloads include throughput-intensive training tasks on the GPU clusters, where the Distributed Stochastic Gradient Descent (SGD) incurs significant communication delays after backward propagation, forces workers to wait for the gradient synchronization via a centralized parameter server or directly in decentralized workers. We present CrossoverScheduler, an algorithm that enables communication cycles of a distributed training application to be filled by other applications through pipelining communication and computation. With CrossoverScheduler, the running performance of distributed training can be significantly improved without sacrificing convergence rate and network accuracy. We achieve so by introducing Crossover Synchronization which allows multiple distributed deep learning applications to time-share the same GPU alternately. The prototype of CrossoverScheduler is built and integrated with Horovod. Experiments on a variety of distributed tasks show that CrossoverScheduler achieves 20% \times speedup for image classification tasks on ImageNet dataset.


title: Floating Wigner Crystal and Periodic Jellium Configurations

abstract: Extending on ideas of Lewin, Lieb and Seiringer (Phys Rev B, 100, 035127, (2019)) we present a modified "floating crystal" trial state for Jellium (also known as the classical homogeneous electron gas) with density equal to a characteristic function. This allows us to show that three definitions of the Jellium energy coincide in dimensions $d\geq 2$, thus extending the result of Cotar and Petrache (arXiv: 1707.07664) and Lewin, Lieb and Seiringer (Phys Rev B, 100, 035127, (2019)) that the three definitions coincide in dimension $d \geq 3$. We show that the Jellium energy is also equivalent to a "renormalized energy" studied in a series of papers by Serfaty and others and thus, by work of B\'etermin and Sandier (Constr Approx, 47:39-74, (2018)), we relate the Jellium energy to the order $n$ term in the logarithmic energy of $n$ points on the unit 2-sphere. We improve upon known lower bounds for this renormalized energy. Additionally, we derive formulas for the Jellium energy of periodic configurations.


title: TransFG: A Transformer Architecture for Fine-grained Recognition

abstract: Fine-grained visual classification (FGVC) which aims at recognizing objects from subcategories is a very challenging task due to the inherently subtle inter-class differences. Most existing works mainly tackle this problem by reusing the backbone network to extract features of detected discriminative regions. However, this strategy inevitably complicates the pipeline and pushes the proposed regions to contain most parts of the objects thus fails to locate the really important parts. Recently, vision transformer (ViT) shows its strong performance in the traditional classification task. The self-attention mechanism of the transformer links every patch token to the classification token. In this work, we first evaluate the effectiveness of the ViT framework in the fine-grained recognition setting. Then motivated by the strength of the attention link can be intuitively considered as an indicator of the importance of tokens, we further propose a novel Part Selection Module that can be applied to most of the transformer architectures where we integrate all raw attention weights of the transformer into an attention map for guiding the network to effectively and accurately select discriminative image patches and compute their relations. A contrastive loss is applied to enlarge the distance between feature representations of confusing classes. We name the augmented transformer-based model TransFG and demonstrate the value of it by conducting experiments on five popular fine-grained benchmarks where we achieve state-of-the-art performance. Qualitative results are presented for better understanding of our model.


title: Understanding the Design-Space of Sparse/Dense Multiphase GNN dataflows on Spatial Accelerators

abstract: Graph Neural Networks (GNNs) have garnered a lot of recent interest because of their success in learning representations from graph-structured data across several critical applications in cloud and HPC. Owing to their unique compute and memory characteristics that come from an interplay between dense and sparse phases of computations, the emergence of reconfigurable dataflow (aka spatial) accelerators offers promise for acceleration by mapping optimized dataflows (i.e., computation order and parallelism) for both phases. The goal of this work is to characterize and understand the design-space of dataflow choices for running GNNs on spatial accelerators in order for mappers or design-space exploration tools to optimize the dataflow based on the workload. Specifically, we propose a taxonomy to describe all possible choices for mapping the dense and sparse phases of GNN inference, spatially and temporally over a spatial accelerator, capturing both the intra-phase dataflow and the inter-phase (pipelined) dataflow. Using this taxonomy, we do deep-dives into the cost and benefits of several dataflows and perform case studies on implications of hardware parameters for dataflows and value of flexibility to support pipelined execution.


title: Putting Data Science Pipelines on the Edge

abstract: This paper proposes a composable "Just in Time Architecture" for Data Science (DS) Pipelines named JITA-4DS and associated resource management techniques for configuring disaggregated data centers (DCs). DCs under our approach are composable based on vertical integration of the application, middleware/operating system, and hardware layers customized dynamically to meet application Service Level Objectives (SLO - application-aware management). Thereby, pipelines utilize a set of flexible building blocks that can be dynamically and automatically assembled and re-assembled to meet the dynamic changes in the workload's SLOs. To assess disaggregated DC's, we study how to model and validate their performance in large-scale settings.


title: Influence of the four-fermion interactions in (2+1)D massive electrons system

abstract: The description of the electromagnetic interaction in two-dimensional Dirac materials, such as graphene and transition-metal dichalcogenides, in which electrons move in the plane and interact via virtual photons in 3d, leads naturally to the emergence of a projected non-local theory, called pseudo-quantum electrodynamics (PQED), as an effective model suitable for describing electromagnetic interaction in these systems. In this work, we investigate the role of a complete set of four-fermion interactions in the renormalization group functions when we coupled it with the anisotropic version of massive PQED, where we take into account the fact that the Fermi velocity is not equal to the light velocity. We calculate the electron self-energy in the dominant order in the $1/N$ expansion in the regime where $m ^ 2 \ll p ^ 2$. We show that the Fermi velocity renormalization is insensitive to the presence of quartic fermionic interactions, whereas the renormalized mass may have two different asymptotic behaviors at the high-density limit, which means a high-energy scale.


title: A Grid of Core-Collapse Supernova Remnant Models I: The Effect of Wind-Driven Mass-Loss

abstract: Massive stars can shed material via steady, line-driven winds, eruptive outflows, or mass-transfer onto a binary companion. In the case of single stars, the mass is deposited by the stellar wind into the nearby environment. After the massive star explodes, the stellar ejecta interact with this circumstellar material (CSM), often-times resulting in bright X-ray line emission from both the shock-heated CSM and ejecta. The amount of material lost by the progenitor, the mass of ejecta, and its energetics all impact the bulk spectral characteristics of this X-ray emission. Here we present a grid of core-collapse supernova remnant models derived from models for massive stars with zero age main sequence masses of $\sim$ 10 - 30 M$_\odot$ evolved from the pre-main sequence stage with wind-driven mass-loss. Evolution is handled by a multi-stage pipeline of software packages. First, we use mesa (Modules for Experiments in Stellar Astrophysics) to evolve the progenitors from pre-main sequence to iron core collapse. We then use the Supernova Explosion Code (snec) to explode the mesa models, and follow them for the first 100 days following core-collapse. Finally, we couple the snec output, along with the CSM generated from mesa mass-loss rates, into the Cosmic-Ray Hydrodynamics code (ChN) to model the remnant phase to 7000 years post core-collapse. At the end of each stage, we compare our outputs with those found in the literature, and we examine any qualitative and quantitative differences in the bulk properties of the remnants and their spectra based on the initial progenitor mass, as well as mass-loss history.


title: On the analytic Birkhoff normal form of the Benjamin-Ono equation and applications

abstract: In this paper we prove that the Benjamin-Ono equation admits an analytic Birkhoff normal form in an open neighborhood of zero in $H^{s}_{0}(\T, \R)$ for any $s>-1/2$ where $H^{s}_{0}(\T, \R)$ denotes the subspace of the Sobolev space $H^{s}(\T, \R)$ of elements with mean $0$. As an application we show that for any $-1/2<s<0$, the flow map of the Benjamin-Ono equation $\mathcal{S}_0^t : H^{s}_{0}(\T, \R)\to H^{s}_{0}(\T, \R)$ is nowhere locally uniformly continuous in a neighborhood of zero in $H^{s}_{0}(\T, \R)$.


title: S-dual Inflation and the String Swampland

abstract: The Swampland de Sitter conjecture in combination with upper limits on the tensor-to-scalar ratio $r$ derived from observations of the cosmic microwave background endangers the paradigm of slow-roll single field inflation. This conjecture constrains the first and the second derivatives of the inflationary potential in terms of two ${\cal O} (1)$ constants $c$ and $c'$. In view of these restrictions we reexamine single-field inflationary potentials with $S$-duality symmetry, which ameliorate the unlikeliness problem of the initial condition. We compute $r$ at next-to-leading order in slow-roll parameters for the most general form of $S$-dual potentials and confront model predictions to constraints imposed by the de Sitter conjecture. We find that $c \sim {\cal O} (10^{-1})$ and $c' \sim {\cal O} (10^{-2})$ can accommodate the 95\% CL upper limit on $r$. By imposing at least 50 $e$-folds of inflation with the effective field theory description only valid over a field displacement ${\cal O} (1)$ when measured as a distance in the target space geometry, we further restrict $c \sim {\cal O} (10^{-2})$, while the constraint on $c'$ remains unchanged. We comment on how to accommodate the required small values of $c$ and $c'$.


title: Physics-Informed Neural Networks for Solving Multiscale Mode-Resolved Phonon Boltzmann Transport Equation

abstract: Boltzmann transport equation (BTE) is an ideal tool to describe the multiscale phonon transport phenomena, which are critical to applications like microelectronics cooling. Numerically solving phonon BTE is extremely computationally challenging due to the high dimensionality of such problems, especially when mode-resolved properties are considered. In this work, we demonstrate the use of physics-informed neural networks (PINNs) to efficiently solve phonon BTE for multiscale thermal transport problems with the consideration of phonon dispersion and polarization. In particular, a PINN framework is devised to predict the phonon energy distribution by minimizing the residuals of governing equations and boundary conditions, without the need for any labeled training data. Moreover, geometric parameters, such as the characteristic length scale, are included as a part of the input to PINN, which enables learning BTE solutions in a parametric setting. The effectiveness of the present scheme is demonstrated by solving a number of phonon transport problems in different spatial dimensions (from 1D to 3D). Compared to existing numerical BTE solvers, the proposed method exhibits superiority in efficiency and accuracy, showing great promises for practical applications, such as the thermal design of electronic devices.


title: Convergence analysis of stochastic higher-order majorization-minimization algorithms

abstract: Majorization-minimization schemes are a broad class of iterative methods targeting general optimization problems, including nonconvex, nonsmooth and stochastic. These algorithms minimize successively a sequence of upper bounds of the objective function so that along the iterations the objective value decreases. We present a stochastic higher-order algorithmic framework for minimizing the average of a very large number of sufficiently smooth functions. Our stochastic framework is based on the notion of stochastic higher-order upper bound approximations of the finite-sum objective function and minibatching. We derive convergence results for nonconvex and convex optimization problems when the higher-order approximation of the objective function yields an error that is p times differentiable and has Lipschitz continuous p derivative. More precisely, for general nonconvex problems we present asymptotic stationary point guarantees and under Kurdyka-Lojasiewicz property we derive local convergence rates ranging from sublinear to linear. For convex problems with uniformly convex objective function we derive local (super)linear convergence results for our algorithm. Compared to existing stochastic (first-order) methods, our algorithm adapts to the problem's curvature and allows using any batch size. Preliminary numerical tests support the effectiveness of our algorithmic framework.


title: COVID-19 Infection Localization and Severity Grading from Chest X-ray Images

abstract: Coronavirus disease 2019 (COVID-19) has been the main agenda of the whole world, since it came into sight in December 2019 as it has significantly affected the world economy and healthcare system. Given the effects of COVID-19 on pulmonary tissues, chest radiographic imaging has become a necessity for screening and monitoring the disease. Numerous studies have proposed Deep Learning approaches for the automatic diagnosis of COVID-19. Although these methods achieved astonishing performance in detection, they have used limited chest X-ray (CXR) repositories for evaluation, usually with a few hundred COVID-19 CXR images only. Thus, such data scarcity prevents reliable evaluation with the potential of overfitting. In addition, most studies showed no or limited capability in infection localization and severity grading of COVID-19 pneumonia. In this study, we address this urgent need by proposing a systematic and unified approach for lung segmentation and COVID-19 localization with infection quantification from CXR images. To accomplish this, we have constructed the largest benchmark dataset with 33,920 CXR images, including 11,956 COVID-19 samples, where the annotation of ground-truth lung segmentation masks is performed on CXRs by a novel human-machine collaborative approach. An extensive set of experiments was performed using the state-of-the-art segmentation networks, U-Net, U-Net++, and Feature Pyramid Networks (FPN). The developed network, after an extensive iterative process, reached a superior performance for lung region segmentation with Intersection over Union (IoU) of 96.11% and Dice Similarity Coefficient (DSC) of 97.99%. Furthermore, COVID-19 infections of various shapes and types were reliably localized with 83.05% IoU and 88.21% DSC. Finally, the proposed approach has achieved an outstanding COVID-19 detection performance with both sensitivity and specificity values above 99%.


title: Pre-interpolation loss behaviour in neural networks

abstract: When training neural networks as classifiers, it is common to observe an increase in average test loss while still maintaining or improving the overall classification accuracy on the same dataset. In spite of the ubiquity of this phenomenon, it has not been well studied and is often dismissively attributed to an increase in borderline correct classifications. We present an empirical investigation that shows how this phenomenon is actually a result of the differential manner by which test samples are processed. In essence: test loss does not increase overall, but only for a small minority of samples. Large representational capacities allow losses to decrease for the vast majority of test samples at the cost of extreme increases for others. This effect seems to be mainly caused by increased parameter values relating to the correctly processed sample features. Our findings contribute to the practical understanding of a common behaviour of deep neural networks. We also discuss the implications of this work for network optimisation and generalisation.


title: "Warm Bodies": A Post-Processing Technique for Animating Dynamic Blood Flow on Photos and Avatars

abstract: What breathes life into an embodied agent or avatar? While body motions such as facial expressions, speech and gestures have been well studied, relatively little attention has been applied to subtle changes due to underlying physiology. We argue that subtle pulse signals are important for creating more lifelike and less disconcerting avatars. We propose a method for animating blood flow patterns, based on a data-driven physiological model that can be used to directly augment the appearance of synthetic avatars and photo-realistic faces. While the changes are difficult for participants to "see", they significantly more frequently select faces with blood flow as more anthropomorphic and animated than faces without blood flow. Furthermore, by manipulating the frequency of the heart rate in the underlying signal we can change the perceived arousal of the character.


title: Exploiting anticommutation in Hamiltonian simulation

abstract: Quantum computing can efficiently simulate Hamiltonian dynamics of many-body quantum physics, a task that is generally intractable with classical computers. The hardness lies at the ubiquitous anti-commutative relations of quantum operators, in corresponding with the notorious negative sign problem in classical simulation. Intuitively, Hamiltonians with more commutative terms are also easier to simulate on a quantum computer, and anti-commutative relations generally cause more errors, such as in the product formula method. Here, we theoretically explore the role of anti-commutative relation in Hamiltonian simulation. We find that, contrary to our intuition, anti-commutative relations could also reduce the hardness of Hamiltonian simulation. Specifically, Hamiltonians with mutually anti-commutative terms are easy to simulate, as what happens with ones consisting of mutually commutative terms. Such a property is further utilized to reduce the algorithmic error or the gate complexity in the truncated Taylor series quantum algorithm for general problems. Moreover, we propose two modified linear combinations of unitaries methods tailored for Hamiltonians with different degrees of anti-commutation. We numerically verify that the proposed methods exploiting anti-commutative relations could significantly improve the simulation accuracy of electronic Hamiltonians. Our work sheds light on the roles of commutative and anti-commutative relations in simulating quantum systems.


title: Dynamics of SIR model with heterogeneous response to intervention policy

abstract: We study dynamics of a variant of the SIR the model, where we assume that individuals respond differently to dynamics of the epidemic. Their heterogeneous response is modeled by the Preisach hysteresis operator. The degree of heterogeneity of the response is measured by the variance $\sigma^2$ of the corresponding distribution (the Preisach density function). The proposed model has a continuum of endemic equilibrium states characterized by different proportions of susceptible, infected and recovered populations. We consider how the limit point of the epidemic trajectory and the infection peak along this trajectory depend on $\sigma$. The heterogeneous model is compared to the the switched model with an ideally uniform response corresponding to $\sigma=0$.


title: Coherently delocalized states in dipole interacting Rydberg ensembles: the role of internal degeneracies

abstract: We investigate the effect of degenerate atomic states on the exciton delocalization of dipole-dipole interacting Rydberg assemblies. Using a frozen gas and regular one-, two-, and three-dimensional lattice arrangements as examples, we see that degeneracies can enhance the delocalization compared to the situation when there is no degeneracy. Using the Zeeman splitting provided by a magnetic field, we controllably lift the degeneracy to study in detail the transition between degenerate and non-degenerate regimes.


title: Signatures of a Quantum Griffiths Phase close to an Electronic Nematic Quantum Phase Transition

abstract: In the vicinity of a quantum critical point, quenched disorder can lead to a quantum Griffiths phase, accompanied by an exotic power-law scaling with a continuously varying dynamical exponent that diverges in the zero-temperature limit. Here, we investigate a nematic quantum critical point in the iron-based superconductor FeSe$_{0.89}$S$_{0.11}$ using applied hydrostatic pressure. We report an unusual crossing of the magnetoresistivity isotherms in the non-superconducting normal state which features a continuously varying dynamical exponent over a large temperature range. We interpret our results in terms of a quantum Griffiths phase caused by nematic islands that result from the local distribution of Se and S atoms. At low temperatures, the Griffiths phase is masked by the emergence of a Fermi liquid phase due to a strong nematoelastic coupling and a Lifshitz transition that changes the topology of the Fermi surface.


title: Deep Tiling: Texture Tile Synthesis Using a Deep Learning Approach

abstract: Texturing is a fundamental process in computer graphics. Texture is leveraged to enhance the visualization outcome for a 3D scene. In many cases a texture image cannot cover a large 3D model surface because of its small resolution. Conventional techniques like repeating, mirror repeating or clamp to edge do not yield visually acceptable results. Deep learning based texture synthesis has proven to be very effective in such cases. All deep texture synthesis methods trying to create larger resolution textures are limited in terms of GPU memory resources. In this paper, we propose a novel approach to example-based texture synthesis by using a robust deep learning process for creating tiles of arbitrary resolutions that resemble the structural components of an input texture. In this manner, our method is firstly much less memory limited owing to the fact that a new texture tile of small size is synthesized and merged with the original texture and secondly can easily produce missing parts of a large texture.


title: Linear and dynamic programs for risk-sensitive cost minimization

abstract: We derive equivalent linear and dynamic programs for infinite horizon risk-sensitive control for minimization of the asymptotic growth rate of the cumulative cost.


title: State-space aerodynamic model reveals high force control authority and predictability in flapping flight

abstract: Flying animals resort to fast, large-degree-of-freedom motion of flapping wings, a key feature that distinguishes them from rotary or fixed-winged robotic fliers with limited motion of aerodynamic surfaces. However, flapping-wing aerodynamics are characterised by highly unsteady and three-dimensional flows difficult to model or control, and accurate aerodynamic force predictions often rely on expensive computational or experimental methods. Here, we developed a computationally efficient and data-driven state-space model to dynamically map wing kinematics to aerodynamic forces/moments. This model was trained and tested with a total of 548 different flapping-wing motions and surpassed the accuracy and generality of the existing quasi-steady models. This model used 12 states to capture the unsteady and nonlinear fluid effects pertinent to force generation without explicit information of fluid flows. We also provided a comprehensive assessment of the control authority of key wing kinematic variables and found that instantaneous aerodynamic forces/moments were largely predictable by the wing motion history within a half-stroke cycle. Furthermore, the angle of attack, normal acceleration, and pitching motion had the strongest effects on the aerodynamic force/moment generation. Our results show that flapping flight inherently offers high force control authority and predictability, which can be key to developing agile and stable aerial fliers.


title: Automatic continuity of transversal distributions

abstract: We prove that every transversal distribution is automatically continuous.


title: Quantum-Entropy Physics

abstract: All the laws of physics are time-reversible. Time arrow emerges only when ensembles of classical particles are treated probabilistically, outside of physics laws, and the entropy and the second law of thermodynamics are introduced. In quantum physics, no mechanism for a time arrow has been proposed despite its intrinsic probabilistic nature. In consequence, one cannot explain why an electron in an excited state will "spontaneously" transition into a ground state as a photon is created and emitted, instead of continuing in its reversible unitary evolution. To address such phenomena, we introduce an entropy for quantum physics, which will conduce to the emergence of a time arrow. The entropy is a measure of randomness over the degrees of freedom of a quantum state. It is dimensionless; it is a relativistic scalar, it is invariant under coordinate transformation of position and momentum that maintain conjugate properties and under CPT transformations; and its minimum is positive due to the uncertainty principle. To excogitate why some quantum physical processes cannot take place even though they obey conservation laws, we partition the set of all evolutions of an initial state into four blocks, based on whether the entropy is (i) increasing but not a constant, (ii) decreasing but not a constant, (iii) a constant, (iv) oscillating. We propose a law that in quantum physics entropy (weakly) increases over time. Thus, evolutions in the set (ii) are disallowed, and evolutions in set (iv) are barred from completing an oscillation period by instantaneously transitioning to a new state. This law for quantum physics limits physical scenarios beyond conservation laws, providing causality reasoning by defining a time arrow.


title: Flow views and infinite interval exchange transformations for recognizable substitutions

abstract: A flow view is the graph of a measurable conjugacy between a substitution or S-adic subshift and an exchange of infinitely many intervals (IIET) in [0,1]. The natural refining sequence of partitions of the sequence space is transferred to [0,1] using a canonical addressing scheme, a fixed dual substitution, and a shift-invariant probability measure. On the flow view, a sequence is shown horizontally at a height given by the conjugacy. The IIET is well approximated by exchanges of finitely many intervals, making numeric and graphic methods possible. The graphs of the IIETs show forms of self-similarity, a special case of which is proved. The spectral type of the conjugacy itself is of particular interest. As an example of utility, some spectral results for constant-length substitutions are included.


title: Gapless spin liquid and pair density wave of the Hubbard model on three-leg triangular cylinders

abstract: We study the ground state properties of the Hubbard model on three-leg triangular cylinders using large-scale density-matrix renormalization group simulations. At half-filling, we identify an intermediate gapless spin liquid phase between a metallic phase at weak coupling and Mott insulating dimer phase at strong interaction, which has one gapless spin mode and algebraic spin-spin correlations but exponential decay scalar chiral-chiral correlations. Upon light doping the gapless spin liquid, the system exhibits power-law charge-density-wave (CDW) correlations but short-range single-particle, spin-spin, and chiral-chiral correlations. Similar to CDW correlations, the superconducting correlations are also quasi-long-ranged but oscillate in sign as a function of distance, which is consistent with the striped pair-density wave. When further doping the gapless spin liquid phase or doping the dimer order phase, another phase takes over, which has similar CDW correlations but all other correlations decay exponentially.


title: The entrepreneurial logic of startup software development: A study of 40 software startups

abstract: Context: Software startups are an essential source of innovation and software-intensive products. The need to understand product development in startups and to provide relevant support are highlighted in software research. While state-of-the-art literature reveals how startups develop their software, the reasons why they adopt these activities are underexplored. Objective: This study investigates the tactics behind software engineering (SE) activities by analyzing key engineering events during startup journeys. We explore how entrepreneurial mindsets may be associated with SE knowledge areas and with each startup case. Method: Our theoretical foundation is based on causation and effectuation models. We conducted semi-structured interviews with 40 software startups. We used two-round open coding and thematic analysis to describe and identify entrepreneurial software development patterns. Additionally, we calculated an effectuation index for each startup case. Results: We identified 621 events merged into 32 codes of entrepreneurial logic in SE from the sample. We found a systemic occurrence of the logic in all areas of SE activities. Minimum Viable Product (MVP), Technical Debt (TD), and Customer Involvement (CI) tend to be associated with effectual logic, while testing activities at different levels are associated with causal logic. The effectuation index revealed that startups are either effectuation-driven or mixed-logics-driven. Conclusions: Software startups fall into two types that differentiate between how traditional SE approaches may apply to them. Effectuation seems the most relevant and essential model for explaining and developing suitable SE practices for software startups.


title: Electron-beam Floating-zone Refined UCoGe

abstract: The interplay between unconventional superconductivity and quantum critical ferromagnetism in the U-Ge compounds represents an open problem in strongly correlated electron systems. Sample quality can have a strong influence on both of these ordered states in the compound UCoGe, as is true for most unconventional superconductors. We report results of a new approach at UCoGe crystal growth using a floating-zone method with potential for improvements of sample quality and size as compared with traditional means such as Czochralski growth. Single crystals of the ferromagnetic superconductor UCoGe were produced using an ultra-high vacuum electron-beam floating-zone refining technique. Annealed single crystals show well-defined signatures of bulk ferromagnetism and superconductivity at $T_c \sim$2.6 K and $T_s \sim$0.55 K, respectively, in the resistivity and heat capacity. Scanning electron microscopy of samples with different surface treatments shows evidence of an off-stoichiometric uranium rich phase of UCoGe collected in cracks and voids that might be limiting sample quality.


title: Claim Verification using a Multi-GAN based Model

abstract: This article describes research on claim verification carried out using a multiple GAN-based model. The proposed model consists of three pairs of generators and discriminators. The generator and discriminator pairs are responsible for generating synthetic data for supported and refuted claims and claim labels. A theoretical discussion about the proposed model is provided to validate the equilibrium state of the model. The proposed model is applied to the FEVER dataset, and a pre-trained language model is used for the input text data. The synthetically generated data helps to gain information which helps the model to perform better than state of the art models and other standard classifiers.


title: Variance of the number of zeros of dependent Gaussian trigonometric polynomials

abstract: We compute the variance asymptotics for the number of real zeros of trigonometric polynomials with random dependent Gaussian coefficients and show that under mild conditions, the asymptotic behavior is the same as in the independent framework. In fact our proof goes beyond this framework and makes explicit the variance asymptotics of various models of random Gaussian polynomials. Though we use the Kac--Rice formula, we do not use the explicit closed formula for the second moment of the number of zeros, but we rather rely on intrinsic properties of the Kac--Rice density.


title: Design of a vision based range bearing and heading system for robot swarms

abstract: An essential problem of swarm robotics is how members of the swarm knows the positions of other robots. The main aim of this research is to develop a cost-effective and simple vision-based system to detect the range, bearing, and heading of the robots inside a swarm using a multi-purpose passive landmark. A small Zumo robot equipped with Raspberry Pi, PiCamera is utilized for the implementation of the algorithm, and different kinds of multipurpose passive landmarks with nonsymmetrical patterns, which give reliable information about the range, bearing and heading in a single unit, are designed. By comparing the recorded features obtained from image analysis of the landmark through systematical experimentation and the actual measurements, correlations are obtained, and algorithms converting those features into range, bearing and heading are designed. The reliability and accuracy of algorithms are tested and errors are found within an acceptable range.


title: A Combination 5-DOF Active Magnetic Bearing For Energy Storage Flywheel

abstract: Conventional active magnetic bearing (AMB) systems use several separate radial and thrust bearings to provide a 5 degree of freedom (DOF) levitation control. This paper presents a novel combination 5-DOF active magnetic bearing (C5AMB) designed for a shaft-less, hub-less, high-strength steel energy storage flywheel (SHFES), which achieves doubled energy density compared to prior technologies. As a single device, the C5AMB provides radial, axial, and tilting levitations simultaneously. In addition, it utilizes low-cost and more available materials to replace silicon steels and laminations, which results in reduced costs and more convenient assemblies. Apart from the unique structure and the use of low magnetic grade material, other design challenges include shared flux paths, large dimensions, and relatively small air gaps. The finite element method (FEM) is too computationally intensive for early-stage analysis. An equivalent magnetic circuit method (EMCM) is developed for modeling and analysis. Nonlinear FEM is then used for detailed simulations. Both permanent magnets (PM) and electromagnetic control currents provide the weight-balancing lifting force. During the full-scale prototype testing, the C5AMB successfully levitates a 5440 kg and 2 m diameter flywheel at an air gap of 1.14 mm. Its current and position stiffnesses are verified experimentally.


title: Graph clustering via generalized colorings

abstract: We propose a new approach for defining and searching clusters in graphs that represent real technological or transaction networks. In contrast to the standard way of finding dense parts of a graph, we concentrate on the structure of edges between the clusters, as it is motivated by some earlier observations, e.g. in the structure of networks in ecology and economics and by applications of discrete tomography. Mathematically special colorings and chromatic numbers of graphs are studied.


title: Vision based range and bearing algorithm for robot swarms

abstract: This paper presents a novel computer vision the algorithm proposed for the on-line range and bearing detection of the robot swarms. Results demonstrated the reliability of the proposed vision system such that it can be used for the robot swarms applications.


title: Selfish Mining Attacks Exacerbated by Elastic Hash Supply

abstract: Several attacks have been proposed against Proof-of-Work blockchains, which may increase the attacker's share of mining rewards (e.g., selfish mining, block withholding). A further impact of such attacks, which has not been considered in prior work, is that decreasing the profitability of mining for honest nodes incentivizes them to stop mining or to leave the attacked chain for a more profitable one. The departure of honest nodes exacerbates the attack and may further decrease profitability and incentivize more honest nodes to leave. In this paper, we first present an empirical analysis showing that there is a statistically significant correlation between the profitability of mining and the total hash rate, confirming that miners indeed respond to changing profitability. Second, we present a theoretical analysis showing that selfish mining under such elastic hash supply leads either to the collapse of a chain, i.e., all honest nodes leaving, or to a stable equilibrium depending on the attacker's initial share.


title: Meta Preference Learning for Fast User Adaptation in Human-Supervisory Multi-Robot Deployments

abstract: As multi-robot systems (MRS) are widely used in various tasks such as natural disaster response and social security, people enthusiastically expect an MRS to be ubiquitous that a general user without heavy training can easily operate. However, humans have various preferences on balancing between task performance and safety, imposing different requirements onto MRS control. Failing to comply with preferences makes people feel difficult in operation and decreases human willingness of using an MRS. Therefore, to improve social acceptance as well as performance, there is an urgent need to adjust MRS behaviors according to human preferences before triggering human corrections, which increases cognitive load. In this paper, a novel Meta Preference Learning (MPL) method was developed to enable an MRS to fast adapt to user preferences. MPL based on meta learning mechanism can quickly assess human preferences from limited instructions; then, a neural network based preference model adjusts MRS behaviors for preference adaption. To validate method effectiveness, a task scenario "An MRS searches victims in an earthquake disaster site" was designed; 20 human users were involved to identify preferences as "aggressive", "medium", "reserved"; based on user guidance and domain knowledge, about 20,000 preferences were simulated to cover different operations related to "task quality", "task progress", "robot safety". The effectiveness of MPL in preference adaption was validated by the reduced duration and frequency of human interventions.


title: Tomlinson-Harashima Precoding with Stream Combiners for MU-MIMO with Rate-Splitting

abstract: This paper introduces multiuser multiple-input multiple-output (MU-MIMO) architectures based on non-linear precoding and stream combining techniques using rate-splitting (RS), where the transmitter often has only partial knowledge of the channel state information (CSI). In contrast to existing works, we consider deployments where the receivers may be equipped with multiple antennas. This allows us to employ linear combining techniques based on the Min-Max, the maximum ratio and the minimum mean-square error criteria along with Tomlinson-Harashima precoders (THP) for RS-based MU-MIMO systems to enhance the sum-rate performance. Moreover, we incorporate the Multi-Branch (MB) concept into the RS architecture to further improve the sum-rate performance. Closed-form expressions for the signal-to-interference-plus-noise ratio and the sum-rate at the receiver end are devised through statistical analysis. Simulation results show that the proposed RS-THP schemes achieve better performance than conventional linear and THP precoders.


title: On the combination of static analysis for software security assessment -- a case study of an open-source e-government project

abstract: Static Application Security Testing (SAST) is a popular quality assurance technique in software engineering. However, integrating SAST tools into industry-level product development and security assessment poses various technical and managerial challenges. In this work, we reported a longitudinal case study of adopting SAST as a part of a human-driven security assessment for an open-source e-government project. We described how SASTs are selected, evaluated, and combined into a novel approach for software security assessment. The approach was preliminarily evaluated using semi-structured interviews. Our result shows that (1) while some SAST tools out-perform others, it is possible to achieve better performance by combining more than one SAST tools and (2) SAST tools should be used towards a practical performance and in the combination with triangulated approaches for human-driven vulnerability assessment in real-world projects.


title: Thermal and structural properties of topological defects in solid Helium-4: Strain induced martensitic transformation from hcp to fc orthorhombic lattice

abstract: Several experimental studies have reported thermally activated behavior of the mechanical response of solid Helium-4 which does not fit into the model of thermally activated Frenkel pairs in an ideal crystal. The purpose of the present work is to investigate how structural topological defects modify the response. Using quantum Monte Carlo Worm Algorithm, we study temperature dependence of fluctuations of the total number of particles in samples of hcp solid Helium-4 containing several types of dislocations. Such fluctuations can be described by the thermal activation law with the activation energy dependent strongly on the type of the dislocation and the crystal density. The extracted values cover a range from about 1K to 20K. It is also found that annihilation of a jog-antijog pair can produce a local region of the solid characterized by the orthorhombic symmetry. This serendipitous observation suggests that hcp solid Helium-4 can undergo a displacive phase transition into the orthorhombic crystal under uniaxial stress of about 10-15%


title: A new engineering theory describing oblique free surface impact by flexible plates

abstract: Consideration of slamming loads within the structural design of planning hulls is of critical importance in ensuring adequate structural performance in order to avoid potential catastrophic consequences. However, because of the intricacy in the interplay between complex fluid flows and nonlinear structural deformations that accompany the phenomenology of slamming, a general engineering theory in slamming has yet to be uncovered, and so design relies on specialized theories. In this paper, we propose one such theory for a design case that has, until now, eluded a proper description. In pursuit of this theory, we employ a specialized implicit, partitioned fluid-structural interaction (FSI) simulation approach, in order to study the underlying physical mechanisms accompanying the oblique impact of a flexible plate during water entry. In the present work, we first present validation results from flexible plate water entry experiments, to confirm the veracity of the developed FSI solver. Subsequent to validation, we carry out a series of numerical analyses, in an effort to characterize the regimes in impact force and plate out-of-plane deformations, as a function of impact velocities and plate flexural rigidity. Finally, we use our FSI solver, as a kind of "microscope", to study the mechanistic evolution of fluid flows and elastic plate deformations that occur during slamming. Based on these observations, we propose a novel, but simple engineering theory for flexible plates obliquely impacting the water free surface (e.g. high speed porpoising water craft reentry).


title: Optimal monomial quadratization for ODE systems

abstract: Quadratization problem is, given a system of ODEs with polynomial right-hand side, transform the system to a system with quadratic right-hand side by introducing new variables. Such transformations have been used, for example, as a preprocessing step by model order reduction methods and for transforming chemical reaction networks. We present an algorithm that, given a system of polynomial ODEs, finds a transformation into a quadratic ODE system by introducing new variables which are monomials in the original variables. The algorithm is guaranteed to produce an optimal transformation of this form (that is, the number of new variables is as small as possible), and it is the first algorithm with such a guarantee we are aware of. Its performance compares favorably with the existing software, and it is capable to tackle problems that were out of reach before.


title: Limiting distribution of the sample canonical correlation coefficients of high-dimensional random vectors

abstract: Consider two high-dimensional random vectors $\widetilde{\mathbf x}\in\mathbb R^p$ and $\widetilde{\mathbf y}\in\mathbb R^q$ with finite rank correlations. More precisely, suppose that $\widetilde{\mathbf x}=\mathbf x+A\mathbf z$ and $\widetilde{\mathbf y}=\mathbf y+B\mathbf z$, for independent random vectors $\mathbf x\in\mathbb R^p$, $\mathbf y\in\mathbb R^q$ and $\mathbf z\in\mathbb R^r$ with iid entries of mean 0 and variance 1, and two deterministic matrices $A\in\mathbb R^{p\times r}$ and $B\in\mathbb R^{q\times r}$ . With $n$ iid observations of $(\widetilde{\mathbf x},\widetilde{\mathbf y})$, we study the sample canonical correlations between them. In this paper, we focus on the high-dimensional setting with a rank-$r$ correlation. Let $t_1\ge\cdots\ge t_r$ be the squares of the population canonical correlation coefficients (CCC) between $\widetilde{\mathbf x}$ and $\widetilde{\mathbf y}$, and $\widetilde\lambda_1\ge\cdots\ge\widetilde\lambda_r$ be the squares of the largest $r$ sample CCC. Under certain moment assumptions on the entries of $\mathbf x$, $\mathbf y$ and $\mathbf z$, we show that there exists a threshold $t_c\in(0, 1)$ such that if $t_i>t_c$, then $\sqrt{n}(\widetilde\lambda_i-\theta_i)$ converges in law to a centered normal distribution, where $\theta_i>\lambda_+$ is a fixed outlier location determined by $t_i$. Our results extend the ones in [4] for Gaussian vectors. Moreover, we find that the variance of the limiting distribution of $\sqrt{n}(\widetilde\lambda_i-\theta_i)$ also depends on the fourth cumulants of the entries of $\mathbf x$, $\mathbf y$ and $\mathbf z$, a phenomenon that cannot be observed in the Gaussian case.


title: Chebyshev-Fibonacci polynomial relations using generating functions

abstract: The main object of the paper is to reveal connections between Chebyshev polynomials of the first and second kinds and Fibonacci polynomials introduced by Catalan. This is achieved by relating the respective (ordinary and exponential) generating functions to each other. As a consequence, we also establish new combinatorial identities for balancing polynomials and Fibonacci (Lucas) numbers.


title: Sharp transition to strongly anomalous transport in unsaturated porous media

abstract: The simultaneous presence of liquid and gas in porous media increases flow heterogeneity compared to saturated flows. However, so far the impact of saturation on flow statistics and transport dynamics remained unclear. Here, we develop a theoretical framework that captures the impact of flow reorganization on the statistics of pore-scale fluid velocities, due to the presence of gas in the pore space, which leads to the development of a highly-structured flow field. Preferential flow is distributed spatially through the denoted backbone and flow recirculation occurs in dead-end regions branching from it. This induces a marked change in the scaling of the velocity PDF compared to the saturated case, and a sharp transition to strongly anomalous transport. We develop a transport model based on the continuous time random walk theory that successfully predicts advective transport dynamics for all saturation degrees. Our results provide a new modelling framework linking phase heterogeneity to flow heterogeneity and to transport in unsaturated media.


title: Transient growth of accelerated optimization algorithms

abstract: Optimization algorithms are increasingly being used in applications with limited time budgets. In many real-time and embedded scenarios, only a few iterations can be performed and traditional convergence metrics cannot be used to evaluate performance in these non-asymptotic regimes. In this paper, we examine the transient behavior of accelerated first-order optimization algorithms. For convex quadratic problems, we employ tools from linear systems theory to show that transient growth arises from the presence of non-normal dynamics. We identify the existence of modes that yield an algebraic growth in early iterations and quantify the transient excursion from the optimal solution caused by these modes. For strongly convex smooth optimization problems, we utilize the theory of integral quadratic constraints (IQCs) to establish an upper bound on the magnitude of the transient response of Nesterov's accelerated algorithm. We show that both the Euclidean distance between the optimization variable and the global minimizer and the rise time to the transient peak are proportional to the square root of the condition number of the problem. Finally, for problems with large condition numbers, we demonstrate tightness of the bounds that we derive up to constant factors.


title: Nanoantenna Design for Enhanced Carrier-Envelope-Phase Sensitivity

abstract: Optical-field emission from nanostructured solids such as subwavelength nanoantennas can be leveraged to create sub-femtosecond, PHz-scale electronics for optical-field detection. One application that is of particular interest is the detection of an incident optical pulse's carrier-envelope phase. Such carrier-envelope-phase detection requires few-cycle, broadband optical excitation where the resonant properties of the nanoantenna can strongly alter the response of the near field in time. Little quantitative investigation has been performed to understand how the geometry and resonant properties of the antennae should be tuned to enhance the carrier-envelope phase sensitivity and signal to noise ratio. Here we examine how the geometry and resonance frequency of planar plasmonic nanoantennas can be engineered for enhancing the emitted carrier-envelope-phase-sensitive photocurrent when driven by a few-cycle optical pulse. We find that with the simple addition of curved sidewalls leading to the apex, and proper tuning of the resonance wavelength, the net CEP-sensitive current per nanoantenna can be improved by $5$-$10\times$, and the signal-to-noise-ratio by $50$-$100\times$ relative to simple triangular antennas operated on resonance. Our findings will inform the next generation of nanoantenna designs for emerging applications in ultrafast photoelectron metrology and petahertz electronics.


title: Quasi-static limit for the asymmetric simple exclusion

abstract: We study the one-dimensional asymmetric simple exclusion process on the lattice $\{1, \dots,N\}$ with creation/annihilation at the boundaries. The boundary rates are time dependent and change on a slow time scale $N^{-a}$ with $a>0$. We prove that at the time scale $N^{1+a}$ the system evolves quasi-statically with a macroscopic density profile given by the entropy solution of the stationary Burgers equation with boundary densities changing in time, determined by the corresponding microscopic boundary rates. We consider two different types of boundary rates: the "Liggett boundaries" that correspond to the projection of the infinite dynamics, and the reversible boundaries, that correspond to the contact with particle reservoirs in equilibrium. The proof is based on the control of the Lax boundary entropy--entropy flux pairs and a coupling argument.


title: Exploring motivation and teamwork in a large software engineering capstone course during the coronavirus pandemic

abstract: In the spring of 2020, the Department of Informatics covered a 20 ECTS capstone course in Software Engineering, mainly focusing on developing a complex application. The course used active learning methods, and 240 students were working in 42 cross-functional, agile teams. The pandemic caused by the coronavirus had a significant impact on the teaching given by the University of Oslo, as all physical education and collaboration among the teams had to be digital from March 12. At the end of the semester, we conducted a survey that focused on 1) aspects of teamwork (e.g., communication and coordination in the teams) and the relation to team performance (e.g., the application product) and 2), the students' motivation and ability to cooperate through digital platforms. A total of 151 respondents in 41 agile student teams answered the survey. This study aimed to investigate how the teamwork and motivation of the students were affected by having to work virtually. The results are compared to results from the same course in 2019 and a similar survey on 71 professional teams published in 2016. Our results show that the teamwork was evaluated similarly to both the evaluation of survey conducted in 2019 and on the professional teams in 2016. The motivation among the students remained high, even though they had to collaborate virtually.


title: Tautological classes of matroids

abstract: We introduce certain torus-equivariant classes on permutohedral varieties which we call "tautological classes of matroids" as a new geometric framework for studying matroids. Using this framework, we unify and extend many recent developments in matroid theory arising from its interaction with algebraic geometry. We achieve this by establishing a Chow-theoretic description and a log-concavity property for a 4-variable transformation of the Tutte polynomial, and by establishing an exceptional Hirzebruch-Riemann-Roch-type formula for permutohedral varieties that translates between K-theory and Chow theory.


title: Success Weighted by Completion Time: A Dynamics-Aware Evaluation Criteria for Embodied Navigation

abstract: We present Success weighted by Completion Time (SCT), a new metric for evaluating navigation performance for mobile robots. Several related works on navigation have used Success weighted by Path Length (SPL) as the primary method of evaluating the path an agent makes to a goal location, but SPL is limited in its ability to properly evaluate agents with complex dynamics. In contrast, SCT explicitly takes the agent's dynamics model into consideration, and aims to accurately capture how well the agent has approximated the fastest navigation behavior afforded by its dynamics. While several embodied navigation works use point-turn dynamics, we focus on unicycle-cart dynamics for our agent, which better exemplifies the dynamics model of popular mobile robotics platforms (e.g., LoCoBot, TurtleBot, Fetch, etc.). We also present RRT*-Unicycle, an algorithm for unicycle dynamics that estimates the fastest collision-free path and completion time from a starting pose to a goal location in an environment containing obstacles. We experiment with deep reinforcement learning and reward shaping to train and compare the navigation performance of agents with different dynamics models. In evaluating these agents, we show that in contrast to SPL, SCT is able to capture the advantages in navigation speed a unicycle model has over a simpler point-turn model of dynamics. Lastly, we show that we can successfully deploy our trained models and algorithms outside of simulation in the real world. We embody our agents in an real robot to navigate an apartment, and show that they can generalize in a zero-shot manner.


title: Vaccine-escape and fast-growing mutations in the United Kingdom, the United States, Singapore, Spain, South Africa, and other COVID-19-devastated countries

abstract: Recently, the SARS-CoV-2 variants from the United Kingdom (UK), South Africa, and Brazil have received much attention for their increased infectivity, potentially high virulence, and possible threats to existing vaccines and antibody therapies. The question remains if there are other more infectious variants transmitted around the world. We carry out a large-scale study of 252,874 SARS-CoV-2 genome isolates from patients to identify many other rapidly growing mutations on the spike (S) protein receptor-binding domain (RDB). We reveal that 88 out of 95 significant mutations that were observed more than 10 times strengthen the binding between the RBD and the host angiotensin-converting enzyme 2 (ACE2), indicating the virus evolves toward more infectious variants. In particular, we discover new fast-growing RBD mutations N439K, L452R, S477N, S477R, and N501T that also enhance the RBD and ACE2 binding. We further unveil that mutation N501Y involved in United Kingdom (UK), South Africa, and Brazil variants may moderately weaken the binding between the RBD and many known antibodies, while mutations E484K and K417N found in South Africa and Brazilian variants can potentially disrupt the binding between the RDB and many known antibodies. Among three newly identified fast-growing RBD mutations, L452R, which is now known as part of the California variant B.1.427, and N501T are able to effectively weaken the binding of many known antibodies with the RBD. Finally, we hypothesize that RBD mutations that can simultaneously make SARS-CoV-2 more infectious and disrupt the existing antibodies, called vaccine escape mutations, will pose an imminent threat to the current crop of vaccines. A list of most likely vaccine escape mutations is given, including N501Y, L452R, E484K, N501T, S494P, and K417N.


title: Two-dimensional Dirac semiconductor and its material realization

abstract: We propose a new concept of two-dimensional (2D) Dirac semiconductor which is characterized by the emergence of fourfold degenerate band crossings near the band edge and provide a generic approach to realize this novel semiconductor in the community of material science. Based on the first-principle calculations and symmetry analysis, we discover recently synthesised triple-layer (TL)-BiOS2 is such Dirac semiconductor that features Dirac cone at X/Y point, protected by nonsymmorphic symmetry. Due to sandwich-like structure, each Dirac fermion in TL-BiOS2 can be regarded as a combination of two Weyl fermions with opposite chiralities, degenerate in momentum-energy space but separated in real space. Such Dirac semiconductor carries layer-dependent helical spin textures that never been reported before. Moreover, novel topological phase transitions are flexibly achieved in TL-BiOS2: (i) an vertical electric field can drive it into Weyl semiconductor with switchable spin polarization direction, (ii) an extensive strain is able to generate ferroelectric polarization and actuate it into Weyl nodal ring around X point and into another type of four-fold degenerate point at Y point. Our work extends the Dirac fermion into semiconductor systems and provides a promising avenue to integrate spintronics and optoelectronics in topological materials.


title: Repairing Human Trust by Promptly Correcting Robot Mistakes with An Attention Transfer Model

abstract: In human-robot collaboration (HRC), human trust in the robot is the human expectation that a robot executes tasks with desired performance. A higher-level trust increases the willingness of a human operator to assign tasks, share plans, and reduce the interruption during robot executions, thereby facilitating human-robot integration both physically and mentally. However, due to real-world disturbances, robots inevitably make mistakes, decreasing human trust and further influencing collaboration. Trust is fragile and trust loss is triggered easily when robots show incapability of task executions, making the trust maintenance challenging. To maintain human trust, in this research, a trust repair framework is developed based on a human-to-robot attention transfer (H2R-AT) model and a user trust study. The rationale of this framework is that a prompt mistake correction restores human trust. With H2R-AT, a robot localizes human verbal concerns and makes prompt mistake corrections to avoid task failures in an early stage and to finally improve human trust. User trust study measures trust status before and after the behavior corrections to quantify the trust loss. Robot experiments were designed to cover four typical mistakes, wrong action, wrong region, wrong pose, and wrong spatial relation, validated the accuracy of H2R-AT in robot behavior corrections; a user trust study with $252$ participants was conducted, and the changes in trust levels before and after corrections were evaluated. The effectiveness of the human trust repairing was evaluated by the mistake correction accuracy and the trust improvement.


title: A Scalable Gradient-Free Method for Bayesian Experimental Design with Implicit Models

abstract: Bayesian experimental design (BED) is to answer the question that how to choose designs that maximize the information gathering. For implicit models, where the likelihood is intractable but sampling is possible, conventional BED methods have difficulties in efficiently estimating the posterior distribution and maximizing the mutual information (MI) between data and parameters. Recent work proposed the use of gradient ascent to maximize a lower bound on MI to deal with these issues. However, the approach requires a sampling path to compute the pathwise gradient of the MI lower bound with respect to the design variables, and such a pathwise gradient is usually inaccessible for implicit models. In this paper, we propose a novel approach that leverages recent advances in stochastic approximate gradient ascent incorporated with a smoothed variational MI estimator for efficient and robust BED. Without the necessity of pathwise gradients, our approach allows the design process to be achieved through a unified procedure with an approximate gradient for implicit models. Several experiments show that our approach outperforms baseline methods, and significantly improves the scalability of BED in high-dimensional problems.


title: The Generalization of Faulhaber's Formula to Sums of Arbitrary Complex Powers

abstract: In this paper we present a generalization of Faulhaber's formula to sums of arbitrary complex powers $m\in\mathbb{C}$. These summation formulas for sums of the form $\sum_{k=1}^{\lfloor x\rfloor}k^{m}$ and $\sum_{k=1}^{n}k^{m}$, where $x\in\mathbb{R}^{+}$ and $n\in\mathbb{N}$, are based on a series acceleration involving Stirling numbers of the first kind. While it is well-known that the corresponding expressions obtained from the Euler-Maclaurin summation formula diverge, our summation formulas are all very rapidly convergent.


title: Multivariate Count Time Series Modelling

abstract: We review autoregressive models for the analysis of multivariate count time series. In doing so, we discuss the choice of a suitable distribution for a vectors of count random variables. This review focus on three main approaches taken for multivariate count time series analysis: (a) integer autoregressive processes, (b) parameter-driven models and (c) observation-driven models. The aim of this work is to highlight some recent methodological developments and propose some potentially useful research topics.


title: Doubly geometric quantum control

abstract: In holonomic quantum computation, single-qubit gates are performed using driving protocols that trace out closed loops on the Bloch sphere, making them robust to certain pulse errors. However, dephasing noise that is transverse to the drive, which is significant in many qubit platforms, lies outside the family of correctable errors. Here, we present a general procedure that combines two types of geometry -- holonomy loops on the Bloch sphere and geometric space curves in three dimensions -- to design gates that simultaneously suppress pulse errors and transverse noise errors. We demonstrate this doubly geometric control technique by designing explicit examples of such dynamically corrected holonomic gates.


title: Unusual upper critical fields of the topological nodal-line semimetal candidate Sn$_{x}$NbSe$_{2-\delta}$

abstract: We report superconductivity in Sn$_{x}$NbSe$_{2-\delta}$, a topological nodal-line semimetal candidate with a noncentrosymmetric crystal structure. The superconducting transition temperature $T_{c}$ of this compound is extremely sensitive to Sn concentration $x$ and Se deficiency $\delta$, 5.0 K for Sn$_{0.13}$NbSe$_{1.70}$ and 8.6 K for Sn$_{0.14}$NbSe$_{1.71}$ and Sn$_{0.15}$NbSe$_{1.69}$. In all samples, the temperature dependence of the upper critical field $H_{c2}(T)$ differs from the prediction of the Werthamer-Helfand-Hohenberg theory. While the zero-temperature value of the in-plane upper critical field of Sn$_{x}$NbSe$_{2-\delta}$ with the higher $T_{c}$ is lower than the Pauli paramagnetic limit $H_{P}$, that of the lower $T_{c}$ sample exceeds $H_{P}$ by a factor of $\sim$2. Our observations suggest that odd-parity contribution dominates the superconducting gap function of Sn$_{x}$NbSe$_{2-\delta}$, and it can be fine-tuned by the Sn concentration and Se deficiency.


title: BreakingBED -- Breaking Binary and Efficient Deep Neural Networks by Adversarial Attacks

abstract: Deploying convolutional neural networks (CNNs) for embedded applications presents many challenges in balancing resource-efficiency and task-related accuracy. These two aspects have been well-researched in the field of CNN compression. In real-world applications, a third important aspect comes into play, namely the robustness of the CNN. In this paper, we thoroughly study the robustness of uncompressed, distilled, pruned and binarized neural networks against white-box and black-box adversarial attacks (FGSM, PGD, C&W, DeepFool, LocalSearch and GenAttack). These new insights facilitate defensive training schemes or reactive filtering methods, where the attack is detected and the input is discarded and/or cleaned. Experimental results are shown for distilled CNNs, agent-based state-of-the-art pruned models, and binarized neural networks (BNNs) such as XNOR-Net and ABC-Net, trained on CIFAR-10 and ImageNet datasets. We present evaluation methods to simplify the comparison between CNNs under different attack schemes using loss/accuracy levels, stress-strain graphs, box-plots and class activation mapping (CAM). Our analysis reveals susceptible behavior of uncompressed and pruned CNNs against all kinds of attacks. The distilled models exhibit their strength against all white box attacks with an exception of C&W. Furthermore, binary neural networks exhibit resilient behavior compared to their baselines and other compressed variants.


title: A hyperluminous obscured quasar at a redshift of z ~ 4.3

abstract: In this work we report the discovery of the hyperluminous galaxy HELP_J100156.75+022344.7 at the photometric redshift of z ~ 4.3. The galaxy was discovered in the Cosmological Evolution Survey (COSMOS) field, one of the fields studied by the Herschel Extragalactic Legacy Project (HELP). We present the spectral energy distribution (SED) of the galaxy and fit it with the CYprus models for Galaxies and their NUclear Spectra (CYGNUS) multi-component radiative transfer models. We find that its emission is dominated by an obscured quasar with a predicted total 1-1000um luminosity of $3.91^{+1.69}_{-0.55} \times 10^{13} L_\odot$ and an active galactic nucleus (AGN) fraction of ~89%. We also fit HELP_J100156.75+022344.7 with the Code Investigating GALaxy Emission (CIGALE) code and find a similar result. This is only the second z > 4 hyperluminous obscured quasar discovered to date. The discovery of HELP_J100156.75+022344.7 in the ~ 2deg^2 COSMOS field implies that a large number of obscured hyperluminous quasars may lie in the HELP fields which cover ~ 1300deg^2. If this is confirmed, tension between supermassive black hole evolution models and observations will be alleviated. We estimate the space density of objects like HELP_J100156.75+022344.7 at z ~ 4.5 to be $\sim 1.8 \times 10^{-8}$Mpc$^{-3}$. This is slightly higher than the space density of coeval hyperluminous optically selected quasars suggesting that the obscuring torus in z > 4 quasars may have a covering factor $\gtrsim 50\%$.


title: Weighted mixed-norm $L_p$ estimates for equations in non-divergence form with singular coefficients: the Dirichlet problem

abstract: We study a class of non-divergence form elliptic and parabolic equations with singular first-order coefficients in an upper half space with the homogeneous Dirichlet boundary condition. In the simplest setting, the operators in the equations under consideration appear in the study of fractional heat and fractional Laplace equations. Intrinsic weighted Sobolev spaces are found in which the existence and uniqueness of strong solutions are proved under certain smallness conditions on the weighted mean oscillations of the coefficients in small parabolic cylinders. Our results are new even when the coefficients are constants and they cover the case where the weights may not be in the $A_p$-Muckenhoupt class.