title: First-order quantum phase transitions: test ground for emergent chaoticity, regularity and persisting symmetries

abstract: We present a comprehensive analysis of the emerging order and chaos and enduring symmetries, accompanying a generic (high-barrier) first-order quantum phase transition (QPT). The interacting boson model Hamiltonian employed, describes a QPT between spherical and deformed shapes, associated with its U(5) and SU(3) dynamical symmetry limits. A classical analysis of the intrinsic dynamics reveals a rich but simply-divided phase space structure with a H\'enon-Heiles type of chaotic dynamics ascribed to the spherical minimum and a robustly regular dynamics ascribed to the deformed minimum. The simple pattern of mixed but well-separated dynamics persists in the coexistence region and traces the crossing of the two minima in the Landau potential. A quantum analysis discloses a number of regular low-energy U(5)-like multiplets in the spherical region, and regular SU(3)-like rotational bands extending to high energies and angular momenta, in the deformed region. These two kinds of regular subsets of states retain their identity amidst a complicated environment of other states and both occur in the coexistence region. A symmetry analysis of their wave functions shows that they are associated with partial U(5) dynamical symmetry (PDS) and SU(3) quasi-dynamical symmetry (QDS), respectively. The pattern of mixed but well-separated dynamics and the PDS or QDS characterization of the remaining regularity, appear to be robust throughout the QPT. Effects of kinetic collective rotational terms, which may disrupt this simple pattern, are considered.


title: The Complexity of the Simplex Method

abstract: The simplex method is a well-studied and widely-used pivoting method for solving linear programs. When Dantzig originally formulated the simplex method, he gave a natural pivot rule that pivots into the basis a variable with the most violated reduced cost. In their seminal work, Klee and Minty showed that this pivot rule takes exponential time in the worst case. We prove two main results on the simplex method. Firstly, we show that it is PSPACE-complete to find the solution that is computed by the simplex method using Dantzig's pivot rule. Secondly, we prove that deciding whether Dantzig's rule ever chooses a specific variable to enter the basis is PSPACE-complete. We use the known connection between Markov decision processes (MDPs) and linear programming, and an equivalence between Dantzig's pivot rule and a natural variant of policy iteration for average-reward MDPs. We construct MDPs and show PSPACE-completeness results for single-switch policy iteration, which in turn imply our main results for the simplex method.


title: Monadic Datalog Containment on Trees

abstract: We show that the query containment problem for monadic datalog on finite unranked labeled trees can be solved in 2-fold exponential time when (a) considering unordered trees using the axes child and descendant, and when (b) considering ordered trees using the axes firstchild, nextsibling, child, and descendant. When omitting the descendant-axis, we obtain that in both cases the problem is EXPTIME-complete.


title: Skybridge: 3-D Integrated Circuit Technology Alternative to CMOS

abstract: Continuous scaling of CMOS has been the major catalyst in miniaturization of integrated circuits (ICs) and crucial for global socio-economic progress. However, scaling to sub-20nm technologies is proving to be challenging as MOSFETs are reaching their fundamental limits and interconnection bottleneck is dominating IC operational power and performance. Migrating to 3-D, as a way to advance scaling, has eluded us due to inherent customization and manufacturing requirements in CMOS that are incompatible with 3-D organization. Partial attempts with die-die and layer-layer stacking have their own limitations. We propose a 3-D IC fabric technology, Skybridge[TM], which offers paradigm shift in technology scaling as well as design. We co-architect Skybridge's core aspects, from device to circuit style, connectivity, thermal management, and manufacturing pathway in a 3-D fabric-centric manner, building on a uniform 3-D template. Our extensive bottom-up simulations, accounting for detailed material system structures, manufacturing process, device, and circuit parasitics, carried through for several designs including a designed microprocessor, reveal a 30-60x density, 3.5x performance per watt benefits, and 10X reduction in interconnect lengths vs. scaled 16-nm CMOS. Fabric-level heat extraction features are shown to successfully manage IC thermal profiles in 3-D. Skybridge can provide continuous scaling of integrated circuits beyond CMOS in the 21st century.


title: Periodic Solutions of the extended Duffing-Van der Pol Oscillator

abstract: In this paper some aspects on the periodic solutions of the extended Duffing-Van der Pol oscillator are discussed. Doing different rescaling of the variables and parameters of the system associated to the extended Duffing-Van der Pol oscillator we show that it can bifurcate one or three periodic solutions from a 2-dimensional manifold filled by periodic solutions of the referred system. For each rescaling we exhibit concrete values for which these bounds are reached. Beyond that we characterize the stability of some periodic solutions. Our approach is analytical and the results are obtained using averaging theory and some algebraic techniques.


title: Universality of the Acceleration Due to Gravity on the Surface of a Rapidly Rotating Neutron Star

abstract: On the surface of a rapidly rotating neutron star, the effective centrifugal force decreases the effective acceleration due to gravity (as measured in the rotating frame) at the equator while increasing the acceleration at the poles due to the centrifugal flattening of the star into an oblate spheroid. We compute the effective gravitational acceleration for relativistic rapidly rotating neutron stars and show that for a star with mass $M$, equatorial radius $R_e$, and angular velocity $\Omega$, the deviations of the effective acceleration due to gravity from the nonrotating case take on a universal form that depends only on the compactness ratio $M/R_e$, the dimensionless square of the angular velocity $\Omega^2R_e^3/GM$, and the latitude on the star's surface. This dependence is universal, in that it has very little dependence on the neutron star's equation of state. The effective gravity is expanded in the slow rotation limit to show the dependence on the effective centrifugal force, oblate shape of the star and the quadrupole moment of the gravitational field. In addition, an empirical fit and simple formula for the effective gravity is found. We find that the increase in the acceleration due to gravity at the poles is of the same order of magnitude as the decrease in the effective acceleration due to gravity at the equator for all realistic value of mass, radius and spin. For neutron stars that spin with frequencies near 600 Hz the difference between the effective gravity at the poles and the equator is about 20%.


title: Moments of work in the two-point measurement protocol for a driven open quantum system

abstract: We study the distribution of work induced by the two-point measurement protocol for a driven open quantum system. We first derive a general form for the generating function of work for the total system, bearing in mind that the Hamiltonian does not necessarily commute with its time derivative. Using this result we then study the first few moments of work by using the master equation of the reduced system, invoking approximations similar to the ones made in the microscopic derivation of the reduced density matrix. Our results show that, already in the third moment of work, correction terms appear that involve commutators between the Hamiltonian and its time derivative. To demonstrate the importance of these terms, we consider a sinusoidally, weakly driven and weakly coupled open two-level quantum system, and indeed find that already in the third moment of work the correction terms are significant. We also compare our results to those obtained with the quantum jump method and find a good agreement.


title: A quantum algorithm to approximate the linear structures of Boolean functions

abstract: We present a quantum algorithm for approximating the linear structures of a Boolean function $f$. Different from previous algorithms (such as Simon's and Shor's algorithms) which rely on restrictions on the Boolean function, our algorithm applies to every Boolean function with no promise. Here, our methods are based on the result of the Bernstein-Vazirani algorithm which is to identify linear Boolean functions and the idea of Simon's period-finding algorithm. More precisely, how the extent of approximation changes over the time is obtained, and meanwhile we also get some quasi linear structures if there exists. Next, we obtain that the running time of the quantum algorithm to thoroughly determine this question is related to the relative differential uniformity $\delta_f$ of $f$. Roughly speaking, the smaller the $\delta_f$ is, the less time will be needed.


title: Zero-Hopf bifurcation in the FitzHugh-Nagumo system

abstract: We characterize the values of the parameters for which a zero--Hopf equilibrium point takes place at the singular points, namely, $O$ (the origin), $P_+$ and $P_-$ in the FitzHugh-Nagumo system. Thus we find two $2$--parameter families of the FitzHugh-Nagumo system for which the equilibrium point at the origin is a zero-Hopf equilibrium. For these two families we prove the existence of a periodic orbit bifurcating from the zero--Hopf equilibrium point $O$. We prove that exist three $2$--parameter families of the FitzHugh-Nagumo system for which the equilibrium point at $P_+$ and $P_-$ is a zero-Hopf equilibrium point. For one of these families we prove the existence of $1$, or $2$, or $3$ periodic orbits borning at $P_+$ and $P_-$.


title: Zero-Hopf bifurcation in a Chua system

abstract: A zero-Hopf equilibrium is an isolated equilibrium point whose eigenvalues are $\pm \omega i\neq 0$ and $0$. In general for a such equilibrium there is no theory for knowing when from it bifurcates some small-amplitude limit cycle moving the parameters of the system. Here we study the zero-Hopf bifurcation using the averaging theory. We apply this theory to a Chua system depending on $6$ parameters, but the way followed for studying the zero-Hopf bifurcation can be applied to any other differential system in dimension $3$ or higher. In this paper first we show that there are three $4$-parameter families of Chua systems exhibiting a zero-Hopf equilibrium. After, by using the averaging theory, we provide sufficient conditions for the bifurcation of limit cycles from these families of zero-Hopf equilibria. From one family we can prove that $1$ limit cycle bifurcate, and from the other two families we can prove that $1$, $2$ or $3$ limit cycles bifurcate simultaneously.


title: The secretary returns

abstract: In the online random-arrival model, an algorithm receives a sequence of n requests that arrive in a random order. The algorithm is expected to make an irrevocable decision with regard to each request based only on the observed history. We consider the following natural extension of this model: each request arrives k times, and the arrival order is a random permutation of the kn arrivals; the algorithm is expected to make a decision regarding each request only upon its last arrival. We focus primarily on the case when k=2, which can also be interpreted as each request arriving at, and departing from the system, at a random time. We examine the secretary problem: the problem of selecting the best secretary when the secretaries are presented online according to a random permutation. We show that when each secretary arrives twice, we can achieve a competitive ratio of ~0.768 (compared to 1/e in the classical secretary problem), and that it is optimal. We also show that without any knowledge about the number of secretaries or their arrival times, we can still hire the best secretary with probability at least 2/3, in contrast to the impossibility of achieving a constant success probability in the classical setting. We extend our results to the matroid secretary problem, introduced by Babaioff et al., (2007) and show a simple algorithm that achieves a 2-approximation to the maximal weighted basis in the new model (for k=2). We show that this approximation factor can be improved in special cases of the matroid secretary problem; in particular, we give a 16/9-competitive algorithm for the returning edge-weighted bipartite matching problem.


