title: Hyperlinks embedded in Twitter as a proxy for total external inlinks to international university websites

abstract: This article analyzes Twitter as a potential alternative source of external links for use in webometric analysis because of its capacity to embed hyperlinks in different tweets. Given the limitations on searching Twitter's public API, we decided to use the Topsy search engine as a source for compiling tweets. To this end, we took a global sample of 200 universities and compiled all the tweets with hyperlinks to any of these institutions. Further link data was obtained from alternative sources (MajesticSEO and OpenSiteExplorer) in order to compare the results. Thereafter, various statistical tests were performed to determine the correlation between the indicators and the ability to predict external links from the collected tweets. The results indicate a high volume of tweets, although they are skewed by the presence and performance of specific universities and countries. The data provided by Topsy correlated significantly with all link indicators, particularly with OpenSiteExplorer (r=0.769). Finally, prediction models do not provide optimum results because of high error rates, which fall slightly in nonlinear models applied to specific environments. We conclude that the use of Twitter (via Topsy) as a source of hyperlinks to universities produces promising results due to its high correlation with link indicators, though limited by policies and culture regarding use and presence in social networks.


title: Local root numbers of elliptic curves over dyadic fields

abstract: We consider an elliptic curve over a dyadic field with additive, potentially good reduction. We study the finite Galois extension of the dyadic field generated by the three-torsion points of the elliptic curve. As an application, we give a formula to calculate the local root number of the elliptic curve over the dyadic field.


title: Cardiac MR Image Segmentation Techniques: an overview

abstract: Broadly speaking, the objective in cardiac image segmentation is to delineate the outer and inner walls of the heart to segment out either the entire or parts of the organ boundaries. This paper will focus on MR images as they are the most widely used in cardiac segmentation -- as a result of the accurate morphological information and better soft tissue contrast they provide. This cardiac segmentation information is very useful as it eases physical measurements that provides useful metrics for cardiac diagnosis such as infracted volumes, ventricular volumes, ejection fraction, myocardial mass, cardiac movement, and the like. But, this task is difficult due to the intensity and texture similarities amongst the different cardiac and background structures on top of some noisy artifacts present in MR images. Thus far, various researchers have proposed different techniques to solve some of the pressing issues. This seminar paper presents an overview of representative medical image segmentation techniques. The paper also highlights preferred approaches for segmentation of the four cardiac chambers: the left ventricle (LV), right ventricle (RV), left atrium (LA) and right atrium (RA), on short axis image planes.


title: Large-scale structure and galaxy motions in the Leo/Cancer constellations

abstract: In the region of the sky limited by the coordinates RA$=7.0^h...12.0^h$, Dec$=0^\circ...+20^\circ$ and extending from the Virgo Cluster to the South Pole of the Local Supercluster, we consider the data on the galaxies with radial velocities $V_{LG}\lesssim 2000$ km/s. For 290 among them, we determine individual distances and peculiar velocities. In this region, known as the local velocity anomaly zone, there are 23 groups and 20 pairs of galaxies for which the estimates of virial/orbital masses are obtained. A nearby group around NGC3379 = Leo I and NGC3627 as well as the Local Group show the motion from the Local Void in the direction of Leo cloud with a characteristic velocity of about 400 km/s. Another rich group of galaxies around NGC3607 reveals peculiar velocity of about -420 km/s in the frame of reference related with the cosmic background radiation. A peculiar scattered association of dwarf galaxies Gemini Flock at a distance of 8 Mpc has the radial velocity dispersion of only 20 km/s and the size of approximately 0.7 Mpc. The virial mass estimate for it is 300 times greater than the total stellar mass. The ratio of the sum of virial masses of groups and pairs in the Leo/Can region to the sum of stellar masses of the galaxies contained in them equals 26, which is equivalent to the local average density $\Omega_{m(local)} = 0.074$, which is 3-4 times smaller than the global average density of matter.


title: Sparse Attack Construction and State Estimation in the Smart Grid: Centralized and Distributed Models

abstract: New methods that exploit sparse structures arising in smart grid networks are proposed for the state estimation problem when data injection attacks are present. First, construction strategies for unobservable sparse data injection attacks on power grids are proposed for an attacker with access to all network information and nodes. Specifically, novel formulations for the optimization problem that provide a flexible design of the trade-off between performance and false alarm are proposed. In addition, the centralized case is extended to a distributed framework for both the estimation and attack problems. Different distributed scenarios are proposed depending on assumptions that lead to the spreading of the resources, network nodes and players. Consequently, for each of the presented frameworks a corresponding optimization problem is introduced jointly with an algorithm to solve it. The validity of the presented procedures in real settings is studied through extensive simulations in the IEEE test systems.


title: A Chandrasekhar Mass Progenitor for the Type Ia Supernova Remnant 3C 397 from The Enhanced Abundances of Nickel and Manganese

abstract: Despite decades of intense efforts, many fundamental aspects of Type Ia supernova (SNe Ia) remain elusive. One of the major open questions is whether the mass of the exploding white dwarf (WD) is close to the Chandrasekhar limit. Here we report the detection of strong K-shell emission from stable Fe-peak elements in the Suzaku X-ray spectrum of the Type Ia supernova remnant (SNR) 3C 397. The high Ni/Fe and Mn/Fe mass ratios (0.11-0.24 and 0.018-0.033, respectively) in the hot plasma component that dominates the K-shell emission lines indicate a degree of neutronization in the SN ejecta which can only be achieved by electron captures in the dense cores of exploding WDs with a near-Chandrasekhar mass. This suggests a single-degenerate origin for 3C 397, since Chandrasekhar mass progenitors are expected naturally if the WD accretes mass slowly from a companion. Together with other results supporting the double-degenerate scenario, our work adds to the mounting evidence that both progenitor channels make a significant contribution to the SN Ia rate in star-forming galaxies.


title: The roots of physics students' motivations: Fear and Integrity

abstract: Too often, physics students are beset by feelings of failure and isolation rather than experiencing the creative joys of discovery that physics has to offer. This dissertation research was founded on the desire of a teacher to make physics class exciting and motivating to his students. This work explores how various aspects of learning environments interact with student motivation. This work uses qualitative and quantitative methods to explore how students are motivated to engage in physics and how they feel about themselves while engaging in physics. The collection of four studies in this dissertation culminates in a sociocultural perspective on motivation and identity. This perspective uses two extremes of how students experience physics as a lens for understanding motivation: fear and self-preservation versus integrity and self-expression. Rather than viewing motivation as a property of the student, or viewing students as inherently interested or disinterested in physics, the theoretical perspective on motivation and identity helps examine features of the learning environments that determine how students experience themselves through physics class. This perspective highlights the importance of feeling a sense of belonging in the context of physics and the power that teachers have in shaping student motivations through the construction of their classroom learning environments. Findings demonstrate how different ways that students experience themselves in physics class impact their performance and interest in physics. This dissertation concludes with a set of design principles that can foster integration and integrity among students in physics learning environments.


title: The Entanglement Level and the Detection of Quantum Data Transfer Correctness in Short Qutrit Spin Chains

abstract: The quantum entanglement is an important feature of many protocols in the field of quantum computing. In this paper we evaluate a level of entanglement in short qutrit chains. This evaluation is carried out with use of the CCNR criterion and the concurrence measure. We also present some explicit formulae describing the values of CCNR criterion and concurrence for exemplary short spin chains. Utilizing the obtained results, we indicate that analyzing the level of entanglement allows to detect the noise or deviation in the transfer process, in comparison to the perfect transfer where only operation realizing transfer is present.


title: The cohomology ring away from 2 of configuration spaces on real projective spaces

abstract: Let R be a commutative ring containing 1/2. We compute the R-cohomology ring of the configuration space F(m,k) of k ordered points in the m-dimensional real projective space. The method uses the observation that the orbit configuration space of k ordered points in the m-dimensional sphere (with respect to the antipodal action) is a 2^k-fold covering of F(m,k). This implies that, for odd m, the Leray spectral sequence for the inclusion of F(m,k) in the k-fold Cartesian self power of the m-dimensional real projective space collapses after its first non-trivial differential, just as it does when the projective space is replaced by a complex projective variety. The method also allows us to handle the R-cohomology ring of the configuration space of k ordered points in a punctured real projective space. Lastly, we compute the Lusternik-Schnirelmann category and all of the higher topological complexities of some of the auxiliary orbit configuration spaces.


title: Coronae of Stars with Super Solar Elemental Abundances

abstract: Coronal elemental abundances are known to deviate from the photospheric values of their parent star, with the degree of deviation depending on the First Ionization Potential (FIP). This study focuses on the coronal composition of stars with super-solar photospheric abundances. We present the coronal abundances of six such stars: 11 LMi, $\iota$ Hor, HR 7291, $\tau$ Boo, and $\alpha$ Cen A and B. These stars all have high-statistics X-ray spectra, three of which are presented for the first time. The abundances measured in this paper are obtained using the line-resolved spectra of the Reflection Grating Spectrometer (RGS) in conjunction with the higher throughput EPIC-pn camera spectra on board the XMM-Newton observatory. A collisionally ionized plasma model with two or three temperature components is found to represent the spectra well. All elements are found to be consistently depleted in the coronae compared to their respective photospheres. For 11 LMi and $\tau$ Boo no FIP effect is present, while $\iota$ Hor, HR 7291, and $\alpha$ Cen A and B show a clear FIP trend. These conclusions hold whether the comparison is made with solar abundances or the individual stellar abundances. Unlike the solar corona where low FIP elements are enriched, in these stars the FIP effect is consistently due to a depletion of high FIP elements with respect to actual photospheric abundances. Comparing to solar abundances (instead of stellar) yields the same fractionation trend as on the Sun. In both cases a similar FIP bias is inferred, but different fractionation mechanisms need to be invoked.


title: Theoretical models of planetary system formation. II. Post-formation evolution

