title: Nonparametric Multivariate L1-median Regression Estimation with Functional Covariates

abstract: In this paper, a nonparametric estimator is proposed for estimating the L1-median for multivariate conditional distribution when the covariates take values in an infinite dimensional space. The multivariate case is more appropriate to predict the components of a vector of random variables simultaneously rather than predicting each of them separately. While estimating the conditional L1-median function using the well-known Nadarya-Waston estimator, we establish the strong consistency of this estimator as well as the asymptotic normality. We also present some simulations and provide how to built conditional con?fidence ellipsoids for the multivariate L1-median regression in practice. Some numerical study in chemiometrical real data are carried out to compare the multivariate L1-median regression with the vector of marginal median regression when the covariate X is a curve as well as X is a random vector.


title: Waiting time distributions for the transport through a quantum dot tunnel coupled to one normal and one superconducting lead

abstract: We have studied the Waiting Time Distributions (WTDs) for sub-gap transport through a single-level quantum dot tunnel coupled to one normal and one superconducting lead. The WTDs reveal the internal dynamics of the system in particular the coherent transfer of Cooper pairs between the dot and the superconductor. The WTDs exhibit oscillations that can be directly associated to the coherent oscillation between the empty and doubly occupied dot. The oscillation frequency is equal to the energy splitting between the Andreev bound states. These effects are more pronounced when the empty state and double occupied state are in resonance.


title: A Framework for Modelling Probabilistic Uncertainty in Rainfall Scenario Analysis

abstract: Predicting future probable values of model parameters, is an essential pre-requisite for assessing model decision reliability in an uncertain environment. Scenario Analysis is a methodology for modelling uncertainty in water resources management modelling. Uncertainty if not considered appropriately in decision making will decrease reliability of decisions, especially in long-term planning. One of the challenges in Scenario Analysis is how scenarios are made. One of the most approved methods is statistical modelling based on Auto-Regressive models. Stream flow future scenarios in developed basins that human has made changes to the natural flow process could not be generated directly by ARMA modelling. In this case, making scenarios for monthly rainfall and using it in a water resources system model makes more sense. Rainfall is an ephemeral process which has zero values in some months which introduces some limitations in making use of monthly ARMA model. Therefore, a two stage modelling approach is adopted here which in the first stage yearly modelling is done. Within this yearly model three ranges are identified: Dry, Normal and Wet. In the normal range yearly ARMA modelling is used. Dry and Wet range are considered as random processes and are modeled by frequency analysis. Monthly distribution of rainfall, which is extracted from available data from a moving average are considered to be deterministic and fixed in time. Each rainfall scenario is composed of a yearly ARMA process super-imposed by dry and wet events according to the frequency analysis. This modelling framework is applied to available data from three rain-gauge stations in Iran. Results show this modelling approach has better consistency with observed data in comparison with making use of ARMA modelling alone.


title: Learning and Verifying Quantified Boolean Queries by Example

abstract: To help a user specify and verify quantified queries --- a class of database queries known to be very challenging for all but the most expert users --- one can question the user on whether certain data objects are answers or non-answers to her intended query. In this paper, we analyze the number of questions needed to learn or verify qhorn queries, a special class of Boolean quantified queries whose underlying form is conjunctions of quantified Horn expressions. We provide optimal polynomial-question and polynomial-time learning and verification algorithms for two subclasses of the class qhorn with upper constant limits on a query's causal density.


title: Kernel-smoothed conditional quantiles of randomly censored functional stationary ergodic data

abstract: This paper, investigates the conditional quantile estimation of a scalar random response and a functional random covariate (i.e. valued in some infinite-dimensional space) whenever {\it functional stationary ergodic data with random censorship} are considered. We introduce a kernel type estimator of the conditional quantile function. We establish the strong consistency with rate of this estimator as well as the asymptotic normality which induces a confidence interval that is usable in practice since it does not depend on any unknown quantity. An application to electricity peak demand interval prediction with censored smart meter data is carried out to show the performance of the proposed estimator.


title: Nonconforming finite element methods on quadrilateral meshes

abstract: It is well-known that it is comparatively difficult to design nonconforming finite elements on quadrilateral meshes by using Gauss-Legendre points on each edge of triangulations. One reason lies in that these degrees of freedom associated to these Gauss-Legendre points are not all linearly independent for usual expected polynomial spaces, which explains why only several lower order nonconforming quadrilateral finite elements can be found in literature. The present paper proposes two families of nonconforming finite elements of any odd order and one family of nonconforming finite elements of any even order on quadrilateral meshes. Degrees of freedom are given for these elements, which are proved to be well-defined for their corresponding shape function spaces in a unifying way. These elements generalize three lower order nonconforming finite elements on quadrilaterals to any order. In addition, these nonconforming finite element spaces are shown to be full spaces which is somehow not discussed for nonconforming finite elements in literature before.


title: Dependence of Substrate Irradiation Reaction Rate Stimulation on Lactic Dehydrogenase Source

abstract: Stimulation of LDH initial reaction rates by timed pre-irradiation of crystalline sodium pyruvate and lithium lactate is reported for enzymes isolated from rabbit muscle, pig heart, human erythrocytes and chicken heart. The phenomenon investigated is referred to as the Comorosan effect. For the mammalian source enzymes, the pyruvate irradiation stimulations occurred at irradiation times of 5 and 35 sec. and the lactate irradiation times at 15 and 45 seconds. In contrast, for the chicken heart enzyme, the pyruvate irradiation stimulations occurred at 15 and 35 sec., while those for lactate occurred at 5 and 20 sec. Thus, a shift in stimulatory irradiation times is found on going from the mammalian enzymes to the avian enzyme. A similar shift between mammalian and yeast enzymes has been established by Comorosan and co-workers. For the chicken heart LDH, the separation between successive irradiation times is different for the forward and reverse reactions. This is the first reported incidence of the separation not being the same.


title: Hyperbolicity of the graph of non-separating multicurves

abstract: A non-separating multicurve of a surface S of genus g with m punctures is a multicurve c so that S-c is connected. For k>0 define the graph of non-separting k-multicurves to be the graph whose vertices are non-separating multicurves with k components and where two such multicurves are connected by an edge if they can be realized disjointly. We show that if k is smaller than g/2+1 then this graph is hyperbolic.


title: Diffractive phenomena in high energy processes

abstract: We review the evolution of the studies of diffractive processes in the strong interaction over the last 60 years. First, we briefly outline the early developments of the theory based on analyticity and unitarity of the S-matrix, including the derivation and exploration of the Regge trajectories and related moving cuts. Special attention is paid to the concept of the Pomeron trajectory introduced for description of total, elastic and diffractive cross sections at high energies and to the emergence of the dynamics of multi-Pomeron interactions.The role of large longitudinal distances and color coherent phenomena for the understanding of inelastic diffraction in hadron-hadron scattering and deep inelastic scattering is emphasized. The connection of these phenomena to the cancellation of the contribution of the Glauber approximation in hadron-nucleus collisions and to the understanding of the Gribov-Glauber approximation is explained. The presence of different scales in perturbative QCD due to masses of heavy quarks has led to the emergence of numerous new phenomena including non-universality of the slopes of Regge trajectories made of light and heavy quarks and non-universal energy dependence of elastic cross sections. The application of the perturbative QCD techniques allowed us to calculate from the first principles the interaction of small transverse size color singlets with hadrons leading to the development of the quantitative theory of hard exclusive reactions and to the successful prediction of many regularities in hard large mass diffraction. It also led to the prediction of the phenomenon of complete transparency of nuclear matter in QCD in special processes. The conflict of perturbative QCD with probability conservation for high energy processes of virtual photon-nucleon scattering is explained. Some properties of the new QCD regime are outlined.


title: Closed expressions for averages of set partition statistics

abstract: In studying the enumerative theory of super characters' of the group of upper triangular matrices over a finite field we found that the moments (mean, variance and higher moments) of novel statistics on set partitions have simple closed expressions as linear combinations of shifted bell numbers. It is shown here that families of other statistics have similar moments. The coefficients in the linear combinations are polynomials in $n$. This allows exact enumeration of the moments for small $n$ to determine exact formulae for all $n$.


title: Epidemic fronts in complex networks with metapopulation structure

abstract: Infection dynamics have been studied extensively on complex networks, yielding insight into the effects of heterogeneity in contact patterns on disease spread. Somewhat separately, metapopulations have provided a paradigm for modeling systems with spatially extended and "patchy" organization. In this paper we expand on the use of multitype networks for combining these paradigms, such that simple contagion models can include complexity in the agent interactions and multiscale structure. We first present a generalization of the Volz-Miller mean-field approximation for Susceptible-Infected-Recovered (SIR) dynamics on multitype networks. We then use this technique to study the special case of epidemic fronts propagating on a one-dimensional lattice of interconnected networks - representing a simple chain of coupled population centers - as a necessary first step in understanding how macro-scale disease spread depends on micro-scale topology. Using the formalism of front propagation into unstable states, we derive the effective transport coefficients of the linear spreading: asymptotic speed, characteristic wavelength, and diffusion coefficient for the leading edge of the pulled fronts, and analyze their dependence on the underlying graph structure. We also derive the epidemic threshold for the system and study the front profile for various network configurations. To our knowledge, this is the first such application of front propagation concepts to random network models.


title: A Model for Scaling in Firms' Size and Growth Rate Distribution