title: Nanowire Volatile RAM as an Alternative to SRAM

abstract: Maintaining benefits of CMOS technology scaling is becoming challenging due to increased manufacturing complexities and unwanted passive power dissipations. This is particularly challenging in SRAM, where manufacturing precision and leakage power control are critical issues. To alleviate some of these challenges a novel non-volatile memory alternative to SRAM was proposed called nanowire volatile RAM (NWRAM). Due to NWRAMs regular grid based layout and innovative circuit style, manufacturing complexity is reduced and at the same time considerable benefits are attained in terms of performance and leakage power reduction. In this paper, we elaborate more on NWRAM circuit aspects and manufacturability, and quantify benefits at 16nm technology node through simulation against state-of-the-art 6T-SRAM and gridded 8T-SRAM designs. Our results show the 10T-NWRAM to be 2x faster and 35x better in terms of leakage when compared to high performance gridded 8T-SRAM design.


title: Chaotic Planar Piecewise Smooth Vector Fields With Non Trivial Minimal Sets

abstract: In this paper some aspects on chaotic behavior and minimality in planar piecewise smooth vector fields theory are treated. The occurrence of non-deterministic chaos is observed and the concept of orientable minimality is introduced. It is also investigated some relations between minimality and orientable minimality and observed the existence of new kinds of non-trivial minimal sets in chaotic systems. The approach is geometrical and involve the ordinary techniques of non-smooth systems.


title: X-ray diagnostics of chemical composition of the accretion disk and donor star in UCXBs II: XMM-Newton observations

abstract: We search for the Fe K${\alpha}$ line in spectra of Ultra Compact X-ray Binaries (UCXBs). For this purpose we have analyzed XMM-Newton observations of five confirmed UCXBs. We find that the object 2S 0918-549 - whose optical spectrum bears tentative signatures of a C/O accretion disk - is devoid of any emission features in the 6-7 keV range, with an upper limit of less than 10 eV for the equivalent width (EW) of the iron line. 4U 1916-05 - whose optical spectrum is consistent with reflection from a He-rich accretion disk - exhibits a bright broad iron emission line. This behavior is in agreement with the theoretical predictions presented in Koliopanos, Gilfanov and Bildsten (2013). Namely, we expect strong suppression of the Fe K${\alpha}$ emission line in spectra originating in moderately bright (LogLx less than $\approx$ 37.5) UCXBs with C/O or O/Ne/Mg-rich donors. On the other hand the EW of the iron line in spectra from UCXBs with He-rich donors is expected to retain its nominal value of $\approx$ 100 eV. Our analysis also reveals a strong Fe K${\alpha}$ line in the spectrum of 4U 0614+091. This detection points towards a He-rich donor and seems to be at odds with the source's classification as C/O-rich. Nevertheless, a He-rich donor would explain the bursting activity reported for this system. Lastly, based on our theoretical predictions, we attribute the lack of a strong iron emission line - in the two remaining UCXB sources in our sample (XTE J1807-294, 4U 0513-40) - as an indication of a C/O or O/Ne/Mg white dwarf donor. From the upper limits of the Fe K${\alpha}$ line EW in 4U 0513-40, 2S 0918-549 and XTE J1807-294 we obtain a lower limit on the oxygen-to-iron ratio,O/Fe$\ge$ 10$\times$[O/Fe]$_{\odot}$.


title: Quasiparticle band structure and tight-binding model for single- and bilayer black phosphorus

abstract: By performing \emph{ab initio} calculations for one- to four-layer black phosphorus within the $GW$ approximation, we obtain a significant difference in the band gap ($\sim$1.5 eV), which is in line with recent experimental data. The results are analyzed in terms of the constructed four-band tight-binding model, which gives accurate descriptions of the mono- and bilayer band structure near the band gap, and reveal an important role of the interlayer hoppings, which are largely responsible for the obtained gap difference.


title: On sinh-Gordon Thermodynamic Bethe Ansatz and fermionic basis

abstract: We review the construction of the fermionic basis for sinh-Gordon model and investigate numerically the ultra-violet limit of the one-point functions. We then compare the predictions obtained from this formalism against previously established results.


title: Aperture Effects on Spectroscopic Galaxy Activity Classification

abstract: Activity classification of galaxies based on long-slit and fiber spectroscopy can be strongly influenced by aperture effects. Here we investigate how activity classification for 14 nearby galaxies depends on the proportion of the host galaxy's light that is included in the aperture. We use both observed long-slit spectra and simulated elliptical-aperture spectra of different sizes. The degree of change varies with galaxy morphology and nuclear activity type. Starlight removal techniques can mitigate but not remove the effect of host galaxy contamination in the nuclear aperture. Galaxies with extra-nuclear star formation can show higher [O III] {\lambda}5007/H{\beta} ratios with increasing aperture, in contrast to the naive expectation that integrated light will only dilute the nuclear emission lines. We calculate the mean dispersion for the diagnostic line ratios used in the standard BPT diagrams with respect to the central aperture of spectral extraction to obtain an estimate of the uncertainties resulting from aperture effects.


title: Random local attraction driven metal-superconductor transitions

abstract: In this paper, we investigate the disordered attractive Hubbard model by combining dynamical mean field theory, coherent potential approximation and iterated perturbation theory for superconductivity as an impurity solver. Disorder is introduced in the local attraction $U$. We assume that $U$ is distributed according to a bimodal probability distribution, wherein an $x$ fraction of sites are pairing centers ($U\neq0$) and $(1-x)$ fraction of sites are non-interacting ($U=0$). It is found that beyond a critical $x=x_c$, a first order metal-superconductor phase transition leads to superconductivity being induced in the interacting as well as non-interacting.


title: End of the cosmic neutrino energy spectrum

abstract: There may be a high-energy cutoff of neutrino events in IceCube data. In particular, IceCube does not observe either continuum events above 2 PeV, or the Standard Model Glashow-resonance events expected at 6.3 PeV. There are also no higher energy neutrino signatures in the ANITA and Auger experiments. This absence of high-energy neutrino events motivates a fundamental restriction on neutrino energies above a few PeV. We postulate a simple scenario to terminate the neutrino spectrum that is Lorentz-invariance violating, but with a limiting neutrino velocity that is always smaller than the speed of light. If the limiting velocity of the neutrino applies also to its associated charged lepton, then a significant consequence is that the two-body decay modes of the charged pion are forbidden above two times the maximum neutrino energy, while the radiative decay modes are suppressed at higher energies. Such stabilized pions may serve as cosmic ray primaries.


title: On stable sl3-homology of torus knots

abstract: The stable Khovanov-Rozansky homology of torus knots has been conjecturally described as the Koszul homology of an explicit non-regular sequence of polynomials. We verify this conjecture against newly available computational data for sl(3)-homology. Special attention is paid to torsion. In addition, explicit conjectural formulae are given for the sl(N)-homology of (3,m)-torus knots for all N and m, which are motivated by higher categorified Jones-Wenzl projectors. Structurally similar formulae are proven for Heegard-Floer homology.


title: Centre-of-mass motion in multi-particle Schroedinger-Newton dynamics

abstract: We investigate the implication of the non-linear and non-local multi-particle Schroedinger-Newton equation for the motion of the mass centre of an extended multi-particle object, giving self-contained and comprehensible derivations. In particular, we discuss two opposite limiting cases. In the first case, the width of the centre-of-mass wave packet is assumed much larger than the actual extent of the object, in the second case it is assumed much smaller. Both cases result in non-linear deviations from ordinary free Schroedinger evolution for the centre of mass. On a general conceptual level we include some discussion in order to clarify the physical basis and intention for studying the Schroedinger-Newton equation.


title: Spontaneous breaking of time reversal symmetry in strongly interacting two dimensional electron layers in silicon and germanium

abstract: We report experimental evidence of a remarkable spontaneous time reversal symmetry breaking in two dimensional electron systems formed by atomically confined doping of phosphorus (P) atoms inside bulk crystalline silicon (Si) and germanium (Ge). Weak localization corrections to the conductivity and the universal conductance fluctuations were both found to decrease rapidly with decreasing doping in the Si:P and Ge:P $\delta-$layers, suggesting an effect driven by Coulomb interactions. In-plane magnetotransport measurements indicate the presence of intrinsic local spin fluctuations at low doping, providing a microscopic mechanism for spontaneous lifting of the time reversal symmetry. Our experiments suggest the emergence of a new many-body quantum state when two dimensional electrons are confined to narrow half-filled impurity bands.


title: Next-to-leading order thermal photon production in a weakly-coupled plasma

abstract: We summarize the recent determination to next-to-leading order of the thermal photon rate at weak coupling. We emphasize how it can be expressed in terms of gauge-invariant condensates on the light cone, which are amenable to novel sum rules and Euclidean techniques. For the phenomenologically interesting value of alpha_s=0.3, the NLO correction represents a 20% increase and has a functional form similar to the LO result.


title: Extraction of Projection Profile, Run-Histogram and Entropy Features Straight from Run-Length Compressed Text-Documents

abstract: Document Image Analysis, like any Digital Image Analysis requires identification and extraction of proper features, which are generally extracted from uncompressed images, though in reality images are made available in compressed form for the reasons such as transmission and storage efficiency. However, this implies that the compressed image should be decompressed, which indents additional computing resources. This limitation induces the motivation to research in extracting features directly from the compressed image. In this research, we propose to extract essential features such as projection profile, run-histogram and entropy for text document analysis directly from run-length compressed text-documents. The experimentation illustrates that features are extracted directly from the compressed image without going through the stage of decompression, because of which the computing time is reduced. The feature values so extracted are exactly identical to those extracted from uncompressed images.


title: Simplicial Structure on Complexes

