title: Binding energy of bipartite quantum systems: Interaction, correlations, and tunneling

abstract: We provide a physically motivated definition for the binding energy (or bond-dissociation) of a bipartite quantum system. We consider coherently applying an external field to cancel out the interaction between the subsystems, to break their bond and separate them as systems from which no work can be extracted coherently by any cyclic evolution. The minimum difference between the average energies of the initial and final states obtained this way is defined as the binding energy of the bipartite system. We show the final optimal state is a passive state. We also discuss how required evolution can be realized through a sequence of control pulses. We illustrate utility of our definition through two examples. In particular, we also show how quantum tunneling can assist or enhance bond-breaking process. This extends our definition to probabilistic events.


title: Large-scale molecular dynamics investigation of geometrical features in nanoporous Si

abstract: Nanoporous materials are of broad interest for various applications, in particular advanced thermoelectric materials. The introduction of nanoscale porosity, even at modest levels, has been known to drastically reduce a materials thermal conductivity, in some cases even below its amorphous limit, thereby significantly increasing its thermoelectric figure of merit, ZT. The details of the important attributes that drive these large reductions, however, are not yet clear. In this work, we employ large-scale equilibrium molecular dynamics to perform an exhaustive atomistic-scale investigation of the effect of porosity on thermal transport in nanoporous bulk silicon. Thermal transport is computed for over 50 different geometries, spanning a large number of geometrical degrees of freedom, such as cylindrical pores and voids, different porosities, diameters, neck sizes, pore/void numbers, and surface-to-volume ratios, placed in ordered fashion, or fully disordered. We thus quantify and compare the most important parameters that determine the thermal conductivity reductions in nanoporous materials. Ultimately, we find that, even at the nanoscale, the effect of merely reducing the line-of-sight of phonons, i.e. the clear pathways that phonons can utilize during transport, plays the most crucial role in reducing the thermal conductivity in nanoporous materials, beyond other metrics such as porosity and surface/boundary scattering.


title: Stability of the Denjoy-Wolff Theorem

abstract: The Denjoy-Wolff theorem is a foundational result in complex dynamics, which describes the dynamical behaviour of the sequence of iterates of a holomorphic self-map $f$ of the unit disc $\mathbb{D}$. Far less well understood are nonautonomous dynamical systems $F_n=f_n\circ f_{n-1} \circ \dots \circ f_1$ and $G_n=g_1\circ g_{2} \circ \dots \circ g_n$, for $n=1,2,\dotsc$, where $f_i$ and $g_j$ are holomorphic self-maps of $\mathbb{D}$. Here we obtain a thorough understanding of such systems $(F_n)$ and $(G_n)$ under the assumptions that $f_n\to f$ and $g_n\to f$. We determine when the dynamics of $(F_n)$ and $(G_n)$ mirror that of $(f^n)$, as specified by the Denjoy-Wolff theorem, thereby providing insight into the stability of the Denjoy-Wolff theorem under perturbations of the map $f$.


title: The parallelism between galaxy clusters and early-type galaxies: II. Clues on the origin of the scaling relations

abstract: Context. This is the second work dedicated to the observed parallelism between galaxy clusters and early-type galaxies. The focus is on the distribution of these systems in the scaling relations (SRs) observed when effective radii, effective surface brightness, total luminosities and velocity dispersions are mutually correlated. Aims. Using the data of the Illustris simulation we try to speculate on the origin of the observed SRs. Methods. We compare the observational SRs extracted from the database of the WIde-field Nearby Galaxy-cluster Survey (WINGS) with the relevant parameters coming from the Illustris simulations. Then we use the simulated data at different redshift to infer the evolution of the SRs. Results. The comparison demonstrate that galaxy clusters (GCs) at z~0 follow the same log(L)-log(sigma) relation of early-type galaxies (ETGs) and that both in the log(Ie)-log(Re) and log(Re)-log(M*) planes the distribution of GCs is along the sequence defined by the brightest and massive early-type galaxies (BCGs). The Illustris simulation reproduces the tails of the massive galaxies visible both in the log(Ie)-log(Re) and log(Re)-log(M*) planes, but fail to give the correct estimate of the effective radii of the dwarf galaxies that appear too large and those of GCs that are too small. The evolution of the SRs up to z=4 permits to reveal the complex evolutionary paths of galaxies in the SRs and indicate that the line marking the Zone of Exclusion (ZoE), visible both in the log(Ie)-log(Re) and log(Re)-log(M*) planes, is the trend followed by virialized and passively evolving systems. Conclusions. We speculate that the observed SRs originate from the intersection of the virial theorem and a relation L=L_0 x sigma^beta where the luminosities depend on the star formation history.


title: Inhomogeneous micro-strain in cylindrical semiconductor heterostructures and its influence on the adiabatic motion of electrons

abstract: We analyze fluctuation of the layer thicknesses and its influence on the strain state of (In,Ga)As/(Al,Ga)As micro-tubes containing quantum well structures. In those structures a curved high-mobility two-dimensional electron gas (HM2DEG) is established. The layer thickness fluctuation studied by atomic force microscopy, x-ray scattering, and spatially resolved cathodoluminescence spectroscopy occurs on two different lateral length scales. On the shorter length scale of about 0.01~$\mu$m, we found from atomic force micrographs and the broadening of the satellite maxima in x-ray diffraction curves a very small value of the mean square roughness of 0.1~nm. However, on a longer length scale of about 1.0~$\mu$m, step bunching during epitaxial growth resulted in layer thickness inhomogeneities of up to 2~nm. The resulting fluctuation of the strain in the micro-tubes leads to a local variation of the chemical potential, which results in the fluctuation of the carrier density as well. This leads to a phase cancelation of the Shubnikov-de-Haas oscillations in the curved HM2DEG and a reduction of the single-electron scattering time, while the electron mobility in the structures remains high. The estimated fluctuation of the carrier density agrees well with the energy fluctuation measured in the cathodoluminescence spectra of the free-electron transition of the quantum well.


title: Emotion Detection in Text: Focusing on Latent Representation

abstract: In recent years, emotion detection in text has become more popular due to its vast potential applications in marketing, political science, psychology, human-computer interaction, artificial intelligence, etc. In this work, we argue that current methods which are based on conventional machine learning models cannot grasp the intricacy of emotional language by ignoring the sequential nature of the text, and the context. These methods, therefore, are not sufficient to create an applicable and generalizable emotion detection methodology. Understanding these limitations, we present a new network based on a bidirectional GRU model to show that capturing more meaningful information from text can significantly improve the performance of these models. The results show significant improvement with an average of 26.8 point increase in F-measure on our test data and 38.6 increase on the totally new dataset.


title: Imaging Through Noise With Quantum Illumination

abstract: The contrast of an image can be degraded by the presence of background light and sensor noise. To overcome this degradation, quantum illumination protocols have been theorised (Science 321 (2008), Physics Review Letters 101 (2008)) that exploit the spatial correlations between photon-pairs. Here we demonstrate the first full-field imaging system using quantum illumination, by an enhanced detection protocol. With our current technology we achieve a rejection of background and stray light of order 5 and also report an image contrast improvement up to a factor of 5.5, which is resilient to both environmental noise and transmission losses. The quantum illumination protocol differs from usual quantum schemes in that the advantage is maintained even in the presence of noise and loss. Our approach may enable laboratory-based quantum imaging to be applied to real-world applications where the suppression of background light and noise is important, such as imaging under low-photon flux and quantum LIDAR.


title: A note on the complexity of a phaseless polynomial interpolation

abstract: In this paper we revisit the classical problem of polynomial interpolation, with a slight twist; namely, polynomial evaluations are available up to a group action of the unit circle on the complex plane. It turns out that this new setting allows for a phaseless recovery of a polynomial in a polynomial time.


title: Pair production of scalars around near-extremal Kerr-Sen black holes

abstract: We investigate the charged scalar pair production near the horizon of a near-extremal Kerr-Sen black holes. The condition for pair production to occur has relation to the violation of Breitenlohner-Freedman bound in an AdS$_2$ space. The method employed in this work has been used to show the pair production in the near-horizon of a near-extremal Kerr-Newman black hole and its non-rotating case as well. We also discuss the static limit of our result.


title: Energy-conservation constraints on cosmic string loop production and distribution functions

abstract: A network of cosmic strings would lead to gravitational waves which may be detected by pulsar timing or future interferometers. The details of the gravitational wave signal depend on the distribution of cosmic string loops, which are produced by intercommutations from the scaling network of long strings. We analyze the limits imposed by energy conservation, i.e., by the fact that the total amount of string flowing into loops cannot exceed the amount leaving the long strings. We show that some recent suggestions for the cosmic string loop production rate and distribution are ruled out by these limits. As a result, gravitational waves based on such suggestions, in particular "model 3" used in LIGO data analysis, are not to be expected.


title: On the classification of graded twisted planes

abstract: We use a representation of a graded twisted tensor product of $K[x]$ with $K[y]$ in $L(K^{\Bbb{N}_0})$ in order to obtain a nearly complete classification of these graded twisted tensor products via infinite matrices. There is one particular example and three main cases: quadratic algebras classified by Conner and Goetz, a family called $A(n,d,a)$ with the $n+1$-extension property for $n\ge 2$, and a third case, not fully classified, which contains a family $B(a,L)$ parameterized by quasi-balanced sequences.


title: DeepOrganNet: On-the-Fly Reconstruction and Visualization of 3D / 4D Lung Models from Single-View Projections by Deep Deformation Network

abstract: This paper introduces a deep neural network based method, i.e., DeepOrganNet, to generate and visualize high-fidelity 3D / 4D organ geometric models from single-view medical image in real time. Traditional 3D / 4D medical image reconstruction requires near hundreds of projections, which cost insufferable computational time and deliver undesirable high imaging / radiation dose to human subjects. Moreover, it always needs further notorious processes to extract the accurate 3D organ models subsequently. To our knowledge, there is no method directly and explicitly reconstructing multiple 3D organ meshes from a single 2D medical grayscale image on the fly. Given single-view 2D medical images, e.g., 3D / 4D-CT projections or X-ray images, our end-to-end DeepOrganNet framework can efficiently and effectively reconstruct 3D / 4D lung models with a variety of geometric shapes by learning the smooth deformation fields from multiple templates based on a trivariate tensor-product deformation technique, leveraging an informative latent descriptor extracted from input 2D images. The proposed method can guarantee to generate high-quality and high-fidelity manifold meshes for 3D / 4D lung models. The major contributions of this work are to accurately reconstruct the 3D organ shapes from 2D single-view projection, significantly improve the procedure time to allow on-the-fly visualization, and dramatically reduce the imaging dose for human subjects. Experimental results are evaluated and compared with the traditional reconstruction method and the state-of-the-art in deep learning, by using extensive 3D and 4D examples from synthetic phantom and real patient datasets. The proposed method only needs several milliseconds to generate organ meshes with 10K vertices, which has a great potential to be used in real-time image guided radiation therapy (IGRT).