abstract: We introduce a simple agent-based model which allows us to analyze three stylized facts: a fat-tailed size distribution of companies, a `tent-shaped' growth rate distribution, the scaling relation of the growth rate variance with firm size, and the causality between them. This is achieved under the simple hypothesis that firms compete for a scarce quantity (either aggregate demand or workforce) which is allocated probabilistically. The model allows us to relate size and growth rate distributions. We compare the results of our model to simulations with other scaling relationships, and to similar models and relate it to existing theory. Effects arising from binning data are discussed.


title: Blue straggler evolution caught in the act in the Large Magellanic Cloud globular cluster Hodge 11

abstract: High-resolution {\sl Hubble Space Telescope} imaging observations show that the radial distribution of the field-decontaminated sample of 162 'blue straggler' stars (BSs) in the $11.7^{+0.2}_{-0.1}$ Gyr-old Large Magellanic Cloud cluster Hodge 11 exhibits a clear bimodality. In combination with their distinct loci in color--magnitude space, this offers new evidence in support of theoretical expectations that suggest different BS formation channels as a function of stellar density. In the cluster's color--magnitude diagram, the BSs in the inner 15$"$ (roughly corresponding to the cluster's core radius) are located more closely to the theoretical sequence resulting from stellar collisions, while those in the periphery (at radii between 85$"$ and 100$"$) are preferentially found in the region expected to contain objects formed through binary mass transfer or coalescence. In addition, the objects' distribution in color--magntiude space provides us with the rare opportunity in an extragalactic environment to quantify the evolution of the cluster's collisionally induced BS population and the likely period that has elapsed since their formation epoch, which we estimate to have occurred $\sim$4--5 Gyr ago.


title: Graceful exit from inflation for minimally coupled Bianchi A scalar field models

abstract: We consider the dynamics of Bianchi A scalar field models which undergo inflation. The main question is under which conditions does inflation come to an end and is succeeded by a decelerated epoch. This so-called "graceful exit" from inflation is an important ingredient in the standard model of cosmology, but is, at this stage, only understood for restricted classes of solutions. We present new results obtained by a combination of analytical and numerical techniques.


title: A Three-Charge-Coupled-Device Camera Based on Multiplexed Volume Hologram

abstract: We present a three-Charge-Coupled-Device (three-CCD) camera constructed upon multiplexed volume holographic gratings. Three incoherent gratings are written on the same holographic plate to guide the incident light into the three monochromatic channels, where images of red, green and blue light are recorded separately by CCD cameras. The reconstructed chromatic image from the monochromatic images shows superior qualities over the images taken by a single CCD camera.


title: Spectrum of the Laplacian on a covering graph with pendant edges I: The one-dimensional lattice and beyond

abstract: In this paper, we examine covering graphs that are obtained from the $d$-dimensional integer lattice by adding pendant edges. In the case of $d=1$, we show that the Laplacian on the graph has a spectral gap and establish a necessary and sufficient condition under which the Laplacian has no eigenvalues. In the case of $d=2$, we show that there exists an arrangement of the pendant edges such that the Laplacian has no spectral gap.


title: Localization of Wiener Functionals of Fractional Regularity and Applications

abstract: In this paper we localize some of Watanabe's results on fractional Wiener functionals, and use them to give a precise estimate of the difference between two Donsker's delta functionals even with fractional differentiability. As an application, the convergence rate of the density of the Euler scheme for non-Markovian stochastic differential equations is obtained.


title: On resolving singularities of piecewise-smooth discontinuous vector fields via small perturbations

abstract: A two-fold singularity is a point on a discontinuity surface of a piecewise-smooth vector field at which the vector field is tangent to the surface on both sides. Due to the double tangency, forward evolution from a two-fold is typically ambiguous. This is an especially serious issue for two-folds that are reached by the forward orbits of a non-zero measure set of initial points. The purpose of this paper is to explore the concept of perturbing the vector field so that forward evolution is well-defined, and characterising the perturbed dynamics in the limit that the size of the perturbation tends to zero. This concept is applied to a two-fold in two dimensions. Three forms of perturbation: hysteresis, time-delay, and noise, are analysed individually. In each case, the limit leads to a novel probabilistic notion of forward evolution from the two-fold.


title: Nuclear "pasta" structures in low-density nuclear matter and neutron star crust

abstract: In neutron star crust, non-uniform structure of nuclear matter is expected, which is called the "pasta" structure. From the recent studies of giant flares in magnetars, these structures might be related to some observables and physical quantities of the neutron star crust. To investigate the above quantities, we numerically explore the pasta structures with a fully threedimensional geometry and study the properties of low-density nuclear matter, based on the relativistic mean-field model and the Thomas-Fermi approximation. We observe typical pasta structures for fixed proton number-fraction and two of them for cold catalyzed matter. We also discuss the crystalline configuration of "pasta".


title: New Actions for Modified Gravity and Supergravity

abstract: We extend the f(R) gravity action by including a generic dependence upon the Weyl tensor, and further generalize it to supergravity by using the super-curvature (R) and super-Weyl (W) chiral superfields in N=1 chiral curved superspace. We argue that our (super)gravitational actions are the meaningful extensions of the phenomenological f(R) gravity and its locally supersymmetric generalization towards their UV completion and their embedding into superstring theories. The proposed actions can be used for study of cosmological perturbations and gravitational instabilities due to a nonvanishing Weyl tensor in gravity and supergravity.


title: An Algorithm for Computing Constrained Reflection Paths in Simple Polygon

abstract: Let $s$ be a source point and $t$ be a destination point inside an $n$-vertex simple polygon $P$. Euclidean shortest paths and minimum-link paths between $s$ and $t$ inside $P$ have been well studied. Both these kinds of paths are simple and piecewise-convex. However, computing optimal paths in the context of diffuse or specular reflections does not seem to be an easy task. A path from a light source $s$ to $t$ inside $P$ is called a diffuse reflection path if the turning points of the path lie in the interiors of the boundary edges of $P$. A diffuse reflection path is said to be optimal if it has the minimum number of turning points amongst all diffuse reflection paths between $s$ and $t$. The minimum diffuse reflection path may not be simple. The problem of computing the minimum diffuse reflection path in low degree polynomial time has remained open. In our quest for understanding the geometric structure of the minimum diffuse reflection paths vis-a-vis shortest paths and minimum link paths, we define a new kind of diffuse reflection path called a constrained diffuse reflection path where (i) the path is simple, (ii) it intersects only the eaves of the Euclidean shortest path between $s$ and $t$, and (iii) it intersects each eave exactly once. For computing a minimum constrained diffuse reflection path from $s$ to $t$, we present an $O(n(n+\beta))$ time algorithm, where $\beta =\Theta (n^2)$ in the worst case. Here, $\beta$ depends on the shape of the polygon. We also establish some properties relating minimum constrained diffuse reflection paths and minimum diffuse reflection paths. Constrained diffuse reflection paths introduced in this paper provide new geometric insights into the hitherto unknown structures and shapes of optimal reflection paths.


title: Polar Codes: Speed of polarization and polynomial gap to capacity

abstract: We prove that, for all binary-input symmetric memoryless channels, polar codes enable reliable communication at rates within $\epsilon > 0$ of the Shannon capacity with a block length, construction complexity, and decoding complexity all bounded by a {\em polynomial} in $1/\epsilon$. Polar coding gives the {\em first known explicit construction} with rigorous proofs of all these properties; previous constructions were not known to achieve capacity with less than $\exp(1/\epsilon)$ decoding complexity except for erasure channels. We establish the capacity-achieving property of polar codes via a direct analysis of the underlying martingale of conditional entropies, without relying on the martingale convergence theorem. This step gives rough polarization (noise levels $\approx \epsilon$ for the "good" channels), which can then be adequately amplified by tracking the decay of the channel Bhattacharyya parameters. Our effective bounds imply that polar codes can have block length (and encoding/decoding complexity) bounded by a polynomial in $1/\epsilon$. The generator matrix of such polar codes can be constructed in polynomial time by algorithmically computing an adequate approximation of the polarization process.


title: Non-abelian Self-Dual String and M2-M5 Branes Intersection in Supergravity

abstract: We consider the non-abelian theory (http://arxiv.org/abs/arXiv:1203.4224) for an arbitrary number $N_5$ of five-branes and construct self-dual string solution with an arbitrary $N_2$ unit of self-dual charges. This generalizes the previous solution of non-abelian self-dual string (http://arxiv.org/abs/arXiv:1207.1095) of $N_5=2, N_2=1$. The radius-transverse distance relation describing the M2-branes spike, particularly its dependence on $N_2$ and $N_5$, is obtained and is found to agree precisely with the supergravity description of an intersecting M2-M5 branes system.


title: Ramsey spectroscopy with squeezed light

abstract: Traditional Ramsey spectroscopy has the frequency resolution $2\pi/T$, where $T$ is the time separation between two light fields. Using squeezed states and two-atom excitation joint detection, we present a new scheme achieving a higher resolution $\pi/T$. We use two mode squeezed light which exhibits strong entanglement.


title: Popularity Prediction in Microblogging Network: A Case Study on Sina Weibo

abstract: Predicting the popularity of content is important for both the host and users of social media sites. The challenge of this problem comes from the inequality of the popularity of con- tent. Existing methods for popularity prediction are mainly based on the quality of content, the interface of social media site to highlight contents, and the collective behavior of user- s. However, little attention is paid to the structural charac- teristics of the networks spanned by early adopters, i.e., the users who view or forward the content in the early stage of content dissemination. In this paper, taking the Sina Weibo as a case, we empirically study whether structural character- istics can provide clues for the popularity of short messages. We find that the popularity of content is well reflected by the structural diversity of the early adopters. Experimental results demonstrate that the prediction accuracy is signif- icantly improved by incorporating the factor of structural diversity into existing methods.


title: Itinerant vs Localized Heavy-Electron Magnetism

abstract: It is demonstrated that itinerant-localized transition of heavy electrons occurs inside the magnetically ordered phase of the Kondo-Heisenberg lattice. The phase diagram and electronic structure are derived by means of the continuous-time quantum Monte Carlo combined with the dynamical mean-field theory. Around the itinerant-localized transition, nearly flat bands appear on the Fermi surface with almost vanishing quasi-particle renormalization factor. At the same time, there emerges a strong local magnetic fluctuation with a minute energy scale. Considering both antiferromagnetic and ferromagnetic Heisenberg interactions, coherent understanding is achieved on rich phase diagrams observed in CeRh$_{1-x}$Co$_x$In$_5$, CeRu$_2$(Si$_x$Ge$_{1-x}$)$_2$, UGe$_2$ and CeT$_2$Al$_{10}$ (T=Fe,Ru,Os).


title: Distributed Abstraction Algorithm for Online Predicate Detection

abstract: Analyzing a distributed computation is a hard problem in general due to the combinatorial explosion in the size of the state-space with the number of processes in the system. By abstracting the computation, unnecessary explorations can be avoided. Computation slicing is an approach for abstracting dis- tributed computations with respect to a given predicate. We focus on regular predicates, a family of predicates that covers a large number of commonly used predicates for runtime verification. The existing algorithms for computation slicing are centralized in nature in which a single process is responsible for computing the slice in either offline or online manner. In this paper, we present a distributed online algorithm for computing the slice of a distributed computation with respect to a regular predicate. Our algorithm distributes the work and storage requirements across the system, thus reducing the space and computation complexities per process. In addition, for conjunctive predicates, our algorithm also reduces the message load per process.


title: Tree-Independent Dual-Tree Algorithms

abstract: Dual-tree algorithms are a widely used class of branch-and-bound algorithms. Unfortunately, developing dual-tree algorithms for use with different trees and problems is often complex and burdensome. We introduce a four-part logical split: the tree, the traversal, the point-to-point base case, and the pruning rule. We provide a meta-algorithm which allows development of dual-tree algorithms in a tree-independent manner and easy extension to entirely new types of trees. Representations are provided for five common algorithms; for k-nearest neighbor search, this leads to a novel, tighter pruning bound. The meta-algorithm also allows straightforward extensions to massively parallel settings.


title: Planetary Companions to Three Evolved Intermediate-Mass Stars: HD 2952, HD 120084, and omega Serpentis

abstract: We report the detections of planetary companions orbiting around three evolved intermediate-mass stars from precise radial velocity measurements at Okayama Astrophysical Observatory. HD 2952 (K0III, 2.5 M_sun) and omega Ser (G8III, 2.2 M_sun) host a relatively low mass planet with minimum mass of m_2sin i=1.6 M_J and 1.7 M_J in nearly circular orbits with period of P=312 and 277 d, respectively. HD 120084 (G7 III, 2.4 M_sun) hosts an eccentric planet with m_2sin i=4.5 M_J in an orbit with P=2082 d and eccentricity of e=0.66. The planet has one of the largest eccentricities among those ever discovered around evolved intermediate-mass stars, almost all of which have eccentricity smaller than 0.4. We also show that radial velocity variations of stellar oscillations for G giants can be averaged out below a level of a few m/s at least in timescale of a week by high cadence observations, which enables us to detect a super-Earth and a Neptune-mass planet in short-period orbits even around such giant stars.


title: Privacy Preserving Data Mining by Using Implicit Function Theorem

abstract: Data mining has made broad significant multidisciplinary field used in vast application domains and extracts knowledge by identifying structural relationship among the objects in large data bases. Privacy preserving data mining is a new area of data mining research for providing privacy of sensitive knowledge of information extracted from data mining system to be shared by the intended persons not to everyone to access. In this paper, we proposed a new approach of privacy preserving data mining by using implicit function theorem for secure transformation of sensitive data obtained from data mining system. we proposed two way enhanced security approach. First transforming original values of sensitive data into different partial derivatives of functional values for perturbation of data. secondly generating symmetric key value by Eigen values of jacobian matrix for secure computation. we given an example of academic sensitive data converting into vector valued functions to explain about our proposed concept and presented implementation based results of new proposed of approach.


title: Two-photon laser spectroscopy of antiprotonic helium and the antiproton-to-electron mass ratio

abstract: Physical laws are believed to be invariant under the combined transformations of charge, parity and time reversal (CPT symmetry). This implies that an antimatter particle has exactly the same mass and absolute value of charge as its particle counterpart. Metastable antiprotonic helium ($\bar{p}{\rm He}^+$) is a three-body atom consisting of a normal helium nucleus, an electron in its ground state and an antiproton ($\bar{p}$) occupying a Rydberg state with high principal and angular momentum quantum numbers, respectively $n$ and $\ell$, such that $n\sim\ell\sim 38$. These atoms are amenable to precision laser spectroscopy, the results of which can in principle be used to determine the antiproton-to-electron mass ratio and to constrain the equality between the antiproton and proton charges and masses. Here we report two-photon spectroscopy of antiprotonic helium, in which $\bar{p}{\rm ^3He^+}$ and $\bar{p}{\rm ^4He^+}$ isotopes are irradiated by two counter-propagating laser beams. This excites nonlinear, two-photon transitions of the antiproton of the type $(n,\ell)\rightarrow (n-2,\ell-2)$ at deep-ultraviolet wavelengths ($\lambda$=139.8, 193.0 and 197.0nm), which partly cancel the Doppler broadening of the laser resonance caused by the thermal motion of the atoms. The resulting narrow spectral lines allowed us to measure three transition frequencies with fractional precisions of 2.3-5 parts in $10^9$. By comparing the results with three-body quantum electrodynamics calculations, we derived an antiproton-to-electron mass ratio of 1,836.1526736(23), where the parenthetical error represents one standard deviation. This agrees with the proton-to-electron value known to a similar precision.


title: QCD phase diagram at finite baryon and isospin chemical potentials in Polyakov loop extended quark meson model with vector interaction

abstract: We investigate the QCD phase diagram of isospin asymmetric matter using the Polyakov loop extended quark meson (PQM) model with vector interaction. The critical point temperature is found to decrease in isospin asymmetric matter and disappear at large isospin chemical potential. We also discuss the QCD phase transition in the neutron star core. From comparison of the QCD phase diagram in PQM and corresponding baryon and isospin chemical potentials of neutron star matter in relativistic mean field models, we show that the order of the chiral phase transition in the neutron star core could be crossover because of large isospin chemical potential.


title: A generalization of a theorem of Imai and its applications to Iwasawa theory

abstract: It is proved that, if $K$ is a complete discrete valuation field of mixed characteristic $(0,p)$ with residue field satisfying a mild condition, then any abelian variety over $K$ with potentially good reduction has finite $K(K^{1/p^\infty})$-rational torsion subgroup. This can be used to remove certain conditions assumed in some theorems in Iwasawa theory.


title: Bayesian Inference for Logistic Regression Models Using Sequential Posterior Simulation

abstract: The logistic specification has been used extensively in non-Bayesian statistics to model the dependence of discrete outcomes on the values of specified covariates. Because the likelihood function is globally weakly concave estimation by maximum likelihood is generally straightforward even in commonly arising applications with scores or hundreds of parameters. In contrast Bayesian inference has proven awkward, requiring normal approximations to the likelihood or specialized adaptations of existing Markov chain Monte Carlo and data augmentation methods. This paper approaches Bayesian inference in logistic models using recently developed generic sequential posterior simulaton (SPS) methods that require little more than the ability to evaluate the likelihood function. Compared with existing alternatives SPS is much simpler, and provides numerical standard errors and accurate approximations of marginal likelihoods as by-products. The SPS algorithm for Bayesian inference is amenable to massively parallel implementation, and when implemented using graphical processing units it is more efficient than existing alternatives. The paper demonstrates these points by means of several examples.


title: Adaptive Sequential Posterior Simulators for Massively Parallel Computing Environments

abstract: Massively parallel desktop computing capabilities now well within the reach of individual academics modify the environment for posterior simulation in fundamental and potentially quite advantageous ways. But to fully exploit these benefits algorithms that conform to parallel computing environments are needed. Sequential Monte Carlo comes very close to this ideal whereas other approaches like Markov chain Monte Carlo do not. This paper presents a sequential posterior simulator well suited to this computing environment. The simulator makes fewer analytical and programming demands on investigators, and is faster, more reliable and more complete than conventional posterior simulators. The paper extends existing sequential Monte Carlo methods and theory to provide a thorough and practical foundation for sequential posterior simulation that is well suited to massively parallel computing environments. It provides detailed recommendations on implementation, yielding an algorithm that requires only code for simulation from the prior and evaluation of prior and data densities and works well in a variety of applications representative of serious empirical work in economics and finance. The algorithm is robust to pathological posterior distributions, generates accurate marginal likelihood approximations, and provides estimates of numerical standard error and relative numerical efficiency intrinsically. The paper concludes with an application that illustrates the potential of these simulators for applied Bayesian inference.


title: On the eccentric distance sum of unicyclic graphs with a given matching number

abstract: Let $G = (V_G,E_G)$ be a simple connected graph. The eccentric distance sum of $G$ is defined as $\xi^d(G)=\sum_{v \in V_G}\,\varepsilon_G(v)D_G(v),$ where $\varepsilon_G(v)$ is the eccentricity of the vertex $v$ and $D_G(v)=\sum_{u \in V_G}\,d(u,v)$ is the sum of all distances from the vertex $v$. In this paper, we characterize $n$-vertex unicyclic graphs with given matching number having the minimal and second minimal eccentric distance sums, respectively.


title: Variable Step Size Multiscale Methods for Stiff and Highly Oscillatory Dynamical Systems

abstract: We present a new numerical multiscale integrator for stiff and highly oscillatory dynamical systems. The new algorithm can be seen as an improved version of the seamless Heterogeneous Multiscale Method by E, Ren, and Vanden-Eijnden and the method FLAVORS by Tao, Owhadi, and Marsden. It approximates slowly changing quantities in the solution with higher accuracy than these other methods while maintaining the same computational complexity. To achieve higher accuracy, it uses variable mesoscopic time steps which are determined by a special function satisfying moment and regularity conditions. Detailed analytical and numerical comparison between the different methods are given.


title: Two-timescale evolution on a singular landscape

abstract: Under the effect of strong genetic drift, it is highly probable to observe gene fixation or gene loss in a population, shown by infinite peaks on a coherently constructed potential energy landscape. It is then important to ask what such singular peaks imply, with or without the effects of other biological factors. We studied the stochastic escape time from the infinite potential peaks in the Wright-Fisher model, where the typical two-scale diffusion dynamics was observed via computer simulations. We numerically found the average escape time for all the bi-stable cases and analytically approximated the results under weak mutations and selections by calculating the mean first passage time (MFPT) in singular potential peak. Our results showed that Kramers' classical escape formula can be extended to the models with non-Gaussian probability distributions, overcoming constraints in previous methods. The constructed landscape provides a global and coherent description for system's evolutionary dynamics, allowing new biological results to be generated.


title: Edge Excitations in Fractional Chern Insulators

abstract: Recent theoretical works have demonstrated the realization of fractional quantum anomalous Hall states (also called fractional Chern insulators) in topological flat band lattice models without an external magnetic field. Such newly proposed lattice systems play a vital role to obtain a large class of fractional topological phases. Here we report the exact numerical studies of edge excitations for such systems in a disk geometry loaded with hard-core bosons, which will serve as a more viable experimental probe for such topologically ordered states. We find convincing numerical evidence of a series of edge excitations characterized by the chiral Luttinger liquid theory for the bosonic fractional Chern insulators in both the honeycomb disk Haldane model and the kagom\'{e}-lattice disk model. We further verify these current-carrying chiral edge states by inserting a central flux to test their compressibility.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.quant-gas quant-ph


title: The unified method for the three-wave equation on the half-line

abstract: We present a Riemann-Hilbert problem formalism for the initial-boundary value problem for the three-wave equation: \[p_{ij,t}-\frac{b_i-b_j}{a_i-a_j}p_{ij,x}+\sum_k(\frac{b_k-b_j}{a_k-a_j}-\frac{b_i-b_k}{a_i-a_k})p_{ik}p_{kj}=0,\quad i,j,k=1,2,3.\] on the half-line.


title: Gauge-spin-space rotation invariant vortices in spin-orbit coupled Bose-Einstein condensates

abstract: We revisit ground states of spinor Bose-Einstein condensates with a Rashba spin-orbit coupling, and find that votices show up as a direct consequence of spontaneous symmetry breaking into a combined gauge, spin, and space rotation symmetry, which determines the vortex-core spin state at the rotating center. For the continuous combined symmetry, the total spin rotation about the rotating axis is restricted to $2\pi$, whereas for the discrete combined symmetry, we further need 2F quantum numbers to characterize the total spin rotation for the spin-$F$ system. For lattice phases we find that in the ground state the topological charge for each unit cell vanishes. However, we find two types of highly symmetric lattices with a nontrivial topological charge in the spin-$\frac{1}{2}$ system based on the symmetry classification, and show that they are skyrmion crystals.


title: CAR flows on type III factors and its extendability

abstract: In this paper using one of the necessary conditions obtained for extendability in [BISSar], we prove that the CAR flows ([Amo01]) on type III factors arising from most quasi-free states are not extendable. As a consequence we find the super product system of CAR flows. We know from [Arv03] that CCR flows and CAR flows on type I factors with the same Arveson index are cocycle conjugate. But our result together with [BISSar] will show that CCR flows and CAR flows on type III factors are not cocycle conjugate.


title: Quantum Corrections to the Polarizability and Dephasing in Isolated Disordered Metals

abstract: We study the quantum corrections to the polarizability of isolated metallic mesoscopic systems using the loop-expansion in diffusive propagators. We show that the difference between connected (grand-canonical ensemble) and isolated (canonical ensemble) systems appears only in subleading terms of the expansion, and can be neglected if the frequency of the external field, $\omega$, is of the order of (or even slightly smaller than) the mean level spacing, $\Delta$. If $\omega \ll \Delta$, the two-loop correction becomes important. We calculate it by systematically evaluating the ballistic parts (the Hikami boxes) of the corresponding diagrams and exploiting electroneutrality. Our theory allows one to take into account a finite dephasing rate, $\gamma$, generated by electron interactions, and it is complementary to the non-perturbative results obtained from a combination of Random Matrix Theory (RMT) and the $\sigma$-model, valid at $\gamma \to 0$. Remarkably, we find that the two-loop result for isolated systems with moderately weak dephasing, $\gamma \sim \Delta$, is similar to the result of the RMT+$\sigma$-model even in the limit $\omega \to 0$. For smaller $\gamma$, we discuss the possibility to interpolate between the perturbative and the non-perturbative results. We compare our results for the temperature dependence of the polarizability of isolated rings to the experimental data of Deblock \emph{et al} [\prl \ {\bf 84}, 5379 (2000); \prb \ {\bf 65}, 075301 (2002)], and we argue that the elusive 0D regime of dephasing might have manifested itself in the observed magneto-oscillations. Besides, we thoroughly discuss possible future measurements of the polarizability, which could aim to reveal the existence of 0D dephasing and the role of the Pauli blocking at small temperatures.


title: Quantum ergodicity on large regular graphs

abstract: We propose a version of the Quantum Ergodicity theorem on large regular graphs of fixed valency. This is a property of delocalization of "most" eigenfunctions. We consider expander graphs with few short cycles (for instance random large regular graphs). Our method mimics the proof of Quantum Ergodicity on manifolds: it uses microlocal analysis on regular trees.


title: Sparse Coding and Dictionary Learning for Symmetric Positive Definite Matrices: A Kernel Approach

abstract: Recent advances suggest that a wide range of computer vision problems can be addressed more appropriately by considering non-Euclidean geometry. This paper tackles the problem of sparse coding and dictionary learning in the space of symmetric positive definite matrices, which form a Riemannian manifold. With the aid of the recently introduced Stein kernel (related to a symmetric version of Bregman matrix divergence), we propose to perform sparse coding by embedding Riemannian manifolds into reproducing kernel Hilbert spaces. This leads to a convex and kernel version of the Lasso problem, which can be solved efficiently. We furthermore propose an algorithm for learning a Riemannian dictionary (used for sparse coding), closely tied to the Stein kernel. Experiments on several classification tasks (face recognition, texture classification, person re-identification) show that the proposed sparse coding approach achieves notable improvements in discrimination accuracy, in comparison to state-of-the-art methods such as tensor sparse coding, Riemannian locality preserving projection, and symmetry-driven accumulation of local features.


title: Conformal Behavior in QCD

abstract: We give a new perspective on the properties of quarks and gluons at finite temperature T in N_f = 2 ~ 6 QCD. We point out the existence of an IR fixed point for the gauge coupling constant at T>T_c (T_c is the chiral phase transition temperature). Based on this observation we predict theoretically and verify numerically that the correlation functions of a meson G(t) at T/T_c > 1 decay with a power-law corrected Yukawa-type decaying form, G(t)=c exp(-m t)/t^alpha in the "conformal region" defined by m < c Lambda_IR, where Lambda_IR is the IR cutoff, m is the characteristic scale of the spectrum in the meson cannel and c is a constant of order 1. The decaying form is the characteristics of conformal theories with an IR cutoff. We discuss in detail how the resulting hyper scaling relation of physical observables may modify the existing argument about the order of the chiral phase transition in the N_f=2 case.


title: On the mixing time and spectral gap for birth and death chains

abstract: For birth and death chains, we derive bounds on the spectral gap and mixing time in terms of birth and death rates. Together with the results of Ding et al. in 2010, this provides a criterion for the existence of a cutoff in terms of the birth and death rates. A variety of illustrative examples are treated.


title: Non-contact interactions and the hadronic light-by-light contribution to the muon g-2

abstract: We summarise recent results for the quark loop part of the light-by-light scattering contribution to the muons anomalous magnetic moment. In particular we focus on the impact of a momentum dependent quark and quark-photon vertex. We compare the Dyson-Schwinger description with that of the extended Nambu--Jona-Lasinio model (ENJL) and find important quantitative differences. In particular the transverse parts of the quark-photon-vertex, which serve as a dynamical extension of simple vector meson dominance models, do not yield the large suppression as found in the ENJL model.


title: $t\rightarrow \gamma$ decay in the ACD model

abstract: In the presented paper we have estimated additional to the standard model (SM) contributions to the top quark FCNC decays in the framework of the model with one extra dimension. The estimates of performed calculations show that extra dimension models with only one additional spatial dimension cannot raise branching ratio for top FCNC decay.


title: Recursive calculation of the microcanonical density of states

abstract: For a classical system of noninteracting particles we establish recursive integral equations for the density of states on the microcanonical ensemble. The recursion can be either on the number of particles or on the dimension of the system. The solution of the integral equations is particularly simple when the single-particle density of states in one dimension follows a power law. Otherwise it can be obtained using a Laplace transform method. Since the Laplace transform of the microcanonical density of states is the canonical partition function, it factorizes for a system of noninteracting particles and the solution of the problem is straightforward. The results are illustrated on several classical examples.


title: Analysis of urban traffic data sets for VANETs simulations

abstract: Vehicular Ad-hoc Networks (VANET) are self-organized, distributed communication networks built up from moving vehicles where each node is characterized by variable speed, strict limits of freedom in movement patterns and a variety of traffic dynamics. In the last few years vehicular traffic is attracting a growing attention from both industry and research, due to the importance of the related applications, ranging from traffic control to road safety. However, less attention has been paid to the modeling of realistic user mobility through real empirical data that would allow to develop much more effective communication and networking schemes. The aim of this study is then twofold: on one hand we derived real mobility patters to be used in a VANET simulator and on the other hand we simulated the VANET data dissemination achieved with different broadcast protocols in our real traffic setting.


title: A Lax pair for the complete QRT mapping

abstract: QRT maps are translations on smooth biquadratic curves, also known as elliptic curves. Special cases of QRT maps are known to arise as compatibility conditions for an associated system of linear equations, known as a Lax pair. Here, we provide $2\times 2$ Lax pairs explicitly for the whole 18-parameter family of QRT maps.


title: Boundary measures, generalized Gauss-Green formulas, and mean value property in metric measure spaces

abstract: We study mean value properties of harmonic functions in metric measure spaces. The metric measure spaces we consider have a doubling measure and support a (1,1)- Poincar\'e inequality. The notion of harmonicity is based on the Dirichlet form defined in terms of a Cheeger differentiable structure. By studying fine properties of the Green function on balls, we characterize harmonic functions in terms of a mean value property. As a consequence, we obtain a detailed description of Poisson kernels. We shall also obtain a Gauss-Green type formula for sets of finite perimeter which posses a Minkowski content characterization of the perimeter. For the Gauss-Green formula we introduce a suitable notion of the interior normal trace of a regular ball.


title: Representations of Homotopy Lie-Rinehart Algebras

abstract: I propose a definition of left/right connection along a strong homotopy Lie-Rinehart algebra. This allows me to generalize simultaneously representations up to homotopy of Lie algebroids and actions of strong homotopy Lie algebras on graded manifolds. I also discuss the Schouten-Nijenhuis calculus associated to strong homotopy Lie-Rinehart connections.


title: The spectral excess theorem for distance-biregular graphs

abstract: The spectral excess theorem for distance-regular graphs states that a regular (connected) graph is distance-regular if and only if its spectral-excess equals its average excess. A bipartite graph is distance-biregular when it is distance-regular around each vertex and the intersection array only depends on the stable set such a vertex belongs to. In this note we derive a new version of the spectral excess theorem for bipartite distance-biregular graphs.


title: Accurate ionization potential of gold anionic clusters from density functional theory and many-body perturbation theory

abstract: We present a theoretical study of the ionization potential in small anionic gold clusters, using density functional theory, with and without exact-exchange, and many body perturbation theory, namely the G0W0 approach. We find that G0W0 is the best approach and correctly describes the first ionization potential with an accuracy of about 0.1 eV.


title: Advanced finite-element methods for design and analysis of nanooptical structures: Applications

abstract: An overview on recent applications of the finite-element method Maxwell-solver JCMsuite to simulation tasks in nanooptics is given. Numerical achievements in the fields of optical metamaterials, plasmonics, photonic crystal fibers, light emitting devices, solar cells, optical lithography, optical metrology, integrated optics, and photonic crystals are summarized.


title: On pliability of del Pezzo fibrations and Cox rings

abstract: We develop some concrete methods to build Sarkisov links, starting from Mori fibre spaces. This is done by studying low rank Cox rings and their properties. As part of this development, we give an algorithm to construct explicitly the coarse moduli space of a toric Deligne-Mumford stack. This can be viewed as the generalisation of the notion of well-formedness for weighted projective spaces to homogeneous coordinate ring of toric varieties. As an illustration, we apply these methods to study birational transformations of certain fibrations of del Pezzo surfaces over $\mathbb{P}^1$, into other Mori fibre spaces, using Cox rings and variation of geometric invariant theory. We show that the pliability of these Mori fibre spaces is at least three and they are not rational.


title: Reexamination of inflation in noncommutative space-time after Planck results

abstract: An inflationary model in the framework of noncommutative space-time may generate a nontrivial running of the scalar spectral index, but usually induces a large tensor-to-scalar ratio simultaneously. With the latest observational data from the Planck mission, we reexamine the inflationary scenarios in a noncommutative space-time. We find that either the running of the spectral index is tiny compared with the recent observational result, or the tensor-to-scalar ratio is too large to allow a sufficient number of $e$-folds. As examples, we show that the chaotic and power-law inflation models with the noncommutative effects are not favored by the current Planck data.


title: Lie - point and variational symmetries in minisuperspace Einstein's gravity

abstract: We consider the application of the theory of symmetries of coupled ordinary differential equations to the case of reparametrisation invariant Lagrangians quadratic in the velocities; such Lagrangians encompass all minisuperspace models. We find that, in order to acquire the maximum number of symmetry generators, one must (a) consider the lapse $N(t)$ among the degrees of freedom and (b) allow the action of the generator on the Lagrangian and/or the equations of motion to produce a multiple of the constraint, rather than strictly zero. The result of this necessary modification of the standard theory (concerning regular systems) is that the Lie - point symmetries of the equations of motion are exactly the variational symmetries (containing the time reparametrisation symmetry) plus the well known scaling symmetry. These variational symmetries are seen to be the simultaneous conformal Killing fields of both the metric and the potential, thus coinciding with the conditional symmetries defined in phase space. In a parametrisation of the lapse for which the potential becomes constant, the generators of the aforementioned symmetries become the Killing fields of the scaled supermetric and the homothetic field respectively.


title: On the Landau gauge matter-gluon vertex in scalar QCD in a functional approach

abstract: Recently the quark-gluon vertex has been investigated in Landau gauge using a combined Dyson-Schwinger and nPI effective action approach. We present here a numerical analysis of a simpler system where the quarks have been replaced by charged scalar fields. We solve the coupled system of Dyson-Schwinger equations for the scalar propagator, the scalar-gluon vertex and the Yang-Mills propagators in a truncation related to earlier studies. The calculations have been performed for scalars both in the fundamental and the adjoint representation. A clear suppression of the Abelian diagram is found in both cases. Thus, within the used truncation the suppression of the Abelian diagram predominantly happens dynamically and is to a high degree independent of the colour structure. The numerical techniques developed here can directly be applied to the fermionic case.


title: On arithmetic progressions on Edwards curves

abstract: Let m be a positive integer and a,q two rational numbers. Denote by AP_m(a,q) the set of rational numbers d such that a,a+q,...,a+(m-1)q form an arithmetic progression in the Edwards curve E_d:x^2+y^2=1+d x^2 y^2. We study the set AP_m(a,q) and we parametrize it by the rational points of an algebraic curve.


title: Elemental estimators for the Generalized Extreme Value tail

abstract: In a companion paper (McRobie(2013) arxiv:1304.3918), a simple set of `elemental' estimators was presented for the Generalized Pareto tail parameter. Each elemental estimator: involves only three log-spacings; is absolutely unbiased for all values of the tail parameter; is location- and scale-invariant; and is valid for all sample sizes $N$, even as small as $N= 3$. It was suggested that linear combinations of such elementals could then be used to construct efficient unbiased estimators. In this paper, the analogous mathematical approach is taken to the Generalised Extreme Value (GEV) distribution. The resulting elemental estimators, although not absolutely unbiased, are found to have very small bias, and may thus provide a useful basis for the construction of efficient estimators.


