title: Mixed Likelihood Gaussian Process Latent Variable Model

abstract: We present the Mixed Likelihood Gaussian process latent variable model (GP-LVM), capable of modeling data with attributes of different types. The standard formulation of GP-LVM assumes that each observation is drawn from a Gaussian distribution, which makes the model unsuited for data with e.g. categorical or nominal attributes. Our model, for which we use a sampling based variational inference, instead assumes a separate likelihood for each observed dimension. This formulation results in more meaningful latent representations, and give better predictive performance for real world data with dimensions of different types.


title: ATOM: Accurate Tracking by Overlap Maximization

abstract: While recent years have witnessed astonishing improvements in visual tracking robustness, the advancements in tracking accuracy have been limited. As the focus has been directed towards the development of powerful classifiers, the problem of accurate target state estimation has been largely overlooked. In fact, most trackers resort to a simple multi-scale search in order to estimate the target bounding box. We argue that this approach is fundamentally limited since target estimation is a complex task, requiring high-level knowledge about the object. We address this problem by proposing a novel tracking architecture, consisting of dedicated target estimation and classification components. High level knowledge is incorporated into the target estimation through extensive offline learning. Our target estimation component is trained to predict the overlap between the target object and an estimated bounding box. By carefully integrating target-specific information, our approach achieves previously unseen bounding box accuracy. We further introduce a classification component that is trained online to guarantee high discriminative power in the presence of distractors. Our final tracking framework sets a new state-of-the-art on five challenging benchmarks. On the new large-scale TrackingNet dataset, our tracker ATOM achieves a relative gain of 15% over the previous best approach, while running at over 30 FPS. Code and models are available at https://github.com/visionml/pytracking.


title: Analysis of DNN Speech Signal Enhancement for Robust Speaker Recognition

abstract: In this work, we present an analysis of a DNN-based autoencoder for speech enhancement, dereverberation and denoising. The target application is a robust speaker verification (SV) system. We start our approach by carefully designing a data augmentation process to cover wide range of acoustic conditions and obtain rich training data for various components of our SV system. We augment several well-known databases used in SV with artificially noised and reverberated data and we use them to train a denoising autoencoder (mapping noisy and reverberated speech to its clean version) as well as an x-vector extractor which is currently considered as state-of-the-art in SV. Later, we use the autoencoder as a preprocessing step for text-independent SV system. We compare results achieved with autoencoder enhancement, multi-condition PLDA training and their simultaneous use. We present a detailed analysis with various conditions of NIST SRE 2010, 2016, PRISM and with re-transmitted data. We conclude that the proposed preprocessing can significantly improve both i-vector and x-vector baselines and that this technique can be used to build a robust SV system for various target domains.


title: SEIGAN: Towards Compositional Image Generation by Simultaneously Learning to Segment, Enhance, and Inpaint

abstract: We present a novel approach to image manipulation and understanding by simultaneously learning to segment object masks, paste objects to another background image, and remove them from original images. For this purpose, we develop a novel generative model for compositional image generation, SEIGAN (Segment-Enhance-Inpaint Generative Adversarial Network), which learns these three operations together in an adversarial architecture with additional cycle consistency losses. To train, SEIGAN needs only bounding box supervision and does not require pairing or ground truth masks. SEIGAN produces better generated images (evaluated by human assessors) than other approaches and produces high-quality segmentation masks, improving over other adversarially trained approaches and getting closer to the results of fully supervised training.


title: Chat More If You Like: Dynamic Cue Words Planning to Flow Longer Conversations

abstract: To build an open-domain multi-turn conversation system is one of the most interesting and challenging tasks in Artificial Intelligence. Many research efforts have been dedicated to building such dialogue systems, yet few shed light on modeling the conversation flow in an ongoing dialogue. Besides, it is common for people to talk about highly relevant aspects during a conversation. And the topics are coherent and drift naturally, which demonstrates the necessity of dialogue flow modeling. To this end, we present the multi-turn cue-words driven conversation system with reinforcement learning method (RLCw), which strives to select an adaptive cue word with the greatest future credit, and therefore improve the quality of generated responses. We introduce a new reward to measure the quality of cue words in terms of effectiveness and relevance. To further optimize the model for long-term conversations, a reinforcement approach is adopted in this paper. Experiments on real-life dataset demonstrate that our model consistently outperforms a set of competitive baselines in terms of simulated turns, diversity and human evaluation.


title: Collaborative Dense SLAM

abstract: In this paper, we present a new system for live collaborative dense surface reconstruction. Cooperative robotics, multi participant augmented reality and human-robot interaction are all examples of situations where collaborative mapping can be leveraged for greater agent autonomy. Our system builds on ElasticFusion to allow a number of cameras starting with unknown initial relative positions to maintain local maps utilising the original algorithm. Carrying out visual place recognition across these local maps the system can identify when two maps overlap in space, providing an inter-map constraint from which the system can derive the relative poses of the two maps. Using these resulting pose constraints, our system performs map merging, allowing multiple cameras to fuse their measurements into a single shared reconstruction. The advantage of this approach is that it avoids replication of structures subsequent to loop closures, where multiple cameras traverse the same regions of the environment. Furthermore, it allows cameras to directly exploit and update regions of the environment previously mapped by other cameras within the system. We provide both quantitative and qualitative analyses using the synthetic ICL-NUIM dataset and the real-world Freiburg dataset including the impact of multi-camera mapping on surface reconstruction accuracy, camera pose estimation accuracy and overall processing time. We also include qualitative results in the form of sample reconstructions of room sized environments with up to 3 cameras undergoing intersecting and loopy trajectories.


title: Neutrino Sources from a Multi-Messenger Perspective

abstract: The field of high-energy neutrino astronomy is undergoing a rapid evolution. After the discovery of a diffuse flux of astrophysical TeV-PeV neutrinos in 2013, the IceCube observatory has recently found first compelling evidence for neutrino emission from blazars. In this brief review, I will summarize the status of these neutrino observations and highlight the strong role of multi-messenger astronomy for their interpretation.


title: Correction to the energy spectrum of $^1S_0$ heavy quarkonia due to two-gluon annihilation effect

abstract: In this work, the non-relativistic asymptotic behavior of the transition $q\overline{q}\rightarrow2g\rightarrow q\overline{q}$ in the $^1S_0$ channel is discussed. Different with the usual calculation which expands the physical amplitude around the quark anti-quark threshold, we take the quark anti-quark pairs as off shell and only expand the expression on the three-dimensional momenta of the quarks and anti-quarks. We calculate the results to order 6. The imagine part of the results after applying the on shell conditions can reproduce the non-relativistic QCD (NRQCD) results in leading order of $\alpha_s$. The real part of the results can be used to estimate the mass shift of the $^1S_0$ heavy quark anti-quark system due to the $2g$ annihilation effect. The results can also be used to estimate the energy shifts of the positronium system due to the two-photon annihilation.


title: Odderon: models vs experimental data - a short review of recent papers

abstract: The surprising low TOTEM datum $\rho_{pp}$ = 0.09$\pm$0.01 at 13 TeV \cite{TOTEM-1} generated an important flux of papers, which can be classified in three categories: 1) papers which claim that this result is the first experimental discovery of the Odderon, namely in its maximal form; 2) papers which tried, without success, to find alternative explanations of this result; 3) papers which contest the discovery of the Maximal Odderon. In the present short note we discuss two recent papers belonging to the third category.


title: Understanding the neutrino mass constraints achievable by combining CMB lensing and spectroscopic galaxy surveys

abstract: We perform a thorough examination of the neutrino mass ($M_\nu$) constraints achievable by combining future spectroscopic galaxy surveys with cosmic microwave background (CMB) experiments, focusing on the contribution of CMB lensing and galaxy-CMB lensing. CMB lensing can help by breaking the $M_\nu$-curvature degeneracy when combined with baryon acoustic oscillation (BAO)-only measurements, but we demonstrate this combination wastes a great deal of constraining power, as the broadband shape of the power spectrum contributes significantly to constraints. We also expand on previous work to demonstrate how cosmology-independent constraints on $M_\nu$ can be extracted by combining measurements of the scale-dependence in the power spectrum caused by neutrino free-streaming with the full power of future CMB surveys. These free-streaming constraints are independent of the optical depth to the CMB ($\tau$) and competitive with constraints from BAOs for extended cosmologies, even when both are combined with CMB lensing and galaxy-CMB lensing.


title: Mismatch error correction for time interleaved analog-to-digital converter over a wide frequency range

abstract: High-speed high-resolution Analog-to-Digital Conversion is the key part for waveform digitization in physics experiments and many other domains. This paper presents a new fully digital correction of mismatch errors among the channels in Time Interleaved Analog-to-Digital Converter (TIADC) systems. We focus on correction with wide-band input signal, which means that we can correct the mismatch errors for any frequency point in a broad band with only one set of filter coefficients. Studies were also made to show how to apply the correction algorithm beyond the base band, i.e. other Nyquist zones in the under-sampling situation. Structure of the correction algorithm is presented in this paper, as well as simulation results. To evaluate the correction performance, we actually conducted a series of tests with two TIADC systems. The results indicate that the performance of both two TIADC systems can be greatly improved by correction, and the Effective Number Of Bits (ENOB) is successfully improved to be better than 9.5 bits and 5.5 bits for an input signal up to the bandwidth (-3dB) range in the 1.6-Gsps 14-bit and the 10-Gsps 8-bit TIADC systems, respectively. Tests were also conducted for input signal frequencies in the second Nyquist zone, which shows that the correction algorithms also work well as expected.


title: Broadband Defects Emission and Enhanced Ligand Raman Scattering in 0D Cs3Bi2I9 Colloidal Nanocrystals