title: CUPID pre-CDR

abstract: CUPID is a proposed future tonne-scale bolometric neutrinoless double beta decay ($0\nu\beta\beta$) experiment to probe the Majorana nature of neutrinos and discover Lepton Number Violation in the so-called inverted hierarchy region of the neutrino mass. CUPID will be built on experience, expertise and lessons learned in CUORE, and will exploit the current CUORE infrastructure as much as possible. In order to achieve its ambitious science goals, CUPID aims to dramatically reduce the backgrounds in the region of interest introducing a high efficiently $\alpha$/$\beta$ discrimination techniques, also demonstrated by the CUPID-0 and CUPID-Mo experiments, and using a high transition energy double beta decay nucleus, $^{100}$Mo. This document describe the main concepts related with the design of the CUPID experiment and indicates the projected sensitivities and the global scientific goal of the experiment.


title: Discrete Eulerian model for population genetics and dynamics under flow

abstract: Marine species reproduce and compete while being advected by turbulent flows. It is largely unknown, both theoretically and experimentally, how population dynamics and genetics are changed by the presence of fluid flows. Discrete agent-based simulations in continuous space allow for accurate treatment of advection and number fluctuations, but can be computationally expensive for even modest organism densities. In this report, we propose an algorithm to overcome some of these challenges. We first provide a thorough validation of the algorithm in one and two dimensions without flow. Next, we focus on the case of weakly compressible flows in two dimensions. This models organisms such as phytoplankton living at a specific depth in the three-dimensional, incompressible ocean experiencing upwelling and/or downwelling events. We show that organisms born at sources in a two-dimensional time-independent flow experience an increase in fixation probability.


title: On an equation characterizing multi-cubic mappings and its stability and hyperstability

abstract: In this paper, we introduce $n$-variables mappings which are cubic in each variable. We show that such mappings satisfy a functional equation. The main purpose is to extend the applications of a fixed point method to establish the Hyers-Ulam stability for the multi-cubic mappings. As a consequence, we prove that a multi-cubic functional equation can be hyperstable.


title: Development and characterization of six-gap glass MRPCs and feasibility study of a PET device

abstract: The Multigap Resistive Plate Chambers (MRPCs) provide excellent timing as well as position resolutions at relatively low cost. Therefore, they can be used in medical imaging applications such as PET where precise timing is a crucial parameter of measurement. We have designed and fabricated several six-gap glass MRPCs and extensively studied their performance. In this paper, we describe the fabrication and characterization of the detector, the electronics and the data acquisition system of the setup. We present here the result of our Time Of Flight (TOF) experiment using a radioactive source Na-22 hence to demonstrate their potential applications in medical imaging. We also present the Geant4 based simulation results on the efficiency of our detector as a function of the number of gaps and thickness of the converter material.


title: DeepIris: Iris Recognition Using A Deep Learning Approach

abstract: Iris recognition has been an active research area during last few decades, because of its wide applications in security, from airports to homeland security border control. Different features and algorithms have been proposed for iris recognition in the past. In this paper, we propose an end-to-end deep learning framework for iris recognition based on residual convolutional neural network (CNN), which can jointly learn the feature representation and perform recognition. We train our model on a well-known iris recognition dataset using only a few training images from each class, and show promising results and improvements over previous approaches. We also present a visualization technique which is able to detect the important areas in iris images which can mostly impact the recognition results. We believe this framework can be widely used for other biometrics recognition tasks, helping to have a more scalable and accurate systems.


title: Visualizing the Invisible: Occluded Vehicle Segmentation and Recovery

abstract: In this paper, we propose a novel iterative multi-task framework to complete the segmentation mask of an occluded vehicle and recover the appearance of its invisible parts. In particular, to improve the quality of the segmentation completion, we present two coupled discriminators and introduce an auxiliary 3D model pool for sampling authentic silhouettes as adversarial samples. In addition, we propose a two-path structure with a shared network to enhance the appearance recovery capability. By iteratively performing the segmentation completion and the appearance recovery, the results will be progressively refined. To evaluate our method, we present a dataset, the Occluded Vehicle dataset, containing synthetic and real-world occluded vehicle images. We conduct comparison experiments on this dataset and demonstrate that our model outperforms the state-of-the-art in tasks of recovering segmentation mask and appearance for occluded vehicles. Moreover, we also demonstrate that our appearance recovery approach can benefit the occluded vehicle tracking in real-world videos.


title: Domain-Specific Priors and Meta Learning for Few-Shot First-Person Action Recognition

abstract: The lack of large-scale real datasets with annotations makes transfer learning a necessity for video activity understanding. We aim to develop an effective method for few-shot transfer learning for first-person action classification. We leverage independently trained local visual cues to learn representations that can be transferred from a source domain, which provides primitive action labels, to a different target domain using only a handful of examples. Visual cues we employ include object-object interactions, hand grasps and motion within regions that are a function of hand locations. We employ a framework based on meta-learning to extract the distinctive and domain invariant components of the deployed visual cues. This enables transfer of action classification models across public datasets captured with diverse scene and action configurations. We present comparative results of our transfer learning methodology and report superior results over state-of-the-art action classification approaches for both inter-class and inter-dataset transfer.


title: Reflection positivity on spheres

abstract: In this article we specialize a construction of a reflection positive Hilbert space due to Dimock and Jaffe--Ritter to the sphere $\mathbb{S}^n$. We determine the resulting Osterwalder--Schrader Hilbert space, a construction that can be viewed as the step from euclidean to relativistic quantum field theory. We show that this process gives rise to an irreducible unitary spherical representation of the orthochronous Lorentz group $G^c = \mathrm{O}_{1,n}(\mathbb{R})^{\uparrow}$ and that the representations thus obtained are the irreducible unitary spherical representations of this group. A key tool is a certain complex domain $\Xi$, known as the crown of the hyperboloid, containing a half-sphere $\mathbb{S}^n_+$ and the hyperboloid $\mathbb{H}^n$ as totally real submanifolds. This domain provides a bridge between those two manifolds when we study unitary representations of $G^c$ in spaces of holomorphic functions on $\Xi$. We connect this analysis with the boundary components which are the de Sitter space and the Lorentz cone of future pointing light like vectors.


title: Search for Eccentric Binary Black Hole Mergers with Advanced LIGO and Advanced Virgo during their First and Second Observing Runs

abstract: When formed through dynamical interactions, stellar-mass binary black holes may retain eccentric orbits ($e>0.1$ at 10 Hz) detectable by ground-based gravitational-wave detectors. Eccentricity can therefore be used to differentiate dynamically-formed binaries from isolated binary black hole mergers. Current template-based gravitational-wave searches do not use waveform models associated to eccentric orbits, rendering the search less efficient to eccentric binary systems. Here we present results of a search for binary black hole mergers that inspiral in eccentric orbits using data from the first and second observing runs (O1 and O2) of Advanced LIGO and Advanced Virgo. The search uses minimal assumptions on the morphology of the transient gravitational waveform. We show that it is sensitive to binary mergers with a detection range that is weakly dependent on eccentricity for all bound systems. Our search did not identify any new binary merger candidates. We interpret these results in light of eccentric binary formation models.


title: A note on sets avoiding rational distances

abstract: In this paper we shall give a short proof of the result originally obtained by Ashutosh Kumar that for each $A\subset \mathbb{R}$ there exists $B\subset A$ full in $A$ such that no distance between two distinct points from $B$ is rational. We will construct a Bernstein subset of $\mathbb{R}$ which also avoids rational distances. We will show some cases in which the former result may be extended to subsets of $\mathbb{R}^2$, i. e. it remains true for measurable subsets of the plane and if $non(\mathcal{N})=cof(\mathcal{N})$ then for a given set of positive outer measure we may find its full subset which is a partial bijection and avoids rational distances.


title: Measuring all compatible operators in one series of a single-qubit measurements using unitary transformations

abstract: The Variational Quantum Eigensolver approach to the electronic structure problem on a quantum computer involves measurement of the Hamiltonian expectation value. Formally, quantum mechanics allows one to measure all mutually commuting or compatible operators simultaneously. Unfortunately, the current hardware permits measuring only a much more limited subset of operators that share a common tensor product eigen-basis. We introduce unitary transformations that transform any fully commuting group of operators to a group that can be measured on current hardware. These unitary operations can be encoded as a sequence of Clifford gates and let us not only measure much larger groups of terms but also to obtain these groups efficiently on a classical computer. The problem of finding the minimum number of fully commuting groups of terms covering the whole Hamiltonian is found to be equivalent to the minimum clique cover problem for a graph representing Hamiltonian terms as vertices and commutativity between them as edges. Tested on few molecular electronic Hamiltonians with up to 50 thousand terms, the introduced technique allows for the reduction of the number of separately measurable operator groups down to few hundreds, thus achieving up to 2 orders of magnitude reduction. It was also shown that this gain scales at least linearly with the number of qubits.


title: Application of Data Stream Processing Technologies in Industry 4.0 -- What is Missing?

abstract: Industry 4.0 is becoming more and more important for manufacturers as the developments in the area of Internet of Things advance. Another technology gaining more attention is data stream processing systems. Although such streaming frameworks seem to be a natural fit for Industry 4.0 scenarios, their application in this context is still low. The contributions in this paper are threefold. Firstly, we present industry findings that we derived from site inspections with a focus on Industry 4.0. Moreover, our view on Industry 4.0 and important related aspects is elaborated. As a third contribution, we illustrate our opinion on why data stream processing technologies could act as an enabler for Industry 4.0 and point out possible obstacles on this way.


title: Fundamental Group Schemes of $n$-fold Symmetric Product of a Smooth Projective Curve