title: Typical property of one class of combinatory objects and estimation from above corresponding combinatory numbers

abstract: We investigate properties of families $F$ of subsets of a finite set in a situation where subsets are incomparable by the binary inclusion relation and a) for any $A\notin F$, there is such set $A'\in F$ that either $A\subset A'$ or $A'\subset A$; b) for any $A\in F$, $\mid A\mid\in \{k,k+1\}$. For these families we introduce one parametre and we show that for almost all families $F$ the value of this parametre is ${n-1\choose k}$. We show that families with the minimum value of the entered parametre have certain structure and we find also number of such families. At last, we find an estimation from above for combinatory numbers of considered combinatory objects.


title: A description of odd mass Xe and Te isotopes in the Interacting Boson-Fermion Model

abstract: Recent interest in spectroscopic factors for single-neutron transfer in low-spin states of the even-odd Xenon $^{125,127,129.131}$Xe and even-odd Tellurium, $^{123,125,127,129,131}$Te isotopes stimulated us to study these isotopes within the frame work of the Interacting Boson-Fermion Model. The fermion that is coupled to the system of bosons is taken to be in the positive parity $3s_{1/2}$, $2d_{3/2}$, $2d_{5/2}$, $1g_{7/2}$ and in the negative $1h_{11/2}$ single-particle orbits, the complete 50-82 major shell. The calculated energies of low-spin energy levels of the odd isotopes are found to agree well with the experimental data. Also B(E2), B(M1) values and spectroscopic factors for single-neutron transfer are calculated and compared with experimental data.


