title: The RepEval 2017 Shared Task: Multi-Genre Natural Language Inference with Sentence Representations

abstract: This paper presents the results of the RepEval 2017 Shared Task, which evaluated neural network sentence representation learning models on the Multi-Genre Natural Language Inference corpus (MultiNLI) recently introduced by Williams et al. (2017). All of the five participating teams beat the bidirectional LSTM (BiLSTM) and continuous bag of words baselines reported in Williams et al.. The best single model used stacked BiLSTMs with residual connections to extract sentence features and reached 74.5% accuracy on the genre-matched test set. Surprisingly, the results of the competition were fairly consistent across the genre-matched and genre-mismatched test sets, and across subsets of the test data representing a variety of linguistic phenomena, suggesting that all of the submitted systems learned reasonably domain-independent representations for sentence meaning.


title: Hydrodynamic model of the collective electron resonances in C60 fullerene

abstract: The polarization-response spectrum of the fullerene C60 modeled as a homogeneous spherical plasma shell is calculated in the framework of the hydrodynamic approach allowing for the spatial dispersion caused by the Fermi-distributed valence electrons. The dipole eigenoscillations spectrum of the shell is found to contain a series of plasmons distinguished by the frequency and the radial structure. The first two of them (whose structures for C60 is the subject of discussion up to now) pass to the lower and higher surface plasmons of the plasma shell if its thickness is much larger than Tomas-Fermi length. However, under parameters values corresponding to the C60 molecule, when these lengths are of the same order, both these plasmons (providing the main contribution to the fullerene absorption spectrum) are found to be actually volume ones in their spatial structure, and the frequency of the higher of them becomes larger than the plasma frequency (as with all the higher volume plasmons). The resonance curve of the fullerene absorption cross-section calculated on the basis of the developed model with allowance for the surface losses caused by the reflection of electrons at the shell boundaries agrees satisfactory with the experimental data.


title: Noncommutative geometry inspired Einstein-Gauss-Bonnet black holes

abstract: Low energy limits of a string theory suggest that the gravity action should include quadratic and higher-order curvature terms, in the form of dimensionally continued Gauss-Bonnet densities. Einstein-Gauss-Bonnet is a natural extension of the general relativity to higher dimensions in which the first and second-order terms correspond, respectively, to general relativity and Einstein-Gauss-Bonnet gravity. We obtain five-dimensional ($5D$) black hole solutions, inspired by a noncommutative geometry, with a static spherically symmetric, Gaussian mass distribution as a source both in the general relativity and Einstein-Gauss-Bonnet gravity cases, and we also analyze their thermodynamical properties. Owing to the noncommutative corrected black hole, the thermodynamic quantities have also been modified, and phase transition is shown to be achievable. The phase transitions for the thermodynamic stability, in both the theories, are characterized by a discontinuity in the specific heat at $r_+=r_C$, with the stable (unstable) branch for $r < (>)\, r_C$. The metric of the noncommutative inspired black holes smoothly goes over to the Boulware-Deser solution at large distance. The paper has been appended with a calculation of black hole mass using holographic renormalization.


title: Error bounds for the large-argument asymptotic expansions of the Lommel and allied functions

abstract: In this paper, we reconsider the large-$z$ asymptotic expansion of the Lommel function $S_{\mu,\nu}(z)$ and its derivative. New representations for the remainder terms of the asymptotic expansions are found and used to obtain sharp and realistic error bounds. We also give re-expansions for these remainder terms and provide their error estimates. Applications to the asymptotic expansions of the Anger--Weber-type functions, the Scorer functions, the Struve functions and their derivatives are provided. The sharpness of our error bounds is discussed in detail, and numerical examples are given.


title: Pulses in FitzHugh--Nagumo systems with rapidly oscillating coefficients

abstract: This paper is devoted to pulse solutions in FitzHugh--Nagumo systems that are coupled parabolic equations with rapidly periodically oscillating coefficients. In the limit of vanishing periods, there arises a two-scale FitzHugh--Nagumo system, which qualitatively and quantitatively captures the dynamics of the original system. We prove existence and stability of pulses in the limit system and show their proximity on any finite time interval to pulse-like solutions of the original system.


title: New numerical approach for fractional differential equations

abstract: In the present case, we propose the correct version of the fractional Adams-Bashforth methods which take into account the nonlinearity of the kernels including the power law for the Riemann-Liouville type, the exponential decay law for the Caputo-Fabrizio case and the Mittag-Leffler law for the Atangana-Baleanu scenario. The Adams-Bashforth method for fractional differentiation suggested and are commonly use in the literature nowadays is not mathematically correct and the method was derived without taking into account the nonlinearity of the power law kernel. Unlike the proposed version found in the literature, our approximation, in all the cases, we are able to recover the standard case whenever the fractional power $\alpha=1$.


title: Relationships between multiple zeta values of depths 2 and 3 and period polynomials

abstract: Some combinatorial aspects of relations between multiple zeta values of depths 2 and 3 and period polynomials are discussed.


title: Squeezed relic photons beyond the horizon

abstract: Owing to the analogy with the ordinary photons in the visible range of the electromagnetic spectrum, the Glauber theory is generalized to address the quantum coherence of the gauge field fluctuations parametrically amplified during an inflationary stage of expansion. The first and second degrees of quantum coherence of relic photons are then computed beyond the effective horizon defined by the evolution of the susceptibility. In the zero-delay limit the Hanbury Brown-Twiss correlations exhibit a super-Poissonian statistics which is however different from the conventional results of the single-mode approximation customarily employed, in quantum optics, to classify the coherence properties of visible light. While in the case of large-scale curvature perturbations the degrees of quantum coherence coincide with the naive expectation of the single-mode approximation, the net degree of second-order coherence computed for the relic photons diminishes thanks to the effect of the polarizations. We suggest that the Hanbury Brown-twiss correlations are probably the only tool to assess the quantum or classical origin of the large-scale magnetic fluctuations and of the corresponding curvature perturbations.


title: Magnetosperic Multiscale (MMS) observation of plasma velocity-space cascade: Hermite representation and theory

abstract: Plasma turbulence is investigated using high-resolution ion velocity distributions measured by the Magnetospheric Multiscale Mission (MMS) in the Earth's magnetosheath. The particle distribution is highly structured, suggesting a cascade-like process in velocity space. This complex velocity space structure is investigated using a three-dimensional Hermite transform that reveals a power law distribution of moments. In analogy to hydrodynamics, a Kolmogorov approach leads directly to a range of predictions for this phase-space cascade. The scaling theory is in agreement with observations, suggesting a new path for the study of plasma turbulence in weakly collisional space and astrophysical plasmas.


title: External area integral inequality for the Cauchy-Leray-Fantappi\'e integral

abstract: In this paper we extend Luzin inequality for functions deined by the Cauchy-Leray-Fantappi\'e integral on the complement of a convex domain in $\mathbb{C}^n$. The work is supported by Russian Science Foundation Grant 14-41-00010.


title: Towards a new Framework linking knowledge management systems and organizational agility : an empirical study

abstract: The amount of data has exploded over the last ten years. Data is captured and shared from personal devices, transactional operations, sensors, social media and other sources. Firms should, thus, be able to explore the new opportunities and rapidly seize them by developing the corresponding capabilities. In our work, we focus on two emerging dynamic capabilities: Absorptive capacity and organizational agility. We propose a new theoretical Framework based on the previous literature linking the use of knowledge management systems and organizational agility by highlighting the mediating role of absorptive capacity. In addition, we carried out an empirical study based on a survey to support and validate the proposed Framework. The main findings of this study are presented.


title: A Unified Joint Matrix Factorization Framework for Data Integration

abstract: Nonnegative matrix factorization (NMF) is a powerful tool in data exploratory analysis by discovering the hidden features and part-based patterns from high-dimensional data. NMF and its variants have been successfully applied into diverse fields such as pattern recognition, signal processing, data mining, bioinformatics and so on. Recently, NMF has been extended to analyze multiple matrices simultaneously. However, a unified framework is still lacking. In this paper, we introduce a sparse multiple relationship data regularized joint matrix factorization (JMF) framework and two adapted prediction models for pattern recognition and data integration. Next, we present four update algorithms to solve this framework. The merits and demerits of these algorithms are systematically explored. Furthermore, extensive computational experiments using both synthetic data and real data demonstrate the effectiveness of JMF framework and related algorithms on pattern recognition and data mining.


title: Efficient Low Rank Tensor Ring Completion

abstract: Using the matrix product state (MPS) representation of the recently proposed tensor ring decompositions, in this paper we propose a tensor completion algorithm, which is an alternating minimization algorithm that alternates over the factors in the MPS representation. This development is motivated in part by the success of matrix completion algorithms that alternate over the (low-rank) factors. In this paper, we propose a spectral initialization for the tensor ring completion algorithm and analyze the computational complexity of the proposed algorithm. We numerically compare it with existing methods that employ a low rank tensor train approximation for data completion and show that our method outperforms the existing ones for a variety of real computer vision settings, and thus demonstrate the improved expressive power of tensor ring as compared to tensor train.


title: A simple shearlet-based reconstruction for computer tomography

abstract: We find a new and simple inversion formula of the Radon transform RT with the only use of the shearlet system and of well-known properties of RT. No intertwining relation of differential operators in Euclidean space and Radon domain is used. As a consequence, an additive noise is not incremented. Since the continuum theory of shearlets has a straight translation to the discrete theory, we find a fast, stable and computable algorithm that recovers a digital image from noisy samples of the Radon transform preserving edges. In the process, we find a more natural and easier-to-construct density-compensation weight functions for the ShearLab toolbox.


title: Persistent Cache-oblivious Streaming Indexes