abstract: Excitonic 0D and 2D lead-halide perovskites have been recently developed and investigated as new materials for light generation. Here we report broadband (> 1 eV) emission from newly synthesised zero-dimensional (0D) lead-free colloidal Cs3Bi2I9 nanocrystals. We investigate the nature of their emissive states as well as the relative dynamics which are currently hotly debated. In particular, we find that the broadband emission is made by the coexistence of emissive excitons and sub-bandgap emissive trap-states. Remarkably, we observe evidence of enhanced Raman scattering from the ligands when attached to the nanocrystals surface, an effect that we preliminary attribute to strong exciton-ligands electronic coupling in these systems.


title: Construction of vacuum initial data by the conformally covariant split system

abstract: Using the implicit function theorem, we prove existence of solutions of the so-called conformally covariant split system on compact 3-dimensional Riemannian manifolds. They give rise to non-Constant Mean Curvature (non-CMC) vacuum initial data for the Einstein equations. We investigate the conformally covariant split system defined on compact manifolds with or without boundaries. In the former case, the boundary corresponds to an apparent horizon in the constructed initial data. The case with a cosmological constant is then considered separately. Finally, to demonstrate the applicability of the conformal covariant split system in numerical studies, we provide numerical examples of solutions on manifolds $\mathbb S^1 \times \mathbb S^2$ and $\mathbb S^1 \times \mathbb T^2$.


title: Watermark Retrieval from 3D Printed Objects via Convolutional Neural Networks

abstract: We present a method for reading digital data embedded in planar 3D printed surfaces. The data are organised in binary arrays and embedded as surface textures in a way inspired by QR codes. At the core of the retrieval method lies a Convolutional Neural Network, outputting a confidence map of the location of the surface textures encoding value 1 bits. Subsequently, the bit array is retrieved through a series of simple image processing and statistical operations applied on the confidence map. Extensive experimentation with images captured from various camera views, under various illumination conditions and from objects printed with various material colours, shows that the proposed method generalizes well and achieves the level of accuracy required in practical applications.


title: Comment: Inductive entanglement classification of four qubits under stochastic local operation and classical communication

abstract: L. Lamata et al. have presented an entanglement classification of four qubits under stochastic local operation and classical communication (SLOCC) based on inductive approach [Phys. Rev. A \textbf{75}, 022318 (2007)]. While it works well for three qubits, we show that some of the families for four qubits have overlaps and hence this approach is not valid for entanglement classification of four or more qubits under SLOCC.


title: Anonymous Single Sign-on with Proxy Re-Verification

abstract: An anonymous Single Sign-On (ASSO) scheme allows users to access multiple services anonymously using one credential. We propose a new ASSO scheme, where users can access services anonymously through the use of anonymous credentials and unlinkably through the provision of designated verifiers. Notably, verifiers cannot link service requests of a user even if they collude. The novelty is that when a designated verifier is unavailable, a central authority can authorise new verifiers to authenticate the user on behalf of the original verifier. Furthermore, if required, a central verifier is authorised to deanonymise users and trace their service requests. We formalise the scheme along with a security proof and provide an empirical evaluation of its performance. This scheme can be applied to smart ticketing where minimising the collection of personal information of users is increasingly important to transport organisations due to privacy regulations such as General Data Protection Regulations (GDPR).


title: What's in a GitHub Star? Understanding Repository Starring Practices in a Social Coding Platform

abstract: Besides a git-based version control system, GitHub integrates several social coding features. Particularly, GitHub users can star a repository, presumably to manifest interest or satisfaction with an open source project. However, the real and practical meaning of starring a project was never the subject of an in-depth and well-founded empirical investigation. Therefore, we provide in this paper a throughout study on the meaning, characteristics, and dynamic growth of GitHub stars. First, by surveying 791 developers, we report that three out of four developers consider the number of stars before using or contributing to a GitHub project. Then, we report a quantitative analysis on the characteristics of the top-5,000 most starred GitHub repositories. We propose four patterns to describe stars growth, which are derived after clustering the time series representing the number of stars of the studied repositories; we also reveal the perception of 115 developers about these growth patterns. To conclude, we provide a list of recommendations to open source project managers (e.g., on the importance of social media promotion) and to GitHub users and Software Engineering researchers (e.g., on the risks faced when selecting projects by GitHub stars).


title: Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses

abstract: We establish proof-theoretic, constructive and coalgebraic foundations for proof search in coinductive Horn clause theories. Operational semantics of coinductive Horn clause resolution is cast in terms of coinductive uniform proofs; its constructive content is exposed via soundness relative to an intuitionistic first-order logic with recursion controlled by the later modality; and soundness of both proof systems is proven relative to a novel coalgebraic description of complete Herbrand models.


title: On the physisorption of water on graphene: Sub-chemical accuracy from many-body electronic structure methods

abstract: Molecular adsorption on surfaces plays a central role in catalysis, corrosion, desalination, and many other processes of relevance to industry and the natural world. Few adsorption systems are more ubiquitous or of more widespread importance than those involving water and carbon, and for a molecular level understanding of such interfaces water monomer adsorption on graphene is a fundamental and representative system. This system is particularly interesting as it calls for an accurate treatment of electron correlation effects, as well as posing a practical challenge to experiments. Here, we employ many-body electronic structure methodologies that can be rigorously converged and thus provide faithful references for the molecule-surface interaction. In particular, we use diffusion Monte-Carlo (DMC), coupled cluster (CCSD(T)), as well as the random phase approximation (RPA) to calculate the strength of the interaction between water and an extended graphene surface. We establish excellent, sub-chemical, agreement between the complementary high-level methodologies, and an adsorption energy estimate in the most stable configuration of approximately -100\,meV is obtained. We also find that the adsorption energy is rather insensitive to the orientation of the water molecule on the surface, despite different binding motifs involving qualitatively different interfacial charge reorganisation. In producing the first demonstrably accurate adsorption energies for water on graphene this work also resolves discrepancies amongst previously reported values for this widely studied system. It also paves the way for more accurate and reliable studies of liquid water at carbon interfaces with cheaper computational methods, such as density functional theory and classical potentials.


title: Quantum state engineering by nonlinear quantum interference

abstract: Multi-photon quantum interference is the underlying principle for optical quantum information processing protocols. Indistinguishability is the key to quantum interference. Therefore, the success of many protocols in optical quantum information processing relies on the availability of photon states with a well-defined spatial and temporal mode. Photons in single spatial mode can be obtained from nonlinear processes in single-mode waveguides. For the temporal mode, the common approach is to engineer the nonlinear processes. But it is complicated because the spectral properties and the nonlinear interaction are often intertwined through phase matching condition. In this paper, we study a different approach which is based on an SU(1,1) nonlinear interferometer with a pulsed pump and a controllable linear spectral phase shift for precise engineering. We systematically analyze the important figures of merit such as modal purity and heralding efficiency to investigate the feasibility of this approach. Specifically, we analyze in detail the requirement on the spectral phase engineering to optimize the figures of merit and apply numerical simulations to a fiber system. Both modal purity and efficiency are improved simultaneously. Furthermore, a novel multi-stage nonlinear interferometer is proposed and shown to achieve more precise state engineering for near-ideal single-mode operation and near-unity efficiency. We also extend the study to the case of high gain in the four-wave mixing process for the spectral engineering of quantum entanglement in continuous variables. Our investigation provides a new approach for precisely tailoring the spectral property of quantum light sources, especially, photon pairs can be engineered to simultaneously possess the features of high purity, high collection efficiency, high brightness, and high flexibility in wavelength and bandwidth selection.


title: Can the complex Langevin method see the deconfinement phase transition in QCD at finite density?

abstract: Exploring the phase diagram of QCD at finite density is a challenging problem since first-principle calculations based on standard Monte Carlo methods suffer from the sign problem. As a promising approach to this issue, the complex Langevin method (CLM) has been pursued intensively.In this work, we investigate the applicability of the CLM in the vicinity of the deconfinement phase transition using the four-flavor staggered fermions. In particular, we look for a signal of the expected first order phase transition within the validity region of the CLM.


title: Manipulating azobenzene photoisomerization through strong light-molecule coupling

abstract: The formation of hybrid light-molecule states (polaritons) offers a new strategy to manipulate the photochemistry of molecules. To fully exploit its potential, one needs to build a toolbox of polaritonic phenomenologies that supplement those of standard photochemistry. By means of a state-of-the-art computational photochemistry approach extended to the strong-coupling regime, here we disclose various mechanisms peculiar of polaritonic chemistry: coherent population oscillations between polaritons, quenching by trapping in dead-end polaritonic states and the alteration of the photochemical reaction pathway and quantum yields. We focus on azobenzene photoisomerization, that encompasses the essential features of complex photochemical reactions such as the presence of conical intersections and reaction coordinates involving multiple internal modes. In the strong coupling regime, a polaritonic conical intersection arises and we characterize its role in the photochemical process. Our chemically detailed simulations provide a framework to rationalize how the strong coupling impacts the photochemistry of realistic molecules


title: Visibility Extension via Reflective Edges to an Exact Quantity

abstract: We consider extending the visibility polygon of a given point $q$, inside a simple polygon $P$ by converting some edges of $P$ to mirrors. We will show that several variations of the problem of finding mirror-edges to add precisely $k$ units of area to $VP(q)$ are NP-complete. The optimal cases are NP-hard. We are unaware of any result on adding an exact number to a polygon, or covering an area with an exact surface. We deal with both single and multiple reflecting mirrors for both specular or diffuse types of reflections.


title: On the cofactor conditions and further conditions of supercompatibility between phases

abstract: In this paper we improve the understanding of the cofactor conditions, which are particular conditions of geometric compatibility between austenite and martensite, that are believed to influence reversibility of martensitic transformations. We also introduce a physically motivated metric to measure how closely a material satisfies the cofactor conditions, as the two currently used in the literature can give contradictory results. We introduce a new condition of super-compatibility between martensitic laminates, which potentially reduces hysteresis and enhances reversibility. Finally, we show that this new condition of super-compatibility is very closely satisfied by Zn45Au30Cu25, the first of a class of recently discovered materials, fabricated to closely satisfy the cofactor conditions, and undergoing ultra-reversible martensitic transformation.


