title: An Efficient Key Agreement Scheme for Wireless Sensor Networks Using Third Parties

abstract: This paper contributes to the challenging field of security for wireless sensor networks by introducing a key agreement scheme in which sensor nodes create secure radio connections with their neighbours depending on the aid of third parties. These third parties are responsible only for the pair-wise key establishment among sensor nodes, so they do not observe the physical phenomenon nor route data packets to other nodes. The proposed method is explained here with respect to four important issues: how secret shares are distributed, how local neighbours are discovered, how legitimate third parties are verified, and how secure channels are established. Moreover, the performance of the scheme is analyzed with regards to five metrics: local connectivity, resistance to node capture, memory usage, communication overhead, and computational burden. Our scheme not only secures the transmission channels of nodes but also guarantees high local connectivity of the sensor network, low usage of memory resources, perfect network resilience against node capture, and complete prevention against impersonation attacks. As it is demonstrated in this paper, using a number of third parties equals to 10% of the total number of sensor nodes in the area of interest, the proposed method can achieve at least 99.42% local connectivity with a very low usage of available storage resources (less than 385 bits on each sensor node).


title: Real space Green's function approach to angle resolved resonant photoemission: spin polarization and circular dichroism in itinerant magnets

abstract: A first principles approach, based on the real space multiple scattering Green's function method, is presented for spin- and angle-resolved resonant photoemission from magnetic surfaces. It is applied to the Fe(010) valence band photoemission excited with circularly polarized X-rays around the Fe L3 absorption edge. When the photon energy is swept through the Fe 2p-3d resonance, the valence band spectra are strongly modified in terms of absolute and relative peak intensities, degree of spin-polarization and light polarization dependence. New peaks in the spin-polarized spectra are identified as spin-flip transitions induced by exchange decay of spin-mixed core-holes. By comparison with single atom and band structure data, it is shown that both intra-atomic and multiple scattering effects strongly influence the spectra. We show how the different features linked to states of different orbital symmetry in the d band are differently enhanced by the resonant effect. The appearance and origin of circular dichroism and spin polarization are analyzed for different geometries of light incidence and electron emission direction, providing guidelines for future experiments.


title: On Higher-Dimensional Oscillation in Ergodic Theory

abstract: We extend the results of Jones, Rosenblatt, and Wierdl concerning higher-dimensional oscillation in ergodic theory in a variety of ways. We do so by transference to the integer lattice, where we employ technique from (discrete) harmonic analysis.


title: Stability of chromomagnetic condensation and mass generation for confinement in SU(2) Yang-Mills theory

abstract: We show that the Nielsen-Olesen instability of the Savvidy vacuum with a homogeneous chromomagnetic condensation disappears in the framework of the functional renormalization group. This result follows from our observations: (i) the vanishing imaginary part of the effective average action is realized for arbitrary infrared cutoff as a novel fixed point solution of the flow equation for the complex-valued effective average action and (ii) an approximate analytical solution for the effective average action is obtained without the pure imaginary part for large infrared cutoff. This result suggests that there exists a physical mechanism for maintaining the stability or staying on the fixed point even for sufficiently small infrared cutoff. We argue that dynamical gluon mass generation (related to two-gluon bound states identified with glueballs) occurs due to the Becchi-Rouet-Stora-Tyutin-invariant vacuum condensate of mass dimension two without causing instability.


title: Investigation of electron beam induced migration of hydrogen in Mg-doped GaN using Eu as a probe

abstract: We demonstrate the use of hydrogen induced changes in the emission of isoelectric Eu ions, in Mg-doped p-type GaN, as a powerful probe to study the dynamics of hydrogen movement under electron beam irradiation. We identify, experimentally, a two-step process in the dissociation of Mg-H complexes and propose, based on density functional theory, that the presence of minority carriers and resulting charge states of the hydrogen drives this process.


title: A Machine-Checked Proof for a Translation of Event-B Machines to JML

abstract: We present a machine-checked soundness proof of a translation of Event-B to the Java Modeling Language (JML). The translation is based on an operator EventB2Jml that maps Evnet-B events to JML method specifications, and deterministic and non-deterministic assignments to JML method post-conditions. This translation has previously been implemented as the EventB2Jml tool. We adopted a taking our own medicine approach in the formalisation of our proof so that Event-B as well as JML are formalised in Event-B and the proof is discharged with the Rodin platform. Hence, for any Event-B substitution (whether an event or an assignment) and for the JML method specification obtained by applying EventB2Jml to the substitution, we prove that the semantics of the JML method specification is simulated by the semantics of the substitution. Therefore, the JML specification obtained as translation from the Event-B substitution is a refinement of the substitution. Our proof includes invariants and the standard Event-B initialising event, but it does not include full machines or Event-B contexts. We assume that the semantics of JML and Event-B operate both on the same initial and final states, and we justify our assumption.


title: Rigidity of 3-colorings of the discrete torus

abstract: We prove that a uniformly chosen proper $3$-coloring of the $d$-dimensional discrete torus has a very rigid structure when the dimension $d$ is sufficiently high. We show that with high probability the coloring takes just one color on almost all of either the even or the odd sub-torus. In particular, one color appears on nearly half of the torus sites. This model is the zero temperature case of the $3$-state anti-ferromagnetic Potts model from statistical physics. Our work extends previously obtained results for the discrete torus with specific boundary conditions. The main challenge in this extension is to overcome certain topological obstructions which appear when no boundary conditions are imposed on the model. Locally, a proper $3$-coloring defines the discrete gradient of an integer-valued height function which changes by exactly one between adjacent sites. However, these locally-defined functions do not always yield a height function on the entire torus, as the gradients may accumulate to a non-zero quantity when winding around the torus. Our main result is that in high dimensions, a global height function is well defined with high probability, allowing to deduce the rigid structure of the coloring from previously known results. Moreover, the probability that the gradients accumulate to a vector $m$, corresponding to the winding in each of the $d$ directions, is at most exponentially small in the product of $\|m\|_\infty$ and the area of a cross-section of the torus. In the course of the proof we develop discrete analogues of notions from algebraic topology. This theory is developed in some generality and may be of use in the study of other models.


title: Sharp Hardy-Littlewood-Sobolev inequality on the upper half space

abstract: There are at least two directions concerning the extension of classical sharp Hardy-Littlewood-Sobolev inequality: (1) Extending the sharp inequality on general manifolds; (2) Extending it for the negative exponent $\lambda=n-\alpha$ (that is for the case of $\alpha>n$). In this paper we confirm the possibility for the extension along the first direction by establishing the sharp Hardy-Littlewood-Sobolev inequality on the upper half space (which is conformally equivalent to a ball). The existences of extremal functions are obtained; And for certain range of the exponent, we classify all extremal functions via the method of moving sphere.


title: Why Instantaneous Values of the "Covariant" Lyapunov Exponents Depend upon the Chosen State-Space Scale

abstract: We explore a simple example of a chaotic thermostated harmonic-oscillator system which exhibits qualitatively different local Lyapunov exponents for simple scale-model constant-volume transformations of its coordinate q and momentum p : { q,p } --> { (Q/s),(sP) } . The time-dependent thermostat variable zeta(t) is unchanged by such scaling. The original (q,p,zeta) motion and the scale-model (Q,P,zeta) version of the motion are physically identical. But both the local Gram-Schmidt Lyapunov exponents and the related local "covariant" exponents change with the change of scale. Thus this model furnishes a clearcut chaotic time-reversible example showing how and why both the local Lyapunov exponents and covariant exponents vary with the scale factor s .


title: A Finite-Blocklength Perspective on Gaussian Multi-Access Channels

abstract: Motivated by the growing application of wireless multi-access networks with stringent delay constraints, we investigate the Gaussian multiple access channel (MAC) in the finite blocklength regime. Building upon information spectrum concepts, we develop several non-asymptotic inner bounds on channel coding rates over the Gaussian MAC with a given finite blocklength, positive average error probability, and maximal power constraints. Employing Central Limit Theorem (CLT) approximations, we also obtain achievable second-order coding rates for the Gaussian MAC based on an explicit expression for its dispersion matrix. We observe that, unlike the pentagon shape of the asymptotic capacity region, the second-order region has a curved shape with no sharp corners. A main emphasis of the paper is to provide a new perspective on the procedure of handling input cost constraints for tight achievability proofs. Contrary to the complicated achievability techniques in the literature, we show that with a proper choice of input distribution, tight bounds can be achieved via the standard random coding argument and a modified typicality decoding. In particular, we prove that codebooks generated randomly according to independent uniform distributions on the respective "power shells" perform far better than both independent and identically distributed (i.i.d.) Gaussian inputs and TDMA with power control. Interestingly, analogous to an error exponent result of Gallager, the resulting achievable region lies roughly halfway between that of the i.i.d. Gaussian inputs and that of a hypothetical "sum-power shell" input. However, dealing with such a non-i.i.d. input requires additional analysis such as a new change of measure technique and application of a Berry-Esseen CLT for functions of random variables.


title: Central limit theorem and exponential tail estimations in hybrid Lebesgue-continuous spaces

abstract: We study the Central Limit Theorem (CLT) in the so-called hybrid Lebesgue-continuous spaces and tail behavior of normed sums of centered random independent variables (vectors) with values in these spaces.


title: Flow of a viscous nematic fluid around a sphere

abstract: We analyze the creeping flow generated by a spherical particle moving through a viscous fluid with nematic directional order, in which momentum diffusivity is anisotropic and which opposes resistance to bending. Specifically, we provide closed-form analytical expressions for the response function, i.e. the equivalent to Stokes's drag formula for nematic fluids. Particular attention is given to the rotationally pseudo-isotropic condition defined by zero resistance to bending, and to the strain pseudo-isotropic condition defined by isotropic momentum diffusivity. We find the former to be consistent with the rheology of biopolymer networks and the latter to be closer to the rheology of nematic liquid crystals. These "pure" anisotropic conditions are used to benchmark existing particle tracking microrheology methods that provide effective directional viscosities by applying Stokes's drag law separately in different directions. We find that the effective viscosity approach is phenomenologically justified in rotationally isotropic fluids, although it leads to significant errors in the estimated viscosity coefficients. On the other hand, the mere concept of directional effective viscosities is found to be misleading in fluids that oppose an appreciable resistance to bending. Finally, we observe that anisotropic momentum diffusivity leads to asymmetric streamline patterns displaying enhanced (reduced) streamline deflection in the directions of lower (higher) diffusivity. The bending resistance of the fluid is found to modulate the asymmetry of streamline deflection. In some cases, the combined effects of both anisotropy mechanisms leads to streamline patterns that converge towards the sphere.


