title: Proton Mass, Topology Change and Tensor Forces in Compressed Baryonic Matter

abstract: This is a summary of the talks I gave at Korean Physical Society meeting (April 26, 2012, Daejeon, Korea) and the 4th Asian Triangle Heavy Ion Conference (ATHIC) (November 14, 2012, Pusan, Korea). They are based on the series of work done at Hanyang University in the World Class University III Program under the theme of "From Dense Matter to Compact Stars." The program was conceived and executed to understand highly compressed baryonic matter in anticipation of the forthcoming RIB machine "RAON" which is in construction in the Institute for Basic Science (IBS) in Korea. The problems treated ranged from the origin of the proton mass, topological structure of barynic matter, chiral symmetry and conformal symmetry to the EoS of nuclear matter and dense neutron-rich matter and to the maximum mass of neutron stars. The results obtained are new and intriguing and could have an impact on the novel structure of dense matter to be probed in the accelerators "RAON," FAIR etc. and in compact stars.


title: Hyperons and Condensed Kaons in Compact Stars

abstract: Using the Callan-Klebanov bound state model for hyperons simulated on crystal lattice to describe strange baryonic matter, we argue that to ${\cal O} (1)$ in the large $N_c$ counting to which the theory is robust, hyperons can figure only when -- or after -- kaons condense in compact-star matter. We also discuss how the skyrmion-half-skyrmion topological transition affects the equation of state (EoS) of dense baryonic matter. The observations made in this note open wide the issue of how to theoretically access the EoS of compact stars.


title: Optimal Assembly for High Throughput Shotgun Sequencing

abstract: We present a framework for the design of optimal assembly algorithms for shotgun sequencing under the criterion of complete reconstruction. We derive a lower bound on the read length and the coverage depth required for reconstruction in terms of the repeat statistics of the genome. Building on earlier works, we design a de Brujin graph based assembly algorithm which can achieve very close to the lower bound for repeat statistics of a wide range of sequenced genomes, including the GAGE datasets. The results are based on a set of necessary and sufficient conditions on the DNA sequence and the reads for reconstruction. The conditions can be viewed as the shotgun sequencing analogue of Ukkonen-Pevzner's necessary and sufficient conditions for Sequencing by Hybridization.


title: Tsallis entropy composition and the Heisenberg group

abstract: We present an embedding of the Tsallis entropy into the 3-dimensional Heisenberg group, in order to understand the meaning of generalized independence as encoded in the Tsallis entropy composition property. We infer that the Tsallis entropy composition induces fractal properties on the underlying Euclidean space. Using a theorem of Milnor/Wolf/Tits/Gromov, we justify why the underlying configuration/phase space of systems described by the Tsallis entropy has polynomial growth for both discrete and Riemannian cases. We provide a geometric framework that elucidates Abe's formula for the Tsallis entropy, in terms the Pansu derivative of a map between sub-Riemannian spaces.


title: The compositional inverse of a class of bilinear permutation polynomials over finite fields of characteristic 2

abstract: A class of bilinear permutation polynomials over a finite field of characteristic 2 was constructed in a recursive manner recently which involved some other constructions as special cases. We determine the compositional inverses of them based on a direct sum decomposition of the finite field. The result generalizes that in [R.S. Coulter, M. Henderson, The compositional inverse of a class of permutation polynomials over a finite field, Bull. Austral. Math. Soc. 65 (2002) 521-526].


title: Spherically Symmetric Solutions of Multi-dimensional Zero-pressure Gas Dynamics System

abstract: In this article we find explicit formulae for spherically symmetric solutions of the multidimensional zero-pressure gas dynamics system and its adhesion approximation. The asymptotic behaviour of the explicit solutions of the adhesion approximation has been studied. The radial components of the velocity and density satisfy a simpler equation which enables us to get explicit formulae for different types of domains and study its asymptotic behaviour. A class of solutions for the inviscid system with conditions on the mass instead of conditions at origin has also been analyzed.


title: The effect of debt on corporate profitability : Evidence from French service sector

abstract: Current study aims to provide new empirical evidence on the impact of debt on corporate profitability. This impact can be explained by three essential theories: signaling theory, tax theory and the agency cost theory. Using panel data sample of 2240 French non listed companies of service sector during 1999-2006. By utilizing generalized method of moments (GMM) econometric technique on three measures of profitability ratio (PROF1, PROF2 and ROA), we show that debt ratio has no effect on corporate profitability, regardless of the size of company (VSEs, SMEs or LEs)


title: Boundary Effects on Quantum Entanglement and its Dynamics in a Detector-Field System

abstract: In this paper we analyze an exactly solvable model consisting of an inertial Unruh-DeWitt detector which interacts linearly with a massless quantum field in Minkowski spacetime with a perfectly reflecting flat plane boundary. Firstly a set of coupled equations for the detector's and the field's Heisenberg operators are derived. Then we introduce the linear entropy as a measure of entanglement between the detector and the quantum field under mirror reflection, and solve the early-time detector-field entanglement dynamics. After coarse-graining the field, the dynamics of the detector's internal degree of freedom is described by a quantum Langevin equation, where the dissipation and noise kernels respectively correspond to the retarded Green's functions and Hadamard elementary functions of the free quantum field in a half space. At late times when the combined system is in a stationary state, we obtain exact expressions for the detector's covariance matrix and show that the detector-field entanglement decreases for smaller separation between the detector and the mirror. We explain the behavior of detector-field entanglement qualitatively with the help of a detector's mirror image, compare them with the case of two real detectors and explain the differences.


title: Ramsey-type results for semi-algebraic relations

abstract: A k-ary semi-algebraic relation E on R^d is a subset of R^{kd}, the set of k-tuples of points in R^d, which is determined by a finite number of polynomial equations and inequalities in kd real variables. The description complexity of such a relation is at most t if the number of polynomials and their degrees are all bounded by t. A subset A of R^d is called homogeneous if all or none of the k-tuples from A satisfy E. A large number of geometric Ramsey-type problems and results can be formulated as questions about finding large homogeneous subsets of sets in R^d equipped with semi-algebraic relations. In this paper we study Ramsey numbers for k-ary semi-algebraic relations of bounded complexity and give matching upper and lower bounds, showing that they grow as a tower of height k-1. This improves on a direct application of Ramsey's theorem by one exponential and extends a result of Alon, Pach, Pinchasi, Radoi\v{c}i\'c, and Sharir, who proved this for k=2. We apply our results to obtain new estimates for some geometric Ramsey-type problems relating to order types and one-sided sets of hyperplanes. We also study the off-diagonal case, achieving some partial results.


title: On eigenvalues of Seidel matrices and Haemers' conjecture

abstract: For a graph $G$, let $S(G)$ be the Seidel matrix of $G$ and $\te_1(G),...,\te_n(G)$ be the eigenvalues of $S(G)$. The Seidel energy of $G$ is defined as $|\te_1(G)|+...+|\te_n(G)|$. Willem Haemers conjectured that the Seidel energy of any graph with $n$ vertices is at least $2n-2$, the Seidel energy of the complete graph with $n$ vertices. Motivated by this conjecture, we prove that for any $\al$ with $0<\al<2$, $|\te_1(G)|^\al+...+|\te_n(G)|^\al\g (n-1)^\al+n-1$ if and only if $|{\rm det} S(G)|\g n-1$. This, in particular, implies the Haemers' conjecture for all graphs $G$ with $|{\rm det} S(G)|\g n-1$.


title: A Model of Fermion Flavor and Leptogenesis and Cold Dark Matter

abstract: I suggest a new particle model to integrate the fermion flavor, the TeV scale Leptogenesis and cold dark matter. The model has a local gauge symmetry $U(1)_{B-L}$ at the TeV scale and a flavor family symmetry SO(3), in addition, it also contains the fourth generation fermions in which including a cold dark matter neutrino. The model can simultaneously account for the fermion masses and flavor mixings, and the baryon asymmetry and cold dark matter. It not only excellently fits all the current experimental data, but also predicts some new results which are promising to be test in future experiments.


title: Quantum Decoherence Scaling with Bath Size: Importance of Dynamics, Connectivity, and Randomness