title: Plasmonic nanogap enhanced phase change devices with dual electrical-optical functionality

abstract: Modern-day computers use electrical signaling for processing and storing data which is bandwidth limited and power-hungry. These limitations are bypassed in the field of communications, where optical signaling is the norm. To exploit optical signaling in computing, however, new on-chip devices that work seamlessly in both electrical and optical domains are needed. Phase change devices can in principle provide such functionality, but doing so in a single device has proved elusive due to conflicting requirements of size-limited electrical switching and diffraction-limited photonic devices. Here, we combine plasmonics, photonics and electronics to deliver a novel integrated phase-change memory and computing cell that can be electrically or optically switched between binary or multilevel states, and read-out in either mode, thus merging computing and communications technologies.


title: Light curve variation caused by accretion column switching stellar hemispheres

abstract: I use two-dimensional axisymmetric numerical simulations of star-disk magnetospheric interaction to construct a three-dimensional model of hot spots on the star created by infalling accretion columns. The intensity of emitted radiation is computed with minimal assumptions, as seen by observers at infinity from the different angles. In the illustrative examples, shown is a change in the intensity curve with changes in the geometry of the model, and also a change in results with modification in the physical parameters in the simulation.


title: External branch lengths of $\Lambda$-coalescents without a dust component

abstract: $\Lambda$-coalescents model genealogies of samples of individuals from a large population by means of a family tree whose branches have lengths. The tree's leaves represent the individuals, and the lengths of the adjacent edges indicate the individuals' time durations up to some common ancestor. These edges are called external branches. We consider typical external branches under the broad assumption that the coalescent has no dust component, and maximal external branches under further regularity assumptions. As it transpires, the crucial characteristic is the coalescent's rate of decrease $\mu(b)$, $b\geq 2$. The magnitude of a typical external branch is asymptotically given by $n/\mu(n)$, where $n$ denotes the sample size. This result, in addition to the asymptotic independence of several typical external lengths hold in full generality, while convergence in distribution of the scaled external lengths requires that $\mu(n)$ is regularly varying at infinity. For the maximal lengths, we distinguish two cases. Firstly, we analyze a class of $\Lambda$-coalescents coming down from infinity and with regularly varying $\mu$. Here the scaled external lengths behave as the maximal values of $n$ i.i.d. random variables, and their limit is captured by a Poisson point process on the positive real line. Secondly, we turn to the Bolthausen-Sznitman coalescent, where the picture changes. Now the limiting behavior of the normalized external lengths is given by a Cox point process, which can be expressed by a randomly shifted Poisson point process.


title: AGILE, Fermi, Swift, and GASP-WEBT multi-wavelength observations of the high-redshift blazar 4C $+$71.07 in outburst

abstract: The flat-spectrum radio quasar 4C $+$71.07 is a high-redshift ($z=2.172$), $\gamma$-loud blazar whose optical emission is dominated by the thermal radiation from accretion disc. 4C $+$71.07 has been detected in outburst twice by the AGILE $\gamma$-ray satellite during the period end of October - mid November 2015, when it reached a $\gamma$-ray flux of the order of $F_{\rm E>100\,MeV} = (1.2 \pm 0.3)\times 10^{-6}$ photons cm$^{-2}$ s$^{-1}$ and $F_{\rm E>100\,MeV} = (3.1 \pm 0.6)\times 10^{-6}$ photons cm$^{-2}$ s$^{-1}$, respectively, allowing us to investigate the properties of the jet and of the emission region. We investigated its spectral energy distribution by means of almost simultaneous observations covering the cm, mm, near-infrared, optical, ultra-violet, X-ray and $\gamma$-ray energy bands obtained by the GASP-WEBT Consortium, the Swift and the AGILE and Fermi satellites. The spectral energy distribution of the second $\gamma$-ray flare (the one whose energy coverage is more dense) can be modelled by means of a one-zone leptonic model, yielding a total jet power of about $4\times10^{47}$ erg s$^{-1}$. During the most prominent $\gamma$-ray flaring period our model is consistent with a dissipation region within the broad-line region. Moreover, this class of high-redshift, large-mass black-hole flat-spectrum radio quasars might be good targets for future $\gamma$-ray satellites such as e-ASTROGAM.


title: An Influence-based Clustering Model on Twitter

abstract: This paper introduces a temporal framework for detecting and clustering emergent and viral topics on social networks. Endogenous and exogenous influence on developing viral content is explored using a clustering method based on the a user's behavior on social network and a dataset from Twitter API. Results are discussed by introducing metrics such as popularity, burstiness, and relevance score. The results show clear distinction in characteristics of developed content by the two classes of users.


title: A comment on the vanishing of rational motivic Borel-Moore homology

abstract: This note concerns a weak form of Parshin's conjecture, which states that the rational motivic Borel--Moore homology of a quasiprojective variety of dimension $m$ over a finite field in bidegree $(s,t)$ vanishes for $s>m+t$. It is shown that this conjecture holds if and only if the cyclic action on the motivic cohomology of an Artin--Schreier field extension in bidegree $(i,j)$ is trivial if $i<j$.


title: Spatial Measures of Urban Systems: from Entropy to Fractal Dimension

abstract: A type of fractal dimension definition is based on the generalized entropy function. Both entropy and fractal dimension can be employed to characterize complex spatial systems such as cities and regions. Despite the inherent connect between entropy and fractal dimension, they have different application scopes and directions in urban studies. This paper focuses on exploring how to convert entropy measurement into fractal dimension for the spatial analysis of scale-free urban phenomena using ideas from scaling. Urban systems proved to be random prefractal and multifractals systems. The entropy of fractal cities bears two typical properties. One is the scale dependence. Entropy values of urban systems always depend on the scales of spatial measurement. The other is entropy conservation. Different fractal parts bear the same entropy value. Thus entropy cannot reflect the spatial heterogeneity of fractal cities in theory. If we convert the generalized entropy into multifractal spectrums, the problems of scale dependence and entropy homogeneity can be solved to a degree for urban spatial analysis. The essence of scale dependence is the scaling in cities, and the spatial heterogeneity of cities can be characterized by multifractal scaling. This study may be helpful for the students to describe and understand spatial complexity of cities.


title: Differential-Algebraic Equations and Beyond: From Smooth to Nonsmooth Constrained Dynamical Systems

abstract: The present article presents a summarizing view at differential-algebraic equations (DAEs) and analyzes how new application fields and corresponding mathematical models lead to innovations both in theory and in numerical analysis for this problem class. Recent numerical methods for nonsmooth dynamical systems subject to unilateral contact and friction illustrate the topicality of this development.


title: Synthesis of Spatial Charging/Discharging Patterns of In-Vehicle Batteries for Provision of Ancillary Service and Mitigation of Voltage Impact

abstract: We develop an algorithm for synthesizing a spatial pattern of charging/discharging operations of in-vehicle batteries for provision of Ancillary Service (AS) in power distribution grids. The algorithm is based on the ODE (Ordinary Differential Equation) model of distribution voltage that has been recently introduced. In this paper, firstly, we derive analytical solutions of the ODE model for a single straight-line feeder through a partial linearization, thereby providing a physical insight to the impact of spatial EV charging/discharging to the distribution voltage. Second, based on the analytical solutions, we propose an algorithm for determining the values of charging/discharging power (active and reactive) by in-vehicle batteries in the single feeder grid, so that the power demanded as AS (e.g. a regulation signal to distribution system operator for primary frequency control reserve) is provided by EVs, and the deviation of distribution voltage from a nominal value is reduced in the grid. Effectiveness of the algorithm is established with numerical simulations on the single feeder grid and on a realistic feeder grid with multiple bifurcations.


title: Enhanced spontaneous down-conversion in a nonlinear crystal embedded with plasmonic-quantum emitter hybrid structures

abstract: Control of nonlinear response of nanostructures via path interference effects, i.e. Fano resonances, has been studied extensively. In such materials, a frequency conversion process which takes place near a hot spot has been considered. Here, we study a different case. The frequency conversion process takes place along the body of a nonlinear crystal. Metal nanoparticle-quantum emitter dimers control the down-conversion process, taking place throughout the crystal body, via introducing interfering conversion paths. Dimers behave as interaction centers. We show that a 2 order of magnitude enhancement is possible, beyond an enhancement due to localization effects. This factor multiplies the enhancement taking place due to the field localization.


title: Networks of ribosome flow models for modeling and analyzing intracellular traffic

abstract: The ribosome flow model with input and output (RFMIO) is a deterministic dynamical system that has been used to study the flow of ribosomes during mRNA translation. The RFMIO and its variants encapsulate important properties that are relevant to modeling ribosome flow such as the possible evolution of "traffic jams" and non-homogeneous elongation rates along the mRNA molecule, and can also be used for studying additional intracellular processes such as transcription, transport, and more. Here we consider networks of interconnected RFMIOs as a fundamental tool for modeling, analyzing and re-engineering the complex mechanisms of protein production. In these networks, the output of each RFMIO may be divided, using connection weights, between several inputs of other RFMIOs. We show that under quite general feedback connections the network has two important properties: (1) it admits a unique steady-state and every trajectory converges to this steady-state, and (2) the problem of how to determine the connection weights so that the network steady-state output is maximized is a convex optimization problem. These mathematical properties make these networks highly suitable as models of various phenomena: property (1) means that the behavior is predictable and ordered, and property (2) means that determining the optimal weights is numerically tractable even for large-scale networks. For the specific case of a feed-forward network of RFMIOs we prove an additional useful property, namely, that there exists a spectral representation for the network steady-state, and thus it can be determined without any numerical simulations of the dynamics. We describe the implications of these result to several fundamental biological phenomena and biotechnological objectives.


title: Intention Oriented Image Captions with Guiding Objects