abstract: While chain complexes are equipped with a differential $d$ satisfying $d^2 = 0$, their generalizations called $N$-complexes have a differential $d$ satisfying $d^N = 0$. In this paper we show that the lax nerve of the category of chain complexes is pointwise adjoint equivalent to the d\'ecalage of the simplicial category of $N$-complexes. This reveals additional simplicial structure on the lax nerve of the category of chain complexes which provides a categorfication of the triangulated homotopy category of chain complexes. We study this phenomena in general and present evidence that the axioms of triangulated categories have simplicial origin.


title: Abelian and metabelian quotients of surface braid groups

abstract: In this paper we study abelian and metabelian quotients of braid groups on oriented surfaces with boundary components. We provide group presentations and we prove rigidity results for these quotients arising from exact sequences related to (generalised) Fadell-Neuwirth fibrations.


title: G-protein coupled receptor subfamily identification using phylogenetic comparison of gene and species trees

abstract: Most approaches to prediction of protein function from primary structure are based on similarity between the query sequence and sequences of known function. This approach, however, disregards the occurrence of gene duplication (paralogy) or convergent evolution of the genes. The analysis of correlated proteins that share a common domain, taking into consideration the evolutionary history of genes under study may provide a more reliable annotation of predicted proteins with unknown function. A computer program that enables real-time comparison of 'gene trees' with 'species trees' was developed. The Phylogenetic Genome Annotator (PGA) performs a profile based multiple sequence alignment of a set of sequences that share a common domain to generate a phylogenetic gene tree, which is compared to the species phylogeny inferred from aligned ribossomal RNA data. The correlated protein domains are then displayed side-by-side with the phylogeny of the corresponding species. The statistical support of gene clusters (branches) is given by the quartet puzzling method. This analysis readily discriminates paralogs from orthologs, enabling the identification of proteins originated by gene duplications and the prediction of possible functional divergence in groups of similar sequences. The tool was tested in three distinct subfamilies of the G-protein coupled receptor superfamily. In the analysed datasets, the paralogy prediction agreed with the known subfamily grouping, suggesting that subfamily divergence was facilitated by duplication events in the ancestral nodes.


title: Cosmology in a certain vector-tensor theory of gravitation

abstract: We study relevant cosmological topics in the framework of a certain vector-tensor theory of gravitation (hereafter VT). This theory is first compared with the so-called extended electromagnetism (EE). These theories have a notable resemblance and both explain the existence of a cosmological constant. It is shown that, in EE, a positive dark energy density requires a Lagrangian leading to quantum ghosts, whereas VT is free from these ghosts. On account of this fact, the remainder of the paper is devoted to study cosmology in the framework of VT. Initial conditions, at high redshift, are used to solve the evolution equations of all the VT scalar modes. In particular, a certain scalar mode characteristic of VT -which does not appear in general relativity (GR)- is chosen in such a way that it evolves separately. In other words, the scalar modes of the standard model based on GR do not affect the evolution of the VT characteristic mode; however, this scalar mode influences the evolution of the standard GR ones. Some well known suitable codes (CMBFAST and COSMOMC) have been modified to include our VT initial conditions and evolution equations, which are fully general. One of the resulting codes -based on standard statistical methods- has been used to fit VT predictions and observational evidences about both Ia supernovae and cosmic microwave background anisotropy. Seven free parameters are used in this fit. Six of them are often used in GR cosmology and the seventh one is characteristic of VT. From the statistical analysis it follows that VT seems to be advantageous against GR in order to explain cosmological observational evidences.


title: Singular diffusion and criticality in a confined sandpile

abstract: We investigate the behavior of a two-state sandpile model subjected to a confining potential in one and two dimensions. From the microdynamical description of this simple model with its intrinsic exclusion mechanism, it is possible to derive a continuum nonlinear diffusion equation that displays singularities in both the diffusion and drift terms. The stationary-state solutions of this equation, which maximizes the Fermi-Dirac entropy, are in perfect agreement with the spatial profiles of time-averaged occupancy obtained from model numerical simulations in one as well as in two dimensions. Surprisingly, our results also show that, regardless of dimensionality, the presence of a confining potential can lead to the emergence of typical attributes of critical behavior in the two-state sandpile model, namely, a power-law tail in the distribution of avalanche sizes.


title: Impurity-assisted tunneling magnetoresistance under weak magnetic field

abstract: Injection of spins into semiconductors is essential for the integration of the spin functionality into conventional electronics. Insulating layers are often inserted between ferromagnetic metals and semiconductors for obtaining an efficient spin injection, and it is therefore crucial to distinguish between signatures of electrical spin injection and impurity-driven effects in the tunnel barrier. Here we demonstrate an impurity-assisted tunneling magnetoresistance effect in nonmagnetic-insulator-nonmagnetic and ferromagnetic-insulator-nonmagnetic tunnel barriers. In both cases, the effect reflects on/off switching of the tunneling current through impurity channels by the external magnetic field. The reported effect, which is universal for any impurity-assisted tunneling process, finally clarifies the controversy of a widely used technique that employs the same ferromagnetic electrode to inject and detect spin accumulation.


title: From B Modes to Quantum Gravity and Unification of Forces

abstract: It is commonly anticipated that gravity is subject to the standard principles of quantum mechanics. Yet some (including Einstein) have questioned that presumption, whose empirical basis is weak. Indeed, recently Freeman Dyson has emphasized that no conventional experiment is capable of detecting individual gravitons. However, as we describe, if inflation occurred, the Universe, by acting as an ideal graviton amplifier, affords such access. It produces a classical signal, in the form of macroscopic gravitational waves, in response to spontaneous (not induced) emission of gravitons. Thus recent BICEP2 observations of polarization in the cosmic microwave background will, if confirmed, provide empirical evidence for the quantization of gravity. Their details also support quantitative ideas concerning the unification of strong, electromagnetic, and weak forces, and of all these with gravity.


title: General structure of quantum collisional models

abstract: We point to the connection between a recently introduced class of non-Markovian master equations and the general structure of quantum collisional models. The basic construction relies on three basic ingredients: a collection of time dependent completely positive maps, a completely positive trace preserving transformation and a waiting time distribution characterizing a renewal process. The relationship between this construction and a Lindblad dynamics is clarified by expressing the solution of a Lindblad master equation in terms of demixtures over different stochastic trajectories for the statistical operator weighted by suitable probabilities on the trajectory space.


title: Moment formulas for multi-type continuous state and continuous time branching processes with immigration

abstract: Recursions for moments of multi-type continuous state and continuous time branching process with immigration are derived. It turns out that the $k$-th (mixed) moments and the $k$-th (mixed) central moments are polynomials of the initial value of the process, and their degree are at most $k$ and $\lfloor k/2 \rfloor$, respectively.


title: Majorana and Condensed Matter Physics

abstract: Ettore Majorana contributed several ideas that have had significant, lasting impact in condensed matter physics, broadly construed. Here I will discuss, from a modern perspective, four important topics that have deep roots in Majorana's work: 1. Spin Response and Universal Connection; 2. Level Crossing and Generalized Laplace Transform; 3. Majorana Fermions, From Neutrinos to Electrons; 4. Majorinos and Emergent Symmetry.


title: A crossed product of the CAR algebra in the Cuntz algebra

abstract: In this paper we show that the Cuntz algebra can be represented as a C*-crossed product by endomorphism of the canonical anticommutation relations (CAR) algebra, generated by the standard recursive fermion system.


title: Un th\'eor\`eme de lin\'earit\'e de la construction d'Abbes et Saito pour les connexions m\'eromorphes

abstract: Let M be a connection on a complex affine space with poles along a hyperplane. In this paper, we prove that the nearby cycles of Abbes and Saito's construction applied to M satisfy a linearity condition analogous to that obtained by Abbes and Saito in the l-adic setting. This generalizes the fact that in dimension one, the module produced by Abbes and Saito's construction is a direct sum of exponential modules associated to linear forms.


title: Conceptive Artificial Intelligence: Insights from design theory

abstract: The current paper offers a perspective on what we term conceptive intelligence - the capacity of an agent to continuously think of new object definitions (tasks, problems, physical systems, etc.) and to look for methods to realize them. The framework, called a Brouwer machine, is inspired by previous research in design theory and modeling, with its roots in the constructivist mathematics of intuitionism. The dual constructivist perspective we describe offers the possibility to create novelty both in terms of the types of objects and the methods for constructing objects. More generally, the theoretical work on which Brouwer machines are based is called imaginative constructivism. Based on the framework and the theory, we discuss many paradigms and techniques omnipresent in AI research and their merits and shortcomings for modeling aspects of design, as described by imaginative constructivism. To demonstrate and explain the type of creative process expressed by the notion of a Brouwer machine, we compare this concept with a system using genetic algorithms for scientific law discovery.


title: Age Aspects of Habitability

abstract: A habitable zone of a star is defined as a range of orbits within which a rocky planet can support liquid water on its surface. The most intriguing question driving the search for habitable planets is whether they host life. But is the age of the planet important for its habitability? If we define habitability as the ability of a planet to beget life, then probably not. After all, life on Earth has developed within only about 800 Myr after its formation. If, however, we define habitability as our ability to detect life on the surface of exoplanets, then age becomes a crucial parameter. Only after life had evolved sufficiently complex to change its environment on a planetary scale, can we detect it remotely through its imprint on the atmosphere - the biosignatures, out of which the photosynthetic oxygen is the most prominent indicator of developed life as we know it. But the onset of photosynthesis on planets in habitable zones may take much longer time than the planetary age. The knowledge of the age of a planet is necessary for developing a strategy to search for exoplanets carrying complex (developed) life - many confirmed potentially habitable planets are too young (orbiting Population I stars) and may not have had enough time to develop and/or sustain detectable life. In the last decade, many planets orbiting old (9-13 Gyr) metal-poor Population II stars have been discovered. Such planets had had enough time to develop necessary chains of chemical reactions and may carry detectable life if located in a habitable zone. These old planets should be primary targets in search for the extraterrestrial life.


title: On the low lying spectrum of the magnetic Schr\"odinger operator with kagome periodicity