abstract: In [SPAA2007], Bender et al. define a streaming B-tree (or index) as one that supports updates in amortized $o(1)$ IOs, and present a structure achieving amortized $O((\log N)/B)$ IOs and queries in $O(\log N)$ IOs. We extend their result to the partially-persistent case. For a version $v$, let $N_v$ be the number of keys accessible at $v$ and $N$ be the total number of updates. We give a data structure using space $O(N)$, supporting updates to a leaf version $v$ with $O((\log N_{v})/B)$ amortized IOs and answering range queries returning $Z$ elements with $O(\log N_{v} + Z/B)$ IOs on average (where the average is over all queries covering disjoint key ranges at a given version). This is the first persistent `streaming' index we are aware of, i.e. that supports updates in $o(1)$ IOs and supports efficient range queries.


title: The Observability Concept in a Class of Hybrid Control systems

abstract: In the discrete modeling approach for hybrid control systems, the continuous plant is reduced to a discrete event approximation, called the DES-plant, that is governed by a discrete event system, representing the controller. The observability of the DES-plant model is crucial for the synthesis of the controller and for the proper closed loop evolution of the hybrid control system. Based on a version of the framework for hybrid control systems proposed by Antsaklis, the paper analysis the relation between the properties of the cellular space of the continuous plant and a mechanism of plant-symbols generation, on one side, and the observability of the DES-plant automaton on the other side. Finally an observable discrete event abstraction of the continuous double integrator is presented.


title: Vacuum Condensate Picture of Quantum Gravity

abstract: In quantum gravity perturbation theory in Newton's constant G is known to be badly divergent, and as a result not very useful. Nevertheless some of the most interesting phenomena in physics are often associated with non-analytic behavior in the coupling constant and the existence of nontrivial quantum condensates. It is therefore possible that pathologies encountered in the case of gravity are more likely the result of inadequate analytical treatment, and not necessarily a reflection of some intrinsic insurmountable problem. The nonperturbative treatment of quantum gravity via the Regge-Wheeler lattice path integral formulation reveals the existence of a new phase involving a nontrivial gravitational vacuum condensate, and a new set of scaling exponents characterizing both the running of G and the long-distance behavior of invariant correlation functions. The appearance of such a gravitational condensate is viewed as analogous to the (equally nonperturbative) gluon and chiral condensates known to describe the physical vacuum of QCD. The resulting quantum theory of gravity is highly constrained, and its physical predictions are found to depend only on one adjustable parameter, a genuinely nonperturbative scale xi in many ways analogous to the scaling violation parameter Lambda MSbar of QCD. Recent results point to significant deviations from classical gravity on distance scales approaching the effective infrared cutoff set by the observed cosmological constant. Such subtle quantum effects are expected to be initially small on current cosmological scales, but could become detectable in future high precision satellite experiments.


title: Study of Joint MSINR and Relay Selection Algorithms for Distributed Beamforming

abstract: This paper presents joint maximum signal-to-interference-plus-noise ratio (MSINR) and relay selection algorithms for distributed beamforming. We propose a joint MSINR and restricted greedy search relay selection (RGSRS) algorithm with a total relay transmit power constraint that iteratively optimizes both the beamforming weights at the relays nodes, maximizing the SINR at the destination. Specifically, we devise a relay selection scheme that based on greedy search and compare it to other schemes like restricted random relay selection (RRRS) and restricted exhaustive search relay selection (RESRS). A complexity analysis is provided and simulation results show that the proposed joint MSINR and RGSRS algorithm achieves excellent bit error rate (BER) and SINR performances.


title: On R Degrees of Vertices and R Indices of Graphs

abstract: Topological indices have been used to modeling biological and chemical properties of molecules in quantitive structure property relationship studies and quantitive structure activity studies. All the degree based topological indices have been defined via classical degree concept. In this paper we define a novel degree concept for a vertex of a simple connected graph: R degree. And also we define R indices of a simple connected graph by using the R degree concept. We compute the R indices for well-known simple connected graphs such as paths, stars, complete graphs and cycles


title: A bijection for essentially 4-connected toroidal triangulations

abstract: Transversal structures (also known as regular edge labelings) are combinatorial structures defined over 4-connected plane triangulations with quadrangular outer-face. They have been intensively studied and used for many applications (drawing algorithm, random generation, enumeration ...). In this paper we introduce and study a generalization of these objects for the toroidal case. Contrary to what happens in the plane, the set of toroidal transversal structures of a given toroidal triangulation is partitioned into several distributive lattices. We exhibit a subset of toroidal transversal structures, called balanced, and show that it forms a single distributive lattice. Then, using the minimal element of the lattice, we are able to enumerate bijectively essentially 4-connected toroidal triangulations.


title: Rook theory of the finite general linear group

abstract: Matrices over a finite field having fixed rank and restricted support are a natural $q$-analogue of rook placements on a board. We develop this $q$-rook theory by defining a corresponding analogue of the hit numbers. Using tools from coding theory, we show that these $q$-hit and $q$-rook numbers obey a variety of identities analogous to the classical case. We also explore connections to earlier $q$-analogues of rook theory, as well as settling a polynomiality conjecture and finding a counterexample of a positivity conjecture of the authors and Klein.


title: SOLARIS: Solar Sail Investigation of the Sun

abstract: In this paper, we detail the scientific objectives and outline a strawman payload of the SOLAR sail Investigation of the Sun (SOLARIS). The science objectives are to study the 3D structure of the solar magnetic and velocity field, the variation of total solar irradiance with latitude, and the structure of the corona. We show how we can meet these science objective using solar-sail technologies currently under development. We provide a tentative mission profile considering several trade-off approaches. We also provide a tentative mass budget breakdown and a perspective for a programmatic implementation.


title: Generalized Multiscale Inversion for Heterogeneous Problems

abstract: In this work, we propose a generalized multiscale inversion algorithm for heterogeneous problems that aims at solving an inverse problem on a computational coarse grid. Previous inversion techniques for multiscale problems seek a coarse-grid media properties, e.g., permeability and conductivity, and by doing so, they assume that there exists a homogenized representation of the underlying fine-scale permeability field on a coarse grid. Generally such assumptions do not hold for highly heterogeneous fields, e.g., fracture media or channelized fields, where the width of channels are very small compared to the coarse-grid sizes. In these cases, grid refinement can lead to many degrees of freedom, and thus unattractive to apply. The proposed algorithm is based on the Generalized Multiscale Finite Element Method (GMsFEM), which uses local spectral problems to identify non-localized features, i.e., channels (high-conductivity inclusions that connect the boundaries of the coarse-grid block). The inclusion of these features in the coarse space enables one to achieve a good accuracy. The approach is valid under the assumption that the solution can be well represented in a reduced-dimensional space by multiscale basis functions. In practice, these basis functions are non-observable as we do not identify the fine-scale features of the permeability field. Our inversion algorithm finds the discretization parameters of the resulting system. By doing so, we identify the appropriate coarse-grid parameters representing the permeability field instead of fine-grid permeability field. We illustrate the approach by numerical results for fractured media.


title: Spin-1 Bose-Hubbard model with two- and three-body interactions

abstract: We investigated the ground state of spin-1 bosons interacting under local two- and three-body interactions in one dimension by means of the density matrix renormalization group method. We found that the even-odd asymmetry will be obtained or not depending on the relative values of the two- and three-body interactions. The Mott insulator lobes are spin isotropic, the first showing a dimerized pattern and the second being composed of singlets. The three-body interactions disfavor a longitudinal polar superfluid and a quantum phase transition to a transverse polar superfluid occurs, which could be continuous or discontinuous.


title: W-exponentials, Schur elements, and the support of the spherical representation of the rational Cherednik algebra

abstract: Given a complex reflection group W we compute the support of the spherical irreducible module of the rational Cherednik algebra of W in terms of the simultaneous eigenfunction of the Dunkl operators and Schur elements for finite Hecke algebras.


title: Fast Label Extraction in the CDAWG

abstract: The compact directed acyclic word graph (CDAWG) of a string $T$ of length $n$ takes space proportional just to the number $e$ of right extensions of the maximal repeats of $T$, and it is thus an appealing index for highly repetitive datasets, like collections of genomes from similar species, in which $e$ grows significantly more slowly than $n$. We reduce from $O(m\log{\log{n}})$ to $O(m)$ the time needed to count the number of occurrences of a pattern of length $m$, using an existing data structure that takes an amount of space proportional to the size of the CDAWG. This implies a reduction from $O(m\log{\log{n}}+\mathtt{occ})$ to $O(m+\mathtt{occ})$ in the time needed to locate all the $\mathtt{occ}$ occurrences of the pattern. We also reduce from $O(k\log{\log{n}})$ to $O(k)$ the time needed to read the $k$ characters of the label of an edge of the suffix tree of $T$, and we reduce from $O(m\log{\log{n}})$ to $O(m)$ the time needed to compute the matching statistics between a query of length $m$ and $T$, using an existing representation of the suffix tree based on the CDAWG. All such improvements derive from extracting the label of a vertex or of an arc of the CDAWG using a straight-line program induced by the reversed CDAWG.


title: Magnetic-field-induced 1st order transition to FFLO state at paramagnetic limit in 2D superconductors

abstract: We have recently reported the first direct calorimetric observation of a magnetic-field-induced first-order phase transition into a high-field FFLO superconducting state at the Clogston-Chandrasekar `Pauli' paramagnetic limit $H_p$ in a 2D superconductor $\kappa-{\textrm{(BEDT-TTF)}}_2{\textrm{Cu}}{\textrm{(NCS)}}_2$. The high-field state is both higher entropy and strongly paramagnetic, as thermodynamically required for the FFLO state. Here we compare our results with theoretical predictions for the field dependence of the high-field FFLO state in the 2D limit, revealing tentative evidence for transitions between FFLO states of differing order parameter. We also present calorimetric evidence for a 1st order phase transition into the FFLO state for a second 2D organic superconductor: ${\beta}^{\prime\prime}-{\textrm{(BEDT-TTF)}}_2{\textrm{SF}}_5{\textrm{(CH)}}_2{\textrm{(CF)}}_2{\textrm{(SO)}}_3$.


title: Symmetry in the composite plate problem