title: Equivalences of the Multi-Indexed Orthogonal Polynomials

abstract: Multi-indexed orthogonal polynomials describe eigenfunctions of exactly solvable shape-invariant quantum mechanical systems in one dimension obtained by the method of virtual states deletion. Multi-indexed orthogonal polynomials are labeled by a set of degrees of polynomial parts of virtual state wavefunctions. For multi-indexed orthogonal polynomials of Laguerre, Jacobi, Wilson and Askey-Wilson types, two different index sets may give equivalent multi-indexed orthogonal polynomials. We clarify these equivalences. Multi-indexed orthogonal polynomials with both type I and II indices are proportional to those of type I indices only (or type II indices only) with shifted parameters.


title: DC electric field effect on the anomalous exponent of the hopping conduction in the one-dimensional disorder model

abstract: DC electric field effect on the anomalous exponent of the hopping conduction in the disorder model is investigated. First, we explain the model and derive an analytical expression of the effective waiting time for the general case. We show that the exponent depends on the external field. Then we focus on a one-dimensional system in order to illustrate the features of the anomalous exponent. We derive approximate expressions of the anomalous exponent of the system analytically. For the case of a weak field, the anomalous exponent is consistent with that of diffusive systems. This is consistent with the treatments of Barkai et al. [Phys. Rev. E {\bf 63}, 046118 (2001)] and our result supports their theory. On the other hand, for the case of a strong field and a strong disorder, the time evolution of the exponent clearly differs from that in the weak field. The exponent is consistent with the well-known expression of the anomalous exponent in the Multiple Trapping Model at mesoscopic time scales. In the long time limit, a transition of the anomalous exponent to the same value of the weak field occurs. For the case of a strong field and a weak disorder, the exponent is equal to 1 and thus the diffusion is normal. These findings are verified by the Monte Carlo simulation.


title: An Overview of Nominal-Typing versus Structural-Typing in OOP

abstract: NOOP is a mathematical model of nominally-typed OOP that proves the identification of inheritance and subtyping in mainstream nominally-typed OO programming languages and the validity of this identification. This report gives an overview of the main notions in OOP relevant to constructing a mathematical model of OOP such as NOOP. The emphasis in this report is on defining nominality, nominal typing and nominal subtyping of mainstream nominally-typed OO languages, and on contrasting the three notions with their counterparts in structurally-typed OO languages, i.e., with structurality, structural typing and structural subtyping, respectively. An additional appendix demonstrates these notions and other related notions, and the differences between them, using some simple code examples. A detailed, more technical comparison between nominal typing and structural typing in OOP is presented in other publications.


title: Nonuniform sampling and multiscale computation

abstract: In homogenization theory and multiscale modeling, typical functions satisfy the scaling law $f^{\epsilon}(x) = f(x,x/\epsilon)$, where $f$ is periodic in the second variable and $\epsilon$ is the smallest relevant wavelength, $0<\epsilon\ll1$. Our main result is a new $L^{2}$-stability estimate for the reconstruction of such bandlimited multiscale functions $f^{\epsilon}$ from periodic nonuniform samples. The goal of this paper is to demonstrate the close relation between and sampling strategies developed in information theory and computational grids in multiscale modeling. This connection is of much interest because numerical simulations often involve discretizations by means of sampling, and meshes are routinely designed using tools from information theory. The proposed sampling sets are of optimal rate according to the minimal sampling requirements of Landau \cite{Landau}.


title: Exponentially Fast Parameter Estimation in Networks Using Distributed Dual Averaging

abstract: In this paper we present an optimization-based view of distributed parameter estimation and observational social learning in networks. Agents receive a sequence of random, independent and identically distributed (i.i.d.) signals, each of which individually may not be informative about the underlying true state, but the signals together are globally informative enough to make the true state identifiable. Using an optimization-based characterization of Bayesian learning as proximal stochastic gradient descent (with Kullback-Leibler divergence from a prior as a proximal function), we show how to efficiently use a distributed, online variant of Nesterov's dual averaging method to solve the estimation with purely local information. When the true state is globally identifiable, and the network is connected, we prove that agents eventually learn the true parameter using a randomized gossip scheme. We demonstrate that with high probability the convergence is exponentially fast with a rate dependent on the KL divergence of observations under the true state from observations under the second likeliest state. Furthermore, our work also highlights the possibility of learning under continuous adaptation of network which is a consequence of employing constant, unit stepsize for the algorithm.


title: Elementos de ingenier\'ia de explotaci\'on de la informaci\'on aplicados a la investigaci\'on tributaria fiscal

abstract: By introducing elements of information mining to tax analysis, by means of data mining software and advanced computational concepts of artificial intelligence, the problem of tax evader's crime against public property has been addressed. Through an empirical approach from a hypothetical case of use, induction algorithms, neural networks and bayesian networks are applied to determine the feasibility of its heuristic application by the tax public administrator. Different strategies are explored to facilitate the work of local and regional federal tax inspectors, considering their limited computational capabilities, but equally effective for those social scientist committed to handcrafting tax research. ----- Apresentando a introdu\c{c}\~ao de elementos de explora\c{c}\~ao de informa\c{c}\~oes para an\'alise fiscal, por meio de software de minera\c{c}\~ao de dados e conceitos avan\c{c}ados computacionais de intelig\^encia artificial, foi abordado o problema do crime de sonegador fiscal contra o patrim\^onio p\'ublico. Atrav\'es de uma abordagem emp\'irica a partir de um caso hipot\'etico de uso, os algoritmos de indu\c{c}\~ao, redes neurais e redes bayesianas s\~ao aplicados para determinar a viabilidade de sua aplica\c{c}\~ao heur\'istica pelo administrador p\'ublico tribut\'ario. Diferentes estrat\'egias s\~ao exploradas para facilitar o trabalho dos inspectores tribut\'arios federais locais e regionais, tendo em conta as suas capacidades computacionais limitados, mas igualmente eficaz para aqueles cientista social comprometido com a investiga\c{c}\~ao fiscal.


title: Translate of horospheres and counting problems

abstract: Let G be a semisimple Lie group without compact factors, \Gamma be an irreducible lattice in G. In the first part of the article we give the necessary and sufficient condition under which a sequence of translates of probability "horospherical measures" is convergent. And the limiting measure is also determined when it is convergent (see Theorems 1 and 2 for the precise statements). In the second part, two applications are presented. The first one is of geometric nature and the second one gives an alternative way to count the number of rational points on a flag variety.


title: Experimental Study using Touschek Lifetime as Machine Status Flag in SSRF

abstract: The stabilities of the beam and machine have almost the highest priority in a modern light source. Although a lot of machine parameters could be used to represent the beam quality, there lacks a single one that could indicate the global information for the machine operators and accelerator physicists, recently. A new parameter has been studied for the last few years as a beam quality flag in Shanghai Synchrotron Radiation Facility (SSRF). Calculations, simulations and detailed analysis of the real-time data from the storage ring had been made and interesting results had confirmed its feasibility.


title: Fault detection and isolation of malicious nodes in MIMO Multi-hop Control Networks

abstract: A MIMO Multi-hop Control Network (MCN) consists of a MIMO LTI system where the communication between sensors, actuators and computational units is supported by a (wireless) multi-hop communication network, and data flow is performed using scheduling and routing of sensing and actuation data. We provide necessary and sufficient conditions on the plant dynamics and on the communication protocol configuration such that the Fault Detection and Isolation (FDI) problem of failures and malicious attacks to communication nodes can be solved.


title: An Optimal Load-Frequency Control Method for Inverter-Based Renewable Energy Transmission

abstract: The frequency droop response of conventional turbine driven synchronous generators with respect to load increases is normally used in order to have stable operating characteristics for multiple generators operating in parallel over large geographical regions. This presents a challenge for renewable energy sources that interface to the transmission grid through static inverters that do not exhibit an intrinsic frequency droop characteristic. This paper provides a technique for designing optimal load frequency controllers as transmission line inverters fed from renewable energy sources that allows for fast dynamic response due to variable solar and wind conditions while maintain stability to interconnected synchronous generators. A control technique based on LQG optimization theory is presented. Detailed analysis of a three-area system in a region of mixed wind and solar photovoltaic sources is modeled in a manner that confirms the effectiveness of the disclosed load-frequency control method.


title: Towards String Theory models of DeSitter Space and early Universe Cosmology

abstract: String theory is arguably the best candidate for a theory of quantum gravity and unified interactions. Reconciling Einstein's theory of General Relativity with Quantum Mechanics. The theory however is best understood on Minkowski and Anti-de Sitter space-times, and not on exponentially expanding space-times with positive cosmological constant, like our own universe. There is still no satisfactory formulation of String Theory on these so called asymptotically de Sitter space times. In this thesis I will discuss certain avenues of progress towards a String Theory formulation of de Sitter space-times. Specifically, how understanding of the analytic continuations of Liouville Theory and how to gauge-fix it in the Timelike regime will aid in the understanding of the proposed FRW-CFT duality of de Sitter space. It is also discussed how non-trivial topology effects proposed Chern-Simons Matter duals of Vasiliev Higher Spin gravity theories which are important in the dS-CFT description of de Sitter Space.


title: Software for Science: Some Personal Reflections