abstract: We extend the results of planetary formation synthesis by computing the long-term evolution of synthetic systems from the clearing of the gas disk into the dynamical evolution phase. We use the symplectic integrator SyMBA to numerically integrate the orbits of planets for 100 Ma, using populations from previous studies as initial conditions.We show that within the populations studied, mass and semi-major axis distributions experience only minor changes from post-formation evolution. We also show that, depending upon their initial distribution, planetary eccentricities can statistically increase or decrease as a result of gravitational interactions. We find that planetary masses and orbital spacings provided by planet formation models do not result in eccentricity distributions comparable to observed exoplanet eccentricities, requiring other phenomena such as e.g. stellar fly-bys to account for observed eccentricities.


title: Photon Sorting, Efficient Bell Measurements and a Deterministic CZ Gate using a Passive Two-level Nonlinearity

abstract: Although the strengths of optical non-linearities available experimentally have been rapidly increasing in recent years, significant challenges remain to using such non-linearities to produce useful quantum devices such as efficient optical Bell state analysers or universal quantum optical gates. Here we describe a new approach that avoids the current limitations by combining strong non-linearities with active Gaussian operations in efficient protocols for Bell state analysers and Controlled-Sign gates.


title: Information flow through a model of the C. elegans klinotaxis circuit

abstract: Understanding how information about external stimuli is transformed into behavior is one of the central goals of neuroscience. Here we characterize the information flow through a complete sensorimotor circuit: from stimulus, to sensory neurons, to interneurons, to motor neurons, to muscles, to motion. Specifically, we apply a recently developed framework for quantifying information flow to a previously published ensemble of models of salt klinotaxis in the nematode worm C. elegans. The models are grounded in the neuroanatomy and currently known neurophysiology of the worm. The unknown model parameters were optimized to reproduce the worm's behavior. Information flow analysis reveals several key principles underlying how the models operate: (1) Interneuron class AIY is responsible for integrating information about positive and negative changes in concentration, and exhibits a strong left/right information asymmetry. (2) Gap junctions play a crucial role in the transfer of information responsible for the information symmetry observed in interneuron class AIZ. (3) Neck motor neuron class SMB implements an information gating mechanism that underlies the circuit's state-dependent response. (4) The neck carries non-uniform distribution about changes in concentration. Thus, not all directions of movement are equally informative. Each of these findings corresponds to an experimental prediction that could be tested in the worm to greatly refine our understanding of the neural circuit underlying klinotaxis. Information flow analysis also allows us to explore how information flow relates to underlying electrophysiology. Despite large variations in the neural parameters of individual circuits, the overall information flow architecture circuit is remarkably consistent across the ensemble, suggesting that information flow analysis captures general principles of operation for the klinotaxis circuit.


title: Experimental Observation of Resonance-Assisted Tunneling

abstract: We present the first experimental observation of resonance-assisted tunneling, a wave phenomenon, where regular-to-chaotic tunneling is strongly enhanced by the presence of a classical nonlinear resonance chain. For this we use a microwave cavity made of oxygen free copper with the shape of a desymmetrized cosine billiard designed with a large nonlinear resonance chain in the regular region. It is opened in a region, where only chaotic dynamics takes place, such that the tunneling rate of a regular mode to the chaotic region increases the line width of the mode. Resonance-assisted tunneling is demonstrated by (i) a parametric variation and (ii) the characteristic plateau and peak structure towards the semiclassical limit.


title: The robustness of democratic consensus

abstract: In linear models of consensus dynamics, the state of the various agents converges to a value which is a convex combination of the agents' initial states. We call it democratic if in the large scale limit (number of agents going to infinity) the vector of convex weights converges to 0 uniformly. Democracy is a relevant property which naturally shows up when we deal with opinion dynamic models and cooperative algorithms such as consensus over a network: it says that each agent's measure/opinion is going to play a negligeable role in the asymptotic behavior of the global system. It can be seen as a relaxation of average consensus, where all agents have exactly the same weight in the final value, which becomes negligible for a large number of agents.


title: Solving $k$-means on High-dimensional Big Data

abstract: In recent years, there have been major efforts to develop data stream algorithms that process inputs in one pass over the data with little memory requirement. For the $k$-means problem, this has led to the development of several $(1+\varepsilon)$-approximations (under the assumption that $k$ is a constant), but also to the design of algorithms that are extremely fast in practice and compute solutions of high accuracy. However, when not only the length of the stream is high but also the dimensionality of the input points, then current methods reach their limits. We propose two algorithms, piecy and piecy-mr that are based on the recently developed data stream algorithm BICO that can process high dimensional data in one pass and output a solution of high quality. While piecy is suited for high dimensional data with a medium number of points, piecy-mr is meant for high dimensional data that comes in a very long stream. We provide an extensive experimental study to evaluate piecy and piecy-mr that shows the strength of the new algorithms.


title: Constrained Nonlinear Model Predictive Control of an MMA Polymerization Process via Evolutionary Optimization

abstract: In this work, a nonlinear model predictive controller is developed for a batch polymerization process. The physical model of the process is parameterized along a desired trajectory resulting in a trajectory linearized piecewise model (a multiple linear model bank) and the parameters are identified for an experimental polymerization reactor. Then, a multiple model adaptive predictive controller is designed for thermal trajectory tracking of the MMA polymerization. The input control signal to the process is constrained by the maximum thermal power provided by the heaters. The constrained optimization in the model predictive controller is solved via genetic algorithms to minimize a DMC cost function in each sampling interval.


title: On the definition of entanglement entropy in lattice gauge theories

abstract: We focus on the issue of proper definition of entanglement entropy in lattice gauge theories, and examine a naive definition where gauge invariant states are viewed as elements of an extended Hilbert space which contains gauge non-invariant states as well. Working in the extended Hilbert space, we can define entanglement entropy associated with an arbitrary subset of links, not only for abelian but also for non-abelian theories. We then derive the associated replica formula. We also discuss the issue of gauge invariance of the entanglement entropy. In the $Z_N$ gauge theories in arbitrary space dimensions, we show that all the standard properties of the entanglement entropy, e.g. the strong subadditivity, hold in our definition. We study the entanglement entropy for special states, including the topological states for the $Z_N$ gauge theories in arbitrary dimensions. We discuss relations of our definition to other proposals.


title: Relative Squared Distances to a Conic Berserkless 8-Connected Midpoint Algorithm

abstract: The midpoint method or technique is a measurement and as each measurement it has a tolerance, but worst of all it can be invalid, called Out-of-Control or OoC. The core of all midpoint methods is the accurate measurement of the difference of the squared distances of two points to the polar of their midpoint with respect to the conic. When this measurement is valid, it also measures the difference of the squared distances of these points to the conic, although it may be inaccurate, called Out-of-Accuracy or OoA. The primary condition is the necessary and sufficient condition that a measurement is valid. It is comletely new and it can be checked ultra fast and before the actual measurement starts. Modeling an incremental algorithm, shows that the curve must be subdivided into piecewise monotonic sections, the start point must be optimal, and it explains that the 2D-incremental method can find, locally, the global Least Square Distance. Locally means that there are at most three candidate points for a given monotonic direction; therefore the 2D-midpoint method has, locally, at most three measurements. When all the possible measurements are invalid, the midpoint method cannot be applied, and in that case the ultra fast OoC-rule selects the candidate point. This guarantees, for the first time, a 100% stable, ultra-fast, berserkless midpoint algorithm, which can be easily transformed to hardware.


title: Supersparse Linear Integer Models for Optimized Medical Scoring Systems

abstract: Scoring systems are linear classification models that only require users to add, subtract and multiply a few small numbers in order to make a prediction. These models are in widespread use by the medical community, but are difficult to learn from data because they need to be accurate and sparse, have coprime integer coefficients, and satisfy multiple operational constraints. We present a new method for creating data-driven scoring systems called a Supersparse Linear Integer Model (SLIM). SLIM scoring systems are built by solving an integer program that directly encodes measures of accuracy (the 0-1 loss) and sparsity (the $\ell_0$-seminorm) while restricting coefficients to coprime integers. SLIM can seamlessly incorporate a wide range of operational constraints related to accuracy and sparsity, and can produce highly tailored models without parameter tuning. We provide bounds on the testing and training accuracy of SLIM scoring systems, and present a new data reduction technique that can improve scalability by eliminating a portion of the training data beforehand. Our paper includes results from a collaboration with the Massachusetts General Hospital Sleep Laboratory, where SLIM was used to create a highly tailored scoring system for sleep apnea screening


title: Seiberg-Witten Invariants, Alexander Polynomials, and Fibred Classes

abstract: Since their introduction in 1994, the Seiberg-Witten invariants have become one of the main tools used in 4-manifold theory. In this thesis, we will use these invariants to identify sufficient conditions for a 3-manifold to fibre over a circle. Additionally, we will construct several examples of genus 1 and 2 surface bundles and prove their total spaces are spin 4-manifolds.


title: Maximizing spectral radii of uniform hypergraphs with few edges

abstract: In this paper we investigate the hypergraphs whose spectral radii attain the maximum among all uniform hypergraphs with given number of edges. In particular we characterize the hypergraph(s) with maximum spectral radius over all unicyclic hypergraphs, linear or power unicyclic hypergraphs with given girth, linear or power bicyclic hypergraphs, respectively.


title: Spatial Stimuli Gradient Sketch Model

abstract: The inability of automated edge detection methods inspired from primal sketch models to accurately calculate object edges under the influence of pixel noise is an open problem. Extending the principles of image perception i.e. Weber-Fechner law, and Sheperd similarity law, we propose a new edge detection method and formulation that use perceived brightness and neighbourhood similarity calculations in the determination of robust object edges. The robustness of the detected edges is benchmark against Sobel, SIS, Kirsch, and Prewitt edge detection methods in an example face recognition problem showing statistically significant improvement in recognition accuracy and pixel noise tolerance.


title: Multicoding Schemes for Interference Channels