abstract: Although existing image caption models can produce promising results using recurrent neural networks (RNNs), it is difficult to guarantee that an object we care about is contained in generated descriptions, for example in the case that the object is inconspicuous in the image. Problems become even harder when these objects did not appear in training stage. In this paper, we propose a novel approach for generating image captions with guiding objects (CGO). The CGO constrains the model to involve a human-concerned object when the object is in the image. CGO ensures that the object is in the generated description while maintaining fluency. Instead of generating the sequence from left to right, we start the description with a selected object and generate other parts of the sequence based on this object. To achieve this, we design a novel framework combining two LSTMs in opposite directions. We demonstrate the characteristics of our method on MSCOCO where we generate descriptions for each detected object in the images. With CGO, we can extend the ability of description to the objects being neglected in image caption labels and provide a set of more comprehensive and diverse descriptions for an image. CGO shows advantages when applied to the task of describing novel objects. We show experimental results on both MSCOCO and ImageNet datasets. Evaluations show that our method outperforms the state-of-the-art models in the task with average F1 75.8, leading to better descriptions in terms of both content accuracy and fluency.


title: Pulsed thermal deposition of binary and ternary transition metal dichalcogenide monolayers and heterostructures

abstract: Application of transition metal dichalcogenides (TMDC) in photonic, optoelectronic or valleytronic devices requires the growth of continuous monolayers, heterostructures and alloys of different materials in a single process. We present a facile pulsed thermal deposition method which provides precise control over layer thickness and stoichiometry of two-dimensional systems. The versatility of the method is demonstrated on ternary monolayers of Mo$_{1-x}$W$_{x}$S$_{2}$ and on heterostructures combining metallic TaS$_{2}$ and semiconducting MoS$_{2}$ layers. The fabricated ternary monolayers cover the entire composition range of $x$ = 0...1 without phase separation. Band gap engineering and control over the spin-orbit coupling strength is demonstrated by absorption and photoluminescence spectroscopy. Vertical heterostructures are grown without intermixing. The formation of clean and atomically abrupt interfaces is evidenced by high-resolution transmission electron microscopy. Since both the metal components as well as the chalcogenides are thermally evaporated complex alloys and heterostructures can thus be prepared.


title: A model for the evolution of highly reversible martensitic transformations

abstract: In this work we introduce a new system of partial differential equations as a simplified model for the evolution of reversible martensitic transformations under thermal cycling in low hysteresis alloys. The model is developed in the context of nonlinear continuum mechanics, where the developed theory is mostly static, and cannot capture the influence of dynamics on martensitic microstructures. First, we prove existence of weak solutions; secondly, we study the physically relevant limit when the interface energy density vanishes, and the elastic constants tend to infinity. The limit problem provides a framework for the moving mask approximation recently introduced by the author. In the last section we study the limit equations in a one-dimensional setting. After closing the equations with a constitutive relation between the phase interface velocity and the temperature of the one-dimensional sample, the equations become a two-phase Stefan problem with a kinetic condition at the free boundary. Under some further assumptions, we show that the phase interface reaches the domain boundary in finite time.


title: FD-GAN: Face-demorphing generative adversarial network for restoring accomplice's facial image

abstract: Face morphing attack is proved to be a serious threat to the existing face recognition systems. Although a few face morphing detection methods have been put forward, the face morphing accomplice's facial restoration remains a challenging problem. In this paper, a face de-morphing generative adversarial network (FD-GAN) is proposed to restore the accomplice's facial image. It utilizes a symmetric dual network architecture and two levels of restoration losses to separate the identity feature of the morphing accomplice. By exploiting the captured facial image (containing the criminal's identity) from the face recognition system and the morphed image stored in the e-passport system (containing both criminal and accomplice's identities), the FD-GAN can effectively restore the accomplice's facial image. Experimental results and analysis demonstrate the effectiveness of the proposed scheme. It has great potential to be implemented for detecting the face morphing accomplice in a real identity verification scenario.


title: Efficient Channel Model for Homogeneous Weakly Coupled Multicore Fiber

abstract: To analyze a homogeneous weakly coupled multicore fiber (WC-MCF) based transmission system via simulation, we propose an efficient (fast and accurate) WC-MCF's channel model, which can describe the propagation effects including attenuation, walk-off, chromatic dispersion, self-phase modulation (SPM), and especially the frequency-dependent inter-core crosstalk (XT). We speed up the simulation with two orders of magnitude by simplifying the XT's calculation. On one hand, the calculation step size can be greatly increased by utilizing a new XT's coupling matrix. On the other hand, the calculation of XT can be further accelerated by down-sampling XT's coupling matrix in frequency domain. The XT power and average occurrence distance should be set manually based on the existing XT model to describe the frequency-dependent XT the same as a real WC-MCF. We numerically and experimentally observed that XT's de-correlation bandwidth decreases with relative time delay (RTD) by fractional linear function. The range of validity of the proposed channel model is also discussed with different walk-off and coupling strength. We believe the proposed efficient channel model can provide great help for analysis and optimization of homogeneous WC-MCF based optical communication systems.


title: Second order linear evolution equations with general dissipation

abstract: The contraction semigroup $S(t)={\rm e}^{t\mathbb{A}}$ generated by the abstract linear dissipative evolution equation $$ \ddot u + A u + f(A) \dot u=0 $$ is analyzed, where $A$ is a strictly positive selfadjoint operator and $f$ is an arbitrary nonnegative continuous function on the spectrum of $A$. A full description of the spectrum of the infinitesimal generator $\mathbb{A}$ of $S(t)$ is provided. Necessary and sufficient conditions for the stability, the semiuniform stability and the exponential stability of the semigroup are found, depending on the behavior of $f$ and the spectral properties of its zero-set. Applications to wave, beam and plate equations with fractional damping are also discussed.


title: Deep-inelastic and quasielastic electron scattering from $A=3$ nuclei

abstract: We perform a combined analysis of inclusive electron scattering data from $A=3$ nuclei in the deep-inelastic and quasielastic scattering regions, using Monte Carlo analysis methods and the nuclear weak binding approximation to establish the range over which the data can be described within the same theoretical framework. Comparison with quasielastic $^3$He cross sections from SLAC and Jefferson Lab suggests that most features of the $x \gtrsim 1$ data can be reasonably well described in the impulse approximation with finite-$Q^2$ nuclear smearing functions for momentum transfers $Q^2 \gtrsim 1$ GeV$^2$. For the DIS region, we analyze the recent $^3$He to deuterium cross section ratio from the Jefferson Lab E03-103 experiment to explore the possible isospin dependence of the nuclear effects. We discuss the implications of this for the MARATHON experiment at Jefferson Lab, and outline how a Bayesian analysis of $^3$He, $^3$H and deuterium data can robustly determine the free neutron structure function.


title: Simulating Venus' Cloud Level Dynamics Using a Middle Atmosphere General Circulation Model

abstract: The atmosphere of Venus is characterized by strong superrotation, in which the wind velocities at cloud heights are around 60 times faster than the surface rotation rate. The reasons for this strong superrotation are still not well understood. Motions in the atmosphere below the thick cloud deck are hard to determine remotely and in-situ measurements of the circulation below 40 km altitude are scarce. No model to date has been able to simulate superrotating winds with magnitudes comparable with those measured by entry probes, in the dense atmosphere between the surface and the clouds. However, important information on the dynamics and circulation of Venus' atmosphere can be determined by studying the atmosphere at cloud levels, where there are significantly more measurements than in the sub-cloud region, including the many recent observations made during the Venus Express and Akatsuki missions. In this work we describe a new Venus Middle atmosphere general circulation Model (VMM) to study the dynamics of the atmosphere at cloud altitudes. The model simulates the atmosphere from just below cloud deck to around 95 km altitude. We present simulations using the VMM with a simplified Newtonian cooling radiation scheme. Sensitivity studies have been performed to determine the most appropriate values for model parameters and the model has been validated by comparison with observations, including those from Venus Express and Akatsuki. The validated model provides some constraints on parameters which are poorly measured close to the boundary such as the mean winds and temperatures, and provides a basis for further investigations of the dynamics of Venus' cloud-level atmosphere. In future studies we will also investigate the influence of atmospheric waves, such as Kelvin and Rossby waves, to determine the role they play in generating the poorly-understood cloud-level structure at all latitudes.


title: Operation of a Microfabricated Planar Ion-Trap for Studies of a Yb$^+$-Rb Hybrid Quantum System

abstract: In order to study interactions of atomic ions with ultracold neutral atoms, it is important to have sub-$\mu$m control over positioning ion crystals. Serving for this purpose, we introduce a microfabricated planar ion trap featuring 21 DC electrodes. The ion trap is controlled by a home-made FPGA voltage source providing independently variable voltages to each of the DC electrodes. To assure stable positioning of ion crystals with respect to trapped neutral atoms, we integrate into the overall design a compact mirror magneto optical chip trap (mMOT) for cooling and confining neutral $^{87}$Rb atoms. The trapped atoms will be transferred into an also integrated chipbased Ioffe-Pritchard trap potential formed by a Z-shaped wire and an external bias magnetic field.We introduce the hybrid atom-ion chip, the microfabricated planar ion trap and use trapped ion crystals to determine ion lifetimes, trap frequencies, positioning ions and the accuracy of the compensation of micromotion.


title: Silver nanowires with optimized silica coating as versatile plasmonic resonators

abstract: Metal nanoparticles are the most frequently used nanostructures in plasmonics. However, besides nanoparticles, metal nanowires feature several advantages for applications. Their elongation offers a larger interaction volume, their resonances can reach higher quality factors, and their mode structure provides better coupling into integrated hybrid dielectric-plasmonic circuits. It is crucial though, to control the distance of the wire to a supporting substrate, to another metal layer or to active materials with sub-nanometer precision. A dielectric coating can be utilized for distance control, but it must not degrade the plasmonic properties. In this paper, we introduce a controlled synthesis and coating approach for silver nanowires to fulfill these demands. We synthesize and characterize silver nanowires of around 70 nm in diameter. These nanowires are coated with nm-sized silica shells using a modified St\"ober method to achieve a homogeneous and smooth surface quality. We use transmission electron microscopy, dark-field microscopy and electron-energy loss spectroscopy to study morphology and plasmonic resonances of individual nanowires and quantify the influence of the silica coating. Thorough numerical simulations support the experimental findings showing that the coating does not deteriorate the plasmonic properties and thus introduce silver nanowires as usable building blocks for integrated hybrid plasmonic systems.


