title: Corpus-compressed Streaming and the Spotify Problem

abstract: In this work, we describe a problem which we refer to as the \textbf{Spotify problem} and explore a potential solution in the form of what we call corpus-compressed streaming schemes. Inspired by the problem of constrained bandwidth during use of the popular Spotify application on mobile networks, the Spotify problem applies in any number of practical domains where devices may be periodically expected to experience degraded communication or storage capacity. One obvious solution candidate which comes to mind immediately is standard compression. Though obviously applicable, standard compression does not in any way exploit all characteristics of the problem; in particular, standard compression is oblivious to the fact that a decoder has a period of virtually unrestrained communication. Towards applying compression in a manner which attempts to stretch the benefit of periods of higher communication capacity into periods of restricted capacity, we introduce as a solution the idea of a corpus-compressed streaming scheme. This report begins with a formal definition of a corpus-compressed streaming scheme. Following a discussion of how such schemes apply to the Spotify problem, we then give a survey of specific corpus-compressed scheming schemes guided by an exploration of different measures of description complexity within the Chomsky hierarchy of languages.


title: Synthesizing Deep Neural Network Architectures using Biological Synaptic Strength Distributions

abstract: In this work, we perform an exploratory study on synthesizing deep neural networks using biological synaptic strength distributions, and the potential influence of different distributions on modelling performance particularly for the scenario associated with small data sets. Surprisingly, a CNN with convolutional layer synaptic strengths drawn from biologically-inspired distributions such as log-normal or correlated center-surround distributions performed relatively well suggesting a possibility for designing deep neural network architectures that do not require many data samples to learn, and can sidestep current training procedures while maintaining or boosting modelling performance.


title: Estimation of Miner Hash Rates and Consensus on Blockchains (draft)

abstract: We make several contributions that quantify the real-time hash rate and therefore the consensus of a blockchain. We show that by using only the hash value of blocks, we can estimate and measure the hash rate of all miners or individual miners, with quanti able accuracy. We apply our techniques to the Ethereum and Bitcoin blockchains; our solution applies to any proof-of-work-based blockchain that relies on a numeric target for the validation of blocks. We also show that if miners regularly broadcast status reports of their partial proof-of- work, the hash rate estimates are signi cantly more accurate at a cost of slightly higher bandwidth. Whether using only the blockchain, or the additional information in status reports, merchants can use our techniques to quantify in real-time the threat of double-spend attacks.


title: Notes on Growing a Tree in a Graph

abstract: We study the height of a spanning tree $T$ of a graph $G$ obtained by starting with a single vertex of $G$ and repeatedly selecting, uniformly at random, an edge of $G$ with exactly one endpoint in $T$ and adding this edge to $T$.


title: J-type carbon stars: A dominant source of 14N-rich presolar SiC grains of type AB

abstract: We report Mo isotopic data of 27 new presolar SiC grains, including 12 14N-rich AB (14N/15N>440, AB2) and 15 mainstream (MS) grains, and their correlated Sr and Ba isotope ratios when available. Direct comparison of the data for the MS grains, which came from low-mass asymptotic giant branch (AGB) stars with large s-process isotope enhancements, with the AB2 grain data demonstrates that AB2 grains show near-solar isotopic compositions and lack s-process enhancements. The near-normal Sr, Mo, and Ba isotopic compositions of AB2 grains clearly exclude born-again AGB stars, where the intermediate neutron-capture process (i-process) takes place, as their stellar source. On the other hand, low-mass CO novae, and early R- and J-type carbon stars show 13C and 14N excesses but no s-process enhancements and are thus potential stellar sources of AB2 grains. Since both early R-type carbon stars and CO novae are rare objects, the abundant J-type carbon stars (10-15% of all carbon stars) are thus likely to be a dominant source of AB2 grains.


title: An attempt to resolve the cosmological constant problem in the modified Yang's noncommutative quantized space-time

abstract: We attempt to resolve the cosmological constant problem through the key concept of the quantized number of spatial degrees of freedom in the modified Yang's quantized space-time, $n_{\rm {dof}} (V_3^{R(\tau)})$.


title: Disinformation and Social Bot Operations in the Run Up to the 2017 French Presidential Election

abstract: Recent accounts from researchers, journalists, as well as federal investigators, reached a unanimous conclusion: social media are systematically exploited to manipulate and alter public opinion. Some disinformation campaigns have been coordinated by means of bots, social media accounts controlled by computer scripts that try to disguise themselves as legitimate human users. In this study, we describe one such operation occurred in the run up to the 2017 French presidential election. We collected a massive Twitter dataset of nearly 17 million posts occurred between April 27 and May 7, 2017 (Election Day). We then set to study the MacronLeaks disinformation campaign: By leveraging a mix of machine learning and cognitive behavioral modeling techniques, we separated humans from bots, and then studied the activities of the two groups taken independently, as well as their interplay. We provide a characterization of both the bots and the users who engaged with them and oppose it to those users who didn't. Prior interests of disinformation adopters pinpoint to the reasons of the scarce success of this campaign: the users who engaged with MacronLeaks are mostly foreigners with a preexisting interest in alt-right topics and alternative news media, rather than French users with diverse political views. Concluding, anomalous account usage patterns suggest the possible existence of a black-market for reusable political disinformation bots.


title: Sharp asymptotic and finite-sample rates of convergence of empirical measures in Wasserstein distance

abstract: The Wasserstein distance between two probability measures on a metric space is a measure of closeness with applications in statistics, probability, and machine learning. In this work, we consider the fundamental question of how quickly the empirical measure obtained from $n$ independent samples from $\mu$ approaches $\mu$ in the Wasserstein distance of any order. We prove sharp asymptotic and finite-sample results for this rate of convergence for general measures on general compact metric spaces. Our finite-sample results show the existence of multi-scale behavior, where measures can exhibit radically different rates of convergence as $n$ grows.


title: Phonon transport of three-fold degeneracy topological semimetal MoP

abstract: Recently, three-component new fermions in topological semimetal MoP are experimentally observed, which may have potential applications like topological qubits, low-power electronics and spintronics. These are closely related to thermal transport properties of MoP. In this work, the phonon transport of MoP is investigated by solving the linearized phonon Boltzmann equation within the single-mode relaxation time approximation (RTA). The calculated room-temperature lattice thermal conductivity is 18.41 $\mathrm{W m^{-1} K^{-1}}$ and 34.71 $\mathrm{W m^{-1} K^{-1}}$ along the in- and cross-plane directions, exhibiting very strong anisotropy. The isotope and size effects on the lattice thermal conductivity are also considered. It is found that isotope scattering produces little effect, and phonon has little contribution to the lattice thermal conductivity, when phonon mean free path(MFP) is larger than 0.15 $\mathrm{\mu m}$ at 300 K. It is noted that average room-temperature lattice thermal conductivity of MoP is lower than that of representative Weyl semimetal TaAs, which is due to smaller group velocities and larger Gr$\mathrm{\ddot{u}}$neisen parameters. Our works provide valuable informations for the thermal management of MoP-based nano-electronics devices, and motivate further experimental works to study thermal transport of MoP.


title: Search for $\Lambda_c^+\to\phi p \pi^0$ and branching fraction measurement of $\Lambda_c^+\to K^-\pi^+ p \pi^0$

abstract: We have searched for the Cabibbo-suppressed decay $\Lambda_c^+\to\phi p\pi^0$ in $e^+e^-$ collisions using a data sample corresponding to an integrated luminosity of 915 $\rm fb^{-1}$. The data were collected by the Belle experiment at the KEKB $e^+e^-$ asymmetric-energy collider running at or near the $\Upsilon(4S)$ and $\Upsilon(5S)$ resonances. No significant signal is observed, and we set an upper limit on the branching fraction of $\mathcal{B}(\Lambda_c^+\to \phi p\pi^0) <15.3\times10^{-5}$ at 90% confidence level. The contribution for nonresonant $\Lambda_c^+\to K^+K^- p\pi^0$ decays is found to be consistent with zero and the corresponding upper limit on its branching fraction is set to be $\mathcal{B}(\Lambda_c^+\to K^+K^-p\pi^0)_{\rm NR} <6.3\times10^{-5} $ at 90% confidence level. We also measure the branching fraction for the Cabibbo-favored decay $\Lambda_c^+\to K^-\pi^+p\pi^0$; the result is $\mathcal{B}(\Lambda_c^+\to K^-\pi^+p\pi^0)= (4.42\pm0.05\, (\rm stat.) \pm 0.12\, (\rm syst.) \pm 0.16\, (\mathcal{B}_{\rm Norm}))\%$, which is the most precise measurement to date. Finally, we have searched for an intermediate hidden-strangeness pentaquark decay $P^+_s\to\phi p$. We see no evidence for this intermediate decay and set an upper limit on the product branching fraction of ${\cal B}(\Lambda_c^+\to P^+_s \pi^0)\times {\cal B}(P^+_s\to\phi p) <8.3\times 10^{-5}$ at 90% confidence level.


title: Cluster sizes in a classical Lennard-Jones chain

abstract: The definitions of breaks and clusters in a one-dimensional chain in equilibrium are discussed. Analytical expressions are obtained for the expected cluster length, $\langle K \rangle$, as a function of temperature and pressure in a one-dimensional Lennard-Jones chain. These expressions are compared with results from molecular dynamics simulations. It is found that $\langle K \rangle$ increases exponentially with $\beta = 1/k_BT$ and with pressure, $P$ in agreement with previous results in the literature. A method is illustrated for using $\langle K \rangle (\beta, P)$ to generate a "phase diagram" for the Lennard-Jones chain. Some implications for the study of heat transport in Lennard-Jones chains are discussed.


title: Moments of Quadratic Hecke $L$-functions of Imaginary Quadratic Number Fields

abstract: In this paper, we study the moments of central values of Hecke $L$-functions associated with quadratic characters in $\mathbb{Q}(i)$ and $\mathbb{Q}(\omega)$ with $\omega = exp(2\pi i/3)$ and establish some quantitative non-vanishing result for these $L$-values.


title: Vector valued maximal Carleson type operators on the weighted Lorentz spaces

abstract: In this paper, by using the idea of linearizing maximal op-erators originated by Charles Fefferman and the TT* method of Stein-Wainger, we establish a weighted inequality for vector valued maximal Carleson type operators with singular kernels proposed by Andersen and John on the weighted Lorentz spaces with vector-valued functions.


