title: Geometric Low-Energy Effective Action in a Doubled Spacetime

abstract: The ten-dimensional supergravity theory is a geometric low-energy effective theory and the equations of motion for its fields can be obtained from string theory by computing $\beta$ functions. With $d$ compact dimensions, we can add to it an $O(d, d;\mathbb{Z})$ geometric structure and construct the supergravity theory inspired by double field theory through the use of a suitable commutative star product. The latter implements the weak constraint of the double field theory on its fields and gauge parameters in order to have a closed gauge symmetry algebra. The consistency of the action here proposed is based on the orthogonality of the momenta associated with fields in their triple star products in the cubic terms defined for $d\ge1$. This orthogonality holds also for an arbitrary number of star products of fields for $d=1$. Finally, we extend our analysis to the double sigma model, non-commutative geometry and open string theory.


title: Short-term effect of hyperbaric exposure on Ventilation: A Control Study of 12m-depth Single No-decompression Dive Experiment

abstract: Objective: To study to what extent or durations of ventilation effect in a single no-decompression dive of 12 meters to a diver. Methods: There are 29 healthy volunteers divers assigned into SCUBA diving of 12m-depth underwater (the Experimental Group, EG)and chamber dive under 2.2 ATA for 20min (the Control Group, CG) matched with the factors of the age,gender,BMI and Forced Vital Capacity (FVC).Ventilation functions were measured by spirometer before diving and in 1h and 24h of post-hyperbaric exposure. Used independent samples T tests to compare the differences between the EG and CG.Analyzed of variance through repeated measurement data of different time point before or after high pressure exposure by SPSS 20.0. Results: The Inspiratory Reserve Volume(IRV) rises while the Expiratory Reserve Volume(ERV) falls significantly in 1h after high pressure release(p<0.05).So as with the Inspiratory Capacity (IC) and the Vital Capacity (VC) increased accordingly. The Ratio of FEV1.0 to VC (FEV1.0%t) is higher in CG than EG (t=-2.189,p=0.033) due to the change of VC. But the effects did not last for 24 h after high pressure relief. Conclusions: Ventilation is restricted during the 20min of hyperbaric exposure whether under 12m-depth water or in a 2.2ATA hyperbaric chamber. But the effect recovered close to normal within 24 h. But the effect recovered close to normal within 24 h. The extent of restriction of underwater diving is larger than the dry air hyperbaric chamber dive. Higher water medium density, submerged compressing blood volume of lower limbs and raising inertia added by portable underwater breathing apparatus all might be attributable to the ventilation effects.


title: A Full Non-Monotonic Transition System for Unrestricted Non-Projective Parsing

abstract: Restricted non-monotonicity has been shown beneficial for the projective arc-eager dependency parser in previous research, as posterior decisions can repair mistakes made in previous states due to the lack of information. In this paper, we propose a novel, fully non-monotonic transition system based on the non-projective Covington algorithm. As a non-monotonic system requires exploration of erroneous actions during the training process, we develop several non-monotonic variants of the recently defined dynamic oracle for the Covington parser, based on tight approximations of the loss. Experiments on datasets from the CoNLL-X and CoNLL-XI shared tasks show that a non-monotonic dynamic oracle outperforms the monotonic version in the majority of languages.


title: On the thermodynamic aspect of zinc oxide polymorphism. Calorimetric study of metastable rock salt ZnO

abstract: The enthalpies of dissolution of metastable rock salt and thermodynamically stable wurtzite polymorphs of zinc oxide in aqueous H2SO4 have been measured in direct calorimetric experiments at 303 K and 0.1 MPa and the obtained results enabled determination of the standard enthalpy of the rock salt-to-wurtzite phase transition in ZnO, {\Delta}trH = -11.7+/-0.3 kJ/mol.


title: On the Sampling Problem for Kernel Quadrature

abstract: The standard Kernel Quadrature method for numerical integration with random point sets (also called Bayesian Monte Carlo) is known to converge in root mean square error at a rate determined by the ratio $s/d$, where $s$ and $d$ encode the smoothness and dimension of the integrand. However, an empirical investigation reveals that the rate constant $C$ is highly sensitive to the distribution of the random points. In contrast to standard Monte Carlo integration, for which optimal importance sampling is well-understood, the sampling distribution that minimises $C$ for Kernel Quadrature does not admit a closed form. This paper argues that the practical choice of sampling distribution is an important open problem. One solution is considered; a novel automatic approach based on adaptive tempering and sequential Monte Carlo. Empirical results demonstrate a dramatic reduction in integration error of up to 4 orders of magnitude can be achieved with the proposed method.


title: Decentralized Certificate Authorities

abstract: The security of TLS depends on trust in certificate authorities, and that trust stems from their ability to protect and control the use of a private signing key. The signing key is the key asset of a certificate authority (CA), and its value is based on trust in the corresponding public key which is primarily distributed by browser vendors. Compromise of a CA private key represents a single point-of-failure that could have disastrous consequences, so CAs go to great lengths to attempt to protect and control the use of their private keys. Nevertheless, keys are sometimes compromised and may be misused accidentally or intentionally by insiders. We propose splitting a CA's private key among multiple parties, and producing signatures using a generic secure multi-party computation protocol that never exposes the actual signing key. This could be used by a single CA to reduce the risk that its signing key would be compromised or misused. It could also enable new models for certificate generation, where multiple CAs would need to agree and cooperate before a new certificate can be generated, or even where certificate generation would require cooperation between a CA and the certificate recipient (subject). Although more efficient solutions are possible with custom protocols, we demonstrate the feasibility of implementing a decentralized CA using a generic two-party secure computation protocol with an evaluation of a prototype implementation that uses secure two-party computation to generate certificates signed using ECDSA on curve secp192k1.


title: A Holographic form for Wilson's RG

abstract: An attempt is made to make precise the connection between Wilson's RG and "Holographic RG" by writing Wilson's RG in a holographic form. A functional formulation is given for the exact RG evolution of a scalar field in $d$ (flat) dimensions. It is shown that a change of variables maps the action to that for a scalar field in $AdS_{d+1}$. This provides a holographic form for Wilson's RG that can be called "Holographic RG". This mapping can only be done for a specific form of the cutoff function in the Exact Renormalization Group formalism. The notion of scale and conformal invariance in the presence of a {\em finite} UV cutoff is emphasized. The discussion is primarily about the two-point function and the Gaussian fixed point. Some remarks are made about nontrivial fixed points.


title: A dynamic graph-cuts method with integrated multiple feature maps for segmenting kidneys in ultrasound images

abstract: Purpose: To improve kidney segmentation in clinical ultrasound (US) images, we develop a new graph cuts based method to segment kidney US images by integrating original image intensity information and texture feature maps extracted using Gabor filters. Methods: To handle large appearance variation within kidney images and improve computational efficiency, we build a graph of image pixels close to kidney boundary instead of building a graph of the whole image. To make the kidney segmentation robust to weak boundaries, we adopt localized regional information to measure similarity between image pixels for computing edge weights to build the graph of image pixels. The localized graph is dynamically updated and the GC based segmentation iteratively progresses until convergence. The proposed method has been evaluated and compared with state of the art image segmentation methods based on clinical kidney US images of 85 subjects. We randomly selected US images of 20 subjects as training data for tuning the parameters, and validated the methods based on US images of the remaining 65 subjects. The segmentation results have been quantitatively analyzed using 3 metrics, including Dice Index, Jaccard Index, and Mean Distance. Results: Experiment results demonstrated that the proposed method obtained segmentation results for bilateral kidneys of 65 subjects with average Dice index of 0.9581, Jaccard index of 0.9204, and Mean Distance of 1.7166, better than other methods under comparison (p<10-19, paired Wilcoxon rank sum tests). Conclusions: The proposed method achieved promising performance for segmenting kidneys in US images, better than segmentation methods that built on any single channel of image information. This method will facilitate extraction of kidney characteristics that may predict important clinical outcomes such progression chronic kidney disease.


title: Multiple Instance Dictionary Learning for Beat-to-Beat Heart Rate Monitoring from Ballistocardiograms

abstract: A multiple instance dictionary learning approach, Dictionary Learning using Functions of Multiple Instances (DL-FUMI), is used to perform beat-to-beat heart rate estimation and to characterize heartbeat signatures from ballistocardiogram (BCG) signals collected with a hydraulic bed sensor. DL-FUMI estimates a "heartbeat concept" that represents an individual's personal ballistocardiogram heartbeat pattern. DL-FUMI formulates heartbeat detection and heartbeat characterization as a multiple instance learning problem to address the uncertainty inherent in aligning BCG signals with ground truth during training. Experimental results show that the estimated heartbeat concept found by DL-FUMI is an effective heartbeat prototype and achieves superior performance over comparison algorithms.


title: DenseAlert: Incremental Dense-Subtensor Detection in Tensor Streams

abstract: Consider a stream of retweet events - how can we spot fraudulent lock-step behavior in such multi-aspect data (i.e., tensors) evolving over time? Can we detect it in real time, with an accuracy guarantee? Past studies have shown that dense subtensors tend to indicate anomalous or even fraudulent behavior in many tensor data, including social media, Wikipedia, and TCP dumps. Thus, several algorithms have been proposed for detecting dense subtensors rapidly and accurately. However, existing algorithms assume that tensors are static, while many real-world tensors, including those mentioned above, evolve over time. We propose DenseStream, an incremental algorithm that maintains and updates a dense subtensor in a tensor stream (i.e., a sequence of changes in a tensor), and DenseAlert, an incremental algorithm spotting the sudden appearances of dense subtensors. Our algorithms are: (1) Fast and 'any time': updates by our algorithms are up to a million times faster than the fastest batch algorithms, (2) Provably accurate: our algorithms guarantee a lower bound on the density of the subtensor they maintain, and (3) Effective: our DenseAlert successfully spots anomalies in real-world tensors, especially those overlooked by existing algorithms.


title: Scalable population-level modeling of biological cells incorporating mechanics and kinetics in continuous time

