title: Entire Solutions of the Systems of Complex Differential-Difference Equations

abstract: Using Nevanlinna's value distribution theory and the complex difference theory , the existence of the finite order of the entire solutions of the Fermat type of the complex differential-difference equation and the systems of complex differential-difference equations are investigated, and obtained some results, which extends Liu and Gao's results.


title: Reidemeister torsion, Complex volume, and Zograf infinite product for hyperbolic 3-manifolds with cusps

abstract: In this paper, we prove an equality which involves Reidemeister torsion, complex volume, and Zograf infinite product for hyperbolic 3-manifolds with cusps.


title: Water Bottle Flipping Physics

abstract: The water bottle flipping challenge consists of spinning a bottle, partially filled with water, and making it land upright. It is quite a striking phenomenon, since at first sight it appears rather improbable that a tall rotating bottle could make such a stable landing. Here we analyze the physics behind the water bottle flip, based on experiments and an analytical model that can be used in the classroom. Our measurements show that the angular velocity of the bottle decreases dramatically, enabling a nearly vertical descent and a successful landing. The reduced rotation is due to an increase of the moment of inertia, caused by the in-flight redistribution of the water mass along the bottle. Experimental and analytical results are compared quantitatively, and we demonstrate how to optimize the chances for a successful landing.


title: Strong Khovanov-Floer Theories and Functoriality

abstract: We provide a unified framework for proving Reidemeister-invariance and functoriality for a wide range of link homology theories. These include Lee homology, Heegaard Floer homology of branched double covers, singular instanton homology, and \Szabo's geometric link homology theory. We follow Baldwin, Hedden, and Lobb (arXiv:1509.04691) in leveraging the relationships between these theories and Khovanov homology. We obtain stronger functoriality results by avoiding spectral sequences and instead showing that each theory factors through Bar-Natan's cobordism-theoretic link homology theory.


title: Recurrent Pixel Embedding for Instance Grouping

abstract: We introduce a differentiable, end-to-end trainable framework for solving pixel-level grouping problems such as instance segmentation consisting of two novel components. First, we regress pixels into a hyper-spherical embedding space so that pixels from the same group have high cosine similarity while those from different groups have similarity below a specified margin. We analyze the choice of embedding dimension and margin, relating them to theoretical results on the problem of distributing points uniformly on the sphere. Second, to group instances, we utilize a variant of mean-shift clustering, implemented as a recurrent neural network parameterized by kernel bandwidth. This recurrent grouping module is differentiable, enjoys convergent dynamics and probabilistic interpretability. Backpropagating the group-weighted loss through this module allows learning to focus on only correcting embedding errors that won't be resolved during subsequent clustering. Our framework, while conceptually simple and theoretically abundant, is also practically effective and computationally efficient. We demonstrate substantial improvements over state-of-the-art instance segmentation for object proposal generation, as well as demonstrating the benefits of grouping loss for classification tasks such as boundary detection and semantic segmentation.


title: Flux and Spectral Variation Characteristics of 3C 454.3 at the GeV Band

abstract: We analyze the long-term lightcurve of 3C 454.3 observed with Fermi/LAT and investigate its relation to the flux in the radio, optical, and X-ray bands. By fitting the 1-day binned GeV lightcurve with multiple Gaussian function (MGF), we propose that the typical variability timescale in the GeV band is 1--10 days. The GeV flux variation is accompanied by the spectral variation characterized as flux-tracking, i.e., "harder when brighter". The GeV flux is correlated with the optical and X-ray fluxes, and a weak correlation between gamma-ray flux and radio flux is also observed. The gamma-ray flux is not correlated with the optical linear polarization degree for the global lightcurves, but they show a correlation for the lightcurves before MJD 56000. The power density spectrum of the global lightcurve shows an obvious turnover at ~7.7 days, which may indicate a typical variability timescale of 3C 454.3 in the gamma-ray band. This is also consistent with the derived timescales by fitting the global lightcurve with MGF. The spectral evolution and an increase of the optical linear polarization degree along with the increase of the gamma-ray flux may indicate that the radiation particles are accelerated and the magnetic field is ordered by the shock processes during the outbursts. In addition, the nature of 3C 454.3 may be consistent with the self-organized criticality system, similar to Sagittarius A, and thus the outbursts are from plasmoid ejections driven by magnetic reconnection. This may further support the idea that the jet radiation regions are magnetized.


title: Ultracold anions for high-precision antihydrogen experiments

abstract: Experiments with antihydrogen ($\overline{\text{H}}$) for a study of matter--antimatter symmetry and antimatter gravity require ultracold $\overline{\text{H}}$ to reach ultimate precision. A promising path towards anti-atoms much colder than a few kelvin involves the pre-cooling of antiprotons by laser-cooled anions. Due to the weak binding of the valence electron in anions - dominated by polarization and correlation effects - only few candidate systems with suitable transitions exist. We report on a combination of experimental and theoretical studies to fully determine the relevant binding energies, transition rates and branching ratios of the most promising candidate La$^{-}$. Using combined transverse and collinear laser spectroscopy, we determined the resonant frequency of the laser cooling transition to be $\nu = 96.592\,713(91)$ THz and its transition rate to be $A = 4.90(50) \times 10^{4}$ s$^{-1}$. Using a novel high-precision theoretical treatment of La$^-$ we calculated yet unmeasured energy levels, transition rates, branching ratios, and lifetimes to complement experimental information on the laser cooling cycle of La$^-$. The new data establish the suitability of La$^-$ for laser cooling and show that the cooling transition is significantly stronger than suggested by a previous theoretical study.


title: Braided skew monoidal categories

abstract: We introduce the notion of a braiding on a skew monoidal category, whose curious feature is that the defining isomorphisms involve three objects rather than two. These braidings are shown to arise from, and classify, cobraidings (also known as coquasitriangular structures) on bialgebras. Using a multicategorical approach we also describe examples of braidings on skew monoidal categories arising from 2-category theory.


title: A variational inequality framework for network games: Existence, uniqueness, convergence and sensitivity analysis

abstract: We provide a unified variational inequality framework for the study of fundamental properties of the Nash equilibrium in network games. We identify several conditions on the underlying network (in terms of spectral norm, infinity norm and minimum eigenvalue of its adjacency matrix) that guarantee existence, uniqueness, convergence and continuity of equilibrium in general network games with multidimensional and possibly constrained strategy sets. We delineate the relations between these conditions and characterize classes of networks that satisfy each of these conditions.


title: Notes on the Hybrid Monte Carlo Method

abstract: We discuss the detailed balance condition for hybrid Monte Carlo method


title: Three series theorem for independent random variables under sub-linear expectations with applications

abstract: In this paper, motived by the notion of independent and identically distributed random variables under the sub-linear expectation initiated by Peng, we give a theorem about the convergence of a random series and establish a three series theorem of independent random variables under the sub-linear expectations. As an application, we obtain the Marcinkiewicz's strong law of large numbers for independent and identically distributed random variables under the sub-linear expectations. The technical details are different from those for classical theorems because the sub-linear expectation and its related capacity are not additive.


title: Observation of long phase-coherence length in epitaxial La-doped CdO thin films

abstract: The search for long electron phase coherence length, which is the length that an electron can keep its quantum wave-like properties, has attracted considerable interest in the last several decades. Here, we report the long phase coherence length of ~ 3.7 micro meters in La-doped CdO thin films at 2 K. Systematical investigations of the La doping and the temperature dependences of the electron mobility and the electron phase coherence length reveal contrasting scattering mechanisms for these two physical properties. Furthermore, these results show that the oxygen vacancies could be the dominant scatters in CdO thin films that break the electron phase coherence, which would shed light on further investigation of phase coherence properties in oxide materials.


title: The Role of Oxygen in Ionic Liquid Gating on 2D Cr2Ge2Te6: a Non-Oxide Material

abstract: Ionic liquid gating can markedly modulate the materials' carrier density so as to induce metallization, superconductivity, and quantum phase transitions. One of the main issues is whether the mechanism of ionic liquid gating is an electrostatic field effect or an electrochemical effect, especially for oxide materials. Recent observation of the suppression of the ionic liquid gate-induced metallization in the presence of oxygen for oxide materials suggests the electrochemical effect. However, in more general scenarios, the role of oxygen in ionic liquid gating effect is still unclear. Here, we perform the ionic liquid gating experiments on a non-oxide material: two-dimensional ferromagnetic Cr2Ge2Te6. Our results demonstrate that despite the large increase of the gate leakage current in the presence of oxygen, the oxygen does not affect the ionic liquid gating effect (< 5 % difference), which suggests the electrostatic field effect as the mechanism on non-oxide materials. Moreover, our results show that the ionic liquid gating is more effective on the modulation of the channel resistances compared to the back gating across the 300 nm thick SiO2.


title: A Response-Function-Based Coordination Method for Transmission-Distribution-Coupled AC OPF

abstract: With distributed generation highly integrated into the grid, the transmission-distribution-coupled AC OPF (TDOPF) becomes increasingly important. This paper proposes a response-function-based coordination method to solve the TDOPF. Different from typical decomposition methods, this method employs approximate response functions of the power injections with respect to the bus voltage magnitude in the transmission-distribution (T-D) interface to reflect the "reaction" of the distribution to the transmission system control. By using the response functions, only one or two iterations between the transmission system operator (TSO) and the distribution system operator(s) (DSO(s)) are required to attain a nearly optimal TDOPF solution. Numerical tests confirm that, relative to a typical decomposition method, the proposed method does not only enjoy a cheaper computational cost but is workable even when the objectives of the TSO and the DSO(s) are in distinct scales.


title: A Bidirectional Adaptive Bandwidth Mean Shift Strategy for Clustering

abstract: The bandwidth of a kernel function is a crucial parameter in the mean shift algorithm. This paper proposes a novel adaptive bandwidth strategy which contains three main contributions. (1) The differences among different adaptive bandwidth are analyzed. (2) A new mean shift vector based on bidirectional adaptive bandwidth is defined, which combines the advantages of different adaptive bandwidth strategies. (3) A bidirectional adaptive bandwidth mean shift (BAMS) strategy is proposed to improve the ability to escape from the local maximum density. Compared with contemporary adaptive bandwidth mean shift strategies, experiments demonstrate the effectiveness of the proposed strategy.