abstract: In this paper we deal with the composite plate problem, namely the following optimization eigenvalue problem $$ \inf_{\rho \in \mathrm{P}} \inf_{u \in \mathcal{W}\setminus\{0\}} \frac{\int_{\Omega}(\Delta u)^2}{\int_{\Omega} \rho u^2}, $$ where $\mathrm{P}$ is a class of admissible densities, $\mathcal{W}= H^{2}_{0}(\Omega)$ for Dirichlet boundary conditions and $\mathcal W= H^2(\Omega) \cap H^1_{0}(\Omega)$ for Navier boundary conditions. The associated Euler-Lagrange equation is a fourth-order elliptic PDE governed by the biharmonic operator $\Delta^2$. In the spirit of [10], we study qualitative properties of the optimal pairs $(u,\rho)$. In particular, we prove existence and regularity and we find the explicit expression of $\rho$. When $\Omega$ is a ball, we can also prove uniqueness of the optimal pair, as well as positivity of $u$ and radial symmetry of both $u$ and $\rho$.


title: A New Asymptotic Analysis Technique for Diversity Receptions Over Correlated Lognormal Fading Channels

abstract: Prior asymptotic performance analyses are based on the series expansion of the moment-generating function (MGF) or the probability density function (PDF) of channel coefficients. However, these techniques fail for lognormal fading channels because the Taylor series of the PDF of a lognormal random variable is zero at the origin and the MGF does not have an explicit form. Although lognormal fading model has been widely applied in wireless communications and free-space optical communications, few analytical tools are available to provide elegant performance expressions for correlated lognormal channels. In this work, we propose a novel framework to analyze the asymptotic outage probabilities of selection combining (SC), equal-gain combining (EGC) and maximum-ratio combining (MRC) over equally correlated lognormal fading channels. Based on these closed-form results, we reveal the followings: i) the outage probability of EGC or MRC becomes an infinitely small quantity compared to that of SC at large signal-to-noise ratio (SNR); ii) channel correlation can result in an infinite performance loss at large SNR. More importantly, the analyses reveal insights into the long-standing problem of performance analyses over correlated lognormal channels at high SNR, and circumvent the time-consuming Monte Carlo simulation and numerical integration.


title: Index-analysis for a method of lines discretising multirate partial differential algebraic equations

abstract: In radio frequency applications, electric circuits generate signals, which are amplitude modulated and/or frequency modulated. A mathematical modelling yields typically systems of differential algebraic equations (DAEs). A multivariate signal model transforms the DAEs into multirate partial differential algebraic equations (MPDAEs). In the case of frequency modulation, an additional condition is required to identify an appropriate solution. We consider a necessary condition for an optimal solution and a phase condition. A method of lines, which discretises the MPDAEs as well as the additional condition, generates a larger system of DAEs. We analyse the differential index of this approximative DAE system, where the original DAEs are assumed to be semi-explicit systems. The index depends on the inclusion of either differential variables or algebraic variables in the additional condition. We present results of numerical simulations for an illustrative example, where the index is also verified by a numerical method.


title: Digital Domain Power Division Multiplexed Dual Polarization Coherent Optical OFDM Transmission

abstract: Capacity is the eternal pursuit for communication systems due to the overwhelming demand of bandwidth hungry applications. As the backbone infrastructure of modern communication networks, the optical fiber transmission system undergoes a significant capacity growth over decades by exploiting available physical dimensions (time, frequency, quadrature, polarization and space) of the optical carrier for multiplexing. For each dimension, stringent orthogonality must be guaranteed for perfect separation of independent multiplexed signals. To catch up with the ever-increasing capacity requirement, it is therefore interesting and important to develop new multiplexing methodologies relaxing the orthogonal constraint thus achieving better spectral efficiency and more flexibility of frequency reuse. Inspired by the idea of non-orthogonal multiple access (NOMA) scheme, here we propose a digital domain power division multiplexed (PDM) transmission technology which is fully compatible with current dual polarization (DP) coherent optical communication system. The coherent optical orthogonal frequency division multiplexing (CO-OFDM) modulation has been employed owing to its great superiority on high spectral efficiency, flexible coding, ease of channel estimation and robustness against fiber dispersion. And a PDM-DP-CO-OFDM has been theoretically and experimentally demonstrated with 100Gb/s wavelength division multiplexing (WDM) transmission over 1440km standard single mode fibers (SSMFs). Two baseband quadrature phase shift keying (QPSK) OFDM signals are overlaid together with different power levels. After IQ modulation, polarization multiplexing and long distance fiber transmission, the PDM-DP-CO-OFDM signal has been successfully recovered in the typical polarization diversity coherent receiver by successive interference cancellation (SIC) algorithm.


title: Positioning for Visible Light Communication System Exploiting Multipath Reflections

abstract: In this paper, we introduce a new uplink visible light indoor positioning system that estimates the position of the users in the network-side of a visible light communications (VLC) system. This technique takes advantage of the diffuse components of the uplink channel impulse response for positioning, which has been considered as a destructive noise in existing visible light communication positioning literature. Exploiting the line of sight (LOS) component, the most significant diffusive component of the channel (the second power peak (SPP)), and the delay time between LOS and SPP, we present a proof of concept analysis for positioning using fixed reference points, i.e. uplink photodetectors (PDs). Simulation results show the root mean square (RMS) positioning accuracy of 25 cm and 5 cm for one and 4 PDs scenarios, respectively.


title: Power Control for Multi-Cell Networks with Non-Orthogonal Multiple Access

abstract: In this paper, we investigate the problems of sum power minimization and sum rate maximization for multi-cell networks with non-orthogonal multiple access. Considering the sum power minimization, we obtain closed-form solutions to the optimal power allocation strategy and then successfully transform the original problem to a linear one with a much smaller size, which can be optimally solved by using the standard interference function. To solve the nonconvex sum rate maximization problem, we first prove that the power allocation problem for a single cell is a convex problem. By analyzing the Karush-Kuhn-Tucker conditions, the optimal power allocation for users in a single cell is derived in closed form. Based on the optimal solution in each cell, a distributed algorithm is accordingly proposed to acquire efficient solutions. Numerical results verify our theoretical findings showing the superiority of our solutions compared to the orthogonal frequency division multiple access and broadcast channel.


title: Exploration of Pattern-Matching Techniques for Lossy Compression on Cosmology Simulation Data Sets

abstract: Because of the vast volume of data being produced by today's scientific simulations, lossy compression allowing user-controlled information loss can significantly reduce the data size and the I/O burden. However, for large-scale cosmology simulation, such as the Hardware/Hybrid Accelerated Cosmology Code (HACC), where memory overhead constraints restrict compression to only one snapshot at a time, the lossy compression ratio is extremely limited because of the fairly low spatial coherence and high irregularity of the data. In this work, we propose a pattern-matching (similarity searching) technique to optimize the prediction accuracy and compression ratio of SZ lossy compressor on the HACC data sets. We evaluate our proposed method with different configurations and compare it with state-of-the-art lossy compressors. Experiments show that our proposed optimization approach can improve the prediction accuracy and reduce the compressed size of quantization codes compared with SZ. We present several lessons useful for future research involving pattern-matching techniques for lossy compression.


title: On Generalized Optimal Hard Decision Fusion

abstract: In this letter, we formulate a generalized decision fusion problem (GDFP) for sensing with centralized hard decision fusion. We show that various new and existing decision fusion rules are special cases of the proposed GDFP. We then relate our problem to the classical $0-1$ Knapsack problem (KP). Consequently, we apply dynamic programming to solve the exponentially complex GDFP in polynomial time. Numerical results are presented to verify the effectiveness of the proposed solution.


title: A Fully Quaternion-Valued Capon Beamformer Based on Crossed-Dipole Arrays

abstract: Quaternion models have been developed for both direction of arrival estimation and beamforming based on crossed-dipole arrays in the past. However, for almost all the models, especially for adaptive beamforming, the desired signal is still complex-valued and one example is the quaternion-Capon beamformer. However, since the complex-valued desired signal only has two components, while there are four components in a quaternion, only two components of the quaternion-valued beamformer output are used and the remaining two are simply removed. This leads to significant redundancy in its implementation. In this work, we consider a quaternion-valued desired signal and develop a full quaternion-valued Capon beamformer, which has a better performance and a much lower complexity and is shown to be more robust against array pointing errors.


title: Robust Detection of Random Events with Spatially Correlated Data in Wireless Sensor Networks via Distributed Compressive Sensing

abstract: In this paper, we exploit the theory of compressive sensing to perform detection of a random source in a dense sensor network. When the sensors are densely deployed, observations at adjacent sensors are highly correlated while those corresponding to distant sensors are less correlated. Thus, the covariance matrix of the concatenated observation vector of all the sensors at any given time can be sparse where the sparse structure depends on the network topology and the correlation model. Exploiting the sparsity structure of the covariance matrix, we develop a robust nonparametric detector to detect the presence of the random event using a compressed version of the data collected at the distributed nodes. We employ the multiple access channel (MAC) model with distributed random projections for sensors to transmit observations so that a compressed version of the observations is available at the fusion center. Detection is performed by constructing a decision statistic based on the covariance information of uncompressed data which is estimated using compressed data. The proposed approach does not require any knowledge of the noise parameter to set the threshold, and is also robust when the distributed random projection matrices become sparse.


title: On the letter frequencies and entropy of written Marathi

abstract: We carry out a comprehensive analysis of letter frequencies in contemporary written Marathi. We determine sets of letters which statistically predominate any large generic Marathi text, and use these sets to estimate the entropy of Marathi.


title: Eigenvalue Dynamics of a PT-symmetric Sturm-Liouville Operator. Criteria of the Similarity to a Self-adjoint or Normal Operator

abstract: The goal of the paper is to investigate the dynamics of the eigenvalues of the Sturm-Liouville operator with summable PT-symmetric potential on the finite interval. It turns out that the case of a complex Airy operator presents an exactly solvable model which allows us to trace the dynamics of the movement of the eigenvalues in all details and to find explicitly the critical parameter values, in particular, to specify precisely the number $\varepsilon_1$ such that for $0<\varepsilon<\varepsilon_1$ the operator has a real spectrum and is similar to a self-adjoint operator.