title: Stationary Configuration of some Optimal Shaping

abstract: We consider the problem of optimal location of a Dirichlet region in a $d$-dimensional domain $\Omega$ subjected to a given right-hand side $f$ in order to minimize some given functional of the configuration. While in the literature the Dirichlet region is usually taken $d-1$ dimensional, in this shape optimization problems, we consider two classes of control variables, namely the class of one dimensional closed connected sets of finite one dimensional Hausdorff measure and the class of sets of points of finite cardinality, and we give a necessary condition of optimality.


title: Unraveling of the fractional topological phase in one-dimensional flatbands with nontrivial topology

abstract: We consider a topologically non-trivial flat band structure in one spatial dimension in the presence of nearest and next nearest neighbor Hubbard interaction. The non-interacting band structure is characterized by a symmetry protected topologically quantized Berry phase. At certain fractional fillings, a gapped phase with a filling-dependent ground state degeneracy, and fractionally charged quasi-particles emerges. At filling 1/3, the ground states carry a fractional Berry phase in the momentum basis. These features at first glance suggest a certain analogy to the fractional quantum Hall scenario in two dimensions. We solve the interacting model analytically in the physically relevant limit of a large band gap in the underlying band structure, the analog of a lowest Landau level projection. Our solution affords a simple physical understanding of the properties of the gapped interacting phase. We pinpoint crucial differences to the fractional quantum Hall case by studying the Berry phase and the entanglement entropy associated with the degenerate ground states. In particular, we conclude that the `fractional topological phase in one-dimensional flatbands' is not a one-dimensional analog of the two-dimensional fractional quantum Hall states, but rather a charge density wave with a nontrivial Berry phase. Finally, the symmetry protected nature of the Berry phase of the interacting phase is demonstrated by explicitly constructing a gapped interpolation to a state with a trivial Berry phase.


title: Fast simulation method for parameter reconstruction in optical metrology

abstract: A method for automatic computation of parameter derivatives of numerically computed light scattering signals is demonstrated. The finite-element based method is validated in a numerical convergence study, and it is applied to investigate the sensitivity of a scatterometric setup with respect to geometrical parameters of the scattering target. The method can significantly improve numerical performance of design optimization, parameter reconstruction, sensitivity analysis, and other applications.


title: Universal K-matrix distribution in beta=2 Ensembles of Random Matrices

abstract: The K-matrix, also known as the "Wigner reaction matrix" in nuclear scattering or "impedance matrix" in the electromagnetic wave scattering, is given essentially by an M x M diagonal block of the resolvent (E-H)^{-1} of a Hamiltonian H. For chaotic quantum systems the Hamiltonian H can be modelled by random Hermitian N x N matrices taken from invariant ensembles with the Dyson symmetry index beta=1,2,4. For beta=2 we prove by explicit calculation a universality conjecture by P. Brouwer which is equivalent to the claim that the probability distribution of K, for a broad class of invariant ensembles of random Hermitian matrices H, converges to a matrix Cauchy distribution with density ${\cal P}(K)\propto \left[\det{({\lambda}^2+(K-{\epsilon})^2)}\right]^{-M}$ in the limit $N\to \infty$, provided the parameter M is fixed and the spectral parameter E is taken within the support of the eigenvalue distribution of H. In particular, we show that for a broad class of unitary invariant ensembles of random matrices finite diagonal blocks of the resolvent are Cauchy distributed. The cases beta=1 and beta=4 remain outstanding.

categories: math-ph cond-mat.dis-nn cond-mat.mes-hall math.MP


title: Some New Problems in Spectral Optimization

abstract: We present some new problems in spectral optimization. The first one consists in determining the best domain for the Dirichlet energy (or for the first eigenvalue) of the {\it metric Laplacian}, and we consider in particular Riemannian or Finsler manifolds, Carnot-Carath\'eodory spaces, Gaussian spaces. The second one deals with the optimal shape of a graph when the minimization cost is of spectral type. The third one is the optimization problem for a Schr\"odinger potential in suitable classes.


title: On the U-module Structure of the Unipotent Specht Modules of Finite General Linear Groups

abstract: Let $q$ be a prime power, $G=GL_n(q)$ and let $U\leqslant G$ be the subgroup of (lower) unitriangular matrices in $G$. For a partition $\lambda$ of $n$ denote the corresponding unipotent Specht module over the complex field $\C$ for $G$ by $S^\lambda$. It is conjectured that for $c\in \Z_{\geqslant 0}$ the number of irreducible constituents of dimension $q^c$ of the restriction $\RRes^{G}_U(S^\lambda)$ of $S^\lambda$ to $U$ is a polynomial in $q$ with integer coefficients depending only on $c$ and $\lambda$, not on $q$. In the special case of the partition $\lambda=(1^n)$ this implies a longstanding (still open) conjecture of Higman \cite{higman}, stating that the number of conjugacy classes of $U$ should be a polynomial in $q$ with integer coefficients depending only on $n$ not on $q$. In this paper we prove the conjecture in the case that $\lambda=(n-m,m)$ $(0\leqslant m \leqslant n/2)$ is a 2-part partition. As a consequence, we obtain a new representation theoretic construction of the standard basis of $S^\lambda$ (over fields of characteristic coprime to $q$) defined by M. Brandt, R. Dipper, G. James and S. Lyle in \cite{brandt2}, \cite{dj1} and an explanation of the rank polynomials appearing there.


title: Efficient Computation of Mean Truncated Hitting Times on Very Large Graphs

abstract: Previous work has shown the effectiveness of random walk hitting times as a measure of dissimilarity in a variety of graph-based learning problems such as collaborative filtering, query suggestion or finding paraphrases. However, application of hitting times has been limited to small datasets because of computational restrictions. This paper develops a new approximation algorithm with which hitting times can be computed on very large, disk-resident graphs, making their application possible to problems which were previously out of reach. This will potentially benefit a range of large-scale problems.


title: Gravitational Wave Signatures from Low-mode Spiral Instabilities in Rapidly Rotating Supernova Cores

abstract: We study properties of gravitational waves (GWs) from rotating core-collapse of a 15M_odot star by performing three-dimensional general-relativistic hydrodynamic simulations with an approximate neutrino transport. By parametrically changing the precollapse angular momentum, we focus on the effects of rotation on the GW signatures in the early postbounce evolution. Regarding three-flavor neutrino transport, we solve the energy-averaged set of radiation energy and momentum based on the Thorne's momentum formalism. In addition to the gravitational quadrupole radiation from matter motions, we take into account GWs from anisotropic neutrino emission. With these computations, our results present several supporting evidences for the previous anticipation that non-axisymmetric instabilities play an essential role in determining the postbounce GW signatures. During prompt convection, we find that the waveforms show narrow-band and highly quasi-periodic signals which persist until the end of simulations. We point out that such feature reflects the growth of the one-armed spiral modes. The typical frequency of the quasi-periodic waveforms can be well explained by the propagating acoustic waves between the stalled shock and the rotating proto-neutron star surface, which suggests the appearance of the standing-accretion-shock instability. Although the GW signals exhibit strong variability between the two polarizations and different observer directions, they are within the detection limits of next generation detectors such as by KAGRA and Advanced LIGO, if the source with sufficient angular momentum is located in our Galaxy.


title: Jump-sparse and sparse recovery using Potts functionals

abstract: We recover jump-sparse and sparse signals from blurred incomplete data corrupted by (possibly non-Gaussian) noise using inverse Potts energy functionals. We obtain analytical results (existence of minimizers, complexity) on inverse Potts functionals and provide relations to sparsity problems. We then propose a new optimization method for these functionals which is based on dynamic programming and the alternating direction method of multipliers (ADMM). A series of experiments shows that the proposed method yields very satisfactory jump-sparse and sparse reconstructions, respectively. We highlight the capability of the method by comparing it with classical and recent approaches such as TV minimization (jump-sparse signals), orthogonal matching pursuit, iterative hard thresholding, and iteratively reweighted $\ell^1$ minimization (sparse signals).


title: R\'esolution num\'erique du probl\`eme de Dirichlet $\Delta u = a\,u^3$ \`a l'aide du mouvement brownien

abstract: In this paper, we are interested in numerical solution of some linear boundary value problems with Dirichlet boundary part, by the means of simulation of random walks. We use a probabilistic interpretation of solution $u$, assuming that the coefficient and the boundary data are sufficiently smooth, and applying It\^o's formula. From these stochastic representations of solution, we extend some algorithms obtained for standard boundary conditions to the quasi-linear source of the type $f(u)= a\,u^3$. For positive and negative parameter $a$, we then obtain numerical results by applying the stochastic methods based upon these generalized algorithms.


title: Vortex lattices in three-component Bose-Einstein condensates under rotation: simulating colorful vortex lattices in a color superconductor

abstract: We study vortex lattices in three-component BECs under rotation, where three kinds of fractional vortices winding one of three components are present. Unlike the cases of two-component BECs where the phases of square and triangular lattices are present depending on the intercomponent coupling constant and the rotation speed, we find triangular ordered "colorful" vortex lattices where three kind of fractional vortices are placed in order without defects, in all parameter region where the inter-component coupling g' is less than the intra-component coupling g. When g > g' on the other hand, we find the phase separation; In a region where one component is present, the other two components must vanish, where we find ghost vortices in these two components whose positions are separated. In the boundary g = g', the accidental U(3) symmetry is present, in which case two vortices in different components are close to each other in some regions.


title: The Oberbeck-Boussinesq approximation in critical spaces

abstract: In this paper we study the validity of the so-called Oberbeck-Boussinesq approximation for compressible viscous perfect gases in the whole three-dimensional space. Both the cases of uids with positive heat conductivity and zero conductivity are considered. For small perturbations of a constant equilibrium, we establish the global existence of unique strong solutions in a critical regularity functional framework. Next, taking advantage of Strichartz estimates for the associated system of acoustic waves, and of uniform estimates with respect to the Mach number, we obtain all-time convergence to the Boussinesq system with a explicit decay rate.


title: Dynamical Effects on the Habitable Zone for Earth-like Exomoons

abstract: With the detection of extrasolar moons (exomoons) on the horizon, it is important to consider their potential for habitability. If we consider the circumstellar Habitable Zone (HZ, often described in terms of planet semi-major axis and orbital eccentricity), we can ask, "How does the HZ for an Earth-like exomoon differ from the HZ for an Earth-like exoplanet?" For the first time, we use 1D latitudinal energy balance modelling to address this question. The model places an Earth-like exomoon in orbit around a Jupiter mass planet, which in turn orbits a Sun-like star. The exomoon's surface temperature is evolved under the action of stellar insolation, atmospheric cooling, heat diffusion, eclipses and tidal heating. We use this model to carry out two separate investigations. In the first, four test cases are run to investigate in detail the dependence of the exomoon climate on orbital direction, orbital inclination, and on the frequency of stellar eclipse by the host planet. We find that lunar orbits which are retrograde to the planetary orbit exhibit greater climate variations than prograde orbits, with global mean temperatures around 0.1 K warmer due to the geometry of eclipses. If eclipses become frequent relative to the atmospheric thermal inertia timescale, climate oscillations become extremely small. In the second investigation, we carry out an extensive parameter study, running the model many times to study the habitability of the exomoon in the 4-dimensional space composed of the planet semi-major axis and eccentricity, and the moon semi-major axis and eccentricity. We find that for zero moon eccentricity, frequent eclipses allow the moon to remain habitable in regions of high planet eccentricity, but tidal heating severely constrains habitability in the limit of high moon eccentricity, making the habitable zone a sensitive function of moon semi-major axis.


title: Symmetries in Synaptic Algebras

abstract: A synaptic algebra is a generalization of the Jordan algebra of selfadjoint elements of a von Neumann algebra. We study symmetries in synaptic algebras, i.e., elements whose square is the unit element, and we investigate the equivalence relation on the projection lattice of the algebra induced by finite sequences of symmetries. In case the projection lattice is complete, or even centrally orthocomplete, this equivalence relation is shown to possess many of the properties of a dimension equivalence relation on an orthomodular lattice.


title: RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models

abstract: RockIt is a maximum a-posteriori (MAP) query engine for statistical relational models. MAP inference in graphical models is an optimization problem which can be compiled to integer linear programs (ILPs). We describe several advances in translating MAP queries to ILP instances and present the novel meta-algorithm cutting plane aggregation (CPA). CPA exploits local context-specific symmetries and bundles up sets of linear constraints. The resulting counting constraints lead to more compact ILPs and make the symmetry of the ground model more explicit to state-of-the-art ILP solvers. Moreover, RockIt parallelizes most parts of the MAP inference pipeline taking advantage of ubiquitous shared-memory multi-core architectures. We report on extensive experiments with Markov logic network (MLN) benchmarks showing that RockIt outperforms the state-of-the-art systems Alchemy, Markov TheBeast, and Tuffy both in terms of efficiency and quality of results.


title: Numerical analysis of nanostructures for enhanced light extraction from OLEDs

abstract: Nanostructures, like periodic arrays of scatters or low-index gratings, are used to improve the light outcoupling from organic light-emitting diodes (OLED). In order to optimize geometrical and material properties of such structures, simulations of the outcoupling process are very helpful. The finite element method is best suited for an accurate discretization of the geometry and the singular-like field profile within the structured layer and the emitting layer. However, a finite element simulation of the overall OLED stack is often beyond available computer resources. The main focus of this paper is the simulation of a single dipole source embedded into a twofold infinitely periodic OLED structure. To overcome the numerical burden we apply the Floquet transform, so that the computational domain reduces to the unit cell. The relevant outcoupling data are then gained by inverse Flouqet transforming. This step requires a careful numerical treatment as reported in this paper.


title: High angular resolution observations towards OMC-2 FIR 4: Dissecting an intermediate-mass protocluster

abstract: OMC-2 FIR 4 is one of the closest known young intermediate-mass protoclusters, located at a distance of 420 pc in Orion. This region is one of the few where the complete 500-2000 GHz spectrum has been observed with the heterodyne spectrometer HIFI on board the Herschel satellite, and unbiased spectral surveys at 0.8, 1, 2 and 3 mm have been obtained with the JCMT and IRAM 30-m telescopes. In order to investigate the morphology of this region, we used the IRAM Plateau de Bure Interferometer to image OMC-2 FIR 4 in the 2-mm continuum emission, as well as in DCO+(2-1), DCN(2-1), C34S(3-2), and several CH3OH lines. In addition, we analysed observations of the NH3(1,1) and (2,2) inversion transitions made with the Very Large Array of the NRAO. The resulting maps have an angular resolution which allows us to resolve structures of 5", equivalent to 2000 AU. Our observations reveal three spatially resolved sources within OMC-2 FIR 4, of one or several solar masses each, with hints of further unresolved substructure within them. Two of these sources have elongated shapes and are associated with dust continuum emission peaks, thus likely containing at least one molecular core each. One of them also displays radio continuum emission, which may be attributed to a young B3-B4 star that dominates the overall luminosity output of the region. The third source identified displays a DCO+(2-1) emission peak, and weak dust continuum emission. Its higher abundance of DCO+ relative to the other two regions suggests a lower temperature and therefore its possible association with either a younger low-mass protostar or a starless core. It may alternatively be part of the colder envelope of OMC-2 FIR 4. Our interferometric observations evidence the complexity of this region, where multiple cores, chemical differentiation and an ionised region all coexist within an area of only 10000 AU.


title: Stark-chirped rapid adiabatic passage in the presence of dissipation for quantum computation

abstract: Stark-chirped rapid adiabatic passage (SCRAP) is an important technique used for coherent quantum controls. In this paper we investigate how the practically-existing dissipation of the system influences on the efficiency of the passage, and thus the fidelities of the SCRAP-based quantum gates. With flux-biased Josephson qubits as a specifical example, our results show clearly that the efficiency of the logic gates implemented by SCRAP are robust against the weak dissipation. The influence due to the non-adiabtic transitions between the adiabatic passages is comparatively significantly small. Therefore, the SCRAP-based logic gates should be feasible for the realistic physical systems with noises.


title: Convolutional Network-Coded Cooperation in Multi-Source Networks with a Multi-Antenna Relay

abstract: We propose a novel cooperative transmission scheme called "Convolutional Network-Coded Cooperation" (CNCC) for a network including N sources, one M-antenna relay, and one common destination. The source-relay (S-R) channels are assumed to be Nakagami-m fading, while the source-destination (S-D) and the relay-destination (R-D) channels are considered Rayleigh fading. The CNCC scheme exploits the generator matrix of a good (N+M', N, v) systematic convolutional code, with the free distance of d_free designed over GF(2), as the network coding matrix which is run by the network's nodes, such that the systematic symbols are directly transmitted from the sources, and the parity symbols are sent by the best antenna of the relay. An upper bound on the BER of the sources, and consequently, the achieved diversity orders are obtained. The numerical results indicate that the CNCC scheme outperforms the other cooperative schemes considered, in terms of the diversity order and the network throughput. The simulation results confirm the accuracy of the theoretical analysis.


title: $L^1$-Uniqueness of Kolmogorov Operators Associated to 2D Stochastic Navier-Stokes Coriolis Equations with Space-Time White Noise

abstract: We consider the Kolmogorov operator $K$ associated to a stochastic Navier-Stokes equation driven by space-time white noise on the two-dimensional torus with periodic boundary conditions and a rotating reference frame, introducing fictitious forces such as the Coriolis force. This equation then serves as a simple model for geophysical flows. We prove that the Gaussian measure induced by the enstrophy is infinitesimally invariant for $K$ on finitely based cylindrical test functions and moreover $K$ is $L^1$-unique w. r. t. the enstrophy measure for sufficiently large viscosity.


title: Modelling the chemical evolution of the Galaxy halo

abstract: We study the chemical evolution and formation of the Galactic halo through the analysis of its stellar metallicity distribution function and some key elemental abundance patterns. Starting from the two-infall model for the Galaxy, which predicts too few low-metallicity stars, we add a gas outflow during the halo phase with a rate proportional to the star formation rate through a free parameter, lambda. In addition, we consider a first generation of massive zero-metal stars in this two-infall + outflow model adopting two different top-heavy initial mass functions and specific population III yields. The metallicity distribution function of halo stars, as predicted by the two-infall + outflow model shows a good agreement with observations, when the parameter lambda=14 and the time scale for the first infall, out of which the halo formed, is not longer than 0.2 Gyr, a lower value than suggested previously. Moreover, the abundance patterns [X/Fe] vs. [Fe/H] for C, N and alpha-elements O, Mg, Si, S, Ca show a good agreement with the observational data. If population III stars are included, under the assumption of different initial mass functions, the overall agreement of the predicted stellar metallicity distribution function with observational data is poorer than in the case without population III. We conclude that it is fundamental to include both a gas infall and outflow during the halo formation to explain the observed halo metallicity distribution function, in the framework of a model assuming that the stars in the inner halo formed mostly in situ. Moreover, we find that it does not exist a satisfactory initial mass function for population III stars which reproduces the observed halo metallicity distribution function. As a consequence, there is no need for a first generation of only massive stars to explain the evolution of the Galactic halo.


title: Structural, Electromagnetic, and Thermoelectric properties of Bi4O4S3 Superconductor

abstract: We report on the synthesis and extensive characterization of layered Bi4O4S3 superconductor. This is the optimally doped sample with Tc ~5.3 K out of a series of Bi6O4S4(SO4)_1-x samples synthesized by solid state reaction. The series was synthesized towards establishing a phase diagram of transition temperature as a function of carrier concentration. Crystal structure for Bi4O4S3 shows larger bending of Bi2-S2-Bi2 bond in the BiS2 layer compared to that for the parent phase. Scanning electron microscopy images show platelets like morphology for Bi4O4S3 signifying the layered structure. While the parent compound is found to be semiconducting, the electrical resistivity of Bi4O4S3 exhibits T^2 dependence in a small temperature range between 25 and 50 K. The typical dome structure for variation of Tc with dopant concentration is not observed. From the magneto-transport data Hc2 for Bi4O4S3 is estimated to be ~2.75T with WHH approximation and the corresponding coherence length is ~110A. Support for multiband signatures is not seen from magneto-resistance data. RF susceptibility data fits well for S-wave isotropic gap with gap value higher than BCS strong coupling limit. Hall measurements confirm dominance of electronic transport. The experimental value of Seebeck coefficient at 35K is well in accord with the calculated value deduced by using density of charge carriers from Hall experiments. The Sommerfeld constant is estimated to be ~ 1.113 mJ/K^2 mol. Evidence for thermally activated flux flow is observed.


title: Lagrangian transport in a microtidal coastal area: the Bay of Palma, island of Mallorca, Spain

abstract: Coastal transport in the Bay of Palma, a small region in the island of Mallorca, Spain, is characterized in terms of Lagrangian descriptors. The data sets used for this study are the output for two months (one in autumn and one in summer) of a high resolution numerical model, ROMS, forced atmospherically and with a spatial resolution of 300 m. The two months were selected because its different wind regime, which is the main driver of the sea dynamics in this area. Finite-size Lyapunov Exponents (FSLEs) were used to locate semi-persistent Lagrangian coherent structures (LCS) and to understand the different flow regimes in the Bay. The different wind directions and regularity in the two months have a clear impact on the surface Bay dynamics, whereas only topographic features appear clearly in the bottom structures. The fluid interchange between the Bay and the open ocean was tudied by computing particle trajectories and Residence Times (RT) maps. The escape rate of particles out of the Bay is qualitatively different, with a 32$%$ more of escape rate of particles to the ocean in October than in July, owing to the different geometric characteristics of the flow. We show that LCSs separate regions with different transport properties by displaying spatial distributions of residence times on synoptic Lagrangian maps together with the location of the LCSs. Correlations between the time-dependent behavior of FSLE and RT are also investigated, showing a negative dependence when the stirring characterized by FSLE values moves particles in the direction of escape.


title: Gevrey Smoothing Effect of Solutions to Non-Cutoff Boltzmann Equation for Soft Potential with Mild and Critical Singularity

abstract: In this paper we study the Gevrey smoothing effect of solutions to the non-cutoff spatially homogeneous and inhomogeneous Boltzmann equation for soft potential. We consider the mild singularity case $s<1/2$ as we did in the previous work for spatially homogeneous case (J. Diff. Equ. 253(4) (2012), 1172-1190. DOI: 10.1016/j.jde.2012.04.023) and for spatially inhomogeneous case (arXiv:1304.2971), and try to extend the range of $\gamma$. We derive a new coercivity estimate for collision operator, using which we can obtain the Gevrey regularity for $\gamma \in (-5/2,0)$ improving the previous assumption $\gamma \in (-1-2s,0)$. Besides, we consider $\gamma$ and $s$ separately instead of viewing $\gamma+2s$ as one untied quantity.


title: Local gravitational solutions dual to M2-branes intersecting and/or ending on M5-branes

abstract: We construct local solutions to eleven-dimensional supergravity describing M2-branes intersecting and/or ending on M5-branes, in the near-horizon limit of the M2-branes. Global solutions describing these theories should have 16 supercharges and asymptotic AdS_4 x S^7 regions, as well as M5-branes wrapping AdS_3 x S^3 subspaces. We construct the local solution describing a stack of an arbitrary number of M5-branes with AdS_3 x S^3 worldvolume and arbitrary M2-brane charge. Our construction provides a mechanism to get around the no-go theorem that rules out the existence of global solutions preserving 16 supercharges interpolating between AdS_7 x S^4 and AdS_4 x S^7 regions.


title: Self-similar vortex-induced vibrations of a hanging string

abstract: An experimental analysis of the vortex-induced vibrations of a hanging string with variable tension along its length is presented in this paper. It is shown that standing waves develop along the hanging string. The evolution of the Strouhal number St with the Reynolds number Re first follows a trend similar to what is observed for a circular cylinder in a flow for relatively low Reynolds numbers (32<Re<700). Second, the extracted mode shapes are self-similar : a rescaling of the spanwise coordinate by a self-similarity coefficient allows all of them to collapse on a unique function. The self-similar behaviour of the spatial distribution of the vibrations along the hanging string is then explained theoretically by performing a linear stability analysis of an adapted wake-oscillator model. This linear stability analysis finally provides an accurate description of the mode shapes and of the evolution of the self-similarity coefficient with the flow speed.


title: Hierarchies in independence logic

abstract: We study the expressive power of fragments of inclusion and independence logic defined either by restricting the number of universal quantifiers or the arity of inclusion and independence atoms in formulas. Assuming the so-called lax semantics for these logics, we relate these fragments of inclusion and independence logic to familiar sublogics of existential second-order logic. We also show that, with respect to the stronger strict semantics, inclusion logic is equivalent to existential second-order logic.


title: An analysis of a large dataset on immigrant integration in Spain. The Statistical Mechanics perspective on Social Action

abstract: How does immigrant integration in a country change with immigration density? Guided by a statistical mechanics perspective we propose a novel approach to this problem. The analysis focuses on classical integration quantifiers such as the percentage of jobs (temporary and permanent) given to immigrants, mixed marriages, and newborns with parents of mixed origin. We find that the average values of different quantifi?ers may exhibit either linear or non-linear growth on immigrant density and we suggest that social action, a concept identified by Max Weber, causes the observed non- linearity. Using the statistical mechanics notion of interaction to quantitatively emulate social action, a unified mathematical model for integration is proposed and it is shown to explain both growth behaviors observed. The linear theory instead, ignoring the possibility of interaction effects would underestimate the quantifiers up to 30% when immigrant densities are low, and overestimate them as much when densities are high. The capacity to quantitatively isolate different types of integration mechanisms makes our framework a suitable tool in the quest for more efficient integration policies.


title: Red clump stars of the Milky Way - laboratories of extra-mixing

abstract: In this work we present the main atmospheric parameters, carbon, nitrogen and oxygen abundances, and 12C/13C ratios determined in a sample of 28 Galactic clump stars. Abundances of carbon were studied using the C2 band at 5086.2 {\AA}. The wavelength interval 7980-8130 {\AA} with strong CN features was analysed in order to determine nitrogen abundances and 12C/13C isotope ratios. The oxygen abundances were determined from the [O I] line at 6300 {\AA}. The mean abundances of C, N and O abundances in the investigated clump stars support our previous estimations that, compared to the Sun and dwarf stars of the Galactic disc, carbon is depleted by about 0.2 dex, nitrogen is enhanced by 0.2 dex and oxygen is close to abundances in dwarfs. The 12C/13C and C/N ratios for galactic red clump stars analysed were compared to the evolutionary models of extra-mixing. The steeper drop of 12C/13C ratio in the model of thermohaline mixing by Charbonnel & Lagarde better reflects the observational data at low stellar masses than the more shallow model of cool bottom processing by Boothroyd & Sackmann. For stars of about 2 Msun masses a modelling of rotationally induced mixing should be considered with rotation of about 250 km s-1 at the time when a star was at the hydrogen-core-burning stage.


title: BVP's with discontinuities at finite number interior points and spectral parameter in the boundary conditions

abstract: In this study we are concerned with a class of generalized BVP' s consisting of eigendependent boundary conditions and supplementary transmission conditions at finite number interior points. By modifying some techniques of classical Sturm-Liouville theory and suggesting own approaches we find asymptotic formulas for the eigenvalues and eigenfunction.


title: EUV induced defects on few-layer graphene

abstract: We use Raman spectroscopy to show that exposing few-layer graphene to extreme ultraviolet (EUV, 13.5 nm) radiation, i.e. relatively low photon energy, results in an increasing density of defects. Furthermore, exposure to EUV radiation in a H2 background increases the graphene dosage sensitivity, due to reactions caused by the EUV induced hydrogen plasma. X-ray photoelectron spectroscopy (XPS) results show that the sp2 bonded carbon fraction decreases while the sp3 bonded carbon and oxide fraction increases with exposure dose. Our experimental results confirm that even in reducing environment oxidation is still one of the main source of inducing defects.


title: Positive provability logic for uniform reflection principles

abstract: We deal with the fragment of modal logic consisting of implications of formulas built up from the variables and the constant `true' by conjunction and diamonds only. The weaker language allows one to interpret the diamonds as the uniform reflection schemata in arithmetic, possibly of unrestricted logical complexity. We formulate an arithmetically complete calculus with modalities labeled by natural numbers and \omega, where \omega corresponds to the full uniform reflection schema, whereas n<\omega corresponds to its restriction to arithmetical \Pi_{n+1}-formulas. This calculus is shown to be complete w.r.t. a suitable class of finite Kripke models and to be decidable in polynomial time.