abstract: We study in a semiclassical regime a two-dimensional magnetic periodic Schr\"odinger operator. We first review some results for the square (Harper), triangular and hexagonal (case of the graphene) lattices. Then we study the case considered by Hou when the periodicity is given by a kagome lattice. We reduce the problem to the study of discrete and pseudodifferential operators and obtain pictures similar to Hofstadter's butterfly. We prove the existence of flat bands, which do not occur in the three previous cases.


title: Confinement by biased velocity jumps: aggregation of Escherichia coli

abstract: We investigate a linear kinetic equation derived from a velocity jump process modelling bacterial chemotaxis in the presence of an external chemical signal centered at the origin. We prove the existence of a positive equilibrium distribution with an exponential decay at infinity. We deduce a hypocoercivity result, namely: the solution of the Cauchy problem converges exponentially fast towards the stationary state. The strategy follows [J. Dolbeault, C. Mouhot, and C. Schmeiser, Hypocoercivity for linear kinetic equations conserving mass, Trans. AMS 2014]. The novelty here is that the equilibrium does not belong to the null spaces of the collision operator and of the transport operator. From a modelling viewpoint it is related to the observation that exponential confinement is generated by a spatially inhomogeneous bias in the velocity jump process.


title: Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More

abstract: We study the decidability of three well-known problems related to integer matrix multiplication: Mortality (M), Zero in the Left-Upper Corner (Z), and Zero in the Right-Upper Corner (R). Let d and k be positive integers. Define M(k, d x d) as the following special case of the Mortality problem: given a set X of d -by-d integer matrices such that the cardinality of X is not greater than k, decide whether the d-by-d zero matrix belongs to X^+, where X^+ denotes the closure of X under the usual matrix multiplication. In the same way, define the Z(k, d x d) problem as: given an instance X of M(k, d x d) (the instances of Z(k, d x d) are the same as those of M(k, d x d)), decide whether at least one matrix in X^+ has a zero in the left-upper corner. Define R(k, d x d) as the variant of Z(k, d x d) where "left-upper corner" is replaced with "right-upper corner". In the paper, we prove that M(6, 3 x 3), M(4, 5 x 5), M(3, 9 x 9), M(2, 15 x 15), Z(5, 3 x 3), Z(3, 5 x 5), Z(2, 9 x 9), R(6, 3 x 3), R(5, 4 x 4), and R(3, 6 x 6) are undecidable. The previous best comparable results were the undecidabilities of M(7, 3 x 3), M(3, 13 x 13), M(2, 21 x 21), Z(7, 3 x 3), Z(2, 13 x 13), R(7, 3 x 3), and R(2, 10 x 10).


title: Moment bounds and concentration inequalities for slowly mixing dynamical systems

abstract: We obtain optimal moment bounds for Birkhoff sums, and optimal concentration inequalities, for a large class of slowly mixing dynamical systems, including those that admit anomalous diffusion in the form of a stable law or a central limit theorem with nonstandard scaling $(n\log n)^{1/2}$.


title: Improved rates for Wasserstein deconvolution with ordinary smooth error in dimension one

abstract: This paper deals with the estimation of a probability measure on the real line from data observed with an additive noise. We are interested in rates of convergence for the Wasserstein metric of order $p\geq 1$. The distribution of the errors is assumed to be known and to belong to a class of supersmooth or ordinary smooth distributions. We obtain in the univariate situation an improved upper bound in the ordinary smooth case and less restrictive conditions for the existing bound in the supersmooth one. In the ordinary smooth case, a lower bound is also provided, and numerical experiments illustrating the rates of convergence are presented.


title: Nonlinear Zeno dynamics due to atomic interactions in Bose-Einstein condensate

abstract: We show that nonlinear interactions induce both the Zeno and anti-Zeno effects in the generalised Bose-Josephson model (with the on-site interactions and the second-order tunneling) describing Bose-Einstein condensate in double-well trap subject to particle removal from one of the wells. We find that the on-site interactions induce \textit{only} the Zeno effect, which appears at long evolution times, whereas the second-order tunneling leads to a strong decay of the atomic population at short evolution times, reminiscent of the anti-Zeno effect, and destroys the nonlinear Zeno effect due to the on-site interactions at long times.


title: Dynamic optimal execution in a mixed-market-impact Hawkes price model

abstract: We study a linear price impact model including other liquidity takers, whose flow of orders either follows a Poisson or a Hawkes process. The optimal execution problem is solved explicitly in this context, and the closed-formula optimal strategy describes in particular how one should react to the orders of other traders. This result enables us to discuss the viability of the market. It is shown that Poissonian arrivals of orders lead to quite robust Price Manipulation Strategies in the sense of Huberman and Stanzl. Instead, a particular set of conditions on the Hawkes model balances the self-excitation of the order flow with the resilience of the price, excludes Price Manipulation Strategies and gives some market stability.


title: A probabilistic estimation and prediction technique for dynamic continuous social science models: The evolution of the attitude of the Basque Country population towards ETA as a case study

abstract: In this paper, we present a computational technique to deal with uncertainty in dynamic continuous models in Social Sciences. Considering data from surveys, the method consists of determining the probability distribution of the survey output and this allows to sample data and fit the model to the sampled data using a goodness-of-fit criterion based on the chi-square-test. Taking the fitted parameters non-rejected by the chi-square-test, substituting them into the model and computing their outputs, we build 95% confidence intervals in each time instant capturing uncertainty of the survey data (probabilistic estimation). Using the same set of obtained model parameters, we also provide a prediction over the next few years with 95% confidence intervals (probabilistic prediction). This technique is applied to a dynamic social model describing the evolution of the attitude of the Basque Country population towards the revolutionary organization ETA.


title: Ultraviolet Observations of Super-Chandrasekhar Mass Type Ia Supernova Candidates with Swift UVOT

abstract: Among Type Ia supernovae (SNe~Ia) exist a class of overluminous objects whose ejecta mass is inferred to be larger than the canonical Chandrasekhar mass. We present and discuss the UV/optical photometric light curves, colors, absolute magnitudes, and spectra of three candidate Super-Chandrasekhar mass SNe--2009dc, 2011aa, and 2012dn--observed with the Swift Ultraviolet/Optical Telescope. The light curves are at the broad end for SNe Ia, with the light curves of SN~2011aa being amongst the broadest ever observed. We find all three to have very blue colors which may provide a means of excluding these overluminous SNe from cosmological analysis, though there is some overlap with the bluest of "normal" SNe Ia. All three are overluminous in their UV absolute magnitudes compared to normal and broad SNe Ia, but SNe 2011aa and 2012dn are not optically overluminous compared to normal SNe Ia. The integrated luminosity curves of SNe 2011aa and 2012dn in the UVOT range (1600-6000 Angstroms) are only half as bright as SN~2009dc, implying a smaller 56Ni yield. While not enough to strongly affect the bolometric flux, the early time mid-UV flux makes a significant contribution at early times. The strong spectral features in the mid-UV spectra of SNe 2009dc and 2012dn suggest a higher temperature and lower opacity to be the cause of the UV excess rather than a hot, smooth blackbody from shock interaction. Further work is needed to determine the ejecta and 56Ni masses of SNe 2011aa and 2012dn and fully explain their high UV luminosities.


title: On parameter identification in stochastic differential equations by penalized maximum likelihood

abstract: In this paper we present nonparametric estimators for coefficients in stochastic differential equation if the data are described by independent, identically distributed random variables. The problem is formulated as a nonlinear ill-posed operator equation with a deterministic forward operator described by the Fokker-Planck equation. We derive convergence rates of the risk for penalized maximum likelihood estimators with convex penalty terms and for Newton-type methods. The assumptions of our general convergence results are verified for estimation of the drift coefficient. The advantages of log-likelihood compared to quadratic data fidelity terms are demonstrated in Monte-Carlo simulations.


title: Velocity Reversal Criterion of a Body Immersed in a Sea of Particles

abstract: We consider a rigid body colliding with a continuum of particles. We assume that the body is moving at a velocity close to an equilibrium velocity V_{\infty} and that the particles colliding with the body reflect diffusely, that is, probabilistically with some probablility distribution K. We find a condition that is sufficient and almost necessary that the collective force of the colliding particles reverses the relative velocity V(t) of the body, that is, changes the sign of V(t)-V_{\infty}, before the body approaches equilibrium. Examples of both reversal and irreversal are given. This is in strong contrast with the pure specular reflection case in which only reversal happens.


title: On the complexity of computing Kronecker coefficients

abstract: We study the complexity of computing Kronecker coefficients $g(\lambda,\mu,\nu)$. We give explicit bounds in terms of the number of parts $\ell$ in the partitions, their largest part size $N$ and the smallest second part $M$ of the three partitions. When $M = O(1)$, i.e. one of the partitions is hook-like, the bounds are linear in $\log N$, but depend exponentially on $\ell$. Moreover, similar bounds hold even when $M=e^{O(\ell)}$. By a separate argument, we show that the positivity of Kronecker coefficients can be decided in $O(\log N)$ time for a bounded number $\ell$ of parts and without restriction on $M$. Related problems of computing Kronecker coefficients when one partition is a hook, and computing characters of $S_n$ are also considered.


title: Two Structural Results for Low Degree Polynomials and Applications

abstract: In this paper, two structural results concerning low degree polynomials over finite fields are given. The first states that over any finite field $\mathbb{F}$, for any polynomial $f$ on $n$ variables with degree $d \le \log(n)/10$, there exists a subspace of $\mathbb{F}^n$ with dimension $\Omega(d \cdot n^{1/(d-1)})$ on which $f$ is constant. This result is shown to be tight. Stated differently, a degree $d$ polynomial cannot compute an affine disperser for dimension smaller than $\Omega(d \cdot n^{1/(d-1)})$. Using a recursive argument, we obtain our second structural result, showing that any degree $d$ polynomial $f$ induces a partition of $F^n$ to affine subspaces of dimension $\Omega(n^{1/(d-1)!})$, such that $f$ is constant on each part. We extend both structural results to more than one polynomial. We further prove an analog of the first structural result to sparse polynomials (with no restriction on the degree) and to functions that are close to low degree polynomials. We also consider the algorithmic aspect of the two structural results. Our structural results have various applications, two of which are: * Dvir [CC 2012] introduced the notion of extractors for varieties, and gave explicit constructions of such extractors over large fields. We show that over any finite field, any affine extractor is also an extractor for varieties with related parameters. Our reduction also holds for dispersers, and we conclude that Shaltiel's affine disperser [FOCS 2011] is a disperser for varieties over $F_2$. * Ben-Sasson and Kopparty [SIAM J. C 2012] proved that any degree 3 affine disperser over a prime field is also an affine extractor with related parameters. Using our structural results, and based on the work of Kaufman and Lovett [FOCS 2008] and Haramaty and Shpilka [STOC 2010], we generalize this result to any constant degree.