abstract: As computer systems become more and more complex, software and tools lag more and more behind. This is especially true for scientific software that often demands high performance, and thus needs to take advantage of parallelisms, memory hierarchies and other software and systems. How do we help bridge this ever-increasing gap? This paper describes some of my experiences and thoughts regarding licensing, code sharing, code maintenance, open access publishing, and educations and training. Details include my recent experiences with getting industrial funding for GPL licensed software, BSD issues, sharing code on GitHub, and how I inspire students to take my 4th year Parallel Computing elective which this semester has over 50 students enrolled. Some thoughts and comments regarding why both optimization and data locality are such a central issue for scientific software is also included.


title: Effect of defects on the phonons and the effective spin-spin interactions of an ultracold Penning trap quantum simulator

abstract: We generalize the analysis of the normal modes for a rotating ionic Coulomb crystal in a Penning trap to allow for inhomogeneities in the system. Our formal developments are completely general, but we choose to examine a crystal of Be+ ions with BeH+ defects to compare with current experimental efforts. We examine the classical phonon modes (both transverse and planar) and we determine the effective spin-spin interactions when the system is driven by an axial spin-dependent optical dipole force. We examine situations with up to approximately 15% defects. We find that most properties are not strongly influenced by the defects, indicating that the presence of a small number of defects will not significantly affect experiments.


title: Speech Enhancement using Kernel and Normalized Kernel Affine Projection Algorithm

abstract: The goal of this paper is to investigate the speech signal enhancement using Kernel Affine Projection Algorithm (KAPA) and Normalized KAPA. The removal of background noise is very important in many applications like speech recognition, telephone conversations, hearing aids, forensic, etc. Kernel adaptive filters shown good performance for removal of noise. If the evaluation of background noise is more slowly than the speech, i.e., noise signal is more stationary than the speech, we can easily estimate the noise during the pauses in speech. Otherwise it is more difficult to estimate the noise which results in degradation of speech. In order to improve the quality and intelligibility of speech, unlike time and frequency domains, we can process the signal in new domain like Reproducing Kernel Hilbert Space (RKHS) for high dimensional to yield more powerful nonlinear extensions. For experiments, we have used the database of noisy speech corpus (NOIZEUS). From the results, we observed the removal noise in RKHS has great performance in signal to noise ratio values in comparison with conventional adaptive filters.


title: Modeling gamma ray production from proton-proton interactions in high-energy astrophysical environments

abstract: Gamma rays are the best probes to study high-energy particle interactions occurring in astrophysical environments. Space based instruments such as Fermi Large Area Telescope (Fermi LAT) and ground based experiments such as VERITAS, H.E.S.S. and MAGIC have provided us with valuable data on various production mechanisms of gamma rays within our Galaxy and beyond. Depending on astronomical conditions, gamma rays can be produced either by hadronic or leptonic interactions. In this paper, we probe the production of gamma rays by the hadronic channel where gamma rays are primarily produced by the decay of secondary neutral pions and $\eta$ mesons from proton-proton interactions in a wide energy range. We use state of the art high-energy hadronic interaction models, calibrated with the new LHC results and widely used in ground based ultra-high energy air shower experiments. We also compare SIBYLL 2.1, QGSJET-II-04 and EPOS LHC models and provide lookup tables which can be used by researchers to model gamma ray production from the hadronic channel and ultimately extract the underlying proton spectrum from gamma ray observations.


title: Theory of magnon-skyrmion scattering in chiral magnets

abstract: We study theoretically the dynamics of magnons in the presence of a single skyrmion in chiral magnets featuring Dzyaloshinskii-Moriya interaction. We show by micromagnetic simulations that the scattering process of magnons by a skyrmion can be clearly defined although both originate in the common spins. We find that (i) the magnons are deflected by a skyrmion, with the angle strongly dependent on the magnon wavenumber due to the effective magnetic field of the topological texture, and (ii) the skyrmion motion is driven by magnon scattering through exchange of the momenta between the magnons and a skyrmion: the total momentum is conserved. This demonstrates that the skyrmion has a well-defined, though highly non-Newtonian, momentum.


title: New conceptions on the light wave theory in a moving frame of reference

abstract: A reanalisis of the effect of a moving frame of reference is done, showing that the null result of the Michelson-Morley's experimente of 1887 on the possibility of detecting the variation of the velocity of light with respect to a moving observer, na observer at the Earth, was already implied in these equations; thereforewith no need of new ad hoc hypotheses to explain it in the classical framework. In fact, it will be shown that behind those equations is hidden the fascinating phenomenon of the absolute motion.


title: The Partial-Isometric Crossed Products by Semigroups of Endomorphisms as Full Corners

abstract: Suppose $\Gamma^{+}$ is the positive cone of a totally ordered abelian group $\Gamma$, and $(A,\Gamma^{+},\alpha)$ is a system consisting of a $C^*$-algebra $A$, an action $\alpha$ of $\Gamma^{+}$ by extendible endomorphisms of $A$. We prove that the partial-isometric crossed product $A\times_{\alpha}^{\piso}\Gamma^{+}$ is a full corner in the subalgebra of $\L(\ell^{2}(\Gamma^{+},A))$, and that if $\alpha$ is an action by automorphisms of $A$, then it is the isometric-crossed product $(B_{\Gamma^{+}}\otimes A)\times^{\iso}\Gamma^{+}$, which is therefore a full corner in the usual crossed product of system by a group of automorphisms. We use these realizations to identify the ideal of $A\times_{\alpha}^{\piso}\Gamma^{+}$ such that the quotient is the isometric crossed product $A\times_{\alpha}^{\iso}\Gamma^{+}$.


title: Convergence of global solutions for some classes of nonlinear damped wave equations

abstract: We consider the asymptotic behavior of the soltion to the wave equation with time-dependent damping and analytic nonlinearity. Our main goal is to prove the convergence of a global solution to an equilibrium as time goes to infinity by means of a suitable Lojasiewicz-Simon type inequality.


title: Spin rectification induced by dynamical Hanle effect

abstract: Dynamic response of spin accumulation to a time-dependent magnetic field has been investigated in a ferromagnetic/nonmagnetic bilayer under ferromagnetic resonance. In this system, magnetization precession driven by a microwave generates direct-current (dc) and alternate-current (ac) spin accumulation in the nonmagnetic layer by the spin pumping. The ac spin accumulation is coupled with the microwave magnetic field through a dynamical Hanle spin precession, giving rise to rectified spin accumulation comparable with the dc spin accumulation directly generated by the spin pumping.


title: Hartree-Fock-Bogoliubov descriptions of deformed weakly-bound nuclei in large coordinate spaces

abstract: Weakly-bound deformed nuclei have been studied by the Skyrme Hartree-Fock-Bogoliubov (HFB) approach in large coordinate-space boxes. In particular, the box-size dependence of the HFB calculations of weakly-bound deformed nuclei are investigated, including the particle density and pairing density distributions at nuclear surfaces, the near-threshold resonant and continuum quasiparticle spectra, and energetic properties. The box size may have larger influences in pairing properties than in other bulk properties. We demonstrate that large-box calculations of weakly-bound nuclei are important to precisely describe exotic phenomena such as deformed halos and peninsulas of stability beyond drip lines.


title: Equivariant class group. I. Finite generation of the Picard and the class groups of an invariant subring

abstract: The purpose of this paper is to define equivariant class group of a locally Krull scheme (that is, a scheme which is locally a prime spectrum of a Krull domain) with an action of a flat group scheme, study its basic properties, and apply it to prove the finite generation of the class group of an invariant subring. In particular, we prove the following. Let $k$ be a field, $G$ a smooth $k$-group scheme of finite type, and $X$ a quasi-compact quasi-separated locally Krull $G$-scheme. Assume that there is a $k$-scheme $Z$ of finite type and a dominating $k$-morphism $Z\rightarrow X$. Let $\varphi:X\rightarrow Y$ be a $G$-invariant morphism such that $\mathcal O_Y\rightarrow (\varphi_*\mathcal O_X)^G$ is an isomorphism. Then $Y$ is locally Krull. If, moreover, $\Cl(X)$ is finitely generated, then $\Cl(G,X)$ and $\Cl(Y)$ are also finitely generated, where $\Cl(G,X)$ is the equivariant class group. In fact, $\Cl(Y)$ is a subquotient of $\Cl(G,X)$. For actions of connected group schemes on affine schemes, there are similar results of Magid and Waterhouse, but our result also holds for disconnected $G$. The proof depends on a similar result on (equivariant) Picard groups.


title: Reality problems for the Algebro-Geometric Solutions of Fokas-Lenell hierarchy

abstract: In a previous study, we obtained the algebro-geometric solutions and $n$-dark solitons of Forkas-Lenells (FL) hierarchy using algebro-geometric method. In this paper, we construct physically relevant classes of solutions for FL hierarchy by studying the reality conditions for $q=\pm \bar{r}$ based on the idea of Vinikov's homological basis.


title: Role of roughness on the hydrodynamic homogeneous base state of inelastic spheres

abstract: A gas of inelastic rough spheres admits a spatially homogeneous base state which turns into a hydrodynamic state after a finite relaxation time. We show that this relaxation time is hardly dependent on the degree of inelasticity but increases dramatically with decreasing roughness. An accurate description of translational-rotational velocity correlations at all times is also provided. At a given inelasticity, the roughness parameter can be tuned to produce a huge distortion from the Maxwellian distribution function. The results are obtained from a Grad-like solution of the Boltzmann-Enskog equation complemented by Monte Carlo and molecular dynamics simulations.


title: An algebraic approach to virtual fundamental cycles on moduli spaces of pseudo-holomorphic curves

