title: Black Hole Formation at the Correspondence Point

abstract: We study the process of bound state formation in a D-brane collision. We consider two mechanisms for bound state formation. The first, operative at weak coupling in the worldvolume gauge theory, is pair creation of W-bosons. The second, operative at strong coupling, corresponds to formation of a large black hole in the dual supergravity. These two processes agree qualitatively at intermediate coupling, in accord with the correspondence principle of Horowitz and Polchinski. We show that the size of the bound state and timescale for formation of a bound state agree at the correspondence point. The timescale involves matching a parametric resonance in the gauge theory to a quasinormal mode in supergravity.


title: On a conjecture of Karrass and Solitar

abstract: We settle an old conjecture of Karrass and Solitar by proving that a finitely generated subgroup of a non-trivial free product $G = A\ast B$ has finite index if and only if it intersects non-trivially each non-trivial normal subgroup of $G$. This holds, more generally, for subgroups of finite Kurosh rank.


title: Heat kernel for the elliptic system of linear elasticity with boundary conditions

abstract: We consider the elliptic system of linear elasticity with bounded measurable coefficients in a domain where the second Korn inequality holds. We construct heat kernel of the system subject to Dirichlet, Neumann, or mixed boundary condition under the assumption that weak solutions of the elliptic system are H\"older continuous in the interior. Moreover, we show that if weak solutions of the mixed problem are H\"older continuous up to the boundary, then the corresponding heat kernel has a Gaussian bound. In particular, if the domain is a two dimensional Lipschitz domain satisfying a corkscrew or non-tangential accessibility condition on the set where we specify Dirichlet boundary condition, then we show that the heat kernel has a Gaussian bound. As an application, we construct Green's function for elliptic mixed problem in such a domain.


title: Hysteretic superconducting resistive transition in Ba0.07K0.93Fe2As2

abstract: We have observed hysteresis in superconducting resistive transition curves of Ba$_{0.07}$K$_{0.93}$Fe$_2$As$_2$ ($T_c\sim$8 K) below about 1 K for in-plane fields. The hysteresis is not observed as the field is tilted away from the $ab$ plane by 20$^{\circ}$ or more. The temperature and angle dependences of the upper critical field indicate a strong paramagnetic effect for in-plane fields. We suggest that the hysteresis can be attributed to a first-order superconducting transition due to the paramagnetic effect. Magnetic torque data are also shown.


title: Giant magnetocaloric effect in isostructural MnNiGe-CoNiGe system by establishing a Curie-temperature window

abstract: An effective scheme of isostructural alloying was applied to establish a Curie-temperature window in isostructural MnNiGe-CoNiGe system. With the simultaneous accomplishment of decreasing structural-transition temperature and converting antiferromagnetic martensite to ferromagnetic state, a 200 K Curie-temperature window was established between Curie temperatures of austenite and martensite phases. In the window, a first-order magnetostructural transition between paramagnetic austenite and ferromagnetic martensite occurs with a sharp jump in magnetization, showing a magnetic entropy change as large as -40 J kg-1 K-1 in a 50 kOe field change. This giant magnetocaloric effect enables Mn1-xCoxNiGe to become a potential magnetic refrigerant.


title: Resolved Near-Infrared Spectroscopy of WISE J104915.57-531906.1AB: A Flux-Reversal Binary at the L dwarf/T dwarf Transition

abstract: We report resolved near-infrared spectroscopy and photometry of the recently identified brown dwarf binary WISE J104915.57-531906.1AB, located 2.02+/-0.15 pc from the Sun. Low-resolution spectral data from Magellan/FIRE and IRTF/SpeX reveal strong H2O and CO absorption features in the spectra of both components, with the secondary also exhibiting weak CH4 absorption at 1.6 micron and 2.2 micron. Spectral indices and comparison to low-resolution spectral standards indicate component types of L7.5 and T0.5, the former consistent with the optical classification of the primary. Relative photometry reveals a flux reversal between the J- and K-bands, with the T dwarf component being brighter in the 0.95--1.3 micron range. As with other L/T transition binaries, this reversal likely reflects significant depletion of condensate opacity across the transition, a behavior that may be enhanced in WISE J1049-5319AB if the unusual red color of its L dwarf component is indicative of thick clouds. On the other hand, differing cloud properties may have modified the evolutionary paths of these two components, and we propose a scenario in which the cooler secondary could be the more massive of the two components. Fortunately, the proximity, brightness and small separation (3.12+/-0.25 AU) of this system make it amenable to astrometric and radial velocity orbit measurement during its estimated 25 yr orbit, providing a rare opportunity for the direct determination of individual brown dwarf masses and a unique benchmark for studying cloud evolution across the L dwarf/T dwarf transition.


title: Wave-wave interactions and deep ocean acoustics

abstract: Deep ocean acoustics, in the absence of shipping and wildlife, is driven by surface processes. Best understood is the signal generated by non-linear surface wave interactions, the Longuet-Higgins mechanism, which dominates from 0.1 to 10 Hz, and may be significant for another octave. For this source, the spectral matrix of pressure and vector velocity is derived for points near the bottom of a deep ocean resting on an elastic half-space. In the absence of a bottom, the ratios of matrix elements are universal constants. Bottom effects vitiate the usual "standing wave approximation," but a weaker form of the approximation is shown to hold, and this is used for numerical calculations. In the weak standing wave approximation, the ratios of matrix elements are independent of the surface wave spectrum, but depend on frequency and the propagation environment. Data from the Hawaii-2 Observatory are in excellent accord with the theory for frequencies between 0.1 and 1 Hz, less so at higher frequencies. Insensitivity of the spectral ratios to wind, and presumably waves, is indeed observed in the data.


title: Docking positrophilic electrons into molecular attractive potential of fluorinated methanes

abstract: The present study shows that the positrophilic electrons of a molecule dock into the positron attractive potential region in the annihilation process under the plane-wave approximation. The positron-electron annihilation processes of both polar and non-polar fluorinated methanes (CH4-nFn, n=0, 1,..., 4) are studied under this role. The predicted gamma-ray spectra of these fluorinated methanes agree well with the experiments. It further indicates that the positrophilic electrons of a molecule docking at the negative end of a bond dipole are independent from the molecular dipole moment in the annihilation process.


title: On the symmetrical Kullback-Leibler Jeffreys centroids

abstract: Due to the success of the bag-of-word modeling paradigm, clustering histograms has become an important ingredient of modern information processing. Clustering histograms can be performed using the celebrated $k$-means centroid-based algorithm. From the viewpoint of applications, it is usually required to deal with symmetric distances. In this letter, we consider the Jeffreys divergence that symmetrizes the Kullback-Leibler divergence, and investigate the computation of Jeffreys centroids. We first prove that the Jeffreys centroid can be expressed analytically using the Lambert $W$ function for positive histograms. We then show how to obtain a fast guaranteed approximation when dealing with frequency histograms. Finally, we conclude with some remarks on the $k$-means histogram clustering.


title: A rigorous geometry-probability equivalence in characterization of $\ell_1$-optimization

abstract: In this paper we consider under-determined systems of linear equations that have sparse solutions. This subject attracted enormous amount of interest in recent years primarily due to influential works \cite{CRT,DonohoPol}. In a statistical context it was rigorously established for the first time in \cite{CRT,DonohoPol} that if the number of equations is smaller than but still linearly proportional to the number of unknowns then a sparse vector of sparsity also linearly proportional to the number of unknowns can be recovered through a polynomial $\ell_1$-optimization algorithm (of course, this assuming that such a sparse solution vector exists). Moreover, the geometric approach of \cite{DonohoPol} produced the exact values for the proportionalities in question. In our recent work \cite{StojnicCSetam09} we introduced an alternative statistical approach that produced attainable values of the proportionalities. Those happened to be in an excellent numerical agreement with the ones of \cite{DonohoPol}. In this paper we give a rigorous analytical confirmation that the results of \cite{StojnicCSetam09} indeed match those from \cite{DonohoPol}.


title: A Full-Diversity Beamforming Scheme in Two-Way Amplified-and-Forward Relay Systems

abstract: Consider a simple two-way relaying channel where two single-antenna sources exchange information via a multiple-antenna relay. To such a scenario, all the existing works which can achieve full diversity order are based on the antenna/relay selection, where the difficulty to design the beamforming lies in the fact that a single beamformer needs to serve two destinations. In this paper, we propose a new full-diversity beamforming scheme which ensures that the relay signals are coherently combined at both destinations. Both analytical and numerical results are provided to demonstrate that this proposed scheme can outperform the existing one based on the antenna selection.


title: Upper-bounding $\ell_1$-optimization weak thresholds

abstract: In our recent work \cite{StojnicCSetam09} we considered solving under-determined systems of linear equations with sparse solutions. In a large dimensional and statistical context we proved that if the number of equations in the system is proportional to the length of the unknown vector then there is a sparsity (number of non-zero elements of the unknown vector) also proportional to the length of the unknown vector such that a polynomial $\ell_1$-optimization technique succeeds in solving the system. We provided lower bounds on the proportionality constants that are in a solid numerical agreement with what one can observe through numerical experiments. Here we create a mechanism that can be used to derive the upper bounds on the proportionality constants. Moreover, the upper bounds obtained through such a mechanism match the lower bounds from \cite{StojnicCSetam09} and ultimately make the latter ones optimal.


title: Second-order Dirac equation of graphene electrons in an electromagnetic field and their novel spin

abstract: The second-order Dirac equation (DE) and its velocity operator of graphene electrons in an electromagnetic field are obtained according to tight-binding k.p method. With extra terms included, they demonstrate the motion of graphene electrons more completely through a more complete Ehrenfest theorem and present finer properties of graphene electrons. Eigen-energy given by the second-order DE for field-free graphene indicates that extra terms may affect the trembling motion of graphene electrons. For graphene in a magnetic field, eigen-energy given by the second-order DE suggests that graphene electrons have a new kind of spin of a boson other than true electronic spin and pseudo-spin of Dirac particles, which will modify graphene properties such as the optical spectra.


title: A framework to characterize performance of LASSO algorithms