abstract: The best known inner bound for the 2-user discrete memoryless interference channel is the Han-Kobayashi rate region. The coding schemes that achieve this region are based on rate-splitting and superposition coding. In this paper, we develop a multicoding scheme to achieve the same rate region. A key advantage of the multicoding nature of the proposed coding scheme is that it can be naturally extended to more general settings, such as when encoders have state information or can overhear each other. In particular, we extend our coding scheme to characterize the capacity region of the state-dependent deterministic Z-interference channel when noncausal state information is available at the interfering transmitter. We specialize our results to the case of the linear deterministic model with on/off interference which models a wireless system where a cognitive transmitter is noncausally aware of the times it interferes with a primary transmission. For this special case, we provide an explicit expression for the capacity region and discuss some interesting properties of the optimal strategy. We also extend our multicoding scheme to find the capacity region of the deterministic Z-interference channel when the signal of the interfering transmitter can be overheard at the other transmitter (a.k.a. unidirectional partial cribbing).


title: A Fundamental Form of the Schrodinger Equation

abstract: We propose a first order equation from which the Schrodinger equation can be derived. Matrices that obey certain properties are introduced for this purpose. We start by constructing the solutions of this equation in 1D and solve the problem of electron scattering from a step potential. We show that the sum of the spin up and down, reflection and transmission coefficients, is equal to the quantum mechanical results for this problem. Furthermore, we present a 3D version of the equation which can be used to derive the Schrodinger equation in 3D.


title: segDeepM: Exploiting Segmentation and Context in Deep Neural Networks for Object Detection

abstract: In this paper, we propose an approach that exploits object segmentation in order to improve the accuracy of object detection. We frame the problem as inference in a Markov Random Field, in which each detection hypothesis scores object appearance as well as contextual information using Convolutional Neural Networks, and allows the hypothesis to choose and score a segment out of a large pool of accurate object segmentation proposals. This enables the detector to incorporate additional evidence when it is available and thus results in more accurate detections. Our experiments show an improvement of 4.1% in mAP over the R-CNN baseline on PASCAL VOC 2010, and 3.4% over the current state-of-the-art, demonstrating the power of our approach.


title: Bounded Isometries and Homogeneous Quotients

abstract: In this paper we give an explicit description of the bounded displacement isometries of a class of spaces that includes the Riemannian nilmanifolds. The class of spaces consists of metric spaces (and thus includes Finsler manifolds) on which an exponential solvable Lie group acts transitively by isometries. The bounded isometries are proved to be of constant displacement. Their characterization gives further evidence for the author's 1962 conjecture on homogeneous Riemannian quotient manifolds. That conjecture suggests that if $\Gamma \backslash M$ is a Riemannian quotient of a connected simply connected homogeneous Riemannian manifold $M$, then $\Gamma \backslash M$ is homogeneous if and only if each isometry $\gamma \in \Gamma$ is of constant displacement. Our description of bounded isometries gives an alternative proof of an old result of J. Tits on bounded automorphisms of semisimple Lie groups. The topic of constant displacement isometries has an interesting history, starting with Clifford's use of quaternions in non--euclidean geometry, and we sketch that in a historical note.


title: Cosmic rays in astrospheres

abstract: Cosmic rays passing through large astrospheres can be efficiently cooled inside these "cavities" in the interstellar medium. Moreover, the energy spectra of these energetic particles are already modulated in front of the astrospherical bow shocks. We study the cosmic ray flux in and around lambda Cephei as an example for an astrosphere. The large-scale plasma flow is modeled hydrodynamically with radiative cooling. We studied the cosmic ray flux in a stellar wind cavity using a transport model based on stochastic differential equations. The required parameters, most importantly, the elements of the diffusion tensor, are based on the heliospheric parameters. The magnetic field required for the diffusion coefficients is calculated kinematically. We discuss the transport in an astrospheric scenario with varying parameters for the transport coefficients. We show that large stellar wind cavities can act as sinks for the galactic cosmic ray flux and thus can give rise to small-scale anisotropies in the direction to the observer. Small-scale cosmic ray anisotropies can naturally be explained by the modulation of cosmic ray spectra in huge stellar wind cavities.


title: Spectral imaging with dual compressed sensing

abstract: We experimentally demonstrated a spectral imaging scheme with dual compressed sensing. With the dimensions of spectral and spatial information both compressed, the spectral image of a colored object can be obtained with only a single point detector. The effect of spatial and spectral modulation numbers on the imaging quality is also analyzed. Our scheme provides a stable, highly consistent approach of spectral imaging.


title: Helium ordered trapping in arsenolite under compression: Synthesis of He2As4O6

abstract: The compression of arsenolite (cubic As2O3) has been studied from a joint experimental and theoretical point of view. Experimental X-ray diffraction and Raman scattering measurements of this molecular solid at high pressures with different pressure-transmitting media have been interpreted with the help of ab initio calculations. Our results confirm arsenolite as one of the softest minerals in absence of hydrogen bonding and provide evidence for helium trapping above 3 GPa between adamantane-type As4O6 cages, thus leading to a new compound with stoichiometry He2As4O6. Helium trapping alters all properties of arsenolite. In particular, pressure-induced amorphization, which occurs in pure arsenolite above 15 GPa, is impeded when He is trapped between the As4O6 cages; thus resulting in a mechanical stability of He2As4O6 beyond 30 GPa. Our work paves the way for the modification of the properties of other molecular solids by compression depending on their ability to trap relatively small atomic or molecular species and form new compounds. Furthermore, our work suggests that compression of molecular solids with noble gases as helium could result in unexpected results compared to other pressure-transmitting media.


title: Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

abstract: We apply multivariate Lagrange interpolation to synthesize polynomial quantitative loop invariants for probabilistic programs. We reduce the computation of an quantitative loop invariant to solving constraints over program variables and unknown coefficients. Lagrange interpolation allows us to find constraints with less unknown coefficients. Counterexample-guided refinement furthermore generates linear constraints that pinpoint the desired quantitative invariants. We evaluate our technique by several case studies with polynomial quantitative loop invariants in the experiments.


title: FrogWild! -- Fast PageRank Approximations on Graph Engines

abstract: We propose FrogWild, a novel algorithm for fast approximation of high PageRank vertices, geared towards reducing network costs of running traditional PageRank algorithms. Our algorithm can be seen as a quantized version of power iteration that performs multiple parallel random walks over a directed graph. One important innovation is that we introduce a modification to the GraphLab framework that only partially synchronizes mirror vertices. This partial synchronization vastly reduces the network traffic generated by traditional PageRank algorithms, thus greatly reducing the per-iteration cost of PageRank. On the other hand, this partial synchronization also creates dependencies between the random walks used to estimate PageRank. Our main theoretical innovation is the analysis of the correlations introduced by this partial synchronization process and a bound establishing that our approximation is close to the true PageRank vector. We implement our algorithm in GraphLab and compare it against the default PageRank implementation. We show that our algorithm is very fast, performing each iteration in less than one second on the Twitter graph and can be up to 7x faster compared to the standard GraphLab PageRank implementation.


title: Weighted Sobolev regularity of the Bergman projection on the Hartogs triangle

abstract: We prove a weighted Sobolev estimate of the Bergman projection on the Hartogs triangle, where the weight is some power of the distance to the singularity at the boundary. This method also applies to the $n$-dimensional generalization of the Hartogs triangle.


title: Local well-posedness of the nonlinear Schr\"odinger equations on the sphere for data in modulation spaces

abstract: In this paper we discuss a priori estimates derived from the energy method to the initial value problem for the cubic nonlinear Schr\"odinger on the sphere $S^2$. Exploring suitable a priori estimates, we prove the existence of solution for data whose regularity is $s=1/4$.


title: Evolution of superconducting and transport properties in annealed FeTe$_{1-x}$Se$_x$ (0.1 $\leq$ $x$ $\leq$ 0.4) multiband superconductors

abstract: We investigated the superconducting and transport properties in FeTe$_{1-x}$Se$_{x}$ (0.1 $\leq$ $x$ $\leq$ 0.4) single crystals prepared by O$_2$-annealing. Sharp superconducting transition width observed in magnetization measurement and the small residual resistivity prove the high quality of the crystals. All the crystals manifest large, homogeneous, and isotropic critical current density \emph{J}$_c$ with self-field value over 10$^5$ A/cm$^2$ at 2 K. The large and field-robust critical current densities prove that the superconductivity in FeTe$_{1-x}$Se$_{x}$ (0.1 $\leq$ $x$ $\leq$ 0.4) is in bulk nature. The values of anisotropy parameter close to $T_c$ for crystals with different Se doping levels all reside in the range of 2 - 3. Hall coefficients $R_H$ keeps positive and almost constant value at high temperatures, followed by a sudden decreases before reaching $T$$_c$, which indicates that the electron-type charge carriers become dominant at low temperatures. Furthermore, the characteristic temperature for the sudden decrease in $R_H$ gradually increases with Se doping.


title: Cooper Pairing in Insulating Valence Band in Fe-Based Superconductors

abstract: Conventional Cooper pairing arises from attractive interaction of electrons in the metallic bands. Recent experiment on Co-doped LiFeAs shows superconductivity in the insulating valence band, which is evolved from a metallic hole band upon doping. Here we examine this phenomenon by studying superconductivity in a three-orbital Hamiltonian relevant to the doped LiFeAs. We show explicitly that Cooper pairing of the insulating hole band requires a finite pairing interaction strength. For strong coupling, the superconductivity in the hole band is robust against the sink of the hole band below the Fermi level. Our theory predicts a substantial upward shift of the chemical potential in the superconducting transition for Co-doped LiFeAs.


title: A dynamic approach to a proximal-Newton method for monotone inclusions in Hilbert spaces, with complexity O(1/n^2)