abstract: We develop techniques for defining and working with virtual fundamental cycles on moduli spaces of pseudo-holomorphic curves which are not necessarily cut out transversally. Such techniques have the potential for applications as foundations for invariants in symplectic topology arising from "counting" pseudo-holomorphic curves. We introduce the notion of an *implicit atlas* on a moduli space, which is (roughly) a convenient system of local finite-dimensional reductions. We present a general intrinsic strategy for constructing a canonical implicit atlas on any moduli space of pseudo-holomorphic curves. The main technical step in applying this strategy in any particular setting is to prove appropriate gluing theorems. We require only topological gluing theorems, that is, smoothness of the transition maps between gluing charts need not be addressed. Our approach to virtual fundamental cycles is algebraic rather than geometric (in particular, we do not use perturbation). Sheaf-theoretic tools play an important role in setting up our functorial algebraic "VFC package". We illustrate the methods we introduce by giving definitions of Gromov--Witten invariants and Hamiltonian Floer homology over $\mathbb Q$ for general symplectic manifolds. Our framework generalizes to the $S^1$-equivariant setting, and we use $S^1$-localization to calculate Hamiltonian Floer homology. The Arnold conjecture (as treated by Floer, Hofer--Salamon, Ono, Liu--Tian, Ruan, and Fukaya--Ono) is a well-known corollary of this calculation.


title: Performance analysis of modified algorithm for finding multilevel association rules

abstract: Multilevel association rules explore the concept hierarchy at multiple levels which provides more specific information. Apriori algorithm explores the single level association rules. Many implementations are available of Apriori algorithm. Fast Apriori implementation is modified to develop new algorithm for finding multilevel association rules. In this study the performance of this new algorithm is analyzed in terms of running time in seconds.


title: On configurations where the Loomis-Whitney inequality is nearly sharp and applications to the Furstenberg set problem

abstract: In this paper, we consider the so-called "Furstenberg set problem" in high dimensions. First, following Wolff's work on the two dimensional real case, we provide "reasonable" upper bounds for the problem for $\mathbb{R}$ or $\mathbb{F}_p$. Next we study the "critical" case and improve the "trivial" exponent by $\Omega (\frac{1}{n^2})$ for $\mathbb{F}_p^n$. Our key tool to obtain this lower bound is a theorem about how things behave when the Loomis-Whitney inequality is nearly sharp, as it helps us to reduce the problem down to dimension two.


title: On sharp local turns of planar polynomials

abstract: We show that for a real polynomial of degree $n$ in two variables $x$ and $y$, any local "sharp turn" must have its "size" $\gtrsim e^{-Cn^{2}}$. We also show that there is indeed an example that has a sharp turn of size $\lesssim e^{-Cn}$. This gives a quite satisfactory answer to a problem raised by Guth. The problem was inspired by applications of the polynomial method in the study of Kakeya conjecture.


title: Detection of a Majorana-fermion zero mode by a T-shaped quantum-dot structure

abstract: Electron transport through the T-shaped quantum-dot (QD) structure is theoretically investigated, by considering a Majorana zero mode coupled to the terminal QD. It is found that in the double-QD case, the presence of the Majorana zero mode can efficiently dissolve the antiresonance point in the conductance spectrum and induce a conductance peak to appear at the same energy position whose value is equal to $e^2/2h$. This antiresonance-resonance change will be suitable to detect the Majorana bound states. Next in the multi-QD case, we observe that in the zero-bias limit, the conductances are always the same as the double-QD result, independent of the parity of the QD number. We believe that all these results can be helpful for understanding the properties of Majorana bound states.


title: Accelerated Proximal Stochastic Dual Coordinate Ascent for Regularized Loss Minimization

abstract: We introduce a proximal version of the stochastic dual coordinate ascent method and show how to accelerate the method using an inner-outer iteration procedure. We analyze the runtime of the framework and obtain rates that improve state-of-the-art results for various key machine learning optimization problems including SVM, logistic regression, ridge regression, Lasso, and multiclass SVM. Experiments validate our theoretical findings.


title: The properties of cross-correlation and spectra of the low-mass X-ray binary 4U 1608-52

abstract: With {\it RXTE} data, we analyzed the cross-correlation function between the soft and hard X-rays of the transient atoll source 4U 1608-52. We found anti-correlations in three outbursts occurred in 1998, 2002 and 2010, and significant time lags of several hundreds of seconds in the latter two outbursts. Our results show no correlation between the soft and hard X-rays in the island state, and a dominated positive correlation in the lower banana state. Anti-correlations are presented at the upper banana state for the outburst of 2010 and at the lower left banana states for the other two outbursts. So far for atoll sources the cross-correlation has been studied statistically only for 4U 1735-44, where anti-correlations showed up in the upper banana state. Here our investigation upon 4U 1608-52 provides a similar result in its 2010 outburst. In addition, we notice that the luminosities in the upper banana of 1998 and 2002 outbursts are about 1.5 times that of 2010 outburst whose luminosity in the upper banana is close to that of 4U 1735-44. The results suggest that the states in color-color diagram of a source could be correlated with the luminosity of the source. A further spectral analysis shows that, during the 2010 outburst, although an anti-correlation presents at the highest fluxes, the contemporary spectrum is not the softest one along the outburst evolution. This suggests that the observed anti-correlation may be relevant to the transition between the hard and soft states, which is consistent with the previous results on 4U 1735-44 and several black hole X-ray binaries that anti-correlations are observed during the transition states.


title: Generalisations of the tame automorphisms over a domain of positive characteristic