title: The fundamental group of reduced suspensions

abstract: We classify pointed spaces according to the first fundamental group of their reduced suspension. A pointed space is either of so-called totally path disconnected type or of horseshoe type. These two camps are defined topologically but a characterization is given in terms of fundamental groups. Among totally path disconnected spaces the fundamental group is shown to be a complete invariant for a notion of topological equivalence weaker than that of homeomorphism.


title: Grand Challenge: Optimized Stage Processing for Anomaly Detection on Numerical Data Streams

abstract: The 2017 Grand Challenge focused on the problem of automatic detection of anomalies for manufacturing equipment. This paper reports the technical details of a solution focused on particular optimizations of the processing stages. These included customized input parsing, fine tuning of a k-means clustering algorithm and probability analysis using a lazy flavor of a Markov chain. We have observed in our custom implementation that carefully tweaking these processing stages at single node level by leveraging various data stream characteristics can yield good performance results. We start the paper with several observations concerning the input data stream, following with our solution description with details on particular optimizations, and we conclude with evaluation and a discussion of obtained results.


title: An Algorithm for Computing Lipschitz Inner Functions in Kolmogorov's Superposition Theorem

abstract: Kolmogorov famously proved that multivariate continuous functions can be represented as a superposition of a small number of univariate continuous functions, $$ f(x_1,\dots,x_n) = \sum_{q=0}^{2n+1} \chi^q \left( \sum_{p=1}^n \psi^{pq}(x_p) \right).$$ Fridman \cite{fridman} posed the best smoothness bound for the functions $\psi^{pq}$, that such functions can be constructed to be Lipschitz continuous with constant 1. Previous algorithms to describe these inner functions have only been H\"older continuous, such as those proposed by K\"oppen and Braun and Griebel. This is problematic, as pointed out by Griebel, in that non-smooth functions have very high storage/evaluation complexity, and this makes Kolmogorov's representation (KR) impractical using the standard definition of the inner functions. To date, no one has presented a method to compute a Lipschitz continuous inner function. In this paper, we revisit Kolmogorov's theorem along with Fridman's result. We examine a simple Lipschitz function which appear to satisfy the necessary criteria for Kolmogorov's representation, but fails in the limit. We then present a full solution to the problem, including an algorithm that computes such a Lipschitz function.


title: Oriented bivariant theory II- Algebraic cobordism of $S$-schemes -

abstract: This is a sequel to our previous paper of oriented bivariant theory [14]. In 2001 M. Levine and F. Morel constructed algebraic cobordism $\Omega_*(X)$ for schemes $X$ over a field $k$ in an abstract way and later M. Levine and R. Pandhairpande reconstructed it more geometrically. In this paper in a similar manner we construct an algebraic cobordism $\Omega^*(X \xrightarrow {\pi_X} S)$ for a scheme $X$ over a fixed scheme $S$ in such a way that if the target scheme $S$ is the point $pt = \operatorname{Spec} k$, then $\Omega^{-i}(X \xrightarrow {\pi_X} pt)$ is isomorphic to Levine-Morel's algebraic cobordism $\Omega_i(X)$


title: A family of single-node second-order boundary schemes for the lattice Boltzmann method

abstract: In this work, we propose a family of single-node second-order boundary schemes for the lattice Boltzmann method with general collision terms. The construction of the schemes is quite universal and simple, it does not involve concrete lattice Boltzmann models and uses the half-way bounce-back rule as a central step. The constructed schemes are all second-order accurate if so is the bounce-back rule. In addition, the proposed schemes have good stability thanks to convex combinations. The accuracy and stability of several specific schemes are numerically validated for multiple-relaxation-time models in both 2D and 3D.


title: Learning and Transferring IDs Representation in E-commerce

abstract: Many machine intelligence techniques are developed in E-commerce and one of the most essential components is the representation of IDs, including user ID, item ID, product ID, store ID, brand ID, category ID etc. The classical encoding based methods (like one-hot encoding) are inefficient in that it suffers sparsity problems due to its high dimension, and it cannot reflect the relationships among IDs, either homogeneous or heterogeneous ones. In this paper, we propose an embedding based framework to learn and transfer the representation of IDs. As the implicit feedbacks of users, a tremendous amount of item ID sequences can be easily collected from the interactive sessions. By jointly using these informative sequences and the structural connections among IDs, all types of IDs can be embedded into one low-dimensional semantic space. Subsequently, the learned representations are utilized and transferred in four scenarios: (i) measuring the similarity between items, (ii) transferring from seen items to unseen items, (iii) transferring across different domains, (iv) transferring across different tasks. We deploy and evaluate the proposed approach in Hema App and the results validate its effectiveness.


title: CSGNet: Neural Shape Parser for Constructive Solid Geometry

abstract: We present a neural architecture that takes as input a 2D or 3D shape and outputs a program that generates the shape. The instructions in our program are based on constructive solid geometry principles, i.e., a set of boolean operations on shape primitives defined recursively. Bottom-up techniques for this shape parsing task rely on primitive detection and are inherently slow since the search space over possible primitive combinations is large. In contrast, our model uses a recurrent neural network that parses the input shape in a top-down manner, which is significantly faster and yields a compact and easy-to-interpret sequence of modeling instructions. Our model is also more effective as a shape detector compared to existing state-of-the-art detection techniques. We finally demonstrate that our network can be trained on novel datasets without ground-truth program annotations through policy gradient techniques.


title: TFW, DamnGina, Juvie, and Hotsie-Totsie: On the Linguistic and Social Aspects of Internet Slang

abstract: Slang is ubiquitous on the Internet. The emergence of new social contexts like micro-blogs, question-answering forums, and social networks has enabled slang and non-standard expressions to abound on the web. Despite this, slang has been traditionally viewed as a form of non-standard language -- a form of language that is not the focus of linguistic analysis and has largely been neglected. In this work, we use UrbanDictionary to conduct the first large-scale linguistic analysis of slang and its social aspects on the Internet to yield insights into this variety of language that is increasingly used all over the world online. We begin by computationally analyzing the phonological, morphological and syntactic properties of slang. We then study linguistic patterns in four specific categories of slang namely alphabetisms, blends, clippings, and reduplicatives. Our analysis reveals that slang demonstrates extra-grammatical rules of phonological and morphological formation that markedly distinguish it from the standard form shedding insight into its generative patterns. Next, we analyze the social aspects of slang by studying subject restriction and stereotyping in slang usage. Analyzing tens of thousands of such slang words reveals that the majority of slang on the Internet belongs to two major categories: sex and drugs. We also noted that not only is slang usage not immune to prevalent social biases and prejudices but also reflects such biases and stereotypes more intensely than the standard variety.


title: A revisit on the compactness of commutators

abstract: A new characterization of CMO(R^n) is established by the local mean oscillation. Some characterizations of iterated compact commutators on weighted Lebesgue spaces are given, which are new even in the unweighted setting for the first order commutators.


title: Nanomagnonic waveguides based on reconfigurable spin-textures for spin computing

abstract: Magnonics is gaining momentum as an emerging technology for information processing. The wave character and Joule heating-free propagation of spin-waves hold promises for highly efficient analog computing platforms, based on integrated magnonic circuits. Miniaturization is a key issue but, so far, only few examples of manipulation of spin-waves in nanostructures have been demonstrated, due to the difficulty of tailoring the nanoscopic magnetic properties with conventional fabrication techniques. In this Letter, we demonstrate an unprecedented degree of control in the manipulation of spin-waves at the nanoscale by using patterned reconfigurable spin-textures. By space and time-resolved scanning transmission X-ray microscopy imaging, we provide direct evidence for the channeling and steering of propagating spin-waves in arbitrarily shaped nanomagnonic waveguides based on patterned domain walls, with no need for external magnetic fields or currents. Furthermore, we demonstrate a prototypic nanomagnonic circuit based on two converging waveguides, allowing for the tunable spatial superposition and interaction of confined spin-waves modes.


title: Basic equivariant gerbes on non-simply connected compact simple Lie groups

abstract: This paper computes the obstruction to the existence of equivariant extensions of basic gerbes over non-simply connected compact simple Lie groups. By modifying a (finite dimensional) construction of Gaw\c{e}dzki-Reis [J. Geom. Phys. 50(1):28-55, 2004], we exhibit basic equivariant bundle gerbes over non-simply connected compact simple Lie groups.


title: Radiative GRMHD simulations of accretion and outflow in non-magnetized neutron stars and ultraluminous X-ray sources

abstract: We run two GRRMHD simulations of super-Eddington accretion disks around a black hole and a non-magnetized, non-rotating neutron star. The neutron star was modeled using a reflective inner boundary condition. We observe the formation of a transition layer in the inner region of the disk in the neutron star simulation which leads to a larger mass outflow rate and a lower radiative luminosity over the black hole case. Sphereization of the flow leads to an observable luminosity at infinity around the Eddington value when viewed from all directions for the neutron star case, contrasting to the black hole case where collimation of the emission leads to observable luminosities about an order of magnitude higher when observed along the disk axis. We find the outflow to be optically thick to scattering, which would lead to the obscuring of any neutron star pulsations observed in corresponding ULXs.


title: Intelligent Device Discovery in the Internet of Things - Enabling the Robot Society

abstract: The Internet of Things (IoT) is continuously growing to connect billions of smart devices anywhere and anytime in an Internet-like structure, which enables a variety of applications, services and interactions between human and objects. In the future, the smart devices are supposed to be able to autonomously discover a target device with desired features and generate a set of entirely new services and applications that are not supervised or even imagined by human beings. The pervasiveness of smart devices, as well as the heterogeneity of their design and functionalities, raise a major concern: How can a smart device efficiently discover a desired target device? In this paper, we propose a Social-Aware and Distributed (SAND) scheme that achieves a fast, scalable and efficient device discovery in the IoT. The proposed SAND scheme adopts a novel device ranking criteria that measures the device's degree, social relationship diversity, clustering coefficient and betweenness. Based on the device ranking criteria, the discovery request can be guided to travel through critical devices that stand at the major intersections of the network, and thus quickly reach the desired target device by contacting only a limited number of intermediate devices. With the help of such an intelligent device discovery as SAND, the IoT devices, as well as other computing facilities, software and data on the Internet, can autonomously establish new social connections with each other as human being do. They can formulate self-organized computing groups to perform required computing tasks, facilitate a fusion of a variety of computing service, network service and data to generate novel applications and services, evolve from the individual aritificial intelligence to the collaborative intelligence, and eventually enable the birth of a robot society.