abstract: Let $k$ be an algebraically closed field of characteristic $p > 0$. Let $X$ be an irreducible smooth projective curve of genus $g$ over $k$. Fix an integer $n \geq 2$, and let $S^n(X)$ be the $n$-fold symmetric product of $X$. In this article we find the $S$-fundamental group scheme and Nori's fundamental group scheme of $S^n(X)$.


title: Frequency-dependent higher-order Stokes singularities near a planar elastic boundary: implications for the hydrodynamics of an active microswimmer near an elastic interface

abstract: The emerging field of self-driven active particles in fluid environments has recently created significant interest in the biophysics and bioengineering communities owing to their promising future biomedical and technological applications. These microswimmers move autonomously through aqueous media where under realistic situations they encounter a plethora of external stimuli and confining surfaces with peculiar elastic properties. Based on a far-field hydrodynamic model, we present an analytical theory to describe the physical interaction and hydrodynamic couplings between a self-propelled active microswimmer and an elastic interface that features resistance toward shear and bending. We model the active agent as a superposition of higher-order Stokes singularities and elucidate the associated translational and rotational velocities induced by the nearby elastic boundary. Our results show that the velocities can be decomposed in shear and bending related contributions which approach the velocities of active agents close to a no-slip rigid wall in the steady limit. The transient dynamics predict that contributions to the velocities of the microswimmer due to bending resistance are generally more pronounced than to shear resistance. Our results provide insight into the control and guidance of artificial and synthetic self-propelling active microswimmers near elastic confinements.


title: Investigating the Origins of Spiral Structure in Disk Galaxies through a Multiwavelength Study

abstract: The density-wave theory of spiral structure proposes that star formation occurs in or near a spiral-shaped region of higher density that rotates rigidly within the galactic disk at a fixed pattern speed. In most interpretations of this theory, newborn stars move downstream of this position as they come into view, forming a downstream spiral which is tighter, with a smaller pitch angle than that of the density wave itself. Rival theories, including theories which see spiral arms as essentially transient structures, may demand that pitch angle should not depend on wavelength. We measure the pitch angle of a large sample of galaxies at several wavelengths associated with star formation or very young stars (8.0 {\mu}m, H-{\alpha} line and 151 nm in the far-UV) and show that they all have the same pitch angle, which is larger than the pitch angle measured for the same galaxies at optical and near-infrared wavelengths. Our measurements in the B band and at 3.6 {\mu}m have unambiguously tighter spirals than the starforming wavelengths. In addition, we have measured in the u-band, which seems to fall midway between these two extremes. Thus, our results are consistent with a region of enhanced stellar light situated downstream of a starforming region.


title: Polynomial Reduction and Super Congruences

abstract: Based on a reduction processing, we rewrite a hypergeometric term as the sum of the difference of a hypergeometric term and a reduced hypergeometric term (the reduced part, in short). We show that when the initial hypergeometric term has a certain kind of symmetry, the reduced part contains only odd or even powers. As applications, we derived two infinite families of super-congruences.


title: Spin-lattice and electron-phonon coupling in 3$d$/5$d$ hybrid Sr$_3$NiIrO$_6$

abstract: While 3$d$-containing materials display strong electron correlations, narrow band widths, and robust magnetism, 5$d$ systems are recognized for strong spin-orbit coupling, increased hybridization, and more diffuse orbitals. Combining these properties leads to novel behavior. Sr$_3$NiIrO$_6$, for example, displays complex magnetism and ultra-high coercive fields - up to an incredible 55~T. Here, we combine infrared and optical spectroscopies with high-field magnetization and first principles calculations to explore the fundamental excitations of the lattice and related coupling processes including spin-lattice and electron-phonon mechanisms. Magneto-infrared spectroscopy reveals spin-lattice coupling of three phonons that modulate the Ir environment to reduce the energy required to modify the spin arrangement. While these modes primarily affect exchange within the chains, analysis also uncovers important inter-chain motion. This provides a mechanism by which inter-chain interactions can occur in the developing model for ultra-high coercivity. At the same time, analysis of the on-site Ir$^{4+}$ excitations reveals vibronic coupling and extremely large crystal field parameters that lead to a t$_{2g}$-derived low-spin state for Ir. These findings highlight the spin-charge-lattice entanglement in Sr$_3$NiIrO$_6$ and suggest that similar interactions may take place in other 3$d$/5$d$ hybrids.


title: Double Polarization Observables in Pentaquark Photoproduction

abstract: We investigate the properties of the hidden charm pentaquark-like resonances first observed by LHCb in 2015, by measuring the polarization transfer KLL between the incident photon and the outgoing proton in the exclusive photoproduction of J/psi near threshold. We present a first estimate of the sensitivity of this observable to the pentaquark photocouplings and hadronic branching ratios, and extend our predictions to the case of initial state helicity correlation ALL, using a polarized target. These results serve as a benchmark for the SBS experiment at Jefferson Lab, which proposes to measure for the first time the helicity correlations ALL and KLL in J/psi exclusive photoproduction, in order to determine the pentaquark photocouplings and branching ratios.


title: Markerless Augmented Advertising for Sports Videos

abstract: Markerless augmented reality can be a challenging computer vision task, especially in live broadcast settings and in the absence of information related to the video capture such as the intrinsic camera parameters. This typically requires the assistance of a skilled artist, along with the use of advanced video editing tools in a post-production environment. We present an automated video augmentation pipeline that identifies textures of interest and overlays an advertisement onto these regions. We constrain the advertisement to be placed in a way that is aesthetic and natural. The aim is to augment the scene such that there is no longer a need for commercial breaks. In order to achieve seamless integration of the advertisement with the original video we build a 3D representation of the scene, place the advertisement in 3D, and then project it back onto the image plane. After successful placement in a single frame, we use homography-based, shape-preserving tracking such that the advertisement appears perspective correct for the duration of a video clip. The tracker is designed to handle smooth camera motion and shot boundaries.


title: Mining Temporal Evolution of Knowledge Graph and Genealogical Features for Literature-based Discovery Prediction

abstract: Literature-based knowledge discovery process identifies the important but implicit relations among information embedded in published literature. Existing techniques from Information Retrieval and Natural Language Processing attempt to identify the hidden or unpublished connections between information concepts within published literature, however, these techniques undermine the concept of predicting the future and emerging relations among scientific knowledge components encapsulated within the literature. Keyword Co-occurrence Network (KCN), built upon author selected keywords (i.e., knowledge entities), is considered as a knowledge graph that focuses both on these knowledge components and knowledge structure of a scientific domain by examining the relationships between knowledge entities. Using data from two multidisciplinary research domains other than the medical domain, capitalizing on bibliometrics, the dynamicity of temporal KCNs, and a Long Short Term Memory recurrent neural network, this study proposed a framework to successfully predict the future literature-based discoveries - the emerging connections among knowledge units. Framing the problem as a dynamic supervised link prediction task, the proposed framework integrates some novel node and edge-level features. Temporal importance of keywords computed from both bipartite and unipartite networks, communities of keywords, built upon genealogical relations, and relative importance of temporal citation counts used in the feature construction process. Both node and edge-level features were input into an LSTM network to forecast the feature values for positive and negatively labeled non-connected keyword pairs and classify them accurately. High classification performance rates suggest that these features are supportive both in predicting the emerging connections between scientific knowledge units and emerging trend analysis.


title: Some scalar curvature warped product splitting theorems

abstract: We present several rigidity results for Riemannian manifolds $(M^n,g)$ with scalar curvature $S \ge -n(n-1)$ (or $S\ge 0$), and having compact boundary $N$ satisfying a related mean curvature inequality. The proofs make use of results on marginally outer trapped surfaces applied to appropriate initial data sets. One of the results involves an analysis of Obata's equation on manifolds with boundary. This result is relevant to recent work of Lan-Hsuan Huang and the second author concerning the rigidity of asymptotically locally hyperbolic manifolds with zero mass.


title: Time Optimal Quantum Control of Spinor States

abstract: An analysis of the motion of a relativistic electron under a linear constraint in four dimensions is presented. Interesting results are given that show that the state of the electron is well defined under the formalism of time optimal quantum state control. We establish compact mechanisms for achieving time dependent unitary evolution, and present new calculation methods for time-ordered exponential operators. A powerful modification of the brachistochrone technique is presented that allows solution of a class of problems via matrix decomposition of the Hamiltonian. These techniques allow us to arrive at a series of solutions for quantum systems that have readily accessible physical realisations. We contrast the output of the theory when constrained to a relativistic space-time to that of other physical systems of lower dimensionality. Some comment is given regarding hypercomplex numbers and their application in quantum mechanics.


title: Morrey spaces for Schr\"odinger operators with certain nonnegative potentials, Littlewood-Paley and Lusin functions on the Heisenberg groups

abstract: Let $\mathcal L=-\Delta_{\mathbb H^n}+V$ be a Schr\"odinger operator on the Heisenberg group $\mathbb H^n$, where $\Delta_{\mathbb H^n}$ is the sublaplacian on $\mathbb H^n$ and the nonnegative potential $V$ belongs to the reverse H\"older class $RH_q$ with $q\geq Q/2$. Here $Q=2n+2$ is the homogeneous dimension of $\mathbb H^n$. Assume that $\{e^{-s\mathcal L}\}_{s>0}$ is the heat semigroup generated by $\mathcal L$. The Littlewood-Paley function $\mathfrak{g}_{\mathcal L}$ and the Lusin area integral $\mathcal{S}_{\mathcal L}$ associated with the Schr\"odinger operator $\mathcal L$ are defined, respectively, by \begin{equation*} \mathfrak{g}_{\mathcal L}(f)(u) := \bigg(\int_0^{\infty}\bigg|s\frac{d}{ds} e^{-s\mathcal L}f(u) \bigg|^2\frac{ds}{s}\bigg)^{1/2} \end{equation*} and \begin{equation*} \mathcal{S}_{\mathcal L}(f)(u) := \bigg(\iint_{\Gamma(u)} \bigg|s\frac{d}{ds} e^{-s\mathcal L}f(v) \bigg|^2 \frac{dvds}{s^{Q/2+1}}\bigg)^{1/2}, \end{equation*} where \begin{equation*} \Gamma(u) := \big\{(v,s)\in\mathbb H^n\times(0,\infty): |u^{-1}v| < \sqrt{s\,}\big\}. \end{equation*} In this paper the author first introduces a class of Morrey spaces associated with the Schr\"odinger operator $\mathcal L$ on $\mathbb H^n$. Then by using some pointwise estimates of the kernels related to the nonnegative potential $V$, the author establishes the boundedness properties of these two operators $\mathfrak{g}_{\mathcal L}$ and $\mathcal{S}_{\mathcal L}$ acting on the Morrey spaces. It can be shown that the same conclusions also hold for the operators $\mathfrak{g}_{\sqrt{\mathcal L}}$ and $\mathcal{S}_{\sqrt{\mathcal L}}$ with respect to the Poisson semigroup $\{e^{-s\sqrt{\mathcal L}}\}_{s>0}$.