title: Multisided Fairness for Recommendation

abstract: Recent work on machine learning has begun to consider issues of fairness. In this paper, we extend the concept of fairness to recommendation. In particular, we show that in some recommendation contexts, fairness may be a multisided concept, in which fair outcomes for multiple individuals need to be considered. Based on these considerations, we present a taxonomy of classes of fairness-aware recommender systems and suggest possible fairness-aware recommendation architectures.


title: An inequality for solutions of the Navier-Stokes equations in Rn

abstract: We obtain a new inequality that holds for general Leray solutions of the incompressible Navier-Stokes equations in Rn (n <= 4). This recovers important results previously obtained by other authors regarding the time decay of solution derivatives (of arbitrary order).


title: Exploring the Imposition of Synaptic Precision Restrictions For Evolutionary Synthesis of Deep Neural Networks

abstract: A key contributing factor to incredible success of deep neural networks has been the significant rise on massively parallel computing devices allowing researchers to greatly increase the size and depth of deep neural networks, leading to significant improvements in modeling accuracy. Although deeper, larger, or complex deep neural networks have shown considerable promise, the computational complexity of such networks is a major barrier to utilization in resource-starved scenarios. We explore the synaptogenesis of deep neural networks in the formation of efficient deep neural network architectures within an evolutionary deep intelligence framework, where a probabilistic generative modeling strategy is introduced to stochastically synthesize increasingly efficient yet effective offspring deep neural networks over generations, mimicking evolutionary processes such as heredity, random mutation, and natural selection in a probabilistic manner. In this study, we primarily explore the imposition of synaptic precision restrictions and its impact on the evolutionary synthesis of deep neural networks to synthesize more efficient network architectures tailored for resource-starved scenarios. Experimental results show significant improvements in synaptic efficiency (~10X decrease for GoogLeNet-based DetectNet) and inference speed (>5X increase for GoogLeNet-based DetectNet) while preserving modeling accuracy.


title: The additive groups of $\mathbb{Z}$ and $\mathbb{Q}$ with predicates for being square-free

abstract: We consider the four structures $(\mathbb{Z}; \mathrm{Sqf}^\mathbb{Z})$, $(\mathbb{Z}; <, \mathrm{Sqf}^\mathbb{Z})$, $(\mathbb{Q}; \mathrm{Sqf}^\mathbb{Q})$, and $(\mathbb{Q}; <, \mathrm{Sqf}^\mathbb{Q})$ where $\mathbb{Z}$ is the additive group of integers, $\mathrm{Sqf}^\mathbb{Z}$ is the set of $a \in \mathbb{Z}$ such that $v_{p}(a) < 2$ for every prime $p$ and corresponding $p$-adic valuation $v_{p}$, $\mathbb{Q}$ and $\mathrm{Sqf}^\mathbb{Q}$ are defined likewise for rational numbers, and $<$ denotes the natural ordering on each of these domains. We prove that the second structure is model-theoretically wild while the other three structures are model-theoretically tame. Moreover, all these results can be seen as examples where number-theoretic randomness yields model-theoretic consequences.


title: A classification scheme for interpretations of Quantum Mechanics

abstract: A physical theory consists of the mathematical formalism and an interpretation, which contains the definition of symbols, measurement assignments, concepts and principles, and an ontology. We present a scheme to classify these different levels of a physical theory and apply it to Newtonian Mechanics and the interpretations of Quantum Mechanics. We show that this classification scheme is embedded in the methodology of philosophy of science. With this scheme, different interpretations of Quantum Mechanics can be compared concerning the formalism and the used conceptions, and it serves as a guidance to identify ontological entities and reality conceptions in the different interpretations. Inspired by the commitments on the ontological level, we propose two heuristics concerning ontological statements.


title: Optimal estimates of the field enhancement in presence of a bow-tie structure of perfectly conducting inclusions in two dimensions

abstract: This paper deals with the field enhancement, that is, the gradient blow-up, due to presence of a bow-tie structure of perfectly conducting inclusions in two dimensions. The bow-tie structure consists of two disjoint bounded domains which have corners with possibly different aperture angles. The domains are parts of cones near the vertices, and they are nearly touching to each other. We characterize the field enhancement using explicit functions and, as consequences, derive optimal estimates of the gradient in terms of the distance between two inclusions and aperture angles of the corners. The estimates show that the field is enhanced beyond the corner singularities due to the interaction between two inclusions.


title: Dynamics of Topological Excitations in a Model Quantum Spin Ice

abstract: We study the quantum spin dynamics of a frustrated XXZ model on a pyrochlore lattice by using large-scale quantum Monte Carlo simulation and stochastic analytic continuation. In the low-temperature quantum spin ice regime, we observe signatures of coherent photon and spinon excitations in the dynamic spin structure factor. As the temperature rises to the classical spin ice regime, the photon disappears from the dynamic spin structure factor, whereas the dynamics of the spinon remain coherent in a broad temperature window. Our results provide experimentally relevant, quantitative information for the ongoing pursuit of quantum spin ice materials.


title: Lepton flavor changing Higgs Boson decays in a Two Higgs Doublet Model with a fourth generation of fermions

abstract: We analyze the flavor changing decay $h\rightarrow \mu \tau $ in the framework of a Two Higgs Doublet Model with a fourth generation of fermions (4G2HDM) which couples only to the heavy scalar doublet. We obtain that the respective branching ratio at one-loop level can reach values as high as $ 10^{-4}-10^{-6} $ for masses of $ 300 $ GeV to $ 1 $ TeV for the heavy leptons in the fourth family and the new heavy Higgs bosons. These radiative corrections are of the same order of magnitude as the tree level prediction of the 4G2HDM.


title: Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions

abstract: What is the common link, if there is any, between Church-Rosser systems, prefix codes with bounded synchronization delay, and local Rees extensions? The first obvious answer is that each of these notions relates to topics of interest for WORDS: Church-Rosser systems are certain rewriting systems over words, codes are given by sets of words which form a basis of a free submonoid in the free monoid of all words (over a given alphabet) and local Rees extensions provide structural insight into regular languages over words. So, it seems to be a legitimate title for an extended abstract presented at the conference WORDS 2017. However, this work is more ambitious, it outlines some less obvious but much more interesting link between these topics. This link is based on a structure theory of finite monoids with varieties of groups and the concept of local divisors playing a prominent role. Parts of this work appeared in a similar form in conference proceedings where proofs and further material can be found.


title: Some methods for heterogeneous treatment effect estimation in high-dimensions

abstract: When devising a course of treatment for a patient, doctors often have little quantitative evidence on which to base their decisions, beyond their medical education and published clinical trials. Stanford Health Care alone has millions of electronic medical records (EMRs) that are only just recently being leveraged to inform better treatment recommendations. These data present a unique challenge because they are high-dimensional and observational. Our goal is to make personalized treatment recommendations based on the outcomes for past patients similar to a new patient. We propose and analyze three methods for estimating heterogeneous treatment effects using observational data. Our methods perform well in simulations using a wide variety of treatment effect functions, and we present results of applying the two most promising methods to data from The SPRINT Data Analysis Challenge, from a large randomized trial of a treatment for high blood pressure.


title: Arrival times of Cox process with independent increment with application to prediction problems

abstract: Properties of arrival times are studied for a Cox process with independent (and stationary) increments. Under a reasonable setting the directing random measure is shown to take over independent (and stationary) increments of the process, from which the sets of arrival times and their numbers in disjoint intervals are proved to be independent (and stationary). Moreover, we derive the exact joint distribution of these quantities with Gamma random measure, whereas for a general random measure the method of calculation is presented. Based on the derived properties we consider prediction problems for the shot noise process with Cox process arrival times which trigger additive processes off. We obtain a numerically tractable expression for the predictor which works reasonably in view of numerical experiments.


title: On N\"orlund summation and Ergodic Theory, with applications to power series of Hilbert contractions

abstract: We show that if ${\bf a}=(a_n)_{n\in \N}$ is a good weight for the dominated weighted ergodic theorem in $L^p$, $p>1$, then the N\"orlund matrix $N_{\bf a}=\{a_{i-j}/A_i\}_{0\le j\le i}$, $A_i=\sum_{k=0}^i |a_k|$ is bounded on $\ell^p(\N)$. We study the regularity (convergence in norm, almost everywhere) of operators in ergodic theory: power series of Hilbert contractions, and power series $\sum_{n\in \N} a_nP_nf $ of $L^2$-contractions, and establish similar tight relations with the N\"orlund operator associated to the modulus coefficient sequence $(|a_n|)_{n\in \N}$.


title: One-dimensional model of chiral fermions with Feshbach resonant interactions

abstract: We study a model of two species of one-dimensional linearly dispersing fermions interacting via an s-wave Feshbach resonance at zero temperature. While this model is known to be integrable, it possesses novel features that have not previously been investigated. Here, we present an exact solution based on the coordinate Bethe Ansatz. In the limit of infinite resonance strength, which we term the strongly interacting limit, the two species of fermions behave as free Fermi gases. In the limit of infinitely weak resonance, or the weakly interacting limit, the gases can be in different phases depending on the detuning, the relative velocities of the particles, and the particle densities. When the molecule moves faster or slower than both species of atoms, the atomic velocities get renormalized and the atoms may even become non-chiral. On the other hand, when the molecular velocity is between that of the atoms, the system may behave like a weakly interacting Lieb-Liniger gas.


title: Simultaneous Consecutive Ones Submatrix and Editing Problems : Classical Complexity \& Fixed-Parameter Tractable Results