title: When Conventional machine learning meets neuromorphic engineering: Deep Temporal Networks (DTNets) a machine learning frawmework allowing to operate on Events and Frames and implantable on Tensor Flow Like Hardware

abstract: We introduce in this paper the principle of Deep Temporal Networks that allow to add time to convolutional networks by allowing deep integration principles not only using spatial information but also increasingly large temporal window. The concept can be used for conventional image inputs but also event based data. Although inspired by the architecture of brain that inegrates information over increasingly larger spatial but also temporal scales it can operate on conventional hardware using existing architectures. We introduce preliminary results to show the efficiency of the method. More in-depth results and analysis will be reported soon!


title: Fast submodular maximization subject to k-extendible system constraints

abstract: As the scales of data sets expand rapidly in some application scenarios, increasing efforts have been made to develop fast submodular maximization algorithms. This paper presents a currently the most efficient algorithm for maximizing general non-negative submodular objective functions subject to $k$-extendible system constraints. Combining the sampling process and the decreasing threshold strategy, our algorithm Sample Decreasing Threshold Greedy Algorithm (SDTGA) obtains an expected approximation guarantee of ($p-\epsilon$) for monotone submodular functions and of ($p(1-p)-\epsilon$) for non-monotone cases with expected computational complexity of only $O(\frac{pn}{\epsilon}\ln\frac{r}{\epsilon})$, where $r$ is the largest size of the feasible solutions, $0<p \leq \frac{1}{1+k}$ is the sampling probability and $0< \epsilon < p$. If we fix the sampling probability $p$ as $\frac{1}{1+k}$, we get the best approximation ratios for both monotone and non-monotone submodular functions which are $(\frac{1}{1+k}-\epsilon)$ and $(\frac{k}{(1+k)^2}-\epsilon)$ respectively. While the parameter $\epsilon$ exists for the trade-off between the approximation ratio and the time complexity. Therefore, our algorithm can handle larger scale of submodular maximization problems than existing algorithms.


title: An Adaptive Oversampling Learning Method for Class-Imbalanced Fault Diagnostics and Prognostics

abstract: Data-driven fault diagnostics and prognostics suffers from class-imbalance problem in industrial systems and it raises challenges to common machine learning algorithms as it becomes difficult to learn the features of the minority class samples. Synthetic oversampling methods are commonly used to tackle these problems by generating the minority class samples to balance the distributions between majority and minority classes. However, many of oversampling methods are inappropriate that they cannot generate effective and useful minority class samples according to different distributions of data, which further complicate the process of learning samples. Thus, this paper proposes a novel adaptive oversampling technique: EM-based Weighted Minority Oversampling TEchnique (EWMOTE) for industrial fault diagnostics and prognostics. The methods comprises a weighted minority sampling strategy to identify hard-to-learn informative minority fault samples and Expectation Maximization (EM) based imputation algorithm to generate fault samples. To validate the performance of the proposed methods, experiments are conducted in two real datasets. The results show that the method could achieve better performance on not only binary class, but multi-class imbalance learning task in different imbalance ratios than other oversampling-based baseline models.


title: Uncountable n-Dimensional Excellent Regular Local Rings with Countable Spectra

abstract: We prove that, for any $n\geq 0$, there exists an uncountable, $n$-dimensional, excellent, regular local ring with countable spectrum.


title: `Hidden' symmetry of linearized gravity in de Sitter space

abstract: We demonstrate that the linearized Einstein gravity in de Sitter (dS) spacetime besides the evident symmetries also possesses the additional (local) symmetry $h_{\mu\nu}\rightarrow h_{\mu\nu} + {\cal E}_{\mu\nu}\chi$, where ${\cal E}_{\mu\nu}$ is a spin-two projector tensor and $\chi$ is an arbitrary constant function. We argue that an anomalous symmetry associated with this hitherto `hidden' property of the existing physics is indeed at the origin of `dS breaking' in linearized quantum gravity.


title: Complexity Analysis of a Sampling-Based Interior Point Method for Convex Optimization

abstract: We develop a short-step interior point method to optimize a linear function over a convex body assuming that one only knows a membership oracle for this body. The approach is based on Abernethy and Hazan's sketch of a universal interior point method using the so-called entropic barrier [arXiv 1507.02528v2, 2015]. It is well-known that the gradient and Hessian of the entropic barrier can be approximated by sampling from Boltzmann-Gibbs distributions, and the entropic barrier was shown to be self-concordant by Bubeck and Eldan [arXiv 1412.1587v3, 2015]. The analysis of our algorithm uses properties of the entropic barrier, mixing times for hit-and-run random walks by Lov\'asz and Vempala [Foundations of Computer Science, 2006], approximation quality guarantees for the mean and covariance of a log-concave distribution, and results from De Klerk, Glineur and Taylor on inexact Newton-type methods [arXiv 1709.0519, 2017].


title: A deep X-ray view of the bare AGN Ark 120. VI. Geometry of the hot corona from spectroscopic and polarization signatures

abstract: The spectral shape of the hard X-ray continuum of Active Galactic Nuclei (AGN) can be ascribed to inverse Compton scattering of optical/UV seed photons from the accretion disc by a hot corona of electrons. This physical process produces a polarization signal which is strongly sensitive to the geometry of the scattering medium (i.e. the hot corona) and of the radiation field. MoCA (Monte Carlo code for Comptonisation in Astrophysics) is a versatile code which allows for different geometries and configurations to be tested for Compton scattering in compact objects. A single photon approach is considered as well as polarisation and Klein-Nishina effects. In this work, we selected four different geometries for the scattering electrons cloud above the accretion disc, namely an extended slab, an extended spheroid and two compact spheroids. We discuss the first application of the MoCA model to reproduce the hard X-ray primary continuum of the bare Seyfert 1 galaxy Ark 120, using different geometries for the hot corona above the accretion disc. We report on the spectral analysis of the simultaneous 2013 and 2014 XMM-Newton and NuSTAR observations of the source. A general agreement is found between the best fit values of the hot coronal parameters obtained with MoCA and the ones inferred using other Comptonisation codes from the literature. The expected polarization signal from the best fits with MoCA is then presented and discussed, in view of the launch in 2021 of the Imaging X-ray Polarimetry Explorer (IXPE). We find that none of the tested geometries for the hot corona (extended slab and extended/compact spheroids) can be statistically preferred, based on spectroscopy solely. In the future, an IXPE observation less than 1 Ms long will clearly distinguish between an extended slab or a spherical hot corona.


title: Distributions of mesh patterns of short lengths

abstract: A systematic study of avoidance of mesh patterns of length 2 was conducted by Hilmarsson et al., where 25 out of 65 non-equivalent cases were solved. In this paper, we give 27 distribution results for these patterns including 14 distributions for which avoidance was not known. Moreover, for the unsolved cases, we prove an equidistribution result (out of 6 equidistribution results we prove in total), and conjecture 6 more equidistributions. Finally, we find seemingly unknown distribution of the well known permutation statistic ``strict fixed point'', which plays a key role in many of our enumerative results. This paper is the first systematic study of distributions of mesh patterns. Our techniques to obtain the results include, but are not limited to, obtaining functional relations for generating functions, and finding recurrence relations and bijections.


title: Interaction without back-action in the context of quantum manipulation

abstract: We address the interaction between two quantum systems (A and B) that is mediated by their common linear environment. If the environment is out of equilibrium the resulting interaction violates Onsager relations and cannot be described by a Hamiltonian. In simple terms the action of system A on system B does not necessarily produce a back-action. We derive general quantum equations describing the situation and analyze in details their classical correspondence. Changing the properties of the environment one can easily change and engineer the resulting interaction. It is tempting to use this for quantum manipulation of the systems. However the resulting quantum gate is not always unitary and may induce a loss of quantum coherence. For a relevant example we consider systems A and B to be spins of arbitrary values and arrange the interaction to realize an analogue of the two-qubit CNOT gate. The direction of spin A controls the rotation of spin B while spin A is not rotated experiencing no back-action from spin B. We solve the quantum dynamics equations and analyze the purity of the resulting density matrix. The resulting purity essentially depends on the initial states of the systems. We attempt to find a universal characteristics of the purity optimizing it for the worst choice of initial states. For both spins $s_A=s_B=1/2$, the optimized purity is bounded by 1/2 irrespective of the details of the gate. We also study in detail the semiclassical limit of large spins. In this case the optimized purity is bounded by $(1+\pi/2)^{-1}\approx0.39$. This is much better than the typical purity of a large spin state $\sim s^{-1}$. We conclude that although the quantum manipulation without back-action inevitably causes decoherence of the quantum states the actual purity of the resulting state can be optimized and made relatively high.


title: Correlation effects in spin models in the presence of a spin bath

abstract: We analyze the effect of a bath of spins interacting with a spin system in terms of the equation of motion technique. We show that this formalism can be used with general spin systems and baths, and discuss the concrete case of a Quantum Ising model longitudinally coupled to the bath. We show how the uncorrelated solutions change when spin-spin correlations are included, the properties of the quasiparticle excitations and the effect of internal dynamics in the spin bath.


title: Correlation functions with single photon emitters under noisy resonant continuous excitation