abstract: The processes taking place inside the living cell are now understood to the point where predictive computational models can be used to gain detailed understanding of important biological phenomena. A key challenge is to extrapolate this detailed knowledge of the individual cell to be able to explain at the population level how cells interact and respond with each other and their environment. In particular, the goal is to understand how organisms develop, maintain and repair functional tissues and organs. In this paper we propose a novel computational framework for modeling populations of interacting cells. Our framework incorporates mechanistic, constitutive descriptions of biomechanical properties of the cell population, and uses a coarse graining approach to derive individual rate laws that enable propagation of the population through time. Thanks to its multiscale nature, the resulting simulation algorithm is extremely scalable and highly efficient. As highlighted in our computational examples, the framework is also very flexible and may straightforwardly be coupled with continuous-time descriptions of biochemical signalling within, and between, individual cells.


title: Strongly Dependent Ordered Abelian Groups and Henselian Fields

abstract: Strongly dependent ordered abelian groups have finite dp-rank. They are precisely those groups with finite spines and $|\{p\text{ prime}:[G:pG]=\infty\}|<\infty$. We apply this to show that if $K$ is a strongly dependent field, then $(K,v)$ is strongly dependent for any henselian valuation $v$.


title: GALEX J184559.8-413827: a new extreme helium star identified using SALT