title: SFCN-OPI: Detection and Fine-grained Classification of Nuclei Using Sibling FCN with Objectness Prior Interaction

abstract: Cell nuclei detection and fine-grained classification have been fundamental yet challenging problems in histopathology image analysis. Due to the nuclei tiny size, significant inter-/intra-class variances, as well as the inferior image quality, previous automated methods would easily suffer from limited accuracy and robustness. In the meanwhile, existing approaches usually deal with these two tasks independently, which would neglect the close relatedness of them. In this paper, we present a novel method of sibling fully convolutional network with prior objectness interaction (called SFCN-OPI) to tackle the two tasks simultaneously and interactively using a unified end-to-end framework. Specifically, the sibling FCN branches share features in earlier layers while holding respective higher layers for specific tasks. More importantly, the detection branch outputs the objectness prior which dynamically interacts with the fine-grained classification sibling branch during the training and testing processes. With this mechanism, the fine-grained classification successfully focuses on regions with high confidence of nuclei existence and outputs the conditional probability, which in turn benefits the detection through back propagation. Extensive experiments on colon cancer histology images have validated the effectiveness of our proposed SFCN-OPI and our method has outperformed the state-of-the-art methods by a large margin.


title: Nucleon shadowing effects in $Cu+Cu$ and $Au+Au$ collisions at RHIC within the HIJING code

abstract: The centrality dependence of pseudorapidity density of charged particles ($ dN_{ch}/d\eta $) in $Cu+Cu$ ($Au+Au$) collisions at RHIC energy of $ \sqrt{s_{_{\rm NN}}}=22.4$ , $62.4 $ and $200$ ($19.6$, $62.4$ and $200$) GeV, is investigated within an improved HIJING code. The standard HIJING model is enhanced by a prescription for collective nucleon-nucleon ($NN$) interactions and more modern parton distribution functions. The collective $NN$-interactions are used to induce both cascade and nucleon shadowing effects. We find collective cascade broadens the pseudorapidity distributions in the tails (at $ |\eta|> y_{\rm beam} $) above $25-30\%$ collision centrality to be consistent with the $ dN_{ch}/d\eta $ data at $ \sqrt{s_{_{\rm NN}}}=19.6$, $22.4$, $62.4 $ GeV. The overall contribution of nucleon shadowing is shown to depress the whole shape of $ dN_{ch}/d\eta$ in the primary interaction region (at $ |\eta|< y_{\rm beam} $) for semiperipheral ($ 20-25 $ \%) and peripheral ($\ge 35-40$\%) $Cu+Cu$ ($Au+Au$) interactions at $ \sqrt{s_{_{\rm NN}}}=200$ GeV, in accordance with the PHOBOS data.


title: Quantum entanglement in de Sitter space from Stringy Axion: An analysis using $\alpha$ vacua

abstract: In this work, we study the phenomena of quantum entanglement by computing de Sitter entanglement entropy from von Neumann measure. For this purpose we consider a bipartite quantum field theoretic setup in presence of axion originating from ${\bf Type~ II~B}$ string theory. We consider the initial vacuum to be CPT invariant non-adiabatic $\alpha$ vacua state under ${\bf SO(1,4)}$ ismometry, which is characterized by a real one-parameter family. To implement this technique we use a ${\bf S^2}$ which divide the de Sitter into two exterior and interior sub-regions. First, we derive the wave function of axion in an open chart for $\alpha$ vacua by applying Bogoliubov transformation on the solution for Bunch-Davies vacuum state. Further, we quantify the density matrix by tracing over the contribution from the exterior region. Using this result we derive entanglement entropy, R$\acute{e}$nyi entropy and explain the long-range quantum effects in primordial cosmological correlations. We also provide a comparison between the results obtained from Bunch-Davies vacuum and the generalized $\alpha$ vacua, which implies that the amount of quantum entanglement and the long-range effects are larger for non zero value of the parameter $\alpha$. Most significantly, our derived results for $\alpha$ vacua provides the necessary condition for generating non zero entanglement entropy in primordial cosmology.

categories: hep-th astro-ph.CO gr-qc hep-ph quant-ph


title: From the $SU(2)$ Quantum Link Model on the Honeycomb Lattice to the Quantum Dimer Model on the Kagom\'e Lattice: Phase Transition and Fractionalized Flux Strings

abstract: We consider the $(2+1)$-d $SU(2)$ quantum link model on the honeycomb lattice and show that it is equivalent to a quantum dimer model on the Kagom\'e lattice. The model has crystalline confined phases with spontaneously broken translation invariance associated with pinwheel order, which is investigated with either a Metropolis or an efficient cluster algorithm. External half-integer non-Abelian charges (which transform non-trivially under the $\mathbb{Z}(2)$ center of the $SU(2)$ gauge group) are confined to each other by fractionalized strings with a delocalized $\mathbb{Z}(2)$ flux. The strands of the fractionalized flux strings are domain walls that separate distinct pinwheel phases. A second-order phase transition in the 3-d Ising universality class separates two confining phases; one with correlated pinwheel orientations, and the other with uncorrelated pinwheel orientations.


title: Atomic properties of actinide ions with particle-hole configurations

abstract: We study the effects of higher-order electronic correlations in the systems with particle-hole excited states using a relativistic hybrid method that combines configuration interaction and linearized coupled-cluster approaches. We find the configuration interaction part of the calculation sufficiently complete for eight electrons while maintaining good quality of the effective coupled-cluster potential for the core. Excellent agreement with experiment was demonstrated for a test case of La$^{3+}$. We apply our method for homologue actinide ions Th$^{4+}$ and U$^{6+}$ which are of experimental interest due to a puzzle associated with the resonant excitation Stark ionization spectroscopy (RESIS) method. These ions are also of interest to actinide chemistry and this is the first precision calculation of their atomic properties.


title: Source-side Prediction for Neural Headline Generation

abstract: The encoder-decoder model is widely used in natural language generation tasks. However, the model sometimes suffers from repeated redundant generation, misses important phrases, and includes irrelevant entities. Toward solving these problems we propose a novel source-side token prediction module. Our method jointly estimates the probability distributions over source and target vocabularies to capture a correspondence between source and target tokens. The experiments show that the proposed model outperforms the current state-of-the-art method in the headline generation task. Additionally, we show that our method has an ability to learn a reasonable token-wise correspondence without knowing any true alignments.


title: COOJA Network Simulator: Exploring the Infinite Possible Ways to Compute the Performance Metrics of IOT Based Smart Devices to Understand the Working of IOT Based Compression & Routing Protocols

abstract: This paper demonstrates the scheme regarding Internet of Things (IOT) which is well thought-out the next generation of Internet. IOT explicitly elaborates the assimilation of human beings and physical systems, as they can cooperate with each other so leading towards a sort of encroachment in networking by interconnecting things together while making use of wireless embedded systems, said to be the building blocks of IOT, that are capable to be given an IP address and thus making them part of the global internet. Several essential approaches that entail in IOT and supports this innovation are being argued in this paper. 6LoWPAN (IPV6 Low Power Personal Area Networks) is a protocol used to appropriately and efficiently use IPV6 addresses. Control messages of RPL routing protocol for low power devices are discussed to understand the working of RPL protocol. In the end Contiki OS based COOJA Network simulator is used to demonstrate the working of how these routing and compression protocol works in real time simulation.


title: Understanding and Improving the Latency of DRAM-Based Memory Systems

abstract: Over the past two decades, the storage capacity and access bandwidth of main memory have improved tremendously, by 128x and 20x, respectively. These improvements are mainly due to the continuous technology scaling of DRAM (dynamic random-access memory), which has been used as the physical substrate for main memory. In stark contrast with capacity and bandwidth, DRAM latency has remained almost constant, reducing by only 1.3x in the same time frame. Therefore, long DRAM latency continues to be a critical performance bottleneck in modern systems. Increasing core counts, and the emergence of increasingly more data-intensive and latency-critical applications further stress the importance of providing low-latency memory access. In this dissertation, we identify three main problems that contribute significantly to long latency of DRAM accesses. To address these problems, we present a series of new techniques. Our new techniques significantly improve both system performance and energy efficiency. We also examine the critical relationship between supply voltage and latency in modern DRAM chips and develop new mechanisms that exploit this voltage-latency trade-off to improve energy efficiency. The key conclusion of this dissertation is that augmenting DRAM architecture with simple and low-cost features, and developing a better understanding of manufactured DRAM chips together lead to significant memory latency reduction as well as energy efficiency improvement. We hope and believe that the proposed architectural techniques and the detailed experimental data and observations on real commodity DRAM chips presented in this dissertation will enable development of other new mechanisms to improve the performance, energy efficiency, or reliability of future memory systems.


title: An HMM-based Multi-sensor Approach for Continuous Mobile Authentication

abstract: With the increased popularity of smart phones, there is a greater need to have a robust authentication mechanism that handles various security threats and privacy leakages effectively. This paper studies continuous authentication for touch interface based mobile devices. A Hidden Markov Model (HMM) based behavioral template training approach is presented, which does not require training data from other subjects other than the owner of the mobile device and can get updated with new data over time. The gesture patterns of the user are modeled from multiple sensors - touch, accelerometer and gyroscope data using a continuous left-right HMM. The approach models the tap and stroke patterns of a user since these are the basic and most frequently used interactions on a mobile device. To evaluate the effectiveness of the proposed method a new data set has been created from 42 users who interacted with off-the-shelf applications on their smart phones. Results show that the performance of the proposed approach is promising and potentially better than other state-of-the-art approaches.