abstract: In this paper we consider solving \emph{noisy} under-determined systems of linear equations with sparse solutions. A noiseless equivalent attracted enormous attention in recent years, above all, due to work of \cite{CRT,CanRomTao06,DonohoPol} where it was shown in a statistical and large dimensional context that a sparse unknown vector (of sparsity proportional to the length of the vector) can be recovered from an under-determined system via a simple polynomial $\ell_1$-optimization algorithm. \cite{CanRomTao06} further established that even when the equations are \emph{noisy}, one can, through an SOCP noisy equivalent of $\ell_1$, obtain an approximate solution that is (in an $\ell_2$-norm sense) no further than a constant times the noise from the sparse unknown vector. In our recent works \cite{StojnicCSetam09,StojnicUpper10}, we created a powerful mechanism that helped us characterize exactly the performance of $\ell_1$ optimization in the noiseless case (as shown in \cite{StojnicEquiv10} and as it must be if the axioms of mathematics are well set, the results of \cite{StojnicCSetam09,StojnicUpper10} are in an absolute agreement with the corresponding exact ones from \cite{DonohoPol}). In this paper we design a mechanism, as powerful as those from \cite{StojnicCSetam09,StojnicUpper10}, that can handle the analysis of a LASSO type of algorithm (and many others) that can be (or typically are) used for "solving" noisy under-determined systems. Using the mechanism we then, in a statistical context, compute the exact worst-case $\ell_2$ norm distance between the unknown sparse vector and the approximate one obtained through such a LASSO. The obtained results match the corresponding exact ones obtained in \cite{BayMon10,DonMalMon10}. Moreover, as a by-product of our analysis framework we recognize existence of an SOCP type of algorithm that achieves the same performance.

categories: cs.IT math.IT math.OC math.PR math.ST stat.TH


title: Multi-functional foot use during running in the zebra-tailed lizard (Callisaurus draconoides)

abstract: A diversity of animals that run on solid, level, flat, non-slip surfaces appear to bounce on their legs; elastic elements in the limbs can store and return energy during each step. The mechanics and energetics of running in natural terrain, particularly on surfaces that can yield and flow under stress, is less understood. The zebra-tailed lizard (Callisaurus draconoides), a small desert generalist with a large, elongate, tendinous hind foot, runs rapidly across a variety of natural substrates. We use high speed video to obtain detailed three-dimensional running kinematics on solid and granular surfaces to reveal how leg, foot, and substrate mechanics contribute to its high locomotor performance. Running at ~10 body length/s (~1 m/s), the center of mass oscillates like a spring-mass system on both substrates, with only 15% reduction in stride length on the granular surface. On the solid surface, a strut-spring model of the hind limb reveals that the hind foot saves about 40% of the mechanical work needed per step, significant for the lizard's small size. On the granular surface, a penetration force model and hypothesized subsurface foot rotation indicates that the hind foot paddles through fluidized granular medium, and that the energy lost per step during irreversible deformation of the substrate does not differ from the reduction in the mechanical energy of the center of mass. The upper hind leg muscles must perform three times as much mechanical work on the granular surface as on the solid surface to compensate for the greater energy lost within the foot and to the substrate.

categories: physics.bio-ph cond-mat.soft physics.flu-dyn q-bio.QM


title: Some properties of generalized local cohomology modules with respect to a pair of ideals

abstract: We introduce a notion of generalized local cohomology modules with respect to a pair of ideals $(I,J)$ which is a generalization of the concept of local cohomology modules with respect to $(I,J).$ We show that generalized local cohomology modules $H^i_{I,J}(M,N)$ can be computed by the \v{C}ech cohomology modules. We also study the artinianness of generalized local cohomology modules $H^i_{I,J}(M,N).$


title: Indirect Detection of Self-Interacting Asymmetric Dark Matter

abstract: Self-interacting dark matter resolves the issue of cuspy profiles that appear in non-interacting cold dark matter simluations; it may additionally resolve the so-called "too big to fail" problem in structure formation. Asymmetric dark matter provides a natural explanation of the comparable densities of baryonic matter and dark matter. In this paper, we discuss unique indirect detection signals produced by a minimal model of self-interacting asymmetric scalar dark matter. Through the formation of dark matter bound states, a dark force mediator particle may be emitted; the decay of this particle may produce an observable signal. We estimate the produced signal and explicitly demonstrate parameters for which the signal exceeds current observations.


title: Regularly random duality

abstract: In this paper we look at a class of random optimization problems. We discuss ways that can help determine typical behavior of their solutions. When the dimensions of the optimization problems are large such an information often can be obtained without actually solving the original problems. Moreover, we also discover that fairly often one can actually determine many quantities of interest (such as, for example, the typical optimal values of the objective functions) completely analytically. We present a few general ideas and emphasize that the range of applications is enormous.


title: On Constellations for Physical Layer Network Coded Two-Way Relaying

abstract: Modulation schemes for two-way bidirectional relay network employing two phases: Multiple access (MA) phase and Broadcast (BC) phase and using physical layer network coding are currently studied intensively. Recently, adaptive modulation schemes using Latin Squares to obtain network coding maps with the denoise and forward protocol have been reported with good end-to-end performance. These schemes work based on avoiding the detrimental effects of distance shortening in the effective receive constellation at the end of the MA phase at the relay. The channel fade states that create such distance shortening called singular fade states, are effectively removed using appropriate Latin squares. This scheme as well as all other known schemes studied so far use conventional regular PSK or QAM signal sets for the end users which lead to the relay using different sized constellations for the BC phase depending upon the fade state. In this work, we propose a 4-point signal set that would always require a 4-ary constellation for the BC phase for all the channel fade conditions. We also propose an 8-point constellation that gives better SER performance (gain of 1 dB) than 8-PSK while still using 8-ary constellation for BC phase like the case with 8-PSK. This is in spite of the fact that the proposed 8-point signal set has more number of singular fade states than for 8-PSK.


title: Infinitely imbalanced binomial regression and deformed exponential families

abstract: The logistic regression model is known to converge to a Poisson point process model if the binary response tends to infinitely imbalanced. In this paper, it is shown that this phenomenon is universal in a wide class of link functions on binomial regression. The proof relies on the extreme value theory. For the logit, probit and complementary log-log link functions, the intensity measure of the point process becomes an exponential family. For some other link functions, deformed exponential families appear. A penalized maximum likelihood estimator for the Poisson point process model is suggested.


title: Generalized ideal transforms

abstract: We study basic properties of the generalized ideal transforms $D_I(M, N)$ and the set of associated primes of the modules $R^iD_I(M,N).$


title: Notes on reductions of superstring theory to bosonic string theory

abstract: It is in general very subtle to integrate over the odd moduli of super Riemann surfaces in perturbative superstring computations. We study how these subtleties go away in favorable cases, including the embedding of N=0 string to N=1 string by Berkovits and Vafa, and the relation of the graviphoton amplitude and the topological string amplitude by Antoniadis, Gava, Narain and Taylor and Bershadsky, Cecotti, Ooguri and Vafa. The Poincar\'e dual of the moduli space of Riemann surfaces in the moduli space of super Riemann surfaces plays an important role.


title: Queuing Methodology Based Power Efficient Routing Protocol for Reliable Data Communications in Manets

abstract: A mobile ad hoc network (MANET) is a wireless network that uses multi-hop peer-to- peer routing instead of static network infrastructure to provide network connectivity. MANETs have applications in rapidly deployed and dynamic military and civilian systems. The network topology in a MANET usually changes with time. Therefore, there are new challenges for routing protocols in MANETs since traditional routing protocols may not be suitable for MANETs. In recent years, a variety of new routing protocols targeted specifically at this environment have been developed, but little performance information on each protocol and no realistic performance comparison between them is available. This paper presents the results of a detailed packet-level simulation comparing three multi-hop wireless ad hoc network routing protocols that cover a range of design choices: DSR, NFPQR, and clustered NFPQR. By applying queuing methodology to the introduced routing protocol the reliability and throughput of the network is increased.


title: On the ubiquity of molecular anions in the dense interstellar medium

abstract: Results are presented from a survey for molecular anions in seven nearby Galactic star-forming cores and molecular clouds. The hydrocarbon anion C6H- is detected in all seven target sources, including four sources where no anions have been previously detected: L1172, L1389, L1495B and TMC-1C. The C6H-/C6H column density ratio is greater than about 1.0% in every source, with a mean value of 3.0% (and standard deviation 0.92%). Combined with previous detections, our results show that anions are ubiquitous in dense clouds wherever C6H is present. The C6H-/C6H ratio is found to show a positive correlation with molecular hydrogen number density, and with the apparent age of the cloud. We also report the first detection of C4H- in TMC-1 (at 4.8-sigma confidence), and derive an anion-to-neutral ratio C4H-/C4H = (1.2 +- 0.4) x 10^-5 (= 0.0012 +- 0.0004%). Such a low value compared with C6H- highlights the need for a revised radiative electron attachment rate for C4H. Chemical model calculations show that the observed C4H- could be produced as a result of reactions of oxygen atoms with C5H- and C6H-.


title: Seeing the orbital ordering in Iron-based superconductors with magnetic anisotropy

abstract: The orbital fluctuation of the conduction electrons in the Iron-based superconductors is found to contribute significantly to the magnetic response of the system. With the use of a realistic five-band model and group theoretical analysis, we have determined the orbital magnetic susceptibility in such a multi-orbital system. At $n=6.1$, the in-plane orbital magnetic susceptibility is predicted to be about 10$\mu_{\mathrm{B}}^{2}/\mathrm{eV}$, which is more than 2/3 of the observed total susceptibility around 200 K in 122 systems(of about 14$\mu_{\mathrm{B}}^{2}/\mathrm{eV}$ or $4.5\times10^{-4}\mathrm{erg}/\mathrm{G}^{2}\mathrm{mol}_{\mathrm{AS}}$\cite{Klingeler}). We find the in-plane orbital magnetic response is sensitive to the breaking of the tetragonal symmetry in the orbital space. In particular, when the observed band splitting(between the $3d_{xz}$ and the $3d_{yz}$-dominated band) is used to estimate the strength of the symmetry breaking perturbation\cite{Shen}, a 4.5% modulation in the in-plane orbital magnetic susceptibility can be produced, making the latter a useful probe of the orbital ordering in such a multi-orbital system. As a by product, the theory also explains the large anisotropy between the in-plane and the out-of-plane magnetic response observed universally in susceptibility and NMR measurements.