title: Integral Categories and Calculus Categories

abstract: Differential categories are now an established abstract setting for differentiation. However not much attention has been given to the process which is inverse to differentiation: integration. This paper presents the parallel development for integration by axiomatizing an integral transformation, $s_A: !A \to !A \otimes A$, in a symmetric monoidal category with a coalgebra modality. When integration is combined with differentiation, the two fundamental theorems of calculus are expected to hold (in a suitable sense): a differential category with integration which satisfies these two theorem is called a {\em calculus category\/}. Modifying an approach to antiderivatives by T. Ehrhard, we define having antiderivatives as the demand that a certain natural transformation, $K: !A \to !A$, is invertible. We observe that a differential category having antiderivatives, in this sense, is always a calculus category. When the coalgebra modality is monoidal, it is natural to demand an extra coherence between integration and the coalgebra modality. In the presence of this extra coherence we show that a calculus category with a monoidal coalgebra modality has its integral transformation given by antiderivatives and, thus, that the integral structure is uniquely determined by the differential structure. The paper finishes by providing a suite of separating examples. Examples of differential categories, integral categories, and calculus categories based on both monoidal and (mere) coalgebra modalities are presented. In addition, differential categories which are not integral categories are discussed and vice versa.


title: Physical problem solving: Joint planning with symbolic, geometric, and dynamic constraints

abstract: In this paper, we present a new task that investigates how people interact with and make judgments about towers of blocks. In Experiment~1, participants in the lab solved a series of problems in which they had to re-configure three blocks from an initial to a final configuration. We recorded whether they used one hand or two hands to do so. In Experiment~2, we asked participants online to judge whether they think the person in the lab used one or two hands. The results revealed a close correspondence between participants' actions in the lab, and the mental simulations of participants online. To explain participants' actions and mental simulations, we develop a model that plans over a symbolic representation of the situation, executes the plan using a geometric solver, and checks the plan's feasibility by taking into account the physical constraints of the scene. Our model explains participants' actions and judgments to a high degree of quantitative accuracy.


title: The 2D Tree Sliding Window Discrete Fourier Transform

abstract: We present a new algorithm for the 2D Sliding Window Discrete Fourier Transform (SWDFT). Our algorithm avoids repeating calculations in overlapping windows by storing them in a tree data-structure based on the ideas of the Cooley- Tukey Fast Fourier Transform (FFT). For an $N_0 \times N_1$ array and $n_0 \times n_1$ windows, our algorithm takes $O(N_0 N_1 n_0 n_1)$ operations. We provide a C implementation of our algorithm for the Radix-2 case, compare ours with existing algorithms, and show how our algorithm easily extends to higher dimensions.


title: Dual Rectified Linear Units (DReLUs): A Replacement for Tanh Activation Functions in Quasi-Recurrent Neural Networks

abstract: In this paper, we introduce a novel type of Rectified Linear Unit (ReLU), called a Dual Rectified Linear Unit (DReLU). A DReLU, which comes with an unbounded positive and negative image, can be used as a drop-in replacement for a tanh activation function in the recurrent step of Quasi-Recurrent Neural Networks (QRNNs) (Bradbury et al. (2017)). Similar to ReLUs, DReLUs are less prone to the vanishing gradient problem, they are noise robust, and they induce sparse activations. We independently reproduce the QRNN experiments of Bradbury et al. (2017) and compare our DReLU-based QRNNs with the original tanh-based QRNNs and Long Short-Term Memory networks (LSTMs) on sentiment classification and word-level language modeling. Additionally, we evaluate on character-level language modeling, showing that we are able to stack up to eight QRNN layers with DReLUs, thus making it possible to improve the current state-of-the-art in character-level language modeling over shallow architectures based on LSTMs.


title: Scaled Gaussian Stochastic Process for Computer Model Calibration and Prediction

abstract: We consider the problem of calibrating an imperfect computer model using experimental data. To compensate the misspecification of the computer model and make more accurate predictions, a discrepancy function is often included and modeled via a Gaussian stochastic process (GaSP). The calibrated computer model alone, however, sometimes fits the experimental data poorly, as the calibration parameters become unidentifiable. In this work, we propose the scaled Gaussian stochastic process (S-GaSP), a novel stochastic process that bridges the gap between two predominant methods, namely the $L_2$ calibration and the GaSP calibration. It is shown that our approach performs well in both calibration and prediction. A computationally feasible approach is introduced for this new model under the Bayesian paradigm. Compared with the GaSP calibration, the S-GaSP calibration enables the calibrated computer model itself to predict the reality well, based on the posterior distribution of the calibration parameters. Numerical comparisons of the simulated and real data are provided to illustrate the connections and differences between the proposed S-GaSP and other alternative approaches.


title: A Gossip Algorithm based Clock Synchronization Scheme for Smart Grid Applications

abstract: The uprising interest in multi-agent based networked system, and the numerous number of applications in the distributed control of the smart grid leads us to address the problem of time synchronization in the smart grid. Utility companies look for new packet based time synchronization solutions with Global Positioning System (GPS) level accuracies beyond traditional packet methods such as Network Time Proto- col (NTP). However GPS based solutions have poor reception in indoor environments and dense urban canyons as well as GPS antenna installation might be costly. Some smart grid nodes such as Phasor Measurement Units (PMUs), fault detection, Wide Area Measurement Systems (WAMS) etc., requires synchronous accuracy as low as 1 ms. On the other hand, 1 sec accuracy is acceptable in management information domain. Acknowledging this, in this study, we introduce gossip algorithm based clock synchronization method among network entities from the decision control and communication point of view. Our method synchronizes clock within dense network with a bandwidth limited environment. Our technique has been tested in different kinds of network topologies- complete, star and random geometric network and demonstrated satisfactory performance.


title: Direct Numerical Simulation of Turbulent Channel Flow with Riblets at Low Reynolds Number

abstract: In this report we briefly summarize the set-up and results for direct numerical simulations (DNS) of turbulent channel flows with riblets. The DNS are carried out with OpenFOAM which allows the use of an unstructured mesh. The present results were presented at the European Drag Reduction and Flow Control Meeting in 2015.


title: Statistical ensembles without typicality

abstract: Maximum-entropy ensembles are key primitives in statistical mechanics from which thermodynamic properties can be derived. Over the decades, several approaches have been put forward in order to justify from minimal assumptions the use of these ensembles in statistical descriptions. However, there is still no full consensus on the precise reasoning justifying the use of such ensembles. In this work, we provide a new approach to derive maximum-entropy ensembles taking a strictly operational perspective. We investigate the set of possible transitions that a system can undergo together with an environment, when one only has partial information about both the system and its environment. The set of all these allowed transitions encodes thermodynamic laws and limitations on thermodynamic tasks as particular cases. Our main result is that the set of allowed transitions coincides with the one possible if both system and environment were assigned the maximum entropy state compatible with the partial information. This justifies the overwhelming success of such ensembles and provides a derivation without relying on considerations of typicality or information-theoretic measures.


title: Dynamical relativistic liquid bodies I: constraint propagation

abstract: We introduce a new wave formulation for the relativistic Euler equations with vacuum boundary conditions that consists of a system of non-linear wave equations in divergence form with a combination of acoustic and Dirichlet boundary conditions. We show that solutions of our new wave formulation determine solutions of the relativistic Euler equations that satisfy the vacuum boundary conditions provided the initial data is chosen to make a specific set of constraints vanish on the initial hypersurface. Moreover, we prove that these constraints propagate. This article is the first step of a two step strategy to establish the local-in-time existence and uniqueness of solutions to the relativistic Euler equations representing dynamical liquid bodies in vacuum.


title: Bayesian hierarchical weighting adjustment and survey inference

abstract: We combine Bayesian prediction and weighted inference as a unified approach to survey inference. The general principles of Bayesian analysis imply that models for survey outcomes should be conditional on all variables that affect the probability of inclusion. We incorporate the weighting variables under the framework of multilevel regression and poststratification, as a byproduct generating model-based weights after smoothing. We investigate deep interactions and introduce structured prior distributions for smoothing and stability of estimates. The computation is done via Stan and implemented in the open source R package "rstanarm" ready for public use. Simulation studies illustrate that model-based prediction and weighting inference outperform classical weighting. We apply the proposal to the New York Longitudinal Study of Wellbeing. The new approach generates robust weights and increases efficiency for finite population inference, especially for subsets of the population.


title: Subleading Corrections to Hadronic Cross-Sections at High Energies

abstract: The Large Hadron Collider (LHC) has provided, and will continue to provide, data for collisions at the highest energies ever seen in a particle accelerator. A strong knowledge of the properties of amplitudes for Quantum Chromodynamics in the High Energy Limit is therefore important to interpret this data. We study this limit in the context of the High Energy Jets (HEJ) formalism. This formalism resums terms in the perturbative expansion of the cross-section that behave like $\alpha_s^n \log \left(\frac{s}{-t}\right)^{n-1}$, which are enhanced in this limit. Understanding this region is particularly important in certain key analyses at the LHC: for example, Higgs-boson-plus-dijet analyses where cuts are applied to pick out events with a large $m_{jj}$ and in many searches for new physics.


title: Accelerator Neutrino Neutron Interaction Experiment (ANNIE): Preliminary Results and Physics Phase Proposal

abstract: The R&D mission of the Accelerator Neutrino Neutron Interaction Experiment (ANNIE) is described in detail. ANNIE is: (1) an important measurement of neutrino-nucleus interactions focusing specifically on neutron production, and (2) an R&D effort focused on using new photodetector technology and chemical additives to make advanced water-base neutrino detectors. The ANNIE experiment consists of a small Water Cherenkov detector, instrumented with both conventional photomultiplier tubes (PMTs) and Large Area Picosecond Photodetectors (LAPPDs) deployed on the Booster Neutrino Beam (BNB) at Fermilab. The experiment is designed to proceed in two stages: a partially-instrumented test-beam run using only PMTs (Phase I) for the purpose of measuring critical neutron backgrounds to the experiment; and a physics run with a fully-instrumented detector (Phase II). This paper gives preliminary results of the first phase and described the detector design upgrades necessary for the next phase.