title: Degasperis-Procesi peakon dynamical system and finite Toda lattice of CKP type

abstract: In this paper, we propose a finite Toda lattice of CKP type (C-Toda) together with a Lax pair. Our motivation is based on the fact that the Camassa-Holm (CH) peakon dynamical system and the finite Toda lattice may be regarded as opposite flows in some sense. As an intriguing analogue to the CH equation, the Degasperis-Procesi (DP) equation also supports the presence of peakon solutions. Noticing that the peakon solution to the DP equation is expressed in terms of bimoment determinants related to the Cauchy kernel, we impose opposite time evolution on the moments and derive the corresponding bilinear equation. The corresponding quartic representation is shown to be a continuum limit of a discrete CKP equation, due to which we call the obtained equation finite Toda lattice of CKP type. Then, a nonlinear version of the C-Toda lattice together with a Lax pair is derived. As a result, it is shown that the DP peakon lattice and the finite C-Toda lattice form opposite flows under certain transformation.


title: An HMM-based behavior modeling approach for continuous mobile authentication

abstract: This paper studies continuous authentication for touch interface based mobile devices. A Hidden Markov Model (HMM) based behavioral template training approach is presented, which does not require training data from other subjects other than the owner of the mobile. The stroke patterns of a user are modeled using a continuous left-right HMM. The approach models the horizontal and vertical scrolling patterns of a user since these are the basic and mostly used interactions on a mobile device. The effectiveness of the proposed method is evaluated through extensive experiments using the Toucha-lytics database which comprises of touch data over time. The results show that the performance of the proposed approach is better than the state-of-the-art method.


title: Dynamics of a Mathematical Hematopoietic Stem-Cell Population Model

abstract: We explore the bifurcations and dynamics of a scalar differential equation with a single constant delay which models the population of human hematopoietic stem cells in the bone marrow. One parameter continuation reveals that with a delay of just a few days, stable periodic dynamics can be generated of all periods from about one week up to one decade! The long period orbits seem to be generated by several mechanisms, one of which is a canard explosion, for which we approximate the dynamics near the slow manifold. Two-parameter continuation reveals parameter regions with even more exotic dynamics including quasi-periodic and phase-locked tori, and chaotic solutions. The panoply of dynamics that we find in the model demonstrates that instability in the stem cell dynamics could be sufficient to generate the rich behaviour seen in dynamic hematological diseases.


title: Bacterial cooperation leads to heteroresistance

abstract: By challenging E. coli with sublethal norfloxacin for 10 days, Henry Lee and James Collins suggests the bacterial altruism leads to the population-wide resistance. By detailedly analyzing experiment data, we suggest that bacterial cooperation leads to population-wide resistance under norfloxacin pressure and simultaneously propose the bacteria shield is the possible feedback mechanism of less resistant bacteria. The bacteria shield is that the less resistant bacteria sacrifice the large number of themselves to consume norfloxacin and then to relieve the norfloxacin burden from highly resistant bacteria. Thus, due to highly resistant bacteria and less resistant bacteria extracted from the same bacteria population, bacterial cooperation leads to heteroresistance.


title: Work Analysis with Resource-Aware Session Types

abstract: While there exist several successful techniques for supporting programmers in deriving static resource bounds for sequential code, analyzing the resource usage of message-passing concurrent processes poses additional challenges. To meet these challenges, this article presents an analysis for statically deriving worst-case bounds on the total work performed by message-passing processes. To decompose interacting processes into components that can be analyzed in isolation, the analysis is based on novel resource-aware session types, which describe protocols and resource contracts for inter-process communication. A key innovation is that both messages and processes carry potential to share and amortize cost while communicating. To symbolically express resource usage in a setting without static data structures and intrinsic sizes, resource contracts describe bounds that are functions of interactions between processes. Resource-aware session types combine standard binary session types and type-based amortized resource analysis in a linear type system. This type system is formulated for a core session-type calculus of the language SILL and proved sound with respect to a multiset-based operational cost semantics that tracks the total number of messages that are exchanged in a system. The effectiveness of the analysis is demonstrated by analyzing standard examples from amortized analysis and the literature on session types and by a comparative performance analysis of different concurrent programs implementing the same interface.


title: Bricks over preprojective algebras and join-irreducible elements in Coxeter groups

abstract: A (semi)brick over an algebra $A$ is a module $S$ such that the endomorphism ring $\operatorname{\mathsf{End}}_A(S)$ is a (product of) division algebra. For each Dynkin diagram $\Delta$, there is a bijection from the Coxeter group $W$ of type $\Delta$ to the set of semibricks over the preprojective algebra $\Pi$ of type $\Delta$, which is restricted to a bijection from the set of join-irreducible elements of $W$ to the set of bricks over $\Pi$. This paper is devoted to giving an explicit description of these bijections in the case $\Delta=\mathbb{A}_n$ or $\mathbb{D}_n$. First, for each join-irreducible element $w \in W$, we describe the corresponding brick $S(w)$ in terms of "Young diagram-like" notation. Next, we determine the canonical join representation $w=\bigvee_{i=1}^m w_i$ of an arbitrary element $w \in W$ based on Reading's work, and prove that $\bigoplus_{i=1}^n S(w_i)$ is the semibrick corresponding to $w$.


title: $z^\circ$-ideals in intermediate rings of ordered field valued continuous functions

abstract: A proper ideal $I$ in a commutative ring with unity is called a $z^\circ$-ideal if for each $a$ in $I$, the intersection of all minimal prime ideals in $R$ which contain $a$ is contained in $I$. For any totally ordered field $F$ and a completely $F$-regular topological space $X$, let $C(X,F)$ be the ring of all $F$-valued continuous functions on $X$ and $B(X,F)$ the aggregate of all those functions which are bounded over $X$. An explicit formula for all the $z^\circ$-ideals in $A(X,F)$ in terms of ideals of closed sets in $X$ is given. It turns out that an intermediate ring $A(X,F)\neq C(X,F)$ is never regular in the sense of Von-Neumann. This property further characterizes $C(X,F)$ amongst the intermediate rings within the class of $P_F$-spaces $X$. It is also realized that $X$ is an almost $P_F$-space if and only if each maximal ideal in $C(X,F)$ is $z^\circ$-ideal. Incidentally this property also characterizes $C(X,F)$ amongst the intermediate rings within the family of almost $P_F$-spaces.


title: Constraints on Massive Axion-Like Particles from X-ray Observations of NGC1275

abstract: If axion-like particles (ALPs) exist, photons can convert to ALPs on passage through regions containing magnetic fields. The magnetised intracluster medium of large galaxy clusters provides a region that is highly efficient at ALP-photon conversion. X-ray observations of Active Galactic Nuclei (AGNs) located within galaxy clusters can be used to search for and constrain ALPs, as photon-ALP conversion would lead to energy-dependent quasi-sinusoidal modulations in the X-ray spectrum of an AGN. We use Chandra observations of the central AGN of the Perseus Cluster, NGC1275, to place bounds on massive ALPs up to m_a ~ 10^-11 eV, extending previous work that used this dataset to constrain massless ALPs.


title: Benchmarking Decoupled Neural Interfaces with Synthetic Gradients

abstract: Artifical Neural Networks are a particular class of learning systems modeled after biological neural functions with an interesting penchant for Hebbian learning, that is "neurons that wire together, fire together". However, unlike their natural counterparts, artificial neural networks have a close and stringent coupling between the modules of neurons in the network. This coupling or locking imposes upon the network a strict and inflexible structure that prevent layers in the network from updating their weights until a full feed-forward and backward pass has occurred. Such a constraint though may have sufficed for a while, is now no longer feasible in the era of very-large-scale machine learning, coupled with the increased desire for parallelization of the learning process across multiple computing infrastructures. To solve this problem, synthetic gradients (SG) with decoupled neural interfaces (DNI) are introduced as a viable alternative to the backpropagation algorithm. This paper performs a speed benchmark to compare the speed and accuracy capabilities of SG-DNI as opposed to a standard neural interface using multilayer perceptron MLP. SG-DNI shows good promise, in that it not only captures the learning problem, it is also over 3-fold faster due to it asynchronous learning capabilities.


title: Deep Hashing with Category Mask for Fast Video Retrieval

abstract: This paper proposes an end-to-end deep hashing framework with category mask for fast video retrieval. We train our network in a supervised way by fully exploiting inter-class diversity and intra-class identity. Classification loss is optimized to maximize inter-class diversity, while intra-pair is introduced to learn representative intra-class identity. We investigate the binary bits distribution related to categories and find out that the effectiveness of binary bits is highly correlated with data categories, and some bits may degrade classification performance of some categories. We then design hash code generation scheme with category mask to filter out bits with negative contribution. Experimental results demonstrate the proposed method outperforms several state-of-the-arts under various evaluation metrics on public datasets.


title: Global superconvergence of the lowest order mixed finite element on mildly structured meshes

abstract: In this paper, we develop global superconvergence estimates for the lowest order Raviart--Thomas mixed finite element method for second order elliptic equations with general boundary conditions on triangular meshes, where most pairs of adjacent triangles form approximate parallelograms. In particular, we prove the $L^{2}$-distance between the numerical solution and canonical interpolant for the vector variable is of order $1+\rho$, where $\rho\in(0,1]$ is dependent on the mesh structure. By a cheap local postprocessing operator $G_{h}$, we prove the $L^{2}$-distance between the exact solution and the postprocessed numerical solution for the vector variable is of order $1+\rho$. As a byproduct, we also obtain the superconvergence estimate for Crouzeix--Raviart nonconforming finite elements on triangular meshes of the same type.


title: Weighted essentially non-oscillatory scheme on unstructured quadrilateral and triangular meshes for hyperbolic conservation laws