title: A New Kind of Beauty Out of the Underlying Scaling of Geographic Space

abstract: Geographic space demonstrates scaling or hierarchy, implying that there are far more small things than large ones. The scaling pattern of geographic space, if visualized properly (i.e., based on head/tail breaks), can evoke a sense of beauty. This is our central argument. This beauty is a new type of aesthetic at a deeper structural level, and differs in essence from an intuitive sense of harmony, perceived in terms of color, shape, texture, and ratio. This new kind of beauty was initially defined and discovered by Christopher Alexander, and promoted in his master work The Nature of Order. To paraphrase Mandelbrot, this is the beauty for the sake of science rather than for art's sake or for the sake of commerce. Throughout the paper, we attempt to argue and illustrate that the scaling of geographic space possesses this new kind of beauty, which has a positive impact on human well-being. The paper further draws upon the previous work of Nikos Salingaros and Richard Taylor on the beauty in architecture and arts to support our argument. Keywords: Aesthetics, heavy-tailed distributions, head/tail breaks, Zipf's law, and fractals


title: Modeling the quantum interference signatures of the Ba II D2 4554 A line in the second solar spectrum

abstract: Quantum interference effects play a vital role in shaping the linear polarization profiles of solar spectral lines. The Ba II D2 line at 4554 A is a prominent example, where the F-state interference effects due to the odd isotopes produce polarization profiles, which are very different from those of the even isotopes that have no F-state interference. It is therefore necessary to account for the contributions from the different isotopes to understand the observed linear polarization profiles of this line. Here we do radiative transfer modeling with partial frequency redistribution (PRD) of such observations while accounting for the interference effects and isotope composition. The Ba II D2 polarization profile is found to be strongly governed by the PRD mechanism. We show how a full PRD treatment succeeds in reproducing the observations, while complete frequency redistribution (CRD) alone fails to produce polarization profiles that have any resemblance with the observed ones. However, we also find that the line center polarization is sensitive to the temperature structure of the model atmosphere. To obtain a good fit to the line center peak of the observed Stokes Q/I profile, a small modification of the FALX model atmosphere is needed, by lowering the temperature in the line-forming layers. Because of the pronounced temperature sensitivity of the Ba II D2 line it may not be a suitable tool for Hanle magnetic-field diagnostics of the solar chromosphere, because there is currently no straightforward way to separate the temperature and magnetic-field effects from each other.


title: Hausdorff dimension of wiggly metric spaces

abstract: For a compact connected set $X\subseteq \ell^{\infty}$, we define a quantity $\beta'(x,r)$ that measures how close $X$ may be approximated in a ball $B(x,r)$ by a geodesic curve. We then show there is $c>0$ so that if $\beta'(x,r)>\beta>0$ for all $x\in X$ and $r<r_{0}$, then $\dim X>1+c\beta^{2}$. This generalizes a theorem of Bishop and Jones and answers a question posed by Bishop and Tyson.


title: Effect of bulk charged impurities on the bulk and surface transport in three-dimensional topological insulators

abstract: In the three-dimensional topological insulator (TI), the physics of doped semiconductors exists literally side-by-side with the physics of ultra-relativistic Dirac fermions. This unusual pairing creates a novel playground for studying the interplay between disorder and electronic transport. In this mini-review we focus on the disorder caused by the three-dimensionally distributed charged impurities that are ubiquitous in TIs, and we outline the effects it has on both the bulk and surface transport in TIs. We present self-consistent theories for Coulomb screening both in the bulk and at the surface, discuss the magnitude of the disorder potential in each case, and present results for the conductivity. In the bulk, where the band gap leads to thermally activated transport, we show how disorder leads to a smaller-than-expected activation energy that gives way to VRH at low temperatures. We confirm this enhanced conductivity with numerical simulations that also allow us to explore different degrees of impurity compensation. For the surface, where the TI has gapless Dirac modes, we present a theory of disorder and screening of deep impurities, and we calculate the corresponding zero-temperature conductivity. We also comment on the growth of the disorder potential as one moves from the surface of the TI into the bulk. Finally, we discuss how the presence of a gap at the Dirac point, introduced by some source of time-reversal symmetry breaking, affects the disorder potential at the surface and the mid-gap density of states.


title: Love story under the H-bomb shadow

abstract: The physics is created by human beings with all weaknesses of human nature. This story caught our attention since it demonstrates how fragile the human destiny is and even genius cannot find freedom and preserve human dignity in the face of the totalitarian state.


title: A simple sufficient condition for the coexistence of quantum effects

abstract: Two quantum effects are considered coexistent if they can be measured together. It is known that commutativity and comparability are sufficient but not necessary for the coexistence of two effects. We unify those two conditions to a simple but more widely applicable sufficient condition.


title: Some identities arising from Sheffer sequences for the powers of Sheffer pairs under umbral composition

abstract: In this paper, we study some properties of Sheffer sequences for the powers of Sheffer pairs under umbral composition. From our properties we derive new and interesting identities of Sheffer sequences of special polynomials for the powers of Sheffer pairs under umbral composition.


title: Exploring the Role of Logically Related Non-Question Phrases for Answering Why-Questions

abstract: In this paper, we show that certain phrases although not present in a given question/query, play a very important role in answering the question. Exploring the role of such phrases in answering questions not only reduces the dependency on matching question phrases for extracting answers, but also improves the quality of the extracted answers. Here matching question phrases means phrases which co-occur in given question and candidate answers. To achieve the above discussed goal, we introduce a bigram-based word graph model populated with semantic and topical relatedness of terms in the given document. Next, we apply an improved version of ranking with a prior-based approach, which ranks all words in the candidate document with respect to a set of root words (i.e. non-stopwords present in the question and in the candidate document). As a result, terms logically related to the root words are scored higher than terms that are not related to the root words. Experimental results show that our devised system performs better than state-of-the-art for the task of answering Why-questions.


title: The F-method and a branching problem for generalized Verma modules associated to $({\LieGtwo},{so(7)})$

abstract: The branching problem for a couple of non-compatible Lie algebras and their parabolic subalgebras applied to generalized Verma modules was recently discussed in \cite{ms}. In the present article, we employ the recently developed F-method, \cite{KOSS1}, \cite{KOSS2} to the couple of non-compatible Lie algebras $({\LieGtwo},{so(7)})$, and generalized conformal ${so(7)}$-Verma modules of scalar type. As a result, we classify the $\LieGtwo \cap \gop'$-singular vectors for this class of $so(7)$-modules.


title: Varieties of minimal rational tangents on double covers of projective space

abstract: Let $\phi: X \to \mathbb P^n$ be a double cover branched along a smooth hypersurface of degree $2m, 2 \leq m \leq n-1$. We study the varieties of minimal rational tangents $\mathcal C_x \subset \mathbb P T_x(X)$ at a general point $x$ of $X$. We describe the homogeneous ideal of $\mathcal C_x$ and show that the projective isomorphism type of $\mathcal C_x$ varies in a maximal way as $x$ varies over general points of $X$. Our description of the ideal of $\mathbb C_x$ implies a certain rigidity property of the covering morphism $\phi$. As an application of this rigidity, we show that any finite morphism between such double covers with $m=n-1$ must be an isomorphism. We also prove that Liouville-type extension property holds with respect to minimal rational curves on $X$.


title: The Shape of Random Pattern-Avoiding Permutations

abstract: We initiate the study of limit shapes for random permutations avoiding a given pattern. Specifically, for patterns of length 3, we obtain delicate results on the asymptotics of distributions of positions of numbers in the permutations. We view the permutations as 0-1 matrices to describe the resulting asymptotics geometrically. We then apply our results to obtain a number of results on distributions of permutation statistics.


title: Cosmic rays and climate change over the past 1000 million years

abstract: The Galactic cosmic ray (GCR) intensity has been postulated by others to vary cyclically with a peak to valley ratio of ~3:1, as the Solar System moves from the Spiral Arm to the Inter-Arm regions of the Galaxy. These intensities have been correlated with global temperatures and used to support the hypothesis of GCR induced climate change. In this paper we show that the model used to deduce such a large ratio of Arm to Interarm GCR intensity requires unlikely values of some of the GCR parameters, particularly the diffusion length in the interstellar medium, if as seems likely to be the case, the diffusion is homogeneous. Comparison is made with the existing gamma ray astronomy data and this also indicates that the ratio is not large. The variation in the intensity is probably of order 10-20% and should be no more than 30% as the Solar System moves between these two regions, unless the conventional parameters of the GCR are incorrect. In addition we show that the variation of the GCR intensity, as the trajectory of the Solar System oscillates about the Galactic Plane, is too small to account for the extinctions of species as has been postulated unless, again, conventional assumptions about the GCR parameters are not correct.


title: Polynomial Chaotic Inflation in the Planck Era

abstract: We propose a chaotic inflation model in supergravity based on polynomial interactions of the inflaton. Specifically we study the chaotic inflation model with quadratic, cubic and quartic couplings in the scalar potential and show that the predicted scalar spectral index and tensor-to-scalar ratio can lie within the 1 sigma region allowed by the Planck results.


title: An operational window for radiation-resistant materials based on sequentially healing grain interiors and boundaries

abstract: Design of nuclear materials with high radiation-tolerance has great significance1, especially for the next generation of nuclear energy systems2,3. Response of nano- and poly-crystals to irradiation depends on the radiation temperature, dose-rate and grain size4-13. However the dependencies had been studied and interpreted individually, and thus severely lacking is the ability to predict radiation performance of materials in extreme environments. Here we propose an operational window for radiation-resistant materials, which is based on a perspective of interactions among irradiation-induced interstitials, vacancies, and grain boundaries. Using atomic simulations, we find that healing grain boundaries needs much longer time than healing grain interiors. Not been noticed before, this finding suggests priority should be thereafter given to recovery of the grain boundary itself. This large disparity in healing time is reflected in the spectra of defects-recombination energy barriers by the presence of one high-barrier peak in addition to the peak of low barriers. The insight gained from the study instigates new avenues for examining the role of grain boundaries in healing the material. In particular, we sketch out the radiation-endurance window in the parameter space of temperature, dose-rate and grain size. The window helps evaluate material performance and develop resistant materials against radiation damage.