title: NGC 6819: testing the asteroseismic mass scale, mass loss, and evidence for products of non-standard evolution

abstract: We present an extensive peakbagging effort on Kepler data of $\sim$50 red giant stars in the open star cluster NGC 6819. By employing sophisticated pre-processing of the time series and Markov Chain Monte Carlo techniques we extracted individual frequencies, heights and linewidths for hundreds of oscillation modes. We show that the "average" asteroseismic parameter $\delta\nu_{02}$, derived from these, can be used to distinguish the stellar evolutionary state between the red giant branch (RGB) stars and red clump (RC) stars. Masses and radii are estimated using asteroseismic scaling relations, both empirically corrected to obtain self-consistency as well as agreement with independent measures of distance, and using updated theoretical corrections. Remarkable agreement is found, allowing the evolutionary state of the giants to be determined exclusively from the empirical correction to the scaling relations. We find a mean mass of the RGB stars and RC stars in NGC 6819 to be $1.61\pm0.02\,\textrm{M}_\odot$ and $1.64{\pm}0.02\,\textrm{M}_\odot$, respectively. The difference $\Delta M=-0.03\pm0.01\,\textrm{M}_\odot$ is almost insensitive to systematics, suggesting very little RGB mass loss, if any. Stars that are outliers relative to the ensemble reveal overmassive members that likely evolved via mass-transfer in a blue straggler phase. We suggest that KIC 4937011, a low-mass Li-rich giant, is a cluster member in the RC phase that experienced very high mass-loss during its evolution. Such over- and undermassive stars need to be considered when studying field giants, since the true age of such stars cannot be known and there is currently no way to distinguish them from normal stars.


title: How much mass and angular momentum can the progenitors of carbon-enriched stars accrete?

abstract: The chemically peculiar barium stars, CH stars, and most CEMP stars are all believed to be the products of mass transfer in binary systems from a now extinct AGB primary star. The mass of the AGB star and the orbital parameters of the system are the key factors usually considered when determining how much mass is transferred onto the lower-mass main-sequence companion. What is usually neglected, however, is the angular momentum of the accreted material, which should spin up the accreting star. If the star reaches critical rotation, further accretion should cease until the excess angular momentum is somehow dealt with. If the star cannot redistribute or lose the angular momentum while the primary is on the AGB, the amount of mass accreted could be much lower than otherwise expected. Here we present calculations, based on detailed stellar evolution models, of the mass that can be accreted by putative progenitors of Ba and CEMP stars before they reach critical rotation under the assumption that no angular momentum loss occurs during the mass transfer. We consider different accretion rates and values of specific angular momentum. The most stringent limits on the accreted masses result from considering accretion from a Keplerian accretion disk, which is likely present during the formation of most extrinsically-polluted carbon-enriched stars. Our calculations indicate that in this scenario only about 0.05 solar masses of material can be added to the accreting star before it reaches critical rotation, which is much too low to explain the chemical enrichment of many Ba and CEMP stars. Either the specific angular momentum of the accreted material has to effectively be lower by about a factor of ten than the Keplerian value, or significant angular momentum losses must occur for substantial accretion to take place.


title: Estimating parameters associated with monotone properties

abstract: There has been substantial interest in estimating the value of a graph parameter, i.e., of a real-valued function defined on the set of finite graphs, by querying a randomly sampled substructure whose size is independent of the size of the input. Graph parameters that may be successfully estimated in this way are said to be testable or estimable, and the sample complexity $q_z=q_z(\epsilon)$ of an estimable parameter $z$ is the size of a random sample of a graph $G$ required to ensure that the value of $z(G)$ may be estimated within an error of $\epsilon$ with probability at least 2/3. In this paper, for any fixed monotone graph property $\mathcal{P}=\mbox{Forb}(\mathcal{F})$, we study the sample complexity of estimating a bounded graph parameter $z_{\mathcal{P}}$ that, for an input graph $G$, counts the number of spanning subgraphs of $G$ that satisfy $\mathcal{P}$. To improve upon previous upper bounds on the sample complexity, we show that the vertex set of any graph that satisfies a monotone property $\mathcal{P}$ may be partitioned equitably into a constant number of classes in such a way that the cluster graph induced by the partition is not far from satisfying a natural weighted graph generalization of $\mathcal{P}$. Properties for which this holds are said to be recoverable, and the study of recoverable properties may be of independent interest.


title: Weyl frames and canonical transformations in geometrical scalar-tensor theories of gravity

abstract: We consider scalar-tensor theories of gravity defined in Weyl integrable space-time and show that in the ADM formalism Weyl transformations corresponding to change of frames induce canonical transformations between different representations of the phase space. In this context, we discuss the physical equivalence of two distinct Weyl frames at the classical level.


title: The separating semigroup of a real curve

abstract: We introduce the separating semigroup of a real algebraic curve of dividing type. The elements of this semigroup record the possible degrees of the covering maps obtained by restricting separating morphisms to the real part of the curve. We also introduce the hyperbolic semigroup which consists of elements of the separating semigroup arising from morphisms which are compositions of a linear projection with an embedding of the curve to some projective space. We completely determine both semigroups in the case of maximal curves. We also prove that any embedding of a real curve to projective space of sufficiently high degree is hyperbolic. Using these semigroups we show that the hyperbolicity locus of an embedded curve is in general not connected.


title: Characteristics of superconducting state in vanadium: the Eliashberg equations and semi-analytical formulas

abstract: The superconducting state in vanadium characterizes with the critical temperature ($T_{c}$) equal to $5.3$~K. The Coulomb pseudopotential, calculated with the help of the Eliashberg equations, possesses anomalously high value $\mu^{\star}\left(3\Omega_{\rm max}\right)=0.259$ or $\mu^{\star}\left(10\Omega_{\rm max}\right)=0.368$ ($\Omega_{\rm max}$ denotes the maximum phonon frequency). Despite the relatively large electron-phonon coupling constant ($\lambda=0.91$), the quantities such as: the order parameter ($\Delta$), the specific heat ($C$), and the thermodynamic critical field ($H_{c}$) determine the values of the dimensionless ratios not deviating much from the predictions of the BCS theory: $R_{\Delta}=2\Delta\left(0\right)/ k_{B}T_{c}=3.68$, $R_{C}=\Delta C\left(T_{c}\right)/ C^{N}\left(T_{c}\right)=1.69$, and $R_{H}=T_{c}C^{N}\left(T_{c}\right)/ H^{2}_{c}\left(0\right)=0.171$. This result is associated with the reduction of the strong-coupling and the retardation effects by the high value of the Coulomb pseudopotential. It has been shown that the results of the Eliashberg formalism can be relatively precisely reproduced with the help of the semi-analytical formulas, if the value of $\mu^{\star}$ is determined on the basis of the $T_{c}$-Allen-Dynes expression ($\mu^{\star}_{AD}=0.198$). The attention should be paid to the fact that in the numerical and in the semi-analytical approach the comparable values of the thermodynamic parameters for the same $\mu^{\star}$ have been obtained only in the vicinity of the point $\mu^{\star}=0.1$.


title: ALMA Observations of Circumnuclear Disks in Early Type Galaxies: 12CO(2-1) and Continuum Properties

abstract: We present results from an Atacama Large Millimeter/submillimeter Array (ALMA) Cycle 2 program to map CO(2-1) emission in nearby early-type galaxies (ETGs) that host circumnuclear gas disks. We obtained $\sim0.3''-$resolution Band 6 observations of seven ETGs selected on the basis of dust disks in Hubble Space Telescope images. We detect CO emission in five at high signal-to-noise ratio with the remaining two only faintly detected. All CO emission is coincident with the dust and is in dynamically cold rotation. Four ETGs show evidence of rapid central rotation; these are prime candidates for higher-resolution ALMA observations to measure the black hole masses. In this paper we focus on the molecular gas and continuum properties. Total gas masses and H$_2$ column densities for our five CO-bright galaxies are on average $\sim10^8$ $M_\odot$ and $\sim10^{22.5}$ cm$^{-2}$ over the $\sim$kpc-scale disks, and analysis suggests that these disks are stabilized against gravitational fragmentation. The continuum emission of all seven galaxies is dominated by a central, unresolved source, and in five we also detect a spatially extended component. The $\sim$230 GHz nuclear continua are modeled as power laws ranging from $S_\nu \sim \nu^{-0.4}$ to $\nu^{1.6}$ within the observed frequency band. The extended continuum profiles of the two radio-bright (and CO-faint) galaxies are roughly aligned with their radio jet and suggests resolved synchrotron jets. The extended continua of the CO-bright disks are coincident with optically thick dust absorption and have spectral slopes that are consistent with thermal dust emission.


title: A Dust Twin of Cas A: Cool Dust and 21-micron Silicate Dust Feature in the Supernova Remnant G54.1+0.3

abstract: We present infrared (IR) and submillimeter observations of the Crab-like supernova remnant (SNR) G54.1+0.3 including 350 micron (SHARC-II), 870 micron (LABOCA), 70, 100, 160, 250, 350, 500 micron (Herschel) and 3-40 micron (Spitzer). We detect dust features at 9, 11 and 21 micron and a long wavelength continuum dust component. The 21 micron dust coincides with [Ar II] ejecta emission, and the feature is remarkably similar to that in Cas A. The IRAC 8 micron image including Ar ejecta is distributed in a shell-like morphology which is coincident with dust features, suggesting that dust has formed in the ejecta. We create a cold dust map that shows excess emission in the northwestern shell. We fit the spectral energy distribution of the SNR using the continuous distributions of ellipsoidal (CDE) grain model of pre-solar grain SiO2 that reproduces the 21 and 9 micron dust features and discuss grains of SiC and PAH that may be responsible for the 10-13 micron dust features. To reproduce the long-wavelength continuum, we explore models consisting of different grains including Mg2SiO4, MgSiO3, Al2O3, FeS, carbon, and Fe3O4. We tested a model with a temperature-dependent silicate absorption coefficient. We detect cold dust (27-44 K) in the remnant, making this the fourth such SNR with freshly-formed dust. The total dust mass in the SNR ranges from 0.08-0.9 Msun depending on the grain composition, which is comparable to predicted masses from theoretical models. Our estimated dust masses are consistent with the idea that SNe are a significant source of dust in the early Universe.