title: Temporal sequences of spikes during practice code for time in a complex motor sequence

abstract: Practice of a complex motor gesture involves exploration of motor space to attain a better match to target output, but little is known about the neural code for such exploration. Here, we examine spiking in an area of the songbird brain known to contribute to modification of song output. We find that neurons in the outflow nucleus of a specialized basal ganglia- thalamocortical circuit, the lateral magnocellular nucleus of the anterior nidopallium (LMAN), code for time in the motor gesture (song) both during singing directed to a female bird (performance) and when the bird sings alone (practice). Using mutual information to quantify the correlation between temporal sequences of spikes and time in song, we find that different symbols code for time in the two singing states. While isolated spikes code for particular parts of song during performance, extended strings of spiking and silence, particularly burst events, code for time in song during practice. This temporal coding during practice can be as precise as isolated spiking during performance to a female, supporting the hypothesis that neurons in LMAN actively sample motor space, guiding song modification at local instances in time.


title: Supersymmetry approach to delocalization transitions in a network model of the weak field quantum Hall effect and related models

abstract: We consider a recently proposed network model of the integer quantum Hall (IQH) effect in a weak magnetic field. Using a supersymmetry approach, we reformulate the network model in terms of a superspin ladder. A subsequent analysis of the superspin ladder and the corresponding supersymmetric nonlinear sigma model allows to establish the phase diagram of the network model, and the form of the critical line of the weak-field IQH transition. Our results confirm the universality of the IQH transition, which is described by the same sigma model in strong and weak magnetic fields. We apply the suspersymmetry method to several related network models that were introduced in the literature to describe the quantum Hall effect in graphene, the spin-degenerate Landau levels, and localization of electrons in a random magnetic field.


title: Espace de Dixmier des op\'erateurs de Hankel sur les espaces de Bergman \`a poids

abstract: We compute the Dixmier trace of Hankel operator on the weighted Bergman space. The same result of the Bergman space has been shown by Englis and Rochberg.


title: Energy dependence of the parity-violating asymmetry of circularly polarized photons in $d\vec{\gamma} \to np$ in pionless effective field theory

abstract: We calculate the energy dependence of the asymmetry in the cross sections for circularly polarized photons on an unpolarized deuteron target in $d\vec{\gamma} \to np$ in pionless effective field theory. By matching the parity-violating low-energy constants to different sets of corresponding model parameters we obtain estimates for the asymmetry. In addition we calculate two possible figures of merit for the asymmetry in order to assess the preferred photon energy at which to perform a possible future experiment at a high-intensity photon source.


title: Stability and integration over Bergman metrics