title: Big slices versus big relatively weakly open subsets in Banach spaces

abstract: We study the unknown differences between the size of slices and relatively weakly open subsets of the unit ball in Banach spaces. We show that every Banach space containing isomorphic copies of $c_0$ can be equivalently renormed so that every slice of its unit ball has diameter 2 and satisfying that its unit ball contains nonempty relatively weakly open subsets with diameter arbitrarily small, which answers an open problem and stresses the differences of diameter between slices and relatively weakly open subsets of the unit ball in Banach spaces.


title: Extension of Chern-Simons forms and new gauge anomalies

abstract: We present a general analysis of gauge invariant, exact and metric independent forms which can be constructed using higher rank field-strength tensors. The integrals of these forms over the corresponding space-time coordinates provides new topological Lagrangians. With these Lagrangians one can define gauge field theories which generalize the Chern-Simons quantum field theory. We also present explicit expressions for the potential gauge anomalies associated with the tensor gauge fields and classify all possible anomalies that can appear in lower dimensions. Of special interest are those which can be constructed in four, six, eight and ten dimensions.


title: Testing the local-void alternative to dark energy using galaxy pairs

abstract: The possibility that we live in a special place in the universe, close to the center of a large, radially inhomogeneous void, has attracted attention recently as an alternative to dark energy or modified gravity to explain the accelerating universe. We show that the distribution of orientations of galaxy pairs can be used to test the Copernican principle that we are not in a central or special region of Universe. The popular void models can not fit both the latest type Ia supernova, cosmic microwave background data and the distribution of orientations of galaxy pairs simultaneously. Our results rule out the void models at the $4\sigma$ confidence level as the origin of cosmic acceleration and favor the Copernican principle.