title: Non-relativistic entanglement entropy from Horava gravity

abstract: We propose an analogue of the Ryu-Takayanagi formula for holographic entanglement entropy applicable to non-relativistic holographic dualities involving Horava gravity. This is a powerful tool for the duality to have, as topological order quantified by entanglement entropy is a robust notion in condensed matter systems. Our derivation makes use of examining on-shell gravitational actions on conical spacetimes.


title: Quality-Driven Resource Allocation for Full-Duplex Delay-Constrained Wireless Video Transmissions

abstract: In this paper, wireless video transmission over full-duplex channels under total bandwidth and minimum required quality constraints is studied. In order to provide the desired performance levels to the end-users in real-time video transmissions, quality of service (QoS) requirements such as statistical delay constraints are also considered. Effective capacity (EC) is used as the throughput metric in the presence of such statistical delay constraints since deterministic delay bounds are difficult to guarantee due to the time-varying nature of wireless fading channels. A communication scenario with multiple pairs of users in which different users have different delay requirements is addressed. Following characterizations from the rate-distortion (R-D) theory, a logarithmic model of the quality-rate relation is used for predicting the quality of the reconstructed video in terms of the peak signal-to-noise ratio (PSNR) at the receiver side. Since the optimization problem is not concave or convex, the optimal bandwidth and power allocation policies that maximize the weighted sum video quality subject to total bandwidth, maximum transmission power level and minimum required quality constraints are derived by using monotonic optimization (MO) theory.


title: Accurate Chemical Master Equation Solution Using Multi-Finite Buffers

abstract: The discrete chemical master equation (dCME) provides a fundamental framework for studying stochasticity in mesoscopic networks. Because of the multi-scale nature of many networks where reaction rates have large disparity, directly solving dCMEs is intractable due to the exploding size of the state space. It is important to truncate the state space effectively with quantified errors, so accurate solutions can be computed. It is also important to know if all major probabilistic peaks have been computed. Here we introduce the Accurate CME (ACME) algorithm for obtaining direct solutions to dCMEs. With multi-finite buffers for reducing the state space by O(n!), exact steady-state and time-evolving network probability landscapes can be computed. We further describe a theoretical framework of aggregating microstates into a smaller number of macrostates by decomposing a network into independent aggregated birth and death processes, and give an a priori method for rapidly determining steady-state truncation errors. The maximal sizes of the finite buffers for a given error tolerance can also be pre-computed without costly trial solutions of dCMEs. We show exactly computed probability landscapes of three multi-scale networks, namely, a 6-node toggle switch, 11-node phage-lambda epigenetic circuit, and 16-node MAPK cascade network, the latter two with no known solutions. We also show how probabilities of rare events can be computed from first-passage times, another class of unsolved problems challenging for simulation-based techniques due to large separations in time scales. Overall, the ACME method enables accurate and efficient solutions of the dCME for a large class of networks.


title: Closed-Loop Policies for Operational Tests of Safety-Critical Systems

abstract: Manufacturers of safety-critical systems must make the case that their product is sufficiently safe for public deployment. Much of this case often relies upon critical event outcomes from real-world testing, requiring manufacturers to be strategic about how they allocate testing resources in order to maximize their chances of demonstrating system safety. This work frames the partially observable and belief-dependent problem of test scheduling as a Markov decision process, which can be solved efficiently to yield closed-loop manufacturer testing policies. By solving for policies over a wide range of problem formulations, we are able to provide high-level guidance for manufacturers and regulators on issues relating to the testing of safety-critical systems. This guidance spans an array of topics, including circumstances under which manufacturers should continue testing despite observed incidents, when manufacturers should test aggressively, and when regulators should increase or reduce the real-world testing requirements for an autonomous vehicle.


title: Exploiting fast-variables to understand population dynamics and evolution

abstract: We describe a continuous-time modelling framework for biological population dynamics that accounts for demographic noise. In the spirit of the methodology used by statistical physicists, transitions between the states of the system are caused by individual events while the dynamics are described in terms of the time-evolution of a probability density function. In general, the application of the diffusion approximation still leaves a description that is quite complex. However, in many biological applications one or more of the processes happen slowly relative to the system's other processes, and the dynamics can be approximated as occurring within a slow low-dimensional subspace. We review these time-scale separation arguments and analyse the more simple stochastic dynamics that result in a number of cases. We stress that it is important to retain the demographic noise derived in this way, and emphasise this point by showing that it can alter the direction of selection compared to the prediction made from an analysis of the corresponding deterministic model.


title: State space truncation with quantified errors for accurate solutions to discrete Chemical Master Equation

abstract: The discrete chemical master equation (dCME) provides a general framework for studying stochasticity in mesoscopic reaction networks. Since its direct solution rapidly becomes intractable due to the increasing size of the state space, truncation of the state space is necessary for solving most dCMEs. It is therefore important to assess the consequences of state space truncations so errors can be quantified and minimized. Here we describe a novel method for state space truncation. By partitioning a reaction network into multiple molecular equivalence groups (MEG), we truncate the state space by limiting the total molecular copy numbers in each MEG. We further describe a theoretical framework for analysis of the truncation error in the steady state probability landscape using reflecting boundaries. By aggregating the state space based on the usage of a MEG and constructing an aggregated Markov process, we show that the truncation error of a MEG can be asymptotically bounded by the probability of states on the reflecting boundary of the MEG. Furthermore, truncating states of an arbitrary MEG will not undermine the estimated error of truncating any other MEGs. We then provide an error estimate for networks with multiple MEGs. To rapidly determine the appropriate size of an arbitrary MEG, we introduce an a priori method to estimate the upper bound of its truncation error, which can be rapidly computed from reaction rates, without costly trial solutions of the dCME. We show results of applying our methods to four stochastic networks. We demonstrate how truncation errors and steady state probability landscapes can be computed using different sizes of the MEG(s) and how the results validate out theories. Overall, the novel state space truncation and error analysis methods developed here can be used to ensure accurate direct solutions to the dCME for a large class of stochastic networks.


title: High Quality Queueing Information from Accelerated Active Network Tomography

abstract: Monitoring network state can be crucial in Future Internet infrastructures. Passive monitoring of all the routers is expensive and prohibitive. Storing, accessing and sharing the data is a technological challenge among networks with conflicting economic interests. Active monitoring methods can be attractive alternatives as they are free from most of these issues. Here we demonstrate that it is possible to improve the active network tomography methodology to such extent that the quality of the extracted link or router level delay is comparable to the passively measurable information. We show that the temporal precision of the measurements and the performance of the data analysis should be simultaneously improved to achieve this goal. In this paper we not only introduce a new efficient message-passing based algorithm but we also show that it is applicable for data collected by the ETOMIC high precision active measurement infrastructure. The measurements are conducted in the GEANT2 high speed academic network connecting the sites, which is an ideal test ground for such Future Internet applications.


title: A Nearly Instance Optimal Algorithm for Top-k Ranking under the Multinomial Logit Model

abstract: We study the active learning problem of top-$k$ ranking from multi-wise comparisons under the popular multinomial logit model. Our goal is to identify the top-$k$ items with high probability by adaptively querying sets for comparisons and observing the noisy output of the most preferred item from each comparison. To achieve this goal, we design a new active ranking algorithm without using any information about the underlying items' preference scores. We also establish a matching lower bound on the sample complexity even when the set of preference scores is given to the algorithm. These two results together show that the proposed algorithm is nearly instance optimal (similar to instance optimal [FLN03], but up to polylog factors). Our work extends the existing literature on rank aggregation in three directions. First, instead of studying a static problem with fixed data, we investigate the top-$k$ ranking problem in an active learning setting. Second, we show our algorithm is nearly instance optimal, which is a much stronger theoretical guarantee. Finally, we extend the pairwise comparison to the multi-wise comparison, which has not been fully explored in ranking literature.


title: The Effect of Electron Lens as Landau Damping Device on Single Particle Dynamics in HL-LHC

abstract: An electron lens can serve as an effective mechanism for suppressing coherent instabilities in high intensity storage rings through nonlinear amplitude dependent betatron tune shift. However, the addition of a strong localized nonlinear focusing element to the accelerator lattice may lead to undesired effects in particle dynamics. We evaluate the effect of a Gaussian electron lens on single particle motion in HL-LHC using numerical tracking simulations, and compare the results to the case when an equal tune spread is generated by conventional octupole magnets.


title: The impact of epilepsy surgery on the structural connectome and its relation to outcome

abstract: Temporal lobe surgical resection brings seizure remission in up to 80% of patients, with long-term complete seizure freedom in 41%. However, it is unclear how surgery impacts on the structural white matter network, and how the network changes relate to seizure outcome. We used white matter fibre tractography on preoperative diffusion MRI to generate a structural white matter network, and postoperative T1-weighted MRI to retrospectively infer the impact of surgical resection on this network. We then applied graph theory and machine learning to investigate the properties of change between the preoperative and predicted postoperative networks. Temporal lobe surgery had a modest impact on global network efficiency, despite the disruption caused. This was due to alternative shortest paths in the network leading to widespread increases in betweenness centrality post-surgery. Measurements of network change could retrospectively predict seizure outcomes with 79% accuracy and 65% specificity, which is twice as high as the empirical distribution. Fifteen connections which changed due to surgery were identified as useful for prediction of outcome, eight of which connected to the ipsilateral temporal pole. Our results suggest that the use of network change metrics may have clinical value for predicting seizure outcome. This approach could be used to prospectively predict outcomes given a suggested resection mask using preoperative data only.


