title: Energy, Momentum and Angular Momentum Transfer Between Electrons and Nuclei

abstract: The recently developed exact factorization approach condenses all electronic effects on the nuclear subsystem into scalar and vector potentials that appear in an effective time dependent Schr\"{o}dinger equation. Starting from this equation, we derive subsystem Ehrenfest identities characterizing the energy, momentum and angular momentum transfer between electrons and nuclei. An effective electromagnetic force operator induced by the electromagnetic field corresponding to the effective scalar and vector potentials appears in all three identities. The effective magnetic field has two components that can be identified with the Berry curvature calculated with (a) different cartesian coordinates of the same nucleus and (b) arbitrary cartesian coordinates of two different nuclei. (a) has a classical interpretation as the induced magnetic field felt by the nucleus, while (b) has no classical analog. Subsystem Ehrenfest identities are ideally suited for quantifying energy transfer in electron-phonon systems. With two explicit examples we demonstrate the usefulness of the new identities.


title: The First Moment of $L(\frac{1}{2},\chi)$ for Real Quadratic Function Fields

abstract: In this paper we use techniques first introduced by Florea to improve the asymptotic formula for the first moment of the quadratic Dirichlet L-functions over the rational function field, running over all monic, square-free polynomials of even degree at the central point. With some extra technical difficulties that doesn't appear in Florea's paper, we prove that there are extra main terms of size $(2g+2)q^{\frac{2g+2}{3}}, q^{\frac{g}{6}+\left[\frac{g}{2}\right]}$ and $q^{\frac{g}{6}+\left[\frac{g-1}{2}\right]}$, whilst bounding the error term by $q^{\frac{g}{2}(1+\epsilon)}$.


title: The role of graphitic filaments in resistive switching behaviour of amorphous silicon carbide thin films

abstract: Resistive switching in amorphous silicon carbide (a-SiC) films deposited by a single composite target magnetron sputtering process is reported. Switching performance as a function of thickness of the films (50, 100 and 300 nm) as well as different top metal electrodes (Cu, Pt and Ag) with the bottom electrode fixed as Au, is investigated. The switching parameters (Forming Voltage, Set and Reset voltages and corresponding currents) are found to be dependent on thickness of SiC films and it is observed that 100 nm is the optimal thickness for best endurance. The interface between metal electrode and a-SiC films plays a more significant role in achieving switching performance. Resistance Off/On ratios of 108, retention times >104 s and endurance of 50 cycles are achieved in the best devices. Cross-sectional scanning electron microscopy provides evidence that the mechanism of switching involves the formation of carbonaceous filaments and Raman spectroscopy indicates that these filaments are nanocrystalline graphite in nature. The current work clearly establishes that there is dissociation of SiC during the switching cycles leading to formation of nanocrystalline graphitic filaments. These contribute to switching, in addition to the metallic filaments, in the a-SiC based resistive memory device.


title: Decay estimates of gradient of a generalized Oseen evolution operator arising from time-dependent rigid motions in exterior domains

abstract: Let us consider the motion of a viscous incompressible fluid past a rotating rigid body in 3D, where the translational and angular velocities of the body are prescribed but time-dependent. In a reference frame attached to the body, we have the Navier-Stokes system with the drift and (one half of the) Coriolis terms in a fixed exterior domain. The existence of the evolution operator $T(t,s)$ in the space $L^q$ generated by the linearized non-autonomous system was proved by Hansel and Rhandi [26] and the large time behavior of $T(t,s)f$ in $L^r$ for $(t-s)\to\infty$ was then developed by the present author [33] when $f$ is taken from $L^q$ with $q\leq r$. The contribution of the present paper concerns such $L^q$-$L^r$ decay estimates of $\nabla T(t,s)$ with optimal rates, which must be useful for the study of stability/attainability of the Navier-Stokes flow in several physically relevant situations. Our main theorem completely recovers the $L^q$-$L^r$ estimates for the autonomous case (Stokes and Oseen semigroups, those semigroups with rotating effect) in 3D exterior domains, which were established by [37], [42], [39], [36] and [44].


title: An Adaptive $s$-step Conjugate Gradient Algorithm with Dynamic Basis Updating