abstract: The decoherence of a quantum system $S$ coupled to a quantum environment $E$ is considered. For states chosen uniformly at random from the unit hypersphere in the Hilbert space of the closed system $S+E$ we derive a scaling relationship for the sum of the off-diagonal elements of the reduced density matrix of $S$ as a function of the size $D_E$ of the Hilbert space of $E$. This sum decreases as $1/\sqrt{D_E}$ as long as $D_E\gg 1$. This scaling prediction is tested by performing large-scale simulations which solve the time-dependent Schr{\"o}dinger equation for a ring of spin-1/2 particles, four of them belonging to $S$ and the others to $E$. Provided that the time evolution drives the whole system from the initial state toward a state which has similar properties as states belonging to the class of quantum states for which we derived the scaling relationship, the scaling prediction holds. For systems which do not exhibit this feature, it is shown that increasing the complexity (in terms of connections) of the environment or introducing a small amount of randomness in the interactions in the environment suffices to observe the predicted scaling behavior.


title: Non-commutative generalized Dedekind symbols

abstract: We define and study generalized Dedekind symbols with values in non--necessarily commutative groups, generalizing constructions of Sh. Fukuhara in [Fu1], [Fu2]. Basic examples of such symbols are obtained by replacing period integrals of modular forms (cf. [Ma1], [Ma2], [Kn1], [Kn2], [ChZ]) by iterated period integrals introduced and studied in [Ma3], [Ma4].


title: Zero-Delay and Causal Single-User and Multi-User Lossy Source Coding with Decoder Side Information

abstract: We consider zero-delay single-user and multi-user source coding with average distortion constraint and decoder side information. The zero-delay constraint translates into causal (sequential) encoder and decoder pairs as well as the use of instantaneous codes. For the single-user setting, we show that optimal performance is attained by time sharing at most two scalar encoder-decoder pairs, that use zero-error side information codes. Side information lookahead is shown to useless in this setting. We show that the restriction to causal encoding functions is the one that causes the performance degradation, compared to unrestricted systems, and not the sequential decoders or instantaneous codes. Furthermore, we show that even without delay constraints, if either the encoder or decoder are restricted a-priori to be scalar, the performance loss cannot be compensated by the other component, which can be scalar as well without further loss. Finally, we show that the multi-terminal source coding problem can be solved in the zero-delay regime and the rate-distortion region is given.


title: How to Understand LMMSE Transceiver Design for MIMO Systems From Quadratic Matrix Programming

abstract: In this paper, a unified linear minimum mean-square-error (LMMSE) transceiver design framework is investigated, which is suitable for a wide range of wireless systems. The unified design is based on an elegant and powerful mathematical programming technology termed as quadratic matrix programming (QMP). Based on QMP it can be observed that for different wireless systems, there are certain common characteristics which can be exploited to design LMMSE transceivers e.g., the quadratic forms. It is also discovered that evolving from a point-to-point MIMO system to various advanced wireless systems such as multi-cell coordinated systems, multi-user MIMO systems, MIMO cognitive radio systems, amplify-and-forward MIMO relaying systems and so on, the quadratic nature is always kept and the LMMSE transceiver designs can always be carried out via iteratively solving a number of QMP problems. A comprehensive framework on how to solve QMP problems is also given. The work presented in this paper is likely to be the first shoot for the transceiver design for the future ever-changing wireless systems.


title: Kolmogorov complexity as a hidden factor of scientific discourse: from Newton's law to data mining

abstract: The word "complexity" is most often used as a meta--linguistic expression referring to certain intuitive characteristics of a natural system and/or its scientific description. These characteristics may include: sheer amount of data that must be taken into account; visible "chaotic" character of these data and/or space distribution/time evolution of a system etc. This talk is centered around the precise mathematical notion of "Kolmogorov complexity", originated in the early theoretical computer science and measuring the degree to which an available information can be compressed. In the first part, I will argue that a characteristic feature of basic scientific theories, from Ptolemy's epicycles to the Standard Model of elementary particles, is their splitting into two very distinct parts: the part of relatively small Kolmogorov complexity ("laws", "basic equations", "periodic table", "natural selection, genotypes, mutations") and another part, of indefinitely large Kolmogorov complexity ("initial and boundary conditions", "phenotypes", "populations"). The data constituting this latter part are obtained by planned observations, focussed experiments, and afterwards collected in growing databases (formerly known as "books", "tables", "encyclopaedias" etc). In this discussion Kolomogorov complexity plays a role of the central metaphor. The second part and Appendix 1 are dedicated to more precise definitions and examples of complexity.


title: CloudSVM : Training an SVM Classifier in Cloud Computing Systems

abstract: In conventional method, distributed support vector machines (SVM) algorithms are trained over pre-configured intranet/internet environments to find out an optimal classifier. These methods are very complicated and costly for large datasets. Hence, we propose a method that is referred as the Cloud SVM training mechanism (CloudSVM) in a cloud computing environment with MapReduce technique for distributed machine learning applications. Accordingly, (i) SVM algorithm is trained in distributed cloud storage servers that work concurrently; (ii) merge all support vectors in every trained cloud node; and (iii) iterate these two steps until the SVM converges to the optimal classifier function. Large scale data sets are not possible to train using SVM algorithm on a single computer. The results of this study are important for training of large scale data sets for machine learning applications. We provided that iterative training of splitted data set in cloud computing environment using SVM will converge to a global optimal classifier in finite iteration size.


title: A blueprinted view on $\mathbb F_1$-geometry

abstract: This overview paper has two parts. In the first part, we review the development of $\mathbb F_1$-geometry from the first mentioning by Jacques Tits in 1956 until the present day. We explain the main ideas around $\mathbb F_1$, embedded into the historical context, and give an impression of the multiple connections of $\mathbb F_1$-geometry to other areas of mathematics. In the second part, we review (and preview) the geometry of blueprints. Beyond the basic definitions of blueprints, blue schemes and projective geometry, this includes a theory of Chevalley groups over $\mathbb F_1$ together with their action on buildings over $\mathbb F_1$; computations of the Euler characteristic in terms of $\mathbb F_1$-rational points, which involve quiver Grassmannians; $K$-theory of blue schemes that reproduces the formula $K_i(\mathbb F_1)=\pi^{st}_i(S^0)$; models of the compactifications of $\Spec \mathbb Z$ and other arithmetic curves; and explanations about the connections to other approaches towards $\mathbb F_1$ like monoidal schemes after Deitmar, $B_1$-algebras after Lescot, $\Lambda$-schemes after Borger, relative schemes after To\"en and Vaqui\'e, log schemes after Kato and congruence schemes after Berkovich and Deitmar.


title: Truncated Conformal Space Approach for Perturbed Wess-Zumino-Witten $SU(2)_k$ Models

abstract: We outline the application of the truncated conformal space approach (TCSA) to perturbations of $SU(2)_k$ Wess-Zumino-Witten theories. As examples of this methodology, we consider two distinct perturbations of $SU(2)_1$ and one of $SU(2)_2$. $SU(2)_1$ is first perturbed by its spin-1/2 field, a model which is equivalent to the sine-Gordon model at a particular value of its coupling $\beta$. The sine-Gordon spectrum is correctly reproduced as well as the corresponding finite size corrections. We next study $SU(2)_1$ with a marginal current-current perturbation. The TCSA results can be matched to perturbation theory within an appropriate treatment of the UV divergences. We find however that these results do not match field theoretic computations on the same model performed with a Lorentz invariant regulator. Finally, we consider $SU(2)_2$ perturbed by its spin-1 field, which is equivalent to three decoupled massive Majorana fermions. In this case as well the TCSA reproduces accurately the known spectrum.


title: Some automorphism groups of finite p-groups

abstract: A conjecture of Berkovich asserts that every non-simple finite p-group has a non-inner automorphism of order p. This conjecture is far from being proved despite the great effort devoted to it. In this paper we prove it for p-groups of coclass 2, provided that p is odd. Some related results are also proved, and may be considered as interesting independently.


title: Lens space determinants

abstract: More analysis of operator determinants on homogeneous three dimensional lens spaces is presented with the emphasis on numerics so that Laplacians for massive fields can be dealt with. Polyhedral quotients are also briefly considered. Twisted fields, corresponding to flat connections, are looked at and examples of determinants computed. Twisted cyclic quantities are sufficient to determine those for any twisting on any factor. An application to the thermodynamics on sphere quotients is given. Some computations are made for inhomogeneous lens spaces and higher dimensions are commented on. Minimal coupling is also dealt with.


title: Opportunistic DF-AF Selection Relaying with Optimal Relay Selection in Nakagami-m Fading Environments

abstract: An opportunistic DF-AF selection relaying scheme with maximal received signal-to-noise ratio (SNR) at the destination is investigated in this paper. The outage probability of the opportunistic DF-AF selection relaying scheme over Nakagami-m fading channels is analyzed, and a closed-form solution is obtained. We perform asymptotic analysis of the outage probability in high SNR domain. The coding gain and the diversity order are obtained. For the purpose of comparison, the asymptotic analysis of opportunistic AF scheme in Nakagami-m fading channels is also performed by using the Squeeze Theorem. In addition, we prove that compared with the opportunistic DF scheme and opportunistic AF scheme, the opportunistic DF-AF selection relaying scheme has better outage performance.


title: Macroscopic wormholes in noncommutative geometry

abstract: The purpose of this paper is to show that wormholes in noncommutative geometry can be macroscopic, based in part on an earlier study. The necessary violation of the weak energy condition is attributable to the noncommutative-geometry background rather than to the use of "exotic matter." The zero tidal forces make the wormhole suitable for humanoid travelers. Also discussed is the stability to linearized radial perturbations.


title: Quantum teleportation and computation with Rydberg atoms in an optical lattice

abstract: Neutral atoms excited to Rydberg states can interact with each other via dipole-dipole interaction, which results in a physical phenomenon named Rydberg blockade mechanism. The effect attracts much attention due to its potential applications in quantum computation and quantum simulation. Quantum teleportation has been the core protocol in quantum information science playing a key role in efficient long-distance quantum communication. Here, we first propose the implementation of teleportation scheme with neutral atoms via Rydberg blockade, in which the entangled states of qubits can readily be prepared and the Bell states measurements just require single qubit operations without precise control of Rydberg interaction. The rapid experimental progress of coherent control of Rydberg excitation, optical trapping techniques and state-selective atomic detection promise the application of the teleportation scheme for scalable quantum computation and many-body quantum simulation using the protocol proposed by D. Gottesman and I. L. Chuang [Nature (London) 402, 390 (1999)] with Rydberg atoms in optical lattice.


title: Little Higgs theory confronted with the LHC Higgs data

abstract: We confront the little Higgs theory with the LHC Higgs search data (up to 17 fb$^{-1}$ of the combined 7 and 8 TeV run). Considering some typical models, namely the littlest Higgs model (LH), the littlest Higgs model with T-parity (LHT-A and LHT-B) and the simplest little Higgs model (SLH), we scan over the parameter space in the region allowed by current experiments. We find that in these models the inclusive and exclusive (via gluon-gluon fusion) diphoton and $ZZ^*$ signal rates of the Higgs boson are always suppressed and approach to the SM predictions for a large scale $f$. Thus, the $ZZ^*$ signal rate is within the $1\sigma$ range of the experimental data while the inclusive diphoton signal rate is always outside the $2\sigma$ range. Especially, in the LHT-A the diphoton signal rate is outside the $3\sigma$ range of the experimental data for $f < 800$ GeV. We also perform a global $\chi^2$ fit to the available LHC and Tevatron Higgs data, and find that these models provide no better global fit to the whole data set (only for some special channels a better fit can be obtained, specially in the LHT-B).


title: On the Robust Optimal Stopping Problem

abstract: We study a robust optimal stopping problem with respect to a set $\cP$ of mutually singular probabilities. This can be interpreted as a zero-sum controller-stopper game in which the stopper is trying to maximize its pay-off while an adverse player wants to minimize this payoff by choosing an evaluation criteria from $\cP$. We show that the \emph{upper Snell envelope $\ol{Z}$} of the reward process $Y$ is a supermartingale with respect to an appropriately defined nonlinear expectation $\ul{\sE}$, and $\ol{Z}$ is further an $\ul{\sE}-$martingale up to the first time $\t^*$ when $\ol{Z}$ meets $Y$. Consequently, $\t^*$ is the optimal stopping time for the robust optimal stopping problem and the corresponding zero-sum game has a value. Although the result seems similar to the one obtained in the classical optimal stopping theory, the mutual singularity of probabilities and the game aspect of the problem give rise to major technical hurdles, which we circumvent using some new methods.


title: Unipotent differential algebraic groups as parameterized differential Galois groups

abstract: We deal with aspects of the direct and inverse problems in parameterized Picard-Vessiot (PPV) theory. It is known that, for certain fields, a linear differential algebraic group (LDAG) G is a PPV Galois group over these fields if and only if G contains a Kolchin-dense finitely generated group. We show that, for a class of LDAGs G, including unipotent groups, G is such a group if and only if it has differential type 0. We give a procedure to determine if a parameterized linear differential equation has a PPV Galois group in this class and show how one can calculate the PPV Galois group of a parameterized linear differential equation if its Galois group has differential type 0.


title: Robustness of Sparse Recovery via $F$-minimization: A Topological Viewpoint

abstract: A recent trend in compressed sensing is to consider non-convex optimization techniques for sparse recovery. The important case of $F$-minimization has become of particular interest, for which the exact reconstruction condition (ERC) in the noiseless setting can be precisely characterized by the null space property (NSP). However, little work has been done concerning its robust reconstruction condition (RRC) in the noisy setting. We look at the null space of the measurement matrix as a point on the Grassmann manifold, and then study the relation between the ERC and RRC sets, denoted as $\Omega_J$ and $\Omega_J^r$, respectively. It is shown that $\Omega_J^r$ is the interior of $\Omega_J$, from which a previous result of the equivalence of ERC and RRC for $\ell_p$-minimization follows easily as a special case. Moreover, when $F$ is non-decreasing, it is shown that $\overline{\Omega}_J\setminus\interior(\Omega_J)$ is a set of measure zero and of the first category. As a consequence, the probabilities of ERC and RRC are the same if the measurement matrix $\mathbf{A}$ is randomly generated according to a continuous distribution. Quantitatively, if the null space $\mathcal{N}(\bf A)$ lies in the "$d$-interior" of $\Omega_J$, then RRC will be satisfied with the robustness constant $C=\frac{2+2d}{d\sigma_{\min}(\mathbf{A}^{\top})}$; and conversely if RRC holds with $C=\frac{2-2d}{d\sigma_{\max}(\mathbf{A}^{\top})}$, then $\mathcal{N}(\bf A)$ must lie in $d$-interior of $\Omega_J$. We also present several rules for comparing the performances of different cost functions. Finally, these results are capitalized to derive achievable tradeoffs between the measurement rate and robustness with the aid of Gordon's escape through the mesh theorem or a connection between NSP and the restricted eigenvalue condition.


title: Joint Iterative Power Allocation and Linear Interference Suppression Algorithms in Cooperative DS-CDMA Networks

abstract: This work presents joint iterative power allocation and interference suppression algorithms for spread spectrum networks which employ multiple hops and the amplify-and-forward cooperation strategy for both the uplink and the downlink. We propose a joint constrained optimization framework that considers the allocation of power levels across the relays subject to individual and global power constraints and the design of linear receivers for interference suppression. We derive constrained linear minimum mean-squared error (MMSE) expressions for the parameter vectors that determine the optimal power levels across the relays and the linear receivers. In order to solve the proposed optimization problems, we develop cost-effective algorithms for adaptive joint power allocation, and estimation of the parameters of the receiver and the channels. An analysis of the optimization problem is carried out and shows that the problem can have its convexity enforced by an appropriate choice of the power constraint parameter, which allows the algorithms to avoid problems with local minima. A study of the complexity and the requirements for feedback channels of the proposed algorithms is also included for completeness. Simulation results show that the proposed algorithms obtain significant gains in performance and capacity over existing non-cooperative and cooperative schemes.


title: A New Proof of Kemperman's Theorem

abstract: Let $G$ be an additive abelian group and let $A,B \subseteq G$ be finite and nonempty. The pair $(A,B)$ is called critical if the sumset $A+B = {a+b \mid $a \in A$ and $b\in B$}$ satisfies $|A+B| < |A| + |B|$. Vosper proved a theorem which characterizes all critical pairs in the special case when $|G|$ is prime. Kemperman generalized this by proving a structure theorem for critical pairs in an arbitrary abelian group. Here we give a new proof of Kemperman's Theorem.


title: The Structure of Critical Product Sets

abstract: Let $G$ be a multiplicative group, let $A,B \subseteq G$ be finite and nonempty, and define the product set $AB = {ab \mid $a \in A$ and $b \in B$}$. Two fundamental problems in combinatorial number theory are to find lower bounds on $|AB|$, and then to determine structural properties of $A$ and $B$ under the assumption that $|AB|$ is small. We focus on the extreme case when $|AB| < |A| + |B|$, and call any such pair $(A,B)$ \emph{critical}. In the case when $|G|$ is prime, the Cauchy-Davenport Theorem asserts that $|AB| \ge \min {|G|, |A| + |B| - 1}$, and Vosper refined this result by classifying all critical pairs in these groups. For abelian groups, Kneser proved a natural generalization of Cauchy-Davenport by showing that there exists $H \le G$ so that $|AB| \ge |A| + |B| - |H|$ and $ABH = AB$. Kemperman then proved a result which characterizes the structure of all critical pairs in abelian groups. Our main result gives a classification of all critical pairs in an arbitrary group $G$. As a consequence of this we derive the following generalization of Kneser's Theorem to arbitrary groups: There exists $H \le G$ so that $|AB| \ge |A| + |B| - |H|$ and so that for every $y \in AB$ there exists $x \in G$ so that $y(x^{-1} H x) \subseteq AB$.


title: Set-Membership Adaptive Algorithms based on Time-Varying Error Bounds for Interference Suppression

abstract: This work presents set-membership adaptive algorithms based on time-varying error bounds for CDMA interference suppression. We introduce a modified family of set-membership adaptive algorithms for parameter estimation with time-varying error bounds. The algorithms considered include modified versions of the set-membership normalized least mean squares (SM-NLMS), the affine projection (SM-AP) and the bounding ellipsoidal adaptive constrained (BEACON) recursive least-squares technique. The important issue of error bound specification is addressed in a new framework that takes into account parameter estimation dependency, multi-access and inter-symbol interference for DS-CDMA communications. An algorithm for tracking and estimating the interference power is proposed and analyzed. This algorithm is then incorporated into the proposed time-varying error bound mechanisms. Computer simulations show that the proposed algorithms are capable of outperforming previously reported techniques with a significantly lower number of parameter updates and a reduced risk of overbounding or underbounding.


title: Test of charge conjugation invariance in eta->pi0 e+e- and eta->pi+pi-pi0 decays

abstract: Charge conjugation C is one of the fundamental symmetries in nature which transforms particles into antiparticles. This symmetry was studied in weak interaction where it is fully violated, but it is poorly known in the strong and electromagnetic interactions. To this end, in this thesis we investigated eta->pi+pi-pi0 and eta->pi0 e+e- decays, which might violate charge conjugation symmetry. The violation of C symmetry in eta->pi+pi-pi0 process could manifest itself as an asymmetry between energy spectra of charged pions. The eta->pi0 e+e- decay is forbidden by C symmetry in the first order of electromagnetic interaction, with the branching ratio on a level of 10^-8. Therefore, observation of a larger branching ratio could indicate a mechanism involving first order electromagnetic interaction violating charge conjugation. Both decays were investigated by means of the WASA-at-COSY detector operating at the COSY synchrotron at the Forchungszentrum Julich in Germany. The eta meson was produced via pp->pp eta reaction at the proton beam momentum of 2.14GeV/c. In total around 5x10^7 eta mesons were collected. As a result of the analysis conducted in the framework of this thesis a Dalitz Plot distribution for the eta->pi+pi-pi0 decay was obtained. From this distribution we extracted asymmetry parameters sensitive to C symmetry violation for different isospin values of the final state and we have established that all are consistent with zero within the obtained accuracy. For the eta->pi0 e+e- decay we have not observe signal and thus we estimated an upper limit for the branching ratio. The established upper limit amounts to $BR(eta->pi0 e+e-)<3.7x10^-5 at the 90% confidence level. This result is more precise than previously obtained in other experiments.


title: Particle production in strong electromagnetic fields in relativistic heavy-ion collisions

abstract: I review the origin and properties of electromagnetic fields produced in heavy ion collisions. The field strength immediately after a collision is proportional to the collision energy and reaches eB\sim(m_\pi)^2 at RHIC and eB\sim10 (m_\pi)^2 at LHC. I demonstrate by explicit analytical calculation that after dropping by about one-two orders of magnitude during the first fm/c of plasma expansion, it freezes out and lasts for as long as quark-gluon plasma exists as a consequence of finite electrical conductivity of the plasma. Magnetic field breaks spherical symmetry in the direction perpendicular to the reaction plane and therefore all kinetic coefficients are anisotropic. I examine viscosity of QGP and show that magnetic field induces azimuthal anisotropy on plasma flow even in spherically symmetric geometry. Very strong electromagnetic field has an important impact on particle production. I discuss the problem of energy loss and polarization of fast fermions due to synchrotron radiation, consider photon decay induced by magnetic field, elucidate J/Psi dissociation via Lorentz ionization mechanism and examine electromagnetic radiation by plasma. I conclude that all processes in QGP are affected by strong electromagnetic field and call for experimental investigation.


title: Using x-ray diffraction to identify precipitates in transition metal doped semiconductors

abstract: In the past decade, room temperature ferromagnetism was often observed in transition metal doped semiconductors, which were claimed as diluted magnetic semiconductors (DMS). Nowadays intensive activities are devoted to clarify wether the observed ferromagnetism stems from carrier mediated magnetic impurities, ferromagnetic precipitates, or spinodal decomposition. In this paper, we have correlated the structural and magnetic properties of transition metal doped ZnO, TiO2, and Si, prepared by ion implantation. Crystalline precipitates, i.e., transition metal (Co, Ni) and Mn-silicide nanocrystals, are responsible for the magnetism. Additionally due to their orientation nature with respect to the host, these nanocrystals in some cases are not detectable by conventional x-ray diffraction (XRD). This nature results in the pitfall of using XRD to exclude magnetic precipitates in DMS materials.


title: Automating ATLAS Computing Operations using the Site Status Board

abstract: The automation of operations is essential to reduce manpower costs and improve the reliability of the system. The Site Status Board (SSB) is a framework which allows Virtual Organizations to monitor their computing activities at distributed sites and to evaluate site performance. The ATLAS experiment intensively uses the SSB for the distributed computing shifts, for estimating data processing and data transfer efficiencies at a particular site, and for implementing automatic exclusion of sites from computing activities, in case of potential problems. The ATLAS SSB provides a real-time aggregated monitoring view and keeps the history of the monitoring metrics. Based on this history, usability of a site from the perspective of ATLAS is calculated. The paper will describe how the SSB is integrated in the ATLAS operations and computing infrastructure and will cover implementation details of the ATLAS SSB sensors and alarm system, based on the information in the SSB. It will demonstrate the positive impact of the use of the SSB on the overall performance of ATLAS computing activities and will overview future plans.


title: Ricci-flat graphs with girth at least five

abstract: A graph is called Ricci-flat if its Ricci-curvatures vanish on all edges. Here we use the definition of Ricci-cruvature on graphs given in [Lin-Lu-Yau, Tohoku Math., 2011], which is a variation of [Ollivier, J. Funct. Math., 2009]. In this paper, we classified all Ricci-flat connected graphs with girth at least five: they are the infinite path, cycle $C_n$ ($n\geq 6$), the dodecahedral graph, the Petersen graph, and the half-dodecahedral graph. We also construct many Ricci-flat graphs with girth 3 or 4 by using the root systems of simple Lie algebras.


title: 2D Lyndon Words and Applications

abstract: A Lyndon word is a primitive string which is lexicographically smallest among cyclic permutations of its characters. Lyndon words are used for constructing bases in free Lie algebras, constructing de Bruijn sequences, finding the lexicographically smallest or largest substring in a string, and succinct suffix-prefix matching of highly periodic strings. In this paper, we extend the concept of the Lyndon word to two dimensions. We introduce the 2D Lyndon word and use it to capture 2D horizontal periodicity of a matrix in which each row is highly periodic, and to efficiently solve 2D horizontal suffix-prefix matching among a set of patterns. This yields a succinct and efficient algorithm for 2D dictionary matching. We present several algorithms that compute the 2D Lyndon word that represents a matrix. The final algorithm achieves linear time complexity even when the least common multiple of the periods of the rows is exponential in the matrix width.


title: Policy Evaluation with Variance Related Risk Criteria in Markov Decision Processes

abstract: In this paper we extend temporal difference policy evaluation algorithms to performance criteria that include the variance of the cumulative reward. Such criteria are useful for risk management, and are important in domains such as finance and process control. We propose both TD(0) and LSTD(lambda) variants with linear function approximation, prove their convergence, and demonstrate their utility in a 4-dimensional continuous state space problem.


title: Single DNG Interface Makes a Better Perfect Lens

abstract: We show that a single-interface between regular and double-negative (DNG) media constitutes the core structure of a perfect lens and, furthermore, substantially outperforms the highly discussed DNG slab-based lens under imperfect conditions, maintaining unbounded resolution. We identify the perfect-lensing mechanism as the excitation of a Brewster (real improper) mode at the interface - a mode with a completely flat-band dispersion at media-matching conditions, perfectly transferring all incident waves including evanescent. A lossless DNG slab retains the single-interface perfect-lensing characteristics solely because such a Brewster mode excited at the front (input) slab interface merges in a non-interacting fashion with a confined surface-mode at the rear (output) - thereby preserving its original flat-band dispersion. While the single interface perfect lens retains its high resolution under loss, imperfect media-matching and off-resonance excitations, the DNG slab lens performance rapidly deteriorates under such conditions due to excitation of the symmetric and anti-symmetric slab surface-modes.


title: The spatially homogeneous relativistic Boltzmann equation with a hard potential

abstract: In this paper, we study spatially homogeneous solutions of the Boltzmann equation in special relativity and in Robertson-Walker spacetimes. We obtain an analogue of the Povzner inequality in the relativistic case and use it to prove global existence theorems. We show that global solutions exist for a certain class of collision cross sections of the hard potential type in Minkowski space and in spatially flat Robertson-Walker spacetimes.


title: Continuos particles in the Canonical Ensemble as an abstract polymer gas

abstract: We revisit the expansion recently proposed by Pulvirenti and Tsagkarogiannis for a system of $N$ continuous particles in the canonical ensemble. Under the sole assumption that the particles interact via a tempered and stable pair potential and are subjected to the usual free boundary conditions, we show the analyticity of the Helmholtz free energy at low densities and, using the Penrose tree graph identity, we establish a lower bound for the convergence radius which happens to be identical to the lower bound of the convergence radius of the virial series in the grand canonical ensemble established by Lebowitz and Penrose in 1964. We also show that the (Helmholtz) free energy can be written as a series in power of the density whose $k$ order coefficient coincides, modulo terms $o(N)/N$, with the $k$-order virial coefficient divided by $k+1$, according to its expression in terms of the $m$-order (with $m\le k+1$) simply connected cluster integrals first given by Mayer in 1942. We finally give an upper bound for the $k$-order virial coefficient which slightly improves, at high temperatures, the bound obtained by Lebowitz and Penrose.


title: A scattering approach to some aspects of the Schwarzschild Black Hole

abstract: In this paper, we consider a massless field, with spin j, in interaction with a Schwarzschild black hole in four dimensions, focusing mainly our study on the s-wave scattering. First, using a Fourier analysis, we show that one can have a simple and natural description of the Physics near the event horizon without using any conformal field approaches. Then, within the same "scattering picture", we derive analytically the imaginary part of the highly damped quasinormal complex frequencies and, as a natural consequence of our analysis, we show that thermal effects and in particular Hawking radiation, can be understood through the scattering of an ingoing s-wave by the non null barrier of the Regge-Wheeler potential associated with the Schwarzschild black hole. Finally, with the help of the well-known expression of the highly damped quasinormal complex frequencies, we propose a heuristic extension of the "tripled Pauli statistics" suggested by Motl, some years ago.


title: On Reduced Form Intensity-based Model with Trigger Events

abstract: Corporate defaults may be triggered by some major market news or events such as financial crises or collapses of major banks or financial institutions. With a view to develop a more realistic model for credit risk analysis, we introduce a new type of reduced-form intensity-based model that can incorporate the impacts of both observable "trigger" events and economic environment on corporate defaults. The key idea of the model is to augment a Cox process with trigger events. Both single-default and multiple-default cases are considered in this paper. In the former case, a simple expression for the distribution of the default time is obtained. Applications of the proposed model to price defaultable bonds and multi-name Credit Default Swaps (CDSs) are provided.


title: Effective complex permittivity tensor of a periodic array of cylinders

abstract: We determine the effective complex permittivity of a two-dimensional composite, consisting of an arbitrary doubly periodic array of identical circular cylinders in a homogeneous matrix, and whose dielectric properties are complex-valued. Efficient formulas are provided to determine the effective complex permittivity tensor which are in excellent agreement with numerical calculations. We also show that in contrast to the real-valued case, the real and imaginary parts of the effective complex-valued tensor can exhibit non-monotonic behavior as functions of volume fraction of cylinders, and can be either greater or less than that of the constituents.

categories: cond-mat.mtrl-sci math-ph math.AP math.MP physics.optics


title: Characterisation of the Galactic thin disc with Corot targets

abstract: We use kinematical and chemical properties of 754 Corot stars to characterise the stellar populations of the Milky Way disc in three beams close the Galactic plane. From the atmospheric parameters derived in Gazzano et al. (2010) with the Matisse algorithm, we derived stellar distances using isochrones. Combining these data with proper motions, we provide the complete kinematical description of stars in three Corot fields. Finally, we used kinematical criteria to identify the Galactic populations in our sample and study their characteristics, particularly their chemistry. Comparing our kinematics with the Besancon Galactic model, we show that, within 3-sigma, simulated and observed kinematical distributions are in good agreement. We study the characteristics of the thin disc, finding a correlation that is significant at a value of 2-sigma between the V-velocity component and the metallicity for two different radial distance bins (8-9kpc and 9-10kpc; but not for the most inner bin 7-8kpc, probably because of the uncertainties in the abundances) which could be interpreted as radial migration evidence. We also measured a radial metallicity gradient value of -0.097+/-0.015dex/kpc with giant stars, and -0.053+/-0.015dex/kpc with dwarfs. Finally, we identified metal-rich stars with peculiar high [alpha/Fe] values in the directions pointing to the inner part of the Galaxy. Applying the same methodology to the planet-hosting stars detected by Corot shows that they mainly belong to the thin disc population with normal chemical and kinematical properties.


title: Sharp Strichartz estimates for the wave equation on a rough background

abstract: In this paper, we obtain sharp Strichartz estimates for solutions of the wave equation $\square_\gg\phi=0$ where $\gg$ is a rough Lorentzian metric on a 4 dimensional space-time $\MM$. This is the last step of the proof of the bounded $L^2$ curvature conjecture proposed in [3], and solved by S. Klainerman, I. Rodnianski and the author in [8], which also relies on the sequence of papers [16][17][18][19]. Obtaining such estimates is at the core of the low regularity well-posedness theory for quasilinear wave equations. The difficulty is intimately connected to the regularity of the Eikonal equation $\gg^{\a\b}\pr_\a u\pr_\b u=0$ for a rough metric $\gg$. In order to be consistent with the final goal of proving the bounded $L^2$ curvature conjecture, we prove Strichartz estimates for all admissible Strichartz pairs under minimal regularity assumptions on the solutions of the Eikonal equation.


title: Perfect simulation for the infinite random cluster model, Ising and Potts models at low or high temperature

abstract: In this article we create a new algorithm for the perfect simulation of the infinite Potts model at a sufficiently small or at a sufficiently high temperature, in particular under the transition phase temperature. We study the model for free boundary conditions and we give some consequences for the constant boundary conditions.


title: Tree-based Arithmetic and Compressed Representations of Giant Numbers

abstract: Can we do arithmetic in a completely different way, with a radically different data structure? Could this approach provide practical benefits, like operations on giant numbers while having an average performance similar to traditional bitstring representations? While answering these questions positively, our tree based representation described in this paper comes with a few extra benefits: it compresses giant numbers such that, for instance, the largest known prime number as well as its related perfect number are represented as trees of small sizes. The same also applies to Fermat numbers and important computations like exponentiation of two become constant time operations. At the same time, succinct representations of sparse sets, multisets and sequences become possible through bijections to our tree-represented natural numbers.


title: Proton elastic scattering from 8Li and 9Li nuclei within Glauber theory

abstract: Calculation of elastic p8Li- and p9Li-scattering differential cross sections, performed at two energies 0.07 and 0.7 GeV/nucleon within Glauber multiple diffraction scattering, are presented and discussed. Three-body wave functions: alpha-t-n (for 8Li) and 7Li-n-n (for 9Li) with realistic potentials of intercluster interactions were used there. Sensitivity of elastic scattering to proton-nucleus interaction and nuclear structure has been studied. In particular, dependence of differential cross section on contribution of higher-order collisions, scattering at core and at periphery nucleons, on contribution of minor wave function components has been calculated. Comparison was made with available experimental data and with optical model calculations.


title: Quantum deformed algebras : Coherent states and special functions

abstract: The Heisenberg algebra is first deformed with the set of parameters ${q, l, \lambda}$ to generate a new family of generalized coherent states. In this framework, the matrix elements of relevant operators are exactly computed. A proof on sub-Poissonian character of the statistics of the main deformed states is provided. This property is used to determine a generalized metric. A unified method of calculating structure functions from commutation relations of deformed single-mode oscillator algebras is then presented. A natural approach to building coherent states associated to deformed algebras is deduced. Known deformed algebras are given as illustration. Futhermore, we generalize a class of two-parameter deformed Heisenberg algebras related to meromorphic functions, called ${\cal R}(p,q)$-deformed algebra. Relevant families of coherent states maps are probed and their corresponding hypergeometric series are computed. The latter generalizes known hypergeometric series and gives to a generalization of the binomial theorem. The involved notions of differentiation and integration generalize the usual $q$- and $(p,q)$-differentiation and integration. A Hopf algebra structure compatible with the ${\cal R}(p,q)$-algebra is deduced. We succeed in giving a new characterization of Rogers- Szeg\"o polynomials, called ${\cal R}(p,q)$-deformed Rogers-Szeg\"o polynomials, by their three-term recursion relations and the associated quantum algebra built with corresponding creation and annihilation operators. Continuous ${\cal R}(p,q)$-deformed Hermite polynomials and their recursion relation are also deduced. Novel algebraic relations are provided and discussed. The whole formalism is performed in a unified way, generalizing known relevant results which are straightforwardly derived as particular cases.


title: Molecular Dynamics Studies on 3D Structures of the Hydrophobic Region PrP(109-136)

abstract: Prion diseases caused by the conversion from a soluble normal cellular prion protein into insoluble abnormally folded infectious prions, are invariably fatal and highly infectious degenerative diseases that affect a wide variety of mammalian species. The palindrome and the Glycine-rich conserved segment in the hydrophobic region 109-136 control the conversion from normal prion protein to form into diseased prions. This paper gives detailed reviews on the 109-136 region and presents the studies of its 3D structures and structural dynamics.


title: The Two Envelope Problem: a Paradox or Fallacious Reasoning?

abstract: The primary objective of this note is to revisit the two envelope problem and propose a simple resolution. It is argued that the paradox arises from the ambiguity associated with the money content $x of the chosen envelope. When X=x is observed it is not know which one of the two events, X={\theta} or X=2{\theta}, has occurred. Moreover, the money in the other envelope Y is not independent of X; when one contains {\theta} the other contains 2{\theta}. By taking these important features of the problem into account, the paradox disappears.


title: Stochastic spatial model of producer-consumer systems on the lattice

abstract: The objective of this paper is to give a rigorous analysis of a stochastic spatial model of producer-consumer systems that has been recently introduced by Kang and the author to understand the role of space in ecological communities in which individuals compete for resources. Each point of the square lattice is occupied by an individual which is characterized by one of two possible types, and updates its type in continuous time at rate one. Each individual being thought of as a producer and consumer of resources, the new type at each update is chosen at random from a certain interaction neighborhood according to probabilities proportional to the ability of the neighbors to consume the resource produced by the individual to be updated. In addition to giving a complete qualitative picture of the phase diagram of the spatial model, our results indicate that the nonspatial deterministic mean-field approximation of the stochastic process fails to describe the behavior of the system in the presence of local interactions. In particular, we prove that, in the parameter region where the nonspatial model displays bistability, there is a dominant type that wins regardless of its initial density in the spatial model, and that the inclusion of space also translates into a significant reduction of the parameter region where both types coexist.


title: On representations of rational Cherednik algebras in complex rank

abstract: We study a family of abelian categories O_{c, t} depending on complex parameters c, t which are interpolations of the O-category for the rational Cherednik algebra H_c(t) of type A, where t is a positive integer. We define the notion of a Verma object in such a category (a natural analogue of the notion of Verma module). We give some necessary conditions and some sufficient conditions for the existence of a non-trivial morphism between two such Verma objects. We also compute the character of the irreducible quotient of a Verma object for sufficiently generic values of parameters c, t, and prove that a Verma object of infinite length exists in O_{c, t} only if c is rational and c < 0. We also show that for every rational c < 0 there exists a rational t < 0 such that there exists a Verma object of infinite length in O_{c, t}. The latter result is an example of a degeneration phenomenon which can occur in rational values of t, as was conjectured by P. Etingof.


title: Global structure of the multiverse and the measure problem

abstract: An unresolved question in inflationary cosmology is the assignment of probabilities to different types of events that can occur in the eternally inflating multiverse. We explore the possibility that the resolution of this "measure problem" may rely on non-standard dynamics in regions of high curvature. In particular, "big crunch" singularities that develop in bubbles with negative vacuum energy density may lead to bounces, where contraction is replaced by inflationary expansion. Similarly, singularities inside of black holes might be gateways to other inflating vacua. This would drastically affect the global structure of the multiverse. We consider a measure based on a probe geodesic which undergoes an infinite number of passages through crunches. This can be thought of as the world-line of an eternal "watcher", collecting data in an orderly fashion. This watcher's measure is independent of initial conditions and does not suffer from ambiguities associated with the choice of a cut-off surface.


title: Persistence of entanglement in thermal states of spin systems

abstract: We study and compare the persistence of bipartite entanglement (BE) and multipartite entanglement (ME) in one-dimensional and two-dimensional spin XY models in an external transverse magnetic field under the effect of thermal excitations. We compare the threshold temperature at which the entanglement vanishes in both types of entanglement. We use the entanglement of formation as a measure of the BE and the geometric measure to evaluate the ME of the system. We have found that in both dimensions in the anisotropic and partially anisotropic spin systems at zero temperatures, all types of entanglement decay as the magnetic field increases but are sustained with very small magnitudes at high field values. Also we found that for the same systems, the threshold temperatures of the nearest neighbour (nn) BEs are higher than both of the next-to-nearest neighbour BEs and MEs and the three of them increase monotonically with the magnetic field strength. Thus, as the temperature increases, the ME and the far parts BE of the system become more fragile to thermal excitations compared to the nn BE. For the isotropic system, all types of entanglement and threshold temperatures vanish at the same exact small value of the magnetic field. We emphasise the major role played by both the properties of the ground state of the system and the energy gap in controlling the characteristics of the entanglement and threshold temperatures. In addition, we have shown how an inserted magnetic impurity can be used to preserve all types of entanglement and enhance their threshold temperatures. Furthermore, we found that the quantum effects in the spin systems can be maintained at high temperatures, as the different types of entanglements in the spin lattices are sustained at high temperatures by applying sufficiently high magnetic fields.


title: On Randomized Memoryless Algorithms for the Weighted $k$-server Problem

abstract: The weighted $k$-server problem is a generalization of the $k$-server problem in which the cost of moving a server of weight $\beta_i$ through a distance $d$ is $\beta_i\cdot d$. The weighted server problem on uniform spaces models caching where caches have different write costs. We prove tight bounds on the performance of randomized memoryless algorithms for this problem on uniform metric spaces. We prove that there is an $\alpha_k$-competitive memoryless algorithm for this problem, where $\alpha_k=\alpha_{k-1}^2+3\alpha_{k-1}+1$; $\alpha_1=1$. On the other hand we also prove that no randomized memoryless algorithm can have competitive ratio better than $\alpha_k$. To prove the upper bound of $\alpha_k$ we develop a framework to bound from above the competitive ratio of any randomized memoryless algorithm for this problem. The key technical contribution is a method for working with potential functions defined implicitly as the solution of a linear system. The result is robust in the sense that a small change in the probabilities used by the algorithm results in a small change in the upper bound on the competitive ratio. The above result has two important implications. Firstly this yields an $\alpha_k$-competitive memoryless algorithm for the weighted $k$-server problem on uniform spaces. This is the first competitive algorithm for $k>2$ which is memoryless. Secondly, this helps us prove that the Harmonic algorithm, which chooses probabilities in inverse proportion to weights, has a competitive ratio of $k\alpha_k$.


title: The naming game in language dynamics revisited

abstract: This article studies a biased version of the naming game in which players located on a connected graph interact through successive conversations to bootstrap a common name for a given object. Initially, all the players use the same word B except for one bilingual individual who also uses word A. Both words are attributed a fitness, which measures how often players speak depending on the words they use and how often each word is pronounced by bilingual individuals. The limiting behavior depends on a single parameter: phi = the ratio of the fitness of word A to the fitness of word B. The main objective is to determine whether word A can invade the system and become the new linguistic convention. In the mean-field approximation, invasion of word A is successful if and only if phi > 3, a result that we also prove for the process on complete graphs relying on the optimal stopping theorem for supermartingales and random walk estimates. In contrast, for the process on the one-dimensional lattice, word A can invade the system whenever phi > 1.053 indicating that the probability of invasion and the critical value for phi strongly depend on the degree of the graph. The system on regular lattices in higher dimensions is also studied by comparing the process with percolation models.


title: The role of dispersal in interacting patches subject to an Allee effect

abstract: This article is concerned with a stochastic multi-patch model in which each local population is subject to a strong Allee effect. The model is obtained by using the framework of interacting particle systems to extend a stochastic two-patch model that has been recently introduced by Kang and the author. The main objective is to understand the effect of the geometry of the network of interactions, which represents potential migrations between patches, on the long-term behavior of the metapopulation. In the limit as the number of patches tends to infinity, there is a critical value for the Allee threshold below which the metapopulation expands and above which the metapopulation goes extinct. Spatial simulations on large regular graphs suggest that this critical value strongly depends on the initial distribution when the degree of the network is large whereas the critical value does not depend on the initial distribution when the degree is small. Looking at the system starting with a single occupied patch on the complete graph and on the ring, we prove analytical results that support this conjecture. From an ecological perspective, these results indicate that, upon arrival of an alien species subject to a strong Allee effect to a new area, though dispersal is necessary for its expansion, strong long range dispersal drives the population toward extinction.


title: An effective criterion for algebraic contractibility of rational curves

abstract: Let f: Y -> CP^2 be a birational morphism of non-singular (rational) surfaces. We give an effective (necessary and sufficient) criterion for algebraicity of the surfaces resulting from contraction of the union of the strict transform of a line on CP^2 and all but one of the exceptional divisors of f. As a by-product we construct normal non-algebraic Moishezon surfaces with the `simplest possible' singularities, which in particular completes the answer to a remark of Grauert. Our criterion involves `global variants' of `key polynomials' introduced by MacLane. The geometric formulation of the criterion yields a correspondence between normal algebraic compactifications of C^2 with one irreducible curve at infinity and algebraic curves in C^2 with one place at infinity.


title: A Semi-automated Statistical Algorithm for Object Separation

abstract: We explicate a semi-automated statistical algorithm for object identification and segregation in both gray scale and color images. The algorithm makes optimal use of the observation that definite objects in an image are typically represented by pixel values having narrow Gaussian distributions about characteristic mean values. Furthermore, for visually distinct objects, the corresponding Gaussian distributions have negligible overlap with each other and hence the Mahalanobis distance between these distributions are large. These statistical facts enable one to sub-divide images into multiple thresholds of variable sizes, each segregating similar objects. The procedure incorporates the sensitivity of human eye to the gray pixel values into the variable threshold size, while mapping the Gaussian distributions into localized \delta-functions, for object separation. The effectiveness of this recursive statistical algorithm is demonstrated using a wide variety of images.


title: Binary Tree Arithmetic with Generalized Constructors

abstract: We describe arithmetic computations in terms of operations on some well known free algebras (S1S, S2S and ordered rooted binary trees) while emphasizing the common structure present in all them when seen as isomorphic with the set of natural numbers. Constructors and deconstructors seen through an initial algebra semantics are generalized to recursively defined functions obeying similar laws. Implementation using Scala's apply and unapply are discussed together with an application to a realistic arbitrary size arithmetic package written in Scala, based on the free algebra of rooted ordered binary trees, which also supports rational number operations through an extension to signed rationals of the Calkin-Wilf bijection.


title: On Two Infinite Families of Pairing Bijections

abstract: We describe two general mechanisms for producing pairing bijections (bijective functions defined from N x N to N). The first mechanism, using n-adic valuations results in parameterized algorithms generating a countable family of distinct pairing bijections. The second mechanism, using characteristic functions of subsets of N provides 2^N distinct pairing bijections. Mechanisms to combine such pairing functions and their application to generate families of permutations of N are also described. The paper uses a small subset of the functional language Haskell to provide type checked executable specifications of all the functions defined in a literate programming style. The self-contained Haskell code extracted from the paper is available at http://logic.cse.unt.edu/tarau/research/2012/infpair.hs .


title: Fixation in the one-dimensional Axelrod model

abstract: The Axelrod model is a spatial stochastic model for the dynamics of cultures which includes two important social factors: social influence, the tendency of individuals to become more similar when they interact, and homophily, the tendency of individuals to interact more frequently with individuals who are more similar. Each vertex of the interaction network is characterized by its culture, a vector of $F$ cultural features that can each assumes $q$ different states. Pairs of neighbors interact at a rate proportional to the number of cultural features they have in common, which results in the interacting pair having one more cultural feature in common. In this article, we continue the analysis of the Axelrod model initiated by the first author by proving that the one-dimensional system fixates when $F\leq cq$ where the slope satisfies the equation $e^{-c}=c$. In addition, we show that the two-feature model with at least three states fixates. This last result is sharp since it is known from previous works that the one-dimensional two-feature two-state Axelrod model clusters.


title: On the divisibility of $a^n \pm b^n$ by powers of $n$

abstract: We determine all triples $(a,b,n)$ of positive integers such that $a$ and $b$ are relatively prime and $n^k$ divides $a^n + b^n$ (respectively, $a^n - b^n$), when $k$ is the maximum of $a$ and $b$ (in fact, we answer a slightly more general question). As a by-product, it is found that, for $m, n \in \mathbb N^+$ with $n \ge 2$, $n^m$ divides $ m^n + 1$ if and only if $(m,n)=(2,3)$ or $(1,2)$, which generalizes problems from the 1990 and 1999 editions of the International Mathematical Olympiad. The results are related to a conjecture by K. Gy\H{o}ry and C. Smyth on the finiteness of the sets $R_k^\pm(a,b) := \{n \in \mathbb N^+: n^k \mid a^n \pm b^n\}$, when $a,b,k$ are fixed integers with $k \ge 3$, $\gcd(a,b) = 1$ and $|ab| \ge 2$.


title: Continuity of functions belonging to the fractional order Sobolev-Grand Lebesgue Spaces

abstract: We extend in this article the classical Sobolev inequalities for the module of continuity for the functions belonging to the integer order Sobolev's space on the Sobolev-Bilateral Grand Lebesgue spaces. As a consequence, we deduce the fractional Orlicz-Sobolev imbedding theorems and investigate the rectangle module of continuity of non-Gaussian multiparameter random fields.


title: Green's formula and singularity at a triple contact line. Example of finite-displacement solution

abstract: The various equations at the surfaces and triple contact lines of a deformable body are obtained from a variational condition, by applying Green's formula in the whole space and on the Riemannian surfaces. The surface equations are similar to the Cauchy's equations for the volume, but involve a special definition of the 'divergence' (tensorial product of the covariant derivatives on the surface and the whole space). The normal component of the divergence equation generalizes the Laplace's equation for a fluid-fluid interface. Assuming that Green's formula remains valid at the contact line (despite the singularity), two equations are obtained at this line. The first one expresses that the fluid-fluid surface tension is equilibrated by the two surface stresses (and not by the volume stresses of the body) and suggests a finite displacement at this line (contrary to the infinite-displacement solution of classical elasticity, in which the surface properties are not taken into account). The second equation represents a strong modification of Young's capillary equation. The validity of Green's formula and the existence of a finite-displacement solution are justified with an explicit example of finite-displacement solution in the simple case of a half-space elastic solid bounded by a plane. The solution satisfies the contact line equations and its elastic energy is finite (whereas it is infinite for the classical elastic solution). The strain tensor components generally have different limits when approaching the contact line under different directions. Although Green's formula cannot be directly applied, because the stress tensor components do not belong to the Sobolev space H1(V), it is shown that this formula remains valid. As a consequence, there is no contribution of the volume stresses at the contact line. The validity of Green's formula plays a central role in the theory.


title: On spectral disjointness of powers for rank-one transformations and M\"obius orthogonality

abstract: We study the spectral disjointness of the powers of a rank-one transformation. For a large class of rank-one constructions, including those for which the cutting and stacking parameters are bounded, and other examples such as rigid generalized Chacon's maps and Katok's map, we prove that different positive powers of the transformation are pairwise spectrally disjoint on the continuous part of the spectrum. Our proof involves the existence, in the weak closure of {U_T^k: k in Z}, of "sufficiently many" analytic functions of the operator U_T. Then we apply these disjointness results to prove Sarnak's conjecture for the (possibly non-uniquely ergodic) symbolic models associated to these rank-one constructions: All sequences realized in these models are orthogonal to the M\"obius function.


title: Effective piezoelectric response of twin walls in ferroelectrics

abstract: The effective piezoelectric coefficients of twin walls in tetragonal ferroelectric are calculated in the framework of decoupling approximation and Landau-Ginzburg-Devonshire theory allowing for polarization gradient terms, electrostriction and flexoelectric coupling. Using an example of piezoelectric response of a1-a2 twins to a homogeneous electric field, we show that the response is almost independent on the flexoelectric coupling, but is very sensitive to the values of polarization gradient coefficients. This behavior originates from the strong coupling between local dielectric susceptibility and the gradient coefficients. The enhancement of piezoelectric response from 10% up to a factor of 103 times is predicted. The local electromechanical response of the domain walls can thus provide information on the gradient terms in GLD expansion and pinning mechanisms of the ferroelectric domain walls. The observability of these effects by the piezoresponse force microscopy of electroded structures and impact on the functional properties of the systems with dense domain structures is analyzed


title: A sharper energy method for the localization of the support to some stationary Schr{\"o}dinger equations with a singular nonlinearity

abstract: We prove the compactness of the support of the solution of some stationary Schr{\"o}dinger equations with a singular nonlinear order term. We present here a sharper version of some energy methods previously used in the literature and, in particular, by the authors.


title: Persistency of Analyticity for Nonlinear Wave Equations: An Energy-like Approach

abstract: We study the persistence of the Gevrey class regularity of solutions to nonlinear wave equations with real analytic nonlinearity. Specifically, it is proven that the solution remains in a Gevrey class, with respect to some of its spatial variables, during its whole life-span, provided the initial data is from the same Gevrey class with respect to these spatial variables. In addition, for the special Gevrey class of analytic functions, we find a lower bound for the radius of the spatial analyticity of the solution that might shrink either algebraically or exponentially, in time, depending on the structure of the nonlinearity. The standard $L^2$ theory for the Gevrey class regularity is employed; we also employ energy-like methods for a generalized version of Gevrey classes based on the $\ell^1$ norm of Fourier transforms (Wiener algebra). After careful comparisons, we observe an indication that the $\ell^1$ approach provides a better lower bound for the radius of analyticity of the solutions than the $L^2$ approach. We present our results in the case of period boundary conditions, however, by employing exactly the same tools and proofs one can obtain similar results for the nonlinear wave equations and the nonlinear Schr\"odinger equation, with real analytic nonlinearity, in certain domains and manifolds without physical boundaries, such as the whole space $\mathbb{R}^n$, or on the sphere $\mathbb{S}^{n-1}$.


title: Some families of minimal elements for the partial ordering on prime knots

abstract: We show that all twist knots, certain double twist knots and some other 2-bridge knots are minimal elements for the partial ordering on the set of prime knots. The key to these results are presentations of their character varieties using Chebyshev polynomials and a criterion for irreducibility of a polynomial of two variables. These give us an elementary method to discuss the number of irreducible components of the character varieties, which concludes the result essentially.


title: An application of the effective Sato-Tate conjecture

abstract: Based on the Lagarias-Odlyzko effectivization of the Chebotarev density theorem, Kumar Murty gave an effective version of the Sato-Tate conjecture for an elliptic curve conditional on analytic continuation and Riemann hypothesis for the symmetric power $L$-functions. We use Murty's analysis to give a similar conditional effectivization of the generalized Sato-Tate conjecture for an arbitrary motive. As an application, we give a conditional upper bound of the form $O((\log N)^2 (\log \log 2N)^2)$ for the smallest prime at which two given rational elliptic curves with conductor at most $N$ have Frobenius traces of opposite sign.


title: The idempotent Radon--Nikodym theorem has a converse statement

abstract: Idempotent integration is an analogue of the Lebesgue integration where $\sigma$-additive measures are replaced by $\sigma$-maxitive measures. It has proved useful in many areas of mathematics such as fuzzy set theory, optimization, idempotent analysis, large deviation theory, or extreme value theory. Existence of Radon--Nikodym derivatives, which turns out to be crucial in all of these applications, was proved by Sugeno and Murofushi. Here we show a converse statement to this idempotent version of the Radon--Nikodym theorem, i.e. we characterize the $\sigma$-maxitive measures that have the Radon--Nikodym property.


title: Charm Decays and Spectroscopy at BABAR

abstract: We present searches for rare charm decays of the form $X_c^+ \to h^{\pm} \ell^{\mp} \ell^{(')^+}$, where $X_c^+$ is a charm hadron either $D^+$, $D_s^+$, or $\Lambda_c^+$, and $\ell^{(')^{\pm}}$ is an electron or muon. These modes are based on 384 $fb^{-1}$ of $e^+ e^-$ annihilation data collected at the $\Upsilon(4S)$ resonance with the BABAR detector at the SLAC National Accelerator Laboratory. We also present the flavor-changing neutral-current decays $D^0 \to e^+e^-$, $D^0 \to \mu^+ \mu^-$, and $D^0 \to e^{\pm} \mu^{\mp}$ that corresponds to an integrated luminosity of 468 $fb^{-1}$ of data. The decay $D^0 \to e^+ \mu^-$ is further lepton-flavor violating, and thus occur only through very slow neutrino mixing. These decays constitute sensitive probes for possible new-physics contribution. We report new limits on the branching fractions of these decays.


title: Semi-Supervised Domain Adaptation with Non-Parametric Copulas

abstract: A new framework based on the theory of copulas is proposed to address semi- supervised domain adaptation problems. The presented method factorizes any multivariate density into a product of marginal distributions and bivariate cop- ula functions. Therefore, changes in each of these factors can be detected and corrected to adapt a density model accross different learning domains. Impor- tantly, we introduce a novel vine copula model, which allows for this factorization in a non-parametric manner. Experimental results on regression problems with real-world data illustrate the efficacy of the proposed approach when compared to state-of-the-art techniques.


title: Multiplicity and asymptotic profile of 2-nodal solutions to a semilinear elliptic problem on a Riemannian manifold

abstract: We establish a lower bound for the number of sign changing solutions with precisely two nodal domains to the singularly perturbed nonlinear elliptic equation -{\epsilon}^{2}{\Delta}_{g}u+u=|u|^{p-2}u on an n-dimensional Riemannian manifold M, p in (2,2n/(n-2)), in terms of the cup-length of the configuration space of M. We give a precise description of the asymptotic profile of these solutions as {\epsilon} goes to 0. We also provide new estimates for the cup-length of the configuration space of M.


title: A simple symmetry as a guide toward new physics beyond the Standard Model

abstract: There exists one experimental result that cannot be explained by the Standard Model (SM), the current theoretical framework for particle physics: non-zero masses for the neutrinos (elementary particles travelling close to light speed, electrically neutral and weakly interacting). The SM assumes that they are massless. Therefore, particle physicists are now exploring new physics beyond the SM. There is strong anticipation that we are about to unravel it, in the form of new matter and/or forces, at the Large Hadron Collider (LHC), presently running at CERN. We discuss a minimal extension of the SM, based on a somewhat larger version of its symmetry structure and particle content, that can naturally explain the existence of neutrino masses while also predicting novel signals accessible at the LHC, including a light Higgs boson, as evidenced by current data.


title: Hydrogen diffusion in the proton conductor Gd-doped barium cerate

abstract: The energy landscape and diffusion barriers of protonic defects in Gd-doped BaCeO3, a compound candidate as electrolyte for protonic ceramic fuel cells, have been investigated by density functional theory calculations, starting from a previously computed energy landscape consisting of 16 kinds of stable sites (8 close to dopants and 8 far from them). The simplified string method has been used to determine accurately the Minimum Energy Paths between those sites, that might imply either proton reorientations, intra-octahedral or inter-octahedral hopping mechanisms. At contrast with simple cubic perovskites such as barium stannate or barium zirconate, very different values for energy barriers (from 0.02 eV to 0.58 eV) are found in this highly distorted orthorhombic perovskite, and no specific process appears to be clearly rate-limiting. Some inter-octahedral hoppings (when possible) are found to be more favourable than the intra-octahedral ones, while reorientations exhibit a wide range of energy barriers.


title: Entanglement and discord in two-mode Gaussian open quantum systems

abstract: In the framework of the theory of open systems, we give a description of quantum entanglement and quantum discord for two non-interacting modes embedded in a thermal environment. We describe the evolution of entanglement in terms of the covariance matrix for Gaussian input states. For all values of the temperature of the thermal reservoir, an initial separable squeezed thermal state remains separable for all times. In the case of an entangled initial squeezed thermal state, entanglement suppression (entanglement sudden death) takes place, for non-zero temperatures of the environment. The Gaussian quantum discord, which is a measure of all quantum correlations in the state, including entanglement, decays asymptotically in time.


title: Fundamental solution of kinetic Fokker-Planck operator with anisotropic nonlocal dissipativity

abstract: By using the probability approach (the Malliavin calculus), we prove the existence of smooth fundamental solutions for degenerate kinetic Fokker-Planck equation with anisotropic nonlocal dissipativity, where the dissipative term is the generator of an anisotropic L\'evy process and the drift term is allowed to be cubic growth.


title: Markov Chain Order estimation with Conditional Mutual Information

abstract: We introduce the Conditional Mutual Information (CMI) for the estimation of the Markov chain order. For a Markov chain of $K$ symbols, we define CMI of order $m$, $I_c(m)$, as the mutual information of two variables in the chain being $m$ time steps apart, conditioning on the intermediate variables of the chain. We find approximate analytic significance limits based on the estimation bias of CMI and develop a randomization significance test of $I_c(m)$, where the randomized symbol sequences are formed by random permutation of the components of the original symbol sequence. The significance test is applied for increasing $m$ and the Markov chain order is estimated by the last order for which the null hypothesis is rejected. We present the appropriateness of CMI-testing on Monte Carlo simulations and compare it to the Akaike and Bayesian information criteria, the maximal fluctuation method (Peres-Shields estimator) and a likelihood ratio test for increasing orders using $\phi$-divergence. The order criterion of CMI-testing turns out to be superior for orders larger than one, but its effectiveness for large orders depends on data availability. In view of the results from the simulations, we interpret the estimated orders by the CMI-testing and the other criteria on genes and intergenic regions of DNA chains.


title: Higher loop mixed correlators in N=4 SYM

abstract: We compute analytically the two-loop contribution to the correlation function of the Lagrangian with a four-sided light-like (or null) Wilson loop in N=4 super Yang-Mills. As a non-trivial test of our result, we reproduce the three-loop value of the cusp anomalous dimension upon integration over the insertion point of the Lagrangian. The method we used involved calculating a dual scattering amplitude. Moreover, we give a simple representation of the loop integrand of the latter in twistor variables.


title: Rotational diffusion of particles in turbulence

abstract: Through laboratory measurements, we compare the rotation of spherical and ellipsoidal particles in homogeneous, isotropic turbulence. We find that the particles' angular velocity statistics are well described by an Ornstein-Uhlenbeck (OU) process. This theoretical model predicts that the Lagrangian autocovariance of particles' angular velocity will decay exponentially. We measure the autocovariance using stereoscopic particle image velocimetry (SPIV) applied to particles whose size is within the inertial subrange of the ambient turbulence. The SPIV resolves the motion of points interior to the particles, from which we calculate the solid body rotation of the particles. This provides us with the angular velocity time series for individual particles. Through ensemble statistics, we determine the autocovariance of angular velocity and confirm that it matches the form predicted by an OU process. We can further use the autocovariance curve to quantify the turbulent rotational diffusivity.


title: Stochastic dynamics on hypergraphs and the spatial majority rule model

abstract: This article starts by introducing a new theoretical framework to model spatial systems which is obtained from the framework of interacting particle systems by replacing the traditional graphical structure that defines the network of interactions with a structure of hypergraph. This new perspective is more appropriate to define stochastic spatial processes in which large blocks of vertices may flip simultaneously, which is then applied to define a spatial version of the Galam's majority rule model. In our spatial model, each vertex of the lattice has one of two possible competing opinions, say opinion 0 and opinion 1, as in the popular voter model. Hyperedges are updated at rate one, which results in all the vertices in the hyperedge changing simultaneously their opinion to the majority opinion of the hyperedge. In the case of a tie in hyperedges with even size, a bias is introduced in favor of type 1, which is motivated by the principle of social inertia. Our analytical results along with simulations and heuristic arguments suggest that, in any spatial dimensions and when the set of hyperedges consists of the collection of all n x ... x n blocks of the lattice, opinion 1 wins when n is even while the system clusters when n is odd, which contrasts with results about the voter model in high dimensions for which opinions coexist. This is fully proved in one dimension while the rest of our analysis focuses on the cases when n = 2 and n = 3 in two dimensions.


title: Nonconvergent Electoral Equilibria under Scoring Rules: Beyond Plurality

abstract: We use Hotelling's spatial model of competition to investigate the position-taking behaviour of political candidates under a class of electoral systems known as scoring rules. In a scoring rule election, voters rank all the candidates running for office, following which the candidates are assigned points according to a vector of nonincreasing scores. Convergent Nash equilibria in which all candidates adopt the same policy were characterised by Cox (1987). Here, we investigate nonconvergent equilibria, where candidates adopt divergent policies. We identify a number of classes of scoring rules exhibiting a range of different equilibrium properties. For some of these, nonconvergent equilibria do not exist. For others, nonconvergent equilibria in which candidates cluster at positions spread across the issue space are observed. In particular, we prove that the class of convex rules does not have Nash equilibria (convergent or nonconvergent) with the exception of some derivatives of Borda rule. Finally, we examine the special cases of four-, five- and six- candidate elections. In the former two cases, we provide a complete characterisation of nonconvergent equilibria.


title: Breakup of H$_2^+$ by photon impact

abstract: Total and partial cross sections for breakup of ground rovibronic state of H$_2^+$by photon impact are calculated using the exact nonadiabatic nonrelativistic Hamiltonian without approximation. The converged results span six orders of magnitude. The breakup cross section is divided into dissociative excitation and dissociative ionization. The dissociative excitation channels are divided into contributions from principal quantum numbers 1 through 4. For dissociative ionization the kinetic energy sharing is calculated using a formally exact expression. These results are compared with approximate expressions, and it is shown that the Born-Oppenheimer result is surprisingly accurate, whereas using Born-Oppenheimer final states to extract the cross sections from the full nonadiabatic wave function produces pathologies near threshold.


title: Completely monotonic degree of a function involving the tri- and tetra-gamma functions

abstract: Let $\psi(x)$ be the di-gamma function, the logarithmic derivative of the classical Euler's gamma function $\Gamma(x)$. In the paper, the author shows that the completely monotonic degree of the function $[\psi'(x)]^2+\psi''(x)$ is $4$, surveys the history and motivation of the topic, supplies a proof for the claim that a function $f(x)$ is strongly completely monotonic if and only if the function $xf(x)$ is completely monotonic, conjectures the completely monotonic degree of a function involving $[\psi'(x)]^2+\psi''(x)$, presents the logarithmic concavity and monotonicity of an elementary function, and poses an open problem on convolution of logarithmically concave functions.


title: Complete monotonicity of functions involving the $q$-trigamma and $q$-tetragamma functions

abstract: Let $\psi_q(x)$, $\psi_q'(x)$, and $\psi_q''(x)$ for $q>0$ stand respectively for the $q$-digamma, $q$-trigamma, and $q$-tetragamma functions. In the paper, the author proves along two different approaches that the functions $[\psi'_q(x)]^2+\psi''_q(x)$ for $q>1$ and $[\psi_{q}'(x)-\ln q]^2 +\psi''_{q}(x)$ for $0<q<1$ are completely monotonic on $(0,\infty)$. Applying these results, the author derives monotonic properties of four functions involving the $q$-digamma function $\psi_q(x)$ and two double inequalities for bounding the $q$-digamma function $\psi_q(x)$.


title: Complete monotonicity of a family of functions involving the tri- and tetra-gamma functions

abstract: The psi function $\psi(x)$ is defined by $\psi(x)=\frac{\Gamma'(x)}{\Gamma(x)}$ and $\psi^{(i)}(x)$ for $i\in\mathbb{N}$ denote polygamma functions, where $\Gamma(x)$ is the gamma function. In this paper, we prove that the function $$ [\psi'(x)]^2+\psi"(x)-\frac{x^2+\lambda x+12}{12x^4(x+1)^2} $$ is completely monotonic on $(0,\infty)$ if and only if $\lambda\le0$, and so is its negative if and only if $\lambda\ge4$. From this, some inequalities are refined and sharpened.


title: Capturing Sensor Data from Mobile Phones using Global Sensor Network Middleware

abstract: Mobile phones play increasingly bigger role in our everyday lives. Today, most smart phones comprise a wide variety of sensors which can sense the physical environment. The Internet of Things vision encompasses participatory sensing which is enabled using mobile phones based sensing and reasoning. In this research, we propose and demonstrate our DAM4GSN architecture to capture sensor data using sensors built into the mobile phones. Specifically, we combine an open source sensor data stream processing engine called 'Global Sensor Network (GSN)' with the Android platform to capture sensor data. To achieve this goal, we proposed and developed a prototype application that can be installed on Android devices as well as a AndroidWrapper as a GSN middleware component. The process and the difficulty of manually connecting sensor devices to sensor data processing middleware systems are examined. We evaluated the performance of the system based on power consumption of the mobile client.


title: Upper bound for the Gromov width of coadjoint orbits of type A

abstract: We find an upper bound for the Gromov width of coadjoint orbits of U(n) with respect to the Kirillov-Kostant-Souriau symplectic form by computing certain Gromov-Witten invariants. The approach presented here is closely related to the one used by Gromov in his celebrated non-squeezing theorem.


title: Sensing as a Service and Big Data

abstract: Internet of Things (IoT) will comprise billions of devices that can sense, communicate, compute and potentially actuate. Data streams coming from these devices will challenge the traditional approaches to data management and contribute to the emerging paradigm of big data. This paper discusses emerging Internet of Things (IoT) architecture, large scale sensor network applications, federating sensor networks, sensor data and related context capturing techniques, challenges in cloud-based management, storing, archiving and processing of sensor data.


title: Global unique solvability of inhomogeneous Navier-Stokes equations with bounded density

abstract: In this paper, we prove the global existence and uniqueness of solution to d-dimensional (for $d=2,3$) incompressible inhomogeneous Navier-Stokes equations with initial density being bounded from above and below by some positive constants, and with initial velocity $u_0\in H^s(\R^2)$ for $s>0$ in 2-D, or $u_0\in H^1(\R^3)$ satisfying $|u_0|_{L^2}|\na u_0|_{L^2}$ being sufficiently small in 3-D. This in particular improves the most recent well-posedness result in [10], which requires the initial velocity $u_0\in H^2(\R^d)$ for the local well-posedness result, and a smallness condition on the fluctuation of the initial density for the global well-posedness result.


title: Irreducible representations of q-Schur superalgebras at a root of unity

abstract: Under the assumption that the quantum parameter $q$ is an $l$-th primitive root of unity with $l$ odd in a field $F$ of characteristic 0 and $m+n\geq r$, we obtained a complete classification of irreducible modules of the $q$-Schur superalgebra introduced H. Rui and the first Author.


title: A magnetic reconnection model for quasi-periodic oscillations in black hole systems

abstract: The quasi-periodic oscillations (QPOs) in black hole (BH) systems of different scales are interpreted based on the magnetic reconnection of the large-scale magnetic fields generated by the toroidal electric currents flowing in the inner region of accretion disk, where the current density is assumed to be proportional to the mass density of the accreting plasma. The magnetic connection (MC) is taken into account in resolving the dynamic equations of the accretion disk, in which the MC between the inner and outer disk regions, the MC between the plunging region and the disk, and the MC between the BH horizon and the disk are involved. It turns out that the single QPO frequency of several BH systems of different scales can be fitted by invoking the magnetic reconnection due to the MC between the inner and outer regions of the disk, where the BH binaries XTE J1859+226, XTE J1650-500 and GRS 1915+105 and the massive BHs in NGC 5408 X-1 and RE J1034+396 are included. In addition, the X-ray spectra corresponding to the QPOs are fitted for these sources based on the typical disk-corona model.


title: Lithium-Rich Field Giants in the Sloan Digital Sky Survey

abstract: We present a search for post-main-sequence field stars in the Galaxy with atypically large lithium abundances. Using moderate-resolution spectra taken as part of the Sloan Digital Sky Survey, along with high-resolution followup spectroscopy from the Hobby-Eberly Telescope, we identify 23 post-turnoff stars with log epsilon(Li) greater than 1.95, including 14 with log epsilon(Li) > 2.3 and 8 with log epsilon(Li) > 3.0, well above the low level expected for evolved stars. Comparison with theoretical isochrones indicates that some of our Li-rich stars are affiliated with the upper red giant branch, the asymptotic giant branch and the red clump rather than the RGB bump, which is a challenge to existing models of Li production in evolved stars.


title: The pillowcase and perturbations of traceless representations of knot groups

abstract: We introduce explicit holonomy perturbations of the Chern-Simons functional on a 3-ball containing a pair of unknotted arcs. These perturbations give us a concrete local method for making the moduli spaces of flat singular SO(3) connections relevant to Kronheimer and Mrowka's singular instanton knot homology non-degenerate. The mechanism for this study is a (Lagrangian) intersection diagram which arises, through restriction of representations, from a tangle decomposition of a knot. When one of the tangles is trivial, our perturbations allow us to study isolated intersections of two Lagrangians to produce minimal generating sets for singular instanton knot homology. The (symplectic) manifold where this intersection occurs corresponds to the traceless character variety of the four-punctured 2-sphere, which we identify with the familiar pillowcase. We investigate the image in this pillowcase of the traceless representations of tangles obtained by removing a trivial tangle from 2-bridge knots and torus knots. Using this, we compute the singular instanton homology of a variety of torus knots. In many cases, our computations allow us to understand non-trivial differentials in the spectral sequence from Khovanov homology to singular instanton homology.


title: Is anisotropic flow really acoustic?

abstract: The flow harmonics for charged hadrons ($v_{n}$) and their ratios $(v_n/v_2)_{n\geq 3}$, are studied for a broad range of transverse momenta ($p_T$) and centrality ($\text{cent}$) in Pb+Pb collisions at $\sqrt{s_{NN}}= 2.76$ TeV. They indicate characteristic scaling patterns for viscous damping consistent with the dispersion relation for sound propagation in the plasma produced in the collisions. These scaling properties are not only a unique signature for anisotropic expansion modulated by the specific shear viscosity ($\eta/s$), they provide essential constraints for the relaxation time, a distinction between two of the leading models for initial eccentricity, as well as an extracted $\left< \eta/s \right>$ value which is insensitive to the initial geometry model. These constraints could be important for a more precise determination of $\eta/s$.