title: Chow group of 0-cycles with modulus and higher dimensional class field theory

abstract: One of the main results of this paper is a proof of the rank one case of an existence conjecture on lisse l-adic sheaves on a smooth variety over a finite field due to Deligne and Drinfeld. The problem is translated into the language of higher dimensional class field theory over finite fields, which describes the abelian fundamental group by Chow groups of zero cycles with moduli. A key ingredient is the construction of a cycle theoretic avatar of refined Artin conductor in ramification theory originally studied by Kazuya Kato.


title: Evidence of a SiO collimated outflow from a massive YSO in IRAS 17233-3606

abstract: Studies of molecular outflows in high-mass young stellar objects reveal important information about the formation process of massive stars. We therefore selected the close-by IRAS 17233-3606 massive star-forming region to perform SiO observations with the SMA interferometer in the (5-4) line and with the APEX single-dish telescope in the (5-4) and (8-7) transitions. In this paper, we present a study of one of the outflows in the region, OF1, which shows several properties similar to jets driven by low-mass protostars, such as HH211 and HH212. It is compact and collimated, and associated with extremely high velocity CO emission, and SiO emission at high velocities. We used a state-of-the-art shock model to constrain the pre-shock density and shock velocity of OF1. The model also allowed us to self-consistently estimate the mass of the OF1 outflow. The shock parameters inferred by the SiO modelling are comparable with those found for low-mass protostars, only with higher pre-shock density values, yielding an outflow mass in agreement with those obtained for molecular outflows driven by early B-type young stellar objects. Our study shows that it is possible to model the SiO emission in high-mass star-forming regions in the same way as for shocks from low-mass young stellar objects.