abstract: In this paper, a third-order weighted essentially non-oscillatory (WENO) scheme is developed for hyperbolic conservation laws on unstructured quadrilateral and triangular meshes. As a starting point, a general stencil is selected for the cell with any local topology, and a unified linear scheme can be constructed. However, in the traditional WENO scheme on unstructured meshes, the very large and negative weights may appear for the mesh with lower quality, and the very large weights make the WENO scheme unstable even for the smooth tests. In the current scheme, an optimization approach is given to deal with the very large linear weights, and the splitting technique is considered to deal with the negative weights obtained by the optimization approach. The non-linear weight with a new smooth indicator is proposed as well, in which the local mesh quality and discontinuities of solutions are taken into account simultaneously. Numerical tests are presented to validate the current scheme. The expected convergence rate of accuracy is obtained, and the absolute value of error is not affected by mesh quality. The numerical tests with strong discontinuities validate the robustness of current WENO scheme.


title: Low-momentum dynamic structure factor of a strongly interacting Fermi gas at finite temperature: The Goldstone phonon and its Landau damping

abstract: We develop a microscopic theory of dynamic structure factor to describe the Bogoliubov-Anderson-Goldstone phonon mode and its damping rate in a strongly interacting Fermi gas at finite temperature. It is based on a density functional approach - the so-called superfluid local density approximation. The accuracy of the theory is quantitatively examined by comparing the theoretical predictions with the recent experimental measurements for the local dynamic structure factor of a nearly homogeneous unitary Fermi gas at low transferred momentum {[}S. Hoinka \textit{et al.}, Nat. Phys. \textbf{13}, 943 (2017){]}, without any free parameters. We calculate the dynamic structure factor as functions of temperature and transferred momentum, and determine the temperature evolution of the phonon damping rate, by considering the dominant decay process of the phonon mode via scatterings off fermionic quasiparticles. These predictions can be confronted with future Bragg scattering experiments on a unitary Fermi gas near the superfluid transition.


title: Virtual Sensor Modelling using Neural Networks with Coefficient-based Adaptive Weights and Biases Search Algorithm for Diesel Engines

abstract: With the explosion in the field of Big Data and introduction of more stringent emission norms every three to five years, automotive companies must not only continue to enhance the fuel economy ratings of their products, but also provide valued services to their customers such as delivering engine performance and health reports at regular intervals. A reasonable solution to both issues is installing a variety of sensors on the engine. Sensor data can be used to develop fuel economy features and will directly indicate engine performance. However, mounting a plethora of sensors is impractical in a very cost-sensitive industry. Thus, virtual sensors can replace physical sensors by reducing cost while capturing essential engine data.


title: Low-momentum dynamic structure factor of a strongly interacting Fermi gas at finite temperature: A two-fluid hydrodynamic description

abstract: We provide a description of the dynamic structure factor of a homogeneous unitary Fermi gas at low momentum and low frequency, based on the dissipative two-fluid hydrodynamic theory. The viscous relaxation time is estimated and is used to determine the regime where the hydrodynamic theory is applicable and to understand the nature of sound waves in the density response near the superfluid phase transition. By collecting the best knowledge on the shear viscosity and thermal conductivity known so far, we calculate the various diffusion coefficients and obtain the damping width of the (first and second) sounds. We find that the damping width of the first sound is greatly enhanced across the superfluid transition and very close to the transition the second sound might be resolved in the density response for the transferred momentum up to the half of Fermi momentum. Our work is motivated by the recent measurement of the local dynamic structure factor at low momentum at Swinburne University of Technology and the on-going experiment on sound attenuation of a homogeneous unitary Fermi gas at Massachusetts Institute of Technology. We discuss how the measurement of the velocity and damping width of the sound modes in low-momentum dynamic structure factor may lead to an improved determination of the universal superfluid density, shear viscosity and thermal conductivity of a unitary Fermi gas.


title: Inflight Calibration of the Hitomi Soft X-ray Spectrometer (2) Point Spread Function

abstract: We present results of inflight calibration of the point spread function (PSF) of the Soft X-ray Telescope (SXT-S) that focuses X-ray onto the pixel array of the Soft X-ray Spectrometer system (SXS). We make a full array image of a point-like source by extracting a pulsed component of the Crab nebula emission. Within the limited statistics afforded by an exposure time of only 6.9~ksec and the limited knowledge of the systematic uncetainties, we find that the raytracing model of 1'.2 half-power-diameter (HPD) is consistent with an image of the observed event distributions across pixels. The ratio between the Crab pulsar image and the raytracing shows scatter from pixel to pixel that is 40% or less in all except one pixel. The pixel-to-pixel ratio has a spread of 20%, on average, for the 15 edge pixels, with an averaged statistical error of 17% (1 sigma). In the central 16 pixels, the corresponding ratio is 15% with an error of 6%.


title: Evidence of s-wave superconductivity in the noncentrosymmetric La$_7$Ir$_3$

abstract: Superconductivity in noncentrosymmetric compounds has attracted sustained interest in the last decades. Here we present a detailed study on the transport, thermodynamic properties and the band structure of the noncentrosymmetric superconductor La$_7$Ir$_3$ ($T_c$ $\sim$2.3 K) that was recently proposed to break the time-reversal symmetry. It is found that La$_7$Ir$_3$ displays a moderately large electronic heat capacity (Sommerfeld coefficient $\gamma_n$ $\sim$ 53.1 mJ/mol $\text{K}^2$) and a significantly enhanced Kadowaki-Woods ratio (KWR $\sim$ 32 $\mu\Omega$ cm mol$^2$ K$^2$ J$^{-2}$) that is greater than the typical value ($\sim$ 10 $\mu\Omega$ cm mol$^2$ K$^2$ J$^{-2}$) for strongly correlated electron systems. The upper critical field $H_{c2}$ was seen to be nicely described by the single-band Werthamer-Helfand-Hohenberg model down to very low temperatures. The hydrostatic pressure effects on the superconductivity were also investigated. The heat capacity below $T_c$ reveals a dominant s-wave gap with the magnitude close to the BCS value. The first-principles calculations yield the electron-phonon coupling constant $\lambda$ = 0.81 and the logarithmically averaged frequency $\omega_{ln}$ = 78.5 K, resulting in a theoretical $T_c$ = 2.5 K, close to the experimental value. Our calculations suggest that the enhanced electronic heat capacity is more likely due to electron-phonon coupling, rather than the electron-electron correlation effects. Collectively, these results place severe constraints on any theory of exotic superconductivity in this system.


title: Mending $\rho\pi\pi$ vertex through the $\pi a_1$ diagonalization

abstract: The problem of the strong momentum dependence of the $\rho\pi\pi$-vertex in the extended Nambu -- Jona-Lasinio model is solved by an appropriate choice of fields for spin-1 particles. A corresponding phenomenological Lagrangian is derived. As straightforward applications, the decay widths of $\rho\to\pi\pi$, and $a_1\to\rho\pi$ transitions are calculated and compared with known empirical data and previous theoretical estimates.


title: Towards dense object tracking in a 2D honeybee hive

abstract: From human crowds to cells in tissue, the detection and efficient tracking of multiple objects in dense configurations is an important and unsolved problem. In the past, limitations of image analysis have restricted studies of dense groups to tracking a single or subset of marked individuals, or to coarse-grained group-level dynamics, all of which yield incomplete information. Here, we combine convolutional neural networks (CNNs) with the model environment of a honeybee hive to automatically recognize all individuals in a dense group from raw image data. We create new, adapted individual labeling and use the segmentation architecture U-Net with a loss function dependent on both object identity and orientation. We additionally exploit temporal regularities of the video recording in a recurrent manner and achieve near human-level performance while reducing the network size by 94% compared to the original U-Net architecture. Given our novel application of CNNs, we generate extensive problem-specific image data in which labeled examples are produced through a custom interface with Amazon Mechanical Turk. This dataset contains over 375,000 labeled bee instances across 720 video frames at 2 FPS, representing an extensive resource for the development and testing of tracking methods. We correctly detect 96% of individuals with a location error of ~7% of a typical body dimension, and orientation error of 12 degrees, approximating the variability of human raters. Our results provide an important step towards efficient image-based dense object tracking by allowing for the accurate determination of object location and orientation across time-series image data efficiently within one network architecture.


title: Well-Ordered Valuations on Rational Function Fields in Two Variables

abstract: Gr\"obner bases have been generalized by replacing monomial orders with constructions such as valuations and filtrations. We consider suitable valuations on a rational valuation field $K(x,y)$ and analyze their behavior when restricting to an underlying polynomial ring $K[x,y]$. In previous work, the corresponding value groups were subsets of ${\mathbb Q}$, and in this paper we consider the case when the value groups are isomorphic to ${\mathbb Z} \oplus {\mathbb Z}$. Bounds on how the image of $K[x,y]$ grows with respect to degree are given, and then a class a valuations that are suitable for use for generalized Gr\"obner bases are described. We construct an example in which the image of the underlying polynomial ring is non-negative, yet is not well-ordered.


title: Unbinned model-independent measurements with coherent admixtures of multibody neutral $D$ meson decays

abstract: Various studies of Standard Model parameters involve measuring the properties of a coherent admixture of $D^0$ and $\overline{D}^0$ states. A typical example is the determination of the Unitarity Triangle angle $\gamma$ in the decays $B\to DK$, $D\to K_S^0\pi^+\pi^-$. A model-independent approach to perform this measurement is proposed that has superior statistical sensitivity than the well-established method involving binning of the $D\to K_S^0\pi^+\pi^-$ decay phase space. The technique employs Fourier analysis of the complex phase difference between $D^0$ and $\overline{D}^0$ decay amplitudes and can be easily generalised to other similar measurements, such as studies of charm mixing or determination of the angle $\beta$ from $B^0\to D h^0$ decays.


title: Evaluation of van der Waals density functionals for layered materials

abstract: In 2012, Bjorkman et al. posed the question "Are we van der Waals ready?" [J. Phys.: Condens. Matter, 2012, 24, 424218] about the ability of ab initio modelling to reproduce van der Waals (vdW) dispersion forces in layered materials. The answer at that time was no, however. Here we report on a new generation of vdW dispersion models and show that one, fractionally-ionic atom (FIA) theory, offers close to quantitative predictions for layered structures. Furthermore, it does so from a qualitatively correct picture of dispersion forces. Other methods, such as D3 and optB88vdW also work well, albeit with some exceptions. We thus argue that we are nearly vdW ready, and that some modern dispersion methods are accurate enough to be used for nanomaterial prediction, albeit with some caution required.