abstract: A high-resolution spectrum of the helium-rich `hot subdwarf' GALEX J184559.8-413827 (J1845-4138) obtained with SALT HRS demonstrates it to be the first extreme helium (EHe) star to be discovered in nearly 40 years. A quantitative analysis demonstrates it to have an atmosphere described by Teff = 26 170 +/- 750 K, log g /(cm s^-2) = 4.22 +/- 0.10, and a surface chemistry characterised by CNO-processed helium, a 1% contamination of hydrogen (by number), and a metallicity 0.4 dex subsolar. Its distance and position are consistent with membership of the Galactic bulge. Its sharp absorption lines place strong constraints on both the rotation and microturbulent velocities. Spectroscopically, J1845-4138 closely resembles the pulsating EHe star V652 Her, generally considered to be the product of a double helium white dwarf merger evolving to become a helium-rich sdO star.


title: Testing CPT violation with correlated neutral mesons

abstract: This work gives a general overview of phenomenology developed for neutral-meson searches for CPT violation in the framework of the Standard-Model Extension with focus on meson factories. It gives a comparison of notations and fundamental approach in the formalism used by the different experiments. Asymmetries and possible experimental investigations are presented for tests of the momentum-dependent phenomenological parameter of CPT violation in neutral-meson oscillations. The general results apply to any mesons produced as correlated meson pairs and addresses the issue of decoherence as a consequence of direction dependence. An analysis is given considering kinematics and orientation of the improved Belle II experiment.


title: Transport theory for electrical detection of the spin texture and spin-momentum locking of topological surface states

abstract: The surface states of three-dimensional topological insulators exhibit a helical spin texture with spin locked to momentum. To date, however, the direct all-electrical detection of the helical spin texture has remained elusive owing to the lack of necessary spin-sensitive measurements. We here provide a general theory for spin polarized transports of helical Dirac electrons through spin-polarized scanning tunneling microscopy (STM). It is found that different from conventional magnetic materials, the tunneling conductance through the TI surface acquires an extra component determined by the in-plane spin texture, exclusively associated with spin momentum locking. Importantly, this extra conductance unconventionally depends on the spatial azimuthal angle of the magnetized STM tip, which is never carried out in previous STM theory. By magnetically doping to break the symmetry of rotation and time reversal of the TI surface, we find that the measurement of the spatial resolved conductance can reconstruct the helical structure of spin texture. Furthermore, one can extract the SML angle if the in-plane magnetization is induced purely by the spin-orbit coupling of surface Dirac elections. Our theory offers an alternative way, rather than using angle resolved photoemission spectroscopy, to electrical identify the helical spin texture on TI surfaces.


title: Frobenius elements in Galois representations with SL_n image

abstract: Suppose we have a elliptic curve over a number field whose mod $l$ representation has image isomorphic to $SL_2(\mathbb{F}_l)$. We present a method to determine Frobenius elements of the associated Galois group which incorporates the linear structure available. We are able to distinguish $SL_n(\mathbb{F}_l)$-conjugacy from $GL_n(\mathbb{F}_l)$-conjugacy; this can be thought of as being analogous to a result which distinguishes $A_n$-conjugacy from $S_n$-conjugacy when the Galois group is considered as a permutation group.


title: A numerical method for efficient 3D inversions using Richards equation

abstract: Fluid flow in the vadose zone is governed by Richards equation; it is parameterized by hydraulic conductivity, which is a nonlinear function of pressure head. Investigations in the vadose zone typically require characterizing distributed hydraulic properties. Saturation or pressure head data may include direct measurements made from boreholes. Increasingly, proxy measurements from hydrogeophysics are being used to supply more spatially and temporally dense data sets. Inferring hydraulic parameters from such datasets requires the ability to efficiently solve and deterministically optimize the nonlinear time domain Richards equation. This is particularly important as the number of parameters to be estimated in a vadose zone inversion continues to grow. In this paper, we describe an efficient technique to invert for distributed hydraulic properties in 1D, 2D, and 3D. Our algorithm does not store the Jacobian, but rather computes the product with a vector, which allows the size of the inversion problem to become much larger than methods such as finite difference or automatic differentiation; which are constrained by computation and memory, respectively. We show our algorithm in practice for a 3D inversion of saturated hydraulic conductivity using saturation data through time. The code to run our examples is open source and the algorithm presented allows this inversion process to run on modest computational resources.


title: Using the reduced proper motions of Tycho-2 stars with B-V from 0.75 to 1.25: Monte Carlo simulations

abstract: The stellar composition of the Tycho-2 Catalogue in the range $0.75<B-V<1.25$ has been reproduced through Monte Carlo simulations. For young and old stars of the red giant clump (RGC), the red giant branch, subgiants, red dwarfs, and thick-disk giants, we have specified the distributions in coordinates, velocities, $B-V$, and $M_V$ as a function of $B-V$ and calculated their reduced proper motions, photometric distances from the $(B-V)-M_V$ calibration, and photoastrometric distances from the reduced proper motion -- $M_V$ calibration. Our simulations have shown the following: (1) a sample of thin-disk giants within 500 pc with an admixture of less than 10\% of other stars can be produced; (2) a sample of dwarfs within 100 pc almost without any admixture of other stars can be produced; (3) the Local Spiral Arm affects the RGC composition of any magnitude-limited catalog in favor of giants younger than 2 Gyr; (4) the samples produced using reduced proper motions can be used for kinematic studies, provided that the biases of the quantities being determined are simulated and taken into account; (5) the photometric distances correlate with the photoastrometric ones because of the correlation between the proper motion and magnitude; (6) the photometric distances are closer to the true ones for the red giant branch and red dwarfs as the categories of stars with a clear $(B-V)-M_V$ relation, while the photoastrometric distances are closer to the true ones for the RGC, subgiants, and thick-disk giants; (7) the calculated distances differ systematically from the true ones, but they can be used to analyze the three-dimensional distribution of stars. Our simulations confirm the validity of our previous selection of RGC stars from Tycho-2.


title: Local List Recovery of High-rate Tensor Codes and Applications

abstract: In this work, we give the first construction of high-rate locally list-recoverable codes. List-recovery has been an extremely useful building block in coding theory, and our motivation is to use these codes as such a building block. In particular, our construction gives the first capacity-achieving locally list-decodable codes (over constant-sized alphabet); the first capacity achieving globally list-decodable codes with nearly linear time list decoding algorithm (once more, over constant-sized alphabet); and a randomized construction of binary codes on the Gilbert-Varshamov bound that can be uniquely decoded in near-linear-time, with higher rate than was previously known. Our techniques are actually quite simple, and are inspired by an approach of Gopalan, Guruswami, and Raghavendra (Siam Journal on Computing, 2011) for list-decoding tensor codes. We show that tensor powers of (globally) list-recoverable codes are "approximately" locally list-recoverable, and that the "approximately" modifier may be removed by pre-encoding the message with a suitable locally decodable code. Instantiating this with known constructions of high-rate globally list-recoverable codes and high-rate locally decodable codes finishes the construction.


title: Dirac magnons in honeycomb ferromagnets

abstract: The discovery of the Dirac electron dispersion in graphene led to the question of the Dirac cone stability with respect to interactions. Coulomb interactions between electrons were shown to induce a logarithmic renormalization of the Dirac dispersion. With a rapid expansion of the list of compounds and quasiparticle bands with linear band touching, the concept of bosonic Dirac materials has emerged. We consider a specific case of ferromagnets consisting of the Van der Waals-bonded stacks of honeycomb layers, e.g chromium trihalides CrX3 (X = F, Cl, Br and I), that display two spin wave modes with energy dispersion similar to that for the electrons in graphene. At the single particle level, these materials resemble their fermionic counterparts. However, how different particle statistics and interactions affect the stability of Dirac cones has yet to be determined. To address the role of interacting Dirac magnons, we expand the theory of ferromagnets beyond the standard Dyson theory to a case of non-Bravais honeycomb layers. We demonstrate that magnon-magnon interactions lead to a significant momentum-dependent renormalization of the bare band structure in addition to strongly momentum-dependent magnon lifetimes. We show that our theory qualitatively accounts for hitherto unexplained anomalies in a nearly half century old magnetic neutron scattering data for CrBr3. We also show that honeycomb ferromagnets display dispersive surface and edge states, unlike their electronic analogs.


title: Disaggregation of Small, Cohesive Rubble Pile Asteroids due to YORP

abstract: The implication of small amounts of cohesion within relatively small rubble pile asteroids is investigated with regard to their evolution under the persistent presence of the YORP effect. We find that below a characteristic size, which is a function of cohesive strength, density and other properties, rubble pile asteroids can enter a "disaggregation phase" in which they are subject to repeated fissions after which the formation of a stabilizing binary system is not possible. Once this threshold is passed rubble pile asteroids may be disaggregated into their constituent components within a finite time span. These constituent components will have their own spin limits -- albeit potentially at a much higher spin rate due to the greater strength of a monolithic body. The implications of this prediction are discussed and include modification of size distributions, prevalence of monolithic bodies among meteoroids and the lifetime of small rubble pile bodies in the solar system. The theory is then used to place constraints on the strength of binary asteroids characterized as a function of their type.


title: Extensions of partial cyclic orders, Euler numbers and multidimensional boustrophedons

abstract: We enumerate total cyclic orders on $\left\{1,\ldots,n\right\}$ where we prescribe the relative cyclic order of consecutive triples $(i,{i+1},{i+2})$, these integers being taken modulo $n$. In some cases, the problem reduces to the enumeration of descent classes of permutations, which is done via the boustrophedon construction. In other cases, we solve the question by introducing multidimensional versions of the boustrophedon. In particular we find new interpretations for the Euler up/down numbers and the Entringer numbers.


title: Gerbe patching and a Mayer-Vietoris sequence over arithmetic curves

abstract: We discuss patching techniques and local-global principles for gerbes over arithmetic curves. Our patching setup is that introduced by Harbater, Hartmann and Krashen. Our results for gerbes can be viewed as a 2-categorical analogue on their results for torsors. Along the way, we also discuss bitorsor patching and local-global principles for bitorsors. As an application of these results, we obtain a Mayer-Vietoris sequence with respect to patches for non-abelian hypercohomology sets with values in the crossed module G->Aut(G) for G a linear algebraic group. Using local-global principles for gerbes, we also prove local-global principles for points on homogeneous spaces under linear algebraic groups H that are special (e.g. SL_n and Sp_2n) for certain kind of stabilizers.


title: Quantifying statistical uncertainty in the attribution of human influence on severe weather

abstract: Event attribution in the context of climate change seeks to understand the role of anthropogenic greenhouse gas emissions on extreme weather events, either specific events or classes of events. A common approach to event attribution uses climate model output under factual (real-world) and counterfactual (world that might have been without anthropogenic greenhouse gas emissions) scenarios to estimate the probabilities of the event of interest under the two scenarios. Event attribution is then quantified by the ratio of the two probabilities. While this approach has been applied many times in the last 15 years, the statistical techniques used to estimate the risk ratio based on climate model ensembles have not drawn on the full set of methods available in the statistical literature and have in some cases used and interpreted the bootstrap method in non-standard ways. We present a precise frequentist statistical framework for quantifying the effect of sampling uncertainty on estimation of the risk ratio, propose the use of statistical methods that are new to event attribution, and evaluate a variety of methods using statistical simulations. We conclude that existing statistical methods not yet in use for event attribution have several advantages over the widely-used bootstrap, including better statistical performance in repeated samples and robustness to small estimated probabilities. Software for using the methods is available through the climextRemes package available for R or Python. While we focus on frequentist statistical methods, Bayesian methods are likely to be particularly useful when considering sources of uncertainty beyond sampling uncertainty.


title: Evidence for Possible Clouds in Pluto's Present Day Atmosphere

abstract: Several trace constituents can reach saturation vapor pressure in Pluto's present day atmosphere. As such, we describe a search for discrete could features in Pluto's atmosphere using New Horizons data obtained on 14-15 July 2015, during the Pluto flyby closest approach. We report that Pluto's present day atmosphere is at least largely (>99% by surface area) free of discrete clouds. We also report a handful of features that may plausibly be clouds, all of which were detected obliquely and at high phase observing geometry. No cloud candidates were identified away from the terminators or in low phase (backscattering geometry) images.


title: Connectivity of the k-out Hypercube

abstract: In this paper we study the connectivity properties of the random subgraph of the $n$-cube generated by the $k$-out model and denoted by $Q^n(k)$. Let $k$ be an integer, $1\leq k \leq n-1$. We let $Q^n(k)$ be the graph that is generated by independently including for every $v\in V(Q^n)$ a set of $k$ distinct edges chosen uniformly from all the $\binom{n}{k}$ sets of distinct edges that are incident to $v$. We study connectivity the properties of $Q^n(k)$ as $k$ varies. We show that w.h.p. $Q^n(1)$ does not contain a giant component i.e. a component that spans $\Omega(2^n)$ vertices. Thereafter we show that such a component emerges when $k=2$. In addition the giant component spans all but $o(2^n)$ vertices and hence it is unique. We then establish the connectivity threshold found at $k_0= \log_2 n -2\log_2\log_2 n $. The threshold is sharp in the sense that $Q^n(\lfloor k_0\rfloor )$ is disconnected but $Q^n(\lceil k_0\rceil+1)$ is connected w.h.p. Furthermore we show that w.h.p. $Q^n(k)$ is $k$-connected for every $k\geq \lceil k_0\rceil+1$.


title: Insights into neutrino decoupling gleaned from considerations of the role of electron mass

abstract: We present calculations showing how electron rest mass influences entropy flow, neutrino decoupling, and Big Bang Nucleosynthesis (BBN) in the early universe. To elucidate this physics and especially the sensitivity of BBN and related epochs to electron mass, we consider a parameter space of rest mass values larger and smaller than the accepted vacuum value. Electromagnetic equilibrium, coupled with the high entropy of the early universe, guarantees that significant numbers of electron-positron pairs are present, and dominate over the number of ionization electrons to temperatures much lower than the vacuum electron rest mass. Scattering between the electrons-positrons and the neutrinos largely controls the flow of entropy from the plasma into the neutrino seas. Moreover, the number density of electron-positron-pair targets can be exponentially sensitive to the effective in-medium electron mass. This entropy flow influences the phasing of scale factor and temperature, the charged current weak-interaction-determined neutron-to-proton ratio, and the spectral distortions in the relic neutrino energy spectra. Our calculations show the sensitivity of the physics of this epoch to three separate effects: finite electron mass, finite-temperature quantum electrodynamic (QED) effects on the plasma equation of state, and Boltzmann neutrino energy transport. The ratio of neutrino to plasma component energy scales manifests in Cosmic Microwave Background (CMB) observables, namely the baryon density and the radiation energy density, along with the primordial helium and deuterium abundances. Our results demonstrate how the treatment of in-medium electron mass (i.e., QED effects) could translate into an important source of uncertainty in extracting neutrino and beyond-standard-model physics limits from future high-precision CMB data.


title: Getting around the Halting Problem

abstract: There are numbers k and s and a URM program A(n,m) satisfying the following conditions. 1. If A(n,m) halts, then Cn(m) diverges. 2. For all n, C_k(n) = A(n,n) and C_s(n) = C_k(s). 3. A(k,s) halts and for all n, A(s,n) diverges. Here C_n(_) is a program with index n in some exhaustive enumeration of all possible programs. This has implications for solving the liar paradox and for generalization of G\"odel incompleteness theorem to formal systems other than PA.


title: Six indications of radical new physics in supernovae Ia

abstract: After more than forty years since the basic standard model for supernovae Ia was proposed many astronomers are still hopeful that this phenomenon will ultimately be understood in terms of Newtonian gravity plus nuclear and particle physics as they existed in the 1930's. In spite of this fact there are at least six nagging puzzles in supernova physics that suggest some radical new physics input may be necessary. "Radical" in this context means a physics idea that did not exist in the 1930's and that is still not experimentally confirmed in 2017.


title: On Space-Time Fractional Heat Type Non-Homogeneous Time-Fractional Poisson Equation

abstract: Consider the following space-time fractional heat equation with Riemann-Liouville derivative of non-homogeneous time-fractional Poisson process \begin{eqnarray*} \partial^\beta_t u(x,t) =-\kappa(-\Delta)^{\alpha/2} u(x,t) + I_t^{1-\beta}[\sigma(u)D_t^\vartheta N^\nu_\lambda(t)], \,\, t\geq 0, \,x \in \mathbb{R}^d, \end{eqnarray*} where $\kappa>0, \,\,\beta,\,\vartheta\in(0,1), \,\,\nu\in(0,1],\,\alpha\in(0,2].$ The operator $D_t^\vartheta N^\nu_\lambda(t) = \frac{\rm d}{\mathrm{d} t} I_t^{1-\vartheta} N_\lambda^\nu(t) = \frac{\rm d}{\mathrm{d} t} \mathcal{N}_\lambda^{1-\vartheta,\nu}(t)$ with $\mathcal{N}_\lambda^{1-\vartheta,\nu}(t)$ the Riemann-Liouville non-homogeneous fractional integral process, $\partial^\beta_t$ is the Caputo fractional derivative, $-(-\Delta)^{\alpha/2}$ is the generator of an isotropic stable process, $I^\beta_t$ is the fractional integral operator, and $\sigma : \mathbb{R} \rightarrow \mathbb{R}$ is Lipschitz continuous. The above time fractional stochastic heat type equations may be used to model sequence of catastrophic events with thermal memory. The mean and variance for the process $\frac{\rm d}{\mathrm{d} t}\mathcal{N}^{1-\vartheta,\nu}_\lambda(t)$ for some specific rate functions were computed. Consequently, the growth moment bounds for the class of heat equation perturbed with the non-homogeneous fractional time Poisson process were given and we show that the solution grows exponentially for some small time interval $t\in [t_0,T], \,\,T<\infty$ and $t_0>1$; that is, the result establishes that the energy of the solution grows atleast as $ c_4(t+t_0)^{(\vartheta-a\nu)}\exp(c_5 t)$ and at most as $c_1 t^{(\vartheta- a\nu)}\exp(c_3 t)$ for different conditions on the initial data, where $c_1,\,c_3,\,c_4$ and $c_5$ are some positive constants depending on $T$. Existence and uniqueness result for the mild solution to the equation was given under linear growth condition on $\sigma$.


title: Carleman estimates for the parabolic transmission problem and H\"older propagation of smallness across an interface

abstract: In this paper we prove a H\"older propagation of smallness for solutions to second order parabolic equations whose general anisotropic leading coefficient has a jump at an interface. We assume that the leading coefficient is Lipschitz continuous with respect to the parabolic distance on both sides of the interface. The main effort consists in proving a local Carleman estimate for this parabolic operator.


title: Non-Equilibrium Processes in the Solar Corona, Transition Region, Flares, and Solar Wind \textit{(Invited Review)}

abstract: We review the presence and signatures of the non-equilibrium processes, both non-Maxwellian distributions and non-equilibrium ionization, in the solar transition region, corona, solar wind, and flares. Basic properties of the non-Maxwellian distributions are described together with their influence on the heat flux as well as on the rates of individual collisional processes and the resulting optically thin synthetic spectra. Constraints on the presence of high-energy electrons from observations are reviewed, including positive detection of non-Maxwellian distributions in the solar corona, transition region, flares, and wind. Occurrence of non-equilibrium ionization is reviewed as well, especially in connection to hydrodynamic and generalized collisional-radiative modelling. Predicted spectroscopic signatures of non-equilibrium ionization depending on the assumed plasma conditions are summarized. Finally, we discuss the future remote-sensing instrumentation that can be used for detection of these non-equilibrium phenomena in various spectral ranges.


title: Adversarial Network Bottleneck Features for Noise Robust Speaker Verification

abstract: In this paper, we propose a noise robust bottleneck feature representation which is generated by an adversarial network (AN). The AN includes two cascade connected networks, an encoding network (EN) and a discriminative network (DN). Mel-frequency cepstral coefficients (MFCCs) of clean and noisy speech are used as input to the EN and the output of the EN is used as the noise robust feature. The EN and DN are trained in turn, namely, when training the DN, noise types are selected as the training labels and when training the EN, all labels are set as the same, i.e., the clean speech label, which aims to make the AN features invariant to noise and thus achieve noise robustness. We evaluate the performance of the proposed feature on a Gaussian Mixture Model-Universal Background Model based speaker verification system, and make comparison to MFCC features of speech enhanced by short-time spectral amplitude minimum mean square error (STSA-MMSE) and deep neural network-based speech enhancement (DNN-SE) methods. Experimental results on the RSR2015 database show that the proposed AN bottleneck feature (AN-BN) dramatically outperforms the STSA-MMSE and DNN-SE based MFCCs for different noise types and signal-to-noise ratios. Furthermore, the AN-BN feature is able to improve the speaker verification performance under the clean condition.


title: Lyapunov exponents for the random product of two shears

abstract: We give lower and upper bounds on both the Lyapunov exponent and generalised Lyapunov exponents for the random product of positive and negative shear matrices. These types of random products arise in applications such as fluid stirring devices. The bounds, obtained by considering invariant cones in tangent space, give excellent accuracy compared to standard and general bounds, and are increasingly accurate with increasing shear. Bounds on generalised exponents are useful for testing numerical methods, since these exponents are difficult to compute in practice.


title: Inelastic e+Mg collision data and its impact on modelling stellar and supernova spectra

abstract: Results of calculations for inelastic e+Mg effective collision strengths for the lowest 25 physical states of Mg I (up to 3s6p 1P), and thus 300 transitions, from the convergent close-coupling (CCC) and the B-spline R-matrix (BSR) methods are presented. At temperatures of interest, ~5000 K, the results of the two calculations differ on average by only 4%, with a scatter of 27%. As the methods are independent, this suggests that the calculations provide datasets for e+Mg collisions accurate to this level. Comparison with the commonly used dataset compiled by Mauas et al. (1988), covering 25 transitions among 12 states, suggests the Mauas et al. data are on average ~57% too low, and with a very large scatter of a factor of ~6.5. In particular the collision strength for the transition corresponding to the Mg I intercombination line at 457 nm is significantly underestimated by Mauas et al., which has consequences for models that employ this dataset. In giant stars the new data leads to a stronger line compared to previous non-LTE calculations, and thus a reduction in the non-LTE abundance correction by ~0.1 dex (~25%). A non-LTE calculation in a supernova ejecta model shows this line becomes significantly stronger, by a factor of around two, alleviating the discrepancy where the 457 nm line in typical models with Mg/O ratios close to solar tended to be too weak compared to observations.


title: A Prototype Knockoff Filter for Group Selection with FDR Control

abstract: In many applications, we need to study a linear regression model that consists of a response variable and a large number of potential explanatory variables and determine which variables are truly associated with the response. In 2015, Barber and Candes introduced a new variable selection procedure called the knockoff filter to control the false discovery rate (FDR) and proved that this method achieves exact FDR control. In this paper, we propose a prototype knockoff filter for group selection by extending the Reid-Tibshirani prototype method. Our prototype knockoff filter improves the computational efficiency and statistical power of the Reid-Tibshirani prototype method when it is applied for group selection. In some cases when the group features are spanned by one or a few hidden factors, we demonstrate that the PCA prototype knockoff filter outperforms the Dai-Barber group knockoff filter. We present several numerical experiments to compare our prototype knockoff filter with the Reid-Tibshirani prototype method and the group knockoff filter. We have also conducted some analysis of the knockoff filter. Our analysis reveals that some knockoff path method statistics, including the Lasso path statistic, may lead to loss of power for certain design matrices and a specially designed response even if their signal strengths are still relatively strong.


title: Characterizing fully principal congruence representable distributive lattices

abstract: Motivated by a recent paper of G. Gr\"atzer, a finite distributive lattice $D$ is said to be fully principal congruence representable if for every subset $Q$ of $D$ containing $0$, $1$, and the set $J(D)$ of nonzero join-irreducible elements of $D$, there exists a finite lattice $L$ and an isomorphism from the congruence lattice of $L$ onto $D$ such that $Q$ corresponds to the set of principal congruences of $L$ under this isomorphism. Based on earlier results of G. Gr\"atzer, H. Lakser, and the present author, we prove that a finite distributive lattice $D$ is fully principal congruence representable if and only if it is planar and it has at most one join-reducible coatom. Furthermore, even the automorphism group of $L$ can arbitrarily be stipulated in this case. Also, we generalize a recent result of G. Gr\"atzer on principal congruence representable subsets of a distributive lattice whose top element is join-irreducible by proving that the automorphism group of the lattice we construct can be arbitrary.


title: Gaugid inflation

abstract: The spectrum of primordial gravitational waves is one of the most robust inflationary observables, often thought of as a direct probe of the energy scale of inflation. We present a simple model, where the dynamics controlling this observable is very different than in the standard paradigm of inflation. The model is based on a peculiar finite density phase---the magnetic gaugid---which stems from a highly non-linear effective theory of a triplet of abelian gauge fields. The gaugid extends the notion of homogeneous isotropic solid, in that its spectrum of fluctuations includes helicity-2 phonons. We show how, upon implementing the gaugid to drive inflation, the helicity-2 phonon mixes with the graviton, significantly affecting the size of the primordial tensor spectrum. The rest of the features of the theory, in particular the vector and scalar perturbations, closely resemble those of solid inflation.


title: Global continuation of monotone waves for a unimodal bistable reaction-diffusion equation with delay

abstract: We study the existence of monotone wavefronts for a general family of bistable reaction-diffusion equations with delayed reaction term $g$. Differently from previous works, we do not assume the monotonicity of $g(u,v)$ with respect to the delayed variable $v$ that does not allow to apply the comparison techniques. Thus our proof is based on a variant of the Hale-Lin functional-analytic approach to heteroclinic solutions of functional differential equations where Lyapunov-Schmidt reduction is done in appropriate weighted spaces of $C^2$-smooth functions. This method requires a detailed analysis of associated linear differential Fredholm operators and their formal adjoints. For two different types of $v-$unimodal functions $g(u,v)$, we prove the existence of a maximal continuous family of bistable monotone wavefronts.. Depending on the type of unimodality (equivalently, on the sign of the wave speed), two different scenarios can be observed for the bistable waves: 1) independently on the size of delay, each bistable wavefront is monotone; 2) wavefronts are monotone for moderate values of delays and can oscillate for large delays.


title: Beating plasmonic losses with an intrinsic channel of gain: the cases with Ag and Al

abstract: An elementary approach is employed to show that genuine surface effects could destabilize surface plasma waves (SPWs) supported on the interface between a metal and a dielectric (usually the vacuum) and give rise to an intrinsic channel of gain for these waves. A comprehensive SPW theory is presented taking into account both the inter-band transition effects and the dielectric effects. Experimental consequences, especially in regard to the possibility of overcompensating for the energy losses suffered by SPWs, are exemplified for two common plasmonic materials: silver (Ag) and aluminum (Al). In both metals, the intrinsic channel of gain is shown having substantially reduced but insufficient to overcompensate for the losses, for different reasons. In Ag, the inter-band transition effects significantly weaken the intrinsic gain channel and make it unable to overcompensate for the losses, while in Al it is because the loss rate is too big. Nevertheless, we find it possible to enhance the intrinsic gain rate by replacing the vacuum with a moderate dielectric so that the losses can be overcompensated in Ag. This prediction is ready for experimental exploitation.


title: The peculiar (monic) polynomials, the zeros of which equal their coefficients

abstract: We evaluate the number of monic polynomials (of arbitrary degree $N$) the zeros of which equal their coefficients when these are allowed to take arbitrary complex values. In the following, we call polynomials with this property {\em peculiar\/} polynomials. We further show that the problem of determining the peculiar polynomials of degree $N$ simplifies when any of the coefficients is either 0 or 1. We proceed to estimate the numbers of peculiar polynomials of degree $N$ having one coefficient zero, or one coefficient equal to one, or neither.


title: Nucleon Transverse Momentum-dependent Parton Distributions in Lattice QCD: Renormalization Patterns and Discretization Effects

abstract: Lattice QCD calculations of transverse momentum-dependent parton distribution functions (TMDs) in nucleons are presented, based on the evaluation of nucleon matrix elements of quark bilocal operators with a staple-shaped gauge connection. Both time-reversal odd effects, namely, the generalized Sivers and Boer-Mulders transverse momentum shifts, as well as time-reversal even effects, namely, the generalized transversity and one of the generalized worm-gear shifts are studied. Results are obtained on two different $n_f = 2+1$ flavor ensembles with approximately matching pion masses but very different discretization schemes: domain-wall fermions (DWF) with lattice spacing $a=0.084$ fm and pion mass 297 MeV, and Wilson-clover fermions with $a=0.114$ fm and pion mass 317 MeV. Comparison of the results on the two ensembles yields insight into the length scales at which lattice discretization errors are small, and into the extent to which the renormalization pattern obeyed by the continuum QCD TMD operator continues to apply in the lattice formulation. For the studied TMD observables, the results are found to be consistent between the two ensembles at sufficiently large separation of the quark fields within the operator, whereas deviations are observed in the local limit and in the case of a straight link gauge connection, which is relevant to the studies of parton distribution functions. Furthermore, the lattice estimates of the generalized Sivers shift obtained here are confronted with, and are seen to tend towards, a phenomenological estimate extracted from experimental data.


title: Scenario and Sensitivity Analysis for Flooding Vulnerability using Genetic Algorithms

abstract: We try to answer the question: "can we 'modify' our neighborhoods to make them less vulnerable to flooding?" We minimize flooding vulnerability for a city in the central plain of Luzon, by modeling the city as a biological organism with 'traits', and try to 'breed' a 'champion' city (with a low flooding vulnerability) via a genetic algorithm. The result is a description of the traits the barangays (neighborhoods) should have (the 'design' of the city). As far as we can tell, this kind of modeling has not been attempted before. The different components of flooding vulnerability were investigated, and each was given a weight, which allows us to express vulnerability as a weighted sum; this serves as the fitness function for the genetic algorithm. We also allowed non-linear interactions among related but independent components, viz, poverty and mortality rate, and literacy and radio/TV penetration. The two-table system we used to prioritize the components of vulnerability is prone to subjectivity, a common problem in analyses of vulnerability. Thus, a sensitivity analysis was done, which gave a design with a 24% decrease in vulnerability alongside a 14% percent decrease in cost, a significant improvement over this initial scenario analysis, where the proposed design had a 12% decrease in vulnerability with a one percent increase in cost.


title: Search for pair production of vector-like T and B quarks in single-lepton final states using boosted jet substructure in proton-proton collisions at sqrt(s) = 13 TeV

abstract: A search for pair production of massive vector-like T and B quarks in proton-proton collisions at sqrt(s) = 13 TeV is presented. The data set was collected in 2015 by the CMS experiment at the LHC and corresponds to an integrated luminosity of up to 2.6 inverse femtobarns. The T and B quarks are assumed to decay through three possible channels into a heavy boson (either a W, Z or Higgs boson) and a third generation quark. This search is performed in final states with one charged lepton and several jets, exploiting techniques to identify W or Higgs bosons decaying hadronically with large transverse momenta. No excess over the predicted standard model background is observed. Upper limits at 95% confidence level on the T quark pair production cross section are set that exclude T quark masses below 860 GeV in the singlet, and below 830 GeV in the doublet branching fraction scenario. For other branching fraction combinations with B(tH) + B(bW) >= 0.4, lower limits on the T quark range from 790 to 940 GeV. Limits are also set on pair production of singlet vector-like B quarks, which can be excluded up to a mass of 730 GeV. These limits are among the most stringent to date for vector-like T quarks. The techniques showcased here for understanding highly-boosted final states are important as the sensitivity to new particles is extended to higher masses.


title: Wilcoxon Rank-Based Tests for Clustered Data with R Package clusrank

abstract: Wilcoxon Rank-based tests are distribution-free alternatives to the popular two-sample and paired t-tests. For independent data, they are available in several R packages such as stats and coin. For clustered data, in spite of the recent methodological developments, there did not exist an R package that makes them available at one place. We present a package clusrank where the latest developments are implemented and wrapped under a unified user-friendly interface. With different methods dispatched based on the inputs, this package offers great flexibility in rank-based tests for various clustered data. Exact tests based on permutations are also provided for some methods. Details of the major schools of different methods are briefly reviewed. Usages of the package clusrank are illustrated with simulated data as well as a real dataset from an ophthalmological study. The package also enables convenient comparison between selected methods under settings that have not been studied before and the results are discussed.


title: Percolation properties of the classic Sierpinski carpet and sponge

abstract: Iterative construction of a Sierpinski carpet or sponge is shown to be a critical phenomenon analogous to uncorrelated percolation. Critical exponents are derived or calculated (by random walks over the carpet or sponge at infinite iteration) that are related by equations identical to those obtained from percolation theory. Finite-size scaling then gives accurate values for the scalar transport properties (e.g., effective conductivity) of the carpet or sponge at any stage of iteration.

categories: cond-mat.stat-mech cond-mat.mtrl-sci physics.app-ph physics.geo-ph


title: Analysis of order book flows using a nonparametric estimation of the branching ratio matrix

abstract: We introduce a new non parametric method that allows for a direct, fast and efficient estimation of the matrix of kernel norms of a multivariate Hawkes process, also called branching ratio matrix. We demonstrate the capabilities of this method by applying it to high-frequency order book data from the EUREX exchange. We show that it is able to uncover (or recover) various relationships between all the first level order book events associated with some asset when mapped to a 12-dimensional process. We then scale up the model so as to account for events on two assets simultaneously and we discuss the joint high-frequency dynamics.


title: Conformal k-NN Anomaly Detector for Univariate Data Streams

abstract: Anomalies in time-series data give essential and often actionable information in many applications. In this paper we consider a model-free anomaly detection method for univariate time-series which adapts to non-stationarity in the data stream and provides probabilistic abnormality scores based on the conformal prediction paradigm. Despite its simplicity the method performs on par with complex prediction-based models on the Numenta Anomaly Detection benchmark and the Yahoo! S5 dataset.


title: The Cosmic V-Web

abstract: The network of filaments with embedded clusters surrounding voids seen in maps derived from redshift surveys and reproduced in simulations has been referred to as the cosmic web. A complementary description is provided by considering the shear in the velocity field of galaxies. The eigenvalues of the shear provide information on whether a region is collapsing in three dimensions, the condition for a knot, expanding in three-dimensions, the condition for a void, or in the intermediate condition of a filament or sheet. The structures that are quantitatively defined by the eigenvalues can be approximated by iso-contours that provide a visual representation of the cosmic velocity (V) web. The current application is based on radial peculiar velocities from the Cosmicflows-2 collection of distances. The three-dimensional velocity field is constructed using the Wiener filter methodology in the linear approximation. Eigenvalues of the velocity shear are calculated at each point on a grid. Here, knots and filaments are visualized across a local domain of diameter ~0.1c.


title: Advances on the Conjecture of Erd\H{o}s-S\'os for spiders

abstract: - A hamiltonian graph $G$ verifying $e(G)>n(k-1)/2$ %with a vertex of degree greater or equal than $k$ contains any $k$-spider. - If $G$ is a graph with average degree $\bar{d} > k-1$, then every spider of size $k$ is contained in $G$ for $k\le 10$. - A $2$-connected graph with average degree $\bar{d} > \ell_2+\ell_3+\ell_4$ contains every spider of $4$ legs $S_{1,\ell_2,\ell_3,\ell_4}$. We claim also that the condition of $2$-connection is not needed, but the proof is very long and it is not included in this document.


title: Inductive Conformal Martingales for Change-Point Detection

abstract: We consider the problem of quickest change-point detection in data streams. Classical change-point detection procedures, such as CUSUM, Shiryaev-Roberts and Posterior Probability statistics, are optimal only if the change-point model is known, which is an unrealistic assumption in typical applied problems. Instead we propose a new method for change-point detection based on Inductive Conformal Martingales, which requires only the independence and identical distribution of observations. We compare the proposed approach to standard methods, as well as to change-point detection oracles, which model a typical practical situation when we have only imprecise (albeit parametric) information about pre- and post-change data distributions. Results of comparison provide evidence that change-point detection based on Inductive Conformal Martingales is an efficient tool, capable to work under quite general conditions unlike traditional approaches.


title: Learning Large-Scale Topological Maps Using Sum-Product Networks

abstract: In order to perform complex actions in human environments, an autonomous robot needs the ability to understand the environment, that is, to gather and maintain spatial knowledge. Topological map is commonly used for representing large scale, global maps such as floor plans. Although much work has been done in topological map extraction, we have found little previous work on the problem of learning the topological map using a probabilistic model. Learning a topological map means learning the structure of the large-scale space and dependency between places, for example, how the evidence of a group of places influence the attributes of other places. This is an important step towards planning complex actions in the environment. In this thesis, we consider the problem of using probabilistic deep learning model to learn the topological map, which is essentially a sparse undirected graph where nodes represent places annotated with their semantic attributes (e.g. place category). We propose to use a novel probabilistic deep model, Sum-Product Networks (SPNs), due to their unique properties. We present two methods for learning topological maps using SPNs: the place grid method and the template-based method. We contribute an algorithm that builds SPNs for graphs using template models. Our experiments evaluate the ability of our models to enable robots to infer semantic attributes and detect maps with novel semantic attribute arrangements. Our results demonstrate their understanding of the topological map structure and spatial relations between places.


title: Derived Hecke algebra for weight one forms

abstract: We study the action of the derived Hecke algebra on the space of weight one forms. By analogy with the topological case, we formulate a conjecture relating this to a certain Stark unit. We verify the truth of the conjecture numerically, for the weight one forms of level $23$ and $31$, and many derived Hecke operators at primes less than $200$. Our computation depends in an essential way on Merel's evaluation of the pairing between the Shimura and cuspidal subgroups of $J_0(q)$.


title: Approximation of occupation time functionals

abstract: The strong $L^2$-approximation of occupation time functionals is studied with respect to discrete observations of a $d$-dimensional c\`adl\`ag process. Upper bounds on the error are obtained under weak assumptions, generalizing previous results in the literature considerably. The approach relies on regularity for the marginals of the process and applies also to non-Markovian processes, such as fractional Brownian motion. The results are used to approximate occupation times and local times. For Brownian motion, the upper bounds are shown to be sharp up to a log-factor.


title: Improved reversible and quantum circuits for Karatsuba-based integer multiplication

abstract: Integer arithmetic is the underpinning of many quantum algorithms, with applications ranging from Shor's algorithm over HHL for matrix inversion to Hamiltonian simulation algorithms. A basic objective is to keep the required resources to implement arithmetic as low as possible. This applies in particular to the number of qubits required in the implementation as for the foreseeable future this number is expected to be small. We present a reversible circuit for integer multiplication that is inspired by Karatsuba's recursive method. The main improvement over circuits that have been previously reported in the literature is an asymptotic reduction of the amount of space required from $O(n^{1.585})$ to $O(n^{1.427})$. This improvement is obtained in exchange for a small constant increase in the number of operations by a factor less than $2$ and a small asymptotic increase in depth for the parallel version. The asymptotic improvement are obtained from analyzing pebble games on complete ternary trees.


title: The formation of giant planets in wide orbits by photoevaporation-synchronised migration

abstract: The discovery of giant planets in wide orbits represents a major challenge for planet formation theory. In the standard core accretion paradigm planets are expected to form at radial distances $\lesssim 20$ au in order to form massive cores (with masses $\gtrsim 10~\textrm{M}_{\oplus}$) able to trigger the gaseous runaway growth before the dissipation of the disc. This has encouraged authors to find modifications of the standard scenario as well as alternative theories like the formation of planets by gravitational instabilities in the disc to explain the existence of giant planets in wide orbits. However, there is not yet consensus on how these systems are formed. In this letter, we present a new natural mechanism for the formation of giant planets in wide orbits within the core accretion paradigm. If photoevaporation is considered, after a few Myr of viscous evolution a gap in the gaseous disc is opened. We found that, under particular circumstances planet migration becomes synchronised with the evolution of the gap, which results in an efficient outward planet migration. This mechanism is found to allow the formation of giant planets with masses $M_p\lesssim 1 M_{\rm Jup}$ in wide stable orbits as large as $\sim$130 au from the central star.


title: The contribution of kinetic helicity to turbulent magnetic diffusivity

abstract: Using numerical simulations of forced turbulence, it is shown that for magnetic Reynolds numbers larger than unity, i.e., beyond the regime of quasilinear theory, the turbulent magnetic diffusivity attains an additional negative contribution that is quadratic in the kinetic helicity. In particular, for large magnetic Reynolds numbers, the turbulent magnetic diffusivity without helicity is about twice the value with helicity. Such a contribution was not previously anticipated, but, as we discuss, it turns out to be important when accurate estimates of the turbulent magnetic diffusivity are needed.


title: Constants in Titchmarsh divisor problems for elliptic curves

abstract: Inspired by the analogy between the group of units $\mathbb{F}_p^{\times}$ of the finite field with $p$ elements and the group of points $E(\mathbb{F}_p)$ of an elliptic curve $E/\mathbb{F}_p$, E. Kowalski, A. Akbary & D. Ghioca, and T. Freiberg & P. Kurlberg investigated the asymptotic behaviour of elliptic curve sums analogous to the Titchmarsh divisor sum $\sum_{p \leq x} \tau(p + a) \sim C x$. In this paper, we present a comprehensive study of the constants $C(E)$ emerging in the asymptotic study of these elliptic curve divisor sums. Specifically, by analyzing the division fields of an elliptic curve $E/\mathbb{Q}$, we prove upper bounds for the constants $C(E)$ and, in the generic case of a Serre curve, we prove explicit closed formulae for $C(E)$ amenable to concrete computations. Moreover, we compute the moments of the constants $C(E)$ over two-parameter families of elliptic curves $E/\mathbb{Q}$. Our methods and results complement recent studies of average constants occurring in other conjectures about reductions of elliptic curves by addressing not only the average behaviour, but also the individual behaviour of these constants, and by providing explicit tools towards the computational verifications of the expected asymptotics.


title: Image-Based Prognostics Using Penalized Tensor Regression

abstract: This paper proposes a new methodology to predict and update the residual useful lifetime of a system using a sequence of degradation images. The methodology integrates tensor linear algebra with traditional location-scale regression widely used in reliability and prognosis. To address the high dimensionality challenge, the degradation image streams are first projected to a low-dimensional tensor subspace that is able to preserve their information. Next, the projected image tensors are regressed against time-to-failure via penalized location-scale tensor regression. The coefficient tensor is then decomposed using CANDECOMP/PARAFAC (CP) and Tucker decompositions, which enables parameter estimation in a high-dimensional setting. Two optimization algorithms with a global convergence property are developed for model estimation. The effectiveness of our models is validated using a simulated dataset and infrared degradation image streams from a rotating machinery.


title: PatternNet: A Benchmark Dataset for Performance Evaluation of Remote Sensing Image Retrieval

abstract: Remote sensing image retrieval(RSIR), which aims to efficiently retrieve data of interest from large collections of remote sensing data, is a fundamental task in remote sensing. Over the past several decades, there has been significant effort to extract powerful feature representations for this task since the retrieval performance depends on the representative strength of the features. Benchmark datasets are also critical for developing, evaluating, and comparing RSIR approaches. Current benchmark datasets are deficient in that 1) they were originally collected for land use/land cover classification and not image retrieval, 2) they are relatively small in terms of the number of classes as well the number of sample images per class, and 3) the retrieval performance has saturated. These limitations have severely restricted the development of novel feature representations for RSIR, particularly the recent deep-learning based features which require large amounts of training data. We therefore present in this paper, a new large-scale remote sensing dataset termed "PatternNet" that was collected specifically for RSIR. PatternNet was collected from high-resolution imagery and contains 38 classes with 800 images per class. We also provide a thorough review of RSIR approaches ranging from traditional handcrafted feature based methods to recent deep learning based ones. We evaluate over 35 methods to establish extensive baseline results for future RSIR research using the PatternNet benchmark.


title: First principles study of the structural phase stability and magnetic order in various structural phases of Mn$_2$FeGa

abstract: We investigate the structural and magnetic properties of Mn$_{2}$FeGa for different phases(cubic, hexagonal and tetragonal) reported experimentally using density functional theory. The relative structural stabilities, and the possible phase transformation mechanisms are discussed using results for total energy, electronic structure and elastic constants. We find that the phase transformation form hexagonal to ground state tetragonal structure would take place through a Heusler-like phase which has a pronounced electronic instability. The electronic structures, the elastic constants and the supplementary phonon dispersions indicate that the transition from the Heusler-like to the tetragonal phase is of pure Jahn-Teller origin. We also describe the ground state magentic structures in each phase by computations of the exchange interactions. For Heusler-like and tetragonal phases, the ferromagnetic exchange interactions associated with the Fe atoms balance the dominating antiferromagnetic interactions between the Mn atoms leading to collinear magnetic structures. In the hexagonal phase, the direction of atomic moment are completely in the planes with a collinear like structure, in stark contrast to the well known non-collinear magnetic structure in the hexagonal phase of Mn$_{3}$Ga, another material with similar structural properties. The overwhelmingly large exchange interactions of Fe with other magnetic atoms destroy the possibility of magnetic frustration in the hexagonal phase of Mn$_{2}$FeGa. This comprehensive study provides significant insights into the microscopic physics associated with the structural and magnetic orders in this compound.


title: Low temperature pressureless immediate sintering of novel nanostructured WC/Co/NiCrSiB-alloy cemented carbide

abstract: A novel nanostructured cemented carbide formed from WC-5%Co-20%BNi2 brazing alloy is described. During sintering, the BNi2 alloy is infiltrated into a green compact of WC-5%Co at 1050-1100 {\deg}C for 2-60 minutes. Perfect wetting behavior and a zero contact angle are achieved after only 40 s. Relative densities of 98.5% and 100% and microhardness values of above 1500HV1 and 1800HV1 are obtained after 2 and 30 minutes, respectively. A change in mean particle size of about 600 nm in the precursor to a bimodal distribution of 350-400 nm and 10-20 nm is explained by a solution/reprecipitation mechanism.


title: Tannakian duality for affine homogeneous spaces

abstract: Associated to any closed quantum subgroup $G\subset U_N^+$ and any index set $I\subset\{1,\ldots,N\}$ is a certain homogeneous space $X_{G,I}\subset S^{N-1}_{\mathbb C,+}$, called affine homogeneous space. We discuss here the abstract axiomatization of the algebraic manifolds $X\subset S^{N-1}_{\mathbb C,+}$ which can appear in this way, by using Tannakian duality methods.


title: RARD: The Related-Article Recommendation Dataset

abstract: Recommender-system datasets are used for recommender-system evaluations, training machine-learning algorithms, and exploring user behavior. While there are many datasets for recommender systems in the domains of movies, books, and music, there are rather few datasets from research-paper recommender systems. In this paper, we introduce RARD, the Related-Article Recommendation Dataset, from the digital library Sowiport and the recommendation-as-a-service provider Mr. DLib. The dataset contains information about 57.4 million recommendations that were displayed to the users of Sowiport. Information includes details on which recommendation approaches were used (e.g. content-based filtering, stereotype, most popular), what types of features were used in content based filtering (simple terms vs. keyphrases), where the features were extracted from (title or abstract), and the time when recommendations were delivered and clicked. In addition, the dataset contains an implicit item-item rating matrix that was created based on the recommendation click logs. RARD enables researchers to train machine learning algorithms for research-paper recommendations, perform offline evaluations, and do research on data from Mr. DLib's recommender system, without implementing a recommender system themselves. In the field of scientific recommender systems, our dataset is unique. To the best of our knowledge, there is no dataset with more (implicit) ratings available, and that many variations of recommendation algorithms. The dataset is available at http://data.mr-dlib.org, and published under the Creative Commons Attribution 3.0 Unported (CC-BY) license.


title: Some restrictions on weight enumerators of singly even self-dual codes II

abstract: In this note, we give some restrictions on the number of vectors of weight $d/2+1$ in the shadow of a singly even self-dual $[n,n/2,d]$ code. This eliminates some of the possible weight enumerators of singly even self-dual $[n,n/2,d]$ codes for $(n,d)=(62,12)$, $(72,14)$, $(82,16)$, $(90,16)$ and $(100,18)$.


title: Gravitational shockwaves on rotating black holes

abstract: We present an exact solution of Einstein's equation that describes the gravitational shockwave of a massless particle on the horizon of a Kerr-Newman black hole. The backreacted metric is of the generalized Kerr-Schild form and is Type II in the Petrov classification. We show that if the background frame is aligned with shear-free null geodesics, and if the background Ricci tensor satisfies a simple condition, then all nonlinearities in the perturbation will drop out of the curvature scalars. We make heavy use of the method of spin coefficients (the Newman-Penrose formalism) in its compacted form (the Geroch-Held-Penrose formalism).


title: Modeling Multi-Object Configurations via Medial/Skeletal Linking Structures

abstract: We introduce a method for modeling a configuration of objects in 2D or 3D images using a mathematical "skeletal linking structure" which will simultaneously capture the individual shape features of the objects and their positional information relative to one another. The objects may either have smooth boundaries and be disjoint from the others or share common portions of their boundaries with other objects in a piecewise smooth manner. These structures include a special class of "Blum medial linking structures," which are intrinsically associated to the configuration and build upon the Blum medial axes of the individual objects. We give a classification of the properties of Blum linking structures for generic configurations. The skeletal linking structures add increased flexibility for modeling configurations of objects by relaxing the Blum conditions and they extend in a minimal way the individual "skeletal structures" which have been previously used for modeling individual objects and capturing their geometric properties. This allows for the mathematical methods introduced for single objects to be significantly extended to the entire configuration of objects. These methods not only capture the internal shape structures of the individual objects but also the external structure of the neighboring regions of the objects.


title: Beam polarization effects on top-pair production at the ILC

abstract: Full one-loop electroweak-corrections for an $e^-e^+\rightarrow t \bar{t}$ process associated with sequential $t\rightarrow b \mu\nu_\mu$ decay are discussed. At the one-loop level, the spin-polarization effects of the initial electron and positron beams are included in the total and differential cross sections. A narrow-width approximation is used to treat the top-quark production and decay while including full spin correlations between them. We observed that the radiative corrections due to the weak interaction have a large polarization dependence on both the total and differential cross sections. Therefore, experimental observables that depend on angular distributions such as the forward-backward asymmetry of the top production angle must be treated carefully including radiative corrections. We also observed that the energy distribution of bottom quarks is majorly affected by the radiative corrections.


title: Arithmetic properties of polynomials

abstract: In this paper, first, we prove that the Diophantine system \[f(z)=f(x)+f(y)=f(u)-f(v)=f(p)f(q)\] has infinitely many integer solutions for $f(X)=X(X+a)$ with nonzero integers $a\equiv 0,1,4\pmod{5}$. Second, we show that the above Diophantine system has an integer parametric solution for $f(X)=X(X+a)$ with nonzero integers $a$, if there are integers $m,n,k$ such that \[\begin{cases} \begin{split} (n^2-m^2) (4mnk(k+a+1) + a(m^2+2mn-n^2)) &\equiv0\pmod{(m^2+n^2)^2},\\ (m^2+2mn-n^2) ((m^2-2mn-n^2)k(k+a+1) - 2amn) &\equiv0 \pmod{(m^2+n^2)^2}, \end{split} \end{cases}\] where $k\equiv0\pmod{4}$ when $a$ is even, and $k\equiv2\pmod{4}$ when $a$ is odd. Third, we get that the Diophantine system \[f(z)=f(x)+f(y)=f(u)-f(v)=f(p)f(q)=\frac{f(r)}{f(s)}\] has a five-parameter rational solution for $f(X)=X(X+a)$ with nonzero rational number $a$ and infinitely many nontrivial rational parametric solutions for $f(X)=X(X+a)(X+b)$ with nonzero integers $a,b$ and $a\neq b$. At last, we raise some related questions.


title: The role of fractional time-derivative operators on anomalous diffusion

abstract: The generalized diffusion equations with fractional order derivatives have shown be quite efficient to describe the diffusion in complex systems, with the advantage of producing exact expressions for the underlying diffusive properties. Recently, researchers have proposed different fractional-time operators (namely: the Caputo-Fabrizio and Atangana-Baleanu) which, differently from the well-known Riemann-Liouville operator, are defined by non-singular memory kernels. Here we proposed to use these new operators to generalize the usual diffusion equation. By analyzing the corresponding fractional diffusion equations within the continuous time random walk framework, we obtained waiting time distributions characterized by exponential, stretched exponential, and power-law functions, as well as a crossover between two behaviors. For the mean square displacement, we found crossovers between usual and confined diffusion, and between usual and sub-diffusion. We obtained the exact expressions for the probability distributions, where non-Gaussian and stationary distributions emerged. This former feature is remarkable because the fractional diffusion equation is solved without external forces and subjected to the free diffusion boundary conditions. We have further shown that these new fractional diffusion equations are related to diffusive processes with stochastic resetting, and to fractional diffusion equations with derivatives of distributed order. Thus, our results show that these new operators are a simple and efficient way for incorporating different structural aspects into the system, opening new possibilities for modeling and investigating anomalous diffusive processes.


title: The Number of Monodromy Representations of Abelian Varieties of Low $p$-Rank

abstract: Let $A_g$ be an abelian variety of dimension $g$ and $p$-rank $\lambda \leq 1$ over an algebraically closed field of characteristic $p>0$. We compute the number of homomorphisms from $\pi_1^{\text{\'et}}(A_g,a)$ to $GL_n(\mathbb F_q)$, where $q$ is any power of $p$. We show that for fixed $g$, $\lambda$, and $n$, the number of such representations is polynomial in $q$, and give an explicit formula for this polynomial. We show that the set of such homomorphisms forms a constructible set, and use the geometry of this space to deduce information about the coefficients and degree of the polynomial. In the last section we prove a divisibility theorem about the number of homomorphisms from certain semidirect products of profinite groups into finite groups. As a corollary, we deduce that when $\lambda=0$, \[\frac{\#\operatorname{Hom}(\pi_1^{\text{\'et}}(A_g,a),GL_n(\mathbb F_q))}{\#GL_n(\mathbb F_q)}\] is a Laurent polynomial in $q$.


title: Repair of Multiple Descriptions on Distributed Storage

abstract: In multiple descriptions on distributed storage, a source is stored in a shared fashion on multiple servers. When a subset of servers are contacted, the source should be estimated with a certain maximum distortion depending on the number of servers. The problem considered in this paper is how to restore the system operation when one of the servers fail and a new server replaces it, that is, repair. The requirement is that the distortions in the restored system should be no more than in the original system. The question is how many extra bits are needed for repair. We find the optimum solution for a two server problem in the Gaussian case, and an achievable rate for general $n$ nodes. One conclusion is that it is necessary to design the multiple description codes with repair in mind; just using an existing multiple description code results in unnecessary high repair rates.


title: Energy thresholds of discrete breathers in thermal equilibrium and relaxation processes

abstract: So far, only the energy thresholds of single discrete breathers in nonlinear Hamiltonian systems have been analytically obtained. In this work, the energy thresholds of discrete breathers in thermal equilibrium and the energy thresholds of long-lived discrete breathers which can remain after a long time relaxation are analytically estimated for nonlinear chains. These energy thresholds are size dependent. The energy thresholds of discrete breathers in thermal equilibrium are same as the previous analytical results for single discrete breathers. The energy thresholds of long-lived discrete breathers in relaxation processes are different from the previous results for single discrete breathers but agree well with the published numerical results known to us. Because real systems are either in thermal equilibrium or in relaxation processes, the obtained results could be important for experimental detection of discrete breathers.

categories: nlin.PS cond-mat.mes-hall cond-mat.stat-mech physics.class-ph


title: Recently Quenched Galaxies at z = 0.2 - 4.8 in the COSMOS UltraVISTA Field

abstract: We present a new analysis of the stellar mass function and morphology of recently-quenched galaxies (RQGs), whose star formation has been recently quenched for some reason. The COSMOS2015 catalog was exploited to select those galaxies at 0.2 < z < 4.8, over 1.5 deg2 of the Cosmic Evolution Survey (COSMOS) UltraVISTA field. This is the first time that RQGs are consistently selected and studied in such a wide range of redshift. We find increasing number density of RQGs with time in a broad mass range at z>1, while low-mass RQGs start to grow very rapidly at z < 1. We also demonstrate that the migration of RQGs may largely drive the evolution of the stellar mass function of passive galaxies. Moreover, we find that the morphological type distribution of RQGs are intermediate between those of star-forming and passive galaxies. These results indicate that RQGs represent a major transitional phase of galaxy evolution, in which star-forming galaxies turn into passive galaxies, accompanied by the build up of spheroidal component.


title: Solving the Vialov equation of glaciology in terms of elementary functions

abstract: Very few exact solutions are known for the non-linear Vialov ordinary differential equation describing the longitudinal profiles of alpine glaciers and ice caps under the assumption that the ice deforms according to Glen's constitutive relationship. Using a simple, yet wide, class of models for the accumulation rate of ice and Chebysev's theorem on the integration of binomial differentials, many new exact solutions of the Vialov equations are obtained in terms of elementary functions.


title: A Liouville theorem for stationary and ergodic ensembles of parabolic systems

abstract: A first-order Liouville theorem is obtained for random ensembles of uniformly parabolic systems under the mere qualitative assumptions of stationarity and ergodicity. Furthermore, the paper establishes, almost surely, an intrinsic large-scale $C^{1,\alpha}$-regularity estimate for caloric functions.


title: Dialog Structure Through the Lens of Gender, Gender Environment, and Power

abstract: Understanding how the social context of an interaction affects our dialog behavior is of great interest to social scientists who study human behavior, as well as to computer scientists who build automatic methods to infer those social contexts. In this paper, we study the interaction of power, gender, and dialog behavior in organizational interactions. In order to perform this study, we first construct the Gender Identified Enron Corpus of emails, in which we semi-automatically assign the gender of around 23,000 individuals who authored around 97,000 email messages in the Enron corpus. This corpus, which is made freely available, is orders of magnitude larger than previously existing gender identified corpora in the email domain. Next, we use this corpus to perform a large-scale data-oriented study of the interplay of gender and manifestations of power. We argue that, in addition to one's own gender, the "gender environment" of an interaction, i.e., the gender makeup of one's interlocutors, also affects the way power is manifested in dialog. We focus especially on manifestations of power in the dialog structure --- both, in a shallow sense that disregards the textual content of messages (e.g., how often do the participants contribute, how often do they get replies etc.), as well as the structure that is expressed within the textual content (e.g., who issues requests and how are they made, whose requests get responses etc.). We find that both gender and gender environment affect the ways power is manifested in dialog, resulting in patterns that reveal the underlying factors. Finally, we show the utility of gender information in the problem of automatically predicting the direction of power between pairs of participants in email interactions.


title: Do Steph Curry and Klay Thompson Have Hot Hands?

abstract: Star Golden State Warriors Steph Curry, Klay Thompson, and Kevin Durant are great shooters but they are not streak shooters. Only rarely do they show signs of a hot hand. This conclusion is based on an empirical analysis of field goal and free throw data from the 82 regular season and 17 postseason games played by the Warriors in 2016--2017. Our analysis is inspired by the iconic 1985 hot-hand study by Thomas Gilovitch, Robert Vallone and Amos Tversky, but uses a permutation test to automatically account for Josh Miller and Adam Sanjurjo's recent small sample correction. In this study we show how long standing problems can be reexamined using nonparametric statistics to avoid faulty hypothesis tests due to misspecified distributions.


title: Algebraic Probability-Theoretic Characterization of Quantum Correlations

abstract: Quantum entanglement and nonlocality are inequivalent notions: There exist entangled states that nevertheless admit local-realistic interpretations. This paper studies a special class of local-hidden-variable theories, in which the linear structure of quantum measurement operators is preserved. It has been proven that a quantum state has such linear hidden-variable representations if, and only if, it is not entangled. Separable states are known to admit nonclassical correlations as well, which are captured by quantum discord and related measures. In the unified framework presented in this paper, zero-discordant states are characterized as the only states that admit fully consistent classical probability representations. Possible generalization of this framework to the quasiprobability representation of multipartite quantum states is also discussed.


title: Secret-Key-Aided Scheme for Securing Untrusted DF Relaying Networks

abstract: This paper proposes a new scheme to secure the transmissions in an untrusted decode-and-forward (DF) relaying network. A legitimate source node, Alice, sends her data to a legitimate destination node, Bob, with the aid of an untrusted DF relay node, Charlie. To secure the transmissions from Charlie during relaying time slots, each data codeword is secured using a secret-key codeword that has been previously shared between Alice and Bob during the perfectly secured time slots (i.e., when the channel secrecy rate is positive). The secret-key bits exchanged between Alice and Bob are stored in a finite-length buffer and are used to secure data transmission whenever needed. We model the secret-key buffer as a queueing system and analyze its Markov chain. Our numerical results show the gains of our proposed scheme relative to benchmarks. Moreover, the proposed scheme achieves an upper bound on the secure throughput.


title: Norm coherence for descent of level structures on formal deformations

abstract: We give a formulation for descent of level structures on deformations of formal groups, and study the compatibility between the descent and a norm construction. Under this framework, we generalize Ando's construction of H-infinity complex orientations for Morava E-theories associated to Honda formal group laws over F_p. We show the existence and uniqueness of such an orientation for any Morava E-theory associated to a formal group law over an algebraic extension of F_p and, in particular, orientations for a family of elliptic cohomology theories. These orientations correspond to coordinates on deformations of formal groups which are compatible with norm maps along descent.


title: Deep EHR: A Survey of Recent Advances in Deep Learning Techniques for Electronic Health Record (EHR) Analysis

abstract: The past decade has seen an explosion in the amount of digital information stored in electronic health records (EHR). While primarily designed for archiving patient clinical information and administrative healthcare tasks, many researchers have found secondary use of these records for various clinical informatics tasks. Over the same period, the machine learning community has seen widespread advances in deep learning techniques, which also have been successfully applied to the vast amount of EHR data. In this paper, we review these deep EHR systems, examining architectures, technical aspects, and clinical applications. We also identify shortcomings of current techniques and discuss avenues of future research for EHR-based deep learning.


title: A lower bound theorem for centrally symmetric simplicial polytopes

abstract: Stanley proved that for any centrally symmetric simplicial $d$-polytope $P$ with $d\geq 3$, $g_2(P) \geq {d \choose 2}-d$. We provide a characterization of centrally symmetric $d$-polytopes with $d\geq 4$ that satisfy this inequality as equality. This gives a natural generalization of the classical Lower Bound Theorem for simplicial polytopes to the setting of centrally symmetric simplicial polytopes.


title: Robust Tracking Guidance for Zero Propellant Maneuver

abstract: The Zero Propellant Maneuver (ZPM) maneuvers the space station by large angle, utilizing the Control Momentum Gyroscopes (CMGs) only. A robust tracking guidance strategy is proposed to enhance its performance. It is distinguished from the traditional trajectory tracking guidance in that the reference trajectory is adjusted on-line, under the inspiration of eliminating the discrepancy on the total angular momentum of the space station system. The Lyapunov controller is developed to adjust the attitude trajectory and further redesigned for a better performance based on an interesting physical phenomenon, which is taken advantage of by coupling the components of state vector. The adjusted trajectory is then tracked to reach the target states of maneuver. Simulations results show that the disturbance effects arising from initial state errors, parameter uncertainty and modeling errors are attenuated or even eliminated, which verifies the robustness of the guidance strategy.


title: Scientific document summarization via citation contextualization and scientific discourse

abstract: The rapid growth of scientific literature has made it difficult for the researchers to quickly learn about the developments in their respective fields. Scientific document summarization addresses this challenge by providing summaries of the important contributions of scientific papers. We present a framework for scientific summarization which takes advantage of the citations and the scientific discourse structure. Citation texts often lack the evidence and context to support the content of the cited paper and are even sometimes inaccurate. We first address the problem of inaccuracy of the citation texts by finding the relevant context from the cited paper. We propose three approaches for contextualizing citations which are based on query reformulation, word embeddings, and supervised learning. We then train a model to identify the discourse facets for each citation. We finally propose a method for summarizing scientific papers by leveraging the faceted citations and their corresponding contexts. We evaluate our proposed method on two scientific summarization datasets in the biomedical and computational linguistics domains. Extensive evaluation results show that our methods can improve over the state of the art by large margins.


title: An induced map between rationalized classifying spaces for fibrations

abstract: Let $B{ aut}_1X$ be the Dold-Lashof classifying space of orientable fibrations with fiber $X$. For a rationally weakly trivial map $f:X\to Y$, our strictly induced map $a_f: (Baut_1X)_0\to (Baut_1Y)_0$ induces a natural map from a $X_0$-fibration to a $Y_0$-fibration. It is given by a map between the differential graded Lie algebras of derivations of Sullivan models. We note some conditions that the map $a_f$ admits a section and note some relations with the Halperin conjecture. Furthermore we give the obstruction class for a lifting of a classifying map $h: B\to (Baut_1Y)_0$ and apply it for liftings of $G$-actions on $Y$ for a compact connected Lie group $G$ as the case of $B=BG$ and evaluating of rational toral ranks as $r_0(Y)\leq r_0(X)$.


title: Constraint Satisfaction Problem Dichotomy for Finite Templates: a Proof Via Consistency Checks

abstract: One of the central problems in the study of parametrized constraint satisfaction problems is the Dichotomy Conjecture by T. Feder and M. Vardi stating that the constraint satisfaction problem (CSP) over a fixed, finite constraint language is either solvable in polynomial time or \textsc{NP}-complete. The conjecture was verified in certain special cases (domains with a relatively small number of elements, constraint languages containing all unary relations, etc.) In this article, we present a proof of the Dichotomy Conjecture via local consistency and AF- consistency checks. In fact, we show that, for every Taylor domain, which is $(2\lceil\frac{K}{2}\rceil,3\lceil\frac{K}{2}\rceil)$-consistent, where $K$ is the largest arity of a relation in the constraint language, we can define polynomially many proper subinstances such that, the original instance of the CSP is solvable if, and only if, the problem has a solution in one of those subinstances.. Finally, a solution is constructed using the combination of SLAC (Singleton Linear Arc Consistency), introduced by M. Kozik, and AF-consistency.


title: Thermodynamics of supra-arcade downflows in solar flares

abstract: Context. Supra-arcade downflows (SADs) have been frequently observed during the gradual phase of solar flares near the limb. In coronal emission lines sensitive to flaring plasmas, they appear as tadpole-like dark voids against the diffuse fan-shaped "haze" above, flowing toward the well-defined flare arcade. Aims. We aim to investigate the evolution of SADs' thermal properties, and to shed light on the formation mechanism and physical processes of SADs. Methods. We carefully studied several selected SADs from two flare events and calculated their differential emission measures (DEMs) as well as DEM-weighted temperatures using data obtained by the Atmospheric Imaging Assembly (AIA) onboard the Solar Dynamic Observatory. Results. Our analysis shows that SADs are associated with a substantial decrease in DEM above 4 MK, which is 1-3 orders of magnitude smaller than the surrounding haze as well as the region before or after the passage of SADs, but comparable to the quiet corona. There is no evidence for the presence of the SAD-associated hot plasma (> 20 MK) in the AIA data, and this decrease in DEM does not cause any significant change in the DEM distribution as well as the DEM-weighted temperature, which supports this idea that SADs are density depletion. This depression in DEM rapidly recovers in the wake of the SADs studied, generally within a few minutes, suggesting that they are discrete features. In addition, we found that SADs in one event are spatio-temporally associated with the successive formation of post-flare loops along the flare arcade.


title: Soft Graviton Emission at High and Low Energies in Yukawa and Scalar Theories

abstract: We study corrections to the soft graviton theorem at all loop orders in Yukawa and scalar theories, both in the high energy and low energy regions. It is found that the tree level soft theorem is corrected by matrix elements coupled to the Riemann curvature tensor of linearized gravity. Further corrections appear in the high energy region and we develop a power counting technique to classify all such loop corrections according to their order of magnitude. This leads to the construction of factorized contributions to the soft theorem, to which we apply an analysis analogous to Low's theorem based on the gravitational Ward identity. In this analysis, we emphasize the role played by the external kinematics.


title: Regular Reissner-Nordstr\"om black hole solutions from linear electrodynamics

abstract: In recent years there have appeared in the literature a large number of static, spherically symmetric metrics, which are regular at the origin, asymptotically flat, and have both an event and a Cauchy horizon for certain range of the parameters. They have been interpreted as regular black hole (BH) spacetimes, and their physical source attributed to electric or magnetic monopoles in a suitable chosen nonlinear electrodynamics. Here we show that these metrics can also be interpreted as exact solutions of the Einstein equations coupled to ordinary linear electromagnetism{\textemdash}i.e., as sources of the Reissner-Nordstr\"om (RN) spacetime{\textemdash}provided the components of the effective energy-momentum tensor satisfy the dominant energy condition (DEC). We use some well-known regular BH metrics to construct nonsingular RN black holes, where the singularity at the RN center is replaced by a regular perfect fluid charged sphere (whose charge-to-mass ratio is not greater than $1$) which is inside the RN inner horizon.


title: Phase transition of the q-state clock model: duality and tensor renormalization

abstract: We investigate the critical behavior and the duality property of the ferromagnetic $q$-state clock model on the square lattice based on the tensor-network formalism. From the entanglement spectra of local tensors defined in the original and dual lattices, we obtain the exact self-dual points for the model with $q \leq 5 $ and approximate self-dual points for $q \geq 6$. We calculate accurately the lower and upper critical temperatures for the six-state clock model from the fixed-point tensors determined using the higher-order tensor renormalization group method and compare with other numerical results.