abstract: We study partition functions of random Bergman metrics, with the actions defined by a class of geometric functionals known as `stability functions'. We introduce a new stability invariant - the critical value of the coupling constant - defined as the minimal coupling constant for which the partition function converges. It measures the minimal degree of stability of geodesic rays in the space the Bergman metrics, with respect to the action. We calculate this critical value when the action is the $\nu$-balancing energy, and show that $\gamma_k^{\rm crit} = k - h$ on a Riemann surface of genus $h$.


title: Waterfilling Theorems in the Time-Frequency Plane for the Heat Channel and a Related Source

abstract: The capacity of the heat channel, a linear time-varying (LTV) filter with additive white Gaussian noise (AWGN), is characterized by waterfilling in the time-frequency plane. Similarly, the rate distortion function for a related nonstationary source is characterized by reverse waterfilling in the time-frequency plane. The source is formed by the white Gaussian noise response of the same LTV filter as before. The proofs of both waterfilling theorems rely on a specific Szego theorem for a positive definite operator associated with the filter. An essentially self-contained proof of the Szego theorem is given. The waterfilling theorems compare well with classical results of Gallager and Berger. In case of the nonstationary source it is observed that the part of the classical power spectral density (PSD) is taken by the Wigner-Ville spectrum (WVS).


title: Hopf Bifurcation in a Gene Regulatory Network Model: Molecular Movement Causes Oscillations

abstract: Gene regulatory networks, i.e. DNA segments in a cell which interact with each other indirectly through their RNA and protein products, lie at the heart of many important intracellular signal transduction processes. In this paper we analyse a mathematical model of a canonical gene regulatory network consisting of a single negative feedback loop between a protein and its mRNA (e.g. the Hes1 transcription factor system). The model consists of two partial differential equations describing the spatio-temporal interactions between the protein and its mRNA in a 1-dimensional domain. Such intracellular negative feedback systems are known to exhibit oscillatory behaviour and this is the case for our model, shown initially via computational simulations. In order to investigate this behaviour more deeply, we next solve our system using Green's functions and then undertake a linearized stability analysis of the steady states of the model. Our results show that the diffusion coefficient of the protein/mRNA acts as a bifurcation parameter and gives rise to a Hopf bifurcation. This shows that the spatial movement of the mRNA and protein molecules alone is sufficient to cause the oscillations. This has implications for transcription factors such as p53, NF-$\kappa$B and heat shock proteins which are involved in regulating important cellular processes such as inflammation, meiosis, apoptosis and the heat shock response, and are linked to diseases such as arthritis and cancer.


title: Privacy-Preserving Social Network with Multigrained and Multilevel Access Control

abstract: I study two privacy-preserving social network graphs to dis- close the types of relationships of connecting edges and provide flexible multigrained access control. To create such graphs, my schemes employ the concept of secretaries and types of relationships. It is significantly more efficient than those that using expensive cryptographic primitives. I also show how these schemes can be used for multigrained access control with various options. In addition, I describe how much these schemes are resilient to infer the types of connecting edges.


title: Searching for Gravitational Wave Bursts via Bayesian Nonparametric Data Analysis with Pulsar Timing Arrays

abstract: Gravitational wave burst is a catch-all category for signals whose durations are shorter than the observation period. We apply a method new to gravitational wave data analysis --- Bayesian non-parameterics --- to the problem of gravitational wave detection, with an emphasis on pulsar timing array observations. In Bayesian non-parametrics, constraints are set on the function space that may be reasonably thought to characterize the range of gravitational-wave signals. This differs from the approaches currently employed or proposed, which focus on introducing parametric signal models or looking for excess power as evidence of the presence of a gravitational wave signal. Our Bayesian nonparametrics analysis method addresses two issues: (1) investigate if a gravitational wave burst is present in the data; (2) infer the sky location of the source and the duration of the burst. Compared with the popular method proposed by Finn \& Lommen, our method improves in two aspects: (1) we can estimate the burst duration by adding the prior that the gravitational wave signals are smooth, while Finn \& Lommen ignored this important point; (2) we perform a full Bayesian analysis by marginalizing over all possible parameters and provide robust inference on the presence of gravitational waves, while Finn \& Lommen chose to optimize over parameters, which would increase false alarm risk and also underestimate the parameter uncertainties.


title: Group A Rotavirus NSP4 is Under Negative Selective Pressure

abstract: Rotavirus (RV) is the major etiologic agent of severe infantile gastroenteritis; its genome has 11 segments of double stranded RNA, encoding 12 proteins. The non-structural protein 4 (NSP4) encoded by segment 10 is multifunctional. The aim of this study is to analyze the selective pressure driving the NSP4 of RV, through the ratio of non-synonymous substitutions per synonymous substitutions (dN/dS). Our results show that NSP4 is under negative evolutionary pressure (84.57% of the amino acid sequence) and no site was found under positive selection. This may support other evolutionary studies of different RV proteins or viral agents.


title: Security Analyses of Quantum Communication Protocols

abstract: Truly concurrent process algebras are generalizations to the traditional process algebras for true concurrency, CTC to CCS, APTC to ACP,$\pi_{tc}$ to $\pi$ calculus, APPTC to probabilistic process algebra.In this book, we utilize truly concurrent process algebras APTC and APPTC to model quantum computing and unify quantum and classical computing.


title: Diagonal approximation and the cohomology ring of the fundamental groups of surfaces

abstract: We construct finite free resolutions of Z over ZG, where G is the fundamental group of a surface distinct from S^2 and RP^2, and define diagonal approximations for these resolutions. We then procceed to give some possible applications that come with the knowledge of those maps.


title: ATLAS: A geometric approach to learning high-dimensional stochastic systems near manifolds

abstract: When simulating multiscale stochastic differential equations (SDEs) in high-dimensions, separation of timescales, stochastic noise and high-dimensionality can make simulations prohibitively expensive. The computational cost is dictated by microscale properties and interactions of many variables, while the behavior of interest often occurs at the macroscale level and at large time scales, often characterized by few important, but unknown, degrees of freedom. For many problems bridging the gap between the microscale and macroscale by direct simulation is computationally infeasible. In this work we propose a novel approach to automatically learn a reduced model with an associated fast macroscale simulator. Our unsupervised learning algorithm uses short parallelizable microscale simulations to learn provably accurate macroscale SDE models, which are continuous in space and time. The learning algorithm takes as input: the microscale simulator, a local distance function, and a homogenization spatial or temporal scale, which is the smallest time scale of interest in the reduced system. The learned macroscale model can then be used for fast computation and storage of long simulations. We prove guarantees that related the number of short paths requested from the microscale simulator to the accuracy of the learned macroscale simulator. We discuss various examples, both low- and high-dimensional, as well as results about the accuracy of the fast simulators we construct, and its dependency on the number of short paths requested from the microscale simulator.


title: Quantum Circuit for Calculating Mean Values Via Grover-like Algorithm

abstract: In this paper, we give a quantum circuit for calculating the mean value of a function $A(x^n)\in \mathbb{C}$, where $x^n\in \{0,1\}^n$. Known classical algorithms for calculating the mean value of a structureless function $A(x^n)$ take ${\cal O}(2^n)$ steps. Our quantum algorithm is based on a Grover-like algorithm and it takes ${\cal O}(\sqrt{2^n})$ steps. Our algorithm differs significantly from previously proposed quantum algorithms for calculating the mean value of a function via Grover's algorithm.


title: Millisecond-scale motor encoding in a cortical vocal area

abstract: Studies of motor control have almost universally examined firing rates to investigate how the brain shapes behavior. In principle, however, neurons could encode information through the precise temporal patterning of their spike trains as well as (or instead of) through their firing rates. Although the importance of spike timing has been demonstrated in sensory systems, it is largely unknown whether timing differences in motor areas could affect behavior. We tested the hypothesis that significant information about trial-by-trial variations in behavior is represented by spike timing in the songbird vocal motor system. We found that premotor neurons convey information via spike timing far more often than via spike rate and that the amount of information conveyed at the millisecond timescale greatly exceeds the information available from spike counts. These results demonstrate that information can be represented by spike timing in motor circuits and suggest that timing variations evoke differences in behavior.


title: Advances in Observing Various Coronal EUV Waves in the SDO Era and Their Seismological Applications (Invited Review)

abstract: Global extreme ultraviolet (EUV) waves are spectacular traveling disturbances in the solar corona associated with energetic eruptions such as coronal mass ejections (CMEs) and flares. Over the past 15 years, observations from three generations of space-borne EUV telescopes have shaped our understanding of this phenomenon and at the same time led to controversy about its physical nature. Since its launch in 2010, the Atmospheric Imaging Assembly (AIA) onboard the Solar Dynamics Observatory (SDO) has observed more than 210 global EUV waves in exquisite detail, thanks to its high spatio-temporal resolution and full-disk, wide-temperature coverage. A combination of statistical analysis of this large sample, 30 some detailed case studies, and data-driven MHD modeling, has been leading their physical interpretations to a convergence, favoring a bimodal composition of an outer, fast-mode magnetosonic wave component and an inner, non-wave CME component. Adding to this multifaceted picture, AIA has also discovered new EUV wave and wave-like phenomena associated with various eruptions, including quasi-periodic fast propagating (QFP) wave trains, magnetic Kelvin-Helmholtz instabilities (KHI) in the corona and associated nonlinear waves, and a variety of mini EUV waves. Seismological applications using such waves are now being actively pursued, especially for the global corona. We review such advances in EUV wave research focusing on recent SDO/AIA observations, their seismological applications, related data analysis techniques, and numerical and analytical models.


title: A Note on the Reduction Formulas for Some Systems of Linear Operator Equations

abstract: We consider partial and total reduction of a nonhomogeneous linear system of the operator equations with the system matrix in the same particular form as in paper [N. Shayanfar, M. Hadizadeh 2013]. Here we present two different concepts. One is concerned with partially reduced systems obtained by using the Jordan and the rational form of the system matrix. The other one is dealing with totally reduced systems obtained by finding the adjugate matrix of the characteristic matrix of the system matrix.


title: Thermodynamic Hypothesis as Social Choice: An Impossibility Theorem for Protein Folding

abstract: Protein Folding is concerned with the reasons and mechanism behind a protein's tertiary structure. The thermodynamic hypothesis of Anfinsen postulates an universal energy function (UEF) characterizing the tertiary structure, defined consistently across proteins, in terms of their aminoacid sequence. We consider the approach of examining multiple protein structure descriptors in the PDB (Protein Data Bank), and infer individual preferences, biases favoring particular classes of aminoacid interactions in each of them, later aggregating these individual preferences into a global preference. This 2-step process would ideally expose intrinsic biases on classes of aminoacid interactions in the UEF itself. The intuition is that any intrinsic biases in the UEF are expressed within each protein in a specific manner consistent with its specific aminoacid sequence, size, and fold (consistently with Anfinsen's thermodynamic hypothesis), making a 1-step, holistic aggregation less desirable. Our intention is to illustrate how some impossibility results from voting theory would apply in this setting, being possibly applicable to other protein folding problems as well. We consider concepts and results from voting theory and unveil methodological difficulties for the approach mentioned above. With our observations, we intend to highlight how key theoretical barriers, already exposed by economists, can be relevant for the development of new methods, new algorithms, for problems related to protein folding.


title: Neutrosophic soft sets and neutrosophic soft matrices based on decision making

abstract: Maji\cite{maj-13}, firstly proposed neutrosophic soft sets can handle the indeterminate information and inconsistent information which exists commonly in belief systems. In this paper, we have firstly redefined complement, union and compared our definitions of neutrosophic soft with the definitions given by Maji. Then, we have introduced the concept of neutrosophic soft matrix and their operators which are more functional to make theoretical studies in the neutrosophic soft set theory. The matrix is useful for storing an neutrosophic soft set in computer memory which are very useful and applicable. Finally, based on some of these matrix operations a efficient methodology named as NSM-decision making has been developed to solve neutrosophic soft set based group decision making problems.


title: PGA: A Program for Genome Annotation by Comparative Analysis of Maximum Likelihood Phylogenies of Genes and Species

abstract: The Phylogenetic Genome Annotator (PGA) is a computer program that enables real-time comparison of 'gene trees' versus 'species trees' obtained from predicted open reading frames of whole genome data. The gene phylogenies are inferred for each individual genome predicted proteins whereas the species phylogenies are inferred from rDNA data. The correlated protein domains, defined by PFAM, are then displayed side-by-side with a phylogeny of the corresponding species. The statistical support of gene clusters (branches) is given by the quartet puzzling method. This analysis readily discriminates paralogs from orthologs, enabling the identification of proteins originated by gene duplications and the prediction of possible functional divergence in groups of similar sequences.


title: A CSP Field Theory with Helicity Correspondence

abstract: We propose the first covariant local action describing the propagation of a single free continuous-spin degree of freedom. The theory is simply formulated as a gauge theory in a "vector superspace", but can also be formulated in terms of a tower of symmetric tensor gauge fields. When the spin invariant $\rho$ vanishes, the helicity correspondence is manifest -- familiar gauge theory actions are recovered and couplings to conserved currents can easily be introduced. For non-zero $\rho$, a tower of tensor currents must be present, of which only the lowest rank is exactly conserved. A paucity of local gauge-invariant operators for non-zero $\rho$ suggests that the equations of motion in any interacting theory should be covariant, not invariant, under a generalization of the free theory's gauge symmetry.


title: Instanton Effects in Orbifold ABJM Theory

abstract: We study the partition function of the orbifold ABJM theory on $S^3$, which is the $\mathcal{N}=4$ necklace quiver Chern-Simons-matter theory with alternating levels, in the Fermi gas formalism. We find that the grand potential of the orbifold ABJM theory is expressed explicitly in terms of that of the ABJM theory. As shown previously, the ABJM grand potential consists of the naive but primary non-oscillatory term and the subsidiary infinitely-replicated oscillatory terms. We find that the subsidiary oscillatory terms of the ABJM theory actually give a non-oscillatory primary term of the orbifold ABJM theory. Also, interestingly, the perturbative part in the ABJM theory results in a novel instanton contribution in the orbifold theory. We also present a physical interpretation for the non-perturbative instanton effects.


title: Massive Compact Galaxies with High-Velocity Outflows: Morphological Analysis and Constraints on AGN Activity

abstract: We investigate the process of rapid star formation quenching in a sample of 12 massive galaxies at intermediate redshift (z~0.6) that host high-velocity ionized gas outflows (v>1000 km/s). We conclude that these fast outflows are most likely driven by feedback from star formation rather than active galactic nuclei (AGN). We use multiwavelength survey and targeted observations of the galaxies to assess their star formation, AGN activity, and morphology. Common attributes include diffuse tidal features indicative of recent mergers accompanied by bright, unresolved cores with effective radii less than a few hundred parsecs. The galaxies are extraordinarily compact for their stellar mass, even when compared with galaxies at z~2-3. For 9/12 galaxies, we rule out an AGN contribution to the nuclear light and hypothesize that the unresolved core comes from a compact central starburst triggered by the dissipative collapse of very gas-rich progenitor merging disks. We find evidence of AGN activity in half the sample but we argue that it accounts for only a small fraction (<10%) of the total bolometric luminosity. We find no correlation between AGN activity and outflow velocity and we conclude that the fast outflows in our galaxies are not powered by on-going AGN activity, but rather by recent, extremely compact starbursts.


title: Superfluid/Bose-glass transition in one dimension

abstract: We consider a one-dimensional system of interacting bosons in a random potential. At zero temperature, it can be either in the superfluid or in the insulating phase. We study the transition at weak disorder and moderate interaction. Using a systematic approach, we derive the renormalization group equations at two-loop order and discuss the phase diagram. We find the universal form of the correlation functions at the transitions and compute the logarithmic corrections to the main universal power-law behavior. In order to mimic large density fluctuations on a single site, we study a simplified model of disordered two-leg bosonic ladders with correlated disorder across the rung. Contrarily to the single-chain case, the latter system exhibits a transition between a superfluid and a localized phase where the exponents of the correlation functions at the transition do not take universal values.


title: Controlled calculation of the thermal conductivity for a spinon Fermi surface coupled to a $U(1)$ gauge field

abstract: Motivated by recent transport measurements on the candidate spin-liquid phase of the organic triangular lattice insulator EtMe$_3$Sb[Pd(dmit)$_2$]$_2$, we perform a controlled calculation of the thermal conductivity at intermediate temperatures in a spin liquid system where a spinon Fermi surface is coupled to a $U(1)$ gauge field. The present computation builds upon the double expansion approach developed by Mross \emph{et al.} [Phys. Rev. B \textbf{82}, 045121 (2010)] for small $\epsilon=z_b -2$ (where $z_b$ is the dynamical critical exponent of the gauge field) and large number of fermionic species $N$. Using the so-called memory matrix formalism that most crucially does not assume the existence of well-defined quasiparticles at low energies in the system, we calculate the temperature dependence of the thermal conductivity $\kappa$ of this model due to non-critical Umklapp scattering of the spinons for a finite $N$ and small $\epsilon$. Then we discuss the physical implications of such theoretical result in connection with the experimental data available in the literature.


title: Annual Modulation of Cosmic Relic Neutrinos

abstract: The cosmic neutrino background (CvB), produced about one second after the Big Bang, permeates the Universe today. New technological advancements make neutrino capture on beta-decaying nuclei (NCB) a clear path forward towards the detection of the CvB. We show that gravitational focusing by the Sun causes the expected neutrino capture rate to modulate annually. The amplitude and phase of the modulation depend on the phase-space distribution of the local neutrino background, which is perturbed by structure formation. These results also apply to searches for sterile neutrinos at NCB experiments. Gravitational focusing is the only source of modulation for neutrino capture experiments, in contrast to dark-matter direct-detection searches where the Earth's time-dependent velocity relative to the Sun also plays a role.


title: Stabilizing Electroweak Vacuum in a Vector-like Fermion Model

abstract: To avoid possible electroweak vacuum instability in the vector-like fermion model, we introduce a new singlet scalar to the model, which couples to the vector-like fermion, and also mixes with the Higgs boson after spontaneous symmetry breaking. We investigate the vector-like fermion predominantly coupled to the third generation quarks, and its mass is generated from the vacuum expectation value of the new scalar field in the model. In this setup, as running towards high energies, the new scalar provides positive contribution to the running of the higgs quartic coupling, and the matching on the scale of the scalar mass gives rise to a threshod effect that lifts up the higgs quartic coupling strength. The two effects help stabilize the electroweak vacuum of the Higgs potential. Therefore, this setup could evade possible vacuum instability in the vector-like fermion model. We show that a large range of parameter space is allowed to have both stable Higgs vacuum and perturbativity of all the running couplings, up to the Planck scale. We also examine the experimental constraints from the electroweak precision observables such as oblique corrections S, T and non-oblique corrections to the Zbb coupling, the Higgs coupling precision measurements, and the current LHC direct searches.


title: Neutralino Dark Matter at 14 and 100 TeV

abstract: In recent years the search for dark matter has intensified with competitive bounds coming from collider searches, direct detection, and indirect detection. Collider searches at the Large Hadron Collider (LHC) lack the necessary center-of-mass energy to probe TeV-scale dark matter. It is TeV-scale dark matter, however, that remains viable for many models of supersymmetry. In this paper, we study the reach of a 100 TeV proton-proton collider for neutralino dark matter and compare to 14 TeV LHC projections. We employ a supersymmetric simplified model approach and present reach estimates from monojet searches, soft lepton searches, and disappearing track searches. The searches are applied to pure neutralino spectra, compressed neutralino spectra, and coannihilating spectra. We find a factor of 4-5 improvement in mass reach in going from 14 TeV to 100 TeV. More specifically, we find that given a 1% systematic uncertainty, a 100 TeV collider could exclude winos up to 1.4 TeV and higgsinos up to 850 GeV in the monojet channel. Coannihilation scenarios with gluinos can be excluded with neutralino masses of 6.2 TeV, with stops at 2.8 TeV, and with squarks at 4.0 TeV. Using a soft lepton search, compressed spectra with a chargino-neutralino splitting of $\Delta m = 20 - 30$ GeV can exclude neutralinos at $\sim$ 1 TeV. Given a sufficiently long chargino lifetime, the disappearing track search is very effective and we extrapolate current experimental bounds to estimate that a $\sim$ 2 TeV wino could be discovered and a $\sim$ 3 TeV wino could be excluded.


title: The effect of starspots on the radii of low-mass pre-main sequence stars

abstract: A polytropic model is used to investigate the effects of dark photospheric spots on the evolution and radii of magnetically active, low-mass (M<0.5Msun), pre-main sequence (PMS) stars. Spots slow the contraction along Hayashi tracks and inflate the radii of PMS stars by a factor of (1-beta)^{-N} compared to unspotted stars of the same luminosity, where beta is the equivalent covering fraction of dark starspots and N \simeq 0.45+/-0.05. This is a much stronger inflation than predicted by the models of Spruit & Weiss (1986) for main sequence stars with the same beta, where N \sim 0.2 to 0.3. These models have been compared to radii determined for very magnetically active K- and M-dwarfs in the young Pleiades and NGC 2516 clusters, and the radii of tidally-locked, low-mass eclipsing binary components. The binary components and ZAMS K-dwarfs have radii inflated by \sim 10 per cent compared to an empirical radius-luminosity relation that is defined by magnetically inactive field dwarfs with interferometrically measured radii; low-mass M-type PMS stars, that are still on their Hayashi tracks, are inflated by up to \sim 40 per cent. If this were attributable to starspots alone, we estimate that an effective spot coverage of 0.35 < beta < 0.51 is required. Alternatively, global inhibition of convective flux transport by dynamo-generated fields may play a role. However, we find greater consistency with the starspot models when comparing the loci of active young stars and inactive field stars in colour-magnitude diagrams, particularly for the highly inflated PMS stars, where the large, uniform temperature reduction required in globally inhibited convection models would cause the stars to be much redder than observed.


title: Black hole kinematics: the "in"-vacuum energy density and flux for different observers

abstract: We have investigated the local invariant scalar observables - energy density and flux - which explicitly depend on the kinematics of the concerned observers in the Vaidya gravitational collapse geometry. The use of globally defined null coordinates allows for the definition of a unique in-vacuum for the scalar field propagating in this background. Computing the stress-energy tensor for this scalar field, we work out the energy density and flux for the static observers outside the horizon and then consider the radially in-falling observers who fall in from some specified initial radius all the way through the horizon and inside to the eventual singularity. Our results confirm the thermal Tolman-shifted energy density and fluxes for the static observers which diverge at the horizon. For the in-falling observer starting from far off, both the quantities -- energy density and flux at the horizon crossing are \emph{regular and finite}. For example, the flux at the horizon for the in-falling observer from infinity is approximately 24 times the flux for the observer at infinity. Compared with the static observers in the near-horizon region, this is quite small. Both the quantities grow as the in-fall progresses inside the horizon and diverge at the singularity.


title: Exploring the Doubly Charged Higgs of the Left-Right Symmetric Model using Vector Boson Fusion-like Events at the LHC

abstract: This paper studies the pair production of the doubly charged Higgs boson of the left-right symmetric models using multilepton final state in the vector boson fusion (VBF)-like processes. The study is performed in the framework consistent with the model's correction to the standard model $\rho_{EW}$ parameter. VBF topological cuts, number of leptons in the final state and $p_T$ cuts on the leptons are found to be effective in suppressing the background. Significant mass reach can be achieved for exclusion/discovery of the doubly charge Higgs boson for the upcoming LHC run with a luminosity of $\mathcal{O}(10^3)$ fb$^{-1}$.


title: Many body localization and thermalization in quantum statistical mechanics

abstract: We review some recent developments in the statistical mechanics of isolated quantum systems. We provide a brief introduction to quantum thermalization, paying particular attention to the `Eigenstate Thermalization Hypothesis' (ETH), and the resulting `single-eigenstate statistical mechanics'. We then focus on a class of systems which fail to quantum thermalize and whose eigenstates violate the ETH: These are the many-body Anderson localized systems; their long-time properties are not captured by the conventional ensembles of quantum statistical mechanics. These systems can locally remember forever information about their local initial conditions, and are thus of interest for possibilities of storing quantum information. We discuss key features of many-body localization (MBL), and review a phenomenology of the MBL phase. Single-eigenstate statistical mechanics within the MBL phase reveals dynamically-stable ordered phases, and phase transitions among them, that are invisible to equilibrium statistical mechanics and can occur at high energy and low spatial dimensionality where equilibrium ordering is forbidden.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.str-el hep-th