title: A simple introduction to Karmarkar's Algorithm for Linear Programming

abstract: An extremely simple, description of Karmarkar's algorithm with very few technical terms is given.


title: A threshold model for local volatility: evidence of leverage and mean reversion effects on historical data

abstract: In financial markets, low prices are generally associated with high volatilities and vice-versa, this well known stylized fact usually being referred to as leverage effect. We propose a local volatility model, given by a stochastic differential equation with piecewise constant coefficients, which accounts of leverage and mean-reversion effects in the dynamics of the prices. This model exhibits a regime switch in the dynamics accordingly to a certain threshold. It can be seen as a continuous-time version of the Self-Exciting Threshold Autoregressive (SETAR) model. We propose an estimation procedure for the volatility and drift coefficients as well as for the threshold level. Parameters estimated on the daily prices of 348 stocks of NYSE and S\&P 500, on different time windows, show consistent empirical evidence for leverageeffects. Mean-reversion effects are also detected, most markedly in crisis periods.


title: Deformation of Rational Curves Along Foliations

abstract: Deformation of morphisms along leaves of foliations define the tangential foliation on the corresponding space of morphisms. We prove that codimension one fo-liations having a tangential foliation with at least one non-algebraic leaf are transversely homogeneous with structure group determined by the codimension of the non-algebraic leaf in its Zariski closure. As an application, we provide a structure theorem for degree three foliations on $P^3$ .


title: The Projective Height Zero Conjecture

abstract: We propose a projective version of the celebrated Brauer's Height Zero Conjecture on characters of finite groups and prove it, among other cases, for $p$-solvable groups as well as for (some) quasi-simple groups.


title: Generalized Charge Energy Rate for Organic Solids and Biomolecular Aggregates Through Drift-Diffusion and Hopping Transport Equations: A Unified Theory

abstract: We derive generalized charge energy rate equations for organic solids and biomolecular aggregates, even when these are dynamically disordered. These equations suggest that the transport in such cases rely on both drift and diffusion phenomena. The presence of disorder and field effects makes the equations nonlinear and together with cooperativity, these enhance the charge and energy transport. The generalized drift diffusion expression connects the adiabatic band and nonadiabatic hopping transport mechanisms, well suited for any complex organic semiconductors or assemblies of bio molecular systems. Here we have proposed donor-acceptor (DA) reaction state model, which examines the probability of charge transfer and the rate between two distinct transition state identities. From our analytical equations, we suggest that charge and energy transport property in DA states can be tuned by only a single parameter, i.e., the chemical potential. Importantly, we find the non-equilibrium assisted drift-diffusion transport at non- steady state regime in 2D and 3D semiconducting devices. The numerical results clearly support our unified analytical equations, which goes beyond Einstein's diffusion law even in quasi- equilibrium cases.


title: Projective changes between two Finsler spaces with $(\alpha, \beta )$-metrics

abstract: In the present paper, we find the conditions to characterize projective change between two $(\alpha, \beta)$-metrics, F = $\alpha + \epsilon \beta + k\frac{\beta^2}{\alpha}$ ($\epsilon$ and k $\neq$ 0 are constants) and a Matsumoto metric $\bar{F}=\frac{\bar{\alpha}^2}{\bar{\alpha} -\bar{\beta}}$ on a manifold with dimension $n \geq 3$ where $\alpha$ and $\bar{\alpha}$ are two Riemannian metrics, $\beta$ and $\bar{\beta}$ are two non-zero 1-forms. Moreover, we study such projective changes when F has some special curvature properties.


title: Non-extensivity of the QCD pT spectra

abstract: We try to establish a connection between the hadronic distributions, in proton-proton collisions at very high transverse momentum $p_{\mathrm{T}}$, obtained via perturbative QCD and the Tsallis non extensive statistics. Our motivation is that while the former is expected to be valid at extremely high momentum, due to asymptotic freedom, the latter has been very successful in describing experimental spectra over a wide range of momentum. Matching the non extensive statistics with the asymptotic $p_{\mathrm{T}}$ behaviour expected from QCD leads to the value of $q=1.25$.


title: An Efficient Spectral Leakage Filtering for IEEE 802.11af in TV White Space

abstract: Orthogonal frequency division multiplexing (OFDM) has been widely adopted for modern wireless standards and become a key enabling technology for cognitive radios. However, one of its main drawbacks is significant spectral leakage due to the accumulation of multiple sinc-shaped subcarriers. In this paper, we present a novel pulse shaping scheme for efficient spectral leakage suppression in OFDM based physical layer of IEEE 802.11af standard. With conventional pulse shaping filters such as a raised-cosine filter, vestigial symmetry can be used to reduce spectral leakage very effectively. However, these pulse shaping filters require long guard interval, i.e., cyclic prefix in an OFDM system, to avoid inter-symbol interference (ISI), resulting in a loss of spectral efficiency. The proposed pulse shaping method based on asymmetric pulse shaping achieves better spectral leakage suppression and decreases ISI caused by filtering as compared to conventional pulse shaping filters.


title: Music of Brain and Music on Brain: A Novel EEG Sonification approach

abstract: Can we hear the sound of our brain? Is there any technique which can enable us to hear the neuro-electrical impulses originating from the different lobes of brain? The answer to all these questions is YES. In this paper we present a novel method with which we can sonify the Electroencephalogram (EEG) data recorded in rest state as well as under the influence of a simplest acoustical stimuli - a tanpura drone. The tanpura drone has a very simple yet very complex acoustic features, which is generally used for creation of an ambiance during a musical performance. Hence, for this pilot project we chose to study the correlation between a simple acoustic stimuli (tanpura drone) and sonified EEG data. Till date, there have been no study which deals with the direct correlation between a bio-signal and its acoustic counterpart and how that correlation varies under the influence of different types of stimuli. This is the first of its kind study which bridges this gap and looks for a direct correlation between music signal and EEG data using a robust mathematical microscope called Multifractal Detrended Cross Correlation Analysis (MFDXA). For this, we took EEG data of 10 participants in 2 min 'rest state' (i.e. with white noise) and in 2 min 'tanpura drone' (musical stimulus) listening condition. Next, the EEG signals from different electrodes were sonified and MFDXA technique was used to assess the degree of correlation (or the cross correlation coefficient) between tanpura signal and EEG signals. The variation of {\gamma}x for different lobes during the course of the experiment also provides major interesting new information. Only music stimuli has the ability to engage several areas of the brain significantly unlike other stimuli (which engages specific domains only).


title: A proposal for a quantitative indicator of original research output

abstract: The use of quantitative indicators of scientific productivity seems now quite widespread for assessing researchers and research institutions. There is a general perception, however, that these indicators are not necessarily representative of the originality of the research carried out, being primarily indicative of a more or less prolific scientific activity and of the size of the targeted scientific subcommunity. We first discuss some of the drawbacks of the broadly adopted $h$-index and of the fact that it represents, in an average sense, an indicator derivable from the total number of citations. Then we propose an indicator which, although not immune from biases, seems more in line with the general expectations for quantifying what is typically considered original work. Qualitative arguments on how different indicators may shape the future of science are finally discussed.


title: Test beam measurement of ams H35 HV-CMOS capacitively coupled pixel sensor prototypes with high-resistivity substrate

abstract: In the context of the studies of the ATLAS High Luminosity LHC programme, radiation tolerant pixel detectors in CMOS technologies are investigated. To evaluate the effects of substrate resistivity on CMOS sensor performance, the H35DEMO demonstrator, containing different diode and amplifier designs, was produced in ams H35 HV-CMOS technology using four different substrate resistivities spanning from $\mathrm{80}$ to $\mathrm{1000~\Omega \cdot cm}$. A glueing process using a high-precision flip-chip machine was developed in order to capacitively couple the sensors to FE-I4 Readout ASIC using a thin layer of epoxy glue with good uniformity over a large surface. The resulting assemblies were measured in beam test at the Fermilab Test Beam Facilities with 120 GeV protons and CERN SPS H8 beamline using 80 GeV pions. The in-time efficiency and tracking properties measured for the different sensor types are shown to be compatible with the ATLAS ITk requirements for its pixel sensors.


title: Different ways to estimate graviton mass

abstract: An experimental detection of graviton is extremely hard problem, however, there are different ways to evaluate a graviton mass if it is non-vanishing. Theories of massive gravity or theories with non-vanishing graviton mass initially have a number of pathologies such as discontinuities, ghosts etc. In last years theorists found ways to overcome weaknesses of such theories meanwhile observational features are also discussed. In the first publication reporting about the discovery of gravitational waves from the binary black hole system the LIGO-Virgo collaboration obtained the graviton mass constraint around $1.2 \times 10^{-22}$ eV (later the estimate was improved with new data). A comparable and consistent graviton mass constraint around $2.9 \times 10^{-21}$ eV has been obtained from analysis of the bright star S2 trajectory near the Galactic Center.


title: Reconfigurable Digital Channelizer Design Using Factored Markov Decision Processes

abstract: In this work, a novel digital channelizer design is developed through the use of a compact, system-level modeling approach. The model efficiently captures key properties of a digital channelizer system and its time-varying operation. The model applies powerful Markov Decision Process (MDP) techniques in new ways for design optimization of reconfigurable channelization processing. The result is a promising methodology for design and implementation of digital channelizers that adapt dynamically to changing use cases and stochastic environments while optimizing simultaneously for multiple conflicting performance goals. The method is used to employ an MDP to generate a runtime reconfiguration policy for a time-varying environment. Through extensive simulations, the robustness of the adaptation is demonstrated in comparison with the prior state of the art.


title: Qualitative software engineering research -- reflections and guidelines