abstract: To characterize the statistics and indistinguishability of a source, it is common to measure the correlation functions of the emitted field using various interferometers. Here, we present a theoretical framework for the computation of the correlation functions of a two-level system that is resonantly driven by a realistic noisy cw excitation laser. Analytic expressions of the first and second-order auto-correlation functions are obtained where the various contributions of the noisy excitation source are correctly taken into account. We predict that, even in the low power regime, the noise source has a strong influence on the two-level system dynamics, which is not anticipated by simpler models. The characterization of photon indistinguishability in the pulsed excitation regime is usually done by measuring the value of the zero-delay intensity correlation obtained with a Hong-Ou-Mandel interferometer. We show that this figure is irrelevant in the cw excitation regime and we introduce the coalescence time window, a figure of merit based on a probabilistic interpretation of the notion of photon indistinguishability. We finally use the coalescence time window to quantify how noisy cw excitation influences photon indistinguishability.


title: Nonpairwise interactions induced by virtual transitions in four coupled artificial atoms

abstract: The field of quantum information has matured and various protocols implementing a quantum computer are being pursued. Most similar to a classical computer is the circuit model. In 2007 Aharonov et al. showed the equivalence between the circuit model and a quantum annealer, and with this proofed the universality of quantum annealing. Here the system starts in an easily preparable ground state and evolves adiabatically to a final ground state which yields the solution of the computational problem. However, equivalence with the circuit model requires multi-local interactions, i.e. interaction terms involving more than two subsystems. Natural interactions are only two-local, hence the construction or simulation of higher order couplers is indispensable for a universal quantum annealer. Also, four-local couplers allow compact implementation of error correction with the Bacon-Shor code. Four-local interactions can further serve as a tool for basic research. Here we show that in a specific flux qubit coupler design without ancilla qubits, four body interactions are induced by virtual coupler excitations. For specific parameter regimes they are even the leading effect and can be tuned up to the GHz range.


title: Efficient keyword spotting using dilated convolutions and gating

abstract: We explore the application of end-to-end stateless temporal modeling to small-footprint keyword spotting as opposed to recurrent networks that model long-term temporal dependencies using internal states. We propose a model inspired by the recent success of dilated convolutions in sequence modeling applications, allowing to train deeper architectures in resource-constrained configurations. Gated activations and residual connections are also added, following a similar configuration to WaveNet. In addition, we apply a custom target labeling that back-propagates loss from specific frames of interest, therefore yielding higher accuracy and only requiring to detect the end of the keyword. Our experimental results show that our model outperforms a max-pooling loss trained recurrent neural network using LSTM cells, with a significant decrease in false rejection rate. The underlying dataset - "Hey Snips" utterances recorded by over 2.2K different speakers - has been made publicly available to establish an open reference for wake-word detection.


title: Small Anisotropy in Stellar Objects in Modified Theories of Gravity

abstract: Interior structures of stellar objects might have small pressure anisotropy due to several reasons, including rotation and the presence of magnetic fields. Here, retaining the approximation of spherical symmetry, we study the possible role of small anisotropy in stellar interiors in theories of modified gravity, that are known to alter the hydrostatic equilibrium condition inside stars. We show how anisotropy may put lower and upper bounds on the modified gravity parameter depending on the polytropic equation of state, and determine them numerically. We also study the mass of stellar objects in these theories, assuming such equations of state, and find that the Chandrasekhar mass limit in white dwarf stars gets substantially modified compared to the isotropic case, even without assuming the presence of extreme magnetic fields. Effects of small pressure anisotropy on the Hydrogen burning limit in low mass stars are also briefly commented upon. It is shown that here the isotropic case can predict a theoretical lower bound on the scalar tensor parameter, in addition to a known upper bound.


title: Representations of mock theta functions

abstract: Motivated by the works of Liu, we provide a unified approach to find Appell-Lerch series and Hecke-type series representations for mock theta functions. We establish a number of parameterized identities with two parameters $a$ and $b$. Specializing the choices of $(a,b)$, we not only give various known and new representations for the mock theta functions of orders 2, 3, 5, 6 and 8, but also present many other interesting identities. We find that some mock theta functions of different orders are related to each other, in the sense that their representations can be deduced from the same $(a,b)$-parameterized identity. Furthermore, we introduce the concept of false Appell-Lerch series. We then express the Appell-Lerch series, false Appell-Lerch series and Hecke-type series in this paper using the building blocks $m(x,q,z)$ and $f_{a,b,c}(x,y,q)$ introduced by Hickerson and Mortenson, as well as $\overline{m}(x,q,z)$ and $\overline{f}_{a,b,c}(x,y,q)$ introduced in this paper. We also show the equivalences of our new representations for several mock theta functions and the known representations.


title: Study of Exospheric Neutral Composition of Mars observed from Indian Mars Orbiter Mission

abstract: The raw exospheric composition data of Mars for the period September 2014 to October 2015 has been retrieved and analysed using the observations carried out by Mars Exospheric Neutral Composition Analyser (MENCA) payload on-board the Mars Orbiter Mission (MOM) launched by India on 5 November 2013. The state parameters viz. latitude, longitude, altitude and solar zenith angle coverage of the partial pressures of different exospheric constituents are determined and assigned to enrich the usefulness of data with orbit-wise assimilation particularly between 250 and 500 km altitude range of main interest. Apart from getting the results on mean individual orbits partial pressure profiles during the northern winter, the variations of total as well as partial pressures are also studied with respect to the distribution of major atmospheric constituents and their dependence on solar activity. In particular, CO2 and O variations are considered together for any differential effects due to photo-dissociation and photo-ionisation. The results on gradual reduction in densities due to the decreasing daily mean sunspot numbers and strong response of CO2 and O pressures to solar energetic particle events like that of 24 December 2014 following a solar flare were discussed in this paper.


title: Dynamical distortions of structural signatures in molecular High Harmonic Spectroscopy

abstract: We study the signature of two-center interferences in molecular high-order harmonic spectra, with an emphasis on the spectral phase. With the help of both ab initio computations based on the time-dependent Schr\"odinger equation and the molecular Strong-Field Approximation (SFA) as developed by Chirila et al. [Physical Review A, 73, 023410 (2006)] and Faria [Physical Review A, 76, 043407 (2007)], we observe that the phase behavior is radically different for the short and the long trajectory contributions. By means of Taylor expansions of the molecular SFA, we link this effect to the dynamics of the electron in the continuum. More precisely, we find that the value of the electric field at recombination time plays a crucial role on the shape of the destructive interference phase-jump.


title: AGILE detection of gamma-ray sources coincident with cosmic neutrino events

abstract: The origin of cosmic neutrinos is still largely unknown. Using data obtained by the gamma-ray imager on board of the AGILE satellite, we systematically searched for transient gamma-ray sources above 100 MeV that are temporally and spatially coincident with ten recent high-energy neutrino IceCube events. We find three AGILE candidate sources that can be considered possible counterparts to neutrino events. Detecting 3 gamma-ray/neutrino associations out of 10 IceCube events is shown to be unlikely due to a chance coincidence. One of the sources is related to the BL Lac source TXS 0506+056. For the other two AGILE gamma-ray sources there are no obvious known counterparts, and both Galactic and extragalactic origin should be considered.


title: Macro pose based non-invasive thermal comfort perception for energy efficiency

abstract: Individual thermal comfort perception gives important feedback signals for energy efficient control of smart buildings. However, there is no effective method to measure real-time thermal comfort status of individual occupant until now. For overcoming this challenge, a novel macro posed based non-invasive perception method for thermal comfort (NIMAP) was presented. The occupant pose images were captured by normal phone camera (computer or cell phone) and the corresponding 2D coordinates can be obtained. Based on this, a novel pose recognition algorithm for thermal comfort, including 12 sub-algorithms, was presented. The 12 thermal comfort related macro poses can be recognized. Further, based on Fanger theory, 369 subjects were invited for subjective questionnaire survey. 3 human occupants participated in the validation of the proposed method and massive data were collected. All the 12 thermal comfort related poses can be recognized effectively.


title: Improving speech emotion recognition via Transformer-based Predictive Coding through transfer learning

abstract: I have submitted a new version to arXiv:1910.13806. I forget to choose to replace the old version, but submitted a new one. It's my mistake.


title: Towards ontology based BPMN Implementation

abstract: Natural language is understandable by human and not machine. None technical persons can only use natural language to specify their business requirements. However, the current version of Business process management and notation (BPMN) tools do not allow business analysts to implement their business processes without having technical skills. BPMN tool is a tool that allows users to design and implement the business processes by connecting different business tasks and rules together. The tools do not provide automatic implementation of business tasks from users' specifications in natural language (NL). Therefore, this research aims to propose a framework to automatically implement the business processes that are expressed in NL requirements. Ontology is used as a mechanism to solve this problem by comparing between users' requirements and web services' descriptions. Web service is a software module that performs a specific task and ontology is a concept that defines the relationships between different terms.


title: Data Compliance in Pharmaceutical Industry, Interoperability to align Business and Information Systems

abstract: The ultimate goal in the pharmaceutical sector is product quality. However this quality can be altered by the use of a number of heterogeneous information systems with different business structures and concepts along the lifecycle of the product. Interoperability is then needed to guarantee a certain correspondence and compliance between different product data. In this paper we focus on a particular compliance problem, between production technical data, represented in an ERP, and the corresponding regulatory directives and specifications, represented by the Marketing Authorizations (MA). The MA detail the process for manufacturing the medicine according to the requirements imposed by health organisations such as Food and Drug Administration (FDA) and Committee for Medicinal Products for Human use (CHMP). The proposed approach uses an interoperability framework which is based on a multi-layer separation between the organisational aspects, business trades, and information technologies for each involved entity into the communication between the used systems.


title: Algorithms for Runtime Generation of Homogeneous Classes of Objects

abstract: This paper contains analysis of main modern approaches to dynamic code generation, in particular generation of new classes of objects during program execution. The main attention was paid to universal exploiters of homogeneous classes of objects, which were proposed as a part of such knowledge representation model as object-oriented dynamic networks, as the tools for generation of new classes of objects in program runtime. As the result, algorithms for implementation of such universal exploiters of classes of objects as union, intersection, difference and symmetric difference were developed. These algorithms can be used knowledge-based intelligent systems, which are based on object-oriented dynamic networks, and they can be adapted for some object-oriented programming languages with powerful metaprogramming opportunities.