abstract: In this paper, we introduce two generalizations of the tame subgroup of the automorphism group of a polynomial ring over a domain of positive characteristic. We study detailed structures of these new `tame subgroups' in the case of two variables.


title: Magnetoresistance evidence on surface state and field-dependent bulk gap in Kondo insulator SmB6

abstract: Recently, the resistance saturation at low temperature in Kondo insulator SmB6, a long-standing puzzle in condensed matter physics, was proposed to originate from topological surface state. Here,we systematically studied the magnetoresistance of SmB6 at low temperature up to 55 Tesla. Both temperature- and angular-dependent magnetoresistances show a similar crossover behavior below 5 K. Furthermore, the angular-dependent magnetoresistance on different crystal face confirms a two-dimensional surface state as the origin of magnetoresistances crossover below 5K. Based on two-channels model consisting of both surface and bulk states, the field-dependence of bulk gap with critical magnetic field (Hc) of 196 T is extracted from our temperature-dependent resistance under different magnetic fields. Our results give a consistent picture to understand the low-temperature transport behavior in SmB6, consistent with topological Kondo insulator scenario.


title: Spectro-temporal evolution during the onset-phase of the 2011 outburst of IGR J17091-3624. Implications on accretion disk dynamics

abstract: We re-analysed the archival data of RXTE / INTEGRAL / Swift satellites at the onset phase of the 2011 outburst of the X-ray source IGR J17091-3624. The evolution of the spectral and temporal properties of the source in this phase clearly exhibits state transition as Hard (HS) to Hard-Intermediate (HIMS) to Soft-Intermediate (SIMS) to Soft (SS) state, before entering the variability phase (VP).We attempt to understand the evolution of X-ray features and the state transitions based on two different types of accreting material (i.e, the Keplerian and sub-Keplerian flow).


title: (3+1)-dimensional topological quantum field theory from a tight-binding model of interacting spinless fermions

abstract: Currently, there is much interest in discovering analytically tractable (3+1)-dimensional models that describe interacting fermions with emerging topological properties. Towards that end we present a three-dimensional tight-binding model of spinless interacting fermions that reproduces, in the low energy limit, a (3+1)-dimensional Abelian topological quantum field theory called BF model. By employing a mechanism equivalent to the Haldane's Chern insulator, we can turn the non-interacting model into a three-dimensional chiral topological insulator. We then isolate energetically one of the two Fermi points of the lattice model. In the presence of suitable fermionic interactions, the system, in the continuum limit, is equivalent to a generalised (3+1)-dimensional Thirring model. The low energy limit of this model is faithfully described by the BF theory. Our approach directly establishes the presence of (2+1)-dimensional BF theory at the boundary of the lattice and it provides a way to detect the topological order of the model through fermionic density measurements.


title: Cosmic Mnemonics

abstract: Our current description of the large-scale Universe is now known with a precision undreamt of a generation ago. Within the simple standard cosmological model only six basic parameters are required. The usual parameter set includes quantities most directly probed by the cosmic microwave background, but the nature of these quantities is somewhat esoteric. However, many more numbers can be derived that quantify various aspects of our Universe. Using constraints from the Planck satellite, in combination with other data sets, we explore several such quantities, highlighting some specific examples.


title: The Green's function formalism as a bridge between single and multi-compartmental modeling

abstract: Neurons are spatially extended structures that receive and process inputs on their dendrites. It is generally accepted that neuronal computations arise from the active integration of synaptic inputs along a dendrite between the input location and the location of spike generation in the axon initial segment. However, many application such as simulations of brain networks, use point-neurons --neurons without a morphological component-- as computational units to keep the conceptual complexity and computational costs low. Inevitably, these applications thus omit a fundamental property of neuronal computation. In this work, we present an approach to model an artificial synapse that mimics dendritic processing without the need to explicitly simulate dendritic dynamics. The model synapse employs an analytic solution for the cable equation to compute the neuron's membrane potential following dendritic inputs. Green's function formalism is used to derive the closed version of the cable equation. We show that by using this synapse model, point-neurons can achieve results that were previously limited to the realms of multi-compartmental models. Moreover, a computational advantage is achieved when only a small number of simulated synapses impinge on a morphologically elaborate neuron. Opportunities and limitations are discussed.


title: On lower and upper bounds for Asian-type options: a unified approach

abstract: In the context of dealing with financial risk management problems it is desirable to have accurate bounds for option prices in situations when pricing formulae do not exist in the closed form. A unified approach for obtaining upper and lower bounds for Asian-type options, including options on VWAP, is proposed in this paper. The bounds obtained are applicable to the continuous and discrete-time frameworks for the case of time-dependent interest rates. Numerical examples are provided to illustrate the accuracy of the bounds.


title: An Invariant Subspace Theorem and Invariant Subspaces of Analytic Reproducing Kernel Hilbert Spaces - I

abstract: Let T be a C_{\cdot 0}-contraction on a Hilbert space H and S be a non-trivial closed subspace of H. We prove that S is a T-invariant subspace of H if and only if there exists a Hilbert space D and a partially isometric operator \Pi : H^2_D(\mathbb{D}) \raro H such that \Pi M_z = T \Pi and that S = ran \Pi, or equivalently, P_S = \Pi \Pi^*. As an application we completely classify the shift-invariant subspaces of C_{\cdot 0}-contractive and analytic reproducing kernel Hilbert spaces over the unit disc. Our results also includes the case of weighted Bergman spaces over the unit disk.


title: Thresholds for global existence and blow-up in a general class of doubly dispersive nonlocal wave equations

abstract: In this article we study global existence and blow-up of solutions for a general class of nonlocal nonlinear wave equations with power-type nonlinearities, $u_{tt}-Lu_{xx}=B(- |u|^{p-1}u)_{xx}, ~(p>1)$, where the nonlocality enters through two pseudo-differential operators $L$ and $B$. We establish thresholds for global existence versus blow-up using the potential well method which relies essentially on the ideas suggested by Payne and Sattinger. Our results improve the global existence and blow-up results given in the literature for the present class of nonlocal nonlinear wave equations and cover those given for many well-known nonlinear dispersive wave equations such as the so-called double-dispersion equation and the traditional Boussinesq-type equations, as special cases.


title: Emitting Electron Spectra and Acceleration Processes in the Jet of PKS 0447-439

abstract: We investigate the electron energy distributions (EEDs) and the corresponding acceleration processes in the jet of PKS 0447$-$439 and estimate its redshift through modeling its observed spectral energy distribution (SED) in the frame of a one-zone synchrotron-self Compton (SSC) model. Three EEDs formed in different acceleration scenarios are assumed: the power-law with exponential cut-off (PLC) EED (shock-acceleration scenario or the case of the EED approaching equilibrium in the stochastic-acceleration scenario), the log-parabolic (LP) EED (stochastic-acceleration scenario and the acceleration dominating) and the broken power law (BPL) EED (no acceleration scenario), and then the corresponding fluxes of both synchrotron and SSC are calculated. The model is applied to PKS 0447-439 and modeling SEDs are compared to the observed SED of this object by using the Markov Chain Monte Carlo (MCMC) method. Calculating results show that PLC model fails to fit the observed SED well, while the LP and BPL models give comparably good fits for the observed SED. The results indicate that it is possible that stochastic acceleration process acts in the emitting region of PKS 0447-439 and the EED is far from equilibrium (acceleration dominating) or no acceleration process works (in the emitting region). The redshift of PKS 0447-439 is also estimated in our fitting, and $z=0.16\pm0.05$ for LP case and $z=0.17\pm0.04$ for BPL case.


title: DyPS: Dynamic Processor Switching for Energy-Aware Video Decoding on Multi-core SoCs

abstract: In addition to General Purpose Processors (GPP), Multicore SoCs equipping modern mobile devices contain specialized Digital Signal Processor designed with the aim to provide better performance and low energy consumption properties. However, the experimental measurements we have achieved revealed that system overhead, in case of DSP video decoding, causes drastic performances drop and energy efficiency as compared to the GPP decoding. This paper describes DyPS, a new approach for energy-aware processor switching (GPP or DSP) according to the video quality . We show the pertinence of our solution in the context of adaptive video decoding and describe an implementation on an embedded Linux operating system with the help of the GStreamer framework. A simple case study showed that DyPS achieves 30% energy saving while sustaining the decoding performance


title: Minimizing Finite Sums with the Stochastic Average Gradient

abstract: We propose the stochastic average gradient (SAG) method for optimizing the sum of a finite number of smooth convex functions. Like stochastic gradient (SG) methods, the SAG method's iteration cost is independent of the number of terms in the sum. However, by incorporating a memory of previous gradient values the SAG method achieves a faster convergence rate than black-box SG methods. The convergence rate is improved from O(1/k^{1/2}) to O(1/k) in general, and when the sum is strongly-convex the convergence rate is improved from the sub-linear O(1/k) to a linear convergence rate of the form O(p^k) for p \textless{} 1. Further, in many cases the convergence rate of the new method is also faster than black-box deterministic gradient methods, in terms of the number of gradient evaluations. Numerical experiments indicate that the new algorithm often dramatically outperforms existing SG and deterministic gradient methods, and that the performance may be further improved through the use of non-uniform sampling strategies.


title: The glass susceptibility: growth kinetics and saturation under shear

abstract: We study the growth kinetics of glassy correlations in a structural glass by monitoring the evolution, within mode-coupling theory, of a suitably defined three-point function $\chi_C(t,t_w)$ with time $t$ and waiting time $t_w$. From the complete wave vector-dependent equations of motion for domain growth we pass to a schematic limit to obtain a numerically tractable form. We find that the peak value $\chi_C^P$ of $\chi_C(t,t_w)$, which can be viewed as a correlation volume, grows as $t_w^{0.5}$, and the relaxation time as $t_w^{0.8}$, following a quench to a point deep in the glassy state. These results constitute a theoretical explanation of the simulation findings of Parisi [J. Phys. Chem. B {\bf 103}, 4128 (1999)] and Kob and Barrat [Phys. Rev. Lett. {\bf 78}, 4581 (1997)] and are also in qualitative agreement with Parsaeian and Castillo [Phys. Rev. E {\bf 78}, 060105(R) (2008)]. On the other hand, if the quench is to a point on the {\em liquid side}, the correlation volume grows to saturation. We present a similar calculation for the growth kinetics in a $p$-spin spin glass mean-field model where we find a slower growth, $\chi_C^P \sim t_w^{0.13}$. Further, we show that a shear rate $\gdot$ cuts off the growth of glassy correlations when $t_w\sim 1/\gdot$ for quench in the glassy regime and $t_w=\min(t_r,1/\gdot)$ in the liquid, where $t_r$ is the relaxation time of the unsheared liquid. The relaxation time of the steady state fluid in this case is $\propto \gdot^{-0.8}$.


title: Poisson-Nernst-Planck Model of Bipolar Nano uidic Diode Based on Bulletlike Nanopore

abstract: Bipolar nanofluidic diode is based on nanopore with positive and negative surface charges separated by a junction. This paper investigates the effects of the pore structure, taking the bullet-like pore as an example, on the ion current rectification. The Poisson-Nernst-Planck Modelings show that the ion current rectification behavior can be greatly influenced by the shape of the pore. The bipolar nanofluidic diode with more tapered tip has significantly higher ion current rectification degree. The modelling results indicate that special design of the nanopore is necessary for the performance of the bipolar nanofluidic diode.


title: Transition amplitudes, polarizabilities and energy levels within optical wavelength of highly charged ions Sm14+ and Sm13+

abstract: We discuss possible search for optical transitions in Sm13+ and Sm14+ using ab initio calculations of differential dynamic polarizability. We calculate dynamic polarizability for M1 transition between first and second excited states of Sm14+ . Transition amplitudes and energies within optical range for states that contribute to the polarizability of the mentioned transition are presented. Employing simple analytical formula for polarizability data in the vicinity of a resonance and assuming that several values of the polarizability for different laser frequencies will be measured one can find the accurate position of the resonance. Results of similar calculations of amplitudes and energies of states that contribute to the polarizability of the M1 transition between ground and first excited states of Sm13+ are also presented.


title: On the Coordinate System of Space-Weather HMI Active Region Patches (SHARPs): A Technical Note

abstract: We describe the coordinate systems of two streams of HMI active region vector data. A distinction is made between (a) the 2D grid on which the field vector is measured (or sampled), and (b) the 3D coordinate established at each grid point, in which the field vector is presented. The HMI data reduction can involve coordinate changes on both, with those performed on the former termed "remapping", the latter "vector transformation". Relevant pipeline procedures are described. Useful examples are given for data analysis.


title: A Survey on Reproducing Kernel Krein Spaces

abstract: This is a survey on reproducing kernel Krein spaces and their interplay with operator valued Hermitian kernels. Existence and uniqueness properties are carefully reviewed. The approach we follow in this survey uses a more abstract but very useful concept of linearization or Kolmogorov decomposition, as well as the underlying concept of Krein space induced by a selfadjoint operator and that of Krein space continuously embedded. The operator range feature of reproducing kernel spaces is emphasized. We include a careful presentation of Hermitian kernels on complex regions that points out a universality property of the Szego kernels with respect to reproducing kernel Krein spaces of holomorphic functions.


title: Polynomial Path Orders

abstract: This paper is concerned with the complexity analysis of constructor term rewrite systems and its ramification in implicit computational complexity. We introduce a path order with multiset status, the polynomial path order POP*, that is applicable in two related, but distinct contexts. On the one hand POP* induces polynomial innermost runtime complexity and hence may serve as a syntactic, and fully automatable, method to analyse the innermost runtime complexity of term rewrite systems. On the other hand POP* provides an order-theoretic characterisation of the polytime computable functions: the polytime computable functions are exactly the functions computable by an orthogonal constructor TRS compatible with POP*.


title: Soliton solution of the Zakharov equations in quantum plasmas

abstract: We investigate the existence of envelope soliton solutions in collisionless quantum plasmas, using the quantum-corrected Zakharov equations in the kinetic case, which describes the interaction between high frequency Langmuir waves and low frequency plasma density variations. We show the role played by quantum effects in the nonlinearity/dispersion balance leading to the formation of soliton solutions of the quantum-corrected nonlinear Schrodinger (QNLS) equation.


title: Lorenz, G\"{o}del and Penrose: New perspectives on determinism and causality in fundamental physics

abstract: Despite being known for his pioneering work on chaotic unpredictability, the key discovery at the core of meteorologist Ed Lorenz's work is the link between space-time calculus and state-space fractal geometry. Indeed, properties of Lorenz's fractal invariant set relate space-time calculus to deep areas of mathematics such as G\"{o}del's Incompleteness Theorem. These properties, combined with some recent developments in theoretical and observational cosmology, motivate what is referred to as the `cosmological invariant set postulate': that the universe $U$ can be considered a deterministic dynamical system evolving on a causal measure-zero fractal invariant set $I_U$ in its state space. Symbolic representations of $I_U$ are constructed explicitly based on permutation representations of quaternions. The resulting `invariant set theory' provides some new perspectives on determinism and causality in fundamental physics. For example, whilst the cosmological invariant set appears to have a rich enough structure to allow a description of quantum probability, its measure-zero character ensures it is sparse enough to prevent invariant set theory being constrained by the Bell inequality (consistent with a partial violation of the so-called measurement independence postulate). The primacy of geometry as embodied in the proposed theory extends the principles underpinning general relativity. As a result, the physical basis for contemporary programmes which apply standard field quantisation to some putative gravitational lagrangian is questioned. Consistent with Penrose's suggestion of a deterministic but non-computable theory of fundamental physics, a `gravitational theory of the quantum' is proposed based on the geometry of $I_U$, with potential observational consequences for the dark universe.