title: Limiting theories of substructures

abstract: We introduce the notion of limiting theories, giving examples and providing a sufficient condition under which the first order theory of a structure is the limit of the first order theories of a collection of substructures. We also give a new proof that theories like that of infinite sets are not finitely axiomatizable.


title: Promoting lentil germination and stem growth by plasma activated tap water, demineralized water and liquid fertilizer

abstract: Tap water, demineralized water and liquid fertilizer have been activated using an atmospheric pressure plasma jet (APPJ) to investigate their benefits for the germination rate and stem elongation rate of lentils from Puy-en-Velay (France). By plasma-activating tap water, we have obtained germination rates as high as 80% (instead of 30% with tap water). Also, higher stem elongation rates and final stem lengths were obtained using activated tap water compared with commercial fertilizer. We show that these rates of germination and stem growth strongly depend on the combination of two radicals generated in the liquids by the plasma: hydrogen peroxide and nitrate. This synergy appears to be a condition for releasing seed dormancy through the endogenous production of NO radicals.


title: A Graphical Characterization of Structurally Controllable Linear Systems with Dependent Parameters

abstract: One version of the concept of structural controllability defined for single-input systems by Lin and subsequently generalized to multi-input systems by others, states that a parameterized matrix pair $(A, B)$ whose nonzero entries are distinct parameters, is structurally controllable if values can be assigned to the parameters which cause the resulting matrix pair to be controllable. In this paper the concept of structural controllability is broadened to allow for the possibility that a parameter may appear in more than one location in the pair $(A, B)$. Subject to a certain condition on the parameterization called the "binary assumption", an explicit graph-theoretic characterization of such matrix pairs is derived.


title: Hardness Results for the Subpower Membership Problem

abstract: The main result of this paper shows that if $\mathcal{M}$ is a consistent strong linear Maltsev condition which does not imply the existence of a cube term, then for any finite algebra $\mathbb{A}$ there exists a new finite algebra $\mathbb{A}_\mathcal{M}$ which satisfies the Maltsev condition $\mathcal{M}$, and whose subpower membership problem is at least as hard as the subpower membership problem for $\mathbb{A}$. We characterize consistent strong linear Maltsev conditions which do not imply the existence of a cube term, and show that there are finite algebras in varieties that are congruence distributive and congruence $k$-permutable ($k \geq 3$) whose subpower membership problem is EXPTIME-complete.


title: Non-commutative crepant resolutions for some toric singularities II

abstract: Using the theory of dimer models Broomhead proved that every 3-dimensional Gorenstein affine toric variety Spec R admits a toric non-commutative crepant resolution (NCCR). We give an alternative proof of this result by constructing a tilting bundle on a (stacky) crepant resolution of Spec R using standard toric methods. Our proof does not use dimer models.


title: Evidence of Eta Aquariid Outbursts Recorded in the Classic Maya Hieroglyphic Script Using Orbital Integrations

abstract: No firm evidence has existed that the ancient Maya civilization recorded specific occurrences of meteor showers or outbursts in the corpus of Maya hieroglyphic inscriptions. In fact, there has been no evidence of any pre-Hispanic civilization in the Western Hemisphere recording any observations of any meteor showers on any specific dates. The authors numerically integrated meteoroid-sized particles released by Comet Halley as early as 1404 BC to identify years within the Maya Classic Period, AD 250-909, when Eta Aquariid outbursts might have occurred. Outbursts determined by computer model were then compared to specific events in the Maya record to see if any correlation existed between the date of the event and the date of the outburst. The model was validated by successfully explaining several outbursts around the same epoch in the Chinese record. Some outbursts observed by the Maya were due to recent revolutions of Comet Halley, within a few centuries, and some to resonant behavior in older Halley trails, of the order of a thousand years. Examples were found of several different Jovian mean motion resonances as well as the 1:3 Saturnian resonance that have controlled the dynamical evolution of meteoroids in apparently observed outbursts.


title: Kinetic Simulation of Collisional Magnetized Plasmas with Semi-Implicit Time Integration

abstract: Plasmas with varying collisionalities occur in many applications, such as tokamak edge regions, where the flows are characterized by significant variations in density and temperature. While a kinetic model is necessary for weakly-collisional high-temperature plasmas, high collisionality in colder regions render the equations numerically stiff due to disparate time scales. In this paper, we propose an implicit-explicit algorithm for such cases, where the collisional term is integrated implicitly in time, while the advective term is integrated explicitly in time, thus allowing time step sizes that are comparable to the advective time scales. This partitioning results in a more efficient algorithm than those using explicit time integrators, where the time step sizes are constrained by the stiff collisional time scales. We implement semi-implicit additive Runge-Kutta methods in COGENT, a finite-volume gyrokinetic code for mapped, multiblock grids and test the accuracy, convergence, and computational cost of these semi-implicit methods for test cases with highly-collisional plasmas.


title: Thermoelectric cooling and thermal switching via the non-linear phonon Peltier effect

abstract: Investigating the non-linear transport regime in a quantum dot heat engine described by the Anderson-Holstein model, it is shown that a finite electron-phonon interaction leads to a charge induced phonon generation that stimulates a phonon current even in the absence of a thermal gradient. This gives rise to the non-linear phonon Peltier effect which shows a non-trivial dependence on varying the electron-phonon interaction. Utilizing the reversal of phonon currents via charge induced phonon accumulation, we demonstrate that the heat engine surprisingly can be cooled when coupled to a hot reservoir. In further exploring possibilities that can arise from this effect, we propose a charge-induced phonon switching mechanism.


title: A non-perverse Soergel bimodule in type A

abstract: A basic question concerning indecomposable Soergel bimodules is to understand their endomorphism rings. In characteristic zero all degree-zero endomorphisms are isomorphisms (a fact proved by Elias and the second author) which implies the Kazhdan-Lusztig conjectures. More recently, many examples in positive characteristic have been discovered with larger degree zero endomorphisms. These give counter-examples to expected bounds in Lusztig's conjecture. Here we prove the existence of indecomposable Soergel bimodules in type A having non-zero endomorphisms of negative degree. This gives the existence of a non-perverse parity sheaf in type A.


title: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge

abstract: This volume consists of papers presented at the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK) held at the University of Liverpool, UK, from July 24 to 26, 2017. TARK conferences bring together researchers from a wide variety of fields, including Computer Science (especially, Artificial Intelligence, Cryptography, Distributed Computing), Economics (especially, Decision Theory, Game Theory, Social Choice Theory), Linguistics, Philosophy (especially, Philosophical Logic), and Cognitive Psychology, in order to further understand the issues involving reasoning about rationality and knowledge.


title: Black Hole Mass Estimation in Type 1 AGN: H$\beta$ vs. Mg II lines and the role of Balmer continuum

abstract: Here we investigate the H$\beta$ and Mg II spectral line parameters used for the black hole mass (M$_{\rm BH}$) estimation for a sample of Type 1 Active Galactic Nuclei (AGN) spectra selected from the Sloan Digital Sky Survey (SDSS) database. We have analyzed and compared the virialization of the H$\beta$ and Mg II emission lines, and found that the H$\beta$ line is more confident virial estimator than Mg II. We have investigated the influence of the Balmer continuum emission to the M$_{\rm BH}$ estimation from the UV parameters, and found that the Balmer continuum emission can contribute to the overestimation of the M$_{\rm BH}$ on average for ~ 5% (up to 10%).


title: The reachability of contagion in temporal contact networks: how disease latency can exploit the rhythm of human behavior

abstract: The symptoms of many infectious diseases influence their host to withdraw from social activity limiting their own potential to spread. Successful transmission therefore requires the onset of infectiousness to coincide with a time when its host is socially active. Since social activity and infectiousness are both temporal phenomena, we hypothesize that diseases are most pervasive when these two processes are synchronized. We consider disease dynamics that incorporate a behavioral response that effectively shortens the infectious period of the disease. We apply this model to data collected from face-to-face social interactions and look specifically at how the duration of the latent period effects the reachability of the disease. We then simulate the spread of the model disease on the network to test the robustness of our results. Diseases with latent periods that synchronize with the temporal social behavior of people, i.e. latent periods of 24 hours or 7 days, correspond to peaks in the number of individuals who are potentially at risk of becoming infected. The effect of this synchronization is present for a range of disease models with realistic parameters. The relationship between the latent period of an infectious disease and its pervasiveness is non-linear and depends strongly on the social context in which the disease is spreading.


title: Intersection of almost complex submanifolds

abstract: We show the intersection of a compact almost complex subvariety of dimension $4$ and a compact almost complex submanifold of codimension $2$ is a $J$-holomorphic curve. This is a generalization of positivity of intersections for $J$-holomorphic curves in almost complex $4$-manifolds to higher dimensions. As an application, we discuss pseudoholomorphic sections of a complex line bundle. We introduce a method to produce $J$-holomorphic curves using the differential geometry of almost Hermitian manifolds. When our main result is applied to pseudoholomorphic maps, we prove the singularity subset of a pseudoholomorphic map between almost complex $4$-manifolds is $J$-holomorphic. Building on this, we show degree one pseudoholomorphic maps between almost complex $4$-manifolds are actually birational morphisms in pseudoholomorphic category.


title: Efficient Yet Deep Convolutional Neural Networks for Semantic Segmentation

abstract: Semantic Segmentation using deep convolutional neural network pose more complex challenge for any GPU intensive task. As it has to compute million of parameters, it results to huge memory consumption. Moreover, extracting finer features and conducting supervised training tends to increase the complexity. With the introduction of Fully Convolutional Neural Network, which uses finer strides and utilizes deconvolutional layers for upsampling, it has been a go to for any image segmentation task. In this paper, we propose two segmentation architecture which not only needs one-third the parameters to compute but also gives better accuracy than the similar architectures. The model weights were transferred from the popular neural net like VGG19 and VGG16 which were trained on Imagenet classification data-set. Then we transform all the fully connected layers to convolutional layers and use dilated convolution for decreasing the parameters. Lastly, we add finer strides and attach four skip architectures which are element-wise summed with the deconvolutional layers in steps. We train and test on different sparse and fine data-sets like Pascal VOC2012, Pascal-Context and NYUDv2 and show how better our model performs in this tasks. On the other hand our model has a faster inference time and consumes less memory for training and testing on NVIDIA Pascal GPUs, making it more efficient and less memory consuming architecture for pixel-wise segmentation.