title: Thermal Properties of Disordered LixMoS2 - An Ab-Initio Study

abstract: An atomistic study of the thermal properties of lithiated molybdenum disulfide (MoS2) is presented and an explanation for the experimentally determined anisotropic behavior of the in- and through-plane thermal conductivity is proposed. Configurations with different levels of lithium concentration are simulated using Density Functional Theory (DFT) and their structural, electronic, and thermal transport properties are evaluated as a function of the degree of lithiation. Comparisons between regular and disordered lithium distributions as well as to the experimental data reveal that the measured ratio of the in-plane to through-plane thermal conductivity can only be reproduced if the disorder of the lithium ions is taken into account. These results suggest that it is not only possible to modify the thermal properties of MoS2 by changing the degree of lithiation, but also by controlling its level of disorder.


title: Centrality and energy dependence of charged particles in p+A and A+A collisions from running coupling $k_{T}$-factorization

abstract: We extend the numerical analysis of the energy and centrality dependence of particle multiplicities at midrapidity in high-energy p+A and A+A collisions from a running coupling $k_T$-factorization formula made in~\cite{Dumitru:2018gjm} by considering two unintegrated gluon distributions that were left out. While a good agreement with the experimental data in A+A collisions is achieved, improving the description of those observables in p+A collisions calls for a better understanding of the proton unintegrated gluon distribution at larger values of $x$ and also the use of a realistic impact parameter dependence.


title: Influence of chemical kinetics on detonation initiating by temperature gradients in methane/air

abstract: Different simplified and detailed chemical models and their impact on simulations of combustion regimes initiating by the initial temperature gradient in methane/air mixtures are studied. The limits of the regimes of reaction wave propagation depend upon the spontaneous wave speed and the characteristic velocities of the problem. The present study mainly focus to identify conditions required for the development a detonation and to compare the difference between simplified chemical models and detailed chemistry. It is shown that a widely used simplified chemical schemes, such as one-step, two-step and other simplified models, do not reproduce correctly the ignition process in methane/air mixtures. The ignition delay times calculated using simplified models are in orders of magnitude shorter than the ignition delay times calculated using detailed chemical models and measured experimentally. This results in considerably different times when the exothermic reaction affects significantly the ignition, evolution, and coupling of the spontaneous reaction wave and pressure waves. We show that the temperature gradient capable to trigger detonation calculated using detailed chemical models is much shallower (the size of the hot spot is much larger) than that, predicted by simulations with simplified chemical models. These findings suggest that the scenario leading to the deflagration to detonation transition (DDT) may depend greatly on the chemical model used in simulations and that the Zeldovich gradient mechanism is not necessary a universal mechanism triggering DDT. The obtained results indicate that the conclusions derived from the simulations of DDT with simplified chemical models should be viewed with great caution.


title: Towards Global Explanations for Credit Risk Scoring

abstract: In this paper we propose a method to obtain global explanations for trained black-box classifiers by sampling their decision function to learn alternative interpretable models. The envisaged approach provides a unified solution to approximate non-linear decision boundaries with simpler classifiers while retaining the original classification accuracy. We use a private residential mortgage default dataset as a use case to illustrate the feasibility of this approach to ensure the decomposability of attributes during pre-processing.


title: Gluing action groupoids: Fredholm conditions and layer potentials

abstract: This paper is a merge of arXiv:1807.05418 and arXiv:1808.01442. We introduce a new class of groupoids, called "boundary action groupoids", which are obtained by gluing reductions of action groupoids. We show that such groupoids model the analysis on many singular spaces, and we give several examples. Under some conditions on the action of the groupoid, we obtain Fredholm criteria for the pseudodifferential operators generated by boundary action groupoids. Moreover, we show that layer potential groupoids for conical domains constructed in an earlier paper (Carvalho-Qiao, Central European J. Math., 2013) are both Fredholm groupoids and boundary action groupoids, which enables us to deal with many analysis problems on singular spaces in a unified way. As an application, we obtain Fredholm criteria for operators on layer potential groupoids.


title: Uncertainty behaviour during illegal road crossing

abstract: Road accidents involving pedestrians are still too numerous in cities, particularly at crosswalks. Many pedestrians crossed at the red light at zebras increasing the risk of accidents, for them and for people following mimetically them. Several studies tried to understand the causes of these illegal road-crossing behaviours, showing an effect of age, gender but also culture. This current study aims to understand causes of the uncertainty behaviour in two different countries: France and Japan. Uncertainty behaviour during road-crossing is here defined as a walking stop or a slowing down during a road-crossing behaviour at the red light. Uncertainty happens when there is a conflict between different information a pedestrians get, specifically between private and social information. This uncertainty behaviour is followed either by a speeding up to finish to cross the road or a giving-up. Our study showed an uncertainty time longer in Japan compared to France. Japanese pedestrians hesitated on a longer time when someone accompanied them. Being on the phone did not have an effect on the uncertainty time. There are many more give-ups than speed-ups, and this rate increases with the number of lanes. Moreover, there is a tendency to speed up with the number of pedestrians already crossing the road. This study confirms that pedestrians followed social information at road-crossings and hesitate when they realised their errors, increasing their risk of accidents. Understanding this, different solutions might be proposed to avoid these unintentional illegal road-crossing behaviours.


title: Simplification of tensor expressions in computer algebra

abstract: Computer algebra is widely used in various fields of mathematics, physics and other sciences. The simplification of tensor expressions is an important special case of computer algebra. In this paper, we consider the reduction of tensor polynomials to canonical form, taking into account the properties of symmetry under permutations of indices, the symmetries associated with the renaming of summation indices, and also linear relations between tensors of a general form. We give a definition of the canonical representation for polynomial (multiplicative) expressions of variables with abstract indices, which is the result of averaging of the original expression by the action of some finite group (the signature stabilizer). In practice, the proposed algorithms demonstrate high efficiency for expressions made of Riemann curvature tensors.


title: Prescribing capacitary curvature measures on planar convex domains

abstract: For $p\in (1,2]$ and a bounded, convex, nonempty, open set $\Omega\subset\mathbb R^2$ let $\mu_p(\bar{\Omega},\cdot)$ be the $p$-capacitary curvature measure (generated by the closure $\bar{\Omega}$ of $\Omega$) on the unit circle $\mathbb S^1$. This paper shows that such a problem of prescribing $\mu_p$ on a planar convex domain: "Given a finite, nonnegative, Borel measure $\mu$ on $\mathbb S^1$, find a bounded, convex, nonempty, open set $\Omega\subset\mathbb R^2$ such that $d\mu_p(\bar{\Omega},\cdot)=d\mu(\cdot)$" is solvable if and only if $\mu$ has centroid at the origin and its support $\mathrm{supp}(\mu)$ does not comprise any pair of antipodal points. And, the solution is unique up to translation. Moreover, if $d\mu_p(\bar{\Omega},\cdot)=\psi(\cdot)\,d\ell(\cdot)$ with $\psi\in C^{k,\alpha}$ and $d\ell$ being the standard arc-length element on $\mathbb S^1$, then $\partial\Omega$ is of $C^{k+2,\alpha}$.


title: A family of geometric operators on triangles with two complex variables

abstract: Given a plane triangle $\Delta$, one can construct a new triangle $\Delta'$ whose vertices are intersections of two cevian triples of $\Delta$. We extend the family of operators $\Delta\mapsto\Delta'$ by complexifying the defining two cevian parameters and study its rich structure from arithmetic-geometric viewpoints. We also find another useful parametrization of the operator family via finite Fourier analysis and apply it to investigate area-preserving operators on triangles.