abstract: Researchers are increasingly recognizing the importance of human aspects in software development. Since qualitative methods are used to explore human behavior in-depth, we believe that studies using such methods will become more common. Existing qualitative software engineering guidelines do not cover the full breadth of qualitative methods and the knowledge on how to use them like in social sciences. The purpose of this study was to extend the software engineering community's current body of knowledge regarding available qualitative methods and their quality assurance frameworks, and to provide recommendations and guidelines for their use. With the support of an epistemological argument and a survey of the literature, we suggest that future research would benefit from (1) utilizing a broader set of research methods, (2) more strongly emphasizing reflexivity, and (3) employing qualitative guidelines and quality criteria. We present an overview of three qualitative methods commonly used in social sciences but rarely seen in software engineering research, namely interpretative phenomenological analysis, narrative analysis, and discourse analysis. Furthermore, we discuss the meaning of reflexivity in relation to the software engineering context and suggest means of fostering it. Our paper will help software engineering researchers better select and then guide the application of a broader set of qualitative research methods.


title: Event-based Failure Prediction in Distributed Business Processes

abstract: Traditionally, research in Business Process Management has put a strong focus on centralized and intra-organizational processes. However, today's business processes are increasingly distributed, deviating from a centralized layout, and therefore calling for novel methodologies of detecting and responding to unforeseen events, such as errors occurring during process runtime. In this article, we demonstrate how to employ event-based failure prediction in business processes. This approach allows to make use of the best of both traditional Business Process Management Systems and event-based systems. Our approach employs machine learning techniques and considers various types of events. We evaluate our solution using two business process data sets, including one from a real-world event log, and show that we are able to detect errors and predict failures with high accuracy.


title: Summary of Working Group 8: Advanced and Novel Accelerators for High Energy Physics

abstract: We briefly summarize the work and discussions that occurred during the Working Group 8 sessions of the EAAC 2017, dedicated to advanced and novel accelerators for high energy physics applications.


title: Exploration of the magnetic-field-induced $5s5p$~$^3P_0$~-~$5s^2$~$^1S_0$ forbidden transition in bosonic Sr atom

abstract: We presented experimental and theoretical studies of the effect of an external magnetic field on the forbidden transition in the bosonic Sr atom. In our ultra-cold atomic system, the excitation fraction of $5s5p$~$^3P_0$~-~$5s^2$~$^1S_0$ forbidden transition was measured under the circumstance of the different magnetic field strengths by using the normalized detection method. Based on perturbation theory, we calculated the magnetic-field-induced $5s5p$~$^3P_0$~-~$5s^2$~$^1S_0$ transition rate. The excitation fraction as a function of the magnetic field strength was deduced according to the calculated results. A good agreement was found between the experimental measurements and the calculations. This study should be helpful in evaluating the magnetic field effects on the forbidden transition rate with higher accuracy. Moreover, it can help to understand the ultra-cold atomic interaction in the external magnetic field.


title: Proceedings Third Workshop on Graphs as Models