abstract: A binary matrix $M$ has the consecutive ones property ($C1P$) for rows (resp. columns) if there is a permutation of its columns (resp. rows) that arranges the ones consecutively in all the rows (resp. columns). If $M$ has the $C1P$ for rows and columns, then $M$ is said to have the simultaneous consecutive ones property ($SC1P$). In this article, we consider the classical complexity and fixed-parameter tractability of $(a)$ Simultaneous Consecutive Ones Submatrix ($SC1S$) and $(b)$ Simultaneous Consecutive Ones Editing ($SC1E$) [Oswald et al., Theoretical Comp. Sci. 410(21-23):1986-1992, \hyperref[references]{2009}] problems. We show that the decision versions of $SC1S$ and $SC1E$ problems are NP-complete. We consider the parameterized versions of $SC1S$ and $SC1E$ problems with $d$, being the solution size, as the parameter. Given a binary matrix $M$ and a positive integer $d$, $d$-$SC1S$-$R$, $d$-$SC1S$-$C$, and $d$-$SC1S$-$RC$ problems decide whether there exists a set of rows, columns, and rows as well as columns, respectively, of size at most $d$, whose deletion results in a matrix with the $SC1P$. The $d$-$SC1P$-$0E$, $d$-$SC1P$-$1E$, and $d$-$SC1P$-$01E$ problems decide whether there exists a set of $0$-entries, $1$-entries, and $0$-entries as well as $1$-entries, respectively, of size at most $d$, whose flipping results in a matrix with the \vspace{0.095 in} $SC1P$.


title: An Empirical Study on Collaborative Architecture Decision Making in Software Teams

abstract: Architecture decision making is considered one of the most challenging cognitive tasks in software development. The objective of this study is to explore the state of the practice of architecture decision making in software teams, including the role of the architect and the associated challenges. An exploratory case study was conducted in a large software company in Europe and fifteen software architects were interviewed as the primary method of data collection. The results reveal that the majority of software teams make architecture decisions collaboratively. Especially, the consultative decision- making style is preferred as it helps to make decisions efficiently while taking the opinions of the team members into consideration. It is observed that most of the software architects maintain a close relationship with the software teams. Several organisational, process and human related challenges and their impact on architecture decision-making are also identified.


title: Analytical solutions of the QCD$\otimes$QED DGLAP evolution equations based on the Mellin transform technique in NLO approximation

abstract: In this paper we present a new and efficient analytical solutions for evolving the QED$\otimes$QCD DGLAP evolution equations in mellin space and obtain the parton distribution functions (PDFs) in perturbative QCD including the QED corrections. The validity of our analytical solutions, which have done in the next to leading order QCD and the leading order QED approximations, are checked with the initial parton distributions from newly released CT14QED global analysis code (Phys. Rev.D93,114015(2016)). The evolved parton distributions are in good agreement with CT14QED code and also with those from APFEL (Computer Physics Communications 185, 1647 (2014)) program.


title: $L^q$-valued Burkholder-Rosenthal inequalities and sharp estimates for stochastic integrals

abstract: We prove sharp maximal inequalities for $L^q$-valued stochastic integrals with respect to any Hilbert space-valued local martingale. Our proof relies on new Burkholder-Rosenthal type inequalities for martingales taking values in an $L^q$-space.


title: Efficient Attention using a Fixed-Size Memory Representation

abstract: The standard content-based attention mechanism typically used in sequence-to-sequence models is computationally expensive as it requires the comparison of large encoder and decoder states at each time step. In this work, we propose an alternative attention mechanism based on a fixed size memory representation that is more efficient. Our technique predicts a compact set of K attention contexts during encoding and lets the decoder compute an efficient lookup that does not need to consult the memory. We show that our approach performs on-par with the standard attention mechanism while yielding inference speedups of 20% for real-world translation tasks and more for tasks with longer sequences. By visualizing attention scores we demonstrate that our models learn distinct, meaningful alignments.


title: The dark energy phenomenon from backreacation effect

abstract: In this paper, we interpret the dark energy phenomenon as an averaged effect caused by small scale inhomogeneities of the universe with the use of the spatial averaged approach of Buchert. Two models are considered here, one of which assumes that the backreaction term ${\cal Q}_\CD$ and the averaged spatial Ricci scalar $\average{\CR}$ obey the scaling laws of the volume scale factor $a_\CD$ at adequately late times, and the other one adopts the ansatz that the backreaction term ${\cal Q}_\CD$ is a constant in the recent universe. Thanks to the effective geometry introduced by Larena et. al. in their previous work, we confront these two backreaction models with latest type Ia supernova and Hubble parameter observations, coming out with the results that the constant backreaction model is slightly favoured over the other model, and within $1\sigma$ confidence interval of the parameter $n$ in the scaling backreaction model, $\mid{\cal Q}_\CD\mid$ decreases with the increase of the volume scale factor $a_\CD$ at adequately late times. Also, the numerical simulation results show that the constant backreaction model predicts a smaller expansion rate and decelerated expansion rate than the other model does at redshifts higher than about 1, and both backreaction terms begin to accelerate the universe at a redshift around 0.6. In addition, by confronting the standard cosmological model against the same datasets, we find that the effective geometry tends to push the constraint toward a smaller cosmological constant term.


title: A study of existing Ontologies in the IoT-domain

abstract: Several domains have adopted the increasing use of IoT-based devices to collect sensor data for generating abstractions and perceptions of the real world. This sensor data is multi-modal and heterogeneous in nature. This heterogeneity induces interoperability issues while developing cross-domain applications, thereby restricting the possibility of reusing sensor data to develop new applications. As a solution to this, semantic approaches have been proposed in the literature to tackle problems related to interoperability of sensor data. Several ontologies have been proposed to handle different aspects of IoT-based sensor data collection, ranging from discovering the IoT sensors for data collection to applying reasoning on the collected sensor data for drawing inferences. In this paper, we survey these existing semantic ontologies to provide an overview of the recent developments in this field. We highlight the fundamental ontological concepts (e.g., sensor-capabilities and context-awareness) required for an IoT-based application, and survey the existing ontologies which include these concepts. Based on our study, we also identify the shortcomings of currently available ontologies, which serves as a stepping stone to state the need for a common unified ontology for the IoT domain.


title: On pro-$p$ link groups of number fields