title: Nonequilibrium Green's function method for quantum thermal transport

abstract: This review deals with the nonequilibrium Green's function (NEGF) method applied to the problems of energy transport due to atomic vibrations (phonons), primarily for small junction systems. We present a pedagogical introduction to the subject, deriving some of the well-known results such as the Laudauer-like formula for heat current in ballistic systems. The main aim of the review is to build the machinery of the method so that it can be applied to other situations, which are not directly treated here. In addition to the above, we consider a number of applications of NEGF, not in routine model system calculations, but in a few new aspects showing the power and usefulness of the formalism. In particular, we discuss the problems of multiple leads, coupled left-right-lead system, and system without a center. We also apply the method to the problem of full counting statistics. In the case of nonlinear systems, we make general comments on the thermal expansion effect, phonon relaxation time, and a certain class of mean-field approximations. Lastly, we examine the relationship between NEGF, reduced density matrix, and master equation approaches to thermal transport.


title: Approximate Inference for Observation Driven Time Series Models with Intractable Likelihoods

abstract: In the following article we consider approximate Bayesian parameter inference for observation driven time series models. Such statistical models appear in a wide variety of applications, including econometrics and applied mathematics. This article considers the scenario where the likelihood function cannot be evaluated point-wise; in such cases, one cannot perform exact statistical inference, including parameter estimation, which often requires advanced computational algorithms, such as Markov chain Monte Carlo (MCMC). We introduce a new approximation based upon approximate Bayesian computation (ABC). Under some conditions, we show that as $n\rightarrow\infty$, with $n$ the length of the time series, the ABC posterior has, almost surely, a maximum \emph{a posteriori} (MAP) estimator of the parameters which is different from the true parameter. However, a noisy ABC MAP, which perturbs the original data, asymptotically converges to the true parameter, almost surely. In order to draw statistical inference, for the ABC approximation adopted, standard MCMC algorithms can have acceptance probabilities that fall at an exponential rate in $n$ and slightly more advanced algorithms can mix poorly. We develop a new and improved MCMC kernel, which is based upon an exact approximation of a marginal algorithm, whose cost per-iteration is random but the expected cost, for good performance, is shown to be $\mathcal{O}(n^2)$ per-iteration.


title: Minimal Model for Stem-Cell Differentiation

abstract: To explain the differentiation of stem cells in terms of dynamical systems theory, models of interacting cells with intracellular protein expression dynamics are analyzed and simulated. Simulations were carried out for all possible protein expression networks consisting of two genes under cell--cell interactions mediated by the diffusion of a protein. Networks that show cell differentiation are extracted and two forms of symmetric differentiation based on Turing's mechanism and asymmetric differentiation are identified. In the latter network, the intracellular protein levels show oscillatory dynamics at a single-cell level, while cell-to-cell synchronicity of the oscillation is lost with an increase in the number of cells. Differentiation to a fixed-point type behavior follows with a further increase in the number of cells. The cell type with oscillatory dynamics corresponds to a stem cell that can both proliferate and differentiate, while the latter fixed-point type only proliferates. This differentiation is analyzed as a saddle-node bifurcation on an invariant circle, while the number ratio of each cell type is shown to be robust against perturbations due to self-consistent determination of the effective bifurcation parameter as a result of the cell--cell interaction. Complex cell differentiation is designed by combing these simple two-gene networks. The generality of the present differentiation mechanism, as well as its biological relevance, is discussed.


title: Neutrinos at IceCube from Heavy Decaying Dark Matter

abstract: A monochromatic line in the cosmic neutrino spectrum would be a smoking gun signature of dark matter. It is intriguing that the IceCube experiment has recently reported two PeV neutrino events with energies that may be equal up to experimental uncertainties, and which have a probability of being a background fluctuation estimated to be less than a percent. Here we explore prospects for these events to be the first indication of a monochromatic line signal from dark matter. While measurable annihilation signatures would seem to be impossible at such energies, we discuss the dark matter quantum numbers, effective operators, and lifetimes which could lead to an appropriate signal from dark matter decays. We will show that the set of possible decay operators is rather constrained, and will focus on several viable candidates which could explain the IceCube events; R-parity violating gravitinos, hidden sector gauge bosons, and singlet fermions in an extra dimension. In essentially all cases we find that a PeV neutrino line signal from dark matter would be accompanied by a potentially observable continuum spectrum of neutrinos rising towards lower energies.


title: Point-contact spectroscopy of the phononic mechanism of superconductivity in YB6

abstract: Lortz et al. [Phys. Rev. B 73, 024512 (2006)] have utilized specific heat and resistivity measurements as "thermal spectroscopies" to deconvolve the spectrum of the electron-phonon interaction in YB$_6$ assuming a major role of the low frequency phonon mode in mediating superconductivity. Here, we present direct point-contact spectroscopy studies of the superconducting interaction in this system. As a result the normalized superconducting gap reveals a strong coupling with $2\Delta/k_BT_c = 4$ and moreover the spectra contain nonlinearities typical of the electron-phonon interaction at energies around 8 meV. The in-magnetic-field measurements evidence that the phonon features found in the second derivative of the current-voltage characteristics are due to the energy dependence of the superconducting energy gap as their energy position shrinks equally as the gap is closing. This is a direct proof that the superconducting coupling in the system is due to the low energy Einstein-like phonon mode associated with the yttrium ion vibrations in a perfect agreement with determinations from bulk measurements.


title: On a theorem of Lyapounov

abstract: It is shown that a Hamiltonian system in the neighbourhood of an equilibrium may be given a special normal form in case the eigenvalues of the linearized system satisfy non--resonance conditions of Melnikov's type. The normal form possesses a two dimensional (local) invariant manifold on which the solutions are known. If the eigenvalue is pure imaginary then these solutions are the natural continuation of a normal mode of the linear system. The latter result was first proved by Lyapounov. The present paper completes Lyapounov's result in that the convergence of the transformation of the Hamiltonian to a normal form is proven and the condition that the eigenvalues be pure imaginary is removed.


title: Probing Cosmic Rays in Nearby Giant Molecular Clouds with the Fermi Large Area Telescope

abstract: We report the results of our study of the energy spectra and absolute fluxes of cosmic rays (CRs) in the Local Galaxy based on a five-year $\gamma$-ray observation with the Fermi Large Area Telescope (LAT) of eight nearby giant molecular clouds (GMCs) belonging to the Gould Belt. The $\gamma$-ray signals obtained with high statistical significance allow the determination of $\gamma$-ray spectra above 300~MeV with adequate precision for extraction of the energy distributions of CRs in these clouds. Remarkably, both the derived spectral indices and the absolute fluxes of CR protons in the energy interval $10 - 100~ \rm \ GeV$ agree with the recent direct measurements of local CRs by the PAMELA experiment. This is strong evidence of a quite homogeneous distribution of CRs, at least within several hundred parsecs of the Local Galaxy. Combined with the well established energy-dependent time of escape of CRs from the Galaxy, $\tau(E) \propto E^{-\delta}$ with $\delta \approx 0.5-0.6$, the measured spectrum implies a CR spectral index of the (acceleration) source of $\approx$E$^{-2.3}$. At low energies, the spectra of $\gamma$ rays appear to vary from one cloud to another. This implies spatial variations of the energy spectra of CRs below 10~GeV, which at such low energies could be explained naturally by both the impact of the propagation effects and the contribution of CR locally accelerated inside the clouds.


title: Linear slices close to a Maskit slice

abstract: We consider linear slices of the space of Kleinian once-punctured torus groups; a linear slice is obtained by fixing the value of the trace of one of the generators. The linear slice for trace 2 is called the Maskit slice. We will show that if traces converge `horocyclically' to 2 then associated linear slices converge to the Maskit slice, whereas if the traces converge `tangentially' to 2 the linear slices converge to a proper subset of the Maskit slice. This result will be also rephrased in terms of complex Fenchel-Nielsen coordinates. In addition, we will show that there is a linear slice which is not locally connected.


title: Enhanced motility of a microswimmer in rigid and elastic confinement

abstract: We analyse the effect of confining rigid and elastic boundaries on the motility of a model dipolar microswimmer. Flexible boundaries are deformed by the velocity field of the swimmer in such a way that the motility of both extensile and contractile swimmers is enhanced. The magnitude of the increase in swimming velocity is controlled by the ratio of the swimmer-advection and elastic timescales, and the dipole moment of the swimmer. We explain our results by considering swimming between inclined rigid boundaries.


title: Proof nets and the call-by-value lambda-calculus

abstract: This paper gives a detailed account of the relationship between (a variant of) the call-by-value lambda calculus and linear logic proof nets. The presentation is carefully tuned in order to realize a strong bisimulation between the two systems: every single rewriting step on the calculus maps to a single step on the nets, and viceversa. In this way, we obtain an algebraic reformulation of proof nets. Moreover, we provide a simple correctness criterion for our proof nets, which employ boxes in an unusual way.


title: Symmetries in Modal Logics

abstract: We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas. Our framework uses the coinductive models and, hence, the results apply to a wide class of modal logics including, for example, hybrid logics. Our main result shows that the symmetries of a modal formula preserve entailment.


title: Elementary Deduction Problem for Locally Stable Theories with Normal Forms

abstract: We present an algorithm to decide the intruder deduction problem (IDP) for a class of locally stable theories enriched with normal forms. Our result relies on a new and efficient algorithm to solve a restricted case of higher-order associative-commutative matching, obtained by combining the Distinct Occurrences of AC- matching algorithm and a standard algorithm to solve systems of linear Diophantine equations. A translation between natural deduction and sequent calculus allows us to use the same approach to decide the \emphelementary deduction problem for locally stable theories. As an application, we model the theory of blind signatures and derive an algorithm to decide IDP in this context, extending previous decidability results.