title: G-uniform stability and K\"{a}hler-Einstein metrics on Fano varieties

abstract: Let $X$ be any $\mathbb{Q}$-Fano variety and $\mathrm{Aut}(X)_0$ be the identity component of the automorphism group of $X$. Let $\mathbb{G}$ be a connected reductive subgroup of $\mathrm{Aut}(X)_0$ that contains a maximal torus of $\mathrm{Aut}(X)_0$. We prove that $X$ admits a K\"{a}hler-Einstein metric if and only if $X$ is $\mathbb{G}$-uniformly K-stable. This proves a version of Yau-Tian-Donaldson conjecture for arbitrary singular Fano varieties. A key new ingredient is a valuative criterion for $\mathbb{G}$-uniform K-stability.


title: Laypunov Irregular Points With Distributional Chaos

abstract: It follows from Oseledec Multiplicative Ergodic Theorem (or Kingmans Subadditional Ergodic Theorem) that the Lyapunov-irregular set of points for which the Oseledec averages of a given continuous cocycle diverge has zero measure with respect to any invariant probability measure. In strong contrast, for any dynamical system f with exponential specification property and a Holder continuous matrix cocycle A, we show here that if there exist ergodic measures with different Lyapunov spectrum, then the Lyapunov-irregular set of A displays distributional chaos of type 1.


title: SpliceCombo: A Hybrid Technique efficiently use for Principal Component Analysis of Splice Site Prediction

abstract: The primary step in search of the gene prediction is an identification of the coding region from genomic DNA sequence. Gene structure in the case of a eukaryotic organism is composed of promoter, intron, start codon, exons, stop codon, etc. Splice site prediction, which separates the junction between exon and intron, though the sequence beside. The splice sites have huge preservation, however, the precision of the tool exhibits less than 90%. The main objective of this work to exhibits a hybrid technique that efficiently improves the existing gene recognition technique. Therefore to enhance the identification of splice sites, the respective algorithm needs to be improved. Over the last decade, the researcher paid more attention to improve the accuracy of a predicted model in this domain. Our proposed method, SpliceCombo involves three stages. At initial stage, which considers the principal Component Analysis, based on the feature extracted. In the intermediate stage, i.e.,, the second stage Case- Based Reasoning is done, i.e., feature selection. The third stage uses support vector machine based along with polynomial kernel function for final classification. In comparison with other methods, the proposed SpliceCombo model outperforms other prediction models with respect to prediction accuracies. Particularly for donor splice site the methodology exhibits sensitivity is 97.25% accurate and specificity is 97.46% accurate. For acceptor Splice Site the sensitivity is 96.51% and Specificity is 94.48% correct.


title: Abstract Solvers for Computing Cautious Consequences of ASP programs

abstract: Abstract solvers are a method to formally analyze algorithms that have been profitably used for describing, comparing and composing solving techniques in various fields such as Propositional Satisfiability (SAT), Quantified SAT, Satisfiability Modulo Theories, Answer Set Programming (ASP), and Constraint ASP. In this paper, we design, implement and test novel abstract solutions for cautious reasoning tasks in ASP. We show how to improve the current abstract solvers for cautious reasoning in ASP with new techniques borrowed from backbone computation in SAT, in order to design new solving algorithms. By doing so, we also formally show that the algorithms for solving cautious reasoning tasks in ASP are strongly related to those for computing backbones of Boolean formulas. We implement some of the new solutions in the ASP solver WASP and show that their performance are comparable to state-of-the-art solutions on the benchmark problems from the past ASP Competitions. Under consideration for acceptance in TPLP.


title: Stable solutions to semilinear elliptic equations are smooth up to dimension 9

abstract: In this paper we prove the following long-standing conjecture: stable solutions to semilinear elliptic equations are bounded (and thus smooth) in dimension $n \leq 9$. This result, that was only known to be true for $n\leq4$, is optimal: $\log(1/|x|^2)$ is a $W^{1,2}$ singular stable solution for $n\geq10$. The proof of this conjecture is a consequence of a new universal estimate: we prove that, in dimension $n \leq 9$, stable solutions are bounded in terms only of their $L^1$ norm, independently of the nonlinearity. In addition, in every dimension we establish a higher integrability result for the gradient and optimal integrability results for the solution in Morrey spaces. As one can see by a series of classical examples, all our results are sharp. Furthermore, as a corollary we obtain that extremal solutions of Gelfand problems are $W^{1,2}$ in every dimension and they are smooth in dimension $n \leq 9$. This answers to two famous open problems posed by Brezis and Brezis-V\'azquez.


title: Deep Learning Approaches for Image Retrieval and Pattern Spotting in Ancient Documents

abstract: This paper describes two approaches for content-based image retrieval and pattern spotting in document images using deep learning. The first approach uses a pre-trained CNN model to cope with the lack of training data, which is fine-tuned to achieve a compact yet discriminant representation of queries and image candidates. The second approach uses a Siamese Convolution Neural Network trained on a previously prepared subset of image pairs from the ImageNet dataset to provide the similarity-based feature maps. In both methods, the learned representation scheme considers feature maps of different sizes which are evaluated in terms of retrieval performance. A robust experimental protocol using two public datasets (Tobacoo-800 and DocExplore) has shown that the proposed methods compare favorably against state-of-the-art document image retrieval and pattern spotting methods.


title: A note on randomly colored matchings in random bipartite graphs

abstract: We are given a bipartite graph that contains at least one perfect matching and where each edge is colored from a set $Q=\{c_1,c_2,\ldots,c_q}\$. Let $Q_i=\set{e\in E(G):c(e)=c_i}$, where $c(e)$ denotes the color of $e$. The perfect matching color profile $mcp(G)$ is defined to be the set of vectors $(m_1,m_2,\ldots,m_q)\in [n]^q$ such that there exists a perfect matching $M$ such that $|M\cap Q_i|=m_i$. We give bounds on the matching color profile for a randomly colored random bipartite graph.


title: Structure Preserving Model Order Reduction of Shallow Water Equations

abstract: In this paper, we present two different approaches for constructing reduced-order models (ROMs) for the two-dimensional shallow water equation (SWE). The first one is based on the noncanonical Hamiltonian/Poisson form of the SWE. After integration in time by the fully implicit average vector field method, ROMs are constructed with proper orthogonal decomposition/discrete empirical interpolation method (POD/DEIM) that preserves the Hamiltonian structure. In the second approach, the SWE as a partial differential equation with quadratic nonlinearity is integrated in time by the linearly implicit Kahan's method and ROMs are constructed with the tensorial POD that preserves the linear-quadratic structure of the SWE. We show that in both approaches, the invariants of the SWE such as the energy, enstrophy, mass, and circulation are preserved over a long period of time, leading to stable solutions. We conclude by demonstrating the accuracy and the computational efficiency of the reduced solutions by a numerical test problem.


title: Une nouvelle minoration pour la trace des entiers alg\'ebriques totalement positifs

abstract: We explain how a slight variant in the use of our recursive algorithm leads to improve the known lower bounds for the absolute trace of a totally positive algebraic integer. We also link the absolute trace of a totally positive algebraic integer and the absolute trace of a totally positive reciprocal integer.


title: A Survey of Deep Learning-based Object Detection

abstract: Object detection is one of the most important and challenging branches of computer vision, which has been widely applied in peoples life, such as monitoring security, autonomous driving and so on, with the purpose of locating instances of semantic objects of a certain class. With the rapid development of deep learning networks for detection tasks, the performance of object detectors has been greatly improved. In order to understand the main development status of object detection pipeline, thoroughly and deeply, in this survey, we first analyze the methods of existing typical detection models and describe the benchmark datasets. Afterwards and primarily, we provide a comprehensive overview of a variety of object detection methods in a systematic manner, covering the one-stage and two-stage detectors. Moreover, we list the traditional and new applications. Some representative branches of object detection are analyzed as well. Finally, we discuss the architecture of exploiting these object detection methods to build an effective and efficient system and point out a set of development trends to better follow the state-of-the-art algorithms and further research.


title: The perimeter generating function for nondirected diagonally convex polyominoes