abstract: As an analogue of a link group, we consider the Galois group of the maximal pro-$p$-extension of a number field with restricted ramification which is cyclotomically ramified at $p$, i.e, tamely ramified over the intermediate cyclotomic $\mathbb Z_p$-extension of the number field. In some basic cases, such a pro-$p$ Galois group also has a Koch type presentation described by linking numbers and mod $2$ Milnor numbers (R\'edei symbols) of primes. Then the pro-$2$ Fox derivative yields a calculation of Iwasawa polynomials analogous to Alexander polynomials.


title: Estimating the rate of defects under imperfect sampling inspection - a new approach

abstract: We consider the problem of estimating the rate of defects (mean number of defects per item), given the counts of defects detected by two independent imperfect inspectors on one sample of items. In contrast with the setting for the well-known method of Capture-Recapture, we {\it{do not}} have information regarding the number of defects jointly detected by {\it{both}} inspectors. We solve this problem by constructing two types of estimators - a simple moment-type estimator, and a complicated maximum-likelihood estimator. The performance of these estimators is studied analytically and by means of simulations. It is shown that the maximum-likelihood estimator is superior to the moment-type estimator. A systematic comparison with the Capture-Recapture method is also made.


title: Networks of Collaborations: Hypergraph Modeling and Visualisation

abstract: The acknowledged model for networks of collaborations is the hypergraph model. Nonetheless when it comes to be visualized hypergraphs are transformed into simple graphs. Very often, the transformation is made by clique expansion of the hyperedges resulting in a loss of information for the user and in artificially more complex graphs due to the high number of edges represented. The extra-node representation gives substantial improvement in the visualisation of hypergraphs and in the retrieval of information. This paper aims at showing qualitatively and quantitatively how the extra-node representation can improve the visualisation of hypergraphs without loss of information.


title: Image Companding and Inverse Halftoning using Deep Convolutional Neural Networks

abstract: In this paper, we introduce deep learning technology to tackle two traditional low-level image processing problems, companding and inverse halftoning. We make two main contributions. First, to the best knowledge of the authors, this is the first work that has successfully developed deep learning based solutions to these two traditional low-level image processing problems. This not only introduces new methods to tackle well-known image processing problems but also demonstrates the power of deep learning in solving traditional signal processing problems. Second, we have developed an effective deep learning algorithm based on insights into the properties of visual quality of images and the internal representation properties of a deep convolutional neural network (CNN). We train a deep CNN as a nonlinear transformation function to map a low bit depth image to higher bit depth or from a halftone image to a continuous tone image. We also employ another pretrained deep CNN as a feature extractor to derive visually important features to construct the objective function for the training of the mapping CNN. We present experimental results to demonstrate the effectiveness of the new deep learning based solutions.


title: SAM: Semantic Attribute Modulation for Language Modeling and Style Variation

abstract: This paper presents a Semantic Attribute Modulation (SAM) for language modeling and style variation. The semantic attribute modulation includes various document attributes, such as titles, authors, and document categories. We consider two types of attributes, (title attributes and category attributes), and a flexible attribute selection scheme by automatically scoring them via an attribute attention mechanism. The semantic attributes are embedded into the hidden semantic space as the generation inputs. With the attributes properly harnessed, our proposed SAM can generate interpretable texts with regard to the input attributes. Qualitative analysis, including word semantic analysis and attention values, shows the interpretability of SAM. On several typical text datasets, we empirically demonstrate the superiority of the Semantic Attribute Modulated language model with different combinations of document attributes. Moreover, we present a style variation for the lyric generation using SAM, which shows a strong connection between the style variation and the semantic attributes.


title: A criterion for "easiness" of certain SAT problems

abstract: A generalized 1-in-3SAT problem is defined and found to be in complexity class P when restricted to a certain subset of CNF expressions. In particular, 1-in-kSAT with no restrictions on the number of literals per clause can be decided in polynomial time when restricted to exact READ-3 formulas with equal number of clauses (m) and variables (n), and no pure literals. Also individual instances can be checked for easiness with respect to a given SAT problem. By identifying whole classes of formulas as being solvable efficiently the approach might be of interest also in the complementary search for hard instances.


title: The Vinogradov Mean Value Theorem [after Wooley, and Bourgain, Demeter and Guth]

abstract: This is the expository essay that accompanies my Bourbaki Seminar on 17 June 2017 on the landmark proof of the Vinogradov Mean Value Theorem, and the two approaches developed in the work of Wooley and of Bourgain, Demeter and Guth.


title: Coulometry and Calorimetry of Electric Double Layer Formation in Porous Electrodes

abstract: Coulometric measurements on salt-water-immersed nanoporous carbon electrodes reveal, at a fixed voltage, a charge decrease with increasing temperature. During far-out-of-equilibrium charging of these electrodes, calorimetry indicates the production of both irreversible Joule heat and reversible heat, the latter being associated with entropy changes during electric double layer (EDL) formation in the nanopores. These measurements grant experimental access --for the first time-- to the entropic contribution of the grand potential; for our electrodes, this amounts to roughly 25% of the total grand potential energy cost of EDL formation at large applied potentials, in contrast with point-charge model calculations that predict 100%. The coulometric and calorimetric experiments show a consistent picture of the role of heat and temperature in EDL formation and provide hitherto unused information to test against EDL models.


title: Hyperbolic relaxation of the 2D Navier-Stokes equations in a bounded domain

abstract: A hyperbolic relaxation of the classical Navier-Stokes problem in 2D bounded domain with Dirichlet boundary conditions is considered. It is proved that this relaxed problem possesses a global strong solution if the relaxation parameter is small and the appropriate norm of the initial data is not very large. Moreover, the dissipativity of such solutions is established and the singular limit as the relaxation parameter tends to zero is studied


title: A class of analytic pairs of conjugate functions in dimension three

abstract: We exploit an ansatz in order to construct power series expansions for pairs of conjugate functions defined on domains of Euclidean $3$--space. Convergence properties of the resulting series are investigated. Entire solutions which are not harmonic are found as well as a $2$-parameter family of examples which contains the Hopf map.


title: Joint Time Allocation and Power Control in Multi-Cell Networks with Load Coupling: Energy Saving and Rate Improvement

abstract: In this paper, we consider the problems of minimizing sum power and maximizing sum rate for multi-cell networks with load coupling, where coupling relation occurs among cells due to inter-cell interference. This coupling relation is characterized by the signal-to-interference-and-noise-ratio (SINR) coupling model with cell load vector and cell power vector as the variables. Due to the nonlinear SINR coupling model, the optimization problems for multi-cell networks with load coupling is nonconvex. To solve these nonconvex problems, we first consider the optimization problems for single-cell networks. Through variable transformations, the optimization problems can be equivalently transformed into convex problems. By solving the Karush-Kuhn-Tucker (KKT), the optimal solutions to power minimization and rate maximization problems can be obtained in closed form. Based on the theoretical findings of optimization problems for single-cell networks, we develop a distributed time allocation and power control algorithm with low complexity for sum power minimization in multi-cell networks. This algorithm is proved to be convergent and globally optimal by using the properties of standard interference function. For sum rate optimization in multi-cell networks, we also provide a distributed algorithm which yields suboptimal solution. Besides, the convergence for this distributed algorithm is proved. Numerical results illustrate the theoretical findings, showing the superiority of our solutions compared to the conventional solution of allocating uniform power for users in the same cell.


title: Energy surface and lifetime of magnetic skyrmions

abstract: The stability of skyrmions in various environments is estimated by analyzing the multidimensional surface describing the energy of the system as a function of the directions of the magnetic moments in the system. The energy is given by a Heisenberg-like Hamiltonian that includes Dzyaloshinskii-Moriya interaction, anisotropy and external magnetic field. Local minima on this surface correspond to the ferromagnetic and skyrmion states. Minimum energy paths (MEP) between the minima are calculated using the geodesic nudged elastic band method. The maximum energy along an MEP corresponds to a first order saddle point on the energy surface and gives an estimate of the activation energy for the magnetic transition, such as creation and annihilation of a skyrmion. The pre-exponential factor in the Arrhenius law for the rate, the so-called attempt frequency, is estimated within harmonic transition state theory where the eigenvalues of the Hessian at the saddle point and the local minima are used to characterize the shape of the energy surface. For some degrees of freedom, so-called 'zero modes', the energy of the system remains invariant. They need to be treated separately and give rise to temperature dependence of the attempt frequency. As an example application of this general theory, the lifetime of a skyrmion in a track of finite width for a PdFe overlayer on a Ir(111) substrate is calculated as a function of track width and external magnetic field. Also, the effect of non-magnetic impurities is studied. Various MEPs for annihilation inside a track, via the boundary of a track and at an impurity are presented. The attempt frequency as well as the activation energy has been calculated for each mechanism to estimate the transition rate as a function of temperature.


title: On the localization properties of an RPWELL gas-avalanche detector

abstract: A study of the localization properties of a single-element Resistive Plate WELL (RPWELL) detector is presented. The detector comprises of a single-sided THick Gaseous Electron Multiplier (THGEM) coupled to a segmented readout anode through a doped silicate-glass plate of 10$^{10}$ $\Omega\cdot$cm bulk resistivity. Operated in ambient Ne/(5$\%$CH$_4$) gas, the detector has been investigated with 150 GeV muons at CERN-SPS. Signals induced through the resistive plate on anode readout strips were recorded with APV25/SRS electronics. The experimental results are compared with that of Monte Carlo simulations. The effects of various physics phenomena on the position resolution are discussed. The measured position resolution in the present configuration is 0.28 mm RMS - compatible with the holes-pattern of the multiplier. Possible ways for improving the detector position resolution are suggested.


title: Hydration Peculiarities of Graphene Oxides with Multiple Oxidation Degrees

abstract: Hydration properties of graphene oxide (GO) are essential for most of its potential applications. In this work, we employ atomistic molecular dynamics simulations to investigate seven GO compositions with different levels of oxygenation. Two atomic charge models for GO are compared: (1) sp2 carbons are purely Lennard-Jones sites; (2) sp2 carbon charges are consistent with the CHELPG scheme. Structural properties were found to depend insignificantly on the charge model, whereas thermodynamics appeared very sensitive. In particular, the simplified model provides systematically stronger GO/water coupling, as compared to the more accurate model. For all GO compositions, hydration free energies are in the range -5 to -45 kJ mol-1 indicating that hydration is thermodynamically favorable even for modest oxidation degrees, thus differing drastically from the case of pristine graphene and graphite. The results and discussion presented hereby provide a physical background for modern applications of GO, e.g. in electrodes of supercapacitors and inhibitors in processes involving biological molecules.


title: A sharpening of a problem on Bernstein polynomials and convex functions

abstract: We present an elementary proof of a conjecture proposed by I. Rasa in 2017 which is an inequality involving Bernstein basis polynomials and convex functions. It was affirmed in positive by A. Komisarski and T. Rajba very recently by the use of stochastic convex orderings.


title: A note on symmetries of diffusions within a martingale problem approach

abstract: A geometric reformulation of the martingale problem associated with a set of diffusion processes is proposed. This formulation, based on second order geometry and Ito integration on manifolds, allows us to give a natural and effective definition of Lie symmetries for diffusion processes.


title: A free-boundary problem with moving contact points

abstract: This paper concerns the theoretical and numerical analysis of a free boundary problem for the Laplace equation, with a curvature condition on the free boundary. This boundary is described as the graph of a function, and contact angles are imposed at the moving contact points. The equations are set in the framework of classical Sobolev Banach spaces, and existence and uniqueness of the solution are proved via a fixed-point iteration, exploiting a suitably defined lifting operator from the free boundary. The free-boundary function and the bulk solution are approximated by piecewise linear finite elements, and the well-posedness and convergence of the discrete problem are proved. This proof hinges upon a stability result for the Riesz projection onto the discrete space, which is separately proven and has an interest per se.


title: Sample-efficient Actor-Critic Reinforcement Learning with Supervised Data for Dialogue Management

abstract: Deep reinforcement learning (RL) methods have significant potential for dialogue policy optimisation. However, they suffer from a poor performance in the early stages of learning. This is especially problematic for on-line learning with real users. Two approaches are introduced to tackle this problem. Firstly, to speed up the learning process, two sample-efficient neural networks algorithms: trust region actor-critic with experience replay (TRACER) and episodic natural actor-critic with experience replay (eNACER) are presented. For TRACER, the trust region helps to control the learning step size and avoid catastrophic model changes. For eNACER, the natural gradient identifies the steepest ascent direction in policy space to speed up the convergence. Both models employ off-policy learning with experience replay to improve sample-efficiency. Secondly, to mitigate the cold start issue, a corpus of demonstration data is utilised to pre-train the models prior to on-line reinforcement learning. Combining these two approaches, we demonstrate a practical approach to learn deep RL-based dialogue policies and demonstrate their effectiveness in a task-oriented information seeking domain.


title: Minimizers for the fractional Sobolev inequality on domains

abstract: We consider a version of the fractional Sobolev inequality in domains and study whether the best constant in this inequality is attained. For the half-space and a large class of bounded domains we show that a minimizer exists, which is in contrast to the classical Sobolev inequalities in domains.


title: Planck intermediate results. LIII. Detection of velocity dispersion from the kinetic Sunyaev-Zeldovich effect

abstract: Using the ${\it Planck}$ full-mission data, we present a detection of the temperature (and therefore velocity) dispersion due to the kinetic Sunyaev-Zeldovich (kSZ) effect from clusters of galaxies. To suppress the primary CMB and instrumental noise we derive a matched filter and then convolve it with the ${\it Planck}$ foreground-cleaned `${\tt 2D-ILC\,}$' maps. By using the Meta Catalogue of X-ray detected Clusters of galaxies (MCXC), we determine the normalized ${\it rms}$ dispersion of the temperature fluctuations at the positions of clusters, finding that this shows excess variance compared with the noise expectation. We then build an unbiased statistical estimator of the signal, determining that the normalized mean temperature dispersion of $1526$ clusters is $\langle \left(\Delta T/T \right)^{2} \rangle = (1.64 \pm 0.48) \times 10^{-11}$. However, comparison with analytic calculations and simulations suggest that around $0.7\,\sigma$ of this result is due to cluster lensing rather than the kSZ effect. By correcting this, the temperature dispersion is measured to be $\langle \left(\Delta T/T \right)^{2} \rangle = (1.35 \pm 0.48) \times 10^{-11}$, which gives a detection at the $2.8\,\sigma$ level. We further convert uniform-weight temperature dispersion into a measurement of the line-of-sight velocity dispersion, by using estimates of the optical depth of each cluster (which introduces additional uncertainty into the estimate). We find that the velocity dispersion is $\langle v^{2} \rangle =(123\,000 \pm 71\,000)\,({\rm km}\,{\rm s}^{-1})^{2}$, which is consistent with findings from other large-scale structure studies, and provides direct evidence of statistical homogeneity on scales of $600\,h^{-1}{\rm Mpc}$. Our study shows the promise of using cross-correlations of the kSZ effect with large-scale structure in order to constrain the growth of structure.


title: Weighted Singular Value Thresholding and its Application to Background Estimation

abstract: Singular value thresholding (SVT) plays an important role in the well-known robust principal component analysis (RPCA) algorithms which have many applications in computer vision and recommendation systems. In this paper, we formulate and study a weighted singular value thresholding (WSVT) problem, which uses a combination of the nuclear norm and a weighted Frobenius norm. We present an algorithm to numerically solve WSVT and establish the convergence of the algorithm. As a proof of concept, we apply WSVT with a simple choice of weight learned from the data to the background estimation problem in computer vision. The numerical experiments show that our method can outperform RPCA algorithms. This indicates that instead of tackling the computationally expensive $\ell_1$ norm employed in RPCA, one may switch to the weighted Frobenius norm and achieve about the same or even better performance.


title: Strong electron-phonon and band structure effects in the optical properties of high pressure metallic hydrogen

abstract: Characterization of the first ever laboratory produced metallic hydrogen sample relies on measurements of optical spectra. Here we present first-principles calculations of the reflectivity of hydrogen between 400 and 600 GPa in the $\mathrm{I4_1/amd}$ crystal structure, the one predicted at these pressures, based on both time-dependent density functional and Eliashberg theories, thus, covering the optical properties from the infrared to the ultraviolet regimes. Our results show that atomic hydrogen displays an interband plasmon at around 6 eV that abruptly suppresses the reflectivity, while the large superconducting gap energy yields a sharp decrease of the reflectivity in the infrared region approximately at 120 meV. The experimentally estimated electronic scattering rates in the 0.7-3 eV range are in agreement with our theoretical estimations, which show that the huge electron-phonon interaction of the system dominates the electronic scattering in this energy range. The remarkable features in the optical spectra predicted here encourage to extend the existing optical measurements to the infrared and ultraviolet regions.


title: Absence of the $T^{2/3}$ specific heat anomaly in a $U(1)$ spin liquid with a large spinon Fermi surface: confinement of slave particles and non-locality of spinons

abstract: Effective gauge theories based on slave particle construction are widely used to describe quantum number fractionalization in strongly correlated electron systems. However, even setting aside the intense debates on the confinement issue of the slave particles, there are still significant conflicts between theory and experiment. In particular, a $T^{2/3}$ specific heat anomaly has been predicted as the key signature of low-lying gauge fluctuation in a $U(1)$ spin liquid with a large spinon Fermi surface, which is however never observed. Here we show that such an anomaly is actually an artifact of a Gaussian approximation and is absent when the no double occupancy constraint on the slave particles is strictly enforced. We also show that projective construction based on slave particle representation provides a unified understanding on the mechanism of spin fractionalization and the nonlocal nature of a physical spinon in one and two dimensional spin liquids.


title: Linking gamma-ray spectra of supernova remnants to the cosmic ray injection properties in the aftermath of supernovae

abstract: The acceleration times of the highest-energy particles which emit gamma-rays in young and middle-age SNRs are comparable with SNR age. If the number of particles starting acceleration was varying during early times after the supernova explosion then this variation should be reflected in the shape of the gamma-ray spectrum. We use the solution of the non-stationary equation for particle acceleration in order to analyze this effect. As a test case, we apply our method to describe gamma-rays from IC443. As a proxy of the IC443 parent supernova we consider SN1987A. First, we infer the time dependence of injection efficiency from evolution of the radio spectral index in SN1987A. Then, we use the inferred injection behavior to fit the gamma-ray spectrum of IC443. We show that the break in the proton spectrum needed to explain the gamma-ray emission is a natural consequence of the early variation of the cosmic ray injection, and that the very-high energy gamma-rays originate from particles which began acceleration during the first months after the supernova explosion. We conclude that the shape of the gamma-ray spectrum observed today in SNRs critically depends on the time variation of the cosmic ray injection process in the immediate post explosion phases. With the same model, we estimate also the possibility in the future to detect gamma-rays from SN 1987A.


title: Employing Emotion Cues to Verify Speakers in Emotional Talking Environments

abstract: Usually, people talk neutrally in environments where there are no abnormal talking conditions such as stress and emotion. Other emotional conditions that might affect people talking tone like happiness, anger, and sadness. Such emotions are directly affected by the patient health status. In neutral talking environments, speakers can be easily verified, however, in emotional talking environments, speakers cannot be easily verified as in neutral talking ones. Consequently, speaker verification systems do not perform well in emotional talking environments as they do in neutral talking environments. In this work, a two-stage approach has been employed and evaluated to improve speaker verification performance in emotional talking environments. This approach employs speaker emotion cues (text-independent and emotion-dependent speaker verification problem) based on both Hidden Markov Models (HMMs) and Suprasegmental Hidden Markov Models (SPHMMs) as classifiers. The approach is comprised of two cascaded stages that combines and integrates emotion recognizer and speaker recognizer into one recognizer. The architecture has been tested on two different and separate emotional speech databases: our collected database and Emotional Prosody Speech and Transcripts database. The results of this work show that the proposed approach gives promising results with a significant improvement over previous studies and other approaches such as emotion-independent speaker verification approach and emotion-dependent speaker verification approach based completely on HMMs.


title: Speaker Identification in Shouted Talking Environments Based on Novel Third-Order Hidden Markov Models

abstract: In this work we propose, implement, and evaluate novel models called Third-Order Hidden Markov Models (HMM3s) to enhance low performance of text-independent speaker identification in shouted talking environments. The proposed models have been tested on our collected speech database using Mel-Frequency Cepstral Coefficients (MFCCs). Our results demonstrate that HMM3s significantly improve speaker identification performance in such talking environments by 11.3% and 166.7% compared to second-order hidden Markov models (HMM2s) and first-order hidden Markov models (HMM1s), respectively. The achieved results based on the proposed models are close to those obtained in subjective assessment by human listeners.


title: Martin David Kruskal: a biographical memoir

abstract: Martin David Kruskal was one of the most versatile theoretical physicists of his generation and is distinguished for his enduring work in several different areas, most notably plasma physics, a memorable detour into relativity, and his pioneering work in nonlinear waves. In the latter, together with Norman Zabusky, he invented the concept of the soliton and, with others, developed its application to classes of partial differential equations of physical significance.

categories: physics.hist-ph math-ph math.MP nlin.PS nlin.SI


title: Some Results on the $b$-Colouring Parameters of Graphs

abstract: A vertex colouring of a given graph $G$ can be considered as a random experiment. A discrete random variable $X$, corresponding to this random experiment, can be defined as the colour of a randomly chosen vertex of $G$ and a probability mass function for this random variable can be defined accordingly. In this paper, we study the concepts of mean and variance corresponding to the $b$-colouring of $G$ and hence determine the values of these parameters for a number of standard graphs.


title: Switching Times in Fabry-Perot Measurements

abstract: We show how to analyze the motion of very low dissipation suspended mirrors in a Fabry-Perot. The very precise measurements of the mirrors motion can be determined, also in the presence of a disturbing noise, by means of the sudden reflectivity changes in special points of the mirrors positions. When the mirrors cross such positions, the effective opto-mechanical potential that arises in the device is (roughly) at a maximum. We show that the motion cross such potential maxima is not only confused by the presence of noise, but also favoured by noise itself that induces hoppings. Thus, the measurements of the times at which the crossings occur can be exploited to identify the properties of the applied signal. We also show how to circumvent the difficulty of the extremely long transient that occur in the system analyzing the escape average time with two different methods: a direct sample average and the indirect estimate from the tail distribution. Numerical simulations and physical insight suggest that the indirect estimate, through the analysis of the distribution tails with an appropriated cut off is robust against the disturbances that arise from the presence of transient dynamics.


title: EEG and ECG changes during deep-sea manned submersible operation

abstract: Background: Deep-sea manned submersible operation could induce mental workload and influence neurophysiological measures. Psychophysiological responses to submersible operation are not well known. The main aim of this study was to investigate changes in EEG and ECG components and subjective mental stress of pilots during submersible operation. Methods: There were 6 experienced submersible pilots who performed a 3 h submersible operation task composed of 5 subtasks. Electroencephalogram (EEG) and electrocardiogram (ECG) was recorded before the operation task, after 1.5 h and 2.5 h operation, and after the task. Subjective ratings of mental stress were also conducted at these time points. Results: HR and scores on subjective stressed scale increased during the task compared to baseline (P<0.05). LF/HF ratio at 1.5 h were higher than those at Baseline (P<0.05) and 2.5 h (P<0.05). Relative theta power at the Cz site increased (P<0.01) and relative alpha power decreased (P<0.01) at 2.5 h compared to values at Baseline. Alpha attenuation coefficient (AAC, ratio of mean alpha power during eyes closed versus eyes open) at 2.5 h and after the task were lower compared to baseline and 1.5 h (P<0.05 or less). Conclusions: Submersible operation resulted in an increased HR in association with mental stress, alterations in autonomic activity and EEG changes that expressed variations in mental workload. Brain arousal level declined during the later operation period.


title: Fast Approximate Nearest Neighbor Search With The Navigating Spreading-out Graph

abstract: Approximate nearest neighbor search (ANNS) is a fundamental problem in databases and data mining. A scalable ANNS algorithm should be both memory-efficient and fast. Some early graph-based approaches have shown attractive theoretical guarantees on search time complexity, but they all suffer from the problem of high indexing time complexity. Recently, some graph-based methods have been proposed to reduce indexing complexity by approximating the traditional graphs; these methods have achieved revolutionary performance on million-scale datasets. Yet, they still can not scale to billion-node databases. In this paper, to further improve the search-efficiency and scalability of graph-based methods, we start by introducing four aspects: (1) ensuring the connectivity of the graph; (2) lowering the average out-degree of the graph for fast traversal; (3) shortening the search path; and (4) reducing the index size. Then, we propose a novel graph structure called Monotonic Relative Neighborhood Graph (MRNG) which guarantees very low search complexity (close to logarithmic time). To further lower the indexing complexity and make it practical for billion-node ANNS problems, we propose a novel graph structure named Navigating Spreading-out Graph (NSG) by approximating the MRNG. The NSG takes the four aspects into account simultaneously. Extensive experiments show that NSG outperforms all the existing algorithms significantly. In addition, NSG shows superior performance in the E-commercial search scenario of Taobao (Alibaba Group) and has been integrated into their search engine at billion-node scale.


title: On Evidence-based Risk Management in Requirements Engineering

abstract: Background: The sensitivity of Requirements Engineering (RE) to the context makes it difficult to efficiently control problems therein, thus, hampering an effective risk management devoted to allow for early corrective or even preventive measures. Problem: There is still little empirical knowledge about context-specific RE phenomena which would be necessary for an effective context- sensitive risk management in RE. Goal: We propose and validate an evidence-based approach to assess risks in RE using cross-company data about problems, causes and effects. Research Method: We use survey data from 228 companies and build a probabilistic network that supports the forecast of context-specific RE phenomena. We implement this approach using spreadsheets to support a light-weight risk assessment. Results: Our results from an initial validation in 6 companies strengthen our confidence that the approach increases the awareness for individual risk factors in RE, and the feedback further allows for disseminating our approach into practice.


title: On almost periodic viscosity solutions to Hamilton-Jacobi equations

abstract: We establish that a viscosity solution to a multidimensional Hamilton-Jacobi equation with Bohr almost periodic initial data remains to be spatially almost periodic and the additive subgroup generated by its spectrum does not increase in time. In the case of one space variable and a non-degenerate hamiltonian we prove the decay property of almost periodic viscosity solutions when time $t\to+\infty$. For periodic solutions the more general result is proved on unconditional asymptotic convergence of a viscosity solution to a traveling wave.


title: Complete Monotonicity of Fractional Kinetic Functions

abstract: The introduction of a fractional differential operator defined in terms of the Riemann-Liouville derivative makes it possible to generalize the kinetic equations used to model relaxation in dielectrics. In this context such fractional equations are called fractional kinetic relaxation equations and their solutions, called fractional kinetic relaxation functions, are given in terms of Mittag-Leffler functions. These fractional kinetic relaxation functions generalize the kinetic relaxation functions associated with the Debye, Cole-Cole, Cole-Davidson and Havriliak-Negami models, as the latter functions become particular cases of the fractional solutions, obtained for specific values of the parameter specifying the order of the derivative. The aim of this work is to analyse the behavior of these fractional functions in the time variable. As theoretical tools we use the theorem by Bernstein on the complete monotonicity of functions together with Titchmarsh's inversion formula. The last part of the paper contains the graphics of some of those functions, obtained by varying the value of the parameter in the fractional differential operator and in the corresponding Mittag-Leffler functions. The graphics were made with Mathematica 10.4.


title: Equilibrium nuclear ensembles taking into account vaporization of hot nuclei in dense stellar matter

abstract: We investigate the high-temperature effect on the nuclear matter that consists of mixture of nucleons and all nuclei in the dense and hot stellar environment. The individual nuclei are described within the compressible liquid-drop model that is based on Skyrme interactions for bulk energies and that takes into account modifications of the surface and Coulomb energies at finite temperatures and densities. The free-energy density is minimized with respect to the individual equilibrium densities of all heavy nuclei and the nuclear composition. We find that their optimized equilibrium densities become smaller and smaller at high temperatures because of the increase of thermal contributions to bulk free energies and the reduction of surface energies. The neutron-rich nuclei become unstable and disappear one after another at some temperatures. The calculations are performed for two sets of model parameters leading to different values of the slope parameter in the nuclear symmetry energy. It is found that the larger slope parameter reduces the equilibrium densities and the melting temperatures. We also compare the new model with some other approaches and find that the mass fractions of heavy nuclei in the previous calculations that omit vaporization are underestimated at $T \lesssim 10$MeV and overestimated at $T\gtrsim10$~MeV. The further sophistication of calculations of nuclear vaporization and of light clusters would be required to construct the equation of state for explosive astrophysical phenomena.


title: The converse of the passivity and small-gain theorems for input-output maps

abstract: We prove the following converse of the passivity theorem. Consider a causal system given by a sum of a linear time-invariant and a passive linear time-varying input-output map. Then, in order to guarantee stability (in the sense of finite L2-gain) of the feedback interconnection of the system with an arbitrary nonlinear output strictly passive system, the given system must itself be output strictly passive. The proof is based on the S-procedure lossless theorem. We discuss the importance of this result for the control of systems interacting with an output strictly passive, but otherwise completely unknown, environment. Similarly, we prove the necessity of the small-gain condition for closed-loop stability of certain time-varying systems, extending the well-known necessity result in linear robust control.


title: Modeling and Analyzing the Vocal Tract under Normal and Stressful Talking Conditions

abstract: In this research, we model and analyze the vocal tract under normal and stressful talking conditions. This research answers the question of the degradation in the recognition performance of text-dependent speaker identification under stressful talking conditions. This research can be used (for future research) to improve the recognition performance under stressful talking conditions.


title: The structure of tame minimal dynamical systems for general groups

abstract: We use the structure theory of minimal dynamical systems to show that, for a general group $\Gamma$, a tame, metric, minimal dynamical system $(X, \Gamma)$ has the following structure: \begin{equation*} \xymatrix {& \tilde{X} \ar[dd]_\pi \ar[dl]_\eta & X^* \ar[l]_-{\theta^*} \ar[d]^{\iota} \ar@/^2pc/@{>}^{\pi^*}[dd]\\ X & & Z \ar[d]^\sigma\\ & Y & Y^* \ar[l]^\theta } \end{equation*} Here (i) $\tilde{X}$ is a metric minimal and tame system (ii) $\eta$ is a strongly proximal extension, (iii) $Y$ is a strongly proximal system, (iv) $\pi$ is a point distal and RIM extension with unique section, (v) $\theta$, $\theta^*$ and $\iota$ are almost one-to-one extensions, and (vi) $\sigma$ is an isometric extension. When the map $\pi$ is also open this diagram reduces to \begin{equation*} \xymatrix {& \tilde{X} \ar[dl]_\eta \ar[d]^{\iota} \ar@/^2pc/@{>}^\pi[dd]\\ X & Z \ar[d]^\sigma\\ & Y } \end{equation*} In general the presence of the strongly proximal extension $\eta$ is unavoidable. If the system $(X, \Gamma)$ admits an invariant measure $\mu$ then $Y$ is trivial and $X = \tilde{X}$ is an almost automorphic system; i.e. $X \overset{\iota}{\to} Z$, where $\iota$ is an almost one-to-one extension and $Z$ is equicontinuous. Moreover, $\mu$ is unique and $\iota$ is a measure theoretical isomorphism $\iota : (X,\mu, \Gamma) \to (Z, \lambda, \Gamma)$, with $\lambda$ the Haar measure on $Z$. Thus, this is always the case when $\Gamma$ is amenable.


title: Off-shell Fragmentation

abstract: A new framework is sketched for the treatment of the hadronisation of a highly-virtual quark and anti-quark jet pair created in electron-positron annihilations. As in such a case, factorization theorem does not work, a new scale-evolution equation is proposed for the fragmentation functions. In this approach, the virtuality of the leading parton (taken to be equal to the mass of the jet it induces) is used as fragmentation scale.


title: Chirally cosmetic surgeries and Casson invariants

abstract: We study chirally cosmetic surgeries, that is, a pair of Dehn surgeries on a knot producing homeomorphic 3-manifolds with opposite orientations. Several constraints on knots and surgery slopes to admit such surgeries are given. Our main ingredients are the original and the $SL(2,\mathbb{C})$ version of Casson invariants. As applications, we give a complete classification of chirally cosmetic surgeries on alternating knots of genus one.


title: Trace codes over $\Z_4$ and Boolean function

abstract: We construct trace codes over $\Z_4$ by using Boolean functions and skew sets, respectively. Their Lee weight distribution is studied by using a Galois ring version of the Walsh-Hadamard transform and exponential sums. We obtain a new family of optimal two-weight codes over $\Z_4.$


title: A classification of $\mathbb R$-Fuchsian subgroups of Picard modular groups

abstract: Given an imaginary quadratic extension $K$ of $\mathbb Q$, we classify the maximal nonelementary subgroups of the Picard modular group $\operatorname{PU}(1,2;\mathcal O_K)$ preserving a totally real totally geodesic plane in the complex hyperbolic plane $\mathbb H^2_\mathbb C$. We prove that these maximal $\mathbb R$-Fuchsian subgroups are arithmetic, and describe the quaternion algebras from which they arise. For instance, if the radius $\Delta$ of the corresponding $\mathbb R$-circle lies in $\mathbb N-\{0\}$, then the stabilizer arises from the quaternion algebra $\Big(\!\begin{array}{c} \Delta\,,\, |D_K|\\\hline\mathbb Q\end{array} \!\Big)$. We thus prove the existence of infinitely many orbits of $K$-arithmetic $\mathbb R$-circles in the hypersphere of $\mathbb P_2(\mathbb C)$.


title: The Fefferman-Stein type inequalities for the multilinear strong maximal functions

abstract: Let $\vec{\omega}=( \omega_{1},...,\omega_{m})$ be a multiple weight and $\{\Psi_{j}\}^{m}_{j=1}$ be a sequence of Young functions. Let $\mathcal{M}_{\mathcal{R}}^{\vec{\Psi}}$ be the multilinear strong maximal function with Orlicz norms which is defined by $$\mathcal{M}_{\mathcal{R}}^{\vec{\Psi}}(\vec{f})(x)=\sup_{R\in \mathcal{R},R\ni x}\prod^{m}_{j=1}\|f_{j}\|_{\Psi_{j},R}$$ where the supremum is taken over all rectangles with sides parallel to the coordinate axes. If $\Psi_j(t)=t$, then $\mathcal{M}_{\mathcal{R}}^{\vec{t}}$ coincides with the multilinear strong mximal function $\mathcal{M}_{\mathcal{R}}$ defined and studied by Grafakos et al. In this paper, we first investigated the Fefferman-Stein type inequality for $\mathcal{M}_{\mathcal{R}}^{\vec{\Psi}}$ when $\vec{\omega}$ satisfies the $A_{\infty,\mathcal{R}}$ condition. Then, for arbitrary $\vec{\omega}\geq 0$( each $ \omega_{j}\ge 0$), the Fefferman-Stein type inequality for the multilinear strong maximal function $\mathcal{M}_{\mathcal{R}} $ associated with rectangles will be given.


title: Quantum Search on Simplicial Complexes

abstract: In this paper, we propose an extension of quantum searches on graphs driven by quantum walks to simplicial complexes. To this end, we newly define a quantum walk on simplicial complex which is an alternative of preceding studies by authors. We show that the quantum search on the specific simplicial complex corresponding to the triangulation of $n$-dimensional unit square driven by this new simplicial quantum walk works well, namely, a marked simplex can be found with probability $1+o(1)$ with in a time $O(\sqrt{N})$, where $N$ is the number of simplices with the dimension of marked simplex.


title: Structure of the velocity gradient tensor in turbulent shear flows

abstract: The expected universality of small-scale properties of turbulent flows implies isotropic properties of the velocity gradient tensor in the very large Reynolds number limit. Using direct numerical simulations, we determine the tensors formed by n = 2 and 3 velocity gradients at a single point in turbulent homogeneous shear flows, and in the log-layer of a turbulent channel flow, and we characterize the departure of these tensors from the corresponding isotropic prediction. Specifically, we separate the even components of the tensors, invariant under reflexion with respect to all axes, from the odd ones, which identically vanish in the absence of shear. Our results indicate that the largest deviation from isotropy comes from the odd component of the third velocity gradient correlation function, especially from the third moment of the derivative along the normal direction of the streamwise velocity component. At the Reynolds numbers considered (R_lambda ~ 140), we observe that these second and third order correlation functions are significantly larger in turbulent channel flows than in homogeneous shear flow. Overall, our work demonstrates that a mean shear leads to relatively simple structure of the velocity gradient tensor. How isotropy is restored in the very large Reynolds limit remains to be understood.


title: Dynamic SPECT reconstruction with temporal edge correlation

abstract: In dynamic imaging, a key challenge is to reconstruct image sequences with high temporal resolution from strong undersampling projections due to a relatively slow data acquisition speed. In this paper, we propose a variational model using the infimal convolution of Bregman distance with respect to total variation to model edge dependence of sequential frames. The proposed model is solved via an alternating iterative scheme, for which each subproblem is convex and can be solved by existing algorithms. The proposed model is formulated under both Gaussian and Poisson noise assumption and the simulation on two sets of dynamic images shows the advantage of the proposed method compared to previous methods.


title: DNA insertion mutations can be predicted by a periodic probability function

abstract: It is generally difficult to predict the positions of mutations in genomic DNA at the nucleotide level. Retroviral DNA insertion is one mode of mutation, resulting in host infections that are difficult to treat. This mutation process involves the integration of retroviral DNA into the host-infected cellular genomic DNA following the interaction between host DNA and a pre-integration complex consisting of retroviral DNA and integrase. Here, we report that retroviral insertion sites around a hotspot within the Zfp521 and N-myc genes can be predicted by a periodic function that is deduced using the diffraction lattice model. In conclusion, the mutagenesis process is described by a biophysical model for DNA-DNA interactions.


title: An Augmented Lagrangian Method for Piano Transcription using Equal Loudness Thresholding and LSTM-based Decoding

abstract: A central goal in automatic music transcription is to detect individual note events in music recordings. An important variant is instrument-dependent music transcription where methods can use calibration data for the instruments in use. However, despite the additional information, results rarely exceed an f-measure of 80%. As a potential explanation, the transcription problem can be shown to be badly conditioned and thus relies on appropriate regularization. A recently proposed method employs a mixture of simple, convex regularizers (to stabilize the parameter estimation process) and more complex terms (to encourage more meaningful structure). In this paper, we present two extensions to this method. First, we integrate a computational loudness model to better differentiate real from spurious note detections. Second, we employ (Bidirectional) Long Short Term Memory networks to re-weight the likelihood of detected note constellations. Despite their simplicity, our two extensions lead to a drop of about 35% in note error rate compared to the state-of-the-art.


title: Amending entanglement-breaking channels via intermediate unitary operations

abstract: We report a bulk optics experiment demonstrating the possibility of restoring the entanglement distribution through noisy quantum channels by inserting a suitable unitary operation (filter) in the middle of the transmission process. We focus on two relevant classes of single-qubit channels consisting in repeated applications of rotated phase damping or rotated amplitude damping maps, both modeling the combined Hamiltonian and dissipative dynamics of the polarization state of single photons. Our results show that interposing a unitary filter between two noisy channels can significantly improve entanglement transmission. This proof-of-principle demonstration could be generalized to many other physical scenarios where entanglement-breaking communication lines may be amended by unitary filters.


title: On the origins of spectral broadening of incoherent waves:Catastrophic process of coherence degradation

abstract: We revisit the mechanisms underlying the process of spectral broadening of incoherent optical waves propagating in nonlinear media on the basis of nonequilibrium thermodynamic considerations. A simple analysis reveals that a prerequisite for the existence of a significant spectral broadening of the waves is that the linear part of the energy (Hamiltonian) has different contributions of opposite signs. It turns out that, at variance with the expected soliton turbulence scenario, an increase of the amount of disorder (incoherence) in the system does not require the generation of a coherent soliton structure. We illustrate the idea by considering the propagation of two wave components in an optical fiber with opposite dispersion coefficients. A wave turbulence approach of the problem reveals that the increase of kinetic energy in one component is offset by the negative reduction in the other component, so that the waves exhibit, as a general rule, a virtually unlimited spectral broadening. More precisely, a self-similar solution of the kinetic equations reveals that the spectra of the incoherent waves tend to relax toward a homogeneous distribution in the wake of a front that propagates in frequency space with a decelerating velocity. We discuss this catastrophic process of spectral broadening in the light of different important phenomena, in particular supercontinuum generation, soliton turbulence, wave condensation, and the runaway motion of mechanical systems composed of positive and negative masses.


title: Kuznetsov-Ma solution and Akhmediev breather for TD equation

abstract: We present the inverse scattering transform for the TD equation, which is related to the Heisenberg spin equation. We note that the TD equation is an integrable model with high nonlinearity, and has singularity at zero. Thus a nonzero boundary condition is introduced in the direct scattering problem. We obtain the $N$-solitonic solution of the TD equation, and give the Kuznetsov-Ma type solution, rational solution and Akhmediev type breather.


title: Geometry-Oblivious FMM for Compressing Dense SPD Matrices

abstract: We present GOFMM (geometry-oblivious FMM), a novel method that creates a hierarchical low-rank approximation, "compression," of an arbitrary dense symmetric positive definite (SPD) matrix. For many applications, GOFMM enables an approximate matrix-vector multiplication in $N \log N$ or even $N$ time, where $N$ is the matrix size. Compression requires $N \log N$ storage and work. In general, our scheme belongs to the family of hierarchical matrix approximation methods. In particular, it generalizes the fast multipole method (FMM) to a purely algebraic setting by only requiring the ability to sample matrix entries. Neither geometric information (i.e., point coordinates) nor knowledge of how the matrix entries have been generated is required, thus the term "geometry-oblivious." Also, we introduce a shared-memory parallel scheme for hierarchical matrix computations that reduces synchronization barriers. We present results on the Intel Knights Landing and Haswell architectures, and on the NVIDIA Pascal architecture for a variety of matrices.


title: On weighted depths in random binary search trees

abstract: Following the model introduced by Aguech, Lasmar and Mahmoud [Probab. Engrg. Inform. Sci. 21 (2007) 133-141], the weighted depth of a node in a labelled rooted tree is the sum of all labels on the path connecting the node to the root. We analyze weighted depths of nodes with given labels, the last inserted node, nodes ordered as visited by the depth first search process, the weighted path length and the weighted Wiener index in a random binary search tree. We establish three regimes of nodes depending on whether the second order behaviour of their weighted depths follows from fluctuations of the keys on the path, the depth of the nodes, or both. Finally, we investigate a random distribution function on the unit interval arising as scaling limit for weighted depths of nodes with at most one child.


title: Heterogeneous Supervision for Relation Extraction: A Representation Learning Approach

abstract: Relation extraction is a fundamental task in information extraction. Most existing methods have heavy reliance on annotations labeled by human experts, which are costly and time-consuming. To overcome this drawback, we propose a novel framework, REHession, to conduct relation extractor learning using annotations from heterogeneous information source, e.g., knowledge base and domain heuristics. These annotations, referred as heterogeneous supervision, often conflict with each other, which brings a new challenge to the original relation extraction task: how to infer the true label from noisy labels for a given instance. Identifying context information as the backbone of both relation extraction and true label discovery, we adopt embedding techniques to learn the distributed representations of context, which bridges all components with mutual enhancement in an iterative fashion. Extensive experimental results demonstrate the superiority of REHession over the state-of-the-art.


title: Asymptotic Distribution-Free Change-Point Detection for Multivariate and non-Euclidean Data

abstract: We consider the testing and estimation of change-points, locations where the distribution abruptly changes, in a sequence of multivariate or non-Euclidean observations. We study a nonparametric framework that utilizes similarity information among observations, which can be applied to various data types as long as an informative similarity measure on the sample space can be defined. The existing approach along this line has low power and/or biased estimates for change-points under some common scenarios. We address these problems by considering new tests based on similarity information. Simulation studies show that the new approaches exhibit substantial improvements in detecting and estimating change-points. In addition, under some mild conditions, the new test statistics are asymptotically distribution free under the null hypothesis of no change. Analytic p-value approximations to the significance of the new test statistics for the single change-point alternative and changed interval alternative are derived, making the new approaches easy off-the-shelf tools for large datasets. The new approaches are illustrated in an analysis of New York taxi data.


title: Study of the in-medium nucleon electromagnetic form factors using a light-front nucleon wave function combined with the quark-meson coupling model

abstract: We study the nucleon electromagnetic (EM) form factors in symmetric nuclear matter as well as in vacuum within a light-front approach using the in-medium inputs calculated by the quark-meson coupling model. The same in-medium quark properties are used as those used for the study of in-medium pion properties. The zero of the proton EM form factor ratio in vacuum, the electric to magnetic form factor ratio $\mu_p G_{Ep}(Q^2)/G_{Mp}(Q^2)$ ($Q^2 = -q^2 > 0$ with $q$ being the four-momentum transfer), is determined including the latest experimental data by implementing a hard constituent quark component in the nucleon wave function. A reasonable fit is achieved for the ratio $\mu_pG_{Ep}(Q^2)/G_{Mp}(Q^2)$ in vacuum, and we predict that the $Q_0^2$ value to cross the zero of the ratio to be about 15 GeV$^2$. In addition the double ratio data of the proton EM form factors in $^4$He and H nuclei, $[G^{^4{\rm He}}_{Ep}(Q^2)/G^{^4{\rm He}}_{Mp}(Q^2)]/[G^{^1{\rm H}}_{Ep}(Q^2)/G^{^1{\rm H}}_{Mp}(Q^2)]$, extracted by the polarized ($\vec{e}, e' \vec{p}$) scattering experiment on $^4$He at JLab, are well described. We also predict that the $Q_0^2$ value satisfying $\mu_pG_{Ep}(Q_0^2)/G_{Mp}(Q_0^2) = 0$ in symmetric nuclear matter, shifts to a smaller value as increasing nuclear matter density, which reflects the facts that the faster falloff of $G_{Ep}(Q^2)$ as increasing $Q^2$ and the increase of the proton mean-square charge radius. Furthermore, we calculate the neutron EM form factor double ratio in symmetric nuclear matter for $0.1 < Q^2 < 1.0$ GeV$^2$. The result shows that the neutron double ratio is enhanced relative to that in vacuum, while for the proton it is quenched, and agrees with an existing theoretical prediction.


title: The Effect of the Gauss-Bonnet term to Hawking Radiation from arbitrary dimensional Black Brane

abstract: We investigate the probabilities of the tunneling and the radiation spectrums of the massive spin-1 particles from arbitrary dimensional Gauss-Bonnet-Axions (GBA) Anti-de Sitter (AdS) black brane, via using the WKB approximation to the Proca spin-1 field equation. The tunneling probabilities and Hawking temperature of the arbitrary dimensional GBA AdS black brane is calculated via the Hamilton-Jacobi approach. We also compute the Hawking temperature via Parikh-Wilczek tunneling approach. The results obtained from the two methods are consistent. In our setup, the Gauss-Bonnet (GB) coupling affects the Hawking temperature if and only if the momentum of axion fields is non-vanishing.


title: Thermal conductance of suspended nanoribbons: interplay between strain and interatomic potential nonlinearity

abstract: We investigate the role that nonlinearity in the interatomic potential has on the thermal conductance of a suspended nanoribbon when it is subjected to a longitudinal strain. To focus on the first cubic and quartic nonlinear terms of a general potential, we propose an atomic system based on an $\alpha$-$\beta$ Fermi-Pasta-Ulam nearest neighbor interaction. We perform classical molecular dynamics simulations to investigate the contribution of longitudinal, transversal and flexural modes to the thermal conductance as a function of the $\alpha$-$\beta$ parameters and the applied strain. We compare the cases where atoms are allowed to vibrate only {\it in} plane (2D) with the case of vibrations {\it in} and {\it out} of plane (3D). We find that the dependence of conductance on $\alpha$ and $\beta$ relies on a crossover phenomenon between linear/nonlinear delocalized/localized flexural and transversal modes, driven by an on/off switch of the strain.


title: Measurement of Gravitational Time Dilation: An Undergraduate Research Project

abstract: General relativity predicts that clocks run more slowly near massive objects. The effect is small---a clock at sea level lags behind one 1000 m above sea level by only 9.4 ns/day. Here, we demonstrate that a measurement of this effect can be done by undergraduate students. Our paper describes an experiment conducted by undergraduate researchers at Colorado College and the United States Air Force Academy to measure gravitational time dilation. The measurement was done by comparing the signals generated by a GPS frequency standard (sea-level time) to a Cs-beam frequency standard at seven different altitudes above sea level. We found that our measurements are consistent with the predictions of general relativity.


title: Slow Dynamics of the Electron-Glasses; the Role of Disorder

abstract: We examine in this work the role of disorder in contributing to the sluggish relaxation observed in intrinsic electron-glasses. Our approach is guided by several empirical observations: First and foremost, Anderson localization is a pre-requisite for observing these nonequilibrium phenomena. Secondly, sluggish relaxation appears to favor Anderson-insulators with relatively large Fermi-energies (hence proportionally large disorder). These observations motivated us to consider a way to measure the underlying disorder in a realistic Anderson insulator. Optical study using a series of amorphous indium-oxide (In_{x}O) establish a simple connection between carrier-concentration and the disorder necessary to approach the metal-insulator transition from the insulating side. This is used to estimate the typical magnitude of the quenched potential-fluctuation in the electron-glass phase of this system. The implications of our findings on the slow dynamics of Anderson-insulators are discussed. In particular, the reason for the absence of a memory-dip and the accompanying electron-glass effects in lightly-doped semiconductors emerges as a natural consequence of their weak disorder.


title: Memory vs. irreversibility in thermal densification of amorphous glasses

abstract: We report on dynamic effects associated with thermally-annealing amorphous indium-oxide films. In this process the resistance of a given sample may decrease by several orders of magnitude at room-temperatures, while its amorphous structure is preserved. The main effect of the process is densification - increased system density. The study includes the evolution of the system resistivity during and after the thermal-treatment, the changes in the conductance-noise, and accompanying changes in the optical properties. The sample resistance is used to monitor the system dynamics during the annealing period as well as the relaxation that ensues after its termination. These reveal slow processes that fit well a stretched-exponential law, a behavior that is commonly observed in structural glasses. There is an intriguing similarity between these effects and those obtained in high-pressure densification experiments. Both protocols exhibit the "slow spring-back" effect, a familiar response of memory-foams. A heuristic picture based on a modified Lennard-Jones potential for the effective interparticle interaction is argued to qualitatively account for these densification-rarefaction phenomena in amorphous materials whether affected by thermal-treatment or by application of high-pressure.


title: Green's Functions of Partial Differential Equations with Involutions

abstract: In this paper we develop a way of obtaining Green's functions for partial differential equations with linear involutions by reducing the equation to a higher-order PDE without involutions. The developed theory is applied to a model of heat transfer in a conducting plate which is bent in half.


title: Making Sense of Physics through Stories: High School Students Narratives about Electric Charges and Interactions

abstract: Educational research has shown that narratives are useful tools that can help young students make sense of scientific phenomena. Based on previous research, I argue that narratives can also become tools for high school students to make sense of concepts such as the electric field. In this paper I examine high school students visual and oral narratives in which they describe the interaction among electric charges as if they were characters of a cartoon series. The study investigates: given the prompt to produce narratives for electrostatic phenomena during a classroom activity prior to receiving formal instruction, (1) what ideas of electrostatics do students attend to in their narratives?; (2) what role do students narratives play in their understanding of electrostatics? The participants were a group of high school students engaged in an open-ended classroom activity prior to receiving formal instruction about electrostatics. During the activity, the group was asked to draw comic strips for electric charges. In addition to individual work, students shared their work within small groups as well as with the whole group. Post activity, six students from a small group were interviewed individually about their work. In this paper I present two cases in which students produced narratives to express their ideas about electrostatics in different ways. In each case, I present student work for the comic strip activity (visual narratives), their oral descriptions of their work (oral narratives) during the interview and/or to their peers during class, and the their ideas of the electric interactions expressed through their narratives.


title: Projected bounds on ALPs from Athena

abstract: Galaxy clusters represent excellent laboratories to search for Axion-Like Particles (ALPs). They contain magnetic fields which can induce quasi-sinusoidal oscillations in the X-ray spectra of AGNs situated in or behind them. Due to its excellent energy resolution, the X-ray Integral Field Unit (X-IFU) instrument onboard the Athena X-ray Observatory will be far more sensitive to ALP-induced modulations than current detectors. As a first analysis of the sensitivity of Athena to the ALP-photon coupling $g_{a \gamma \gamma}$, we simulate observations of the Seyfert galaxy NGC1275 in the Perseus cluster using the SIXTE simulation software. We estimate that for a 200ks exposure, a non-observation of spectral modulations will constrain ${g_{a\gamma\gamma}\lesssim1.5\times10^{-13}\rm{GeV}^{-1}}$ for $m_a \lesssim 10^{-12} \rm{eV}$, representing an order of magnitude improvement over constraints derived using the current generation of satellites.


title: High School Students Group Interaction with the Electric Field Hockey Interactive Simulation

abstract: This study investigates a group of high school students in a physics classroom interacting with a computer simulation that simulates the electrostatic interaction as a hockey game, the Electric Field Hockey. The activity featured in this study took place prior to the students receiving formal instruction about the electric field. The learning goal was to allow students to explore the simulated electrostatic phenomena. The study asks the following research question: How do high school students collectively explore simulated electrostatic phenomena while interacting with the Electric Field Hockey computer simulation during a classroom activity? In this paper, through careful analysis of classroom videos, I present a case study about the group mentioned above. The results show that high school students encountered and dealt with multiple types of tensions in the activity and explored the electrostatic phenomena simulated by the Electric Field Hockey. Students prioritized exploring different types of phenomena when they encountered different types of tensions. Based on the findings I propose: When carrying out an activity with a novel educational tool, a teacher can attend to, and jump in at appropriate points, when tensions arises thus to orient students to explore the simulated physical phenomena in more productive ways.


title: Robust Moment Closure Method for the Chemical Master Equation

abstract: The Chemical Master Equation (CME) is used to stochastically model biochemical reaction networks, under the Markovian assumption. The low-order statistical moments induced by the CME are often the key quantities that one is interested in. However, in most cases, the moments equation is not closed; in the sense that the first $n$ moments depend on the higher order moments, for any positive integer $n$. In this paper, we develop a moment closure technique in which the higher order moments are approximated by an affine function of the lower order moments. We refer to such functions as the affine Moment Closure Functions (MCF) and prove that they are optimal in the worst-case context, in which no a priori information on the probability distribution is available. Furthermore, we cast the problem of finding the optimal affine MCF as a linear program, which is tractable. We utilize the affine MCFs to derive a finite dimensional linear system that approximates the low-order moments. We quantify the approximation error in terms of the $% l_{\infty }$ induced norm of some linear system. Our results can be effectively used to approximate the low-order moments and characterize the noise properties of the biochemical network under study.