abstract: In a Hilbert setting, we introduce a new dynamical system and associated algorithms for solving monotone inclusions by rapid methods. Given a maximal monotone operator $A$, the evolution is governed by the time dependent operator $I -(I + \lambda(t) {A})^{-1}$, where the positive control parameter $\lambda(t)$ tends to infinity as $t \to + \infty$. The tuning of $ \lambda (\cdot) $ is done in a closed-loop way, by resolution of the algebraic equation $\lambda \norm{(I + \lambda {A})^{-1}x -x}=\theta$, where $\theta $ is a positive given constant. The existence and uniqueness of a strong global solution for the Cauchy problem follows from Cauchy-Lipschitz theorem. We prove the weak convergence of the trajectories to equilibria, and superlinear convergence under an error bound condition. When $A =\partial f$ is the subdifferential of a closed convex function $f$, we show a $\bigo(1/t^2)$ convergence property of $f(x(t))$ to the infimal value of the problem. Then, we introduce proximal-like algorithms which can be obtained by time discretization of the continuous dynamic, and which share the same fast convergence properties. As distinctive features, we allow a relative error tolerance for the solution of the proximal subproblem similar to the ones proposed in ~\cite{So-Sv1, So-Sv2}, and a large step condition, as proposed in~\cite{MS1,MS2}. For general convex minimization problems, the complexity is $\bigo(1/n^2)$. In the regular case, we show the global quadratic convergence of an associated proximal-Newton method.


title: An Unprecedented Constraint on Water Content in the Sunlit Lunar Exosphere Seen by Lunar-Based Ultraviolet Telescope of Chang'e-3 Mission

abstract: The content of $\mathrm{OH/H_2O}$ molecules in the tenuous exosphere of the Moon is still an open issue at present. We here report an unprecedented upper limit of the content of the OH radicals, which is obtained from the in-situ measurements carried out \rm by the Lunar-based Ultraviolet Telescope, a payload of Chinese Chang'e-3 mission. By analyzing the diffuse background in the images taken by the telescope, the column density and surface concentration of the OH radicals are inferred to be $<10^{11}\ \mathrm{cm^{-2}}$ and $<10^{4}\ \mathrm{cm^{-3}}$ (by assuming a hydrostatic equilibrium with a scale height of 100km), respectively, by assuming that the recorded background is fully contributed by their resonance fluorescence emission. The resulted concentration is lower than the previously reported value by about two orders of magnitude, and is close to the prediction of the sputtering model. In addition, the same measurements and method allow us to derive a surface concentration of $<10^{2}\ \mathrm{cm^{-3}}$ for the neutral magnesium, which is lower than the previously reported upper limit by about two orders of magnitude. These results are the best known of the OH (MgI) content in the lunar exosphere to date.


title: Redefinition of spin Hall magnetoresistance

abstract: Using a multi-conduction-channel model, we redefined the micromechanism of spin Hall magnetoresistance (SMR). Four conduction channels are created by spin accumulation of nonpolarized electron flow at top, bottom, left and right interfaces of the film sample, which corresponds to different resistance states of polarized electron flow with various spin directions relative to the applied magnetic field ($\mathbf{H}$), and brings about the SMR effect finally. The magnetic insulator layer, such as yttrium iron garnet (YIG), is not a requisite for the observation of SMR. Instead, the SMR effect is perfectly realized, with an order of magnitude increase, in the sample with a discontinuous layer of isolated-Co$_2$FeAl (0.3 nm) grains covered by 2.5-nm-thick Pt layer on MgO substrate. The model intuitively gives the typical relationship of SMR effect, i.e. $\rho_{\parallel}\approx\rho_{\bot}>\rho_{T}$, where $\rho_{\bot}$, $\rho_{\parallel}$ and $\rho_{T}$ are longitudinal reisitivities with applied magnetic field ($\mathbf{H}$) direction perpendicular to the current direction out of plane (as Z direction), parallel with and perpendicular to it in plane (as X and Y direction), respectively. Our research reveals that the scattering between polarized and nonpolarized conduction electrons is the origin of SMR, and the intrinsic SMR is not constant when $\mathbf{H}$ direction rotates in XZ plane, which is distinct from that in the reported SMR mechanism.


title: Single-point position and transition defects in continuous time quantum walks

abstract: We present a detailed analysis of continuous time quantum walks (CTQW) with both position and transition defects defined at a single point in the line. Analytical solutions of both traveling waves or bound states are obtained, which provide valuable insight into the dynamics of CTQW. The number of bound states is found to be critically dependent on the defect parameters, and the localized probability peaks can be readily obtained by projecting the CTQW wavefunction on to these bound states. The interference between two bound states are also observed in the case of a transition defect. The spreading of CTQW probability over the line can be finely tuned by varying the position and transition defect parameters, offering the possibility of precision quantum control of the system.


title: $K$-theory for the crossed products of infinite tensor product of $C^*$-algebras by the shift

abstract: C. Schochet shows K\"unneth theorem for the $C^*$-algebras in the smallest class of nuclear $C^*$-algebras which contains the separable Type I algebras and is closed under some operations. We calculate the $K$-theory for the crossed product of the infinite tensor product of a unital $C^*$-algebra in this class by the shift. In particular, we calculate the $K$-theory of the lamplighter group $C^*$-algebra.


title: A theoretical prediction on huge hole and electron mobilities of 6,6,18-graphdiyne nanoribbons

abstract: Two-dimensional 6,6,18-graphdiyne and the corresponding one-dimensional nanoribbons are investigated using crystal orbital method. Based on HSE06 functional, the one-dimensional confinement increases the band gaps. With band gaps larger than 0.4 eV, thirty-three 6,6,18-graphdiyne nanoribbons have larger majority carrier mobilities at room temperature than the highest value of armchair graphene nanoribbons. Unlike {\gamma}-graphdiyne, 6,6,18-graphdiyne nanoribbons have both huge hole and electron mobilities, depending on whether they are armchair or zigzag type. The huge mobilities are explained by crystal orbital analysis. The superior capabilities of 6,6,18-graphdiyne nanoribbons make them possible candidates for high speed electronic devices in complementary circuits.


title: Self-Propulsion of Liquid Marbles: Leidenfrost-Like Levitation Driven by the Marangoni Flow

abstract: Self-propulsion of liquid marbles filled with aqueous alcohol solutions and placed on a water surface is reported. The characteristic of velocity of the marbles is about 0.1 m/s. The phenomenon of self-propulsion is related to the Marangoni solutocapillary flow caused by the condensation of alcohol, evaporated from the liquid marble, on a water surface. The Marangoni flow in turn enhances the evaporation of alcohol from marbles. Addition of alcohol to the water supporting the marbles suppresses the self-propulsion. The propulsion of liquid marbles is mainly stopped by water drag. The velocity of the center of mass of marbles grows with the increase of the concentration of alcohol in a marble. The velocity of marbles self-propulsion is independent on their volume.


title: Abelian Higgs model and its phase transitions revisited

abstract: The abelian Higgs model and its phase structure are discussed from the perspective that the gauge and scalar fields admit a dual description in terms of fermion variables. The results which indicate the presence of three main phases: Coulomb, Higgs and confinement agree well with those in the literature although a nonstandard order parameter is employed.


title: Satio Hayakawa and dawn of high-energy astrophysics in Japan

abstract: Pioneering works and stimulation by S. Hayakawa for the development of high-energy astrophysics in Japan.


title: Reliability of signal transmission in stochastic nerve axon equations

abstract: We introduce a method for computing probabilities for spontaneous activity and propagation fail- ure of the action potential in spatially extended, conductance-based neuronal models subject to channel noise, based on statistical properties of the membrane potential. We compare different estimators with respect to the quality of detection, computational costs and robustness and propose the integral of the membrane potential along the axon as an appropriate estimator to detect both spontaneous activity and propagation failure. Performing a model reduction we achieve a simplified analytical expression based on the linearization at the resting potential (resp. the traveling action potential). This allows to approximate the probabilities for spontaneous activity and propagation failure in terms of (classical) hitting probabilities of one-dimensional linear stochastic differential equations. The quality of the approximation with respect to the noise amplitude is discussed and illustrated with numerical results for the spatially extended Hodgkin-Huxley.


title: Drive laser system for the DC-SRF photoinjector at Peking University

abstract: Photoinjectors are widely used for linear accelerators as electron sources to generate high-brightness electron beam. Drive laser, which determines the timing structure and quality of the electron beam, is a crucial device of photoinjector. A new drive laser system has been designed and constructed for the upgraded 3.5-cell DC-SRF photoinjector at Peking University. The drive laser system consists of a 1064 nm laser oscillator, a four- stage amplifier, the second and fourth harmonic generators, the optical system to transfer the UV pulses to the photocathode, and the synchronization system. The drive laser system has been successfully applied in the stable operation of DC-SRF photoinjector and its performance meets the requirements. 266 nm laser with an average power close to 1W can be delivered to illuminate the Cs2Te photocathode and the instability is less than 5% for long time operation. The design consideration for improving the UV laser quality, a detailed description of laser system, and its performance are presented in this paper.


title: A Conceptual Framework for Web Development Projects Based on Project Management and Agile Development Principles

abstract: Companies implement different frameworks and best practices with the objective to improve the project management success rate and improve the business adaptability to the changing business environment. Project management framework (PRINCE2) and agile development framework (Scrum) proved in many cases that they can meet these objectives. However, both frameworks are based on different principles and the use of both frameworks together should be carefully considered. A large amount of money and effort has been invested by companies into establishing their project management environment and processes that follow the classical phased approach where requirements are defined upfront and fixed. But companies want to react more quickly to new global challenges and to the changing business environment. These business requirements then result in the failure of many running projects. Therefore there is a need to enhance the current project management environment so that it is more agile and adoptive to changes. The objective of this paper is to create a conceptual framework that aggregates principles and processes from both frameworks (PRINCE2 and Scrum) with emphasis on their use in web development projects. This paper will discuss the advantages and disadvantages of using the two abovementioned frameworks. Different groups of readers can benefit from the results of this paper. It will help corporate management to decide how a company should set up its own specific framework for managing agile product development projects. Project managers will have a better understanding of agile development principles and how it fits in the classic project management framework. Last but not least, it will help product developers to work in more agile ways and survive in the controlled and complex project environment.


title: Kemer's Theorem for Affine PI Algebras Over a Field of Characteristic Zero

abstract: We present a proof of Kemer's representability theorem for affine PI algebras over a field of characteristic zero.


title: On broken zero modes of a string world sheet, and a correlation function of a 1/4 BPS Wilson loop and a 1/2 BPS local operator