abstract: Graphs are used as models in many areas of computer science and computer engineering. For example graphs are used to represent syntax, control and data flow, dependency, state spaces, models such as UML and other types of domain-specific models, and social network graphs. In all of these examples, the graph serves as an intuitive yet mathematically precise foundation for many purposes, both in theory building as well as in practical applications. Graph-based models serve as an abstract communication medium and are used to describe various concepts and phenomena. Moreover, once such graph-based models are constructed, they can be analyzed and transformed to verify the correctness of static and dynamic properties, to discover new properties, to deeply study a particular domain of interest or to produce new equivalent and/or optimized versions of graph-based models. The Graphs as Models (GaM) workshop series combines the strengths of two pre-existing workshop series: GT-VMT (Graph Transformation and Visual Modelling Techniques) and GRAPHITE (Graph Inspection and Traversal Engineering), but also solicits research from other related areas, such as social network analysis. GaM offers a platform for exchanging new ideas and results for active researchers in these areas, with a particular aim of boosting inter- and transdisciplinary research exploiting new applications of graphs as models in any area of computational science. This year (2017), the third edition of the GaM workshop was co-located with the European Joint Conferences on Theory and Practice of Software 2017 (ETAPS'17), held in Uppsala, Sweden.


title: On periodicity of geodesic continued fractions

abstract: In this paper, we present some generalizations of Lagrange's theorem in the classical theory of continued fractions motivated by the geometric interpretation of the classical theory in terms of closed geodesics on the modular curve. As a result, for an extension $F/F'$ of number fields with rank one relative unit group, we construct a geodesic multi-dimensional continued fraction algorithm to "expand" any basis of $F$ over $\mathbb{Q}$, and prove its periodicity. Furthermore, we show that the periods describe the relative unit group. By developing the above argument adelically, we also obtain a $p$-adelic continued fraction algorithm and its periodicity for imaginary quadratic irrationals.


title: On the Asymptotic Distribution of Nucleation Times of Polymerization Processes

abstract: In this paper, we investigate a stochastic model describing the time evolution of a polymerization process. A polymer is a macro-molecule resulting from the aggregation of several elementary sub-units called monomers. Polymers can grow by addition of monomers or can be split into several polymers. The initial state of the system consists mainly of monomers. We study the time evolution of the mass of polymers, in particular the asymptotic distribution of the first instant when the fraction of monomers used in polymers is above some positive threshold $\delta$. A scaling approach is used by taking the mass $N$ as a scaling parameter. The mathematical model used in this paper includes {\em a nucleation property}: If $n_c$ is defined as the size of the nucleus, polymers with a size less than $n_c$ are quickly fragmented into smaller polymers, at a rate proportional to $\Phi(N)$ for some non-decreasing and unbounded function $\Phi$. For polymers of size greater than $n_c$, fragmentation still occurs but at bounded rates. If $T^N$ is the instant of creation of the first polymer whose size is $n_c$, it is shown that, under appropriate conditions, the variable $T^N{/}[\Phi(N)^{n_c{-}2}{/}N]$ converges in distribution, and that the first instant $L_\delta^N$ when a fraction $\delta$ of monomers is polymerized has the same order of magnitude. An original feature proved for this model is the significant variability of the variable $T^N$. This is a well known phenomenon observed in biological experiments but few mathematical models of the literature have this property. The results are proved via a series of technical estimates for occupation measures of some functionals of the corresponding Markov processes on fast time scales and by using coupling techniques.


title: Towards Software Development For Social Robotics Systems

abstract: In this paper we introduce the core results of the project on software development for social robotics systems. The usability of maintenance and control features is crucial for many kinds of systems, but in the case of social robotics we also have to take into account that (1) the humanoid robot physically interacts with humans, (2) the conversation with children might have different requirements in comparison to the conversation with adults. The results of our work were implement for the humanoid PAL REEM robot, but their core ideas can be applied for other types of humanoid robots. We developed a web-based solution that supports the management of robot-guided tours, provides recommendations for the users as well as allows for a visual analysis of the data on previous tours.


title: Tracking the Diffusion of Named Entities

abstract: Existing studies of how information diffuses across social networks have thus far concentrated on analysing and recovering the spread of deterministic innovations such as URLs, hashtags, and group membership. However investigating how mentions of real-world entities appear and spread has yet to be explored, largely due to the computationally intractable nature of performing large-scale entity extraction. In this paper we present, to the best of our knowledge, one of the first pieces of work to closely examine the diffusion of named entities on social media, using Reddit as our case study platform. We first investigate how named entities can be accurately recognised and extracted from discussion posts. We then use these extracted entities to study the patterns of entity cascades and how the probability of a user adopting an entity (i.e. mentioning it) is associated with exposures to the entity. We put these pieces together by presenting a parallelised diffusion model that can forecast the probability of entity adoption, finding that the influence of adoption between users can be characterised by their prior interactions -- as opposed to whether the users propagated entity-adoptions beforehand. Our findings have important implications for researchers studying influence and language, and for community analysts who wish to understand entity-level influence dynamics.


title: Finding People's Professions and Nationalities Using Distant Supervision - The FMI@SU "goosefoot" team at the WSDM Cup 2017 Triple Scoring Task

abstract: We describe the system that our FMI@SU student's team built for participating in the Triple Scoring task at the WSDM Cup 2017. Given a triple from a "type-like" relation, profession or nationality, the goal is to produce a score, on a scale from 0 to 7, that measures the relevance of the statement expressed by the triple: e.g., how well does the profession of an Actor fit for Quentin Tarantino? We propose a distant supervision approach using information crawled from Wikipedia, DeletionPedia, and DBpedia, together with task-specific word embeddings, TF-IDF weights, and role occurrence order, which we combine in a linear regression model. The official evaluation ranked our submission 1st on Kendall's Tau, 7th on Average score difference, and 9th on Accuracy, out of 21 participating teams.


title: Predicting Triple Scoring with Crowdsourcing-specific Features - The fiddlehead Triple Scorer at WSDM Cup 2017

abstract: The Triple Scoring Task at the WSDM Cup 2017 involves the prediction of the relevance scores between persons and professions/nationalities. The ground truth of the relevance scores was obtained by counting the vote of seven crowdworkers. I confirmed that features related to task difficulty correlate with the discrepancy among crowdworkers' judgement. This means such features are useful for predicting whether a score is in the middle or not. Hence, the features were incorporated into the prediction model of the crowdsourced relevance scores. The introduced features improve the average score difference of the prediction. The final ranking of my prediction was 4th for average score difference and 12th for both accuracy and Kendall's tau.


title: Triple Scoring Using a Hybrid Fact Validation Approach - The Catsear Triple Scorer at WSDM Cup 2017

abstract: With the continuous increase of data daily published in knowledge bases across the Web, one of the main issues is regarding information relevance. In most knowledge bases, a triple (i.e., a statement composed by subject, predicate, and object) can be only true or false. However, triples can be assigned a score to have information sorted by relevance. In this work, we describe the participation of the Catsear team in the Triple Scoring Challenge at the WSDM Cup 2017. The Catsear approach scores triples by combining the answers coming from three different sources using a linear regression classifier. We show how our approach achieved an Accuracy2 value of 79.58% and the overall 4th place.


title: Relevance Score of Triplets Using Knowledge Graph Embedding - The Pigweed Triple Scorer at WSDM Cup 2017

abstract: Collaborative Knowledge Bases such as Freebase and Wikidata mention multiple professions and nationalities for a particular entity. The goal of the WSDM Cup 2017 Triplet Scoring Challenge was to calculate relevance scores between an entity and its professions/nationalities. Such scores are a fundamental ingredient when ranking results in entity search. This paper proposes a novel approach to ensemble an advanced Knowledge Graph Embedding Model with a simple bag-of-words model. The former deals with hidden pragmatics and deep semantics whereas the latter handles text-based retrieval and low-level semantics.


title: Supervised Ranking of Triples for Type-Like Relations - The Cress Triple Scorer at the WSDM Cup 2017

abstract: This paper describes our participation in the Triple Scoring task of WSDM Cup 2017, which aims at ranking triples from a knowledge base for two type-like relations: profession and nationality. We introduce a supervised ranking method along with the features we designed for this task. Our system has been top ranked with respect to average score difference and 2nd best in terms of Kendall's tau.


title: Ranking Triples using Entity Links in a Large Web Crawl - The Chicory Triple Scorer at WSDM Cup 2017

abstract: This paper describes the participation of team Chicory in the Triple Ranking Challenge of the WSDM Cup 2017. Our approach deploys a large collection of entity tagged web data to estimate the correctness of the relevance relation expressed by the triples, in combination with a baseline approach using Wikipedia abstracts following [1]. Relevance estimations are drawn from ClueWeb12 annotated by Google's entity linker, available publicly as the FACC1 dataset. Our implementation is automatically generated from a so-called 'search strategy' that specifies declaratively how the input data are combined into a final ranking of triples.


title: Leveraging Text and Knowledge Bases for Triple Scoring: An Ensemble Approach - The BOKCHOY Triple Scorer at WSDM Cup 2017

abstract: We present our winning solution for the WSDM Cup 2017 triple scoring task. We devise an ensemble of four base scorers, so as to leverage the power of both text and knowledge bases for that task. Then we further refine the outputs of the ensemble by trigger word detection, achieving even better predictive accuracy. The code is available at https://github.com/wsdm-cup-2017/bokchoy.


title: Integrating Knowledge from Latent and Explicit Features for Triple Scoring - Team Radicchio's Triple Scorer at WSDM Cup 2017

abstract: The objective of the triple scoring task in WSDM Cup 2017 is to compute relevance scores for knowledge-base triples of type-like relations. For example, consider Julius Caesar who has had various professions, including Politician and Author. For two given triples (Julius Caesar, profession, Politician) and (Julius Caesar, profession, Author), the former triple is likely to have a higher relevance score (also called "triple score") because Julius Caesar was well-known as a politician and not as an author. Accurate prediction of such triple scores greatly benefits real-world applications, such as information retrieval or knowledge base query. In these scenarios, being able to rank all relations (Profession/Nationality) can help improve the user experience. We propose a triple scoring model which integrates knowledge from both latent features and explicit features via an ensemble approach. The latent features consist of representations for a person learned by using a word2vec model and representations for profession/nationality values extracted from a pre-trained GloVe embedding model. In addition, we extract explicit features for person entities from the Freebase knowledge base. Experimental results show that the proposed method performs competitively at WSDM Cup 2017, ranking at the third place with an accuracy of 79.72% for predicting within two places of the ground truth score.


title: A Potapov-type approach to a truncated matricial Stieltjes-type power moment problem

abstract: The paper gives a parametrization of the solution set of a matricial Stieltjes-type truncated power moment problem in the non-degenerate and degenerate cases. The key role plays the solution of the corresponding system of Potapov's fundamental matrix inequalities.


title: Predicting Relevance Scores for Triples from Type-Like Relations using Neural Embedding - The Cabbage Triple Scorer at WSDM Cup 2017

abstract: The WSDM Cup 2017 Triple scoring challenge is aimed at calculating and assigning relevance scores for triples from type-like relations. Such scores are a fundamental ingredient for ranking results in entity search. In this paper, we propose a method that uses neural embedding techniques to accurately calculate an entity score for a triple based on its nearest neighbor. We strive to develop a new latent semantic model with a deep structure that captures the semantic and syntactic relations between words. Our method has been ranked among the top performers with accuracy - 0.74, average score difference - 1.74, and average Kendall's Tau - 0.35.


title: Triple Scoring Using Paragraph Vector - The Gailan Triple Scorer at WSDM Cup 2017

abstract: In this paper we describe our solution to the WSDM Cup 2017 Triple Scoring task. Our approach generates a relevance score based on the textual description of the triple's subject and value (Object). It measures how similar (related) the text description of the subject is to the text description of its values. The generated similarity score can then be used to rank the multiple values associated with this subject. We utilize the Paragraph Vector algorithm to represent the unstructured text into fixed length vectors. The fixed length representation is then employed to calculate the similarity (relevance) score between the subject and its multiple values. Our experimental results have shown that the suggested approach is promising and suitable to solve this problem.


title: Direct S-matrix calculation for diffractive structures and metasurfaces

abstract: The paper presents a derivation of analytical components of S-matrices for arbitrary planar diffractive structures and metasurfaces in the Fourier domain. Attained general formulas for S-matrix components can be applied within both formulations in the Cartesian and curvilinear metric. A numerical method based on these results can benefit from all previous improvements of the Fourier domain methods. In addition, we provide expressions for S-matrix calculation in case of periodically corrugated layers of 2D materials, which are valid for arbitrary corrugation depth-to-period ratios. As an example the derived equations are used to simulate resonant grating excitation of graphene plasmons and an impact of silica interlayer on corresponding reflection curves.


title: Connected Vertex Cover for $(sP_1+P_5)$-Free Graphs

abstract: The Connected Vertex Cover problem is to decide if a graph G has a vertex cover of size at most $k$ that induces a connected subgraph of $G$. This is a well-studied problem, known to be NP-complete for restricted graph classes, and, in particular, for $H$-free graphs if $H$ is not a linear forest (a graph is $H$-free if it does not contain $H$ as an induced subgraph). It is easy to see that Connected Vertex Cover is polynomial-time solvable for $P_4$-free graphs. We continue the search for tractable graph classes: we prove that it is also polynomial-time solvable for $(sP_1+P_5)$-free graphs for every integer $s\geq 0$.


title: On Using Backpropagation for Speech Texture Generation and Voice Conversion

abstract: Inspired by recent work on neural network image generation which rely on backpropagation towards the network inputs, we present a proof-of-concept system for speech texture synthesis and voice conversion based on two mechanisms: approximate inversion of the representation learned by a speech recognition neural network, and on matching statistics of neuron activations between different source and target utterances. Similar to image texture synthesis and neural style transfer, the system works by optimizing a cost function with respect to the input waveform samples. To this end we use a differentiable mel-filterbank feature extraction pipeline and train a convolutional CTC speech recognition network. Our system is able to extract speaker characteristics from very limited amounts of target speaker data, as little as a few seconds, and can be used to generate realistic speech babble or reconstruct an utterance in a different voice.


title: Differential geometry and stochastic dynamics with deep learning numerics

abstract: In this paper, we demonstrate how deterministic and stochastic dynamics on manifolds, as well as differential geometric constructions can be implemented concisely and efficiently using modern computational frameworks that mix symbolic expressions with efficient numerical computations. In particular, we use the symbolic expression and automatic differentiation features of the python library Theano, originally developed for high-performance computations in deep learning. We show how various aspects of differential geometry and Lie group theory, connections, metrics, curvature, left/right invariance, geodesics and parallel transport can be formulated with Theano using the automatic computation of derivatives of any order. We will also show how symbolic stochastic integrators and concepts from non-linear statistics can be formulated and optimized with only a few lines of code. We will then give explicit examples on low-dimensional classical manifolds for visualization and demonstrate how this approach allows both a concise implementation and efficient scaling to high dimensional problems.


title: Mott transition in the $\pi$-flux SU($4$) Hubbard model on a square lattice

abstract: We employ the projector quantum Monte Carlo simulations to study the ground-state properties of the square-lattice SU(4) Hubbard model with a $\pi$ flux per plaquette. In the weak coupling regime, its ground state is in the gapless Dirac semi-metal phase. With increasing repulsive interaction, we show that, a Mott transition occurs from the semimetal to the valence bond solid, accompanied by the $Z_4$ discrete symmetry breaking. Our simulations demonstrate the existence of a second-order phase transition, which confirms the Ginzburg-Landau analysis. The phase transition point and the critical exponent $\eta$ are also estimated. To account for the effect of a $\pi$ flux on the ordering in the strong coupling regime, we analytically derive by the perturbation theory the ring-exchange term which describes the leading-order difference between the $\pi$-flux and zero-flux SU(4) Hubbard models.


title: The optical performance of a dielectric-metal-dielectric anti-reflective absorber structure

abstract: The absorption of electromagnetic radiation by a planar structure, consisting of a three-layer dielectric-metal-dielectric coating on a metal back-reflector is analysed. The conditions for total absorption are derived. Our analysis shows that, in contrast with bi-layer structures, the calculated layer thicknesses are feasible to fabricate for any metal. The proposed absorber design is of potential use in infrared and longer wavelength detectors and for radiant energy harvesting devices.


title: ADWISE: Adaptive Window-based Streaming Edge Partitioning for High-Speed Graph Processing

abstract: In recent years, the graph partitioning problem gained importance as a mandatory preprocessing step for distributed graph processing on very large graphs. Existing graph partitioning algorithms minimize partitioning latency by assigning individual graph edges to partitions in a streaming manner --- at the cost of reduced partitioning quality. However, we argue that the mere minimization of partitioning latency is not the optimal design choice in terms of minimizing total graph analysis latency, i.e., the sum of partitioning and processing latency. Instead, for complex and long-running graph processing algorithms that run on very large graphs, it is beneficial to invest more time into graph partitioning to reach a higher partitioning quality --- which drastically reduces graph processing latency. In this paper, we propose ADWISE, a novel window-based streaming partitioning algorithm that increases the partitioning quality by always choosing the best edge from a set of edges for assignment to a partition. In doing so, ADWISE controls the partitioning latency by adapting the window size dynamically at run-time. Our evaluations show that ADWISE can reach the sweet spot between graph partitioning latency and graph processing latency, reducing the total latency of partitioning plus processing by up to 23-47 percent compared to the state-of-the-art.