title: Rogue waves emerging from the resonant interaction of three waves

abstract: We introduce a novel family of analytic solutions of the three-wave resonant interaction equations to the purpose of modeling unique events, i.e. "amplitude peaks" which are isolated in space and time. The description of these solutions is likely to be a crucial step in the understanding and forecasting of rogue-waves in a variety of multi-component wave dynamics, from oceanography to optics, from plasma physics to acoustics.

categories: nlin.SI nlin.PS physics.flu-dyn physics.optics


title: The geometric algebra of Fierz identities in arbitrary dimensions and signatures

abstract: We use geometric algebra techniques to give a synthetic and computationally efficient approach to Fierz identities in arbitrary dimensions and signatures, thus generalizing previous work. Our approach leads to a formulation which displays the underlying real, complex or quaternionic structure in an explicit and conceptually clear manner and is amenable to implementation in various symbolic computation systems. We illustrate our methods and results with a few examples which display the basic features of the three classes of pin representations governing the structure of such identities in various dimensions and signatures.


title: On the Chow ring of birational irreducible symplectic varieties

abstract: We show that the graded Chow rings of two birational irreducible symplectic varieties are isomorphic. This lifts a result known for the cohomology algebras to the level of Chow rings, despite the non-injectivity the cycle class map. In the special case of general Mukai flops, we present an alternative approach based on explicit calculations.