title: Absorption of a massive scalar field by a charged black hole

abstract: We calculate the absorption cross section of a massive neutral scalar field impinging upon a Reissner-Nordstr\"om black hole. First, we derive key approximations in the high- and low-frequency regimes. Next, we develop a numerical method to compute the cross section at intermediate frequencies, and present a selection of results. Finally, we draw together our complementary approaches to give a quantitative full-spectrum description of absorption.


title: The ion-atom absorption processes as one of the factors of the influence on the sunspot opacity

abstract: As a continuation of the previous investigations of the symmetric and strongly non-symmetric ion-atom absorption processes in the far UV region within the models of the quiet Sun photosphere, these processes are studied here within a model of the sunspot. Here we mean the absorption processes in the H$(1s)$+H$^{+}$ and H$(1s)+X^{+}$ collisions and the processes of the photo-dissociation of the H$_{2}^{+}$ and H$X^{+}$ molecular ions, where $X$ is one of the metal atoms: $X=$Na, Ca, Mg, Si and Al. Obtained results show that the influence of the considered ion-atom absorption processes on the opacity of sunspots in the considered spectral region (110 nm $\lesssim \lambda \lesssim$ 230 nm) is not less and in some parts even larger than the influence of the referent electron-atom processes. In such a way, it is shown that the considered ion-atom absorption processes should be included \emph{ab initio} in the corresponding models of sunspots of solar-type and near solar-type stars. Apart of that, the spectral characteristics of the considered non-symmetric ion-atom absorption processes (including here the case $X$ = Li), which can be used in some further applications, have been determined and presented within this work.


title: Optical evidence of surface state suppression in Bi based topological insulators

abstract: A key challenge in condensed matter research is the optimization of topological insulator (TI) compounds for the study and future application of their unique surface states. Truly insulating bulk states would allow the exploitation of predicted surface state properties, such as protection from backscattering, dissipationless spin-polarized currents, and the emergence of novel particles. Towards this end, major progress was recently made with the introduction of highly resistive Bi$_2$Te$_2$Se, in which surface state conductance and quantum oscillations are observed at low temperatures. Nevertheless, an unresolved and pivotal question remains: while room temperature ARPES studies reveal clear evidence of TI surface states, their observation in transport experiments is limited to low temperatures. A better understanding of this surface state suppression at elevated temperatures is of fundamental interest, and crucial for pushing the boundary of device applications towards room-temperature operation. In this work, we simultaneously measure TI bulk and surface states via temperature dependent optical spectroscopy, in conjunction with transport and ARPES measurements. We find evidence of coherent surface state transport at low temperatures, and propose that phonon mediated coupling between bulk and surface states suppresses surface conductance as temperature rises.