title: Navigability with Imperfect Information

abstract: The article studies navigability of an autonomous agent in a maze where some rooms may be indistinguishable. In a previous work the authors have shown that the properties of navigability in such a setting depend on whether an agent has perfect recall. Navigability by an agent with perfect recall is a transitive relation and without is not transitive. This article introduces a notion of restricted navigability and shows that a certain form of transitivity holds for restricted navigability, even for an agent without perfect recall. The main technical result is a sound and complete logical system describing the properties of restricted navigability.


title: Cross-Correlation Redshift Calibration Without Spectroscopic Calibration Samples in DES Science Verification Data

abstract: Galaxy cross-correlations with high-fidelity redshift samples hold the potential to precisely calibrate systematic photometric redshift uncertainties arising from the unavailability of complete and representative training and validation samples of galaxies. However, application of this technique in the Dark Energy Survey (DES) is hampered by the relatively low number density, small area, and modest redshift overlap between photometric and spectroscopic samples. We propose instead using photometric catalogs with reliable photometric redshifts for photo-z calibration via cross-correlations. We verify the viability of our proposal using redMaPPer clusters from the Sloan Digital Sky Survey (SDSS) to successfully recover the redshift distribution of SDSS spectroscopic galaxies. We demonstrate how to combine photo-z with cross-correlation data to calibrate photometric redshift biases while marginalizing over possible clustering bias evolution in either the calibration or unknown photometric samples. We apply our method to DES Science Verification (DES SV) data in order to constrain the photometric redshift distribution of a galaxy sample selected for weak lensing studies, constraining the mean of the tomographic redshift distributions to a statistical uncertainty of $\Delta z \sim \pm 0.01$. We forecast that our proposal can in principle control photometric redshift uncertainties in DES weak lensing experiments at a level near the intrinsic statistical noise of the experiment over the range of redshifts where redMaPPer clusters are available. Our results provide strong motivation to launch a program to fully characterize the systematic errors from bias evolution and photo-z shapes in our calibration procedure.


title: Magnetic Field Effect on Charged Scalar Pair Creation at Finite Temperature

abstract: In this work we explore the effects of a weak magnetic field and a thermal bath on the decay process of a neutral scalar boson into two charged scalar bosons. Our findings indicate that magnetic field inhibits while temperature enhances the pair production. The employed formalism allows us to isolate the contribution of magnetic fields in vacuum, leading to a separate analysis of the effects of different ingredients. This is essential since the analytical computation of the decay width necessarily needs of some approximation and the results that can be found in the literature are not always coincident. We perform the calculation in vacuum by two different weak field approximations. The particle pair production in vacuum was found to coincide with finite temperature behavior, which is opposite to results obtained by other authors in scenarios that involve neutral particles decaying into a pair of charged fermions. Among other differences between these scenarios, we traced that the analytical structure of the self-energy imposed by the spin of particles involved in the process is determinant in the behavior of the decay rate with the magnetic field.


title: Suppression of effective noise in Hamiltonian simulations

abstract: Simulating high-weight Hamiltonians can convert local noise on the original Hamiltonian into undesirable nonlocal noise on the simulated Hamiltonian. Here we show how starting from two-local Hamiltonian in the presence of non-Markovian noise, a desired computation can be simulated as well as protected using fast pulses, while maintaining an energy gap against the errors created in the process.


title: A Comparative Analysis of XML Documents, XML Enabled Databases and Native XML Databases

abstract: With the increasing popularity of XML data and a great need for a database management system able to store, retrieve and manipulate XML-based data in an efficient manner, database research communities and software industries have tried to respond to this requirement. XML-enabled database and native XML database are two approaches that have been proposed to address this challenge. These two approaches are a legacy database systems which are extended to store, retrieve and manipulate XML-based data. The major objective of this paper is to explore and compare between the two approaches and reach to some criteria to have a suitable guideline to select the best approach in each circumstance. In general, native XML database systems have more ability in comparison with XML-enabled database system for managing XML-based data


title: Enhancing Sensitivity of an Atom Interferometer to the Heisenberg Limit using Increased Quantum Noise

abstract: In a conventional atomic interferometer employing $N$ atoms, the phase sensitivity is at the standard quantum limit: $1/\sqrt{N}$. Using spin-squeezing, the sensitivity can be increased, either by lowering the quantum noise or via phase amplification, or a combination thereof. Here, we show how to increase the sensitivity, to the Heisenberg limit of $1/N$, while increasing the quantum noise by $\sqrt{N}$, thereby suppressing by the same factor the effect of excess noise. The protocol uses a Schr\"odinger Cat state representing a superposition of two collective states of $N$ atoms, behaving as a single entity with an $N$-fold increase in Compton frequency. The resulting $N$-fold phase magnification is revealed by using atomic state detection instead of collective state detection. We also show how to realize an atomic clock based on such a Schr\"odinger Cat state, with an $N$-fold increase in the effective transition frequency. We discuss potential experimental constraints for implementing this scheme, using one axis twist squeezing employing the cavity feedback scheme, and show that the effects of cavity decay and spontaneous emission are highly suppressed. We find that the maximum improvement in sensitivity can be close to the ideal limit, for as many as ten million atoms.


title: Positive Semidefinite Univariate Matrix Polynomials

abstract: We study sum-of-squares representations of symmetric univariate real matrix polynomials that are positive semidefinite along the real line. We give a new proof of the fact that every positive semidefinite univariate matrix polynomial of size $n\times n$ can be written as a sum of squares $M=Q^TQ$, where $Q$ has size $(n+1)\times n$, which was recently proved by Blekherman-Plaumann-Sinn-Vinzant. Our new approach using the theory of quadratic forms allows us to prove the conjecture made by these authors that these minimal representations $M=Q^TQ$ are generically in one-to-one correspondence with the representations of the nonnegative univariate polynomial $\det(M)$ as sums of two squares. In parallel, we will use our methods to prove the more elementary hermitian analogue that every hermitian univariate matrix polynomial $M$ that is positive semidefinite along the real line, is a square, which is known as the matrix Fej\'er-Riesz Theorem.


title: SLEEPNET: Automated Sleep Staging System via Deep Learning

abstract: Sleep disorders, such as sleep apnea, parasomnias, and hypersomnia, affect 50-70 million adults in the United States (Hillman et al., 2006). Overnight polysomnography (PSG), including brain monitoring using electroencephalography (EEG), is a central component of the diagnostic evaluation for sleep disorders. While PSG is conventionally performed by trained technologists, the recent rise of powerful neural network learning algorithms combined with large physiological datasets offers the possibility of automation, potentially making expert-level sleep analysis more widely available. We propose SLEEPNET (Sleep EEG neural network), a deployed annotation tool for sleep staging. SLEEPNET uses a deep recurrent neural network trained on the largest sleep physiology database assembled to date, consisting of PSGs from over 10,000 patients from the Massachusetts General Hospital (MGH) Sleep Laboratory. SLEEPNET achieves human-level annotation performance on an independent test set of 1,000 EEGs, with an average accuracy of 85.76% and algorithm-expert inter-rater agreement (IRA) of kappa = 79.46%, comparable to expert-expert IRA.


title: Modeling the GeV emission of HESS J0632+057

abstract: The binary system HESS J0632+057 was recently detected by {Fermi} to possess orbital modulated GeV emission. In this paper, we study the possibility that the compact companion of HESS J0632+057 is a pulsar. Under such a presumption, we focus on the high energy emission mechanism of this system, which is as follows. The pulsar companion travels through the circumstellar disc of the main sequence star twice in each orbit, when some of the matter is gravity-captured. The captured matter develops an accretion disc around the pulsar, and the soft photons from which are inverse Compton scattered by the pulsar wind as the GeV emission from the system. With proper choice of parameters, SED and light curve which are in accordance with observations can be produced. We predict that the light curve of GeV emission has two peaks, the larger one is at around 0.4 after the periastron (or 0.1 after the X-ray maximum), while the smaller one is between phases 0 and 0.1, with integrated flux one forth of the larger one.


title: Counting for some convergent groups

abstract: We present examples of geometrically finite manifolds with pinched negative curvature, whose geodesic flow has infinite non-ergodic Bowen-Margulis measure and whose Poincar\'e series converges at the critical exponent $\delta_\Gamma$. We obtain an explicit asymptotic for their orbital growth function. Namely, for any $\alpha \in ]1, 2[ $ and any slowly varying function $L : \mathbb R\to (0, +\infty)$, we construct $N$-dimensional Hadamard manifolds $(X, g)$ of negative and pinched curvature, whose group of oriented isometries admits convergent geometrically finite subgroups $\Gamma$ such that, as $R\to +\infty$, $$ N_\Gamma(R):= \#\left\{\gamma\in \Gamma \; ; \; d(o, \gamma \cdot o)\leq R\right\} \sim C_\Gamma \frac{L(R)}{R^\alpha} \ e^{\delta_\Gamma R}, $$ for some constant $C_\Gamma >0$.


title: Dragon: A Computation Graph Virtual Machine Based Deep Learning Framework

abstract: Deep Learning has made a great progress for these years. However, it is still difficult to master the implement of various models because different researchers may release their code based on different frameworks or interfaces. In this paper, we proposed a computation graph based framework which only aims to introduce well-known interfaces. It will help a lot when reproducing a newly model or transplanting models that were implemented by other frameworks. Additionally, we implement numerous recent models covering both Computer Vision and Nature Language Processing. We demonstrate that our framework will not suffer from model-starving because it is much easier to make full use of the works that are already done.