title: Minimal lambda-theories by ultraproducts

abstract: A longstanding open problem in lambda calculus is whether there exist continuous models of the untyped lambda calculus whose theory is exactly the least lambda-theory lambda-beta or the least sensible lambda-theory H (generated by equating all the unsolvable terms). A related question is whether, given a class of lambda models, there is a minimal lambda-theory represented by it. In this paper, we give a general tool to answer positively to this question and we apply it to a wide class of webbed models: the i-models. The method then applies also to graph models, Krivine models, coherent models and filter models. In particular, we build an i-model whose theory is the set of equations satisfied in all i-models.


title: The untyped stack calculus and Bohm's theorem

abstract: The stack calculus is a functional language in which is in a Curry-Howard correspondence with classical logic. It enjoys confluence but, as well as Parigot's lambda-mu, does not admit the Bohm Theorem, typical of the lambda-calculus. We present a simple extension of stack calculus which is for the stack calculus what Saurin's Lambda-mu is for lambda-mu.


title: The stack calculus

abstract: We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded. Our calculus enjoys confluence without any restriction. Its type system enforces strong normalization of expressions and it is a sound and complete system for full implicational Classical Logic. We give a very simple denotational semantics which allows easy calculations of the interpretation of expressions.


title: A weak HOAS approach to the POPLmark Challenge

abstract: Capitalizing on previous encodings and formal developments about nominal calculi and type systems, we propose a weak Higher-Order Abstract Syntax formalization of the type language of pure System F<: within Coq, a proof assistant based on the Calculus of Inductive Constructions. Our encoding allows us to accomplish the proof of the transitivity property of algorithmic subtyping, which is in fact the first of the three tasks stated by the POPLmark Challenge, a set of problems that capture the most critical issues in formalizing programming language metatheory.


title: Sequent Calculi for the classical fragment of Bochvar and Halld\'en's Nonsense Logics

abstract: In this paper sequent calculi for the classical fragment (that is, the conjunction-disjunction-implication-negation fragment) of the nonsense logics B3, introduced by Bochvar, and H3, introduced by Halld\'en, are presented. These calculi are obtained by restricting in an appropriate way the application of the rules of a sequent calculus for classical propositional logic CPL. The nice symmetry between the provisos in the rules reveal the semantical relationship between these logics. The Soundness and Completeness theorems for both calculi are obtained, as well as the respective Cut elimination theorems.


title: Non determinism through type isomorphism

abstract: We define an equivalence relation on propositions and a proof system where equivalent propositions have the same proofs. The system obtained this way resembles several known non-deterministic and algebraic lambda-calculi.


title: Formalizing the Confluence of Orthogonal Rewriting Systems

abstract: Orthogonality is a discipline of programming that in a syntactic manner guarantees determinism of functional specifications. Essentially, orthogonality avoids, on the one side, the inherent ambiguity of non determinism, prohibiting the existence of different rules that specify the same function and that may apply simultaneously (non-ambiguity), and, on the other side, it eliminates the possibility of occurrence of repetitions of variables in the left-hand side of these rules (left linearity). In the theory of term rewriting systems (TRSs) determinism is captured by the well-known property of confluence, that basically states that whenever different computations or simplifications from a term are possible, the computed answers should coincide. Although the proofs are technically elaborated, confluence is well-known to be a consequence of orthogonality. Thus, orthogonality is an important mathematical discipline intrinsic to the specification of recursive functions that is naturally applied in functional programming and specification. Starting from a formalization of the theory of TRSs in the proof assistant PVS, this work describes how confluence of orthogonal TRSs has been formalized, based on axiomatizations of properties of rules, positions and substitutions involved in parallel steps of reduction, in this proof assistant. Proofs for some similar but restricted properties such as the property of confluence of non-ambiguous and (left and right) linear TRSs have been fully formalized.


title: A Graph Calculus for Predicate Logic

abstract: We introduce a refutation graph calculus for classical first-order predicate logic, which is an extension of previous ones for binary relations. One reduces logical consequence to establishing that a constructed graph has empty extension, i. e. it represents bottom. Our calculus establishes that a graph has empty extension by converting it to a normal form, which is expanded to other graphs until we can recognize conflicting situations (equivalent to a formula and its negation).


title: The Cohen-Lenstra heuristics, moments and $p^j$-ranks of some groups

abstract: This article deals with the coherence of the model given by the Cohen-Lenstra heuristic philosophy for class groups and also for their generalizations to Tate-Shafarevich groups. More precisely, our first goal is to extend a previous result due to E. Fouvry and J. Kl\"uners which proves that a conjecture provided by the Cohen-Lenstra philosophy implies another such conjecture. As a consequence of our work, we can deduce, for example, a conjecture for the probability laws of $p^j$-ranks of Selmer groups of elliptic curves. This is compatible with some theoretical works and other classical conjectures.


title: Two-phase xenon emission detector with electron multiplier and optical readout by multipixel avalanche Geiger photodiodes