title: Solar abundance of manganese: a case for the existence of near Chandrasekhar-mass Type Ia supernova progenitors

abstract: Context: Manganese is predominantly synthesised in Type Ia supernova (SN Ia) explosions. Owing to the entropy dependence of the Mn yield in explosive thermonuclear burning, SNe Ia involving near Chandrasekhar-mass white dwarfs (WDs) are predicted to produce Mn to Fe ratios significantly exceeding those of SN Ia explosions involving sub-Chandrasekhar mass primary WDs. Of all current supernova explosion models, only SN Ia models involving near-Chandrasekhar mass WDs produce [Mn/Fe] > 0.0. Aims: Using the specific yields for competing SN Ia scenarios, we aim to constrain the relative fractions of exploding near-Chandrasekhar mass to sub-Chandrasekhar mass primary WDs in the Galaxy. Methods: We extract the Mn yields from three-dimensional thermonuclear supernova simulations referring to different initial setups and progenitor channels. We then compute the chemical evolution of Mn in the Solar neighborhood, assuming SNe Ia are made up of different relative fractions of the considered explosion models. Results: We find that due to the entropy dependence of freeze-out yields from nuclear statistical equilibrium, [Mn/Fe] strongly depends on the mass of the exploding WD, with near-Chandraskher mass WDs producing substantially higher [Mn/Fe] than sub-Chandrasekhar mass WDs. Of all nucleosynthetic sources potentially influencing the chemical evolution of Mn, only explosion models involving the thermonuclear incineration of near-Chandrasekhar mass WDs predict solar or super-solar [Mn/Fe]. Consequently, we find in our chemical evolution calculations that the observed [Mn/Fe] in the Solar neighborhood at [Fe/H] > 0.0 cannot be reproduced without near-Chandrasekhar mass SN Ia primaries. Assuming that 50 per cent of all SNe Ia stem from explosive thermonuclear burning in near-Chandrasekhar mass WDs results in a good match to data.


title: Identifying all irreducible conserved metabolite pools in genome-scale metabolic networks: a general method and the case of Escherichia coli

abstract: The stoichiometry of metabolic networks usually gives rise to a family of conservation laws for the aggregate concentration of specific pools of metabolites, which not only constrain the dynamics of the network, but also provide key insight into a cell's production capabilities. When the conserved quantity identifies with a chemical moiety, extracting all such conservation laws from the stoichiometry amounts to finding all integer solutions to an NP-hard programming problem. Here we propose a novel and efficient computational strategy that combines Monte Carlo, message passing, and relaxation algorithms to compute the complete set of irreducible integer conservation laws of a given stoichiometric matrix, also providing a certificate for correctness and maximality of the solution. The method is deployed for the analysis of the complete set of irreducible integer pools of two large-scale reconstructions of the metabolism of the bacterium Escherichia coli in different growth media. In addition, we uncover a scaling relation that links the size of the irreducible pool basis to the number of metabolites, for which we present an analytical explanation.

categories: q-bio.MN cond-mat.dis-nn physics.bio-ph physics.chem-ph q-bio.QM


title: Extending Partial Representations of Circle Graphs

abstract: The partial representation extension problem is a recently introduced generalization of the recognition problem. A circle graph is an intersection graph of chords of a circle. We study the partial representation extension problem for circle graphs, where the input consists of a graph $G$ and a partial representation $\cal R'$ giving some pre-drawn chords that represent an induced subgraph of $G$. The question is whether one can extend $\cal R'$ to a representation $\cal R$ of the entire graph $G$, i.e., whether one can draw the remaining chords into a partially pre-drawn representation to obtain a representation of $G$. Our main result is an $O(n^3)$ time algorithm for partial representation extension of circle graphs, where $n$ is the number of vertices. To show this, we describe the structure of all representations of a circle graph using split decomposition. This can be of independent interest.


title: Ultrafast spin-resolved spectroscopy reveals dominant exciton dynamics in conducting polymer polyaniline

abstract: The conducting polymer polyaniline (PANI) has a wide range of optoelectronic applications due to its unique electronic and optical characteristics. Although extensive works have been performed to understand the equilibrium properties, the nature of the charge type that governs its non-equilibrium optical response has been barely understood; a number of studies have debated the nature of photo-generated charge type in PANI, specifically whether it is polaron or exciton based. Here, we report experimental evidence that the charge relaxation dynamics of PANI are dominated by excitons. Utilizing ultrafast spin-resolved pump-probe spectroscopy, we observed that PANI charge dynamics are strongly spin-polarized, exhibiting a spin Pauli-blocking effect. Investigations including both spin-independent and spindependent dynamics reveal that there is no spin-flip process involved in charge relaxation. This provides compelling evidence of an exciton-dominated photo-response in PANI.


title: Means on scattered compacta

abstract: We prove that a separable Hausdorff topological space $X$ containing a cocountable subset homeomorphic to $[0,\omega_1]$ admits no separately continuous mean operation and no diagonally continuous $n$-mean for $n\ge 2$.


title: Anger is More Influential Than Joy: Sentiment Correlation in Weibo

abstract: Recent years have witnessed the tremendous growth of the online social media. In China, Weibo, a Twitter-like service, has attracted more than 500 million users in less than four years. Connected by online social ties, different users influence each other emotionally. We find the correlation of anger among users is significantly higher than that of joy, which indicates that angry emotion could spread more quickly and broadly in the network. While the correlation of sadness is surprisingly low and highly fluctuated. Moreover, there is a stronger sentiment correlation between a pair of users if they share more interactions. And users with larger number of friends posses more significant sentiment influence to their neighborhoods. Our findings could provide insights for modeling sentiment influence and propagation in online social networks.


title: Volume Phase Transition of Polyelectrolyte Gels: Effects of Ionic Size

abstract: Although the volume transition of the polyelectrolyte gel has been studied for decades, little research on the effects of size of the mobile ions has been conducted. In the present paper, Tanaka classical theory of polyelectrolyte gel is extended to the cases of mobile ions of finite volume. In the salt free limit, the theoretical results show that the discontinuous volume transition of the polyelectrolyte gel will become a continuous one with an increase of the counter-ionic size. An increase in salt concentration can also make the polyelectrolyte gel in poor solvent collapse. Poorer solvent is needed to trigger the salt-induced collapse in polyelectrolyte gel with larger mobile ions than that with smaller ones. The effects of ionic size on the critical points and phase diagram of the volume transition are also discussed. The theoretical results suggest that the swelling behavior of polyelectrolyte gel might be tuned with salt of different volumes.


title: Implementation of Function Point Analysis in Measuring The Volume Estimation of Software System in Object Oriented and Structural Model of Academic System

abstract: In the software development required a fidelity and accuracy in determining the size or value of the software to fit the operation is executed. Various methods of calculation has been widely applied to estimate the size, and one of them is by using the method of Function Point Analysis (FPA). The method is then applied by author to measure the complexity of an academic information system by using the two modeling approaches, namely object oriented and structural models. Measurements in this paper consists of several stages, namely describing the information system that will be built into the UML models and structured. Then the model is analyzed by calculating Crude Function Points (CRP), Relative Complexity Adjustment Factor (RCAF), and then calculate its function point. From the result of a calculation using the FPA to the academic system software development, FP values of object oriented model obtained for 174,64 and the FP value of structured models for 180,93. The result of function point that will be used by developers in determining the price and cost of software systems to be built.


title: Normal Forms, symmetry, and linearization of dynamical systems

abstract: We discuss how the presence of a suitable symmetry can guarantee the perturbative linearizability of a dynamical system - or a parameter dependent family - via the Poincar\'e Normal Form approach. We discuss this at first formally, and later pay attention to the convergence of the linearizing procedure. We also discuss some generalizations of our main result


title: Density-matrix functionals from Greens functions

abstract: The exact reduced density-matrix functional is derived from the Luttinger-Ward functional of the single-particle Green's function. Thereby, a formal link is provided between diagrammatic many-body approaches using Green's functions on the one hand and theories based on many-body wave functions on the other. This link can be used to explicitly construct approximations for the density-matrix functional that are equivalent to standard diagrammatic re-summation techniques and to non-perturbative dynamical mean-field theory in particular. Contrary to functionals of the Green's-function, the exact density-matrix functional is convex and thus provides a true minimum principle which facilitates the calculation of the grand potential and derived equilibrium properties. The benefits of the proposed Green's-function-based density-matrix functional theory for geometrical structure optimization of strongly correlated materials are discussed.


title: Partial Lie-point symmetries of differential equations