title: Changes to the TN Middle Grades Science Curriculum According to NGSS

abstract: The Framework for K-12 Science Education (July 2011) developed by the National Resource Council (NRC) draws on current scientific research and the ways students learn science effectively. This laid the foundation for Next Generation Science Standards (NGSS) released in Spring 2013. Tennessee was one of the 26 lead state partners to provide leadership to the standards writing team and to provide guidance as states deliberate on the adoption and implementation of the NGSS. We propose that the transition from current State science standards to NGSS demonstrates a extensive consensus on what all students should know and be able to do at specific K-12 grade levels and what topics can be postponed or excluded on the premise of developmental readiness. In order to facilitate this work, one of the STEM Fellows, Larry Bowman (author), created a series of 18 posters showing correlations between the current Tennessee Science Education standards (Huffman, 2009) and NGSS (Achieve, 2013). This article specifically addresses the NGSS Middle Grades Disciplinary Core Ideas (DCIs) as compared to the existing 6-8 Science Standards from the Tennessee Science Curriculum Framework. Some Grade Level Expectations (GLEs) for Middle Grades Science have been relocated to other grade levels, and others have been introduced. The term Middle Grades is used for students 10 to 15 years of age covering the critical years when children are transitioning from concrete operational to formal operational stages. (Piaget and Inhelder 2013).


title: H\"{o}lder continuity of solutions to the kinematic dynamo equations

abstract: We study the propagation of regularity of solutions to a three dimensional system of linear parabolic PDE known as the kinematic dynamo equations. The divergence free drift velocity is assumed to be at the critical regularity level with respect to the natural scaling of the equations.


title: Interaction of misaligned magnetospheres in the coalescence of binary neutron stars

abstract: We study the dependence of the electromagnetic luminosity --produced by interactions of force-free magnetospheres-- on dipole inclinations in binary neutron star systems. We show that this interaction extracts kinetic energy from the system and powers a Poynting flux with a strong dependence on the dipole orientations. This dependence can be linked to the reconnection and redistribution of magnetic field as the stars interact. Although the details of the Poynting luminosity are very much dependent on the orientation, all the cases considered here nevertheless radiate a large Poynting flux. This robust emission suggests that the pre-merger stage of binary neutron star systems can yield interesting electromagnetic counterparts to gravitational wave events.


title: Experimental observation of a transition from amplitude to oscillation death in coupled oscillators

abstract: We report the first experimental evidence of an important transition scenario, namely the transition from amplitude death (AD) to oscillation death (OD) state in coupled limit cycle oscillators. We consider two Van der Pol oscillators coupled through mean-field diffusion and show that this system exhibits a transition from AD to OD, which was earlier shown for Stuart-Landau oscillators under the same coupling scheme [T. Banerjee and D. Ghosh, arXiv:1403.2907, 2014]. We show that the AD-OD transition is governed by the density of mean-field and beyond a critical value this transition is destroyed; further, we show the existence of a nontrivial AD state that coexists with OD. Next, we implement the system in an electronic circuit and experimentally confirm the transition from AD to OD state. We further characterize the experimental parameter zone where this transition occurs. The present study may stimulate the search for the practical systems where this important transition scenario can be observed experimentally.


title: The Very Large Array Low-frequency Sky Survey Redux (VLSSr)

abstract: We present the results of a recent re-reduction of the data from the Very Large Array (VLA) Low-frequency Sky Survey (VLSS). We used the VLSS catalog as a sky model to correct the ionospheric distortions in the data and create a new set of sky maps and corresponding catalog at 73.8 MHz. The VLSS Redux (VLSSr) has a resolution of 75 arcsec, and an average map RMS noise level of $\sigma\sim0.1$ Jy beam$^{-1}$. The clean bias is $0.66\times\sigma$, and the theoretical largest angular size is 36 arcmin. Six previously un-imaged fields are included in the VLSSr, which has an unbroken sky coverage over 9.3 sr above an irregular southern boundary. The final catalog includes 92,964 sources. The VLSSr improves upon the original VLSS in a number of areas including imaging of large sources, image sensitivity, and clean bias; however the most critical improvement is the replacement of an inaccurate primary beam correction which caused source flux errors which vary as a function of radius to nearest pointing center in the VLSS.


title: Multi-objective Flower Algorithm for Optimization

abstract: Flower pollination algorithm is a new nature-inspired algorithm, based on the characteristics of flowering plants. In this paper, we extend this flower algorithm to solve multi-objective optimization problems in engineering. By using the weighted sum method with random weights, we show that the proposed multi-objective flower algorithm can accurately find the Pareto fronts for a set of test functions. We then solve a bi-objective disc brake design problem, which indeed converges quickly.


title: D-P2P-Sim+:A Novel Distributed Framework for P2P Protocols Performance Testing

abstract: In recent IoT (Internet of Things) and Web 2.0 technologies, a critical problem arises with respect to storing and processing the large amount of collected data. In this paper we develop and evaluate distributed infrastructures for storing and processing large amount of such data. We present a distributed framework that supports customized deployment of a variety of indexing engines over million-node overlays. The proposed framework provides the appropriate integrated set of tools that allows applications processing large amount of data, to evaluate and test the performance of various application protocols for very large scale deployments (multi million nodes - billions of keys). The key aim is to provide the appropriate environment that contributes in taking decisions regarding the choice of the protocol in storage P2P systems for a variety of big data applications. Using lightweight and efficient collection mechanisms, our system enables real-time registration of multiple measures, integrating support for real-life parameters such as node failure models and recovery strategies. Experiments have been performed at the PlanetLab network and at a typical research laboratory in order to verify scalability and show maximum re-usability of our setup. D-P2P-Sim+ framework is publicly available at http://code.google.com/p/d-p2p-sim/downloads/list.


title: An approximate version of the Tree Packing Conjecture

abstract: We prove that for any pair of constants $\epsilon>0$ and $\Delta$ and for $n$ sufficiently large, every family of trees of orders at most $n$, maximum degrees at most $\Delta$, and with at most $\binom{n}{2}$ edges in total packs into $K_{(1+\epsilon)n}$. This implies asymptotic versions of the Tree Packing Conjecture of Gyarfas from 1976 and a tree packing conjecture of Ringel from 1963 for trees with bounded maximum degree. A novel random tree embedding process combined with the nibble method forms the core of the proof.


title: Adaptability Checking in Multi-Level Complex Systems

abstract: A hierarchical model for multi-level adaptive systems is built on two basic levels: a lower behavioural level B accounting for the actual behaviour of the system and an upper structural level S describing the adaptation dynamics of the system. The behavioural level is modelled as a state machine and the structural level as a higher-order system whose states have associated logical formulas (constraints) over observables of the behavioural level. S is used to capture the global and stable features of B, by a defining set of allowed behaviours. The adaptation semantics is such that the upper S level imposes constraints on the lower B level, which has to adapt whenever it no longer can satisfy them. In this context, we introduce weak and strong adaptabil- ity, i.e. the ability of a system to adapt for some evolution paths or for all possible evolutions, respectively. We provide a relational characterisation for these two notions and we show that adaptability checking, i.e. deciding if a system is weak or strong adaptable, can be reduced to a CTL model checking problem. We apply the model and the theoretical results to the case study of motion control of autonomous transport vehicles.


title: Congruences for coefficients of modular functions

abstract: We examine canonical bases for weakly holomorphic modular forms of weight $0$ and level $p = 2, 3, 5, 7, 13$ with poles only at the cusp at $\infty$. We show that many of the Fourier coefficients for elements of these canonical bases are divisible by high powers of $p$, extending results of the first author and Andersen. Additionally, we prove similar congruences for elements of a canonical basis for the space of modular functions of level $4$, and give congruences modulo arbitrary primes for coefficients of such modular functions in levels 1, 2, 3, 4, 5, 7, and 13.


title: Distributed Optimal Power Flow Algorithm for Balanced Radial Distribution Networks

abstract: The optimal power flow (OPF) problem is fundamental in power system operations and planning. Large-scale renewable penetration in distribution networks calls for real-time feedback control, and hence the need for fast and distributed solutions for OPF. This is difficult because OPF is nonconvex and Kirchhoff's laws are global. In this paper we propose a solution for balanced radial distribution networks. It exploits recent results that suggest solving for a globally optimal solution of OPF over a radial network through the second-order cone program (SOCP) relaxation. Our distributed algorithm is based on alternating direction method of multiplier (ADMM), but unlike standard ADMM algorithms that often require iteratively solving optimization subproblems in each ADMM iteration, our decomposition allows us to derive closed form solutions for these subproblems, greatly speeding up each ADMM iteration. We present simulations on a real-world 2,065-bus distribution network to illustrate the scalability and optimality of the proposed algorithm.


title: A probabilistic model to describe the dual phenomena of biochemical pathway damage and biochemical pathway repair

abstract: Biochemical pathways emerge from a series of Brownian collisions between various types of biological macromolecules within separate cellular compartments and in highly viscous cytosol. Functioning of biochemical networks suggests that such serendipitous collisions, as a whole, result into a perfect synchronous order. Nonetheless, owing to the very nature of Brownian collisions, a small yet non-trivial probability can always be associated with the events when such synchronizations fail to emerge consistently; which account for a damage of a biochemical pathway. The repair mechanism of the system then attempts to minimize the damage, in the pursuit to bring restore the appropriate level of synchronization between reactant concentrations. Present work presents a predictive probabilistic model that describes the various facets of this complicated and coupled process(damaging and repairing). By describing the cytosolic reality of Brownian collisions with Chapman-Kolmogorov equations, the model presents analytical answers to the questions, with what probability a fragment of any pathway may suffer damage within an arbitrary interval of time? and with what probability the damage to a pathway can be repaired within any arbitrary interval of time?