abstract: A successful operation of a new optical readout system (THGEM + WLS + MGPDs (multichannel array of multipixel avalanche Geiger photodiodes) in a two-phase liquid xenon detector was demonstrated.


title: A magnetic origin for high temperature superconductivity in iron pnictides

abstract: In conventional Bardeen-Cooper-Schrieffer (BCS) superconductors, superconductivity occurs when electrons form coherent Cooper pairs below the superconducting transition temperature Tc. Although the kinetic energy of paired electrons increases in the superconducting state relative to the normal state, the reduction in the ion lattice energy is sufficient to give the superconducting condensation energy. For iron pnictide superconductors derived from electron or hole doping of their antiferromagnetic (AF) parent compounds, the microscopic origin for supercnductivity is unclear. Here we use neutron scattering to show that high-Tc superconductivity only occurs for iron pnictides with low-energy itinerant electron-spin excitation coupling and high energy spin excitations. Since our absolute spin susceptibility measurements for optimally hole-doped iron pnictide reveal that the change in magnetic exchange energy below and above Tc can account for the superconducting condensation energy, we conclude that the presence of both high-energy spin excitations giving rise to a large magnetic exchange coupling J and low-energy spin excitations coupled to the itinerant electrons is essential for high-Tc superconductivity in iron pnictides.


title: Anisotropic Non-Gaussianity from a Two-Form Field

abstract: We study an inflationary scenario with a two-form field to which an inflaton couples non-trivially. First, we show that anisotropic inflation can be realized as an attractor solution and that the two-form hair remains during inflation. A statistical anisotropy can be developed because of a cumulative anisotropic interaction induced by the background two-form field. The power spectrum of curvature perturbations has a prolate-type anisotropy, in contrast to the vector models having an oblate-type anisotropy. We also evaluate the bispectrum and trispectrum of curvature perturbations by employing the in-in formalism based on the interacting Hamiltonians. We find that the non-linear estimators $f_{NL}$ and $\tau_{NL}$ are correlated with the amplitude $g_*$ of the statistical anisotropy in the power spectrum. Unlike the vector models, both $f_{NL}$ and $\tau_{NL}$ vanish in the squeezed limit. However, the estimator $f_{NL}$ can reach the order of 10 in the equilateral and enfolded limits. These results are consistent with the latest bounds on $f_{NL}$ constrained by Planck.


title: On the Depolarization Factors for Anisotropic Ellipsoids in Anisotropic Media

abstract: A definition of depolarization factors for anisotropic ellipsoid in an anisotropic medium is considered. The expressions for these factors are derived, which generalize some results known for special cases, and differences from the usual depolarization factors for ellipsoid in isotropic medium are described. The concept of "reduced" ellipsoid, allowing visually describe the effect of the medium anisotropy on depolarization is also introduced.


title: The spectral function in a strongly coupled, thermalising CFT

abstract: In relation to the fluctuation-dissipation theorem, we discuss a time-dependent notion of spectral function and effective temperature. Extending recent results from arXiv:1212.6066, we work out these quantities in a two-dimensional thermalising CFT dual to AdS3-Vaidya spacetime which interpolates between a black brane geometry at early times and a higher temperature black brane at late times. The computation is carried out in the gravitational holographic dual in the geodesic approximation and using a non-standard analytic continuation.


title: A Hierarchical Multilevel Markov Chain Monte Carlo Algorithm with Applications to Uncertainty Quantification in Subsurface Flow

abstract: In this paper we address the problem of the prohibitively large computational cost of existing Markov chain Monte Carlo methods for large--scale applications with high dimensional parameter spaces, e.g. in uncertainty quantification in porous media flow. We propose a new multilevel Metropolis-Hastings algorithm, and give an abstract, problem dependent theorem on the cost of the new multilevel estimator based on a set of simple, verifiable assumptions. For a typical model problem in subsurface flow, we then provide a detailed analysis of these assumptions and show significant gains over the standard Metropolis-Hastings estimator. Numerical experiments confirm the analysis and demonstrate the effectiveness of the method with consistent reductions of more than an order of magnitude in the cost of the multilevel estimator over the standard Metropolis-Hastings algorithm for tolerances $\varepsilon < 10^{-2}$.


title: Measurements on release-recapture of cold Rb-85 atoms using an optical nanofibre in a magneto-optical trap

abstract: We have performed release-recapture temperature measurements of laser-cooled Rb-85 atoms using an optical nanofibre (ONF) in a magneto-optical trap (MOT). The effects of changing the cooling laser light-shift parameter on the temperature of the cold atoms and spring constant of the trap are studied. By varying the cold atom number density near the ONF, the onset of the multiple scattering regime is observed without the need for an estimation of the atom cloud size. Moreover, this sensitive ONF assisted release-recapture technique is easily able to detect any optical misalignment of the cooling laser beams in the MOT.


title: The Clusters AgeS Experiment (CASE): The blue straggler Star M55-V60 caught amidst rapid mass exchange

abstract: We analyze light and velocity curves of the eclipsing blue straggler V60 in the field of the globular cluster M55. We derive Mp=1.259+-0.025 Msun, Rp=1.102+-0.021 Rsun, Mbol,p=3.03+-0.09 mag for the primary and Ms=0.327+-0.017 Msun, Rs=1.480+-0.011 Rsun, Mbol,s=4.18+-0.12 mag for the secondary. We derive an apparent distance modulus (m-M)V=14.04_-0.09 mag. Based on the systemic velocity, distance, and proper motion of V60 we conclude that the system is a member of the cluster and argue that its present state is a result of rapid but conservative mass exchange which the binary is still undergoing. We report a peculiar blue excess on the ascending branch of the primary eclipse of V60 and discuss its possible origin.


title: Sharp extensions for convoluted solutions of wave equations

abstract: In this paper we give sharp extensions of convoluted solutions of wave equations in abstract Banach spaces. The main technique is to use the algebraic structure, for convolution products $\ast$ and $\ast_c$, of these solutions which are defined by a version of the Duhamel's formula. We define algebra homomorphisms, for the convolution product $\ast_c$, from a certain set of test-functions and apply our results to concrete examples of abstract wave equations.


title: Separate mass scaling of the widths of the rapidity distributions for mesons and baryons at energies available at the Facility for Antiproton and Ion research

abstract: Evolution of the width of the rapidity distribution on beam rapidity has been studied for a number of produced particles with UrQMD-3.3p1 generated events at various FAIR (Facility for Antiproton and Ion Research) energies. The results for the width of the rapidity distribution with beam rapidity, obtained with UrQMD generated events, are compared with the existing experimental data (E802, E877, E896, E917, NA49). For both UrQMD and experimental data, the width of the rapidity distribution is found to bear scaling behavior with beam rapidity for all the hadrons. Such scaling behavior is found to follow separate mass ordering for the studied mesons and and baryons.


title: Stability and Orientation of Lamellae in Diblock Copolymer Films

abstract: The dynamics of microphase separation and the orientation of lamellae in diblock copolymers is investigated in terms of a mean-field model. The formation of lamellar structures and their stable states are explored and it is shown that lamellae are stable not only for the period of the structure corresponding to the minimum of the free energy. The range of wavelengths of stable lamellae is determined by a functional approach, introduced with this work, which is in agreement with the results of a linear stability analysis. The effects of the interaction of block copolymers with confining plane boundaries on the lamellae orientation are studied by an extensive analysis of the free energy. By changing the surface property at one boundary, a transition from a preferentially perpendicular to a parallel lamellar orientation with respect to the boundaries is found, which is rather independent of the distance between the boundaries. Computer simulations reveal, that the time scale of the lamellar orientational order dynamics, which is quantitatively characterized in terms of an orientational order parameter and the structure factor, depends significantly on the properties of the confining boundaries as well as on the quench depth.


title: Perturbations of Functional Inequalities for L\'evy Type Dirichlet Forms

abstract: Perturbations of super Poincar\'e and weak Poincar\'e inequalities for L\'evy type Dirichlet forms are studied. When the range of jumps is finite our results are natural extensions to the corresponding ones derived earlier for diffusion processes; and we show that the study for the situation with infinite range of jumps is essentially different. Some examples are presented to illustrate the optimality of our results.


title: Cogroups in the category of connected graded algebras whose inverse and antipode coincide

abstract: Let A be a cogroup in the category of connected graded algebras over a commutative ring R. Let nu denote the inverse of A and chi the antipode of the underlying Hopf algebra of A. We clarify the differences and similarities of nu and chi, and show that nu coincides with chi if and only if A is commutative as a graded algebra. Let A^co_CG be the category of cogroups satisfying these equivalent conditions. If R is a field, the category A^co_CG is completely determined. We also establish an equivalence of the full subcategory of A^co_CG consisting of objects of finite type with a full subcategory of the category of positively graded R-modules without any assumption on R. The results in the case of R=Q are applied to the theory of co-H-groups.


title: Comparing and contrasting nuclei and cold atomic gases

abstract: The experimental revolution in ultracold atomic gas physics over the past decades have brought tremendous amounts of new insight to the world of degenerate quantum systems. Here we compare and constrast the developments of cold atomic gases with the physics of nuclei since many concepts, techniques, and nomenclatures are common to both fields. However, nuclei are finite systems with interactions that are typically much more complicated than those of ultracold atomic gases. The simularities and differences must therefore be carefully addressed for a meaningful comparison and to facilitate fruitful crossdisciplinary activity. Universal results from atomic physics should have impact in certain limits of the nuclear domain. In particular, with advances in the trapping of few-body atomic systems we expect a more direct exchange of ideas and results.


title: Fermi LAT pulsed detection of PSR J0737-3039A in the double pulsar system

abstract: We report the Fermi Large Area Telescope discovery of gamma-ray pulsations from the 22.7 ms pulsar A in the double pulsar system J0737-3039A/B. This is the first mildly recycled millisecond pulsar (MSP) detected in the GeV domain. The 2.7 s companion object PSR J0737-3039B is not detected in gamma rays. PSR J0737-3039A is a faint gamma-ray emitter, so that its spectral properties are only weakly constrained; however, its measured efficiency is typical of other MSPs. The two peaks of the gamma-ray light curve are separated by roughly half a rotation and are well offset from the radio and X-ray emission, suggesting that the GeV radiation originates in a distinct part of the magnetosphere from the other types of emission. From the modeling of the radio and the gamma-ray emission profiles and the analysis of radio polarization data, we constrain the magnetic inclination $\alpha$ and the viewing angle $\zeta$ to be close to 90$^\circ$, which is consistent with independent studies of the radio emission from PSR J0737-3039A. A small misalignment angle between the pulsar's spin axis and the system's orbital axis is therefore favored, supporting the hypothesis that pulsar B was formed in a nearly symmetric supernova explosion as has been discussed in the literature already.


title: A Modified LSB Technique of Digital Watermarking in Spatial Domain

abstract: Digital watermarking is a technique of embedding pieces of information into digital data such as text, audio, video, and still images that can be detected or extracted later to show authentication about the data. Watermark is hidden information in the image(s) and is so designed that it does not degrade/distort the quality of the image and still keeps the information. Digital watermarking is basically to protect ownership rights and to control of making illicit copies of digital data. In this paper, we have discussed various watermarking techniques and properties and have proposed a modified LSB technique. We have implemented the proposed technique by following: 2-bits of 8-bit gray image is replaced by luminance part, next 2-bits by red component, next 2-bits by green component and next 2-bits by blue component of 32-bit image using secret key. The advantage is that watermarking capacity has been increased and unaffected by various attacks e.g. zero out LSB bits, cropping etc. Watermark image is imperceptible in resultant image. We have tested this technique on several images and found that it is quite satisfactory. This technique is secured as unauthorized user can not extract the watermarked contents easily from the original image and works well in adverse situations. We have implemented this technique on platform java 1.5.0.


title: Spectator induced electromagnetic effect on directed flow in heavy ion collisions

abstract: We estimate the electromagnetic effect of the spectator charge on azimuthal anisotropies observed in heavy ion collisions. For peripheral Pb+Pb reactions at the top energy of the CERN Super Proton Synchrotron, $\sqrt{s_{NN}}=17.3$ GeV, we predict this effect to bring very large distortions to the observed directed flow, $v_1$, of positive and negative pions emitted close to beam rapidity. The overall magnitude of this effect is comparable to values of $v_1$ reported by the WA98 experiment. We argue that also at lower rapidities, the spectator induced electromagnetic effect may result in the splitting of values of $v_1$ observed for positive and negative pions. Such a splitting is visible in the data reported by the STAR Collaboration from the RHIC Beam Energy Scan. Both effects are sensitive to the space-time scenario assumed for pion emission. Therefore, they bring new information on the collision dynamics.


title: Introverted algebras with mean value

abstract: Let A be an introverted algebra with mean value. We prove that its spectrum \Delta (A) is a compact topological semigroup, and that the kernel K(\Delta (A)) of \Delta (A) is a compact topological group over which the mean value on A can be identified as the Haar integral. Based on these facts and also on the fact that K(\Delta (A)) is an ideal of \Delta (A), we define the convolution over \Delta (A). We then use it to derive some new convergence results involving the convolution product of sequences. These convergence results provide us with an efficient method for studying the asymptotics of nonlocal problems. The obtained results systematically establish the connection between the abstract harmonic analysis and the homogenization theory. To illustrate this, we work out some homogenization problems in connection with nonlocal partial differential equations.


title: Multicomponent dark matter particles in a two-loop neutrino model

abstract: We construct a loop induced seesaw model in a TeV scale theory with gauged U(1)_{B-L} symmetry. Light neutrino masses are generated at two-loop level and right-handed neutrinos also obtain their masses by one-loop effect. Multi-component Dark Matters (DMs) are included in our model due to the remnant discrete symmetry after the B-L symmetry breaking and the Z_2 parity which is originally imposed to the model. We investigate the multi-component DM properties, in which we have two fermionic DMs with different mass scales, O(10) GeV and O(100-1000) GeV. The former mass corresponds to the lightest right-handed neutrino mass induced by the loop effect, although the latter one to the SM gauge singlet fermion. We show each of the DM annihilation processes and compare to the the observation of relic abundance, together with the constraints of Lepton Flavor Violation (LFV) and active neutrino masses. Moreover we show that our model has some parameter region allowed by the direct detection result reported by XENON100, and it is possible to verify the model by the future XENON experiment.


title: Microscopic Electronic Wavefunction and interactions between quasi particles in Empirical Tight-Binding Theory

abstract: A procedure to obtain single-electron wavefunctions within the tight-binding formalism is proposed. It is based on linear combinations of Slater-type orbitals whose screening coefficients are extracted from the optical matrix elements of the tight-binding Hamiltonian. Bloch functions obtained for zinc-blende semiconductors in the extended-basis spds* tight-binding model demonstrate very good agreement with first-principles wavefunctions. We apply this method to the calculation of electron-hole exchange interaction, and obtain the dispersion of excitonic fine structure of bulk GaAs. Beyond semiconductor nanostructures, this work is a fundamental step toward modeling many-body effects from post-processing single particle wavefunctions within the tight-binding theory.


title: Quantum theory of the plasmonic nanolaser

abstract: In this work, we present a fully quantum theory of the plasmonic nanolaser, based on the maser model. Theory can be applied both to the microlasers with high Q-factor cavities and plasmonic nanolasers. We show that the latter is essentially a thresholdless device. We obtain the statistics of quanta, spectrum of the plasmonic radiation and the second-order coherence degree in the steady state. The limits of the model applicability are discussed in detail. All results are compared with the full numerical simulation.


title: Light induced crystallization of cold atoms in a thin 1D optical tube

abstract: Collective off resonant scattering of coherent light by a cold gas induces long-range interactions via interference of light scattered by different particles. In a 1D configuration these interactions grow particularly strong for particles trapped along an optical nanofiber. We show that there exists a threshold pump laser intensity, above which the gas can be found in a crystalline, selfsustained order. In the nonabsorbing regime we determine the critical condition for the onset of order as well as the forms of particle density and scattered field patterns along the fiber above threshold. Surprisingly, there can coexist multiple stationary solutions with distinct density and field profiles.


title: Measurement of $\eta^\prime\rightarrow \pi^+\pi^- e^+e^-$ and $\eta^\prime\rightarrow \pi^+\pi^-\mu^+\mu^-$

abstract: Based on a sample of 225.3 million J/\psi events accumulated with the BESIII detector at the BEPCII, the decays of \eta' to pi+pi-l+l- are studied via J/\psi to \gamma\eta'. A clear \eta' signal is observed in the pi+pi-e+e- mass spectrum, and the branching fraction is measured to be \BR(\eta' to pi+pi-e+e-) = (2.11\pm0.12 (stat.)\pm0.15 (syst.))\times10^{-3}, which is in good agreement with theoretical predictions and the previous measurement, but is determined with much higher precision. No \eta' signal is found in the pi+ pi- mu+ mu- mass spectrum, and the upper limit is determined to be \BR(\eta' to pi+ pi- mu+ mu-)<2.9\times10^{-5} at the 90% confidence level.