abstract: We reconsider a gravity dual of a 1/4 BPS Wilson loop. In the case of an expectation value of the Wilson loop, it is known that broken zero modes of a string world sheet in the gravity side play important roles in the limit $\lambda \to \infty$ with keeping the combination $\lambda \cos^2 \theta_0$ finite. Here, $\lambda$ is the 't Hooft coupling constant and $\theta_0$ is a parameter of the Wilson loop. In this paper, we reconsider a gravity dual of a correlation function between the Wilson loop and a 1/2 BPS local operator with R charge $J$. We take account of contributions coming from the same configurations of the above-mentioned broken zero modes. We find an agreement with the gauge theory side in the limit $J \ll \sqrt{\lambda \cos^2 \theta_0} $.


title: Mandarin Singing Voice Synthesis Based on Harmonic Plus Noise Model and Singing Expression Analysis

abstract: The purpose of this study is to investigate how humans interpret musical scores expressively, and then design machines that sing like humans. We consider six factors that have a strong influence on the expression of human singing. The factors are related to the acoustic, phonetic, and musical features of a real singing signal. Given real singing voices recorded following the MIDI scores and lyrics, our analysis module can extract the expression parameters from the real singing signals semi-automatically. The expression parameters are used to control the singing voice synthesis (SVS) system for Mandarin Chinese, which is based on the harmonic plus noise model (HNM). The results of perceptual experiments show that integrating the expression factors into the SVS system yields a notable improvement in perceptual naturalness, clearness, and expressiveness. By one-to-one mapping of the real singing signal and expression controls to the synthesizer, our SVS system can simulate the interpretation of a real singer with the timbre of a speaker.


title: The Unimodular Intersection Problem

abstract: We show that finding minimally intersecting $n$ paths from $s$ to $t$ in a directed graph or $n$ perfect matchings in a bipartite graph can be done in polynomial time. This holds more generally for unimodular set systems.


title: Free space interference experiments with single photons and single ions

abstract: Trapped ion crystals have proved to be one of the most viable physical implementations of quantum registers and a promising candidate for a scalable realization of quantum networks. The latter will require the development of an efficient interface between trapped ions and photons. We describe two research directions that are currently investigated to realize such photonic quantum interfaces in free space using high numerical aperture optics. The first approach investigates how strong focusing of light onto a single ion can increase the interaction strength to achieve efficient interaction between a photon and the ion. The second approach uses a probabilistic measurement on scattered photons to generate entanglement between two ions that could be used to distribute information in a quantum network. For both approaches a higher numerical aperture would increase the efficiency of the interface.


title: Newton's second law: not so elementary (as it may seem)

abstract: We propose an interpretation of the Newton's second law that is suggested by Galilean Relativity theory.


title: Reversible tuning of superconductivity in pressurized qausi-one-dimensional A2Cr3As3 (A=K and Rb)

abstract: In-situ hydrostatic and uniaxial high pressure studies were performed on recently discovered CrAs-based qausi-one-dimensional superconductors A2Cr3As3 (A=K and Rb). The established Pressure-Temperature phase diagram in this study clearly demonstrates that either hydrostatic pressure or uniaxial pressure globally suppresses the superconducting transition temperature (Tc), and the latter is more effective than the former. Interestingly, in the same hydrostatic pressure environment, the suppressing rate of Tc in Rb2Cr3As3 is nearly twice as that of K2Cr3As3. Significantly, the reduced Tc in these superconductors can fully recover to its ambient-pressure value after the applied pressure is entirely released. Our results suggest that the bonding distance and angle between Cr-Cr in the Cr3As3 chains are the key factor in determining Tc and that the optimal lattice for superconductivity is hosted in the pristine K2Cr3As3.


title: Low-energy electric dipole response in 120Sn

abstract: The electric dipole strength in 120Sn has been extracted from proton inelastic scattering experiments at E_p = 295 MeV and at forward angles including 0 degree. Below neutron threshoild it differs from the results of a 120Sn(gamma,gamma') experiment and peaks at an excitation energy of 8.3 MeV. The total strength corresponds to 2.3(2)% of the energy-weighted sum rule and is more than three times larger than what is observed with the (gamma,gamma') reaction. This implies a strong fragmentation of the E1 strength and/or small ground state branching ratios of the excited 1- states.


title: Bounded Solutions to the System of 2-nd Order ODE and the Whitney pendulum

abstract: We propose the existence theorem for bounded solutions to the system of 2-nd order ODE. Dynamical applications have been considered.


title: Critical dynamics of gene networks is a mechanism behind ageing and Gompertz law

abstract: Although accumulation of molecular damage is suggested to be an important molecular mechanism of aging, a quantitative link between the dynamics of damage accumulation and mortality of species has so far remained elusive. To address this question, we examine stability properties of a generic gene regulatory network (GRN) and demonstrate that many characteristics of aging and the associated population mortality rate emerge as inherent properties of the critical dynamics of gene regulation and metabolic levels. Based on the analysis of age-dependent changes in gene-expression and metabolic profiles in Drosophila melanogaster, we explicitly show that the underlying GRNs are nearly critical and inherently unstable. This instability manifests itself as aging in the form of distortion of gene expression and metabolic profiles with age, and causes the characteristic increase in mortality rate with age as described by a form of the Gompertz law. In addition, we explain late-life mortality deceleration observed at very late ages for large populations. We show that aging contains a stochastic component, related to accumulation of regulatory errors in transcription/translation/metabolic pathways due to imperfection of signaling cascades in the network and of responses to environmental factors. We also establish that there is a strong deterministic component, suggesting genetic control. Since mortality in humans, where it is characterized best, is strongly associated with the incidence of age-related diseases, our findings support the idea that aging is the driving force behind the development of chronic human diseases.

categories: q-bio.MN physics.bio-ph q-bio.GN q-bio.PE


title: Quantum coherent states in cosmology

abstract: Coherent states consist of superposition of infinite number of particles and do not have a classical analogue. We study their evolution in a FLRW cosmology and show that only when full quantum corrections are considered, they may survive the expansion of the Universe and form a global condensate. This state of matter can be the origin of accelerating expansion of the Universe, generally called dark energy, and inflation in the early universe. Additionally, such a quantum pool may be the ultimate environment for decoherence at shorter distances. If dark energy is a quantum coherent state, its dominant contribution to the total energy of the Universe at present provides a low entropy state which may be necessary as an initial condition for a new Big Bang in the framework of bouncing cosmology models.


title: Semi-Discrete approximation of Optimal Mass Transport

abstract: Optimal mass transport is described by an approximation of transport cost via semi-discrete costs. The notions of optimal partition and optimal strong partition are given as well. We also suggest an algorithm for computation of Optimal Transport for general cost functions induced by an action, an asymptotic error estimate and several numerical examples of optimal partitions.


title: Parametric Reduced Models for the Nonlinear Schr\"odinger Equation

abstract: Reduced models for the (defocusing) nonlinear Schr\"odinger equation are developed. In particular, we develop reduced models that only involve the low-frequency modes given noisy observations of these modes. The ansatz of the reduced parametric models are obtained by employing a rational approximation and a colored noise approximation, respectively, on the memory terms and the random noise of a generalized Langevin equation that is derived from the standard Mori-Zwanzig formalism. The parameters in the resulting reduced models are inferred from noisy observations with a recently developed ensemble Kalman filter-based parameterization method. The forecasting skill across different temperature regimes are verified by comparing the moments up to order four, a two-time correlation function statistics, and marginal densities of the coarse-grained variables.


title: On the Blue Loops of Intermediate-Mass Stars

abstract: We consider the blue loops in the Hertzsprung-Russell diagram that occur when intermediate-mass stars begin core helium burning. It has long been known that the excess of helium above the burning shell, the result of the contraction of the convective core during core hydrogen burning, has the effect of making such stars redder and larger than they would be otherwise. The outward motion of the burning shell in mass removes this excess and triggers the loop. Hitherto nobody has attempted to demonstrate why the excess helium has this effect. We consider the effect of the local opacity, which is reduced by excess helium, the shell fuel supply, which is also reduced, and the local mean molecular weight, which is increased. We demonstrate that the mean molecular weight is the decisive reddening factor. The opacity has a much smaller effect and a reduced fuel supply actually favours blueward motion.


title: WIKI THANKS: Cultural Differences in Thanks Network of Different-Language Wikipedias

abstract: Wikipedia introduced a new social function "wiki-thanks". "Wiki-thanks" enable editors to send thanks to other editors' contributions. In this paper, we aim to investigate this new social tool from different cultural perspectives. To achieve this goal, we analyze "wiki-thanks" log events and compared the English, German, Spanish, Chinese, Japanese, Korean, and Finish language Wikipedias.


title: Hamiltonian circle actions with almost minimal isolated fixed points

abstract: Let the circle act in a Hamiltonian fashion on a connected compact symplectic manifold $(M, \omega)$ of dimension $2n$. Then the $S^1$-action has at least $n+1$ fixed points. In a previous paper, we study the case when the fixed point set consists of precisely $n+1$ isolated points. In this paper, we study the case when the fixed point set consists of exactly $n+2$ isolated points. We show that in this case $n$ must be even. We find equivalent conditions on the first Chern class of $M$ and a particular weight of the $S^1$-action. We also show that the particular weight can completely determine the integral cohomology ring and the total Chern class of $M$, and the sets of weights of the $S^1$-action at all the fixed points. We will see that all these data are isomorphic to those of known examples, $\widetilde{G}_2(\mathbb{R}^{n+2})$ with $n\geq 2$ even, equipped with standard circle actions.


title: Multichannel 0-to-2 and 1-to-2 transition amplitudes for arbitrary spin particles in a finite volume