title: On the Approximation Properties of Ces\`{a}ro Means of Negative Order of Vilenkin-Fourier Series

abstract: In this paper we establish approximation properties of Ces\`{a}ro $(C,-\alpha )$ means with $\alpha$ $\epsilon$ $(0,1)$ of Vilenkin-Fourier series.This result allows one to obtain a condition which is sufficient for the convergence of the means $\sigma_n^{-\alpha }(f,x)$ to $f(x)$ in the $L^p-$metric.


title: On the Approximation Properties of Ces\`{a}ro Means of Negative Order of double Vilenkin-Fourier Series

abstract: In this paper we establish approximation properties of Ces\`{a}ro $% (C,-\alpha ,-\beta )$ means with $\alpha ,\beta $ $\epsilon $ $(0,1)$ of Vilenkin-Fourier series.This result allows one to obtain a condition which is sufficient for the convergence of the means $\sigma _{n,m}^{-\alpha ,-\beta }(x,y,f)$ to $f(x,y)$ in the $L^{p}-$metric.


title: Invariant factors as limit of singular values of a matrix

abstract: The paper concerns a result in linear algebra motivated by ideas from tropical geometry. Let $A(t)$ be an $n \times n$ matrix whose entries are Laurent series in $t$. We show that, as $t \to 0$, logarithms of singular values of $A(t)$ approach the invariant factors of $A(t)$. This leads us to suggest logarithms of singular values of an $n \times n$ complex matrix as an analogue of the logarithm map on $(\mathbb{C}^*)^n$ for the matrix group $GL(n, \mathbb{C})$.


title: Optimizing Photonic Nanostructures via Multi-fidelity Gaussian Processes

abstract: We apply numerical methods in combination with finite-difference-time-domain (FDTD) simulations to optimize transmission properties of plasmonic mirror color filters using a multi-objective figure of merit over a five-dimensional parameter space by utilizing novel multi-fidelity Gaussian processes approach. We compare these results with conventional derivative-free global search algorithms, such as (single-fidelity) Gaussian Processes optimization scheme, and Particle Swarm Optimization---a commonly used method in nanophotonics community, which is implemented in Lumerical commercial photonics software. We demonstrate the performance of various numerical optimization approaches on several pre-collected real-world datasets and show that by properly trading off expensive information sources with cheap simulations, one can more effectively optimize the transmission properties with a fixed budget.


title: Characterizing a statistical arrow of time in quantum measurement dynamics

abstract: In both thermodynamics and quantum mechanics the arrow of time is characterized by the statistical likelihood of physical processes. We characterize this arrow of time for the continuous quantum measurement dynamics of a superconducting qubit. By experimentally tracking individual weak measurement trajectories, we compare the path probabilities of forward and backward-in-time evolution to develop an arrow of time statistic associated with measurement dynamics. We compare the statistics of individual trajectories to ensemble properties showing that the measurement dynamics obeys both detailed and integral fluctuation theorems thus establishing the consistency between microscopic and macroscopic measurement dynamics.

categories: quant-ph cond-mat.mes-hall cond-mat.stat-mech physics.atom-ph


title: Asymptotic enumeration of Cayley digraphs

abstract: In this paper we show that almost all Cayley digraphs have automorphism group as small as possible; that is, they are digraphical regular representations (DRRs). More precisely, we show that as $r$ tends to infinity, for every finite group $R$ of order $r$, out of all possible Cayley digraphs on $R$ the proportion whose automorphism group is as small as possible tends to $1$. This proves a natural conjecture first proposed in $1982$ by Babai and Godsil.


title: Controlling grain boundaries by magnetic fields

abstract: The ability to use external magnetic fields to influence the microstructure in polycrystalline materials has potential applications in microstructural engineering. To explore this potential and to understand the complex interactions between electromagnetic fields and solid-state matter transport we consider a phase-field-crystal (PFC) model. Together with efficient and scalable numerical algorithms this allows the examination of the role that external magnetic fields play on the evolution of defect structures and grain boundaries, on diffusive time scales. Examples for planar and circular grain boundaries explain the essential atomistic processes and large scale simulations in 2D are used to obtain statistical data on grain growth under the influence of external fields.


title: Stable Gaussian Process based Tracking Control of Lagrangian Systems

abstract: High performance tracking control can only be achieved if a good model of the dynamics is available. However, such a model is often difficult to obtain from first order physics only. In this paper, we develop a data-driven control law that ensures closed loop stability of Lagrangian systems. For this purpose, we use Gaussian Process regression for the feed-forward compensation of the unknown dynamics of the system. The gains of the feedback part are adapted based on the uncertainty of the learned model. Thus, the feedback gains are kept low as long as the learned model describes the true system sufficiently precisely. We show how to select a suitable gain adaption law that incorporates the uncertainty of the model to guarantee a globally bounded tracking error. A simulation with a robot manipulator demonstrates the efficacy of the proposed control law.


title: Spectral multipliers of self-adjoint operators on Besov and Triebel--Lizorkin spaces associated to operators

abstract: Let $X$ be a space of homogeneous type and let $L$ be a nonnegative self-adjoint operator on $L^2(X)$ which satisfies a Gaussian estimate on its heat kernel. In this paper we prove a H\"omander type spectral multiplier theorem for $L$ on the Besov and Triebel--Lizorkin spaces associated to $L$. Our work not only recovers the boundedness of the spectral multipliers on $L^p$ spaces and Hardy spaces associated to $L$, but also is the first one which proves the boundedness of a general spectral theorem on Besov and Triebel--Lizorkin spaces.


title: A sharp Leibniz rule for BV functions in metric spaces

abstract: We prove a Leibniz rule for BV functions in a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality. Unlike in previous versions of the rule, we do not assume the functions to be locally essentially bounded and the end result does not involve a constant $C\ge 1$, and so our result seems to be essentially the best possible. In order to obtain the rule in such generality, we first study the weak* convergence of the variation measure of BV functions, with quasi semicontinuous test functions.


title: The Lefschetz principle in birational geometry: birational twin varieties

abstract: Inspired by the Weak Lefschetz Principle, we study when a smooth projective variety fully determines the birational geometry of some of its subvarieties. In particular, we consider the natural embedding of the space of complete quadrics into the space of complete collineations and we observe that their birational geometry, from the point of view of Mori theory, fully determines each other. When two varieties are related in this way, we call them birational twins. We explore this notion and its various flavors for other embeddings between Mori dream spaces.


title: Histogram-Free Multicanonical Monte Carlo Sampling to Calculate the Density of States

abstract: We report a new multicanonical Monte Carlo algorithm to obtain the density of states for physical systems with continuous state variables in statistical mechanics. Our algorithm is able to obtain a closed-form expression for the density of states expressed in a chosen basis set, instead of a numerical array of finite resolution as in previous variants of this class of MC methods such as the multicanonical sampling and Wang-Landau sampling. This is enabled by storing the visited states directly and avoiding the explicit collection of a histogram. This practice also has the advantage of avoiding undesirable artificial errors caused by the discretization and binning of continuous state variables. Our results show that this scheme is capable of obtaining converged results with a much reduced number of Monte Carlo steps, leading to a significant speedup over existing algorithms.


title: On Pompeiu-Cebysev type inequalities for positive linear maps of selfadjoint operators in inner product spaces

abstract: In this work, generalizations of some inequalities for continuous $h$-synchronous ($h$-asynchronous) functions of linear bounded selfadjoint operators under positive linear maps in Hilbert spaces are proved.


title: Zeffiro user interface for electromagnetic brain imaging: a GPU accelerated FEM tool for forward and inverse computations in Matlab

abstract: This article introduces the Zeffiro interface (ZI) version 2.2 for brain imaging. ZI aims to provide a simple, accessible and multimodal open source platform for finite element method (FEM) based and graphics processing unit (GPU) accelerated forward and inverse computations in the Matlab environment. It allows one to (1) generate a given multi-compartment head model, (2) to evaluate a lead field matrix as well as (3) to invert and analyze a given set of measurements. GPU acceleration is applied in each of the processing stages (1)-(3). In its current configuration, ZI includes forward solvers for electro-/magnetoencephalography (EEG) and linearized electrical impedance tomography (EIT) as well as a set of inverse solvers based on the hierarchical Bayesian model (HBM). We report the results of EEG and EIT inversion tests performed with real and synthetic data, respectively, and demonstrate numerically how the inversion parameters affect the EEG inversion outcome in HBM. The GPU acceleration was found to be essential in the generation of the FE mesh and the LF matrix in order to achieve a reasonable computing time. The code package can be extended in the future based on the directions given in this article.


title: KAM Hamiltonians are not Quantum Ergodic

abstract: We show that under generic conditions, the quantisation of a $1$-parameter family of KAM perturbations $P(x,\xi;t)$ of a completely integrable and Kolmogorov non-degenerate Gevrey smooth Hamiltonian is not quantum ergodic, at least for a full measure subset of the parameter $t\in (0,\delta)$.


title: A De Giorgi Iteration-based Approach for the Establishment of ISS Properties for Burgers' Equation with Boundary and In-domain Disturbances

abstract: This note addresses input-to-state stability (ISS) properties with respect to (w.r.t.) boundary and in-domain disturbances for Burgers' equation. The developed approach is a combination of the method of De~Giorgi iteration and the technique of Lyapunov functionals by adequately splitting the original problem into two subsystems. The ISS properties in $L^2$-norm for Burgers' equation have been established using this method. Moreover, as an application of De~Giorgi iteration, ISS in $L^\infty$-norm w.r.t. in-domain disturbances and actuation errors in boundary feedback control for a 1-$D$ {linear} {unstable reaction-diffusion equation} have also been established. It is the first time that the method of De~Giorgi iteration is introduced in the ISS theory for infinite dimensional systems, and the developed method can be generalized for tackling some problems on multidimensional spatial domains and to a wider class of nonlinear {partial differential equations (PDEs)


title: Beam Search Decoding using Manner of Articulation Detection Knowledge Derived from Connectionist Temporal Classification

abstract: Manner of articulation detection using deep neural networks require a priori knowledge of the attribute discriminative features or the decent phoneme alignments. However generating an appropriate phoneme alignment is complex and its performance depends on the choice of optimal number of senones, Gaussians, etc. In the first part of our work, we exploit the manner of articulation detection using connectionist temporal classification (CTC) which doesn't need any phoneme alignment. Later we modify the state-of-the-art character based posteriors generated by CTC using the manner of articulation CTC detector. Beam search decoding is performed on the modified posteriors and it's impact on open source datasets such as AN4 and LibriSpeech is observed.


title: Preserving Measurements for Optimal State Discrimination over Quantum Channels

abstract: In this work, we consider optimal state discrimination for a quantum system that interacts with an environment, i.e., states evolve under a quantum channel. We show the conditions on a quantum channel and an ensemble of states such that a measurement for optimal state discrimination is preserved. In particular, we show that when an ensemble of states with equal {\it a priori} probabilities is given, an optimal measurement can be preserved over any quantum channel by applying local operations and classical communication, that is, by manipulating the quantum states before and after the channel application. Examples are provided for illustration. Our results can be readily applied to quantum communication protocols over various types of noise.


title: Equivalence Checking of Sequential Quantum Circuits

abstract: We define a formal framework for equivalence checking of sequential quantum circuits. The model we adopt is a quantum state machine, which is a natural quantum generalisation of Mealy machines. A major difficulty in checking quantum circuits (but not present in checking classical circuits) is that the state spaces of quantum circuits are continuums. This difficulty is resolved by our main theorem showing that equivalence checking of two quantum Mealy machines can be done with input sequences that are taken from some chosen basis (which are finite) and have a length quadratic in the dimensions of the state Hilbert spaces of the machines. Based on this theoretical result, we develop an (and to the best of our knowledge, the first) algorithm for checking equivalence of sequential quantum circuits with running time $\mathcal{O}(2^{3m+5l}(2^{3m}+2^{3l}))$, where $m$ and $l$ denote the numbers of input and internal qubits, respectively. The complexity of our algorithm is comparable with that of the known algorithms for checking classical sequential circuits in the sense that both are exponential in the number of (qu)bits. Several case studies and experiments are presented.