title: Holographaic Alogorithms on Bases of Rank 2

abstract: An essential problem in the design of holographic algorithms is to decide whether the required signatures can be realized by matchgates under a suitable basis transformation (SRP). For holographic algorithms on domain size 2, [1, 2, 4, 5] have built a systematical theory. In this paper, we reduce SRP on domain size k>2 to SRP on domain size 2 for holographic algorithms on bases of rank 2. Furthermore, we generalize the collapse theorem of [3] to domain size k>2.


title: Exact analytical soliton solutions in dipolar BEC

abstract: The bright, dark and grey solitons are well-known soliton solutions of the Gross-Pitaevskii equation for the attractive and repulsive BEC. We consider solitons in the dipolar BEC of the fully polarized particles, speaking of the dipolar BEC we mean both the magnetized BEC and the electrically polarized BEC. We show that these two types of the dipolar BEC reveal different behavior of the collective excitations. This is related to the fact that the electric and the magnetic fields satisfy to the different pairs of the Maxwell equation set. Thus we consider them independently. We obtain exact analytical solutions for the bright, dark, and grey solitons in the magnetized (electrically polarized) BEC when they propagate parallel and perpendicular to an external magnetic (electric) field. Comparison of spectrum of the linear collective excitations for the two kinds of the dipolar BEC is presented as well.


title: Progress of the MICE experiment at RAL

abstract: The international Muon Ionization Cooling Experiment (MICE) will perform a systematic investigation of ionization cooling of a muon beam. The demonstration comprises one cell of the US Neutrino Factory Study II cooling channel. Results obtained on the construction of the beamline and its instrumentation (STEP I) will be reviewed, together with progress towards final measurements of ionization cooling (STEP IV and VI).


title: Forms and currents on the analytification of an algebraic variety (after Chambert-Loir and Ducros)

abstract: Chambert-Loir and Ducros have recently introduced real differential forms and currents on Berkovich spaces. In these notes, we survey this new theory and we will compare it with tropical algebraic geometry.


title: Schur multiplier norms for Loewner matrices

abstract: We study upper bounds on the Schur multiplier norm of Loewner matrices for concave and convex functions. These bounds then immediately lead to upper bounds on the ratio of Schatten $q$-norms of commutators $||\;[A,f(B)]\;||_q/||\;[A,B]\;||_q$. We also consider operator monotone functions, for which sharper bounds are obtained.


title: Hessian potentials with parallel derivatives

abstract: Let $U \subset \mathbb A^n$ be an open subset of real affine space. We consider functions $F: U \to \mathbb R$ with non-degenerate Hessian such that the first or the third derivative of $F$ is parallel with respect to the Levi-Civita connection defined by the Hessian metric $F"$. In the former case the solutions are given precisely by the logarithmically homogeneous functions, while the latter case is closely linked to metrised Jordan algebras. Both conditions together are related to unital metrised Jordan algebras. Both conditions combined with convexity provide a local characterization of canonical barriers on symmetric cones.


title: A search for direct heffalon production using the ATLAS and CMS experiments at the Large Hadron Collider

abstract: The first search is reported for direct heffalon production, using 23.3/fb per experiment of delivered integrated luminosity of proton-proton collisions at rootS = 8TeV from the Large Hadron Collider. The data were recorded with the ATLAS and the CMS detectors. Each exotic composite is assumed to be stable on the detector lifetime (tau >> ns). A particularly striking signature is expected. No signal events are observed after event selection. The cross section for heffalon production is found to be less than 64ab at the 95% confidence level.


title: Kinematics of Outer Halo Globular Clusters in M31

abstract: We present the first kinematic analysis of the far outer halo globular cluster (GC) population in the Local Group galaxy M31. Our sample contains 53 objects with projected radii of ~20-130 kpc, of which 44 have no previous spectroscopic information. GCs with projected radii >30 kpc are found to exhibit net rotation around the minor axis of M31, in the same sense as the inner GCs, albeit with a smaller amplitude of 79 +/-19 km/s. The rotation-corrected velocity dispersion of the full halo GC sample is 106 +/-12 km/s, which we observe to decrease with increasing projected radius. We find compelling evidence for kinematic-coherence amongst GCs which project on top of halo substructure, including a clear signature of infall for GCs lying along the North-West stream. Using the tracer mass estimator, we estimate the dynamical mass of M31 within 200 kpc to be M_M31 = (1.2-1.5) +/- 0.2 x 10^12 M_sun. This value is highly dependent on the chosen model and assumptions within.


title: Correlation driven Mott-insulator-to-metal transition

abstract: We study transport properties of the half-filled two-dimensional (2D) Hubbard model with spatially varying interactions, where a pattern of interacting and non-interacting sites is formed. We use Determinantal Quantum Monte Carlo method to calculate the double occupation, effective hopping and Drude weight. These data point to two phase transitions, driven by fermionic correlations. The first is the expected metal to a Mott insulating state. The second one, is an exotic transition from a Mott insulating state to a highly anisotropic metal, that takes place at large values of the fermion-fermion interaction. This second transition occurs when the layers formed by the spatially varying interactions decouple due to the suppression of the hopping between interacting and non-interacting sites, leading to fermionic transport along the non-interacting ones.


title: Hermite-Hadamard type inequalities for mappings whose derivatives are s-convex in the second sense via fractional integrals

abstract: In this paper we establish Hermite-Hadamard type inequalities for mappings whose derivatives are s-convex in the second sense and concave.


title: Spheres are rare

abstract: We prove that triangulations of homology spheres in any dimension grow much slower than general triangulations. Our bound states in particular that the number of triangulations of homology spheres in 3 dimensions grows at most like the power 1/3 of the number of general triangulations.


title: A problem of Erdos and Sos on 3-graphs

abstract: We show that for every positive epsilon there exist positive delta and n_0 such that every 3-uniform hypergraph on n>=n_0 vertices with the property that every k-vertex subset, where k>=delta*n, induces at least (1/4 + epsilon)*{k \choose 3} edges, contains K4- as a subgraph, where K4- is the 3-uniform hypergraph on 4 vertices with 3 edges. This question was originally raised by Erdos and Sos. The constant 1/4 is the best possible.


title: Pseudo-magnetic fields in graphene in excess of 300T: theoretical framework

abstract: The experimental demonstration of pseudo-magnetic fields exceeding 300 T in graphene [2] nanobubbles represents considerable challenge for the present theory connecting the emergence of gauge fields due to strain in the underlying lattice. Here we propose a theoretical framework within which the magnitude of the pseudo-magnetic fields can be computed more accurately. The basic feature of this framework is that the carriers in graphene are considered with their three dimensional wave function which is then gradually constrained to the graphene surface. In the process, a geometrically induced gauge field emerges in the two dimensional equation for the surface dynamics. The computation of the magnetic field associated with this gauge potential reproduces the measured field strength.


title: P\'olya Urn Schemes with Infinitely Many Colors

abstract: In this work we introduce a new type of urn model with infinite but countable many colors indexed by an appropriate infinite set. We mainly consider the indexing set of colors to be the $d$-dimensional integer lattice and consider balanced replacement schemes associated with bounded increment random walks on it. We prove central and local limit theorems for the random color of the $n$-th selected ball and show that irrespective of the null recurrent or transient behavior of the underlying random walks, the asymptotic distribution is Gaussian after appropriate centering and scaling. We show that the order of any non-zero centering is always ${\mathcal O}\left(\log n\right)$ and the scaling is ${\mathcal O}\left(\sqrt{\log n}\right)$. The work also provides similar results for urn models with infinitely many colors indexed by more general lattices in ${\mathbb R}^d$. We introduce a novel technique of representing the random color of the $n$-th selected ball as a suitably sampled point on the path of the underlying random walk. This helps us to derive the central and local limit theorems.


title: Non-local correlation effects and metal-insulator transition in the s-d exchange model

abstract: The metal-insulator transition within the s-d exchange model is studied by the Dynamical Mean Field Theory and Dual Fermion approaches. The latter takes into account nonlocal correlation effects which are shown to be essential. In particular, the critical values of the s-d exchange coupling constant for these two methods turn out to be different by a factor of more than two (for the case of square lattice and spin 1/2 localized electrons). The calculations were performed using a Continuous-Time Quantum Monte Carlo method. The difference of the quantum spin-1/2 case and the classical-spin case is discussed. For the quantum case the sign of s-d exchange coupling constant is relevant which demonstrates an importance of the Kondo effect.