abstract: We present a model-independent, non-perturbative relation between finite-volume matrix elements and infinite-volume $\textbf{0}\rightarrow\textbf{2}$ and $\textbf{1}\rightarrow\textbf{2}$ transition amplitudes. Our result accommodates theories in which the final two-particle state is coupled to any number of other two-body channels, with all angular momentum states included. The derivation uses generic, fully relativistic field theory, and is exact up to exponentially suppressed corrections in the lightest particle mass times the box size. This work distinguishes itself from previous studies by accommodating particles with any intrinsic spin. To illustrate the utility of our general result, we discuss how it can be implemented for studies of $N+\mathcal{J}~\rightarrow~(N\pi,N\eta,N\eta',\Sigma K,\Lambda K)$ transitions, where $\mathcal{J}$ is a generic external current. The reduction of rotational symmetry, due to the cubic finite volume, manifests in this example through the mixing of S- and P-waves when the system has nonzero total momentum.


title: Fast and Memory-Efficient Significant Pattern Mining via Permutation Testing

abstract: We present a novel algorithm, Westfall-Young light, for detecting patterns, such as itemsets and subgraphs, which are statistically significantly enriched in one of two classes. Our method corrects rigorously for multiple hypothesis testing and correlations between patterns through the Westfall-Young permutation procedure, which empirically estimates the null distribution of pattern frequencies in each class via permutations. In our experiments, Westfall-Young light dramatically outperforms the current state-of-the-art approach in terms of both runtime and memory efficiency on popular real-world benchmark datasets for pattern mining. The key to this efficiency is that unlike all existing methods, our algorithm neither needs to solve the underlying frequent itemset mining problem anew for each permutation nor needs to store the occurrence list of all frequent patterns. Westfall-Young light opens the door to significant pattern mining on large datasets that previously led to prohibitive runtime or memory costs.


title: Improving Routing Efficiency through Intermediate Target Based Geographic Routing

abstract: The greedy strategy of geographical routing may cause the local minimum problem when there is a hole in the routing area. It depends on other strategies such as perimeter routing to find a detour path, which can be long and result in inefficiency of the routing protocol. In this paper, we propose a new approach called Intermediate Target based Geographic Routing (ITGR) to solve the long detour path problem. The basic idea is to use previous experience to determine the destination areas that are shaded by the holes. The novelty of the approach is that a single forwarding path can be used to determine a shaded area that may cover many destination nodes. We design an efficient method for the source to find out whether a destination node belongs to a shaded area. The source then selects an intermediate node as the tentative target and greedily forwards packets to it, which in turn forwards the packet to the final destination by greedy routing. ITGR can combine multiple shaded areas to improve the efficiency of representation and routing. We perform simulations and demonstrate that ITGR significantly reduces the routing path length, compared with existing geographic routing protocols.


title: A Storage Ring Experiment to Detect a Proton Electric Dipole Moment

abstract: A new experiment is described to detect a permanent electric dipole moment of the proton with a sensitivity of $10^{-29}e\cdot$cm by using polarized "magic" momentum $0.7$~GeV/c protons in an all-electric storage ring. Systematic errors relevant to the experiment are discussed and techniques to address them are presented. The measurement is sensitive to new physics beyond the Standard Model at the scale of 3000~TeV.


title: A Partially Reflecting Random Walk on Spheres Algorithm for Electrical Impedance Tomography

abstract: In this work, we develop a probabilistic estimator for the voltage-to-current map arising in electrical impedance tomography. This novel so-called partially reflecting random walk on spheres estimator enables Monte Carlo methods to compute the voltage-to-current map in an embarrassingly parallel manner, which is an important issue with regard to the corresponding inverse problem. Our method uses the well-known random walk on spheres algorithm inside subdomains where the diffusion coefficient is constant and employs replacement techniques motivated by finite difference discretization to deal with both mixed boundary conditions and interface transmission conditions. We analyze the global bias and the variance of the new estimator both theoretically and experimentally. In a second step, the variance is considerably reduced via a novel control variate conditional sampling technique.


title: Almost global existence for the Prandtl boundary layer equations

abstract: We consider the Prandtl boundary layer equations on the half plane, with initial datum that lies in a weighted $H^1$ space with respect to the normal variable, and is real-analytic with respect to the tangential variable. The boundary trace of the horizontal Euler flow is taken to be a constant. We prove that if the Prandtl datum lies within $\varepsilon$ of a stable profile, then the unique solution of the Cauchy problem can be extended at least up to time $T_\varepsilon \geq \exp(\varepsilon^{-1}/ \log(\varepsilon^{-1}))$.


title: Hypothesis on the Nature of Time

abstract: We present numerical evidence that fictitious diffusing particles in the causal dynamical triangulation (CDT) approach to quantum gravity exceed the speed of light on small distance scales. We argue this superluminal behaviour is responsible for the appearance of dimensional reduction in the spectral dimension. By axiomatically enforcing a scale invariant speed of light we show that time must dilate as a function of relative scale, just as it does as a function of relative velocity. By calculating the Hausdorff dimension of CDT diffusion paths we present a seemingly equivalent dual description in terms of a scale dependent Wick rotation of the metric. Such a modification to the nature of time may also have relevance for other approaches to quantum gravity.


title: Evolution of Directed Triangle Motifs in the Google+ OSN

abstract: Motifs are a fundamental building block and distinguishing feature of networks. While characteristic motif distribution have been found in many networks, very little is known today about the evolution of network motifs. This paper studies the most important motifs in social networks, triangles, and how directed triangle motifs change over time. Our chosen subject is one of the largest Online Social Networks, Google+. Google+ has two distinguishing features that make it particularly interesting: (1) it is a directed network, which yields a rich set of triangle motifs, and (2) it is a young and fast evolving network, whose role in the OSN space is still not fully understood. For the purpose of this study, we crawled the network over a time period of six weeks, collecting several snapshots. We find that some triangle types display significant dynamics, e.g., for some specific initial types, up to 20% of the instances evolve to other types. Due to the fast growth of the OSN in the observed time period, many new triangles emerge. We also observe that many triangles evolve into less-connected motifs (with less edges), suggesting that growth also comes with pruning. We complement the topological study by also considering publicly available user profile data (mostly geographic locations). The corresponding results shed some light on the semantics of the triangle motifs. Indeed, we find that users in more symmetric triangle motifs live closer together, indicating more personal relationships. In contrast, asymmetric links in motifs often point to faraway users with a high in-degree (celebrities).


title: A short proof of the Kac-Ward formula

abstract: We present a short proof of the Kac-Ward formula for the partition function of the Ising model on planar graphs.


title: Graphite under uniaxial compression along c-axis: a new parameter relates out-of-plane strain to in-plane phonon frequency

abstract: Stacking graphene sheets forms graphite. Two in-plane vibrational modes of graphite, E1u and E2g(2), are derived from graphene E2g mode, the shifts of which under compression are all considered as results of in-plane bond shortening. Values of Gruneisen parameter have been reported to quantify such relation. However, the reason why the shift rates of these three modes with pressure differ is unclear. In this work, we introduce a new parameter to quantify the contribution of out-of-plane strain to the in-plane vibrational frequencies, suggesting that the compression of \pi-electrons plays a non-negligible part in both graphite and graphene under high pressure.


title: Violation of unitarity by Hawking radiation does not violate energy-momentum conservation

abstract: An argument by Banks, Susskind and Peskin (BSP), according to which violation of unitarity would violate either locality or energy-momentum conservation, is widely believed to be a strong argument against non-unitarity of Hawking radiation. We find that the whole BSP argument rests on the crucial assumption that the Hamiltonian is not highly degenerate, and point out that this assumption is not satisfied for systems with many degrees of freedom. Using Lindblad equation, we show that high degeneracy of the Hamiltonian allows local non-unitary evolution without violating energy-momentum conservation. Moreover, since energy-momentum is the source of gravity, we argue that energy-momentum is necessarily conserved for a large class of non-unitary systems with gravity. Finally, we explicitly calculate the Lindblad operators for non-unitary Hawking radiation and show that they conserve energy-momentum.


title: The first initial boundary value problem for Hessian equations of parabolic type on Riemannian manifolds

abstract: In this paper, we are concerned with the first initial boundary value problem for a class of fully nonlinear parabolic equations on Riemannian manifolds. As usual, the establishment of the a priori C^2 estimates is our main part. Based on these estimates, the existence of classical solutions is proved under conditions which are nearly optimal.


title: Interface Transformation from Ruling to Obedience

abstract: This article is about one feature which was partly introduced 30 years ago with the development of multi windows operating systems. It is about the movability of screen objects not according to some predetermined algorithm but by the direct user action. Many years ago it was introduced on a very limited basis and nothing was improved since then. Smartphones and tablets give direct access to screen elements but on a very limited set of commands (scroll and zoom). There is an easy to use algorithm which turns any screen object into movable / resizable. This algorithm uses only mouse to turn screens of normal PCs into touchscreens, but this simple change means a revolution in our work with computers.


title: On the Semi-Stable CoHa and its Modules Arising from Smooth Models

abstract: We study a variant of the semi-stable Cohomological Hall algebra which we construct using equivariant Chow groups. This algebra, we call it the semi-stable ChowHa, arises as a quotient of the CoHa. Smooth models of quiver moduli give rise to modules over the semi-stable ChowHa. We prove that these modules are cyclic and we compute a presentation using Harder-Narasimhan methods.


title: Geometric Spanning Cycles in Bichromatic Point Sets

abstract: Given a set of points in the plane each colored either red or blue, we find non-self-intersecting geometric spanning cycles of the red points and of the blue points such that each edge of the red spanning cycle is crossed at most three times by the blue spanning cycle and vice-versa.


title: Item focussed Trees for the Identification of Items in Differential Item Functioning

abstract: A new method for the identification of differential item functioning (DIF) by using recursive partitioning techniques is proposed. We assume an extension of the Rasch model that allows for DIF being induced by an arbitrary number of covariates for each item. Recursive partitioning on the item level results in one tree for each item and leads to simultaneous selection of items and variables that induce DIF. For each item it is possible to detect groups of subjects with different item difficulties, defined by combinations of characteristics that are not pre-specified. An algorithm is proposed that is based on permutation tests. Various simulation studies, including the comparison with traditional approaches to identify items with DIF, show the applicability and the competitive performance of the method. Two applications illustrate the usefulness and the advantages of the new method.


title: Contact doping, Klein tunneling, and asymmetry of shot noise in suspended graphene

abstract: The inherent asymmetry of the electric transport in graphene is attributed to Klein tunneling across barriers defined by $\textit{pn}$-interfaces between positively and negatively charged regions. By combining conductance and shot noise experiments we determine the main characteristics of the tunneling barrier (height and slope) in a high-quality suspended sample with Au/Cr/Au contacts. We observe an asymmetric resistance $R_{\textrm{odd}}=100-70$ $\Omega$ across the Dirac point of the suspended graphene at carrier density $|n_{\rm G}|=0.3-4 \cdot 10^{11}$ cm$^{-2}$, while the Fano factor displays a non-monotonic asymmetry in the range $F_{\textrm{odd}} \sim 0.03 - 0.1$. Our findings agree with analytical calculations based on the Dirac equation with a trapezoidal barrier. Comparison between the model and the data yields the barrier height for tunneling, an estimate of the thickness of the $\textit{pn}$-interface $d < 20$ nm, and the contact region doping corresponding to a Fermi level offset of $\sim - 18$ meV. The strength of pinning of the Fermi level under the metallic contact is characterized in terms of the contact capacitance $C_c=19 \times 10^{-6}$ F/cm$^2$. Additionally, we show that the gate voltage corresponding to the Dirac point is given by the work function difference between the backgate material and graphene.


title: Two-Stage Document Length Normalization for Information Retrieval

abstract: The standard approach for term frequency normalization is based only on the document length. However, it does not distinguish the verbosity from the scope, these being the two main factors determining the document length. Because the verbosity and scope have largely different effects on the increase in term frequency, the standard approach can easily suffer from insufficient or excessive penalization depending on the specific type of long document. To overcome these problems, this paper proposes two-stage normalization by performing verbosity and scope normalization separately, and by employing different penalization functions. In verbosity normalization, each document is pre-normalized by dividing the term frequency by the verbosity of the document. In scope normalization, an existing retrieval model is applied in a straightforward manner to the pre-normalized document, finally leading us to formulate our proposed verbosity normalized (VN) retrieval model. Experimental results carried out on standard TREC collections demonstrate that the VN model leads to marginal but statistically significant improvements over standard retrieval models.


title: The amplification method in the context of $GL(n)$ automorphic forms

abstract: In \cite{SiVe2} and \cite{BlMa1}, the authors proved the existence of a so-called higher rank amplifier and in \cite{HoRiRo2}, the authors described an explicit version of a $GL(3)$ amplifier. This article provides, for $n\geq 4$, a totally explicit $GL(n)$ amplifier and gives all the results required to use it effectively.


title: Decay of the Kohn mode in hydrodynamic regime

abstract: We develop a hydrodynamic description of the collective modes of interacting liquids in a quasi-one-dimensional confining potential. By solving Navier-Stokes equations we determine analytically excitation spectrum of sloshing oscillations. For parabolic confinement, the lowest frequency eigenmode is not renormalized by interactions and is protected from decay by the Kohn theorem, which states that center of mass motion decouples from internal dynamics. We find that the combined effect of potential anharmonicity and interactions results in the depolarization shift and final lifetime of the Kohn mode. All other excited modes of sloshing oscillations thermalize with the parametrically faster rates. Our results are significant for the interpretation of recent experiments with trapped Fermi gases that observed weak violation of the Kohn theorem.


title: On linear Harbourne constants

abstract: In this note we compute values of global linear Harbourne constants over arbitrary fields for up to ten lines. These invariants have appeared recently in the discussions around the Bounded Negativity Conjecture. They seem to be of independent interest also from the point of view of combinatorics.


title: In situ observation of phase separation and hierarchical microstructure of KxFe2-ySe2 single crystals

abstract: The nature of the phase separation in KxFe2-ySe2 single crystals is not well understood. Here, temperature dependent SEM images provide compelling evidence that phase separation corresponds to a nucleation and growth process rather than a spinodal decomposition. The superconducting phase is the remnant of high temperature phase after iron vacancy order-disorder transition. Three-dimension (3D) spatial distribution of superconducting phase in the iron vacancy ordered matrix was revealed by using focused ion beam scanning electron microscopy (FIB-SEM). Our results clearly show that superconducting phase forms a hierarchical structure. Understanding the formation of this hierarchical structure not only can guide the synthesis of bulk superconductors in the future, but also greatly enrich our knowledge about the interplay between phase separation and solid-state phase transformations.


title: Lattices with non-Shannon Inequalities

abstract: We study the existence or absence of non-Shannon inequalities for variables that are related by functional dependencies. Although the power-set on four variables is the smallest Boolean lattice with non-Shannon inequalities there exist lattices with many more variables without non-Shannon inequalities. We search for conditions that ensures that no non-Shannon inequalities exist. It is demonstrated that 3-dimensional distributive lattices cannot have non-Shannon inequalities and planar modular lattices cannot have non-Shannon inequalities. The existence of non-Shannon inequalities is related to the question of whether a lattice is isomorphic to a lattice of subgroups of a group.


title: Spatial and Spectral Modeling of the Gamma-ray Distribution in the Large Magellanic Cloud

abstract: We perform spatial and spectral analyses of the Large Magellanic Cloud (LMC) gamma-ray emission collected over 66 months by the Fermi Gamma-ray Space Telescope. In our spatial analysis, we model the LMC cosmic-ray distribution and gamma-ray production using observed maps of the LMC interstellar medium, star formation history, interstellar radiation field, and synchrotron emission. We use bootstrapping of the data to quantify the robustness of spatial model performance. We model the LMC gamma-ray spectrum using fitting functions derived from the physics of $\pi^0$ decay, bremsstrahlung, and inverse Compton scattering. We find the integrated gamma-ray flux of the LMC from 200 MeV to 20 GeV to be $1.38 \pm 0.02 \times 10^{-7}$ ph cm$^{-2}$ s$^{-1}$, of which we attribute about 10% to inverse Compton scattering and 40% to bremsstrahlung. From our work, we conclude that the spectral index of the LMC cosmic-ray proton population is 2.4$\pm$0.2, and we find that cosmic-ray energy loss through gamma-ray production is concentrated within a few hundred pc of acceleration sites. Assuming cosmic-ray energy equipartition with magnetic fields, we estimate LMC cosmic rays encounter an average magnetic field strength ~3 $\mu$G.


title: Some Results on Pseudo-Collar Structures on High-Dimensional Manifolds

abstract: In this paper, we recall Quillen's plus construction for high-dimensional smooth manifolds and the solution to the group extension problem. We then develop a geometric procedure due for producing a "reverse" to the plus construction, a one-sided s-cobordism called a semi-s-cobordism, when the total group of the group extension is a semi-direct product. We then use this reverse to the plus construction to produce uncountably many different one-ended manifolds called pseudo-collars, which are stackings of semi-s- cobordisms. We finally display a technique for producing "nice" one-ended open manifolds which satisfy two of the necessary and suffcient conditions for being pseudo-collarable but not the third.


title: Rigidity for group actions on homogeneous spaces by affine transformations

abstract: We give a criterion for the rigidity of actions on homogeneous spaces. Let $G$ be a real Lie group, $\Lambda$ a lattice in $G$, and $\Gamma$ a subgroup of the affine group Aff$(G)$ stabilizing $\Lambda$. Then the action of $\Gamma$ on $G/\Lambda$ has the rigidity property in the sense of S. Popa, if and only if the induced action of $\Gamma$ on $\mathbb{P}(\frak{g})$ admits no $\Gamma$-invariant probability measure, where $\frak{g}$ is the Lie algebra of $G$. This generalizes results of M. Burger, and A. Ioana and Y. Shalom. As an application, we establish rigidity for the action of a class of groups acting by automorphisms on nilmanifolds associated to step 2 nilpotent Lie groups.


title: On teaching sets of k-threshold functions

abstract: Let $f$ be a $\{0,1\}$-valued function over an integer $d$-dimensional cube $\{0,1,\dots,n-1\}^d$, for $n \geq 2$ and $d \geq 1$. The function $f$ is called threshold if there exists a hyperplane which separates $0$-valued points from $1$-valued points. Let $C$ be a class of functions and $f \in C$. A point $x$ is essential for the function $f$ with respect to $C$ if there exists a function $g \in C$ such that $x$ is a unique point on which $f$ differs from $g$. A set of points $X$ is called teaching for the function $f$ with respect to $C$ if no function in $C \setminus \{f\}$ agrees with $f$ on $X$. It is known that any threshold function has a unique minimal teaching set, which coincides with the set of its essential points. In this paper we study teaching sets of $k$-threshold functions, i.e. functions that can be represented as a conjunction of $k$ threshold functions. We reveal a connection between essential points of $k$ threshold functions and essential points of the corresponding $k$-threshold function. We note that, in general, a $k$-threshold function is not specified by its essential points and can have more than one minimal teaching set. We show that for $d=2$ the number of minimal teaching sets for a 2-threshold function can grow as $\Omega(n^2)$. We also consider the class of polytopes with vertices in the $d$-dimensional cube. Each polytope from this class can be defined by a $k$-threshold function for some $k$. In terms of $k$-threshold functions we prove that a polytope with vertices in the $d$-dimensional cube has a unique minimal teaching set which is equal to the set of its essential points. For $d=2$ we describe structure of the minimal teaching set of a polytope and show that cardinality of this set is either $\Theta(n^2)$ or $O(n)$ and depends on the perimeter and the minimum angle of the polytope.


title: On topological lower bounds for algebraic computation trees

abstract: We prove that the height of any algebraic computation tree for deciding membership in a semialgebraic set is bounded from below (up to a multiplicative constant) by the logarithm of m-th Betti number (with respect to singular homology) of the set, divided by m+1. This result complements the well known lower bound by Yao for locally closed semialgebraic sets in terms of the total Borel-Moore Betti number. We also prove that the height is bounded from below by the logarithm of m-th Betti number of a projection of the set onto a coordinate subspace, divided by (m+1)^2. We illustrate these general results by examples of lower complexity bounds for some specific computational problems.


title: The trace norm of r-partite graphs and matrices

abstract: The trace norm $\left\Vert G\right\Vert _{\ast}$ of a graph $G$ is the sum of its singular values, i.e., the absolute values of its eigenvalues. The norm $\left\Vert G\right\Vert _{\ast}$ has been intensively studied under the name of graph energy, a concept introduced by Gutman in 1978. This note studies the maximum trace norm of $r$-partite graphs, which raises some unusual problems for $r>2$. It is shown that, if $G$ is an $r$-partite graph of order $n,$ then \[ \left\Vert G\right\Vert _{\ast}<\frac{n^{3/2}}{2}\sqrt{1-1/r}+\left( 1-1/r\right) n. \] For some special $r$ this bound is tight: e.g., if $r$ is the order of a symmetric conference matrix, then, for infinitely many $n,$ there is a graph $G\ $of order $n$ with \[ \left\Vert G\right\Vert _{\ast}>\frac{n^{3/2}}{2}\sqrt{1-1/r}-\left( 1-1/r\right) n.\]


title: Liouville Quantum Gravity on the unit disk

abstract: Our purpose is to pursue the rigorous construction of Liouville Quantum Field Theory on Riemann surfaces initiated by F. David, A. Kupiainen and the last two authors in the context of the Riemann sphere and inspired by the 1981 seminal work by Polyakov. In this paper, we investigate the case of simply connected domains with boundary. We also make precise conjectures about the relationship of this theory to scaling limits of random planar maps with boundary conformally embedded onto the disk.


title: Optimal Cell Clustering and Activation for Energy Saving in Load-Coupled Wireless Networks

abstract: Optimizing activation and deactivation of base station transmissions provides an instrument for improving energy efficiency in cellular networks. In this paper, we study optimal cell clustering and scheduling of activation duration for each cluster, with the objective of minimizing the sum energy, subject to a time constraint of delivering the users' traffic demand. The cells within a cluster are simultaneously in transmission and napping modes, with cluster activation and deactivation, respectively. Our optimization framework accounts for the coupling relation among cells due to the mutual interference. Thus, the users' achievable rates in a cell depend on the cluster composition. On the theoretical side, we provide mathematical formulation and structural characterization for the energy-efficient cell clustering and scheduling optimization problem, and prove its NP hardness. On the algorithmic side, we first show how column generation facilitates problem solving, and then present our notion of local enumeration as a flexible and effective means for dealing with the trade-off between optimality and the combinatorial nature of cluster formation, as well as for the purpose of gauging the deviation from optimality. Numerical results demonstrate that our solutions achieve more than 60% energy saving over existing schemes, and that the solutions we obtain are within a few percent of deviation from global optimum.


title: Hydrodynamics from scalar black branes

abstract: In this paper, using the Gauge/gravity duality techniques, we explore the hydrodynamic regime of a very special class of strongly coupled QFTs that come up with an emerging UV length scale in the presence of a negative hyperscaling violating exponent. The dual gravitational counterpart for these QFTs consists of scalar dressed black brane solutions of exactly integrable Einstein-scalar gravity model with Domain Wall (DW) asymptotics. In the first part of our analysis we compute the $ R $-charge diffusion for the boundary theory and find that (unlike the case for the pure $ AdS_{4} $ black branes) it scales quite non trivially with the temperature. In the second part of our analysis, we compute the $ \eta/s $ ratio both in the non extremal as well as in the extremal limit of these special class of gauge theories and it turns out to be eqaul to $ 1/4\pi $ in both the cases. These results therefore suggest that the quantum critical systems in the presence of (negative) hyperscaling violation at UV, might fall under a separate universality class as compared to those conventional quantum critical systems with the usual $ AdS_4 $ duals.


title: Quadratic forms representing the $p$-th Fibonacci number

abstract: In this paper, we show that if $p\equiv 1\pmod 4$ is prime, then $4F_p$ admits a representation of the form $u^2-pv^2$ for some integers $u$ and $v$, where $F_n$ is the $n$th Fibonacci number. We prove a similar result when $p\equiv -1\pmod 4$.


title: The Role of Density Dependent One-Body Momentum Distribution on the Calculation of Ground State Properties of Closed Shell Nuclei

abstract: The nucleon single-particle energies (SPEs) of the selected closed shell nuclei; that is, 16O, 40Ca, and 56Ni, are obtained by using the diagonal matrix elements of two-body effective interaction, which generated through the lowest order constrained variational (LOCV) calculations for the symmetric nuclear matter with the AV18 phenomenological nucleon-nucleon potential. The SPEs at the major levels of nuclei are calculated by employing a Hartree-Fock inspired-scheme in the spherical harmonic oscillator basis. In the scheme, the correlation influences are taken into account by imposing the nucleon effective mass factor on the radial wave functions of the major levels. Replacing the density-dependent one-body momentum distribution functions of nucleons, n(k,rho), with the Heaviside functions, the role of n(k,rho) on the nucleon SPEs at the major levels of the selected closed shell nuclei, is investigated. The best fit of spin-orbit splitting is taken into account when correcting the major levels of the nuclei by using the parameterized Wood-Saxon potential and the AV18 density-dependent mean field potential which is constructed by the LOCV method. Considering the point-like protons in the spherical Coulomb's potential well, the single-proton energies are corrected. The results show the importance of including n(k,rho), instead of the Heaviside functions, in the calculation of nucleon SPEs at the different levels, particularly the valence levels, of the closed shell nuclei.


title: Semantic Modeling of Analytic-based Relationships with Direct Qualification

abstract: Successfully modeling state and analytics-based semantic relationships of documents enhances representation, importance, relevancy, provenience, and priority of the document. These attributes are the core elements that form the machine-based knowledge representation for documents. However, modeling document relationships that can change over time can be inelegant, limited, complex or overly burdensome for semantic technologies. In this paper, we present Direct Qualification (DQ), an approach for modeling any semantically referenced document, concept, or named graph with results from associated applied analytics. The proposed approach supplements the traditional subject-object relationships by providing a third leg to the relationship; the qualification of how and why the relationship exists. To illustrate, we show a prototype of an event-based system with a realistic use case for applying DQ to relevancy analytics of PageRank and Hyperlink-Induced Topic Search (HITS).


title: Single photon absorption by a single atom: from heralded absorption to polarization state mapping

abstract: Together with photon emission, the absorption of a single photon by a single atom is a fundamental process in matter-light interaction that manifests its quantum mechanical nature. As an experimentally controlled process, it is a key tool for the realization of quantum technologies. In particular, in an atom/photon based quantum network scenario, in which localized atomic particles are used as quantum information processing nodes while photons are used as carriers of quantum information between distant nodes, controlling both emission and absorption of single photons by single atoms is required for quantum coherent state mapping between the two entities. Most experimental efforts to date have focused on establishing the control of single photon emission by single trapped atoms, and the implementation of quantum networking protocols using this interaction. In this chapter, we describe experimental efforts to control the process of single photon absorption by single trapped ions. We describe a series of experiments in which polarization entangled photon pairs, generated by a spontaneous parametric down-conversion source, are coupled to a single ion. First the source is operated to generate heralded single photons, and coincidences between the absorption event of one photon of the pair and the detection of the heralding partner photon are observed. We then show how polarization control in the process is established, leading to the manifestation of the photonic polarization entanglement in the absorption process. Finally, we introduce protocols in which this interaction scheme is harnessed to perform tasks in a quantum network, such as entanglement distribution among distant nodes of the network, and we demonstrate a specific protocol for heralded, high-fidelity photon-to-atom quantum state transfer.


title: Parity proofs of the Kochen-Specker theorem based on the Lie algebra E8

abstract: The 240 root vectors of the Lie algebra E8 lead to a system of 120 rays in a real 8-dimensional Hilbert space that contains a large number of parity proofs of the Kochen-Specker theorem. After introducing the rays in a triacontagonal representation due to Coxeter, we present their Kochen-Specker diagram in the form of a "basis table" showing all 2025 bases (i.e., sets of eight mutually orthogonal rays) formed by the rays. Only a few of the bases are actually listed, but simple rules are given, based on the symmetries of E8, for obtaining all the other bases from the ones shown. The basis table is an object of great interest because all the parity proofs of E8 can be exhibited as subsets of it. We show how the triacontagonal representation of E8 facilitates the identification of substructures that are more easily searched for their parity proofs. We have found hundreds of different types of parity proofs, ranging from 9 bases (or contexts) at the low end to 35 bases at the high end, and involving projectors of various ranks and multiplicities. After giving an overview of the proofs we found, we present a few concrete examples of the proofs that illustrate both their generic features as well as some of their more unusual properties. In particular, we present a proof involving 34 rays and 9 bases that appears to be the most compact parity proof found to date in 8 dimensions.


title: Existence of equilibrium for Infinite System of Interacting Diffusions

abstract: We develop and implement new probabilistic strategy for proving basic results about long time behaviour for interacting diffusion processes on unbounded lattice. The concept of the solution used is rather weak as we construct the process as a solution to suitable infinite dimensional martingale problem. However the techniques allow us to consider cases where the generator of the particle is degenerate elliptic operator. As a model example we present situation, where the operator arises from Heisenberg group. In the last section we mention some further examples that can be handled using our methods.


title: Revisiting linear augmentation for stabilizing stationary solutions: potential pitfalls and their application

abstract: Linear augmentation has recently been shown to be effective in targeting desired stationary solutions, suppressing bistablity, in regulating the dynamics of drive response systems and in controlling the dynamics of hidden attractors. The simplicity of the procedure is the highlight of this scheme but at the same time questions related to its general applicability still need to be addressed. Focusing on the issue of targeting stationary solutions, this work demonstrates instances where the scheme fails to stabilize the required solutions and leads to other complicated dynamical scenarios. Appropriate examples from conservative as well as dissipative systems are presented in this regard and potential applications for relevant observations in dissipative predator--prey systems are also discussed.