abstract: When we consider a differential equation $\Delta=0$ whose set of solutions is ${{\cal S}}_\Delta$, a Lie-point exact symmetry of this is a Lie-point invertible transformation $T$ such that $T({{\cal S}}_\Delta)={{\cal S}}_\Delta$, i.e. such that any solution to $\Delta=0$ is tranformed into a (generally, different) solution to the same equation; here we define {\it partial} symmetries of $\Delta=0$ as Lie-point invertible transformations $T$ such that there is a nonempty subset ${{\cal P}} \subset {{\cal S}}_\Delta$ such that $T({{\cal P}}) = {{\cal P}}$, i.e. such that there is a subset of solutions to $\Delta=0$ which are transformed one into the other. We discuss how to determine both partial symmetries and the invariant set ${{\cal P}} \subset {{\cal S}}_\Delta$, and show that our procedure is effective by means of concrete examples. We also discuss relations with conditional symmetries, and how our discussion applies to the special case of dynamical systems. Our discussion will focus on continuous Lie-point partial symmetries, but our approach would also be suitable for more general classes of transformations; the discussion is indeed extended to partial generalized (or Lie-B\"acklund) symmetries along the same lines, and in the appendix we will discuss the case of discrete partial symmetries.


title: Analysis of particle methods for structured population models with nonlocal boundary term in the framework of bounded Lipschitz distance

abstract: Recently developed theoretical framework for analysis of structured population dynamics in the spaces of nonnegative Radon measures with a suitable metric provides a rigorous tool to study numerical schemes based on particle methods. The approach is based on the idea of tracing growth and transport of measures which approximate the solution of original partial differential equation. In this paper we present analytical and numerical study of two versions of Escalator Boxcar Train (EBT) algorithm which has been widely applied in theoretical biology, and compare it to the recently developed split-up algorithm. The novelty of this paper is in showing well-posedness and convergence rates of the schemes using the concept of semiflows on metric spaces. Theoretical results are validated by numerical simulations of test cases, in which distances between simulated and exact solutions are computed using flat metric.


title: Letter to the editor: Against the Resilience of Rejected Manuscripts

abstract: In this letter we propose the development of guidelines by the main editors associations as well as protocols within online journal management systems for keeping track of rejected manuscripts that are resubmitted as well as for the interchange of referees reports between journals.


title: Investigation on the energy and mass composition of cosmic rays using LOPES radio data

abstract: The sensitivity to the mass composition as well as the reconstruction of the energy of the primary particle are explored here by leveraging the features of the radio lateral distribution function. For the purpose of this analysis, a set of events measured with the LOPES experiment is reproduced with the latest CoREAS radio simulation code. Based on simulation predictions, a method which exploits the slope of the radio lateral distribution function is developed (Slope Method) and directly applied on measurements. As a result, the possibility to reconstruct both the energy and the depth of the shower maximum of the cosmic ray air shower using radio data and achieving relatively small uncertainties is presented.


title: Dependency Structure and Scaling Properties of Financial Time Series Are Related

abstract: We report evidence of a deep interplay between cross-correlations hierarchical properties and multifractality of New York Stock Exchange daily stock returns. The degree of multifractality displayed by different stocks is found to be positively correlated to their depth in the hierarchy of cross-correlations. We propose a dynamical model that reproduces this observation along with an array of other empirical properties. The structure of this model is such that the hierarchical structure of heterogeneous risks plays a crucial role in the time evolution of the correlation matrix, providing an interpretation to the mechanism behind the interplay between cross-correlation and multifractality in financial markets, where the degree of multifractality of stocks is associated to their hierarchical positioning in the cross-correlation structure. Empirical observations reported in this paper present a new perspective towards the merging of univariate multi scaling and multivariate cross-correlation properties of financial time series.


title: Experimental and theoretical investigation of statistical regimes in random laser emission

abstract: We present a theoretical and experimental study aimed at characterizing statistical regimes in a random laser. Both the theoretical simulations and the experimental results show the possibility of three region of fluctuations increasing the pumping energy. An initial Gaussian regime is followed by a L\'evy statistics and Gaussian statistic is recovered again for high pump pulse energy. These different statistical regimes are possible in a weakly diffusive active medium, while the region of L\'evy statistics disappears when the medium is strongly diffusive presenting always a Gaussian regime with smooth emission spectrum. Experiments and theory agree in identification of the key parameters determining the statistical regimes of the random laser.


title: The Google Scholar Experiment: how to index false papers and manipulate bibliometric indicators

abstract: Google Scholar has been well received by the research community. Its promises of free, universal and easy access to scientific literature as well as the perception that it covers better than other traditional multidisciplinary databases the areas of the Social Sciences and the Humanities have contributed to the quick expansion of Google Scholar Citations and Google Scholar Metrics: two new bibliometric products that offer citation data at the individual level and at journal level. In this paper we show the results of a experiment undertaken to analyze Google Scholar's capacity to detect citation counting manipulation. For this, six documents were uploaded to an institutional web domain authored by a false researcher and referencing all the publications of the members of the EC3 research group at the University of Granada. The detection of Google Scholar of these papers outburst the citations included in the Google Scholar Citations profiles of the authors. We discuss the effects of such outburst and how it could affect the future development of such products not only at individual level but also at journal level, especially if Google Scholar persists with its lack of transparency.


title: A note on three problems in metric Diophantine approximation

abstract: The use of Hausdorff measures and dimension in the theory of Diophantine approximation dates back to the 1920s with the theorems of Jarnik and Besicovitch regarding well-approximable and badly-approximable points. In this paper we consider three inhomogeneous problems that further develop these classical results. Firstly, we obtain a Jarnik type theorem for the set of multiplicatively approximable points in the plane. This Hausdorff measure statement does not reduce to Gallagher's Lebesgue measure statement as one might expect and is new even in the homogeneous setting. Next, we establish a Jarnik type theorem for the set of multiplicatively approximable points on a non-degenerate planar curve. This completes the Hausdorff theory for planar curves. Finally, we show that the set of simultaneously inhomogeneously (i,j)-badly approximable points in the plane is of full dimension. The underlying philosophy behind the proof has other applications; e.g. towards establishing the inhomogeneous version of Schmidt's Conjecture. The higher dimensional analogues of the planar results are also discussed.


title: NV-center imaging of bubble domains in a 6 {\AA} film of cobalt with perpendicular magnetization

abstract: We employ a scanning NV-center microscope to perform stray field imaging of bubble magnetic domains in a perpendicularly magnetized Pt/Co/AlOx trilayer with 6 {\AA} of Co. The stray field created by the domain walls is quantitatively mapped with few-nanometer spatial resolution, with a probe-sample distance of about 100 nm. As an example of application, we show that it should be possible to determine the Bloch or N\'eel nature of the domain walls, which is of crucial importance to the understanding of current-controlled domain wall motion.


title: Modeling of Stock Returns and Trading Volume

abstract: In this study, we investigate the statistical properties of the returns and the trading volume. We show a typical example of power-law distributions of the return and of the trading volume. Next, we propose an interacting agent model of stock markets inspired from statistical mechanics [24] to explore the empirical findings. We show that as the interaction among the interacting traders strengthens both the returns and the trading volume present power-law behavior.


title: Ultrafast zero balance of the oscillator-strength sum rule in graphene

abstract: Oscillator-strength sum rule in light-induced transitions is one general form of quantum-mechanical identities. Although this sum rule is well established in equilibrium photo-physics, an experimental corroboration for the validation of the sum rule in a nonequilibrium regime has been a long-standing unexplored question. The simple band structure of graphene is an ideal system for investigating this question due to the linear Dirac-like energy dispersion. Here, we employed both ultrafast terahertz and optical spectroscopy to directly monitor the transient oscillator-strength balancing between quasi-free low-energy oscillators and high-energy Fermi-edge ones. Upon photo-excitation of hot Dirac fermions, we observed that the ultrafast depletion of high-energy oscillators precisely complements the increased terahertz absorption oscillators. Our results may provide an experimental priori to understand, for example, the intrinsic free-carrier dynamics to the high-energy photo-excitation, responsible for optoelectronic operation such as graphene-based phototransistor or solar-energy harvesting devices.


title: An approach to the analysis of SDSS spectroscopic outliers based on Self-Organizing Maps

abstract: Aims. A new method is applied to the segmentation, and further analysis of the outliers resulting from the classification of astronomical objects in large databases is discussed. The method is being used in the framework of the Gaia satellite DPAC (Data Processing and Analysis Consortium) activities to prepare automated software tools that will be used to derive basic astrophysical information that is to be included in Gaia final archive. Methods. Our algorithm has been tested by means of simulated Gaia spectrophotometry, which is based on SDSS observations and theoretical spectral libraries covering a wide sample of astronomical objects. Self-Organizing Maps (SOM) networks are used to organize the information in clusters of objects, as homogeneous as possible, according to their spectral energy distributions (SED), and to project them onto a 2-D grid where the data structure can be visualized. Results. We demonstrate the usefulness of the method by analyzing the spectra that were rejected by the SDSS spectroscopic classification pipeline and thus classified as "UNKNOWN". Firstly, our method can help to distinguish between astrophysical objects and instrumental artifacts. Additionally, the application of our algorithm to SDSS objects of unknown nature has allowed us to identify classes of objects of similar astrophysical nature. In addition, the method allows for the potential discovery of hundreds of novel objects, such as white dwarfs and quasars. Therefore, the proposed method is shown to be very promising for data exploration and knowledge discovery in very large astronomical databases, such as the upcoming Gaia mission.


title: Collective excitations of atoms and field modes in coupled cavities

abstract: The exact solution of the system consisted from two or three q-bits doped in coupled cavities is discussed. The problem of indistinguishable between the excited radiators and photons is analyzed using the intrinsic symmetry of the system. It is demonstrated that the solution is drastically simplified when the radiators and photons are considered as a new polariton excitations. The exact solution of Schrodinger equation is obtained for single and two excitations in each cavity taking into consideration the indistinguishable principle. This approach opens new possibilities in the interpretation of quantum entangled states in comparison with the traditional distinctive situation (see for example [1,2]) due to the decreasing of the number of degrees of freedoms in the system. Considering that the energies of coupling between the radiators and photons is larger than the coupling with external vacuum field, we have found the master equation for the dumping of collective excitations of the system of coupled radiators through the cavity fields. The time-dependence of population for new dressed quasi-levels of energy is obtained solving analytically and numerically the master equation.


title: On the uniqueness of solutions for the Fubuki game

abstract: We discuss the problem of uniqueness of solutions for the Fubuki game when the diagonal is prescribed.


title: $K_{i}^{loc}(\mathbb{C})$, $i = 0, 1$

abstract: In this article we compute the {\em local algebraic $K$-theory}, $ i = 0, 1$, of the algebra of complex numbers $\mathbb{C}$ endowed with the trivial filtration, i.e. $\mathbb{C}_{\mu}= \mathbb{C}$, for any $\mu \in \mathbb{N}$; {\em local algebras} and {\em local} algebraic $K^{loc}_{i}$-theory were introduced in \cite{Teleman_arXiv_IV}. \par Theorem 3 states the result. \par This case corresponds in the simplest case to the Alexander-Spanier {\em local $K$-theory} over the point. \par This article is part of a comprehensive program aimed at re-stating the index theorem, see \cite{Teleman_arXiv_III}. Other articles in this series are \cite{Teleman_arXiv_IV}, \cite{Teleman_arXiv_I}, \cite{Teleman_arXiv_II}.


title: Stone duality, topological algebra, and recognition

abstract: Our main result is that any topological algebra based on a Boolean space is the extended Stone dual space of a certain associated Boolean algebra with additional operations. A particular case of this result is that the profinite completion of any abstract algebra is the extended Stone dual space of the Boolean algebra of recognizable subsets of the abstract algebra endowed with certain residuation operations. These results identify a connection between topological algebra as applied in algebra and Stone duality as applied in logic, and show that the notion of recognition originating in computer science is intrinsic to profinite completion in mathematics in general. This connection underlies a number of recent results in automata theory including a generalization of Eilenberg-Reiterman theory for regular languages and a new notion of compact recognition applying beyond the setting of regular languages. The purpose of this paper is to give the underlying duality theoretic result in its general form. Further we illustrate the power of the result by providing a few applications in topological algebra and language theory. In particular, we give a simple proof of the fact that any topological algebra quotient of a profinite algebra which is again based on a Boolean space is in fact a profinite algebra and we derive the conditions dual to the ones of the original Eilenberg theorem in a fully modular manner. We cast our results in the setting of extended Priestley duality for distributive lattices with additional operations as some classes of languages of interest in automata fail to be closed under complementation.


title: Robust watermarking based on DWT SVD

abstract: Digital information revolution has brought about many advantages and new issues. The protection of ownership and the prevention of unauthorized manipulation of digital audio, image, and video materials has become an important concern due to the ease of editing and perfect reproduction. Watermarking is identified as a major means to achieve copyright protection. It is a branch of information hiding which is used to hide proprietary information in digital media like photographs, digital music, digital video etc. In this paper, a new image watermarking algorithm that is robust against various attacks is presented. DWT (Discrete Wavelet Transform) and SVD (Singular Value Decomposition) have been used to embed two watermarks in the HL and LH bands of the host image. Simulation evaluation demonstrates that the proposed technique withstand various attacks.


title: Some remarks on the "needle radiation"

abstract: It is shown that the classical wave equation is lacking solutions corresponding to the concept of "needle-radiation", while the simplest augmented version of the wave equation -- essentially the Klein-Gordon equation -- obtained by adding a linear term, does have such a solution.


title: The Dynamical State of The Serpens South Filamentary Infrared Dark Cloud

abstract: We present the results of N$_2$H$^+$ ($J=1-0$) observations toward Serpens South, the nearest cluster-forming, infrared dark cloud. The physical quantities are derived by fitting the hyperfine structure of N$_2$H$^+$. The Herschel and 1.1-mm continuum maps show that a pc-scale filament fragments into three clumps with radii of $0.1-0.2$ pc and masses of $40-230M_\odot$. We find that the clumps contain smaller-scale ($\sim 0.04$ pc) structures, i.e., dense cores. We identify 70 cores by applying CLUMPFIND to the N$_2$H$^+$ data cube. In the central cluster-forming clump, the excitation temperature and line-width tend to be large, presumably due to protostellar outflow feedback and stellar radiation. However, for all the clumps, the virial ratios are evaluated to be $0.1-0.3$, indicating that the internal motions play only a minor role in the clump support. The clumps exhibit no free-fall, but low-velocity infall, and thus the clumps should be supported by additional forces. The most promising force is the globally-ordered magnetic field observed toward this region. We propose that the Serpens South filament was close to magnetically-critical and ambipolar diffusion triggered the cluster formation. We find that the northern clump, which shows no active star formation, has a mass and radius comparable to the central cluster-forming clump, and therefore, it is a likely candidate of a {\it pre-protocluster clump}. The initial condition for cluster formation is likely to be a magnetically-supported clump of cold, quiescent gas. This appears to contradict the accretion-driven turbulence scenario, for which the turbulence in the clumps is maintained by the accretion flow.


title: Securing Software as a Service Model of Cloud Computing: Issues and Solutions

abstract: Cloud computing, undoubtedly, has become the buzzword in the IT industry today. Looking at the potential impact it has on numerous business applications as well as in our everyday life, it can certainly be said that this disruptive technology is here to stay. Many of the features that make cloud computing attractive, have not just challenged the existing security system, but have also revealed new security issues. This paper provides an insightful analysis of the existing status on cloud computing security issues based on a detailed survey carried by the author. It also makes an attempt to describe the security challenges in Software as a Service (SaaS) model of cloud computing and also endeavors to provide future security research directions.


title: The evolution of the number density of compact galaxies

abstract: We compare the number density of compact (small size) massive galaxies at low and high redshift using our Padova Millennium Galaxy and Group Catalogue (PM2GC) at z=0.03-0.11 and the CANDELS results from Barro et al. (2013) at z=1-2. The number density of local compact galaxies with luminosity weighted (LW) ages compatible with being already passive at high redshift is compared with the density of compact passive galaxies observed at high-z. Our results place an upper limit of a factor ~2 to the evolution of the number density and are inconsistent with a significant size evolution for most of the compact galaxies observed at high-z. The evolution may be instead significant (up to a factor 5) for the most extreme, ultracompact galaxies. Considering all compact galaxies, regardless of LW age and star formation activity, a minority of local compact galaxies (<=1/3) might have formed at z<1. Finally, we show that the secular decrease of the galaxy stellar mass due to simple stellar evolution may in some cases be a non-negligible factor in the context of the evolution of the mass-size relation, and we caution that passive evolution in mass should be taken into account when comparing samples at different redshifts.


title: Two-dimensional SDS-PAGE fractionation of biological samples for biomarker discovery

abstract: Two-dimensional electrophoresis is still a very valuable tool in proteomics, due to its reproducibility and its ability to analyze complete proteins. However, due to its sensitivity to dynamic range issues, its most suitable use in the frame of biomarker discovery is not on very complex fluids such as plasma, but rather on more proximal, simpler fluids such as CSF, urine, or secretome samples. Here, we describe the complete workflow for the analysis of such dilute samples by two-dimensional electrophoresis, starting from sample concentration, then the two-dimensional electrophoresis step per se, ending with the protein detection by fluorescence.


title: Variability and spectral variation of 3C 66A

abstract: 3C 66A was monitored by the BATC(Beijing-Arizona-Taipei-Connecticut) telescope from 2005 to 2008,1994 observations were obtained on 89 nights. Detailed research and analysis was performed on these observations in this paper. A long term burst occurred in the whole light curve. No intra-day variability was claimed in our campaign by intra-night light curve analysis. Time lag of shorter wavelenth preceding longer wavelength was shown by correlation analysis. The results showed that the optical spectral shape turned flatter when the source brightened, and the spectral variability indicator was bigger on shorter time-scale as determined by the color indices variation analysis.


title: Proceedings to the 14th International Workshop "What Comes Beyond the Standard Models", July 11-21, 2011, Bled, Slovenia

abstract: The contribution contains the preface to the Proceedings to the 14th Workshop What Comes Beyond the Standard Models, Bled, July 11 - 21, 2011, published in Bled workshops in physics, Vol.12, No. 2, DMFA-Zaloznistvo, Ljubljana, Dec. 2011, and links to the published contributions.


title: An improved class of exponential ratio- type estimator in the presence of measurement errors

abstract: In this paper we have suggested a family of estimators for the population mean in the presence of measurement errors. Expression for the mean squared error (MSE) of the suggested family is derived. An empirical study has been carried out to verify the theoretical findings.


title: Upper bound on the decay of correlations in a general class of O(N)-symmetric models

abstract: We consider a general class of two-dimensional spin systems, with continuous but not necessarily smooth, possibly long-range, $O(N)$-symmetric interactions, for which we establish algebraically decaying upper bounds on spin-spin correlations under all infinite-volume Gibbs measures. As a by-product, we also obtain estimates on the effective resistance of a (possibly long-range) resistor network in which randomly selected edges are shorted.


title: Variable Stars in the Globular Cluster NGC 4590 (M68

abstract: We present results of time series photometry to search for variable stars in the field of metal-poor globular cluster NGC 4590 (M68). Periods have been revised for 40 known variables and no significant changes were found. A considerable change in Blazhko effect for V25 has been detected. Among nine newly discovered variable candidates, 5 stars are of RRc Bailey type variables while 4 stars are unclassified. The variable stars V10, V21, V50 and V51 are found to be cluster members based on the radial velocity data taken from literature.


title: Just Google It - Digital Research Practices of Humanities Scholars

abstract: The transition from analogue to digital archives and the recent explosion of online content offers researchers novel ways of engaging with data. The crucial question for ensuring a balance between the supply and demand-side of data, is whether this trend connects to existing scholarly practices and to the average search skills of researchers. To gain insight into this process we conducted a survey among nearly three hundred (N= 288) humanities scholars in the Netherlands and Belgium with the aim of finding answers to the following questions: 1) To what extent are digital databases and archives used? 2) What are the preferences in search functionalities 3) Are there differences in search strategies between novices and experts of information retrieval? Our results show that while scholars actively engage in research online they mainly search for text and images. General search systems such as Google and JSTOR are predominant, while large-scale collections such as Europeana are rarely consulted. Searching with keywords is the dominant search strategy and advanced search options are rarely used. When comparing novice and more experienced searchers, the first tend to have a more narrow selection of search engines, and mostly use keywords. Our overall findings indicate that Google is the key player among available search engines. This dominant use illustrates the paradoxical attitude of scholars toward Google: while provenance and context are deemed key academic requirements, the workings of the Google algorithm remain unclear. We conclude that Google introduces a black box into digital scholarly practices, indicating scholars will become increasingly dependent on such black boxed algorithms. This calls for a reconsideration of the academic principles of provenance and context.