title: On a free of centrifugal acceleration spacetime

abstract: A static spacetime with no centrifugal repulsion, previously studied by Dadhich, is investigate in this paper. The source of curvature is considered to be an anisotropic fluid with $\rho = -p_{r}$ and constant angular pressures. The positive parameter from the line-element is interpreted as the invariant acceleration of a static observer. The timelike and null geodesics of the spacetime are examined. A regularized form of the metric is proposed, rendering it finite at the origin. The energy density of the fluid becomes finite and negative for any $r$ and all the pressures are positive throughout the spacetime. The Tolman-Komar energy $W(r)$ is computed and proves to be smaller than that one calculated with the Dadhich metric.


title: Evaluating Reputation Systems for Agent Mediated e-Commerce

abstract: Agent mediated e-commerce involves buying and selling on Internet through software agents. The success of an agent mediated e-commerce system lies in the underlying reputation management system which is used to improve the quality of services in e-market environment. A reputation system encourages the honest behaviour of seller agents and discourages the malicious behaviour of dishonest seller agents in the e-market where actual traders never meet each other. This paper evaluates various reputation systems for assigning reputation rating to software agents acting on behalf of buyers and sellers in e-market. These models are analysed on the basis of a number of features viz. reputation computation and their defence mechanisms against different attacks. To address the problems of traditional reputation systems which are relatively static in nature, this paper identifies characteristics of a dynamic reputation framework which ensures judicious use of information sharing for inter-agent cooperation and also associates the reputation of an agent with the value of a transaction so that the market approaches an equilibrium state and dishonest agents are weeded out of the market.


title: Generalised Interpolation by Solving Recursion-Free Horn Clauses

abstract: In this paper we present InterHorn, a solver for recursion-free Horn clauses. The main application domain of InterHorn lies in solving interpolation problems arising in software verification. We show how a range of interpolation problems, including path, transition, nested, state/transition and well-founded interpolation can be handled directly by InterHorn. By detailing these interpolation problems and their Horn clause representations, we hope to encourage the emergence of a common back-end interpolation interface useful for diverse verification tools.


title: Control Explicit---Data Symbolic Model Checking: An Introduction

abstract: A comprehensive verification of parallel software imposes three crucial requirements on the procedure that implements it. Apart from accepting real code as program input and temporal formulae as specification input, the verification should be exhaustive, with respect to both control and data flows. This paper is concerned with the third requirement, proposing to combine explicit model checking to handle the control with symbolic set representations to handle the data. The combination of explicit and symbolic approaches is first investigated theoretically and we report the requirements on the symbolic representation and the changes to the model checking process the combination entails. The feasibility and efficiency of the combination is demonstrated on a case study using the DVE modelling language and we report a marked improvement in scalability compared to previous solutions. The results described in this paper show the potential to meet all three requirements for automatic verification in a single procedure combining explicit model checking with symbolic set representations.


title: A Lattice of Finite-Type Invariants of Virtual Knots

abstract: We construct an infinite commutative lattice of groups whose dual spaces give Kauffman finite-type invariants of long virtual knots. The lattice is based "horizontally" upon the Polyak algebra and extended "vertically" using Manturov's functorial map $f$. For each $n$, the $n$-th vertical line in the lattice contains an infinite dimensional subspace of Kauffman finite-type invariants of degree $n$. Moreover, the lattice contains infinitely many inequivalent extensions of the Conway polynomial to long virtual knots, all of which satisfy the same skein relation. Bounds for the rank of each group in the lattice are obtained.


title: Fourier series and twisted C*-crossed products

abstract: This paper is an invitation to Fourier analysis in the context of reduced twisted C*-crossed products associated with discrete unital twisted C*-dynamical systems. We discuss norm-convergence of Fourier series, multipliers and summation processes. Our study relies in an essential way on the (covariant and equivariant) representation theory of C*-dynamical systems on Hilbert C*-modules. It also yields some information on the ideal structure of reduced twisted C*-crossed products.

categories: math.OA math-ph math.DS math.FA math.GR math.MP


title: Felinic principle and measurement of the Hubble parameter

abstract: Intelligent life can only appear in Universes, whose physical laws support sufficient complexity to make evolution of intelligent beings possible. Even inside those Universes, intelligent life does not appear randomly, but in parts with realized complexity, e.g. around stars in our Universe. As a consequence, the observational point of an intelligent observer cannot be assumed to be random and one must correct for this selection effect. In this paper we calculate how direct measurements of the Hubble parameter are affected when subject to the condition that they are observed from a Milky Way-like galaxy.


title: On the Combinatorics of Smoothing

abstract: Many invariants of knots rely upon smoothing the knot at its crossings. To compute them, it is necessary to know how to count the number of connected components the knot diagram is broken into after the smoothing. In this paper, it is shown how to use a modification of a theorem of Zulli together with a modification of the spectral theory of graphs to approach such problems systematically. We give an application to counting subdiagrams of pretzel knots which have one component after oriented and unoriented smoothings.


title: Uniqueness of two phaseless inverse acoustics problems in 3-d

abstract: Uniqueness is proven for two 3-d inverse problems of the determination of the spatially distributed sound speed in the frequency dependent acoustic PDE. The main new point is the assumption that only the modulus of the scattered complex valued wave field is measured on a certain set.


title: The radiative self-force and charged fluids

abstract: We develop a new fluid model of a warm plasma that includes the radiative self-force on each plasma electron. Our approach is a natural generalization of established methods for generating fluid models without radiation reaction. The equilibrium of a magnetized plasma is analysed, and it is shown that the thermal motion is confined to the magnetic field lines. A dispersion relation is deduced for electric waves in a magnetized plasma, and it is shown to agree with our recently established relativistic kinetic theory derived from the Lorentz-Abraham-Dirac equation.


title: What is the spirit of the cylindric paradigm, as opposed to that of the polyadic one?

abstract: We give a categorial definition separating cylindric-like algebras from polyadic-like ones. Viewing the neat reduct operator as a functor, we show that it does not have a right adjoint in the former case, but it is strongly invertible in the second case. Several new results on amalgamation, and non finite axiomatizability are presented for both paradigms. A hitherto categorial equivalence is also given between relation algebras with quasi-projections and Nemeti's directed cylindric algebras for any dimension.


title: Conformal limits of grafting and Teichm\"{u}ller rays and their asymptoticity

abstract: We show that any grafting ray in Teichm\"{u}ller space is (strongly) asymptotic to some Teichm\"{u}ller geodesic ray. As an intermediate step we introduce surfaces that arise as limits of these degenerating Riemann surfaces. Given a grafting ray, the proof involves a Teichm\"{u}ller ray with a conformally equivalent limit, and building quasiconformal maps of low dilatation between the surfaces along the rays. Our preceding work had proved the result for rays determined by an arational lamination or a multicurve, and the unified approach here gives an alternative proof of the former case.


title: A three-component description of multiplicity distributions in pp collisions at the LHC

abstract: A possible signal of new phenomena emerging in the global characteristics of multiparticle production in hadron interactions at TeV energies is studied. The multiplicity distributions of charged particles measured in proton-proton collisions at the Large Hadron Collider at CERN are analyzed in the phenomenological framework of the weighted superposition of three negative binomial distribution functions. The examination of the experimental data indicates the existence of a narrow peak at low multiplicities which can be described by a separate component in the total distribution. The multiplicity characteristics of the third component reveal approximate energy and pseudorapidity invariance, of which a physical explanation represents a challenging problem in high energy multiple particle production.


title: Tower tableaux and Schubert polynomials

abstract: We prove that the well-known condition of being a balanced labeling can be characterized in terms of the sliding algorithm on tower diagrams. The characterization involves a generalization of authors' Rothification algorithm. Using the characterization, we obtain descriptions of Schubert polynomials and Stanley symmetric functions.


title: Geometric tree kernels: Classification of COPD from airway tree geometry

abstract: Methodological contributions: This paper introduces a family of kernels for analyzing (anatomical) trees endowed with vector valued measurements made along the tree. While state-of-the-art graph and tree kernels use combinatorial tree/graph structure with discrete node and edge labels, the kernels presented in this paper can include geometric information such as branch shape, branch radius or other vector valued properties. In addition to being flexible in their ability to model different types of attributes, the presented kernels are computationally efficient and some of them can easily be computed for large datasets (N of the order 10.000) of trees with 30-600 branches. Combining the kernels with standard machine learning tools enables us to analyze the relation between disease and anatomical tree structure and geometry. Experimental results: The kernels are used to compare airway trees segmented from low-dose CT, endowed with branch shape descriptors and airway wall area percentage measurements made along the tree. Using kernelized hypothesis testing we show that the geometric airway trees are significantly differently distributed in patients with Chronic Obstructive Pulmonary Disease (COPD) than in healthy individuals. The geometric tree kernels also give a significant increase in the classification accuracy of COPD from geometric tree structure endowed with airway wall thickness measurements in comparison with state-of-the-art methods, giving further insight into the relationship between airway wall thickness and COPD. Software: Software for computing kernels and statistical tests is available at http://image.diku.dk/aasa/software.php.


title: Thermodynamics in Closed Universe with Entropy Corrections

abstract: We discuss the generalized second law of thermodynamics in three different systems by taking quantum corrections (logarithmic and power law) to cosmological horizon entropy as well as black hole entropy. Firstly, we consider phantom energy accretion onto the Schwarzschild black hole in the closed FRW universe and investigate validity of the generalized second law of thermodynamics on the apparent and event horizons. In another scenario, we evaluate the critical mass of the Schwarzschild black hole with upper and lower bounds under accretion process due to phantom-like modified generalized chaplygin gas. It is found that the generalized second law of thermodynamics is respected within these bounds and black hole cannot accrete outside them. Finally, we explore this law for a closed universe filled with interacting $n$-components of fluid (in thermal equilibrium case) and with non-interacting dark matter and dark energy components (in thermal non-equilibrium case) on the apparent and event horizons and find conditions for its validity.