abstract: A polyomino is a finite, edge-connected set of cells in the plane. At the present time, an enumeration of all polyominoes is nowhere in sight. On the other hand, there are several subsets of polyominoes for which generating functions are known. For example, there exists extensive knowledge about column-convex polyominoes, a model introduced by Temperley in 1956. While studying column-convex polyominoes, researchers also gave a look at diagonally convex polyominoes (DCPs), but noticed an awkward feature: when the last diagonal of a DCP is deleted, the remaining object is not always a polyomino. So researchers focused their attention on directed DCPs. (A directed DCP is such a DCP that remains a polyomino when, for any $i$, its last $i$ diagonals are deleted.) Directed DCPs gradually became well understood, whereas general DCPs have remained unexplored up to now. In this paper, we finally face general DCPs. Modulo a little trick, which saves us from dealing with non-polyominoes, we use the layered approach (described in chapter 3 of the book ``Polygons, Polyominoes and Polycubes", edited by Anthony Guttmann). The computations are of remarkable bulk. Our main result is the perimeter generating function for DCPs; we denote it $D(d,x)$. The function $D(d,x)$ is algebraic and satisfies an equation of degree eight. The formula for $D(d,x)$ is about eight pages long. That formula involves nine polynomials in $d$ and $x$, and each of those polynomials is of degree $58$ or more in $x$. The interested reader can view the formula for $D(d,x)$ in the Maple worksheet attached to this paper.


title: Generalised single particle models for high-rate operation of graded lithium-ion electrodes: systematic derivation and validation

abstract: A derivation of the single particle model (SPM) is made from a porous electrode theory model (or Newman model) of half-cell (dis)charge for an electrode composed of uniformly sized spherical electrode particles of a single chemistry. The derivation uses a formal asymptotic method based on the disparity between the size of the thermal voltage and that of the characteristic change in overpotential that occurs during (de)lithiation. Comparison is made between solutions to the SPM and to the porous electrode theory (PET) model for NMC, graphite and LFP. These are used to identify regimes where the SPM gives accurate predictions. For most chemistries, even at moderate (dis)charge rates, there are appreciable discrepancies between the PET model and the SPM which can be attributed to spatial non-uniformities in the electrolyte. This motivates us to calculate a correction term to the SPM. Once this has been incorporated into the model its accuracy is significantly improved. Generalised versions of the SPM, that can describe graded electrodes containing multiple electrode particle sizes (or chemistries), are also derived. The results of the generalised SPM, with the correction term, compare favourably to the full PET model where the active electrode material is either NMC or graphite.


title: Deep Fault Diagnosis for Rotating Machinery with Scarce Labeled Samples

abstract: Early and accurately detecting faults in rotating machinery is crucial for operation safety of the modern manufacturing system. In this paper, we proposed a novel Deep fault diagnosis (DFD) method for rotating machinery with scarce labeled samples. DFD tackles the challenging problem by transferring knowledge from shallow models, which is based on the idea that shallow models trained with different hand-crafted features can reveal the latent prior knowledge and diagnostic expertise and have good generalization ability even with scarce labeled samples. DFD can be divided into three phases. First, a spectrogram of the raw vibration signal is calculated by applying a Short-time Fourier transform (STFT). From those spectrograms, discriminative time-frequency domain features can be extracted and used to form a feature pool. Then, several candidate Support vector machine (SVM) models are trained with different combinations of features in the feature pool with scarce labeled samples. By evaluating the pretrained SVM models on the validation set, the most discriminative features and best-performed SVM models can be selected, which are used to make predictions on the unlabeled samples. The predicted labels reserve the expert knowledge originally carried by the SVM model. They are combined together with the scarce fine labeled samples to form an Augmented training set (ATS). Finally, a novel 2D deep Convolutional neural network (CNN) model is trained on the ATS to learn more discriminative features and a better classifier. Experimental results on two fault diagnosis datasets demonstrate the effectiveness of the proposed DFD, which achieves better performance than SVM models and the vanilla deep CNN model trained on scarce labeled samples. Moreover, it is computationally efficient and is promising for real-time rotating machinery fault diagnosis.


title: On weakly negative subcategories, weight structures, and (weakly) approximable triangulated categories

abstract: We prove that certain triangulated categories are (weakly) approximable in the sense of A. Neeman. We prove that a triangulated $C$ that is compactly generated by a single object $G$ is weakly approximable if $C(G,G[i])=0$ for $i>1$ (we say that $G$ is weakly negative if this assumption is fulfilled; the case where the equality $C(G,G[1])=0$ is fulfilled as well was mentioned by Neeman himself). Moreover, if $G\cong \bigoplus_{0\le i\le n}G_i$ and $C(G_i,G_j[1])=0$ whenever $i\le j$ then $C$ is also approximable. The latter result can be useful since (under a few more additional assumptions) it allows to characterize a certain explicit subcategory of $C$ as the category of finite cohomological functors from the subcategory $C^c$ of compact objects of $C$ into $R$-modules (for a noetherian commutative ring $R$ such that $C$ is $R$-linear). One may apply this statement to the construction of certain adjoint functors and $t$-structures. Our proof of (weak) approximability of $C$ under the aforementioned assumptions is closely related to (weight decompositions for) certain (weak) weight structures, and we discuss this relationship in detail.


title: A stabilizer free weak Galerkin method for the Biharmonic Equation on Polytopal Meshes

abstract: A new stabilizer free weak Galerkin (WG) method is introduced and analyzed for the biharmonic equation. Stabilizing/penalty terms are often necessary in the finite element formulations with discontinuous approximations to ensure the stability of the methods. Removal of stabilizers will simplify finite element formulations and reduce programming complexity. This stabilizer free WG method has an ultra simple formulation and can work on general partitions with polygons/polyhedra. Optimal order error estimates in a discrete $H^2$ for $k\ge 2$ and in $L^2$ norm for $k>2$ are established for the corresponding weak Galerkin finite element solutions. Numerical results are provided to confirm the theories.


title: Limitations of curvature--induced rigidity: How a curved strip buckles under gravity

abstract: The preference of thin flat sheets to bend rather than stretch, combined with results from Geometry, mean that changes in a thin sheet's Gaussian curvature are prohibitively expensive. As a result, an imposed curvature in one principal direction inhibits bending in the other: so-called curvature-induced rigidity. Here, we study the buckling behaviour of a rectangular strip of finite thickness held horizontally in a gravitational field, but with a transverse curvature imposed at one end. The finite thickness of the sheet limits the efficacy of curvature-induced rigidity in two ways: (i) finite bending stiffness acts to `uncurve' the sheet, even if this costs some stretching energy, and (ii) for sufficiently long strips, finite weight deforms the strip downwards, releasing some of its gravitational potential energy. We find the critical imposed curvature required to prevent buckling (or, equivalently, to rigidify the strip), determining the dependence on geometrical and constitutive parameters, as well as describing the buckled shape of the strip well beyond the threshold for buckling. In doing so, we quantify the intuitive understanding of curvature-induced rigidity that we gain from curving the crust of a slice of pizza to prevent it from drooping downwards as we eat.


title: Quantum Computing: Lecture Notes

abstract: This is a set of lecture notes suitable for a Master's course on quantum computation and information from the perspective of theoretical computer science. The first version was written in 2011, with many extensions and improvements in subsequent years. The first 10 chapters cover the circuit model and the main quantum algorithms (Deutsch-Jozsa, Simon, Shor, Hidden Subgroup Problem, Grover, quantum walks, Hamiltonian simulation and HHL). They are followed by 4 chapters about complexity, 4 chapters about distributed ("Alice and Bob") settings, a chapter about quantum machine learning, and a final chapter about quantum error correction. Appendices A and B give a brief introduction to the required linear algebra and some other mathematical and computer science background. All chapters come with exercises, with some hints provided in Appendix C.


title: Functors on Posets Left Kan Extend to Cosheaves: an Erratum

abstract: In this note we give a self-contained proof of a fundamental statement in the study of cosheaves over a poset. Specifically, if a functor has domain a poset and co-domain a co-complete category, then the left Kan extension of that functor along the embedding of the domain poset into its poset of down-sets is a cosheaf. This proof is meant to replace the mistaken proofs published in the author's thesis and an article on dualities exchanging cellular sheaves and cosheaves.


title: Trusses and Trapezes: Easily-Interpreted Communities in Social Networks

abstract: The truss, a relaxation of the clique based on triangles, serves to identify clusters of actors in a way that is easy to interpret and is computationally attractive. This paper introduces the 4-cycle-based relative to the truss, called the trapeze, presents a weighted extension of both the truss and trapeze, and offers the refinements of strong trusses and trapezes and summit trusses and trapezes. Use of trapezes permits the application to bipartite graphs, while the weighted versions permit variation of support due to natural edge weights without increasing computational complexity. Finally, strong and summit versions make for easy determination of communities across graphs of varying density. Each of these structures offers guaranteed computation in polynomial time, is motivated by a natural observation of social cohesion, and is related nicely to other standard structures.


title: Quantum Algorithm for the Vlasov Equation

abstract: The Vlasov-Maxwell system of equations, which describes classical plasma physics, is extremely challenging to solve, even by numerical simulation on powerful computers. By linearizing and assuming a Maxwellian background distribution function, we convert the Vlasov-Maxwell system into a Hamiltonian simulation problem. Then for the limiting case of electrostatic Landau damping, we design and verify a quantum algorithm, appropriate for a future error-corrected universal quantum computer. While the classical simulation has costs that scale as $\mathcal{O}(N_v t)$ for a velocity grid with $N_v$ grid points and simulation time $t$, our quantum algorithm scales as $\mathcal{O}(\text{polylog}(N_v) t/\delta)$ where $\delta$ is the measurement error, and weaker scalings have been dropped. Extensions, including electromagnetics and higher dimensions, are discussed. A quantum computer could efficiently handle a high-resolution, six-dimensional phase-space grid, but the $1/\delta$ cost factor to extract an accurate result remains a difficulty. This paper provides insight into the possibility of someday achieving efficient plasma simulation on a quantum computer.


title: Contextuality and nonlocality of indistinguishable particles

abstract: Unlike in the case of distinguishable particles, the concept of entanglement-- not to mention, nonlocality-- remains debated in case of indistinguishable particles. Here, we show that certain existing all-versus-nothing type of proofs of contextuality or nonlocality for distinguishable particles, based on a logical contradiction, may be carried over to indistinguishable particles.


title: Plaquette instability competing with bicollinear ground state in detwinned FeTe

abstract: We use inelastic neutron scattering to show that long-range spin waves arising from the static bicollinear antiferromagnetic (AF) order in FeTe, which have twofold rotational symmetry in a fully detwinned crystal, rapidly dissolve above $E\approx 26$ meV into ridges of scattering with fourfold rotational symmetry and a nearly isotropic magnetic fluctuation spectrum. With increasing temperature above $T_N\approx 68$ K, the twofold spin waves change into broad regions of scattering with fourfold symmetry. Since the scattering patterns from plaquette magnetic order generated within a bilinear biquadratic Hamiltonian have fourfold rotational symmetry consistent with the high-energy, spin-isotropic spin waves of FeTe, we conclude that the bicollinear AF state in FeTe is quasidegenerate with plaquette magnetic order, providing evidence for the strongly frustrated nature of the local moments in iron chalcogenide family of iron-based superconductors.


title: Dependence on ion temperature of shallow-angle magnetic presheaths with adiabatic electrons

abstract: The magnetic presheath is a boundary layer occurring when magnetized plasma is in contact with a wall and the angle $\alpha$ between the wall and the magnetic field $\vec{B}$ is oblique. Here, we consider the fusion-relevant case of a shallow-angle, $\alpha \ll 1$, electron-repelling sheath, with the electron density given by a Boltzmann distribution, valid for $\alpha / \sqrt{\tau+1} \gg \sqrt{m_{\text{e}}/m_{\text{i}}}$, where $m_{\text{e}}$ is the electron mass, $m_{\text{i}}$ is the ion mass, $\tau = T_{\text{i}}/ZT_{\text{e}}$, $T_{\text{e}}$ is the electron temperature, $T_{\text{i}}$ is the ion temperature, and $Z$ is the ionic charge state. The thickness of the magnetic presheath is of the order of a few ion sound Larmor radii $\rho_{\text{s}} = \sqrt{m_{\text{i}} \left(ZT_{\text{e}} + T_{\text{i}} \right) } / ZeB$, where $e$ is the proton charge and $B = |\vec{B}|$ is the magnitude of the magnetic field. We study the dependence on $\tau $ of the electrostatic potential and ion distribution function in the magnetic presheath by using a set of prescribed ion distribution functions at the magnetic presheath entrance, parameterized by $\tau$. The kinetic model is shown to be asymptotically equivalent to Chodura's fluid model at small ion temperature, $\tau \ll 1$, for $|\ln \alpha| > 3|\ln \tau | \gg 1$. In this limit, despite the fact that fluid equations give a reasonable approximation to the potential, ion gyro-orbits acquire a spatial extent that occupies a large portion of the magnetic presheath. At large ion temperature, $\tau \gg 1$, relevant because $T_{\text{i}}$ is measured to be a few times larger than $T_{\text{e}}$ near divertor targets of fusion devices, ions reach the Debye sheath entrance (and subsequently the wall) at a shallow angle whose size is given by $\sqrt{\alpha}$ or $1/\sqrt{\tau}$, depending on which is largest.


title: Geometry of the eigencurve at CM points and trivial zeros of Katz $p$-adic $L$-functions

abstract: The primary goal of this paper is to investigate the geometry of the $p$-adic eigencurve at a point $f$ corresponding to a weight one cuspidal theta series irregular at the prime number $p$. We show that $f$ belongs to exactly three or four irreducible components and study their intersection multiplicities. In particular, we show that the congruence ideal of a CM component has a simple zero at $f$ if and only if a certain anti-cyclotomic $\mathscr{L}$-invariant $\mathscr{L}_-(\varphi)$ does not vanish. Further, using Roy's Strong Six Exponential Theorem we show that at least one amongst $\mathscr{L}_-(\varphi)$ and $\mathscr{L}_-(\varphi^{-1})$ is non-zero. Combined with a divisibility proved by Hida and Tilouine, we deduce that the anti-cyclotomic Katz $p$-adic $L$-function of $\varphi$ has a simple (trivial) zero at $s=0$ if $\mathscr{L}_-(\varphi)$ is non-zero, which can be seen as an anti-cyclotomic analogue of a result of Ferrero and Greenberg. Finally, we propose a formula for the linear term of the two-variable Katz $p$-adic $L$-function of $\varphi$ at $s=0$ extending a conjecture of Gross.


title: Satellite-Net: Automatic Extraction of Land Cover Indicators from Satellite Imagery by Deep Learning

abstract: In this paper we address the challenge of land cover classification for satellite images via Deep Learning (DL). Land Cover aims to detect the physical characteristics of the territory and estimate the percentage of land occupied by a certain category of entities: vegetation, residential buildings, industrial areas, forest areas, rivers, lakes, etc. DL is a new paradigm for Big Data analytics and in particular for Computer Vision. The application of DL in images classification for land cover purposes has a great potential owing to the high degree of automation and computing performance. In particular, the invention of Convolution Neural Networks (CNNs) was a fundament for the advancements in this field. In [1], the Satellite Task Team of the UN Global Working Group describes the results achieved so far with respect to the use of earth observation for Official Statistics. However, in that study, CNNs have not yet been explored for automatic classification of imagery. This work investigates the usage of CNNs for the estimation of land cover indicators, providing evidence of the first promising results. In particular, the paper proposes a customized model, called Satellite-Net, able to reach an accuracy level up to 98% on test sets.


title: Bayesian estimation of probabilistic sensitivity measures

abstract: Computer experiments are becoming increasingly important in scientific investigations. In the presence of uncertainty, analysts employ probabilistic sensitivity methods to identify the key-drivers of change in the quantities of interest. Simulation complexity, large dimensionality and long running times may force analysts to make statistical inference at small sample sizes. Methods designed to estimate probabilistic sensitivity measures at relatively low computational costs are attracting increasing interest. We propose a fully Bayesian approach to the estimation of probabilistic sensitivity measures based on a one-sample design. We discuss, first, new estimators based on placing piecewise constant priors on the conditional distributions of the output given each input, by partitioning the input space. We then present two alternatives, based on Bayesian non-parametric density estimation, which bypass the need for predefined partitions. In all cases, the Bayesian paradigm guarantees the quantification of uncertainty in the estimation process through the posterior distribution over the sensitivity measures, without requiring additional simulator evaluations. The performance of the proposed methods is compared to that of traditional point estimators in a series of numerical experiments comprising synthetic but challenging simulators, as well as a realistic application. $\textit{An Updated Version of the Manuscript is Forthcoming in Statistics and Computing.}$


title: k-t NEXT: Dynamic MR Image Reconstruction Exploiting Spatio-temporal Correlations

abstract: Dynamic magnetic resonance imaging (MRI) exhibits high correlations in k-space and time. In order to accelerate the dynamic MR imaging and to exploit k-t correlations from highly undersampled data, here we propose a novel deep learning based approach for dynamic MR image reconstruction, termed k-t NEXT (k-t NEtwork with X-f Transform). In particular, inspired by traditional methods such as k-t BLAST and k-t FOCUSS, we propose to reconstruct the true signals from aliased signals in x-f domain to exploit the spatio-temporal redundancies. Building on that, the proposed method then learns to recover the signals by alternating the reconstruction process between the x-f space and image space in an iterative fashion. This enables the network to effectively capture useful information and jointly exploit spatio-temporal correlations from both complementary domains. Experiments conducted on highly undersampled short-axis cardiac cine MRI scans demonstrate that our proposed method outperforms the current state-of-the-art dynamic MR reconstruction approaches both quantitatively and qualitatively.


title: Paracoherent Answer Set Semantics meets Argumentation Frameworks

abstract: In the last years, abstract argumentation has met with great success in AI, since it has served to capture several non-monotonic logics for AI. Relations between argumentation framework (AF) semantics and logic programming ones are investigating more and more. In particular, great attention has been given to the well-known stable extensions of an AF, that are closely related to the answer sets of a logic program. However, if a framework admits a small incoherent part, no stable extension can be provided. To overcome this shortcoming, two semantics generalizing stable extensions have been studied, namely semi-stable and stage. In this paper, we show that another perspective is possible on incoherent AFs, called paracoherent extensions, as they have a counterpart in paracoherent answer set semantics. We compare this perspective with semi-stable and stage semantics, by showing that computational costs remain unchanged, and moreover an interesting symmetric behaviour is maintained. Under consideration for acceptance in TPLP.


title: A Systematic Mapping Study on Testing of Machine Learning Programs

abstract: We aim to conduct a systematic mapping in the area of testing ML programs. We identify, analyze and classify the existing literature to provide an overview of the area. We followed well-established guidelines of systematic mapping to develop a systematic protocol to identify and review the existing literature. We formulate three sets of research questions, define inclusion and exclusion criteria and systematically identify themes for the classification of existing techniques. We also report the quality of the published works using established assessment criteria. we finally selected 37 papers out of 1654 based on our selection criteria up to January 2019. We analyze trends such as contribution facet, research facet, test approach, type of ML and the kind of testing with several other attributes. We also discuss the empirical evidence and reporting quality of selected papers. The data from the study is made publicly available for other researchers and practitioners. We present an overview of the area by answering several research questions. The area is growing rapidly, however, there is lack of enough empirical evidence to compare and assess the effectiveness of the techniques. More publicly available tools are required for use of practitioners and researchers. Further attention is needed on non-functional testing and testing of ML programs using reinforcement learning. We believe that this study can help researchers and practitioners to obtain an overview of the area and identify several sub-areas where more research is required


title: On invertible 2-dimensional framed and $r$-spin topological field theories

abstract: We classify invertible 2-dimensional framed and $r$-spin topological field theories by computing the homotopy groups and the $k$-invariant of the corresponding bordism categories. The zeroth homotopy group of a bordism category is the usual Thom bordism group, the first homotopy group can be identified with a Reinhart vector field bordism group, or the so called SKK group as observed by Ebert, B\"ockstedt-Svane and Kreck-Stolz-Teichner. We present the computation of SKK groups for stable tangential structures. Then we consider non-stable examples: the 2-dimensional framed and $r$-spin SKK groups and compute them explicitly using the combinatorial model of framed and $r$-spin surfaces of Novak, Runkel and the author.

categories: math.AT cond-mat.str-el hep-th math-ph math.MP math.QA


title: Fast gate-based readout of silicon quantum dots using Josephson parametric amplification

abstract: Spins in silicon quantum devices are promising candidates for large-scale quantum computing. Gate-based sensing of spin qubits offers compact and scalable readout with high fidelity, however further improvements in sensitivity are required to meet the fidelity thresholds and measurement timescales needed for the implementation of fast-feedback in error correction protocols. Here, we combine radio-frequency gate-based sensing at 622 MHz with a Josephson parametric amplifier (JPA), that operates in the 500-800 MHz band, to reduce the integration time required to read the state of a silicon double quantum dot formed in a nanowire transistor. Based on our achieved signal-to-noise ratio (SNR), we estimate that singlet-triplet single-shot readout with an average fidelity of 99.7% could be performed in 1 $\mu$s, well-below the requirements for fault-tolerant readout and 30 times faster than without the JPA. Additionally, the JPA allows operation at a lower RF power while maintaining identical SNR. We determine a noise temperature of 200 mK with a contribution from the JPA (25%), cryogenic amplifier (25%) and the resonator (50%), showing routes to further increase the read-out speed.


title: Optical Excitations of Chlorophyll $a$ and $b$ Monomers and Dimers

abstract: A necessary first step in the development of technologies such as artificial photosynthesis is understanding the photoexcitation process within the basic building blocks of naturally-occurring light harvesting complexes (LHCs). The most important of these building blocks in biological LHCs such as LHC II from green plants are the chlorophyll $a$ (Chl $a$) and chlorophyll $b$ (Chl $b$) chromophores dispersed throughout the protein matrix. However, efforts to describe such systems are still hampered by the lack of computationally efficient and accurate methods that are able to describe optical absorption in large biomolecules. In this work we employ a highly efficient linear combination of atomic orbitals (LCAOs) to represent the Kohn--Sham (KS) wave functions at the density functional theory (DFT) level and perform time dependent density functional theory (TDDFT) in either the reciprocal space and frequency domain (LCAO-TDDFT-$k$-$\omega$) or real space and time (LCAO-TDDFT-$r$-$t$) calculations of the optical absorption spectra of Chl $a$ and $b$ monomers and dimers. We find our LCAO-TDDFT-$k$-$\omega$ and LCAO-TDDFT-$r$-$t$ calculations reproduce results obtained with a plane wave (PW) representation of the KS wave functions (PW-TDDFT-$k$-$\omega$), but with a significant reduction in computational effort. Moreover, by applying the GLLB-SC derivative discontinuity correction $\Delta_x$ to the KS eigenenergies, with both LCAO-TDDFT-$k$-$\omega$ and LCAO-TDDFT-$r$-$t$ methods we are able to semi-quantitatively reproduce the experimentally measured photoinduced dissociation (PID) results. This work opens the path to first principles calculations of optical excitations in macromolecular systems.


title: The split torsor method for Manin's conjecture

abstract: We introduce the split torsor method to count rational points of bounded height on Fano varieties. As an application, we prove Manin's conjecture for all nonsplit quartic del Pezzo surfaces of type $\mathbf A_3+\mathbf A_1$ over arbitrary number fields. The counting problem on the split torsor is solved in the framework of o-minimal structures.


title: Long-time Asymptotics for the Focusing Nonlinear Schr\"odinger Equation with Nonzero Boundary Conditions in the Presence of a Discrete Spectrum

abstract: The long-time asymptotic behavior of solutions to the focusing nonlinear Schr\"odinger (NLS) equation on the line with symmetric, nonzero boundary conditions at infinity is studied in the case of initial conditions that allow for the presence of discrete spectrum. The results of the analysis provide the first rigorous characterization of the nonlinear interactions between solitons and the coherent oscillating structures produced by localized perturbations in a modulationally unstable medium. The study makes crucial use of the inverse scattering transform for the focusing NLS equation with nonzero boundary conditions, as well as of the nonlinear steepest descent method of Deift and Zhou for oscillatory Riemann-Hilbert problems. Previously, it was shown that in the absence of discrete spectrum the $xt$-plane decomposes asymptotically in time into two types of regions: a left far-field region and a right far-field region, where to leading order the solution equals the condition at infinity up to a phase shift, and a central region where the asymptotic behavior is described by slowly modulated periodic oscillations. Here, it is shown that in the presence of a conjugate pair of discrete eigenvalues in the spectrum a similar coherent oscillatory structure emerges but, in addition, three different interaction outcomes can arise depending on the precise location of the eigenvalues: (i) soliton transmission, (ii) soliton trapping, and (iii) a mixed regime in which the soliton transmission or trapping is accompanied by the formation of an additional, nondispersive localized structure akin to a soliton-generated wake. The soliton-induced position and phase shifts of the oscillatory structure are computed, and the analytical results are validated by a set of accurate numerical simulations.


title: Translating between the representations of a ranked convex geometry

abstract: It is well known that every closure system can be represented by an implicational base, or by the set of its meet-irreducible elements. In Horn logic, these are respectively known as the Horn expressions and the characteristic models. In this paper, we consider the problem of translating between the two representations in acyclic convex geometries. Quite surprisingly, we show that the problem in this context is already harder than the dualization in distributive lattices, a generalization of the well-known hypergraph dualization problem for which the existence of an output quasi-polynomial time algorithm is open. In light of this result, we consider a proper subclass of acyclic convex geometries, namely ranked convex geometries, as those that admit a ranked implicational base analogous to that of ranked posets. For this class, we provide output quasi-polynomial time algorithms based on hypergraph dualization for translating between the two representations. This improves the understanding of a long-standing open problem.


title: On the topology of nearly-integrable Hamiltonians at simple resonances

abstract: We show that, in general, averaging at simple resonances a real--analytic, nearly--integrable Hamiltonian, one obtains a one--dimensional system with a cosine--like potential; ``in general'' means for a generic class of holomorphic perturbations and apart from a finite number of simple resonances with small Fourier modes; ``cosine--like'' means that the potential depends only on the resonant angle, with respect to which it is a Morse function with one maximum and one minimum. \\ Furthermore, the (full) transformed Hamiltonian is the sum of an effective one--dimen\-sio\-nal Hamiltonian (which is, in turn, the sum of the unperturbed Hamiltonian plus the cosine--like potential) and a perturbation, which is exponentially small with respect to the oscillation of the potential. \\ As a corollary, under the above hypotheses, if the unperturbed Hamiltonian is also strictly convex, the effective Hamiltonian at {\sl any simple resonance} (apart a finite number of low--mode resonances) has the phase portrait of a pendulum. \\ The results presented in this paper are an essential step in the proof (in the ``mechanical'' case) of a conjecture by Arnold--Kozlov--Neishdadt (\cite[Remark~6.8, p. 285]{AKN}), claiming that the measure of the ``non--torus set'' in general nearly--integrable Hamiltonian systems has the same size of the perturbation; compare \cite{BClin}, \cite{BC}.


title: Trend detection in GEV models

abstract: In recent environmental studies extreme events have a great impact. The yearly and monthly maxima of environment related indices can be analysed by the tools of extreme value theory. For instance, the monthly maxima of the fire weather index in British Columbian forests might be modelled by GEV distribution, but the stationarity of the time series is questionable. This property can lead us to different approaches to test if there is a significant trend in past few years data or not. An approach is a likelihood ratio based procedure which has favourable asymptotic properties, but for realistic sample sizes it might have a large error. In this paper we analyse the properties of the likelihood ratio test for extremes by bootstrap simulations and aim to determine a minimal required sample size. With the theoretical results we re-asses the trends of fire weather index in British Columbian forests.


title: Investigation of high-temperature bulk transport characteristics and skew scattering in samarium hexaboride

abstract: A well-known feature in transport data of the topological Kondo insulator SmB$_6$ is the sign change in the Hall coefficient at 65 K. Carriers in SmB$_6$ are known to be negative, but above 65 K, the Hall sign suggests that the carriers are positive. Here, we extend Hall measurements up to 400 K and observe that the Hall coefficient changes back to the correct (negative) sign at about 305 K. We interpret the anomalous sign of the Hall coefficient in the context of skew scattering arising from the strong correlations between the $f$ and $d$ electrons. At energy scales where the gap is closed, the number of $d$ electrons in resonance with the $f$ electrons at the Fermi energy varies. When a large proportion of $d$ and $f$ electrons are in resonance, skew scattering is dominant, leading to the observation of the positive sign, but when fewer are in resonance, conventional scattering mechanisms dominate instead.


title: Parking on the integers

abstract: Models of parking in which cars are placed randomly and then move according to a deterministic rule have been studied since the work of Konheim and Weiss in the 1960s. Recently, Damron, Gravner, Junge, Lyu, and Sivakoff introduced a model in which cars are both placed and move at random. Independently at each point of a Cayley graph $G$, we place a car with probability $p$, and otherwise an empty parking space. Each car independently executes a random walk until it finds an empty space in which to park. In this paper we introduce three new techniques for studying the model, namely the space-based parking model, and the strategies for parking and for car removal. These allow us to study the original model by coupling it with models where parking behaviour is easier to control. Applying our methods to the one-dimensional parking problem in $\mathbb{Z}$, we improve on previous work, showing that for $p<1/2$ the expected journey length of a car is finite, and for $p=1/2$ the expected journey length by time $t$ grows like $t^{3/4}$ up to a polylogarithmic factor.


title: Multi-Class Lane Semantic Segmentation using Efficient Convolutional Networks

abstract: Lane detection plays an important role in a self-driving vehicle. Several studies leverage a semantic segmentation network to extract robust lane features, but few of them can distinguish different types of lanes. In this paper, we focus on the problem of multi-class lane semantic segmentation. Based on the observation that the lane is a small-size and narrow-width object in a road scene image, we propose two techniques, Feature Size Selection (FSS) and Degressive Dilation Block (DD Block). The FSS allows a network to extract thin lane features using appropriate feature sizes. To acquire fine-grained spatial information, the DD Block is made of a series of dilated convolutions with degressive dilation rates. Experimental results show that the proposed techniques provide obvious improvement in accuracy, while they achieve the same or faster inference speed compared to the baseline system, and can run at real-time on high-resolution images.


title: Model-Driven Deep Learning for MIMO Detection

abstract: In this paper, we investigate the model-driven deep learning (DL) for MIMO detection. In particular, the MIMO detector is specially designed by unfolding an iterative algorithm and adding some trainable parameters. Since the number of trainable parameters is much fewer than the data-driven DL based signal detector, the model-driven DL based MIMO detector can be rapidly trained with a much smaller data set. The proposed MIMO detector can be extended to soft-input soft-output detection easily. Furthermore, we investigate joint MIMO channel estimation and signal detection (JCESD), where the detector takes channel estimation error and channel statistics into consideration while channel estimation is refined by detected data and considers the detection error. Based on numerical results, the model-driven DL based MIMO detector significantly improves the performance of corresponding traditional iterative detector, outperforms other DL-based MIMO detectors and exhibits superior robustness to various mismatches.


title: Maya: Falsifying Power Sidechannels with Dynamic Control

abstract: The security of computers is at risk because of information leaking through physical outputs such as power, temperature, or electromagnetic (EM) emissions. Attackers can use advanced signal measurement and analysis to recover sensitive data from these sidechannels. To address this problem, this paper presents Maya, a simple and effective solution against power side-channels. The idea is to re-shape the power dissipated by an application in an application-transparent manner using control theory techniques - preventing attackers from learning any information. With control theory, a controller can reliably keep power close to a desired target value even when runtime conditions change unpredictably. Then, by changing these targets intelligently, power can be made to appear in any desired form, appearing to carry activity information which, in reality, is unrelated to the application. Maya can be implemented in privileged software or in simple hardware. In this paper, we implement Maya on two multiprocessor machines using Operating System (OS) threads, and show its effectiveness and ease of deployment.


title: TMD parton distributions from parton showers

abstract: We present the determination of Transverse Momentum Dependent (TMD) parton distributions from Monte Carlo parton showers. We investigate the effective TMD distributions obtained from the PYTHIA8 and HERWIG6 parton showers and compare them to the TMD distributions determined within the Parton Branching method.


title: Block-sparse Recovery of Semidefinite Systems and Generalized Null Space Conditions

abstract: This article considers the recovery of low-rank matrices via a convex nuclear-norm minimization problem and presents two null space properties (NSP) which characterize uniform recovery for the case of block-diagonal matrices and block-diagonal positive semidefinite matrices. These null-space conditions turn out to be special cases of a new general setup, which allows to derive the mentioned NSPs and well-known NSPs from the literature. We discuss the relative strength of these conditions and also present a deterministic class of matrices that satisfies the block-diagonal semidefinite NSP.


title: Leptogenesis with testable Dirac neutrino mass generation

abstract: A TeV-scale Higgs doublet can acquire a tiny vacuum expectation value via its small mixing with the standard model Higgs doublet. Ones then can realize a testable Dirac neutrino mass generation through the sizable Yukawa couplings among this new Higgs doublet, several right-handed neutrinos and the standard model lepton doublets. We show the small mixing between the two Higgs doublets can come from certain interactions for generating the cosmic baryon asymmetry.


title: Common origin of inverse seesaw and baryon asymmetry

abstract: In the inverse seesaw scenario, several fermion singlets have a small Majorana mass term. We show such Majorana masses can be suppressed by some heavy fermion and/or Higgs singlets after a global symmetry is spontaneously broken. These interactions can also accommodate a leptogenesis mechanism to explain the cosmic baryon asymmetry.


title: Isoperimetry and volume preserving stability in real projective spaces

abstract: We classify the volume preserving stable hypersurfaces in the real projective space $\mathbb{RP}^n$. As a consequence, the solutions of the isoperimetric problem are tubular neighborhoods of projective subspaces $\mathbb{RP}^k\subset \mathbb{RP}^n$ (starting with points). This confirms a conjecture of Burago and Zalgaller from 1988 and extends to higher dimensions previous result of M. Ritor\'{e} and A. Ros on $\mathbb{RP}^3$. We also derive an Willmore type inequality for antipodal invariant hypersurfaces in $\mathbb{S}^n$.


title: The isoperimetric inequality for a minimal submanifold in Euclidean space

abstract: We prove a Sobolev inequality which holds on submanifolds in Euclidean space of arbitrary dimension and codimension. This inequality is sharp if the codimension is at most 2. As a special case, we obtain a sharp isoperimetric inequality for minimal submanifolds in Euclidean space of codimension at most 2.


title: Interactions of magnetized plasma flows in pulsed-power driven experiments

abstract: A supersonic flow of magnetized plasma is produced by the application of a 1 MA-peak, 500 ns current pulse to a cylindrical arrangement of parallel wires, known as an inverse wire array. The plasma flow is produced by the JxB acceleration of the ablated wire material, and a magnetic field of several Tesla is embedded at source by the driving current. This setup has been used for a variety of experiments investigating the interactions of magnetized plasma flows. In experiments designed to investigate magnetic reconnection, the collision of counter-streaming flows, carrying oppositely directed magnetic fields, leads to the formation of a reconnection layer in which we observe ions reaching temperatures much greater than predicted by classical heating mechanisms. The breakup of this layer under the plasmoid instability is dependent on the properties of the inflowing plasma, which can be controlled by the choice of the wire array material. In other experiments, magnetized shocks were formed by placing obstacles in the path of the magnetized plasma flow. The pile-up of magnetic flux in front of a conducting obstacle produces a magnetic precursor acting on upstream electrons at the distance of the ion inertial length. This precursor subsequently develops into a steep density transition via ion-electron fluid decoupling. Obstacles which possess a strong private magnetic field affect the upstream flow over a much greater distance, providing an extended bow shock structure. In the region surrounding the obstacle the magnetic pressure holds off the flow, forming a void of plasma material, analogous to the magnetopause around planetary bodies with self-generated magnetic fields.


title: Energy efficient coded random access for the wireless uplink

abstract: We discuss the problem of designing channel access architectures for enabling fast, low-latency, grant-free and uncoordinated uplink for densely packed wireless nodes. Specifically, we study random-access codes, previously introduced for the AWGN multiple-access channel (MAC) by Polyanskiy'2017, in the practically more relevant case of users subject to Rayleigh fading, when channel gains are unknown to the decoder. We propose a random coding achievability bound, which we analyze both non-asymptotically (at finite blocklength) and asymptotically. As a candidate practical solution, we propose an explicit sparse-graph based coding scheme together with an alternating belief-propagation decoder. The latter's performance is found to be surprisingly close to the finite-blocklength bounds. Our main findings are twofold. First, just like in the AWGN MAC we see that jointly decoding large number of users leads to a surprising phase transition effect, where at spectral efficiencies below a critical threshold (5-15 bps/Hz depending on reliability) a perfect multi-user interference cancellation is possible. Second, while the presence of Rayleigh fading significantly increases the minimal required energy-per-bit $E_b/N_0$ (from about 0-2 dB to about 8-11 dB), the inherent randomization introduced by the channel makes it much easier to attain the optimal performance via iterative schemes. In all, it is hoped that a principled definition of the random-access model together with our information-theoretic analysis will open the road towards unified benchmarking and comparison performance of various random-access solutions, such as the currently discussed candidates (MUSA, SCMA, RSMA) for the 5G/6G.


title: Automatic detection of rare pathologies in fundus photographs using few-shot learning

abstract: In the last decades, large datasets of fundus photographs have been collected in diabetic retinopathy (DR) screening networks. Through deep learning, these datasets were used to train automatic detectors for DR and a few other frequent pathologies, with the goal to automate screening. One challenge limits the adoption of such systems so far: automatic detectors ignore rare conditions that ophthalmologists currently detect, such as papilledema or anterior ischemic optic neuropathy. The reason is that standard deep learning requires too many examples of these conditions. However, this limitation can be addressed with few-shot learning, a machine learning paradigm where a classifier has to generalize to a new category not seen in training, given only a few examples of this category. This paper presents a new few-shot learning framework that extends convolutional neural networks (CNNs), trained for frequent conditions, with an unsupervised probabilistic model for rare condition detection. It is based on the observation that CNNs often perceive photographs containing the same anomalies as similar, even though these CNNs were trained to detect unrelated conditions. This observation was based on the t-SNE visualization tool, which we decided to incorporate in our probabilistic model. Experiments on a dataset of 164,660 screening examinations from the OPHDIAT screening network show that 37 conditions, out of 41, can be detected with an area under the ROC curve (AUC) greater than 0.8 (average AUC: 0.938). In particular, this framework significantly outperforms other frameworks for detecting rare conditions, including multitask learning, transfer learning and Siamese networks, another few-shot learning solution. We expect these richer predictions to trigger the adoption of automated eye pathology screening, which will revolutionize clinical practice in ophthalmology.


title: A New computation reduction based nonlinear Kalman filter

abstract: This article introduces a new algorithm for nonlinear state estimation based on deterministic sigma point and EKF linearized framework for priori mean and covariance respectively. This method reduces the computation cost of UKF about 50% and has better accuracy compared to EKF due to propagating mean and Covariance of state to 3rd order Taylor series. Several types of Kalman filter have been presented before to reduce the computation cost of UKF, however, this new KF is a better choice because of its simplicity, numerical stability, and accuracy for real-time implementation. Examples verify the effectiveness of the proposed method.


title: Pattern-Avoiding Permutation Powers

abstract: Recently, B\'ona and Smith defined strong pattern avoidance, saying that a permutation $\pi$ strongly avoids a pattern $\tau$ if $\pi$ and $\pi^2$ both avoid $\tau$. They conjectured that for every positive integer $k$, there is a permutation in $S_{k^3}$ that strongly avoids $123\cdots (k+1)$. We use the Robinson--Schensted--Knuth correspondence to settle this conjecture, showing that the number of such permutations is at least $k^{k^3/2+O(k^3/\log k)}$ and at most $k^{2k^3+O(k^3/\log k)}$. We enumerate $231$-avoiding permutations of order $3$, and we give two further enumerative results concerning strong pattern avoidance. We also consider permutations whose powers all avoid a pattern $\tau$. Finally, we study subgroups of symmetric groups whose elements all avoid certain patterns. This leads to several new open problems connecting the group structures of symmetric groups with pattern avoidance.


title: Mid-price Prediction Based on Machine Learning Methods with Technical and Quantitative Indicators

abstract: Stock price prediction is a challenging task, but machine learning methods have recently been used successfully for this purpose. In this paper, we extract over 270 hand-crafted features (factors) inspired by technical and quantitative analysis and tested their validity on short-term mid-price movement prediction. We focus on a wrapper feature selection method using entropy, least-mean squares, and linear discriminant analysis. We also build a new quantitative feature based on adaptive logistic regression for online learning, which is constantly selected first among the majority of the proposed feature selection methods. This study examines the best combination of features using high frequency limit order book data from Nasdaq Nordic. Our results suggest that sorting methods and classifiers can be used in such a way that one can reach the best performance with a combination of only very few advanced hand-crafted features.


title: Analysis and development of an automatic eCall for motorcycles: a one-class cepstrum approach

abstract: The automatic dial of an emergency call - eCall - in response to a road accident is a feature that is gaining interest in the intelligent vehicle community. It indirectly increases the driving safety of road vehicles, but presents the technical challenge of developing an algorithm which triggers the emergency call only when needed, a non-trivial task for two-wheeled vehicles due to their complex dynamics. In the present work, we propose an eCall algorithm that detects these anomalies in the data time series, thanks to the cepstral analysis. The main advantage of the proposed approach is the direct focus on the data dynamics, solving the limits of approaches based on the analysis of the instantaneous value of some signals combination. The algorithm is calibrated and tested against real driving data of ten different drivers, including seven real crash events, and performance are compared with known methods.