abstract: The adaptive $s$-step CG algorithm is a solver for sparse, symmetric positive definite linear systems designed to reduce the synchronization cost per iteration while still achieving a user-specified accuracy requirement. In this work, we improve the adaptive $s$-step conjugate gradient algorithm by use of iteratively updated estimates of the largest and smallest Ritz values, which give approximations of the largest and smallest eigenvalues of $A$, using a technique due to Meurant and Tich{\' y} [G. Meurant and P. Tich{\' y}, Numer. Algs. (2018), pp.~1--32]. The Ritz value estimates are used to dynamically update parameters for constructing Newton or Chebyshev polynomials so that the conditioning of the $s$-step bases can be continuously improved throughout the iterations. These estimates are also used to automatically set a variable related to the ratio of the sizes of the error and residual, which was previously treated as an input parameter. We show through numerical experiments that in many cases the new algorithm improves upon the previous adaptive $s$-step approach both in terms of numerical behavior and reduction in number of synchronizations.


title: Reconfigurable Intelligent Surface Assisted UAV Communication: Joint Trajectory Design and Passive Beamforming

abstract: Thanks to the line-of-sight (LoS) transmission and flexibility, unmanned aerial vehicles (UAVs) effectively improve the throughput of wireless networks. Nevertheless, the LoS links are prone to severe deterioration by complex propagation environments, especially in urban areas. Reconfigurable intelligent surfaces (RISs), as a promising technique, can significantly improve the propagation environment and enhance communication quality by intelligently reflecting the received signals. Motivated by this, the joint UAV trajectory and RIS's passive beamforming design for a novel RIS-assisted UAV communication system is investigated to maximize the average achievable rate in this letter. To tackle the formulated non-convex problem, we divide it into two subproblems, namely, passive beamforming and trajectory optimization. We first derive a closed-form phase-shift solution for any given UAV trajectory to achieve the phase alignment of the received signals from different transmission paths. Then, with the optimal phase-shift solution, we obtain a suboptimal trajectory solution by using the successive convex approximation (SCA) method. Numerical results demonstrate that the proposed algorithm can considerably improve the average achievable rate of the system.


title: An Efficient Skyline Computation Framework

abstract: Skyline computation aims at looking for the set of tuples that are not worse than any other tuples in all dimensions from a multidimensional database. In this paper, we present SDI (Skyline on Dimension Index), a dimension indexing conducted general framework to skyline computation. We prove that to determine whether a tuple belongs to the skyline, it is enough to compare this tuple with a bounded subset of skyline tuples in an arbitrary dimensional index, but not with all existing skyline tuples. Base on SDI, we also show that any skyline tuple can be used to stop the whole skyline computation process with outputting the complete set of all skyline tuples. We develop an efficient algorithm SDI-RS that significantly reduces the skyline computation time, of which the space and time complexity can be guaranteed. Our experimental evaluation shows that SDI-RS outperforms the baseline algorithms in general and is especially very efficient on high-dimensional data.


title: Advancing characterisation with statistics from correlative electron diffraction and X-ray spectroscopy, in the scanning electron microscope

abstract: The routine and unique determination of minor phases in microstructures is critical to materials science. In metallurgy alone, applications include alloy and process development and the understanding of degradation in service. We develop a correlative method, exploring superalloy microstructures which are examined in the scanning electron microscope (SEM) using simultaneous energy dispersive X-ray spectroscopy (EDS) and electron backscatter diffraction (EBSD). This is performed at an appropriate length scale for characterisation of carbide phases' shape, size, location, and distribution. EDS and EBSD data are generated using two different physical processes, but each provide a signature of the material interacting with the incoming electron beam. Recent advances in post-processing, driven by "big data" approaches, include use of principal component analysis (PCA). Components are subsequently characterised to assign labels to a mapped region. To provide physically meaningful signals, the principal components may be rotated to control the distribution of variance. In this work, we develop this method further through a weighted PCA approach. We use the EDS and EBSD signals concurrently, thereby labelling each region using both EDS (chemistry) and EBSD (crystal structure) information. This provides a new method of amplifying signal-to-noise for very small phases in mapped regions, especially where the EDS or EBSD signal is not unique enough alone for classification.


title: Implementing Binarized Neural Networks with Magnetoresistive RAM without Error Correction

abstract: One of the most exciting applications of Spin Torque Magnetoresistive Random Access Memory (ST-MRAM) is the in-memory implementation of deep neural networks, which could allow improving the energy efficiency of Artificial Intelligence by orders of magnitude with regards to its implementation on computers and graphics cards. In particular, ST-MRAM could be ideal for implementing Binarized Neural Networks (BNNs), a type of deep neural networks discovered in 2016, which can achieve state-of-the-art performance with a highly reduced memory footprint with regards to conventional artificial intelligence approaches. The challenge of ST-MRAM, however, is that it is prone to write errors and usually requires the use of error correction. In this work, we show that these bit errors can be tolerated by BNNs to an outstanding level, based on examples of image recognition tasks (MNIST, CIFAR-10 and ImageNet): bit error rates of ST-MRAM up to 0.1% have little impact on recognition accuracy. The requirements for ST-MRAM are therefore considerably relaxed for BNNs with regards to traditional applications. By consequence, we show that for BNNs, ST-MRAMs can be programmed with weak (low-energy) programming conditions, without error correcting codes. We show that this result can allow the use of low energy and low area ST-MRAM cells, and show that the energy savings at the system level can reach a factor two.


title: Impact of photon addition and subtraction on nonclassical and phase properties of a displaced Fock state

abstract: Various nonclassical and quantum phase properties of photon added then subtracted displaced Fock state have been examined systematically and rigorously. Higher-order moments of the relevant bosonic operators are computed to test the nonclassicality of the state of interest, which reduces to various quantum states (having applications in quantum optics, metrology and information processing) in different limits ranging from the coherent (classical) state to the Fock (most nonclassical) states. The nonclassical features are discussed using Klyshko's, Vogel's, and Agarwal-Tara's criteria as well as the criteria of lower- and higher-order antibunching, sub-Poissonian photon statistics and squeezing. In addition, phase distribution function and quantum phase fluctuation have been studied. These properties are examined for various combinations of number of photon addition and/or subtraction and Fock parameter. The examination has revealed that photon addition generally improves nonclassicality, and this advantage enhances for the large (small) values of displacement parameter using photon subtraction (Fock parameter). The higher-order sub-Poissonian photon statistics is only observed for the odd orders. In general, higher-order nonclassicality criteria are found to detect nonclassicality even in the cases when corresponding lower-order criteria failed to do so. Photon subtraction is observed to induce squeezing, but only large number of photon addition can be used to probe squeezing for large values of displacement parameter. Further, photon subtraction is found to alter the phase properties more than photon addition, while Fock parameter has an opposite effect of the photon addition/subtraction. Finally, nonclassicality and non-Gaussianity is also established using $Q$ function.


title: Fast Adaptation with Meta-Reinforcement Learning for Trust Modelling in Human-Robot Interaction

abstract: In socially assistive robotics, an important research area is the development of adaptation techniques and their effect on human-robot interaction. We present a meta-learning based policy gradient method for addressing the problem of adaptation in human-robot interaction and also investigate its role as a mechanism for trust modelling. By building an escape room scenario in mixed reality with a robot, we test our hypothesis that bi-directional trust can be influenced by different adaptation algorithms. We found that our proposed model increased the perceived trustworthiness of the robot and influenced the dynamics of gaining human's trust. Additionally, participants evaluated that the robot perceived them as more trustworthy during the interactions with the meta-learning based adaptation compared to the previously studied statistical adaptation model.


title: The Evolution of IJHCS and CHI: A Quantitative Analysis

abstract: In this paper we focus on the International Journal of Human-Computer Studies (IJHCS) as a domain of analysis, to gain insights about its evolution in the past 50 years and what this evolution tells us about the research landscape associated with the journal. To this purpose we use techniques from the field of Science of Science and analyse the relevant scholarly data to identify a variety of phenomena, including significant geopolitical patterns, the key trends that emerge from a topic-centric analysis, and the insights that can be drawn from an analysis of citation data. Because the area of Human-Computer Interaction (HCI) has always been a central focus for IJHCS, we also include in the analysis the CHI conference, which is the premiere scientific venue in HCI. Analysing both venues provides more data points to our study and allows us to consider two alternative viewpoints on the evolution of HCI research.


title: Biofluorescent Worlds I: Global Biological Fluorescence as a Biosignature

abstract: In this paper, we analyze a new possible biological surface feature for habitable worlds orbiting other stars: biofluorescence. High ultraviolet (UV) and blue radiation fluxes drive the strongest biofluorescence in terrestrial fluorescent pigments and proteins. F stars emit more blue and UV radiation than the Sun, while planets and exomoons orbiting such stars remain in the habitable zone for 2-4 Gyr; a timespan that could allow a complex biosphere to develop. Therefore we propose biofluorescence as a new surface biosignature for F star planets. We investigate how the extra emission from surface fluorescence could cause observable signals at specific wavelengths in the visible spectrum. Using the absorption and emission characteristics of common coral fluorescent pigments and proteins, we simulate the increased emission at specific visible wavelengths caused by strong fluorescence, accounting for the effects of different (non-fluorescent) surface features, atmospheric absorption and cloud-cover. Our model shows that exoplanets with a fluorescent biosphere could have characteristic surface colours that allow the presence of surface life to be inferred from observations with upcoming telescopes.


title: VISON: An Ontology-Based Approach for Software Visualization Tool Discoverability

abstract: Although many tools have been presented in the research literature of software visualization, there is little evidence of their adoption. To choose a suitable visualization tool, practitioners need to analyze various characteristics of tools such as their supported software concerns and level of maturity. Indeed, some tools can be prototypes for which the lifespan is expected to be short, whereas others can be fairly mature products that are maintained for a longer time. Although such characteristics are often described in papers, we conjecture that practitioners willing to adopt software visualizations require additional support to discover suitable visualization tools. In this paper, we elaborate on our efforts to provide such support. To this end, we systematically analyzed research papers in the literature of software visualization and curated a catalog of 70 available tools that employ various visualization techniques to support the analysis of multiple software concerns. We further encapsulate these characteristics in an ontology. VISON, our software visualization ontology, captures these semantics as concepts and relationships. We report on early results of usage scenarios that demonstrate how the ontology can support (i) developers to find suitable tools for particular development concerns, and (ii) researchers who propose new software visualization tools to identify a baseline tool for a controlled experiment.


title: Some Worst-Case Datasets of Deterministic First-Order Methods for Solving Binary Logistic Regression

abstract: We present in this paper some worst-case datasets of deterministic first-order methods for solving large-scale binary logistic regression problems. Under the assumption that the number of algorithm iterations is much smaller than the problem dimension, with our worst-case datasets it requires at least $\mathcal{O}(1/\sqrt{\varepsilon})$ first-order oracle inquiries to compute an $\varepsilon$-approximate solution. From traditional iteration complexity analysis point of view, the binary logistic regression loss functions with our worst-case datasets are new worst-case function instances among the class of smooth convex optimization problems.


title: Active Annotation: bootstrapping annotation lexicon and guidelines for supervised NLU learning

abstract: Natural Language Understanding (NLU) models are typically trained in a supervised learning framework. In the case of intent classification, the predicted labels are predefined and based on the designed annotation schema while the labelling process is based on a laborious task where annotators manually inspect each utterance and assign the corresponding label. We propose an Active Annotation (AA) approach where we combine an unsupervised learning method in the embedding space, a human-in-the-loop verification process, and linguistic insights to create lexicons that can be open categories and adapted over time. In particular, annotators define the y-label space on-the-fly during the annotation using an iterative process and without the need for prior knowledge about the input data. We evaluate the proposed annotation paradigm in a real use-case NLU scenario. Results show that our Active Annotation paradigm achieves accurate and higher quality training data, with an annotation speed of an order of magnitude higher with respect to the traditional human-only driven baseline annotation methodology.


title: Certified answers for ordered quantum discrimination problems

abstract: We investigate the quantum state discrimination task for sets of linear independent pure states with an intrinsic ordering. This structured discrimination problems allow for a novel scheme that provides a certified level of error, that is, answers that never deviate from the true value more than a specified distance and hence a control of the desired quality of the results. We obtain an efficient semidefinite program and also find a general lower bound valid for any error distance that only requires the knowledge of optimal minimum error scheme. We apply our results to the quantum change point and quantum state anomaly detection cases.


title: Coherent control of light for non-line-of-sight imaging

abstract: Non-line-of-sight (NLOS) imaging relies on collecting light that is rendered incoherent from the multiple scattering events and is then post-processed to provide an estimate of the hidden scene. Here we employ coherent phase control of the outgoing laser beam phase front so as to refocus the beam behind the obscuring obstacle and then use the speckle memory effect to scan the focused spot across the scene. The back-reflected light intensity provides a direct measurement of the scene with a signal-to-noise ratio that is greatly improved when measured using a temporally gated detector. A spatial resolution of less than 1 mm is demonstrated, opening the way to high-resolution NLOS imaging.


title: Cosmological comoving behavior of the configurational entropy

abstract: It has been shown that a functional dependence of the configurational entropy (CE) density exhibits a cosmological comoving behavior related to the scale parameter, $a$, of the FRW flat universe. Such a circumstantial comoving behavior shows that the CE evolves with $a^{-3}$ for fermionic and bosonic radiation and with $a^{-3/2}$ for non-relativistic fermionic matter. The results are discussed in the domain of matter and radiation, as well as in a simplified context of the $\Lambda$CDM cosmology. Our results suggest that the CE can work as a theoretical driver for particle and nuclear interactions in the context of large scale cosmic events.


title: Haj\'os and Ore constructions for digraphs

abstract: The chromatic number $\overrightarrow{\chi}(D)$ of a digraph $D$ is the minimum number of colors needed to color the vertices of $D$ such that each color class induces an acyclic subdigraph of $D$. A digraph $D$ is $k$-critical if $\overrightarrow{\chi}(D) = k$ but $\overrightarrow{\chi}(D') < k$ for all proper subdigraphs $D'$ of $D$. We examine methods for creating infinite families of critical digraphs, the Dirac join and the directed and bidirected Haj\'os join. We prove that a digraph $D$ has chromatic number at least $k$ if and only if it contains a subdigraph that can be obtained from bidirected complete graphs on $k$ vertices by (directed) Haj\'os joins and identifying non-adjacent vertices. Building upon that, we show that a digraph $D$ has chromatic number at least $k$ if and only if it can be constructed from bidirected $K_k$'s by using directed and bidirected Haj\'os joins and identifying non-adjacent vertices (so called Ore joins), thereby transferring a well-known result of Urquhart to digraphs. Finally, we prove a Gallai-type theorem that characterizes the structure of the low vertex subdigraph of a critical digraph, that is, the subdigraph, which is induced by the vertices that have in-degree $k-1$ and out-degree $k-1$ in $D$.


title: Superconductor-ferromagnet tunnel junction thermoelectric bolometer and calorimeter with a SQUID readout

abstract: Superconductor-ferromagnet thermoelectric detector (SFTED) is a novel ultrasensitive radiation detector based on the giant thermoelectric effect in superconductor-ferromagnet tunnel junctions. This type of detector can be operated without the need of additional bias lines, and is predicted to provide a performance rivaling transition-edge sensors and kinetic inductance detectors. Here we report our numerical studies on the SFTED noise equivalent power, energy resolution and time constant, and the feasibility of a SQUID readout in both bolometric and calorimetric regimes, with the goal to provide practical design parameters for the detector fabrication and the readout circuitry implementation.


title: Structure of block quantum dynamical semigroups and their product systems

abstract: W. Paschke's version of Stinespring's theorem associates a Hilbert $C^*$-module along with a generating vector to every completely positive map. Building on this, to every quantum dynamical semigroup (QDS) on a $C^*$-algebra $\mathcal A$ one may associate an inclusion system $E=(E_t)$ of Hilbert $\mathcal A$-$\mathcal A$-modules with a generating unit $\xi =(\xi_t)$. Suppose $\mathcal B$ is a von Neumann algebra, consider $M_2(\mathcal B)$, the von Neumann algebra of $2\times 2$ matrices with entries from $\mathcal B$. Suppose $(\Phi_t)_{t\ge 0}$ with $\Phi_t=\begin{pmatrix} \phi_t^1& \psi_t \psi_t^*&\phi_t^2 \end{pmatrix},$ is a QDS on $M_2(B)$ which acts block-wise and let $(E^i_t)_{t\ge 0}$ be the inclusion system associated to the diagonal QDS $(\phi^i_t)_{t\ge 0}$ with the generating unit $(\xi_t^i)_{t\ge 0}, i=1,2.$ It is shown that there is a contractive (bilinear) morphism $T=(T_t)_{t\ge0}$ from $(E^2_t)_{t\ge 0}$ to $(E^1_t)_{t\ge 0}$ such that $\psi_t(a)=\langle \xi^1_t, T_t a\xi^2_t\rangle $ for all $a\in\mathcal B.$ We also prove that any contractive morphism between inclusion systems of von Neumann $\mathcal B$-$\mathcal B$-modules can be lifted as a morphism between the product systems generated by them. We observe that the $E_0$-dilation of a block quantum Markov semigroup (QMS) on a unital $C^*$-algebra is again a semigroup of block maps.


title: Low-energy type-II Dirac fermions and spin-polarized topological surface states in transition-metal dichalcogenide NiTe$_2$

abstract: Using spin- and angle- resolved photoemission spectroscopy (spin-ARPES) together with ${\it ab~initio}$ calculations, we demonstrate the existence of a type-II Dirac semimetal state in NiTe$_2$. We show that, unlike PtTe$_2$, PtSe$_2$, and PdTe$_2$, the Dirac node in NiTe$_2$ is located in close vicinity of the Fermi energy. Additionally, NiTe$_2$ also hosts a pair of band inversions below the Fermi level along the $\Gamma-A$ high-symmetry direction, with one of them leading to a Dirac cone in the surface states. The bulk Dirac nodes and the ladder of band inversions in NiTe$_2$ support unique topological surface states with chiral spin texture over a wide range of energies. Our work paves the way for the exploitation of the low-energy type-II Dirac fermions in NiTe$_2$ in the fields of spintronics, THz plasmonics and ultrafast optoelectronics.


title: Floquet engineering of topological phases protected by emergent symmetries under resonant drives

abstract: Floquet engineering is one of the most vigorous fields in periodically driven (Floquet) systems, with which we can control phases of matter usually by high-frequency drives. In this paper, with Floquet engineering by a combination of high-frequency drives and resonant drives, we propose a way to realize nontrivial topological phases protected by a $\mathbb{Z}_2 \times \mathbb{Z}_2$ symmetry only in the presence of a $\mathbb{Z}_2$ symmetry, using a robust emergent $\mathbb{Z}_2$ symmetry induced by the resonant drives. Moreover, the symmetry protected topological (SPT) phases are switchable between nontrivial and trivial phases only by the direction of a static transverse field, and even perturbations on the resonant drive can be utilized to realize richer SPT phases. We also discuss the real-time dynamics of the model, and find that which topological phases the system lies in can be distinguished by a period doubling of a nonlocal order parameter, as with discrete time crystals. A realization or a control of nontrivial SPT phases without the required symmetries by resonant drives, proposed in this paper, would shed a new light on the observation of topological phenomena in nonequilibrium setups.


title: Microservices Anti Patterns: A Taxonomy

abstract: Several companies are re-architecting their monolithic information systems with microservices. However, many companies migrated without experience on microservices, mainly learning how to migrate from books or from practitioners' blogs. Because of the novelty of the topic, practitioners and consultancy are learning by doing how to migrate, thus facing several issues but also several benefits. In this chapter, we introduce a catalog and a taxonomy of the most common microservices anti-patterns in order to identify common problems. Our anti-pattern catalogue is based on the experience summarized by different practitioners we interviewed in the last three years. We identified a taxonomy of 20 anti-patterns, including organizational (team oriented and technology/tool oriented) anti-patterns and technical (internal and communication) anti-patterns. The results can be useful to practitioners to avoid experiencing the same difficult situations in the systems they develop. Moreover, researchers can benefit of this catalog and further validate the harmfulness of the anti-patterns identified.


title: Thermodynamics of scalar field models with kinetic corrections

abstract: In the present work, we compare the thermodynamical viability of two types of non-canonical scalar field models with kinetic corrections: the square kinetic and square root kinetic corrections. In modern cosmology, the generalised second law of thermodynamics (GSLT) plays an important role in deciding thermodynamical compliance of a model as one cannot consider a model to be viable if it fails to respect GSLT. Hence, for comparing thermodynamical viability, we examine the validity of GSLT for these two models. For this purpose, by employing the Unified first law (UFL), we calculate the total entropy of these two models in apparent and event horizons. The validity of GSLT is then examined from the autonomous systems as the original expressions of total entropy are very complicated. Although, at the background level, both models give interesting cosmological dynamics, however, thermodynamically we found that the square kinetic correction is more realistic as compared to the square root kinetic correction. More precisely, the GSLT holds for the square kinetic correction throughout the evolutionary history except only during the radiation epoch where the scalar field may not represent a true description of the matter content. On the other hand, the square root kinetic model fails to satisfy the GSLT in major cosmological eras.


title: Hierarchical clusters in neuronal populations with plasticity

abstract: We report the phenomenon of frequency clustering in a network of Hodgkin-Huxley neurons with spike timing-dependent plasticity. The clustering leads to a splitting of a neural population into a few groups synchronized at different frequencies. In this regime, the amplitude of the mean field undergoes low-frequency modulations, which may contribute to the mechanism of the emergence of slow oscillations of neural activity observed in spectral power of local field potentials or electroencephalographic signals at high frequencies. In addition to numerical simulations of such multi-clusters, we investigate the mechanisms of the observed phenomena using the simplest case of two clusters. In particular, we propose a phenomenological model which describes the dynamics of two clusters taking into account the adaptation of coupling weights. We also determine the set of plasticity functions (update rules), which lead to multi-clustering.


title: A Natural Quadratic Approach to the Generalized Graph Layering Problem

abstract: We propose a new exact approach to the generalized graph layering problem that is based on a particular quadratic assignment formulation. It expresses, in a natural way, the associated layout restrictions and several possible objectives, such as a minimum total arc length, minimum number of reversed arcs, and minimum width, or the adaptation to a specific drawing area. Our computational experiments show a competitive performance compared to prior exact models.


title: Quasi-Fredholm spectrum and compact perturbations

abstract: In this paper we explore some characteristics of the quasi-Fredholm resolvent set $\rho_{qf}(T)$ of an operator $T$ defined on an infinite dimensional Banach space $X$. Moreover, in the case of Hilbert space $H$, we study the stability of the SVEP and describe the operators for which the SVEP is preserved under compact perturbations using quasi-Fredholm spectrum and $\rho_{qf}(T)$.


title: Prediction in regression models with continuous observations

abstract: We consider the problem of predicting values of a random process or field satisfying a linear model $y(x)=\theta^\top f(x) + \varepsilon(x)$, where errors $\varepsilon(x)$ are correlated. This is a common problem in kriging, where the case of discrete observations is standard. By focussing on the case of continuous observations, we derive expressions for the best linear unbiased predictors and their mean squared error. Our results are also applicable in the case where the derivatives of the process $y$ are available, and either a response or one of its derivatives need to be predicted. The theoretical results are illustrated by several examples in particular for the popular Mat\'{e}rn $3/2$ kernel.


title: Multimodal Unified Attention Networks for Vision-and-Language Interactions

abstract: Learning an effective attention mechanism for multimodal data is important in many vision-and-language tasks that require a synergic understanding of both the visual and textual contents. Existing state-of-the-art approaches use co-attention models to associate each visual object (e.g., image region) with each textual object (e.g., query word). Despite the success of these co-attention models, they only model inter-modal interactions while neglecting intra-modal interactions. Here we propose a general `unified attention' model that simultaneously captures the intra- and inter-modal interactions of multimodal features and outputs their corresponding attended representations. By stacking such unified attention blocks in depth, we obtain the deep Multimodal Unified Attention Network (MUAN), which can seamlessly be applied to the visual question answering (VQA) and visual grounding tasks. We evaluate our MUAN models on two VQA datasets and three visual grounding datasets, and the results show that MUAN achieves top-level performance on both tasks without bells and whistles.


title: The $\beta$-function of ${\cal N}=1$ supersymmetric gauge theories regularized by higher covariant derivatives as an integral of double total derivatives

abstract: For a general ${\cal N}=1$ supersymmetric gauge theory regularized by higher covariant derivatives we prove in all orders that the $\beta$-function defined in terms of the bare couplings is given by integrals of double total derivatives with respect to loop momenta. With the help of the technique used for this proof it is possible to construct a method for obtaining these loop integrals, which essentially simplifies the calculations. As an illustration of this method, we find the expression for the three-loop contribution to the $\beta$-function containing the Yukawa couplings and compare it with the result of the standard calculations made earlier. Also we briefly discuss, how the structure of the loop integrals for the $\beta$-function considered in this paper can be used for the all-loop perturbative derivation of the NSVZ relation in the non-Abelian case.


title: Successive Projection Algorithm Robust to Outliers

abstract: The successive projection algorithm (SPA) is a fast algorithm to tackle separable nonnegative matrix factorization (NMF). Given a nonnegative data matrix $X$, SPA identifies an index set $\mathcal{K}$ such that there exists a nonnegative matrix $H$ with $X \approx X(:,\mathcal{K})H$. SPA has been successfully used as a pure-pixel search algorithm in hyperspectral unmixing and for anchor word selection in document classification. Moreover, SPA is provably robust in low-noise settings. The main drawbacks of SPA are that it is not robust to outliers and does not take the data fitting term into account when selecting the indices in $\mathcal{K}$. In this paper, we propose a new SPA variant, dubbed Robust SPA (RSPA), that is robust to outliers while still being provably robust in low-noise settings, and that takes into account the reconstruction error for selecting the indices in $\mathcal{K}$. We illustrate the effectiveness of RSPA on synthetic data sets and hyperspectral images.

categories: eess.SP cs.LG cs.NA eess.IV math.NA stat.ML


title: Maximum Approximated Likelihood Estimation

abstract: Empirical economic research frequently applies maximum likelihood estimation in cases where the likelihood function is analytically intractable. Most of the theoretical literature focuses on maximum simulated likelihood (MSL) estimators, while empirical and simulation analyzes often find that alternative approximation methods such as quasi-Monte Carlo simulation, Gaussian quadrature, and integration on sparse grids behave considerably better numerically. This paper generalizes the theoretical results widely known for MSL estimators to a general set of maximum approximated likelihood (MAL) estimators. We provide general conditions for both the model and the approximation approach to ensure consistency and asymptotic normality. We also show specific examples and finite-sample simulation results.


title: Quantum magnetoresistive (hc/2e)/m periodic oscillations in a superconducting ring

abstract: It was experimentally found that quantum magnetoresistive hc/2e periodic oscillations of the Little-Parks type in a superconducting mesoscopic ring with decreasing temperature and increasing applied dc current are modified to the sum of harmonic (hc/2e)/m periodic oscillations. Multiple Andreev reflection can be a possible cause of this effect.


title: Voltage plateaus on V(I) curves of long quasi-one-dimensional superconducting wires (without microwave irradiation)

abstract: Almost constant voltage plateaus on the V(I) curves of long quasi-one-dimensional superconducting aluminum wires placed in magnetic field at temperatures T slightly below the critical superconducting temperature Tc were found which were unexpected for the sample geometry and parameters of the experiment. The plateaus are assumed to be subharmonics of a superconducting gap and arise due to the multiple Andreev reflection and strong quasiparticle overheating in the wire nonequilibrium region. The plateaus are evidence of coexistence of superconductivity and dissipation in such wires. The results presented in the paper could not be described by existing theories.


title: Control of habitat's carbon dioxide level by biomass burning

abstract: Consider a free-space settlement with a closed ecosystem. Controlling the habitat's carbon dioxide level is a nontrivial problem because the atmospheric carbon buffer per biosphere area is smaller than on Earth. Here we show that the problem can be solved by burning agricultural waste. Waste biomass is stored and dried, and burned whenever plant growth has lowered the atmospheric carbon dioxide level so that replenishment is needed. The method is robust, low-tech and scalable. The method also leaves the partial pressure of oxygen unchanged. In the initial growth phase of the biosphere, one can obtain the carbon dioxide by burning sugar or carbon, which can be sourced from carbonaceous asteroid materials. This makes it possible to bootstrap the biosphere without massive biomass imports from Earth.


title: Practically feasible robust quantum money with classical verification

abstract: We introduce a private quantum money scheme with the note verification procedure based on Sampling Matching, a problem in the one-way communication complexity model introduced by Kumar et al.[Nature Communications 10, Article number: 4152]. Our scheme involves a Bank that produces and distributes quantum notes, noteholders who are untrusted and trusted local verifiers of the Bank to whom the holders send their notes in order to carry out transactions. The key aspects of our money scheme include: note verification procedure requiring a single round classical interaction between the local verifier and Bank; fixed verification circuit that uses only passive linear optical components; re-usability of each note in our scheme which grows linearly with the size of note, and an unconditional security against any adversary trying to forge the banknote while tolerating the noise of up to 21.4%. We further describe a practical implementation technique of our money scheme using weak coherent states of light and the verification circuit involving a single 50/50beam splitter and 2 single-photon threshold detectors. Previous best-known matching based money scheme proposal [AA17] involves a verification circuit where the number of optical components increase proportionally to the increase in desired noise tolerance (robustness). In contrast, we achieve any desired noise tolerance (up to a maximal threshold value) with only a fixed number of optical components. This considerable reduction of components in our scheme enables us to reach the robustness values that are not feasible for any existing money scheme with the current technology.


title: Notes on anomalies, elliptic curves and the BS-D conjecture

abstract: We consider anomaly cancellation for $SU(N)\times SU(2)\times U(1)$ gauge theories where the left-handed chiral multiplets are in higher $SU(2)$ representations. In particular, if the left-handed quarks and leptons transform under the triplet representation of $SU(2)$ and if the $U(1)$ gauge group is compact then up to an overall scaling there is only one possible nontrivial assignment for the hypercharges if $N=3$, and two if $N=9$. Otherwise there are infinitely many. We use the Mordell-Weil theorem, Mazur's theorem and the Cremona elliptic curve database which uses Kolyvagin's theorem on the Birch Swinnerton-Dyer conjecture to prove these statements.


title: BGD-based Adam algorithm for time-domain equalizer in PAM-based optical interconnects

abstract: To the best of our knowledge, for the first time, we propose adaptive moment estimation (Adam) algorithm based on batch gradient descent (BGD) to design a time-domain equalizer (TDE) for PAM-based optical interconnects. Adam algorithm has been widely applied in the fields of artificial intelligence. For TDE, BGD-based Adam algorithm can obtain globally optimal tap coefficients without being trapped in locally optimal tap coefficients. Therefore, fast and stable convergence can be achieved by BGD-based Adam algorithm with low mean square error. Meanwhile, BGD-based Adam algorithm is implemented by parallel processing, which is more efficient than conventional serial algorithms, such as least mean square and recursive least square algorithms. The experimental results demonstrate that BGD-based Adam feed-forward equalizer works well in 120-Gbit/s PAM8 optical interconnects. In conclusion, BGD-based Adam algorithm shows great potential for converging the tap coefficients of TDE in future optical interconnects.


title: Special components of Noether-Lefschetz loci

abstract: We take a sum $C_1+r C_2,\ r\in\mathbb Q$ of a line $C_1$ and a complete intersection curve $C_2$ of type $(3,3)$ inside a smooth surface of degree $8$ and with $C_1\cap C_2=\emptyset$. We gather evidences to the fact that for all except a finite number of $r$, the Noether-Lefschetz loci attached to the cohomology classes of $C_1+ r C_2$ are distinct $31$ codimensional subvarieties intersecting each other in a $32$ codimensional subvariety of the ambient space. The maximum codimension for components of the Noether-Lefschetz locus in this case is $35$, and hence, we provide a conjectural description of a counterexample to a conjecture of J. Harris. The methods used in this paper also produce in a rigorous way an infinite number of general components passing through the point representing the Fermat surface of degree $\leq 9$, and many non-reduced components for such degrees.


title: Deep learning brain conductivity mapping using a patch-based 3D U-net

abstract: Purpose: To investigate deep learning electrical properties tomography (EPT) for application on different simulated and in-vivo datasets including pathologies for obtaining quantitative brain conductivity maps. Methods: 3D patch-based convolutional neural networks were trained to predict conductivity maps from B1 transceive phase data. To compare the performance of DLEPT networks on different datasets, three datasets were used throughout this work, one from simulations and two from in-vivo measurements from healthy volunteers and cancer patients, respectively. At first, networks trained on simulations are tested on all datasets with different levels of homogeneous Gaussian noise introduced in training and testing. Secondly, to investigate potential robustness towards systematical differences between simulated and measured phase maps, in-vivo data with conductivity labels from conventional EPT is used for training. Results: High quality of reconstructions from networks trained on simulations with and without noise confirms the potential of deep learning for EPT. However, artifact encumbered results in this work uncover challenges in application of DLEPT to in-vivo data. Training DLEPT networks on conductivity labels from conventional EPT improves quality of results. This is argued to be caused by robustness to artifacts from image acquisition. Conclusions: Networks trained on simulations with added homogeneous Gaussian noise yield reconstruction artifacts when applied to in-vivo data. Training with realistic phase data and conductivity labels from conventional EPT allows for severely reducing these artifacts.


title: Tuning the random walk of active colloids

abstract: Active particles such as swimming bacteria or self-propelled colloids are known to spontaneously organize into fascinating large-scale dynamic structures. The emergence of these collective states from the motility pattern of the individual particles, typically a random walk, is yet to be probed in a well-defined synthetic system. Here, we report the experimental realization of intermittent colloidal motion that reproduces the run-and-tumble and Levy trajectories common to many swimming and swarming bacteria. Our strategy enables to tailor the sequence of repeated "runs" (nearly constant-speed straight-line translation) and "tumbles" (seemingly erratic turn) to emulate any random walk. This new paradigm for active locomotion at the microscale opens new opportunities for experimental explorations of the collective dynamics emerging in active suspensions. We find that population of these random walkers exhibit behaviors reminiscent of bacterial suspensions such as dynamic clusters and mesoscale turbulent-like flows.


title: Manifestly duality-invariant interactions in diverse dimensions

abstract: As an extension of the Ivanov-Zupnik approach to self-dual nonlinear electrodynamics in four dimensions [1,2], we reformulate U(1) duality-invariant nonlinear models for a gauge $(2p-1)$-form in $d=4p$ dimensions as field theories with manifestly U(1) invariant self-interactions. This reformulation is suitable to generate arbitrary duality-invariant nonlinear systems including those with higher derivatives.


title: Enhanced 3D convolutional networks for crowd counting

abstract: Recently, convolutional neural networks (CNNs) are the leading defacto method for crowd counting. However, when dealing with video datasets, CNN-based methods still process each video frame independently, thus ignoring the powerful temporal information between consecutive frames. In this work, we propose a novel architecture termed as "temporal channel-aware" (TCA) block, which achieves the capability of exploiting the temporal interdependencies among video sequences. Specifically, we incorporate 3D convolution kernels to encode local spatio-temporal features. Furthermore, the global contextual information is encoded into modulation weights which adaptively recalibrate channel-aware feature responses. With the local and global context combined, the proposed block enhances the discriminative ability of the feature representations and contributes to more precise results in diverse scenes. By stacking TCA blocks together, we obtain the deep trainable architecture called enhanced 3D convolutional networks (E3D). The experiments on three benchmark datasets show that the proposed method delivers state-of-the-art performance. To verify the generality, an extended experiment is conducted on a vehicle dataset TRANCOS and our approach beats previous methods by large margins.


title: Citations in Software Engineering -- Paper-related, Journal-related, and Author-related Factors

abstract: Many factors could affect the number of citations to a paper. Citations have an important role in research policy and in measuring the excellence of research and researchers. This work is the first study in software engineering (SE) to assess multiple factors affecting the number of citations to SE papers. We use (a) negative binomial regression and (b) quantile regression to study arithmetic mean and median expected citations of a paper. Our dataset includes all the 25,113 papers which have been published in a set of 16 main SE journals, between 1970 and 2018. Our results indicate that publication venue, author team's past citations, paper length, the number of references, and the recency of references are the most influential factors on the number of citations to SE papers. From our empirical findings, we present several implications and advice to researchers for getting higher citations on their papers, which are in addition to the obvious case of conducting high-quality technical research, e.g. (1) Aim for high-profile venues, (2) Build a high-quality author team with highly cited past papers, and (3) Aim for high-quality work that has comprehensive content (thus longer paper length and reference list).


title: Automated retinal vessel segmentation based on morphological preprocessing and 2D-Gabor wavelets

abstract: Automated segmentation of vascular map in retinal images endeavors a potential benefit in diagnostic procedure of different ocular diseases. In this paper, we suggest a new unsupervised retinal blood vessel segmentation approach using top-hat transformation, contrast-limited adaptive histogram equalization (CLAHE), and 2-D Gabor wavelet filters. Initially, retinal image is preprocessed using top-hat morphological transformation followed by CLAHE to enhance only the blood vessel pixels in the presence of exudates, optic disc, and fovea. Then, multiscale 2-D Gabor wavelet filters are applied on preprocessed image for better representation of thick and thin blood vessels located at different orientations. The efficacy of the presented algorithm is assessed on publicly available DRIVE database with manually labeled images. On DRIVE database, we achieve an average accuracy of 94.32% with a small standard deviation of 0.004. In comparison with major algorithms, our algorithm produces better performance concerning the accuracy, sensitivity, and kappa agreement.


title: Lazy Open Quantum Walks

abstract: Open quantum walks (OQWs) describe a quantum walker on an underlying graph whose dynamics is purely driven by dissipation and decoherence. Mathematically, they are formulated as completely positive trace preserving (CPTP) maps on the space of density matrices for the walker on the graph. Any microscopically derived OQW must include the possibility of remaining on the same site on the graph when the map is applied. We extend the CPTP map to describe a lazy OQW. We derive a central limit theorem for lazy OQWs on a $d$-dimensional lattice, where the distribution converges to a Gaussian. We show that the properties of this Gaussian computed using conventional methods agree with the general formulas derived from our central limit theorem.


title: The Existence of Minimal Logarithmic Signatures for some Finite Simple Unitary Groups

abstract: The $MLS$ conjecture states that every finite simple group has a minimal logarithmic signature. The aim of this paper is proving the existence of a minimal logarithmic signature for some simple unitary groups $PSU_{n}(q)$. We report a gap in the proof of the main result of [H. Hong, L. Wang, Y. Yang, Minimal logarithmic signatures for the unitary group $U_n(q)$, \textit{Des. Codes Cryptogr.} \textbf{77} (1) (2015) 179--191] and present a new proof in some special cases of this result. As a consequence, the $MLS$ conjecture is still open.


title: Improving Robustness of Deep Learning Based Knee MRI Segmentation: Mixup and Adversarial Domain Adaptation

abstract: Degeneration of articular cartilage (AC) is actively studied in knee osteoarthritis (OA) research via magnetic resonance imaging (MRI). Segmentation of AC tissues from MRI data is an essential step in quantification of their damage. Deep learning (DL) based methods have shown potential in this realm and are the current state-of-the-art, however, their robustness to heterogeneity of MRI acquisition settings remains an open problem. In this study, we investigated two modern regularization techniques -- mixup and adversarial unsupervised domain adaptation (UDA) -- to improve the robustness of DL-based knee cartilage segmentation to new MRI acquisition settings. Our validation setup included two datasets produced by different MRI scanners and using distinct data acquisition protocols. We assessed the robustness of automatic segmentation by comparing mixup and UDA approaches to a strong baseline method at different OA severity stages and, additionally, in relation to anatomical locations. Our results showed that for moderate changes in knee MRI data acquisition settings both approaches may provide notable improvements in the robustness, which are consistent for all stages of the disease and affect the clinically important areas of the knee joint. However, mixup may be considered as a recommended approach, since it is more computationally efficient and does not require additional data from the target acquisition setup.


title: A review on Deep Reinforcement Learning for Fluid Mechanics

abstract: Deep reinforcement learning (DRL) has recently been adopted in a wide range of physics and engineering domains for its ability to solve decision-making problems that were previously out of reach due to a combination of non-linearity and high dimensionality. In the last few years, it has spread in the field of computational mechanics, and particularly in fluid dynamics, with recent applications in flow control and shape optimization. In this work, we conduct a detailed review of existing DRL applications to fluid mechanics problems. In addition, we present recent results that further illustrate the potential of DRL in Fluid Mechanics. The coupling methods used in each case are covered, detailing their advantages and limitations. Our review also focuses on the comparison with classical methods for optimal control and optimization. Finally, several test cases are described that illustrate recent progress made in this field. The goal of this publication is to provide an understanding of DRL capabilities along with state-of-the-art applications in fluid dynamics to researchers wishing to address new problems with these methods.


title: Measurement of the scintillation and ionization response of liquid xenon at MeV energies in the EXO-200 experiment

abstract: Liquid xenon (LXe) is employed in a number of current and future detectors for rare event searches. We use the EXO-200 experimental data to measure the absolute scintillation and ionization yields generated by $\gamma$ interactions from $^{228}$Th (2615~keV), $^{226}$Ra (1764~keV) and $^{60}$Co (1332~keV and 1173~keV) calibration sources, over a range of electric fields. The $W$-value that defines the recombination-independent energy scale is measured to be $11.5~\pm~0.5$~(syst.)~$\pm~0.1$~(stat.) eV. These data are also used to measure the recombination fluctuations in the number of electrons and photons produced by the calibration sources at the MeV-scale, which deviate from extrapolations of lower-energy data. Additionally, a semi-empirical model for the energy resolution of the detector is developed, which is used to constrain the recombination efficiency, i.e., the fraction of recombined electrons that result in the emission of a detectable photon. Detailed measurements of the absolute charge and light yields for MeV-scale electron recoils are important for predicting the performance of future neutrinoless double beta decay detectors.


title: On the anti-Ramsey number of forests

abstract: We call a subgraph of an edge-colored graph rainbow subgraph, if all of its edges have different colors. The anti-Ramsey number of a graph $G$ in a complete graph $K_{n}$, denoted by $ar(K_{n}, G)$, is the maximum number of colors in an edge-coloring of $K_{n}$ with no rainbow subgraph copy of $G$. In this paper, we determine the exact value of the anti-Ramsey number for star forests and the approximate value of the anti-Ramsey number for linear forests. Furthermore, we compute the exact value of $ar(K_{n}, 2P_{4})$ for $n\ge 8$ and $ar(K_{n}, S_{p,q})$ for large $n$, where $S_{p,q}$ is the double star with $p+q$ leaves.


title: Jointly Aligning Millions of Images with Deep Penalised Reconstruction Congealing

abstract: Extrapolating fine-grained pixel-level correspondences in a fully unsupervised manner from a large set of misaligned images can benefit several computer vision and graphics problems, e.g. co-segmentation, super-resolution, image edit propagation, structure-from-motion, and 3D reconstruction. Several joint image alignment and congealing techniques have been proposed to tackle this problem, but robustness to initialisation, ability to scale to large datasets, and alignment accuracy seem to hamper their wide applicability. To overcome these limitations, we propose an unsupervised joint alignment method leveraging a densely fused spatial transformer network to estimate the warping parameters for each image and a low-capacity auto-encoder whose reconstruction error is used as an auxiliary measure of joint alignment. Experimental results on digits from multiple versions of MNIST (i.e., original, perturbed, affNIST and infiMNIST) and faces from LFW, show that our approach is capable of aligning millions of images with high accuracy and robustness to different levels and types of perturbation. Moreover, qualitative and quantitative results suggest that the proposed method outperforms state-of-the-art approaches both in terms of alignment quality and robustness to initialisation.


title: Influence of the trap potential waveform on surface oscillation and breakup of a levitated charged drop

abstract: A charged droplet can be electrodynamically levitated in the air using a quadrupole trap by typically applying a sinusoidal electric field. When a charged drop is levitated it exhibits surface oscillations simultaneously building charge density due to continuous evaporation and subsequently undergoes breakup due to Rayleigh instability. In this work, we examined large-amplitude surface oscillations of a sub-Rayleigh charged drop and its subsequent breakup, levitated by various applied signals such as sine, square and ramp waveform at various imposed frequencies, using high-speed imaging (recorded at 100-130 thousand Frames Per Second (fps)). It is observed that the drop surface oscillates in sphere-prolate-sphere-oblate (SPSO) mode and seldom in the sphere-prolate-sphere (SPS) mode depending on the intricate interplay of various forces due to charge(q), the intensity of applied field ($\Lambda$) and shift of the droplet from the geometric center of the trap ($z_{shift}$). The Fast Fourier Transformation (FFT) analysis shows that the droplet oscillates with the forced frequency irrespective of the type of the applied waveform. While in the sinusoidal case, the nonlinearities are significant, in the square and ramp potentials, there is an admittance of all the harmonic frequencies of the applied potential. Interestingly, the breakup characteristics of a critically charged droplet is found to be unaffected by the type of the applied waveform. The experimental observations are validated with an analytical theory as well as with the Boundary Integral (BI) simulations in the potential flow limit and the results are found to be in a reasonable agreement.


title: Methods of constructive category theory

abstract: We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like $\mathrm{Ext}$ and $\mathrm{Tor}$ over a commutative coherent ring $R$? We give an answer by introducing category constructors that enable us to build up a category which is both suited for performing explicit calculations and equivalent to the category of all finitely presented functors. The second question is: how do we determine the differentials on the pages of a spectral sequence associated to a filtered cochain complex only in terms of operations directly provided by the axioms of an abelian category? Its answer relies on a constructive method for performing diagram chases based on a calculus of relations within an arbitrary abelian category.


title: A Secure Dual-MCU Architecture for Robust Communication of IIoT Devices

abstract: The Industrial Internet of Things (IIoT) has already become a part of our everyday life be it water supply, smart grid, or production, IIoT is everywhere. For example, factory operators want to know the current state of the production line. These new demands for data acquisition in modern plants require industrial components to be able to communicate. Nowadays, network communication in Industrial Control Systems (ICSs) is often implemented via an IP-based protocol. This intercommunication also brings a larger attack surface for hackers. If an IIoT device is influenced by attackers, the physical process could be affected. For example, a high network load could cause a high Central Processing Unit (CPU) load and influence the reaction time on the physical control side. In this paper, we introduce a dual Microcontroller Unit (MCU) setup to ensure a resilient controlling for IIoT devices like Programmable Logic Controllers (PLCs). We introduce a possible solution for the demand of secure architectures in the IIoT. Moreover, we provide a Proof of Concept (PoC) implementation with a benchmark and a comparison with a standard PLC.


title: Frustrated Quantum Magnetism with Bose Gases in Triangular Optical Lattices at Negative Absolute Temperatures

abstract: Quantum antiferromagnets with geometrical frustration exhibit rich many-body physics but are hard to simulate by means of classical computers. Although quantum-simulation studies for analyzing such systems are thus desirable, they are still limited to high temperature regions, where interesting quantum effects are smeared out. Here, we propose a feasible protocol to perform analog quantum simulation of frustrated antiferromagnetism with strong quantum fluctuations by using ultracold Bose gases in optical lattices at negative absolute temperatures. Specifically, we show from numerical simulations that the time evolution of a negative-temperature state subjected to a slow sweep of the hopping energy simulates quantum phase transitions of a frustrated Bose-Hubbard model with sign-inverted hoppings. Moreover, we quantitatively predict the phase boundary between the frustrated superfluid and Mott-insulator phases for triangular lattices with hopping anisotropy, which serves as a benchmark for quantum simulation.


title: Deviations from normal distributions in artificial and real time series: a false positive prescription

abstract: Time series analysis allows for the determination of the Power Spectral Density (PSD) and Probability Density Function (PDF) for astrophysical sources. The former of these illustrates the distribution of power at various timescales, typically taking a power-law form, while the latter characterises the distribution of the underlying stochastic physical processes, with Gaussian and lognormal functional forms both physically motivated. In this paper, we use artificial time series generated using the prescription of Timmer & Koenig to investigate connections between the PDF and PSD. PDFs calculated for these artificial light curves are less likely to be well described by a Gaussian functional form for steep (<-1) PSD spectral indices due to weak non-stationarity. Using the Fermi LAT monthly light curve of the blazar PKS2155-304 as an example, we prescribe and calculate a false positive rate which indicates how likely the PDF is to be attributed an incorrect functional form. Here, we generate large numbers of artificial light curves with intrinsically normally distributed PDFs and with statistical properties consistent with observations. These are used to evaluate the probabilities that either Gaussian or lognormal functional forms better describe the PDF. We use this prescription to show that PKS2155-304 requires a high prior probability of having a normally distributed PDF, P(G) >= 0.82, for the calculated PDF to prefer a Gaussian functional form over a lognormal. We present possible choices of prior and evaluate the probability that PKS2155-304 has a lognormally distributed PDF for each.


title: Right Scaling for Right Pricing: A Case Study on Total Cost of Ownership Measurement for Cloud Migration

abstract: Cloud computing promises traditional enterprises and independent software vendors a myriad of advantages over on-premise installations including cost, operational and organizational efficiencies. The decision to migrate software configured for on-premise delivery to the cloud requires careful technical consideration and planning. In this chapter, we discuss the impact of right-scaling on the cost modelling for migration decision making and price setting of software for commercial resale. An integrated process is presented for measuring total cost of ownership, taking in to account IaaS/PaaS resource consumption based on forecast SaaS usage levels. The process is illustrated with a real world case study.


title: Representations of torsion-free arithmetic matroids

abstract: We study the representability problem for torsion-free arithmetic matroids. By using a new operation called "reduction" and a "signed Hermite normal form", we provide and implement an algorithm to compute all the representations, up to equivalence. As an application, we disprove two conjectures about the poset of layers and the independence poset of a toric arrangement.


title: Hall conductivity as the topological invariant in phase space in the presence of interactions and non-uniform magnetic field

abstract: The quantum Hall conductivity in the presence of constant magnetic field may be represented as the topological TKNN invariant. Recently the generalization of this expression has been proposed for the non - uniform magnetic field. \rev{The quantum Hall conductivity is represented as the topological invariant in phase space in terms of the Wigner transformed two - point Green function.} This representation has been derived when the inter - electron interactions were neglected. It is natural to suppose, that in the presence of interactions the Hall conductivity is still given by the same expression, in which the non - interacting Green function is substituted by the complete two - point Green function \rev{ including the interaction contributions}. We prove this conjecture within the framework of the $2+1$ D tight - binding model of rather general type using the ordinary perturbation theory.


title: Cosmic Ray Extremely Distributed Observatory: Status and perspectives of a global cosmic ray detection framework

abstract: The Cosmic-Ray Extremely Distributed Observatory (CREDO) is a project dedicated to global studies of extremely extended cosmic-ray phenomena, the cosmic-ray ensembles (CRE), beyond the capabilities of existing detectors and observatories. Up to date cosmic-ray research has been focused on detecting single air showers, while the search for ensembles of cosmic-rays, which may spread over a significant fraction of the Earth, is a scientific terra incognita. The key idea of CREDO is to combine existing cosmic-ray detectors (large professional arrays, educational instruments, individual detectors, such as smartphones, etc.) into a worldwide network, thus enabling a global analysis. The second goal of CREDO involves a large number of participants (citizen science!), assuring the geographical spread of the detectors and managing manpower necessary to deal with vast amount of data to search for evidence for cosmic-ray ensembles. In this paper the status and perspectives of the project are presented.


title: The elliptic Grothendieck-Springer resolution as a simultaneous log resolution of algebraic stacks

abstract: Let $G$ be a simply connected simple algebraic group. The classical multiplicative and additive Grothendieck-Springer resolutions are simultaneous resolutions of singularities for the maps from $G$ and its Lie algebra to their invariant theory quotients by the conjugation action of $G$. In this paper, we construct an elliptic version of the Grothendieck-Springer resolution, which is a simultaneous log resolution of a family whose total space is the stack of principal $G$-bundles on an elliptic curve. Our construction extends a well-known simultaneous resolution of the coarse moduli space map for semistable principal bundles to the stack of all principal bundles. We also prove elliptic versions of the Chevalley isomorphism and the Kostant and Steinberg section theorems, on which our construction relies.


title: Shared-Memory Branch-and-Reduce for Multiterminal Cuts

abstract: We introduce the fastest known exact algorithm~for~the multiterminal cut problem with k terminals. In particular, we engineer existing as well as new data reduction rules. We use the rules within a branch-and-reduce framework and to boost the performance of an ILP formulation. Our algorithms achieve improvements in running time of up to multiple orders of magnitudes over the ILP formulation without data reductions, which has been the de facto standard used by practitioners. This allows us to solve instances to optimality that are significantly larger than was previously possible.


title: 3-D Positioning and Environment Mapping for mmWave Communication Systems

abstract: Millimeter-wave (mmWave) cloud radio access networks (CRANs) provide new opportunities for accurate cooperative localization, in which large bandwidths, large antenna arrays, and increased densities of base stations allow for their unparalleled delay and angular resolution. Combining localization into communications and designing simultaneous localization and mapping (SLAM) algorithms are challenging problems. This study considers the joint position and velocity estimation and environment mapping problem in a three-dimensional mmWave CRAN architecture. We first embed cooperative localization into communications and establish the joint estimation and mapping model with hybrid delay and angle measurements. Then, we propose a closed-form weighted least square (WLS) solution for the joint estimation and mapping problems. The proposed WLS estimator is proven asymptotically unbiased and confirmed by simulations as effective in achieving the Cramer-Rao lower bound (CRLB) and the desired decimeter-level accuracy. Furthermore, we propose a WLS-Net-based SLAM algorithm by embedding neural networks into the proposed WLS estimators to replace the linear approximations. The solution possesses both powerful learning ability of the neural network and robustness of the proposed geometric model, and the ensemble learning is applied to further improve positioning accuracy. A public ray-tracing dataset is used in the simulations to test the performance of the WLS-Net-based SLAM algorithm, which is proven fast and effective in attaining the centimeter-level accuracy.


title: The frequency of Kozai-Lidov disc oscillation driven giant outbursts in Be/X-ray binaries

abstract: Giant outbursts of Be/X-ray binaries may occur when a Be-star disc undergoes strong eccentricity growth due to the Kozai-Lidov (KL) mechanism. The KL effect acts on a disc that is highly inclined to the binary orbital plane provided that the disc aspect ratio is sufficiently small. The eccentric disc overflows its Roche lobe and material flows from the Be star disc over to the companion neutron star causing X-ray activity. With N-body simulations and steady state decretion disc models we explore system parameters for which a disc in the Be/X-ray binary 4U 0115+634 is KL unstable and the resulting timescale for the oscillations. We find good agreement between predictions of the model and the observed giant outburst timescale provided that the disc is not completely destroyed by the outburst. This allows the outer disc to be replenished between outbursts and a sufficiently short KL oscillation timescale. An initially eccentric disc has a shorter KL oscillation timescale compared to an initially circular orbit disc. We suggest that the chaotic nature of the outbursts is caused by the sensitivity of the mechanism to the distribution of material within the disc. The outbursts continue provided that the Be star supplies material that is sufficiently misaligned to the binary orbital plane. We generalise our results to Be/X-ray binaries with varying orbital period and find that if the Be star disc is flared, it is more likely to be unstable to KL oscillations in a smaller orbital period binary, in agreement with observations.


title: The two-dimensional disordered Mott metal-insulator transition

abstract: We studied several aspects of the Mott metal-insulator transition in the disordered case. The model on which we based our analysis is the disordered Hubbard model, which is the simplest model capable of capturing the Mott metal-insulator transition. We investigated this model through the Statistical Dynamical Mean-Field Theory (statDMFT). This theory is a natural extension of the Dynamical Mean-Field Theory (DMFT), which has been used with relative success in the last several years with the purpose of describing the Mott transition in the clean case. As is the case for the latter theory, the statDMFT incorporates the electronic correlation effects only in their local manifestations. Disorder, on the other hand, is treated in such a way as to incorporate Anderson localization effects. With this technique, we analyzed the disordered two-dimensional Mott transition, using Quantum Monte Carlo to solve the associated single-impurity problems. We found spinodal lines at which the metal and insulator cease to be meta-stable. We also studied spatial fluctuations of local quantities, such as the self-energy and the local Green's function, and showed the appearance of metallic regions within the insulator and vice-versa. We carried out an analysis of finite-size effects and showed that, in agreement with the theorems of Imry and Ma, the first-order transition is smeared in the thermodynamic limit. We analyzed transport properties by means of a mapping to a random classical resistor network and calculated both the average current and its distribution across the metal-insulator transition.


title: High-frequency analysis of parabolic stochastic PDEs with multiplicative noise: Part I

abstract: We consider the stochastic heat equation driven by a multiplicative Gaussian noise that is white in time and spatially homogeneous in space. Assuming that the spatial correlation function is given by a Riesz kernel of order $\alpha \in (0,1)$, we prove a central limit theorem for power variations and other related functionals of the solution. To our surprise, there is no asymptotic bias despite the low regularity of the noise coefficient in the multiplicative case. We trace this circumstance back to cancellation effects between error terms arising naturally in second-order limit theorems for power variations.


title: Big Bang Nucleosynthesis Hunts Chameleon Dark Matter

abstract: We study the chameleon field dark matter, dubbed \textit{scalaron}, in $F(R)$ gravity in the Big Bang Nucleosynthesis (BBN) epoch. With an $R^{2}$-correction term required to solve the singularity problem for $F(R)$ gravity, we first find that the scalaron dynamics is governed by the $R^{2}$ term and the chameleon mechanism in the early universe, which makes the scalaron physics model-independent regarding the low-energy scale modification. In viable $F(R)$ dark energy models including the $R^{2}$ correction, our analysis suggests the scalaron universally evolves in a way with a bouncing oscillation irrespective of the low-energy modification for the late-time cosmic acceleration. Consequently, we find a universal bound on the scalaron mass in the BBN epoch, to be reflected on the constraint for the coupling strength of the $R^2$ term, which turns out to be more stringent than the one coming from the fifth force experiments. It is then shown that the scalaron naturally develops a small enough fluctuation in the BBN epoch, hence can avoid the current BBN constraint placed by the latest Planck 2018 data, and can also have a large enough sensitivity to be hunted by the BBN, with more accurate measurements for light element abundances as well as the baryon number density fraction.


title: Combinatorics of Bousquet-M\'elou-Schaeffer numbers in the light of topological recursion

abstract: In this paper we prove, in a purely combinatorial way, a structural quasi-polynomiality property for the Bousquet-M\'elou-Schaeffer numbers. Conjecturally, this property should follow from the Chekhov-Eynard-Orantin topological recursion for these numbers (or, to be more precise, the Bouchard-Eynard version of the topological recursion for higher order critical points), which we derive in this paper from the recent result of Alexandrov-Chapuy-Eynard-Harnad. To this end, the missing ingredient is a generalization to the case of higher order critical points on the underlying spectral curve of the existing correspondence between the topological recursion and Givental's theory for cohomological field theories.


title: Geodesic completeness and the quasi-Einstein equation for locally homogeneous affine surfaces

abstract: Let $\mathcal{M}$ be a Type $\mathcal{A}$ affine surface. We show that $\mathcal{M}$ is linearly strongly projectively flat. We use the quasi-Einstein equation together with the condition that $\mathcal{M}$ is strongly projectively flat to examine to examine the geodesic completeness of $\mathcal{M}$.


title: Enabling Commercial Autonomous Space Robotic Explorers

abstract: In contrast to manned missions, the application of autonomous robots for space exploration missions decreases the safety concerns of the exploration missions while extending the exploration distance since returning transportation is not necessary for robotics missions. In addition, the employment of robots in these missions also decreases mission complexities and costs because there is no need for onboard life support systems: robots can withstand and operate in harsh conditions, for instance, extreme temperature, pressure, and radiation, where humans cannot survive. In this article, we introduce environments on Mars, review the existing autonomous driving techniques deployed on Earth, as well as explore technologies required to enable future commercial autonomous space robotic explorers. Last but not least, we also present that one of the urgent technical challenges for autonomous space explorers, namely, computing power onboard.


title: A novel approach for deducing the mass composition of cosmic rays from lateral densities of EAS particles

abstract: A Monte Carlo (MC) simulation study of cosmic ray (CR) extensive air showers (EAS) has been carried out in the energy regime of the KASCADE experiment. From the characteristics of lateral distributions of electrons and muons of simulated EAS, some important EAS observables are extracted by a novel approach, and their CR mass-sensitivity is demonstrated. The study takes into account the issue of the experimental lateral density profiles of EAS electrons and muons after introducing the notion of the local age and segmented slope parameters, aimed to extract information on CR mass composition from observed data. The estimated lateral shower age and slope from the analysis of the KASCADE data (KCDC) agrees with the idea of a gradual change of CR mass composition from light to heavy around the knee.


title: Relativistic many body theory of the electric dipole moment of $^{129}$Xe and its implications for probing new physics beyond the Standard Model

abstract: We report the results of our theoretical studies of the time-reversal and parity violating electric dipole moment (EDM) of $^{129}$Xe arising from the nuclear Schiff moment (NSM) and the electron-nucleus tensor-pseudotensor (T-PT) interaction based on the self-consistent and the normal relativistic coupled-cluster methods. The important many-body effects are highlighted and their contributions are explicitly presented. The uncertainties in the calculations of the correlation and relativistic effects are determined by estimating the contributions of the triples excitations, and the Breit interaction respectively, which together amount to about 0.7% for the NSM and 0.2% for the T-PT interactions. The results of our present work in combination with improved experimental limits for $^{129}$Xe EDM in the future would tighten the constraints on the hadronic CP violating quantities, and this could provide important insights into new physics beyond the Standard Model of elementary particles.


title: Hecke algebra trace algorithm and some conjectures on weaving knots

abstract: Computing polynomial invariants for knots and links using braid representations relies heavily on finding the trace of Hecke algebra elements. There is no easy method known for computing the trace and hence it becomes difficult to compute the known polynomial invariants of knots using their braid representations. In this paper, we provide an algorithm to compute the trace of the Hecke algebra representation of any braid. We simplify this algorithm and write a Mathematica program to compute the invariants such as Alexander polynomial, Jones polynomial, HOMFLY-PT polynomial and Khovanov homology of a very special family of knots and links $W(n,m)$ known as weaving knots by expressing them as closure of weaving braids. We also explore on the relationship between the topological and geometric invariants of this family of alternating and hyperbolic knots (links) by generating data for the subfamilies $W(3,m)$, $W(4,m)$, $W(5,m)$ and $W(6,m)$ of weaving knots.


title: Complex Langevin Simulations of Zero-dimensional Supersymmetric Quantum Field Theories

abstract: We investigate the possibility of spontaneous supersymmetry breaking in a class of zero-dimensional ${\cal N} = 2$ supersymmetric quantum field theories, with complex actions, using complex Langevin dynamics and stochastic quantization. Our simulations successfully capture the presence or absence of supersymmetry breaking in these models. The expectation value of the auxiliary field under twisted boundary conditions was used as an order parameter to capture spontaneous supersymmetry breaking in these models.


title: Subsystem Development for the All-Sky Medium Energy Gamma-ray Observatory (AMEGO) prototype

abstract: The gamma-ray sky from several hundred keV to $\sim$ a hundred MeV has remained largely unexplored due to the challenging nature of detecting gamma rays in this regime. At lower energies, Compton scattering is the dominant interaction process whereas at higher energies pair production dominates, with a crossover at about 10 MeV depending on the material. Thus, an instrument designed to work in this energy range must be optimized for both Compton and pair-production events. The All-sky Medium Energy Gamma-ray Observatory (AMEGO) is a NASA Probe-class mission concept being submitted to the Astro2020 review. The instrument is designed to operate from 200 keV to $>$10 GeV and is made of four major subsystems: a plastic anti-coincidence detector for rejecting cosmic-ray events, a silicon tracker for tracking pair-production products and tracking and measuring the energies of Compton-scattered electrons, a CZT calorimeter for measuring the energy and location of Compton scattered photons, and a CsI calorimeter for measuring the energy of the pair-production products at high energies. A prototype instrument comprising each subsystem is currently being developed in preparation for a beam test and a balloon flight. In this contribution we discuss the current status of the prototype subsystems.


title: Asymptotic properties of permanental sequences

abstract: Let $U=\{U_{j,k},j,k\in \overline {\mathbb N}\}$ be the potential of a transient symmetric Borel right process $X$ with state space $\overline {\mathbb N}$. For any excessive function $f=\{f_{k,k\in \overline {\mathbb N}}\}$ for $X$ , $\widetilde U=\{\widetilde U_{j,k},j,k\in\overline {\mathbb N}\}$, where \begin{equation} \widetilde U_{j,k}= U_{j,k} +f_{ k},\qquad j,k\in\overline {\mathbb N},\label{a.1} \end{equation} is the kernel of an $\alpha$-permanental sequence $\widetilde X_{\alpha}=(\widetilde X_{\alpha, 1} ,\ldots)$ for all $\alpha>0$. The symmetric potential $U$ is also the covariance of a mean zero Gaussian sequence $\eta=\{\eta_{j},j\in \overline {\mathbb N}\}$. Conditions are given on the potentials $U$ and excessive functions $f$ under which, \begin{equation} \limsup_{j\to \infty}\frac{ \eta_{j}}{( 2\,\phi_{j})^{1/2} }=1 \quad a.s. \quad \implies \quad \limsup_{n\to \infty}\frac{\widetilde X_{\alpha, j}}{\phi_{j} }=1\quad a.s.,\label{a.2} \end{equation} for all $\alpha>0$, and sequences $\phi=\{\phi_{j}\}$ such that $f_{j}=o(\phi_{j})$. The function $\phi$ is determined by $U$. Many examples are given in which $U$ is the potential of symmetric birth and death processes with and without emigration, first and higher order Gaussian autoregressive sequences and L\'evy processes on $\mathbf Z$.


title: LIP: Local Importance-based Pooling

abstract: Spatial downsampling layers are favored in convolutional neural networks (CNNs) to downscale feature maps for larger receptive fields and less memory consumption. However, for discriminative tasks, there is a possibility that these layers lose the discriminative details due to improper pooling strategies, which could hinder the learning process and eventually result in suboptimal models. In this paper, we present a unified framework over the existing downsampling layers (e.g., average pooling, max pooling, and strided convolution) from a local importance view. In this framework, we analyze the issues of these widely-used pooling layers and figure out the criteria for designing an effective downsampling layer. According to this analysis, we propose a conceptually simple, general, and effective pooling layer based on local importance modeling, termed as {\em Local Importance-based Pooling} (LIP). LIP can automatically enhance discriminative features during the downsampling procedure by learning adaptive importance weights based on inputs. Experiment results show that LIP consistently yields notable gains with different depths and different architectures on ImageNet classification. In the challenging MS COCO dataset, detectors with our LIP-ResNets as backbones obtain a consistent improvement ($\ge 1.4\%$) over the vanilla ResNets, and especially achieve the current state-of-the-art performance in detecting small objects under the single-scale testing scheme.


title: Sequential hyperon decays in the reaction $e^+e^-\rightarrow\Sigma^0\bar{\Sigma}^0$

abstract: We report on a study of the sequential hyperon decay $\Sigma^0\rightarrow\Lambda \gamma;\Lambda\rightarrow p\pi^- $ and its corresponding anti-hyperon decay. We derive a multi-dimentional and model-independent formalism for the case when the hyperons are produced in the reaction $e^+e^-\rightarrow\Sigma^0\bar{\Sigma}^0$. Cross-section distributions are calculated using the folding technique. We also study sequential decays of single-tagged hyperons.


title: A hybrid approach to extending selected configuration interaction and full configuration interaction quantum Monte Carlo

abstract: We present an approach to combining selected configuration interaction (SCI) and initiator full configuration interaction quantum Monte Carlo (i-FCIQMC). In the current i-FCIQMC scheme, the space of initiators is chosen dynamically by a population threshold. Here, we instead choose initiators as the selected space (V) from a prior SCI calculation, allowing substantially larger initiator spaces for a given walker population. While SCI+PT2 adds a perturbative correction in the first-order interacting space (FOIS) beyond V, the approach presented here allows a variational calculation in the same space, and a perturbative correction in the second-order interacting space. The use of a fixed initiator space reintroduces population plateaus into FCIQMC, but it is shown that the plateau height is typically only a small multiple of the size of V. Thus, for a comparable fundamental memory cost to SCI+PT2, a substantially larger space can be sampled. The resulting method can be seen as a complementary approach to SCI+PT2, which is more accurate but slower for a common selected/initiator space. More generally, our results show that approaches exist to significantly improve initiator energies in i-FCIQMC, while still ameliorating the fermion sign problem relative to the original FCIQMC method.


title: On a system of Schr\"odinger equations with general quadratic-type nonlinearities

abstract: In this work we study a system of Schr\"odinger equations involving nonlinearities with quadratic growth. We establish sharp criterion concerned with the dichotomy global existence versus blow-up in finite time. Such a criterion is given in terms on the ground state solutions associated with the corresponding elliptic system, which in turn are obtained by applying variational methods. By using the concentration-compactness method we also investigate the nonlinear stability/instability of the ground states.


title: Operational vs. Umbral Methods and Borel Transform

abstract: Differintegral methods, currently exploited in calculus, provide a fairly unexhausted source of tools to be applied to a wide class of problems involving the theory of special functions and not only. The use of integral transforms of Borel type and the associated formalism will be shown to be an effective means, allowing a link between umbral and operational methods. We merge these two points of view to get a new and efficient method to obtain integrals of special functions and the summation of the associated generating functions as well.


title: Crystal Symmetry and Polarization of High-order Harmonics in ZnO

abstract: We carried out a joint theoretical and experimental study of the polarization of high-order harmonics generated from ZnO by intense infrared laser pulses. Experimentally we found that the dependence of parallel and perpendicular polarizations on the crystal orientation for all odd harmonics are nearly identical, but they are quite different from even harmonics which also show little order dependence. A one-dimensional two-band model, combined with a linear coupled excitation model, is shown to be able to explain the observed polarization behavior, including low-order harmonics. We further note that the same odd/even order contrast have been reported in a number of other crystals, despite that the harmonics were perceived to be generated via entirely different mechanisms. We demonstrated that this universality is governed by crystal symmetry, not by specific mechanisms. Thus, polarization measurements of harmonics offers a powerful pure optical method for determining the crystal axes as well as monitoring their ultrafast changes when crystals are undergoing deformation. In addition, the ellipticity of harmonic has been studied. It shows that ellipticity of high-order harmonics from solids can be tuned precisely by changing the bond structure of the sample.


title: Channel Estimation for MIMO Hybrid Architectures with Low Resolution ADCs for mmWave Communication

abstract: Hybrid analog/digital architectures and receivers with low-resolution analog-to-digital converters (ADCs) are two low power solutions for wireless systems with large antenna arrays. Most prior work represents two extreme cases in which either a small number of radio frequency (RF) chains with full-resolution ADCs, or low-resolution ADC with a number of RF chains equal to the number of antennas is assumed. In this paper, a generalized hybrid architecture with a small number of RF chains and a finite number of ADC bits is proposed. In such a system, the received signal suffers from two compression stages. One is due to the analog processing stage and the reduced number of RF chains, while the other is a result of signal quantization by the ADC converters. The compression steps both complicate the estimation of the MIMO channel. In this paper, we propose an off grid compressive channel estimator that exploits the sparse structure of the millimeter wave channel to compensate for the loss of information inheren to the proposed architecture.


title: Measurement of the Extragalactic Background Light with VERITAS

abstract: The extragalactic background light records the history of infrared, optical and ultraviolet light radiation including re-radiation since the epoch of reionization. While challenging to measure directly, it can be measured indirectly via its impact on observed spectra of extragalactic gamma-ray emitters. VERITAS, a ground-based imaging atmospheric-Cherenkov telescope array sensitive to gamma rays above 100 GeV, has accrued 10 years of observations of hard-spectrum blazars. The energy and redshift range covered enables the measurement of the EBL in the range 0.56-56~$\mu$m, accessing the poorly constrained cosmic infrared background region. New constraints on the EBL resulting from the joint analysis using 16 spectra from 14 VERITAS-observed blazars will be presented. The method is independent of assumptions about the shape of the EBL spectrum, and includes a full treatment of systematic and statistical uncertainties. The measured spectrum is in good agreement with lower limits from galaxy counts, limiting the potential contribution from a diffuse component.


title: Set-valued Rothe Tableaux and Grothendieck Polynomials

abstract: The notion of set-valued Young tableaux was introduced by Buch in his study of the Littlewood-Richardson rule for stable Grothendieck polynomials. Knutson, Miller and Yong showed that the double Grothendieck polynomials of 2143-avoiding permutations can be generated by set-valued Young tableaux. In this paper, we introduce the structure of set-valued Rothe tableaux of permutations. Given the Rothe diagram $D(w)$ of a permutation $w$, a set-valued Rothe tableau of shape $D(w)$ is a filling of finite nonempty subsets of positive integers into the squares of $D(w)$ such that the rows are weakly decreasing and the columns are strictly increasing. We show that the double Grothendieck polynomials of 1432-avoiding permutations can be generated by set-valued Rothe tableaux. When restricted to 321-avoiding permutations, our formula specializes to the tableau formula for double Grothendieck polynomials due to Matsumura. Employing the properties of tableau complexes given by Knutson, Miller and Yong, we obtain two alternative tableau formulas for the double Grothendieck polynomials of 1432-avoiding permutations.


title: X-ray and TeV gamma-ray emission from the 50-year period binary system PSR J2032+4127/MT91 213

abstract: We report on X-ray and TeV gamma-ray observations of the pulsar/Be star binary PSR J2032+4127/MT91 213. PSR J2032+4127 is a 143-ms gamma-ray pulsar which shares a long period (45-50 year) and highly eccentric orbit with the massive Be star MT91 213. TeV gamma-ray emission was detected from the binary following a coordinated observing campaign over the fall 2017 periastron with VERITAS, MAGIC, and X-ray monitoring with Swift-XRT. The discovery of this gamma-ray binary makes it just the second such source known to contain a pulsar as the compact object. We report on over 100 hours of extensive TeV observations across the periastron passage, which reveal variations in the TeV flux by an order of magnitude over time scales of days. The X-ray flux was also found to be highly variable, although it was not directly correlated with the TeV flux. These observations present serious challenges to existing models of the system, which will require significant revisions. We also discuss the steady and extended TeV source TeV J2032+4130, which lies in the same direction as the binary system, and its potential association with the pulsar.