title: Angular resolution limit for deterministic correlated sources

abstract: This paper is devoted to the analysis of the angular resolution limit (ARL), an important performance measure in the directions-of-arrival estimation theory. The main fruit of our endeavor takes the form of an explicit, analytical expression of this resolution limit, w.r.t. the angular parameters of interest between two closely spaced point sources in the far-field region. As by-products, closed-form expressions of the Cram\'er-Rao bound have been derived. Finally, with the aid of numerical tools, we confirm the validity of our derivation and provide a detailed discussion on several enlightening properties of the ARL revealed by our expression, with an emphasis on the impact of the signal correlation.


title: The Eclipsing Binary Cepheid OGLE-LMC-CEP-0227 in the Large Magellanic Cloud: pulsation modelling of light and radial velocity curves

abstract: We performed a new and accurate fit of light and radial velocity curves of the Large Magellanic Cloud (LMC) Cepheid --OGLE-LMC-CEP-0227-- belonging to a detached double-lined eclipsing binary system. We computed several sets of nonlinear, convective models covering a broad range in stellar mass, effective temperature and in chemical composition. The comparison between theory and observations indicates that current theoretical framework accounts for luminosity --V and I band-- and radial velocity variations over the entire pulsation cycle. Predicted pulsation mass --M=4.14+-0.06 Mo-- and mean effective temperature --Te=6100+-50 K-- do agree with observed estimates with an accuracy better than 1 sigma. The same outcome applies, on average, to the luminosity amplitudes and to the mean radius. We find that the best fit solution requires a chemical composition that is more metal--poor than typical LMC Cepheids (Z=0.004 vs 0.008) and slightly helium enhanced (Y=0.27 vs 0.25), but the sensitivity to He abundance is quite limited. Finally, the best fit model reddening --E(V-I)=0.171+-0.015 mag-- and the true distance modulus corrected for the barycenter of the LMC --mu_{0,LMC}=18.50+-0.02+-0.10 (syst) mag--, agree quite well with similar estimates in the recent literature.


title: Shape invariant model approach for functional data analysis in uncertainty and sensitivity studies

abstract: Dynamic simulators model systems evolving over time. Often, it operates iteratively over fixed number of time-steps. The output of such simulator can be considered as time series or discrete functional outputs. Metamodeling is an e ective method to approximate demanding computer codes. Numerous metamodeling techniques are developed for simulators with a single output. Standard approach to model a dynamic simulator uses the same method also for multi-time series outputs: the metamodel is evaluated independently at every time step. This can be computationally demanding in case of large number of time steps. In some cases, simulator outputs for di erent combinations of input parameters have quite similar behaviour. In this paper, we propose an application of shape invariant model approach to model dynamic simulators. This model assumes a common pattern shape curve and curve-specific di erences in amplitude and timing are modelled with linear transformations. We provide an e cient algorithm of transformation parameters estimation and subsequent prediction algorithm. The method was tested with a CO2 storage reservoir case using an industrial commercial simulator and compared with a standard single step approach. The method provides satisfactory predictivity and it does not depend on the number of involved time steps.


title: Higher bifurcation currents, neutral cycles and the Mandelbrot set

abstract: We prove that given any $\theta_1,\ldots,\theta_{2d-2}\in \R\setminus\Z$, the support of the bifurcation measure of the moduli space of degree $d$ rational maps coincides with the closure of classes of maps having $2d-2$ neutral cycles of respective multipliers $e^{2i\pi\theta_1},\ldots,e^{2i\pi\theta_{2d-2}}$. To this end, we generalize a famous result of McMullen, proving that homeomorphic copies of $(\partial \Mand)^{k}$ are dense in the support of the $k^{th}$-bifurcation current $T^k_\bif$ in general families of rational maps, where $\Mand$ is the Mandelbrot set. As a consequence, we also get sharp dimension estimates for the supports of the bifurcation currents in any family.


title: Quality of Service in Wireless Cellular Networks Subject to Log-Normal Shadowing

abstract: Shadowing is believed to degrade the quality of service (QoS) in wireless cellular networks. Assuming log-normal shadowing, and studying mobile's path-loss with respect to the serving base station (BS) and the corresponding interference factor (the ratio of the sum of the path-gains form interfering BS's to the path-gain from the serving BS), which are two key ingredients of the analysis and design of the cellular networks, we discovered a more subtle reality. We observe, as commonly expected, that a strong variance of the shadowing increases the mean path-loss with respect to the serving BS, which in consequence, may compromise QoS. However, in some cases, an increase of the variance of the shadowing can significantly reduce the mean interference factor and, in consequence, improve some QoS metrics in interference limited systems, provided the handover policy selects the BS with the smallest path loss as the serving one. We exemplify this phenomenon, similar to stochastic resonance and related to the "single big jump principle" of the heavy-tailed log-nornal distribution, studying the blocking probability in regular, hexagonal networks in a semi-analytic manner, using a spatial version of the Erlang's loss formula combined with Kaufman-Roberts algorithm. More detailed probabilistic analysis explains that increasing variance of the log-normal shadowing amplifies the ratio between the strongest signal and all other signals thus reducing the interference. The above observations might shed new light, in particular on the design of indoor communication scenarios.


title: Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra

abstract: Polyhedra form an established abstract domain for inferring runtime properties of programs using abstract interpretation. Computations on them need to be certified for the whole static analysis results to be trusted. In this work, we look at how far we can get down the road of a posteriori verification to lower the overhead of certification of the abstract domain of polyhedra. We demonstrate methods for making the cost of inclusion certificate generation negligible. From a performance point of view, our single-representation, constraints-based implementation compares with state-of-the-art implementations.


title: A Comparison and Unification of Ellipsoidal Statistical and Shakhov BGK Models

abstract: The Ellipsoidal Statistical model (ES-model) and the Shakhov model (S-model) are constructed for the correction of Prandtl number of the original BGK model through the modification of stress and heat flux. Even though in the continuum flow regime, both models can give the same Navier-Stokes equations with correct Prandtl number, their modification of the collision term may have different dynamic effect in the non-equilibrium transition flow regimes. With the introduction of one free parameter, a generalized kinetic model with the combination of the ES-model and S-model can be developed, and this new model can get the correct Navier-Stokes equations in the continuum flow regime as well, but with abundant dynamic effect through the adjustment of the new degree of freedom. In order to validate the generalized model, a numerical method based on the unified gas kinetic scheme (UGKS) has been developed for the new model. The physical performance of the new model with the variation of the free parameter has been tested, where the ES-model and S-model become the limiting cases. In transition flow regime, many physical problems, i.e., the shock structure and micro-flows, have been studied using the generalized model. With a careful choice of the free parameter, good results can be achieved for most test cases. The overall conclusion is that the S-model predicts more accurate numerical solutions in most tough test cases presented in this paper than the ES-model, while ES-model performs better in the cases when the flow is mostly driven by heat, such as a channel flow with large boundary temperature variations at high Knudsen number. The numerical study demonstrates the necessity of developing such a generalized model. With the inclusion of one more freedom, in the transition regime the new kinetic model may provide more accurate solution than the ES and Shakhov models.


title: Fine structure of the lowest Landau level in suspended trilayer graphene

abstract: Magneto-transport experiments on ABC-stacked suspended trilayer graphene reveal a complete splitting of the twelve-fold degenerated lowest Landau level, and, in particular, the opening of an exchange-driven gap at the charge neutrality point. A quantitative analysis of distinctness of the quantum Hall plateaus as a function of field yields a hierarchy of the filling factors: \nu=6, 4, and 0 are the most pronounced, followed by \nu=3, and finally \nu=1, 2 and 5. Apart from the appearance of a \nu=4 state, which is probably caused by a layer asymmetry, this sequence is in agreement with Hund's rules for ABC-stacked trilayer graphene.


title: Cylindrical model structures

abstract: We build a model structure from the simple point of departure of a structured interval in a monoidal category - more generally, a structured cylinder and a structured co-cylinder in a category.


title: Differentiability of Mather's $\beta$-function vs Ma\~n\'e's conjecture

abstract: We prove that if a time-periodic Tonelli Lagrangian on a closed manifold $M$ satisfies a strong version of the Differentiability Problem for Mather's $\beta$-function, then the Legendre transforms of rational homology classes are dense in the first cohomology of $M$, which is a first step towards Ma\~n\'e's conjecture.


title: Patch-based Probabilistic Image Quality Assessment for Face Selection and Improved Video-based Face Recognition

abstract: In video based face recognition, face images are typically captured over multiple frames in uncontrolled conditions, where head pose, illumination, shadowing, motion blur and focus change over the sequence. Additionally, inaccuracies in face localisation can also introduce scale and alignment variations. Using all face images, including images of poor quality, can actually degrade face recognition performance. While one solution it to use only the "best" subset of images, current face selection techniques are incapable of simultaneously handling all of the abovementioned issues. We propose an efficient patch-based face image quality assessment algorithm which quantifies the similarity of a face image to a probabilistic face model, representing an "ideal" face. Image characteristics that affect recognition are taken into account, including variations in geometric alignment (shift, rotation and scale), sharpness, head pose and cast shadows. Experiments on FERET and PIE datasets show that the proposed algorithm is able to identify images which are simultaneously the most frontal, aligned, sharp and well illuminated. Further experiments on a new video surveillance dataset (termed ChokePoint) show that the proposed method provides better face subsets than existing face selection techniques, leading to significant improvements in recognition accuracy.


title: DEPFET Pixels as a Vertex Detector for the Belle II Experiment

abstract: Currently the heavy flavour factory KEKB located at the KEK accelerator centre in Tsukuba, Japan, is being upgraded to the Super KEKB factory, aiming for a substantially higher luminosity of 8x10^35 cm^-2 s^-1. This by a factor of 40 increased luminosity requires significant modifications of the Belle detector. The vertex detector needs to be redesigned and, besides a four-layer silicon strip detector, a pixel detector based on the DEPFET technology will be installed closest to the interaction point. The requirements for this pixel detector, the DEPFET technology and the current status of the pixel detector will be presented in this paper.


title: Coverings by few monochromatic pieces - a transition between two Ramsey problems

abstract: The typical problem in (generalized) Ramsey theory is to find the order of the largest monochromatic member of a family F (for example matchings, paths, cycles, connected subgraphs) that must be present in any edge coloring of a complete graph K_n with t colors. Another area is to find the minimum number of monochromatic members of F that partition or cover the vertex set of every edge colored complete graph. Here we propose a problem that connects these areas: for fixed positive integers s,t, at least how many vertices can be covered by the vertices of no more than s monochromatic members of F in every edge coloring of K_n with t colors. Several problems and conjectures are presented, among them a possible extension of a well-known result of Cockayne and Lorimer on monochromatic matchings for which we prove an initial step: in case of s=t-1 we determine how many vertices can be covered by s monochromatic matchings in every t-coloring of K_n.


title: Timing in chemical reaction networks

abstract: Chemical reaction networks (CRNs) formally model chemistry in a well-mixed solution. CRNs are widely used to describe information processing occurring in natural cellular regulatory networks, and with upcoming advances in synthetic biology, CRNs are a promising programming language for the design of artificial molecular control circuitry. Due to a formal equivalence between CRNs and a model of distributed computing known as population protocols, results transfer readily between the two models. We show that if a CRN respects finite density (at most O(n) additional molecules can be produced from n initial molecules), then starting from any dense initial configuration (all molecular species initially present have initial count Omega(n), where n is the initial molecular count and volume), then every producible species is produced in constant time with high probability. This implies that no CRN obeying the stated constraints can function as a timer, able to produce a molecule, but doing so only after a time that is an unbounded function of the input size. This has consequences regarding an open question of Angluin, Aspnes, and Eisenstat concerning the ability of population protocols to perform fast, reliable leader election and to simulate arbitrary algorithms from a uniform initial state.


title: On the Two Conjectures of the Wiener Index

abstract: The Wiener index of a graph, which is the sum of the distances between all pairs of vertices, has been well studied. Recently, Sills and Wang in 2012 proposed two conjectures on the maximal Wiener index of trees with a given degree sequence. This note proves one of the two conjectures and disproves the other.


title: Sch\"onemann-Eisenstein-Dumas-type irreducibility conditions that use arbitrarily many prime numbers

abstract: The famous irreducibility criteria of Sch\"onemann-Eisenstein and Dumas rely on information on the divisibility of the coefficients of a polynomial by a single prime number. In this paper we provide several irreducibility criteria of Sch\"onemann-Eisenstein-Dumas-type for polynomials with integer coefficients, criteria that are given by some divisibility conditions for their coefficients with respect to arbitrarily many prime numbers. A special attention will be paid to those irreducibility criteria that require information on the divisibility of the coefficients by two distinct prime numbers.


title: Synchronization of an array of spin torque nano oscillators in periodic applied external magnetic field

abstract: Considering an array of spin torque transfer nano oscillators (STNOs), we have investigated the synchronization property of the system under the action of a common periodically driven applied external magnetic field by numerically analyzing the underlying system of Landau-Lifshitz-Gilbert-Slonczewski (LLGS) equations for the macro-spin variables. We find the novel result that the applied external magnetic field can act as a medium to induce synchronization of periodic oscillations, both in-phase and anti-phase, even without coupling through spin current, thereby leading to the exciting possibility of enhancement of microwave power in a straightforward way.


title: On the invariance of the relative rest in doubly special relativity

abstract: In the framework of the most-studied doubly special relativity models the use of the naive formula $v=dE/dp$ has been argued to lead to inconsistencies connected to different rules of transformation, under boosts, of particles with the same energy but with different masses. In this paper we show that, at least in 1+1 dimensions, doubly special relativity can be formulated in such a way that the formula $v=dE/dp$ is fully consistent with the invariance of the relative rest, easily fitting to the relativity principle. It is also argued that, always in 1+1d, is not necessary to renounce to the usual (commutative) Minkowski space-time endowed with energy-independent boost transformations. The compatibility of the approach with superluminal propagation, with linear addition rule for energy, and possible extensions to 3+1 dimensions are also discussed.


title: Testing the characteristics of a L\'evy process

abstract: For $n$ equidistant observations of a L\'evy process at time distance $\Delta_n$ we consider the problem of testing hypotheses on the volatility, the jump measure and its Blumenthal-Getoor index in a non- or semiparametric manner. Asymptotically as $n\to\infty$ we allow for both, the high-frequency regime $\Delta_n=\frac1n$ and the low-frequency regime $\Delta_n=1$ as well as intermediate cases. The approach via empirical characteristic function unifies existing theory and sheds new light on diverse results. Particular emphasis is given to asymptotic separation rates which reveal the complexity of these basic, but surprisingly non-standard inference questions.


title: C Language Extensions for Hybrid CPU/GPU Programming with StarPU

abstract: Modern platforms used for high-performance computing (HPC) include machines with both general-purpose CPUs, and "accelerators", often in the form of graphical processing units (GPUs). StarPU is a C library to exploit such platforms. It provides users with ways to define "tasks" to be executed on CPUs or GPUs, along with the dependencies among them, and by automatically scheduling them over all the available processing units. In doing so, it also relieves programmers from the need to know the underlying architecture details: it adapts to the available CPUs and GPUs, and automatically transfers data between main memory and GPUs as needed. While StarPU's approach is successful at addressing run-time scheduling issues, being a C library makes for a poor and error-prone programming interface. This paper presents an effort started in 2011 to promote some of the concepts exported by the library as C language constructs, by means of an extension of the GCC compiler suite. Our main contribution is the design and implementation of language extensions that map to StarPU's task programming paradigm. We argue that the proposed extensions make it easier to get started with StarPU,eliminate errors that can occur when using the C library, and help diagnose possible mistakes. We conclude on future work.


title: Production cross sections of gamma-rays, electrons, and positrons in p-p collisions

abstract: Because the production cross sections of gamma-rays, electrons, and positrons made in p-p collisions, $\sigma_{pp\rightarrow \gamma}$ and $\sigma_{pp\rightarrow {e}^\pm}$, respectively, are kinematically equivalent with respect to the parent pion-production cross section $\sigma_{pp\rightarrow \pi}$, we obtain $\sigma_{pp\rightarrow {e}^\pm}$ directly from the machine data on $\sigma_{pp\rightarrow \gamma}$. In Sato et al. (2012), we give explicitly $\sigma_{pp\rightarrow \gamma}$, reproducing quite well the accelerator data with LHC, namely $\sigma_{pp\rightarrow {e}^\pm}$ is applicable enough over the wide energy range from GeV to 20\,PeV for projectile proton energy. We dicuss in detail the relation between the cross sections, and present explicitly $\sigma_{pp\rightarrow {e}^\pm}$ that are valid into the PeV electron energy.


title: Remarks on the Cauchy problem for the one-dimensional quadratic (fractional) heat equation

abstract: We prove that the Cauchy problem associated with the one dimensional quadratic (fractional) heat equation: $u_t=D_x^{2\alpha} u \mp u^2,\; t\in (0,T),\; x\in \R$ or $ \T $, with $ 0<\alpha\le 1 $ is well-posed in $ H^s $ for $ s\ge \max(-\alpha,1/2-2\alpha) $ except in the case $ \alpha=1/2 $ where it is shown to be well-posed for $ s>-1/2 $ and ill-posed for $ s=-1/2 $. As a by-product we improve the known well-posedness results for the heat equation ($\alpha=1$) by reaching the end-point Sobolev index $ s=-1 $. Finally, in the case $ 1/2<\alpha\le 1 $, we also prove optimal results in the Besov spaces $B^{s,q}_2.$


title: On the BP<n>-cohomology of elementary abelian p-groups

abstract: The structure of the BP<n>-cohomology of elementary abelian p-groups is studied, obtaining a presentation expressed in terms of BP-cohomology and mod-p singular cohomology, using the Milnor derivations. The arguments are based on a result on multi-Koszul complexes which is related to Margolis's criterion for freeness of a graded module over an exterior algebra.


title: 2MTF II. New Parkes 21-cm observations of 303 southern galaxies

abstract: We present new 21-cm neutral hydrogen (HI) observations of spiral galaxies for the 2MASS Tully Fisher (2MTF) survey. Using the 64-m Parkes radio telescope multibeam system we obtain 152 high signal-to-noise HI spectra from which we extract 148 high-accuracy (< 5% error) velocity widths and derive reliable rotation velocities. The observed sample consists of 303 southern (\delta < -40\deg) galaxies selected from the MASS Redshift Survey (2MRS) with K_s <11.25 mag, cz < 10,000 km/s and axis ratio b/a < 0.5. The HI observations reported in this paper will be combined with new HI spectra from the Green Bank and Arecibo telescopes, together producing the most uniform Tully-Fisher survey ever constructed (in terms of sky coverage). In particular, due to its near infrared selection, 2MTF will be significantly more complete at low Galactic latitude (|b|<15\deg) and will provide a more reliable map of peculiar velocities in the local universe.


title: An instance of Vaught's conjecture using algebraic logic

abstract: Let \phi be a first order formula and M be a countable model. \phi^M denotes the set of all assignments that satisfy \phi in M. Let M, N be countable models. A formula \phi distinguishes these models if |\phi^M|\neq |\phi^N|. We show that the number of distinguishable countable models for a complete countable first order theory, satisfies the Glimm Effross dichotomy, hence also Vaught's conjecture. The proof in the presence of equality is fairly easy, though we need infinite conjunctions to implement it and somewhat heavy theorems from descriptive set theory. However, the case without equality seems to be much more difficult (because we cannot count without equality) and in this case algebraic logic comes to our rescue via the representation theory of locally finite quasi polyadic algebras. We show that the equivalence relation induced by such (indistinguishable) models is a Borel subset of the product of the Stone Polish space (consisting of ultarfilters corresponding to models) with itself. We also formuate and prove a Vaught's theorem for certian infinitary extensions of first order logic via the representation theory of dimension complemented algebras. In all case we also count the number of non isomorphic models omitting < covK many non isolated types (the latter is the least cardinal such that the Baire Category theorem fails and also the largest cardinal such tha Martin's axiom restrcited to countable Boolean algebra hold.) In such cases, for locally finite algebras and dimension complemented ones we obtain the same number of non-ismorphic distinguishable models.


title: Self-intersections of trajectories of Lorentz process

abstract: We study the asymptotic behaviour of the number of self-intersections of a trajectory of a periodic planar Lorentz process with strictly convex obstacles and finite horizon. We give precise estimates for its expectation and its variance. As a consequence, we establish the almost sure convergence of the self-intersections with a suitable normalization.


title: k-Leibniz algebras from lower order ones: from Lie triple to Lie l-ple systems

abstract: Two types of higher order Lie $\ell$-ple systems are introduced in this paper. They are defined by brackets with $\ell > 3$ arguments satisfying certain conditions, and generalize the well known Lie triple systems. One of the generalizations uses a construction that allows us to associate a $(2n-3)$-Leibniz algebra $\fL$ with a metric $n$-Leibniz algebra $\tilde{\fL}$ by using a $2(n-1)$-linear Kasymov trace form for $\tilde{\fL}$. Some specific types of $k$-Leibniz algebras, relevant in the construction, are introduced as well. Both higher order Lie $\ell$-ple generalizations reduce to the standard Lie triple systems for $\ell=3$.


title: Improved Anomaly Detection in Crowded Scenes via Cell-based Analysis of Foreground Speed, Size and Texture

abstract: A robust and efficient anomaly detection technique is proposed, capable of dealing with crowded scenes where traditional tracking based approaches tend to fail. Initial foreground segmentation of the input frames confines the analysis to foreground objects and effectively ignores irrelevant background dynamics. Input frames are split into non-overlapping cells, followed by extracting features based on motion, size and texture from each cell. Each feature type is independently analysed for the presence of an anomaly. Unlike most methods, a refined estimate of object motion is achieved by computing the optical flow of only the foreground pixels. The motion and size features are modelled by an approximated version of kernel density estimation, which is computationally efficient even for large training datasets. Texture features are modelled by an adaptively grown codebook, with the number of entries in the codebook selected in an online fashion. Experiments on the recently published UCSD Anomaly Detection dataset show that the proposed method obtains considerably better results than three recent approaches: MPPCA, social force, and mixture of dynamic textures (MDT). The proposed method is also several orders of magnitude faster than MDT, the next best performing method.


title: Experimental observation of chaos-chaos intermittency types in spherical Couette flow

abstract: Flows between concentric, counter rotating spherical boundaries are under investigation in the gap with size equal to inner sphere radius. Outer sphere rotational rate is fixed, while inner sphere rotational rate has time periodic variations. The amplitudes and frequencies of these variations are small relative to both spheres averaged rotational rates. With amplitude increase transition from initial periodical flow to chaos is occurred. To determine state of the flow time series of azimuthal velocity, taken with laser Doppler anemometry, were used. We demonstrate appearance of flow states in the form of chaos-chaos and cycle-chaos-chaos intermittency. A procedure is considered which allow quantitatively confirm distinct properties of different patterns of time alternating flow state with intermittency.


title: Is Every Irreducible Shift of Finite Type Flow Equivalent to a Renewal System?

abstract: Is every irreducible shift of finite type flow equivalent to a renewal system? For the first time, this variation of a classic problem formulated by Adler is investigated, and several partial results are obtained in an attempt to find the range of the Bowen--Franks invariant over the set of renewal systems of finite type. In particular, it is shown that the Bowen--Franks group is cyclic for every member of a class of renewal systems known to attain all entropies realised by shifts of finite type, and several classes of renewal systems with non--trivial values of the invariant are constructed.


title: Dirac fields in curved spacetime as Fermi-Hubbard model with non unitary tunnelings

abstract: In this article we show that a Dirac Hamiltonian in a curved background spacetime can be interpreted, when discretized, as a tight binding Fermi-Hubbard model with non unitary tunnelings. We find the form of the nonunitary tunneling matrices in terms of the metric tensor. The main motivation behind this exercise is the feasibility of such Hamiltonians by means of laser assisted tunnelings in cold atomic experiments. The mapping thus provide a physical interpretation of such Hamiltonians. We demonstrate the use of the mapping on the example of time dependent metric in 2+1 dimensions. Studying the spin dynamics, we find qualitative agreement with known theoretical predictions, namely the particle pair creation in expanding universe.


title: Growth and texture of Spark Plasma Sintered Al2O3 ceramics: a combined analysis of X-rays and Electron Back Scatter Diffraction

abstract: Textured alumina ceramics were obtained by Spark Plasma Sintering (SPS) of undoped commercial a-Al2O3 powders. Various parameters (density, grain growth, grain size distribution) of the alumina ceramics, sintered at two typical temperatures 1400{\deg}C and 1700{\deg}C, are investigated. Quantitative textural and structural analysis, carried out using a combination of Electron Back Scattering Diffraction (EBSD) and X-ray diffraction (XRD), are represented in the form of mapping, and pole figures. The mechanical properties of these textured alumina ceramics include high elastic modulus and hardness value with high anisotropic nature, opening the door for a large range of applications


title: Uniqueness of the direct decomposition of toric manifolds

abstract: In this paper, we study the uniqueness of the direct decomposition of a toric manifold. We first observe that the direct decomposition of a toric manifold as \emph{algebraic varieties} is unique up to order of the factors. An algebraically indecomposable toric manifold happens to decompose as smooth manifold and no criterion is known for two toric manifolds to be diffeomorphic, so the unique decomposition problem for toric manifolds as \emph{smooth manifolds} is highly nontrivial and nothing seems known for the problem so far. We prove that this problem is affirmative if the complex dimension of each factor in the decomposition is less than or equal to two. A similar argument shows that the direct decomposition of a smooth manifold into copies of $\mathbb{C}P^1$ and simply connected closed smooth 4-manifolds with smooth actions of $(S^1)^2$ is unique up to order of the factors.


title: Competition Between Wireless Service Providers: Pricing, Equilibrium and Efficiency

abstract: As the communication network is in transition towards a commercial one controlled by service providers (SP), the present paper considers a pricing game in a communication market covered by several wireless access points sharing the same spectrum and analyzes two business models: monopoly (APs controlled by one SP) and oligopoly (APs controlled by different SPs). We use a Stackelberg game to model the problem: SPs are the leader(s) and end users are the followers. We prove, under certain conditions, the existence and uniqueness of Nash equilibrium for both models and derive their expressions. In order to compare the impact of different business models on social welfare and SPs' profits, we define two metrics: PoCS (price of competition on social welfare) and PoCP (price of competition on profits). For symmetric cross-AP interferences, the tight lower bound of PoCS is 3/4, and that of PoCP is 1.


title: Flux conservation in coherent backscattering and weak localisation of light

abstract: The standard theoretical description of coherent backscattering, accord- ing to which maximally crossed diagrams accounting for interference between counter- propagating path amplitudes are added on top of the incoherent background, violates the fundamental condition of flux conservation. In contrast to predictions of previous theories, we show that including maximally crossed diagrams with one additional scat- tering event does not restore flux conservation. Instead, we propose that the latter is recovered when treating the effects of coherent backscattering and weak localisation in a unified framework. On the basis of this framework, we demonstrate explicitly flux conservation in leading order of the weak disorder parameter 1/(kl).


title: VLT-SINFONI integral field spectroscopy of low-z luminous and ultraluminous infrared galaxies II. 2D extinction structure and distance effects

abstract: We present a 2D study of the internal extinction on (sub)kiloparsec scales of a sample of local (z<0.1) (U)LIRGs, based on near-infrared Pa_a, Br_d, and Br_g line ratios, obtained with VLT-SINFONI integral-field spectroscopy. The 2D extinction (Av) distributions of the objects, map regions of ~3x3 kpc (LIRGs) and ~12x12 kpc (ULIRGs), with average angular resolutions (FWHM) of ~0.2 kpc and ~0.9 kpc, respectively. The individual Av galaxy distributions indicate a very clumpy dust structure already on sub-kiloparsec scales, with values (per spaxel) ranging from Av ~ 1 to 20 mag in LIRGs, and from Av ~ 2 to 15 mag in ULIRGs. As a class, the median values of the distributions are Av=5.3 mag and Av=6.5 mag for the LIRG and ULIRG subsamples, respectively. We evaluated the effects of the galaxy distance in the measurements of the extinction as a function of the linear scale (in kpc) of the spaxel (i.e. due to the limited angular resolution of the observations). If the distribution of the gas/dust and star-forming regions in local LIRGs (63 Mpc, 40 pc/spaxel on average) is the same for galaxies at greater distances, the observed median Av values based on emission line ratios would be a factor ~0.8 lower at the average distance of our ULIRG sample (328 Mpc, 0.2 kpc/spaxel), and a factor ~0.67 for galaxies located at distances of more than 800 Mpc (0.4 kpc/spaxel). This distance effect would have implications for deriving the intrinsic extinction in high-z star-forming galaxies and for subsequent properties such as star formation rate, star formation surface density, and KS- law, based on H_alpha line fluxes. If local LIRGs are analogues of the main-sequence star-forming galaxies at cosmological distances, the extinction values (Av) derived from the observed emission lines in these high-z sources would need to be increased by a factor 1.4 on average.


title: Partial Wave Analysis of Nucleon-Nucleon Scattering below pion production threshold

abstract: We undertake a simultaneous partial wave analysis to proton-proton and neutron-proton scattering data below pion production threshold up to LAB energies of 350MeV. We represent the interaction as a sum of delta-shells in configuration space below 3fm and a charge dependent one pion exchange potential above 3fm together with electromagnetic effects. We obtain chi^2 = 2813|pp + 3985|np with a total of N = 2747|pp + 3691|np data obtained till 2013 and a total number of 46 fitting parameters yielding chi^2 /d.o.f = 1.06. Special attention is paid to estimate the errors of the phenomenological interaction as well as the derived effects on the phase-shifts and scattering amplitudes.


title: On the convergence of probabilities of the random graphs' properties expressed by first-order formulae with a bounded quantifier depth

abstract: An asymptotic behavior of the probabilities of first-order properties of Erdos-Renyi random graph G(N,p), lnp=-alnN, is studied in the article. We prove the covergence law for formulae with quantifier depth bounded by k when a=1/(k-2).


title: Duality in STRIPS planning

abstract: We describe a duality mapping between STRIPS planning tasks. By exchanging the initial and goal conditions, taking their respective complements, and swapping for every action its precondition and delete list, one obtains for every STRIPS task its dual version, which has a solution if and only if the original does. This is proved by showing that the described transformation essentially turns progression (forward search) into regression (backward search) and vice versa. The duality sheds new light on STRIPS planning by allowing a transfer of ideas from one search approach to the other. It can be used to construct new algorithms from old ones, or (equivalently) to obtain new benchmarks from existing ones. Experiments show that the dual versions of IPC benchmarks are in general quite difficult for modern planners. This may be seen as a new challenge. On the other hand, the cases where the dual versions are easier to solve demonstrate that the duality can also be made useful in practice.


title: Higher Spin Contributions to Holographic Fluid Dynamics in $AdS_5/CFT_4$

abstract: We calculate the graviton's $\beta$-function in $AdS$ string-theoretic sigma-model, perturbed by vertex operators for Vasiliev's higher spin gauge fields in $AdS_5$. The result is given by $\beta_{mn}=R_{mn}+4T_{mn}(g,u)$ (with the AdS radius set to 1 and the graviton polarized along the $AdS_5$ boundary), with the matter stress-energy tensor given by that of conformal holographic fluid in $d=4$, evaluated at the temperature given by $T={1\over{\pi}}$. The stress-energy tensor is given by $T_{mn}={g_{mn}}+4u_mu_n+\sum_{N}T^{(N)}_{mn}$ where $u$ is the vector excitation satisfying $u^2=-1$ and $N$ is the order of the gradient expansion in the dissipative part of the tensor. We calculate the contributions up to N=2. The higher spin excitations contribute to the $\beta$-function, ensuring the overall Weyl covariance of the matter stress tensor. We conjecture that the structure of gradient expansion in $d=4$ conformal hydrodynamics at higher orders is controlled by the higher spin operator algebra in $AdS_5$.


title: Ligth-flavour identified charged-hadron production in pp and Pb-Pb collisions at the LHC

abstract: Thanks to the unique detector design adopted to fulfill tracking and particle-identification (PID) requirements (e.g. low momentum cut-off and low material budget), the ALICE experiment provides significant information about hadron production both in pp and Pb-Pb collisions. In particular, the $p_{\rm T}$-differential and integrated production yields of identified particles play a key role in the study of the collective and thermal properties of the matter formed in high-energy heavy-ion collisions. Furthermore, the production of high-$p_{\rm T}$ particles provides insights into the property of the hot medium created in such collisions and the in-medium energy-loss mechanisms. Transverse momentum spectra of $\pi^{\pm}$, K$^{\pm}$, p and $\bar{\rm p}$ are measured at mid-rapidity ($\left|y\right| <~0.5$) over a wide momentum range, from $\sim$~100 MeV/$c$ up to $\sim$~20 GeV/$c$. The current results on light-flavour charged-hadron production will be presented for pp collisions at $\sqrt{s}$ = 0.9, 2.76 and 7 TeV and for Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 2.76 TeV. Integrated production yields, transverse momentum spectra and particle ratios in pp are discussed as a function of the collision energy and compared to previous experiments and commonly-used Monte Carlo models. Pb-Pb collisions at the LHC feature the highest radial flow ever observed and an unexpectedly low p/$\pi$ production ratio. The results are presented as a function of collision centrality and compared to RHIC data in Au-Au collisions at $\sqrt{s_{\rm NN}}$ = 200 GeV and predictions from thermal and hydrodynamic models. The nuclear modification factor ($R_{\rm AA}$) of identified hadrons will also be discussed and compared to unidentified charged particles and theoretical predictions. This is observed to be identical for all particle species at high-$p_{\rm T}$.


title: Extension of zero-one k-law

abstract: We study an asymptotic behavior of the probabilities of first-order properties of random graph G(N,p) in the article. We conider p such that lnp=-alnN, a>0. We find values of parameter a from (1-exp(ln2(1-k)),1) such that the random graph obeys zero-one k-law.


title: Centrality and pT dependence of J/psi suppression in proton-nucleus collisions from parton energy loss

abstract: The effects of parton energy loss and pT-broadening in cold nuclear matter on the pT and centrality dependence, at various rapidities, of J/psi suppression in p-A collisions are investigated. Calculations are systematically compared to E866 and PHENIX measurements. The very good agreement between the data and the theoretical expectations further supports pT-broadening and the associated medium-induced parton energy loss as dominant effects in J/psi suppression in high-energy p-A collisions. Predictions for J/psi (and Upsilon) suppression in p-Pb collisions at the LHC are given.


title: A generalization of Euler numbers to finite Coxeter groups

abstract: It is known that Euler numbers, defined as the Taylor coefficients of the tangent and secant functions, count alternating permutations in the symmetric group. Springer defined a generalization of these numbers for each finite Coxeter group by considering the largest descent class, and computed the value in each case of the classification. We consider here another generalization of Euler numbers for finite Coxeter groups, building on Stanley's result about the number of orbits of maximal chains of set partitions. We present a method to compute these integers and obtain the value in each case of the classification.


title: A simple counterexample to the Jordan-H\"older property for derived categories

abstract: A counterexample to the Jordan-H\"older property for semiorthogonal decompositions of derived categories of smooth projective varieties was constructed by B\"ohning, Graf von Bothmer and Sosna. In this short note we present a simpler example by realizing Bondal's quiver in the derived category of a blowup of the projective space.


title: The isoperimetrix in the dual Brunn-Minkowski theory

abstract: We introduce the dual isoperimetrix which solves the isoperimetric problem in the dual Brunn-Minkowski theory. We then show how the dual isoperimetrix is related to the isoperimetrix from the Brunn-Minkowski theory.


title: On the estimation of normal copula discrete regression models using the continuous extension and simulated likelihood

abstract: The continuous extension of a discrete random variable is amongst the computational methods used for estimation of multivariate normal copula-based models with discrete margins. Its advantage is that the likelihood can be derived conveniently under the theory for copula models with continuous margins, but there has not been a clear analysis of the adequacy of this method. We investigate the asymptotic and small-sample efficiency of two variants of the method for estimating the multivariate normal copula with univariate binary, Poisson, and negative binomial regressions, and show that they lead to biased estimates for the latent correlations, and the univariate marginal parameters that are not regression coefficients. We implement a maximum simulated likelihood method, which is based on evaluating the multidimensional integrals of the likelihood with randomized quasi Monte Carlo methods. Asymptotic and small-sample efficiency calculations show that our method is nearly as efficient as maximum likelihood for fully specified multivariate normal copula-based models. An illustrative example is given to show the use of our simulated likelihood method.


title: Seminormal forms and cyclotomic quiver Hecke algebras of type $A$

abstract: This paper shows that the cyclotomic quiver Hecke algebras of type $A$, and the gradings on these algebras, are intimately related to the classical seminormal forms. We start by classifying all seminormal bases and then give an explicit "integral" closed formula for the Gram determinants of the Specht modules in terms of the combinatorics which utilizes the KLR gradings. We then use seminormal forms to give a deformation of the KLR algebras of type $A$. This makes it possible to study the cyclotomic quiver Hecke algebras in terms of the semisimple representation theory and seminormal forms. As an application we construct a new distinguished graded cellular basis of the cyclotomic KLR algebras of type $A$.


title: On the number of cusps on cuspidal curves on Hirzebruch surfaces

abstract: In this article we give an upper bound for the number of cusps on a cuspidal curve on a Hirzebruch surface. We adapt the results that have been found for a similar question asked for cuspidal curves on the projective plane, and restate the results in this new setting.


title: Diffuse $\gamma$-ray emission from misaligned active galactic nuclei

abstract: Active galactic nuclei (AGN) with jets seen at small viewing angles are the most luminous and abundant objects in the $\gamma$-ray sky. AGN with jets misaligned along the line-of-sight appear fainter in the sky, but are more numerous than the brighter blazars. We calculate the diffuse $\gamma$-ray emission due to the population of misaligned AGN (MAGN) unresolved by the Large Area Telescope (LAT) on the {\it Fermi} Gamma-ray Space Telescope ({\it Fermi}). A correlation between the $\gamma$-ray luminosity and the radio-core luminosity is established and demonstrated to be physical by statistical tests, as well as compatible with upper limits based on {\it Fermi}-LAT data for a large sample of radio-loud MAGN. We constrain the derived $\gamma$-ray luminosity function by means of the source count distribution of the radio galaxies (RGs) detected by the {\it Fermi}-LAT. We finally calculate the diffuse $\gamma$-ray flux due to the whole MAGN population. Our results demonstrate that the MAGN can contribute from 10% up to nearly the entire measured Isotropic Gamma-Ray Background (IGRB). We evaluate a theoretical uncertainty on the flux of almost an order of magnitude.


title: Experimental free energy measurements of kinetic molecular states using fluctuation theorems

abstract: Recent advances in non-equilibrium statistical mechanics and single molecule technologies make it possible to extract free energy differences from irreversible work measurements in pulling experiments. To date, free energy recovery has been focused on native or equilibrium molecular states, whereas free energy measurements of kinetic states (i.e. finite lifetime states that are generated dynamically and are metastable) have remained unexplored. Kinetic states can play an important role in various domains of physics, such as nanotechnology or condensed matter physics. In biophysics, there are many examples where they determine the fate of molecular reactions: protein and peptide-nucleic acid binding, specific cation binding, antigen-antibody interactions, transient states in enzymatic reactions or the formation of transient intermediates and non-native structures in molecular folders. Here we demonstrate that it is possible to obtain free energies of kinetic states by applying extended fluctuation relations. This is shown by using optical tweezers to mechanically unfold and refold DNA structures exhibiting intermediate and misfolded kinetic states.


title: Herschel/HIFI observations of a new interstellar water maser: the 5(32)-4(41) transition at 620.701 GHz

abstract: Using the Herschel Space Observatory's Heterodyne Instrument for the Far-Infrared (HIFI), we have performed mapping observations of the 620.701 GHz 5(32)-4(41) transition of ortho-H2O within a roughly 1.5 x 1.5 arcmin region encompassing the Kleinmann-Low nebula in Orion, and pointed observations of that transition toward the Orion South condensation and the W49N region of high-mass star formation. Using the Effelsberg 100 m radio telescope, we obtained ancillary observations of the 22.23508 GHz 6(16)-5(23) water maser transition; in the case of Orion-KL, the 621 GHz and 22 GHz observations were carried out within 10 days of each other. The 621 GHz water line emission shows clear evidence for strong maser amplication in all three sources, exhibiting narrow (roughly 1 km/s FWHM) emission features that are coincident (kinematically and/or spatially) with observed 22 GHz features. Moreover, in the case of W49N - for which observations were available at three epochs spanning a two year period - the spectra exhibited variability. The observed 621 GHz/22 GHz line ratios are consistent with a maser pumping model in which the population inversions arise from the combined effects of collisional excitation and spontaneous radiative decay, and the inferred physical conditions can plausibly arise in gas heated by either dissociative or non-dissociative shocks. The collisional excitation model also predicts that the 22 GHz population inversion will be quenched at higher densities than that of the 621 GHz transition, providing a natural explanation for the observational fact that 22 GHz maser emission appears to be a necessary but insufficient condition for 621 GHz maser emission.


title: Lattice dynamics in mono- and few-layer sheets of WS2 and WSe2

abstract: Thickness is one of the fundamental parameters that define the electronic, optical, and thermal properties of two-dimensional (2D) crystals. Phonons in molybdenum disulfide (MoS2) were recently found to exhibit unique thickness dependence due to interplay between short and long range interactions. Here we report Raman spectra of atomically thin sheets of WS2 and WSe2 in the mono- to few-layer thickness regime. We show that, similar to the case of MoS2, the characteristic and modes exhibit stiffening and softening with increasing number of layers, respectively, with a small shift of less than 3 cm-1 due to large mass of the atoms. Thickness dependence is also observed in a series of multiphonon bands arising from overtone, combination, and zone edge phonons, whose intensity exhibit significant enhancement in excitonic resonance conditions. Some of these multiphonon peaks are found to be absent only in monolayers. These features provide a unique fingerprint and rapid identification for monolayer flakes.


title: Structures Without Scattered-Automatic Presentation

abstract: Bruyere and Carton lifted the notion of finite automata reading infinite words to finite automata reading words with shape an arbitrary linear order L. Automata on finite words can be used to represent infinite structures, the so-called word-automatic structures. Analogously, for a linear order L there is the class of L-automatic structures. In this paper we prove the following limitations on the class of L-automatic structures for a fixed L of finite condensation rank 1+\alpha. Firstly, no scattered linear order with finite condensation rank above \omega^(\alpha+1) is L-\alpha-automatic. In particular, every L-automatic ordinal is below \omega^\omega^(\alpha+1). Secondly, we provide bounds on the (ordinal) height of well-founded order trees that are L-automatic. If \alpha is finite or L is an ordinal, the height of such a tree is bounded by \omega^{\alpha+1}. Finally, we separate the class of tree-automatic structures from that of L-automatic structures for any ordinal L: the countable atomless boolean algebra is known to be tree-automatic, but we show that it is not L-automatic.


title: Predicting Network Attacks Using Ontology-Driven Inference

abstract: Graph knowledge models and ontologies are very powerful modeling and re asoning tools. We propose an effective approach to model network attacks and attack prediction which plays important roles in security management. The goals of this study are: First we model network attacks, their prerequisites and consequences using knowledge representation methods in order to provide description logic reasoning and inference over attack domain concepts. And secondly, we propose an ontology-based system which predicts potential attacks using inference and observing information which provided by sensory inputs. We generate our ontology and evaluate corresponding methods using CAPEC, CWE, and CVE hierarchical datasets. Results from experiments show significant capability improvements comparing to traditional hierarchical and relational models. Proposed method also reduces false alarms and improves intrusion detection effectiveness.


title: Dynamics and Rheology of Vesicle Suspensions in Wall-Bounded Shear Flow

abstract: The dynamics and rheology of suspensions of fluid vesicles or red blood cells is investigated by a combination of molecular dynamics and mesoscale hydrodynamics simulations in two dimensions. The vesicle suspension is confined between two no-slip walls, which are driven externally to generate a shear flow with shear rate $\dot\gamma$. The flow behavior is studied as a function of $\dot\gamma$, the volume fraction of vesicles, and the viscosity contrast between inside and outside fluids. Results are obtained for the encounter and interactions of two vesicles, the intrinsic viscosity of the suspension, and the cell-free layer near the walls.


title: Variability of gamma-ray emission from blazars on the black hole timescales

abstract: We investigate the variability properties of blazars in the GeV band using the data of the Fermi/LAT telescope. We find that blazars exhibit variability on the scales down to the minimal timescale resolvable by Fermi, which is a function of the peak photon count rate in the LAT. This implies that the real minimal variability timescales for the majority of blazars are typically shorter than those resolvable by the LAT. We find that for several blazars these minimal variability timescales reach those associated to the blazar central engine, the supermassive black hole. At the same time, none of the blazars exhibits variability on the timescale shorter than the black hole horizon light crossing time and/or the period of rotation around the last stable circular orbit. Based on this fact, we argue that the timing properties of the gamma-ray signal could be determined by the processes in the direct vicinity of the supermassive black hole.


title: An estimation of the effective number of electrons contributing to the coordinate measurement with a TPC II

abstract: For time projection chambers (TPCs) the accuracy in measurement of the track coordinates along the pad-row direction deteriorates with the drift distance (z): Resolution**2 = D**2 * z / N_eff, where D is the diffusion constant and N_eff is the effective number of electrons. Experimentally it has been shown that N_eff is smaller than the average number of drift electrons per pad row (<N>). In the previous work we estimated N_eff by means of a simple numerical simulation for argon-based gas mixtures, taking into account the diffusion of electrons only in the pad-row direction [1]. The simulation showed that N_eff could be as small as 30% of <N> because of the combined effect of statistical fluctuations in the number of drift electrons (N) and in their multiplication in avalanches. In this paper, we evaluate the influence of the diffusion normal to the pad-row direction on the effective number of electrons. The de-clustering of the drift electrons due to the diffusion makes N_eff drift-distance dependent. However, its effect was found to be too small to explain the discrepancy between the values of N_eff measured with two TPC prototypes different in size.


title: A Succinct Grammar Compression

abstract: We solve an open problem related to an optimal encoding of a straight line program (SLP), a canonical form of grammar compression deriving a single string deterministically. We show that an information-theoretic lower bound for representing an SLP with n symbols requires at least 2n+logn!+o(n) bits. We then present a succinct representation of an SLP; this representation is asymptotically equivalent to the lower bound. The space is at most 2n log {rho}(1 + o(1)) bits for rho leq 2sqrt{n}, while supporting random access to any production rule of an SLP in O(log log n) time. In addition, we present a novel dynamic data structure associating a digram with a unique symbol. Such a data structure is called a naming function and has been implemented using a hash table that has a space-time tradeoff. Thus, the memory space is mainly occupied by the hash table during the development of production rules. Alternatively, we build a dynamic data structure for the naming function by leveraging the idea behind the wavelet tree. The space is strictly bounded by 2n log n(1 + o(1)) bits, while supporting O(log n) query and update time.


title: Energy and contact of the one-dimensional Fermi polaron at zero and finite temperature

abstract: We use the T-matrix approach for studying highly polarized homogeneous Fermi gases in one dimension with repulsive or attractive contact interactions. Using this approach, we compute ground state energies and values for the contact parameter that show excellent agreement with exact and other numerical methods at zero temperature, even in the strongly interacting regime. Furthermore, we derive an exact expression for the value of the contact parameter in one dimension at zero temperature. The model is then extended and used for studying the temperature dependence of ground state energies and the contact parameter.


title: Universal formula for the muon-induced neutron yield

abstract: The experimental data on the yield of muon-induced neutrons for liquid scintillator, iron and lead accumulated during 60 years of muon interaction underground study have been analyzed. A universal formula connecting the yield with muon energy loss in the matter and neutron production in hadronic and electromagnetic showers is presented.


title: Information-Preserving Markov Aggregation

abstract: We present a sufficient condition for a non-injective function of a Markov chain to be a second-order Markov chain with the same entropy rate as the original chain. This permits an information-preserving state space reduction by merging states or, equivalently, lossless compression of a Markov source on a sample-by-sample basis. The cardinality of the reduced state space is bounded from below by the node degrees of the transition graph associated with the original Markov chain. We also present an algorithm listing all possible information-preserving state space reductions, for a given transition graph. We illustrate our results by applying the algorithm to a bi-gram letter model of an English text.


title: Spontaneous CP Violation in $A_4$ Flavor Symmetry and Leptogenesis

abstract: We propose a simple renormalizable model for the spontaneous CP violation based on $SU(2)_{L}\times U(1)_{Y}\times A_{4}$ symmetry in a radiative seesaw mechanism, which can be guaranteed by an extra $Z_{2}$ symmetry. In our model CP is spontaneously broken at high energies, after breaking of flavor symmetry, by a complex vacuum expectation value of $A_{4}$-triplet and gauge singlet scalar field. We show that the spontaneously generated CP phase could become a natural source of leptogenesis, %CP violation for neutrino oscillation and leptogenesis, respectively. Then, and also investigate CP violation at low energies in the lepton sector and show how the CP phases in PMNS could be arisen through spontaneous symmetry breaking mechanism. As a numerical study, interestingly, we show that the normal mass hierarchy favors relatively large values of $\theta_{13}$, large deviations from maximality of $\theta_{23}<\pi/4$ and Dirac-CP phase $0^{\circ}\leq\delta_{CP}\leq50^{\circ}$ and $300^{\circ}\leq\delta_{CP}\leq360^{\circ}$. For the inverted hierarchy case, the experimentally measured values of $\theta_{13}$ favors $\theta_{23}>\pi/4$ and discrete values of $\delta_{CP}$ around $100^{\circ},135^{\circ},255^{\circ}$ and $300^{\circ}$. Finally, with a successful leptogenesis our numerical results give more predictive values on the Dirac CP phase: for the normal mass hierarchy $1^{\circ}\lesssim\delta_{CP}\lesssim10^{\circ}$ and for inverted one $\delta_{CP}\sim100^{\circ},135^{\circ},300^{\circ}$.


title: Isocurvature Constraints and Anharmonic Effects on QCD Axion Dark Matter

abstract: We revisit the isocurvature density perturbations induced by quantum fluctuations of the axion field by extending a recently developed analytic method and approximations to a time-dependent scalar potential, which enables us to follow the evolution of the axion until it starts to oscillate. We find that, as the initial misalignment angle approaches the hilltop of the potential, the isocurvature perturbations become significantly enhanced, while the non-Gaussianity parameter increases slowly but surely. As a result, the isocurvature constraint on the inflation scale is tightened as Hinf < O(100) GeV for the axion decay constant fa < 10^10 GeV, near the smaller end of the axion dark matter window. We also derive useful formulae for the power spectrum and non-Gaussianity of the isocurvature perturbations.


title: Information, no-arbitrage and completeness for asset price models with a change point

abstract: We consider a general class of continuous asset price models where the drift and the volatility functions, as well as the driving Brownian motions, change at a random time $\tau$. Under minimal assumptions on the random time and on the driving Brownian motions, we study the behavior of the model in all the filtrations which naturally arise in this setting, establishing martingale representation results and characterizing the validity of the NA1 and NFLVR no-arbitrage conditions.


title: A model of H-NS mediated compaction of bacterial DNA

abstract: The Histone-like Nucleoid Structuring protein (H-NS) is a nucleoid-associated protein, which is involved in both gene regulation and DNA compaction. H-NS can bind to DNA in two different ways: in trans, by binding to two separate DNA duplexes, or in cis, by binding to different sites on the same duplex. Based on scanning force microscopy imaging and optical trap-driven unzipping assays, it has recently been suggested that DNA compaction may result from the antagonistic effects of H-NS binding to DNA in trans and cis configurations. In order to get more insight into the compaction mechanism, we constructed a coarse-grained model description of the compaction of bacterial DNA by H-NS. These simulations highlight the fact that DNA compaction indeed results from the subtle equilibrium between several competing factors, which include the deformation dynamics of the plasmid and the several binding modes of protein dimers to DNA, i.e. dangling configurations, cis- and trans-binding. In particular, the degree of compaction is extremely sensitive to the difference in binding energies of the cis and trans configurations. Our simulations also point out that the conformations of the DNA-protein complexes are significantly different in bulk and in planar conditions, suggesting that conformations observed on mica surfaces may differ significantly from those that prevail in living cells.


title: A new approach to multi-modal diffusions with applications to protein folding

abstract: This article demonstrates that flexible and statistically tractable multi-modal diffusion models can be attained by transformation of simple well-known diffusion models such as the Ornstein-Uhlenbeck model, or more generally a Pearson diffusion. The transformed diffusion inherits many properties of the underlying simple diffusion including its mixing rates and distributions of first passage times. Likelihood inference and martingale estimating functions are considered in the case of a discretely observed bimodal diffusion. It is further demonstrated that model parameters can be identified and estimated when the diffusion is observed with additional measurement error. The new approach is applied to molecular dynamics data in form of a reaction coordinate of the small Trp-zipper protein, for which the folding and unfolding rates are estimated. The new models provide a better fit to this type of protein folding data than previous models because the diffusion coefficient is state-dependent.


title: Mean curvature flow of mean convex hypersurfaces

abstract: In the last 15 years, White and Huisken-Sinestrari developed a far-reaching structure theory for the mean curvature flow of mean convex hypersurfaces. Their papers provide a package of estimates and structural results that yield a precise description of singularities and of high curvature regions in a mean convex flow. In the present paper, we give a new treatment of the theory of mean convex (and k-convex) flows. This includes: (1) an estimate for derivatives of curvatures, (2) a convexity estimate, (3) a cylindrical estimate, (4) a global convergence theorem, (5) a structure theorem for ancient solutions, and (6) a partial regularity theorem. Our new proofs are both more elementary and substantially shorter than the original arguments. Our estimates are local and universal. A key ingredient in our new approach is the new non- collapsing result of Andrews. Some parts are also inspired by the work of Perelman. In a forthcoming paper, we will give a new construction of mean curvature flow with surgery based on the theorems established in the present paper.


title: About the creation of proton-anti-proton pair at electron-positron collider in the energy range of the mass $\Psi(3770)$

abstract: The process of electron--positron annihilation into proton--antiproton pair is considered within the vicinity of $\psi(3770)$ resonance. The interference between the pure electromagnetic intermediate state and the $\psi(3770)$ state is evaluated. It is shown that this interference is destructive and the relative phase between these two contributions is large ($\phi_0 \approx 250^o$).


title: Evaluation of the escape widths of the giant dipole resonances in the fermi-liquid theory

abstract: In the theory of the finite fermi-systems [1], it was shown that giant resonances in nuclei can be consider as the zero-sound excitations which exhaust the large part of the energy-weighted sum rules. In the framework of [1] the solutions of the zero-sound dispersion equation in the symmetric nuclear matter, \omega_s(k), are considered. The method of calculation of these solutions is based on the analytical structure of the polarization operators \Pi(\omega,k). The solutions of the dispersion equation, which are real at small k, become complex with k increasing when the overlapping of the collective and 1p1h modes starts. The imaginary part of \omega_s(k) is the result of the collective zero-sound excitation decay to the real particle-hole pairs and can be compared with the escape width of resonances. We compare the experimental energy and escape width of the giant dipole resonance (GDR) in the nucleus A with Re\omega_s(k) and Im\omega_s(k) taken at a definite wave vector k=k_A.


title: Proton-rich nucleosynthesis and nuclear physics

abstract: Although the detailed conditions for explosive nucleosynthesis are derived from astrophysical modeling, nuclear physics determines fundamental patterns in abundance yields, not only for equilibrium processes. Focussing on the nu-p- and the gamma-process, general nucleosynthesis features within the range of astrophysical models, but (mostly) independent of details in the modelling, are presented. Remaining uncertainties due to uncertain Q-values and reaction rates are discussed.


title: L'-band AGPM vector vortex coronagraph's first light on VLT/NACO: Discovery of a late-type companion at two beamwidths from an F0V star

abstract: Context. High contrast imaging has thoroughly combed through the limited search space accessible with first-generation ground-based adaptive optics instruments and the Hubble Space Telescope. Only a few objects were discovered, and many non-detections reported and statistically interpreted. The field is now in need of a technological breakthrough. Aim. Our aim is to open a new search space with first-generation systems such as NACO at the Very Large Telescope, by providing ground-breaking inner working angle (IWA) capabilities in the L' band. The L' band is a sweet spot for high contrast coronagraphy since the planet-to-star brightness ratio is favorable, while the Strehl ratio is naturally higher. Methods. An annular groove phase mask (AGPM) vector vortex coronagraph optimized for the L' band, made from diamond subwavelength gratings was manufactured and qualified in the lab. The AGPM enables high contrast imaging at very small IWA, potentially being the key to unexplored discovery space. Results. Here we present the installation and successful on-sky tests of an L'-band AGPM coronagraph on NACO. Using angular differential imaging, which is well suited to the rotational symmetry of the AGPM, we demonstrated a \Delta L' > 7.5 mag contrast from an IWA ~ 0".09 onwards, during average seeing conditions, and for total integration times of a few hundred seconds.


title: Parameters of galactic disks at optical and NIR wavelengths

abstract: We have analyzed the radial scales, central surface brightnesses, and colors of 404 disks of various types of galaxies. The central surface brightness mu0 and linear disk scale length h vary smoothly along the Hubble sequence of galaxies within a rather narrow interval. The disks of relatively early type galaxies display higher central surface brightnesses in K, higher central surface densities, smaller sizes (relative to the diameter of the galaxy), redder integrated and central colors. The color gradient normalized to the radius of the galaxy and the blue central surface brightness mu0_{0,i}(B) of the disk, are both independent of the galaxy type. The radial disk scales in different photometric bands differ less in early-type than in late-type galaxies. The ratio of linear disk scales measured in different photometric bands increases with the isophote ellipticity e of the disk (the inclination of the galaxy); however, the range of the ratio values for each e value exceeds the range of variations of scale lengths ratio over e. The disks in S0 galaxies have more homogeneous parameters than those in spiral galaxies. However, no sharp boundary in the properties of disks in lenticular, spiral, and irregular galaxies has been found; all parameters vary smoothly along the Hubble sequence. A correlation between the central disk surface brightness and the total luminosity of the galaxy is observed. We also consider the influence of dust on the photometric parameters of the disks. We show that the dust concentrated in dust lines towards the spiral arms and bars does not influence to the scale lengths ratio.


title: Three dimensional complex plasma structures in a combined radio frequency and direct current discharge

abstract: We report on the first detailed analysis of large three dimensional (3D) complex plasma structures in experiments performed in pure rf and combined rf+dc discharge modes. Inductively coupled plasma (ICP) is generated by an rf coil wrapped around the vertically positioned cylindrical glass tube at a pressure of 0.3 mbar. In addition, dc plasma can be generated by applying voltage to the electrodes at the ends of the tube far from the rf coil. The injected monodisperse particles are levitated in the plasma below the coil. A scanning laser sheet and a high resolution camera are used to determine the 3D positions of about $10^5$ particles. The observed bowl-shaped particle clouds reveal coexistence of various structures, including well-distinguished solid-like, less ordered liquid-like, and pronounced string-like phases. New criteria to identify string-like structures are proposed.


title: Pullback exponential attractors for a Cahn-Hilliard-Navier-Stokes system in 2D

abstract: We consider a model for the evolution of a mixture of two incompressible and partially immiscible Newtonian fluids in two dimensional bounded domain. More precisely, we address the well-known model H consisting of the Navier-Stokes equation with non-autonomous external forcing term for the (average) fluid velocity, coupled with a convective Cahn-Hilliard equation with polynomial double-well potential describing the evolution of the relative density of atoms of one of the fluids. We study the long term behavior of solutions and prove that the system possesses a pullback exponential attractor. In particular the regularity estimates we obtain depend on the initial data only through fixed powers of their norms and these powers are uniform with respect to the growth of the polynomial potential considered in the Cahn-Hilliard equation.


title: Topologically protected quantum transport in locally exfoliated bismuth at room temperature

abstract: We report electrical conductance measurements of Bi nanocontacts created by repeated tip-surface indentation using a scanning tunneling microscope at temperatures of 4 K and 300 K. As a function of the elongation of the nanocontact we measure robust, tens of nanometers long plateaus of conductance G0 = 2e^2/h at room temperature. This observation can be accounted for by the mechanical exfoliation of a Bi(111) bilayer, a predicted QSH insulator, in the retracing process following a tip-surface contact. The formation of the bilayer is further supported by the additional observation of conductance steps below G0 before break-up at both temperatures. Our finding provides the first experimental evidence of the possibility of mechanical exfoliation of Bi bilayers, of the existence of the QSH phase in a two-dimensional crystal, and, most importantly, of the observation of the QSH phase at room temperature.


title: Topology across the finite temperature transition studied by overimproved cooling in gluodynamics and QCD

abstract: Gluodynamics and two-flavor QCD at non-zero temperature are studied with the so-called overimproved cooling technique under which caloron solutions may remain stable. We consider topological configurations either at the first occuring stable plateau of topological charge or at the first (anti)selfdual plateau and find the corresponding topological susceptibility at various temperatures on both sides of the thermal transition or crossover. In pure gluodynamics the topological susceptibility drops sharply at the deconfinement temperature while in full QCD it decreases smoothly at temperatures above the pseudocritical one. The results are close to those calculated by other methods. We interpret our findings in terms of the (in)stability of calorons with non-trivial holonomy and their dyon constituents against overimproved cooling.


title: On the existence of representations of finitely presented groups in compact Lie groups

abstract: Given a finite, connected 2-complex $X$ such that $b_2(X)\le1$ we establish two existence results for representations of the fundamental group of $X$ into compact connected Lie groups $G$, with prescribed values on certain loops. If $b_2(X)=1$ we assume $G=SO(3)$ and that the cup product on the first rational cohomology group of $X$ is non-zero.


title: Quintic periods and stability conditions via homological mirror symmetry

abstract: For the Fermat Calabi-Yau threefold and the theory of stability conditions [Bri07], there have been two mathematical aims given by physical reasoning. One is that we should define stability conditions by central charges of quintic periods [Hos04,Kon12,KonSoi13], which extend the Gamma class [KKP,Iri09,Iri11]. The other is that for well-motivated stability conditions on a derived Fukaya-type category, each stable object should be a Lagrangian [ThoYau]. We answer affirmatively to these aims with the simplest homological mirror symmetry (HMS for short) of the Fermat Calabi-Yau threefold [Oka09,FutUed] and stability conditions of Bridgeland type, which we introduce. With HMS, we naturally obtain stability conditions of Bridgeland type by the monodromy around the Gepner point. As consequences, we obtain bases of quintic periods and the mirror map [CdGP] categorically, wall-crossings by quintic periods, and a quasimodular form [KanZag] attached to quintic periods by motivic Donaldson-Thomas invariants [KonSoi08]. The quasimodular form is of the quantum dilogarithm and of a mock modular form [Zag06].


title: Drag coefficient for the air-sea exchange in hurricane conditions

abstract: A physical model is proposed for the prediction of the non-monotonic variation of the drag coefficient, C_d, with wind speed. The model approximates the effective C_d by the area-weighted averaging of the distinct drag coefficients associated with the foam-free and foam totally-covered portions of the sea surface, and identifies the roughness of the sea surface totally covered by foam with the foam bubble size. Based on the available optical and radiometric measurements of the foam fractional coverage and the foam bubble size, the present model yields the effective C_d which is in fair agreement with that obtained from field measurements of the vertical variation of mean wind speed (Powell et al., 2003), which showed a reduction of C_d with wind speed rising to hurricane conditions. The present approach opens new opportunities for modeling of drag coefficient in hurricane conditions by using radiometric measurements instead of direct wind speed measurements.


title: Twisted equivariant K- Theory and K-Homology of Sl3(Z)

abstract: Replaces Previous version. Includes comments on poincare duality for twisted equivariant in the context of proper and discrete actions and the Baum-Connes Conjecture. We use a spectral sequence proposed by C. Dwyer and previous work by Sanchez-Garcia and Soule to compute Twisted Equivariant K-theory groups of the classifying space for proper actions of Sl3(Z). After proving a Universal coefficient theorem in Bredon Cohomology with specific coefficients, we compute the twisted equivariant K-homology and state a relation to the Baum-Connes Conjecture with coefficients.


title: Differential Geometry applied to Acoustics : Non Linear Propagation in Reissner Beams

abstract: Although acoustics is one of the disciplines of mechanics, its "geometrization" is still limited to a few areas. As shown in the work on nonlinear propagation in Reissner beams, it seems that an interpretation of the theories of acoustics through the concepts of differential geometry can help to address the non-linear phenomena in their intrinsic qualities. This results in a field of research aimed at establishing and solving dynamic models purged of any artificial nonlinearity by taking advantage of symmetry properties underlying the use of Lie groups. The geometric constructions needed for reduction are presented in the context of the "covariant" approach.


title: Recovery of Sparse Signals via Generalized Orthogonal Matching Pursuit: A New Analysis

abstract: As an extension of orthogonal matching pursuit (OMP) improving the recovery performance of sparse signals, generalized OMP (gOMP) has recently been studied in the literature. In this paper, we present a new analysis of the gOMP algorithm using restricted isometry property (RIP). We show that if the measurement matrix $\mathbf{\Phi} \in \mathcal{R}^{m \times n}$ satisfies the RIP with $$\delta_{\max \left\{9, S + 1 \right\}K} \leq \frac{1}{8},$$ then gOMP performs stable reconstruction of all $K$-sparse signals $\mathbf{x} \in \mathcal{R}^n$ from the noisy measurements $\mathbf{y} = \mathbf{\Phi x} + \mathbf{v}$ within $\max \left\{K, \left\lfloor \frac{8K}{S} \right\rfloor \right\}$ iterations where $\mathbf{v}$ is the noise vector and $S$ is the number of indices chosen in each iteration of the gOMP algorithm. For Gaussian random measurements, our results indicate that the number of required measurements is essentially $m = \mathcal{O}(K \log \frac{n}{K})$, which is a significant improvement over the existing result $m = \mathcal{O}(K^2 \log \frac{n}{K})$, especially for large $K$.


title: Pseudolikelihood Decimation Algorithm Improving the Inference of the Interaction Network in a General Class of Ising Models

abstract: In this Letter we propose a new method to infer the topology of the interaction network in pairwise models with Ising variables. By using the pseudolikelihood method (PLM) at high temperature, it is generally possible to distinguish between zero and nonzero couplings because a clear gap separate the two groups. However at lower temperatures the PLM is much less effective and the result depends on subjective choices, such as the value of the $\ell_1$ regularizer and that of the threshold to separate nonzero couplings from null ones. We introduce a decimation procedure based on the PLM that recursively sets to zero the less significant couplings, until the variation of the pseudolikelihood signals that relevant couplings are being removed. The new method is fully automated and does not require any subjective choice by the user. Numerical tests have been performed on a wide class of Ising models, having different topologies (from random graphs to finite dimensional lattices) and different couplings (both diluted ferromagnets in a field and spin glasses). These numerical results show that the new algorithm performs better than standard PLM


title: General regularization schemes for signal detection in inverse problems

abstract: The authors discuss how general regularization schemes, in particular linear regularization schemes and projection schemes, can be used to design tests for signal detection in statistical inverse problems. It is shown that such tests can attain the minimax separation rates when the regularization parameter is chosen appropriately. It is also shown how to modify these tests in order to obtain (up to a $\log\log$ factor) a test which adapts to the unknown smoothness in the alternative. Moreover, the authors discuss how the so-called \emph{direct} and \emph{indirect} tests are related via interpolation properties.


title: Universality of TMD distribution functions of definite rank

abstract: Transverse momentum dependent (TMD) distribution and fragmentation functions are described as Fourier transforms of matrix elementscontaining nonlocal combinations of quark and gluon fields. These matrix elements also contain a gauge link operator with a process dependent path, of which the process dependence that can be traced back to the color flow in the process. Expanding into irreducible tensors built from the transverse momenta $p_\st$, we can define a universal set of TMD correlators of definite rank with a well-defined operator structure.


title: Convergence theorems for graph sequences

abstract: In this paper, we deal with a notion of Banach space-valued mappings defined on a set consisting of finite graphs with uniformly bounded vertex degree. These functions will be endowed with certain boundedness and additivity criteria. We examine their normalized long-term behaviour along a particular class of graph sequences. Using techniques developed by Elek, we show convergence in the topology of the Banach space if the corresponding graph sequence possesses a hyperfinite structure. These considerations extend and complement the corresponding results for amenable groups. As an application, we verify the uniform approximation of the integrated density of states for bounded, finite range operators on discrete structures. Further, we extend results concerning an abstract version of Fekete's Lemma for amenable groups and cancellative semigroups to the geometric situation of convergent graph sequences.


title: The dominant imprint of Rossby waves in the climate network

abstract: The connectivity pattern of networks, which are based on a correlation between ground level temperature time series, shows a dominant dense stripe of links in the southern ocean. We show that statistical categorization of these links yields a clear association with the pattern of an atmospheric Rossby wave, one of the major mechanisms associated with the weather system and with planetary scale energy transport. It is shown that alternating densities of negative and positive links (correlations) are arranged in half Rossby wave distances around 3,500 km, 7,000 km and 10,000 km and are aligned with the expected direction of energy flow, distribution of time delays and the seasonality of these waves. It is also shown that long distance links (i.e., of distances larger than 2,000 km) that are associated with Rossby waves are the most dominant in the climate network. Climate networks may thus be used as an efficient new way to detect and analyze Rossby waves, based on reliable and available ground level measurements, in addition to the frequently used 300 hPa reanalysis meridional wind data.


title: Quillen property of real algebraic varieties

abstract: Let I be a conjugation-invariant ideal in the complex polynomial ring with variables z_1,...,z_n and their conjugates. The ideal I has the Quillen property if every real valued, strictly positive polynomial on the real zero set of I in C^n is a sum of hermitian squares modulo I. We first relate the Quillen property to the archimedean property from real algebra. Using hereditary calculus, we then quantize and show that the Quillen property implies the subnormality of commuting tuples of Hilbert space operators satisfying the identities in I. In the finite rank case we give a complete geometric characterization of when the identities in $I$ imply normality for a commuting tuple of matrices. This geometric interpretation provides simple means to refute Quillen's property of an ideal. We also generalize these notions and results from real algebraic sets to semi-algebraic sets in C^n.


title: Scaling laws of the cavity enhancement for nitrogen-vacancy centers in diamond

abstract: We employ a fiber-based optical microcavity with high finesse to study the enhancement of phonon sideband fluorescence of nitrogen-vacancy centers in nanodiamonds. Harnessing the full tunability and open access of the resonator, we explicitly demonstrate the scaling laws of the Purcell enhancement by varying both the mode volume and the quality factor over a large range. While changes in the emission lifetime remain small in the regime of a broadband emitter, we observe an increase of the emission spectral density by up to a factor of 300. This gives a direct measure of the Purcell factor that could be achieved with this resonator and an emitter whose linewidth is narrower than the cavity linewidth. Our results show a method for the realization of wavelength-tunable narrow-band single-photon sources and demonstrate a system that has the potential to reach the strong-coupling regime.


title: Extremal set theory, cubic forms on $\mathbb{F}_2^n$ and Hurwitz square identities

abstract: We consider a family, $\mathcal{F}$, of subsets of an $n$-set such that the cardinality of the symmetric difference of any two elements $F,F'\in\mathcal{F}$ is not a multiple of 4. We prove that the maximal size of $\mathcal{F}$ is bounded by $2n$, unless $n\equiv{}3\mod4$ when it is bounded by $2n+2$. Our method uses cubic forms on $\mathbb{F}_2^n$ and the Hurwitz-Radon theory of square identities. We also apply this theory to obtain some information about boolean cubic forms and so-called additive quadruples.


title: Interplay of Aharonov-Bohm and Berry phases in gate-defined graphene quantum dots

abstract: We study the influence of a magnetic flux tube on the possibility to electrostatically confine electrons in a graphene quantum dot. Without magnetic flux tube, the graphene pseudospin is responsible for a quantization of the total angular momentum to half-integer values. On the other hand, with a flux tube containing half a flux quantum, the Aharonov-Bohm phase and Berry phase precisely cancel, and we find a state at zero angular momentum that cannot be confined electrostatically. In this case, true bound states only exist in regular geometries for which states without zero-angular-momentum component exist, while non-integrable geometries lack confinement. We support these arguments with a calculation of the two-terminal conductance of a gate-defined graphene quantum dot, which shows resonances for a disc-shaped geometry and for a stadium-shaped geometry without flux tube, but no resonances for a stadium-shaped quantum dot with a $\pi$-flux tube.


title: Testing the bootstrap constraints in the strange sector

abstract: In this paper the bootstrap conditions that follow from the general postulates of effective scattering theory (EST) are checked in the strange sector. We construct the system of tree level bootstrap constraints for the renormalization prescriptions fixing the physical content of the theory. Then we perform the numerical testing of corresponding sum rules for the parameters of strange resonances. It is shown that, generally, the bootstrap constraints turn out consistent with presently known data on the strange resonance parameters. At the same time we point out few sum rules which cannot be saturated with modern data and discuss the possible reasons for such discrepancies.


title: Study of \Sigma(1385) and \Xi(1321) hyperon and antihyperon production in deep inelastic muon scattering

abstract: Large samples of \Lambda, \Sigma(1385) and \Xi(1321) hyperons produced in deep-inelastic muon scattering off a ^6LiD target were collected with the COMPASS experimental setup at CERN. The relative yields of \Sigma(1385)^+, \Sigma(1385)^-, \bar{\Sigma}(1385)^-, \bar{\Sigma}(1385)^+, \Xi(1321)^-, and \bar{\Xi}(1321)^+ hyperons decaying into \Lambda(\bar{\Lambda})\pi were measured. The heavy hyperon to \Lambda and heavy antihyperon to \bar{\Lambda} yield ratios were found to be in the range 3.8% to 5.6% with a relative uncertainty of about 10%. They were used to tune the parameters relevant for strange particle production of the LEPTO Monte Carlo generator.


title: Revealing the Complex Transport Behaviors in Warm Dense Hydrogen by Including Nuclear Quantum Effects

abstract: Nuclear quantum effects (NQEs) on the structures and transport properties of dense liquid hydrogen at densities of 10-100 g/cm3 and temperatures of 0.1-1 eV are fully assessed using \textit{ab initio} path-integral molecular dynamics simulations. With the inclusion of NQEs, ionic diffusions are strongly enhanced by the magnitude from 100% to 15% with increasing temperature, while electrical conductivities are significantly suppressed. The analyses of ionic structures and zero-point energy show also the importance of NQEs in these regime. The significant quantum delocalization of ions introduces expressively different scattering cross section between protons compared with classical particle treatments, which can explain the large alterability of transport behaviors. Furthermore, the energy, pressure, and isotope effects are also greatly influenced by NQEs. The complex behaviors show that NQEs can not be neglected for dense hydrogen even in the warm dense regime.


title: Labeling and Retrieval of Emotionally-Annotated Images using WordNet

abstract: Repositories of images with semantic and emotion content descriptions are valuable tools in many areas such as Affective Computing and Human-Computer Interaction, but they are also important in the development of multimodal searchable online databases. Ever growing number of image documents available on the Internet continuously motivates research of better annotation models and more efficient retrieval methods which use mash-up of available data on semantics, scenes, objects, events, context and emotion. Formal knowledge representation of such high-level semantics requires rich, explicit, human but also machine-processable information. To achieve these goals we present an online ontology-based image annotation tool WNtags and demonstrate its usefulness in knowledge representation and image retrieval using the International Affective Picture System database. The WNtags uses WordNet as image tagging glossary but considers Suggested Upper Merged Ontology as the preferred upper labeling formalism. The retrieval is performed using node distance metrics to establish semantic relatedness between a query and the collaboratively weighted tags describing high-level image semantics, after which the result is ranked according to the derived importance. We also elaborate plans to improve the WNtags to create a collaborative Web-based multimedia repository for research in human emotion and attention.


title: Investigation of quantum-dimensional structure parameters by X-ray optical, scanning tunneling and transmission electron microscopy

abstract: Application of the two-wavelength X-ray reflectometry to exploration of Ge/Si(001) hereostructures with dense chains of stacked Ge quantum dots is presented


title: k-Dirac operator and Cartan-Kahler theorem

abstract: We apply the Cartan-Kahler theorem for the k-Dirac operator studied in Clifford analysis and to the parabolic version of this operator. We show that for k = 2 the tableaux of the first prolongations of these two operators are involutive. This gives us a new characterization of the set of initial conditions for the 2-Dirac operator.


title: Oscillatory motion of sheared nanorods beyond the nematic phase

abstract: We study the role of the control parameter triggering nematic order (temperature or concentration) on the dynamical behavior of a system of nanorods under shear. Our study is based on a set of mesoscopic equations of motion for the components of the tensorial orientational order parameter. We investigating these equations via a systematic bifurcation analysis based on a numerical continuation technique, focusing on spatially homogeneous states. Exploring a wide range of parameters we find, unexpectedly, that states with oscillatory motion can exist even under conditions where the equilibrium system is isotropic. These oscillatory states are characterized by wagging motion of the paranematic director, and they occur if the tumbling parameter is sufficiently small. We also present full non-equilibrium phase diagrams, in the plane spanned by the concentration and the shear rate.


title: Representation theorems in modal logic using algebraic logic

abstract: We prove several representation theorems for infinitary predicate modal logic


title: Conditional Tables in practice

abstract: Due to the ever increasing importance of the internet, interoperability of heterogeneous data sources is as well of ever increasing importance. Interoperability can be achieved e.g. through data integration and data exchange. Common to both approaches is the need for the DBMS to be able to store and query incomplete databases. In this report we present PossDB, a DBMS capable of storing and querying incomplete databases. The system is wrapper over PostgreSQL, and the query language is an extension of a subset of standard SQL. Our experimental results show that our system scales well, actually better than comparable systems.


title: Parametric (quasi-Cherenkov) cooperative radiation produced by electron bunches in natural or photonic crystals

abstract: We use numerical modeling to study the features of parametric (quasi-Cherenkov) cooperative radiation arising when an electron bunch passes through a crystal (natural or artificial) under the conditions of dynamical diffraction of electromagnetic waves in the presence of shot noise. It is shown that in both Laue and Bragg diffraction cases, parametric radiation consists of two strong pulses: one emitted at small angles with respect to the particle velocity direction and the other emitted at large angles to it. Under Bragg diffraction conditions, the intensity of parametric radiation emitted at small angles to the particle velocity direction reaches saturation at sufficiently smaller number of particles than the intensity of parametric radiation emitted at large angles. Under Laue diffraction conditions, every pulse contains two strong peaks, which are associated with the emission of electromagnetic waves at the front and back ends of the bunch. The presence of noise causes a chaotic signal in the interval between the two peaks.


title: Gauge invariant bound state equations for quark-antiquark systems in QCD

abstract: Using gauge invariant quark Green's functions, defined with path-ordered gluon field phase factors along polygonal lines, and functional relations among them, two compatible bound state equations of the Dirac type are established for quark-antiquark systems, each relative to the quark or to the antiquark of the system. The kernels of the bound state equations are defined through a series of Wilson loop averages along closed polygonal contours and their functional derivatives on them. A sufficient criterion for spontaneous chiral symmetry breaking is derived, relating the Goldstone boson wave function in the zero total momentum limit with the scalar part of the gauge invariant quark two-point Green's function.


title: Black hole formation in the early universe

abstract: Supermassive black holes with up to a $\rm 10^{9}~M_{\odot}$ dwell in the centers of present-day galaxies, and their presence has been confirmed at z $\geq$ 6. Their formation at such early epochs is still an enigma. Different pathways have been suggested to assemble supermassive black holes in the first billion years after the Big Bang. Direct collapse has emerged as a highly plausible scenario to form black holes as it provides seed masses of $\rm 10^{5}-10^{6}~M_{\odot}$. Gravitational collapse in atomic cooling haloes with virial temperatures T$_{vir} \geq 10^{4}$~K may lead to the formation of massive seed black holes in the presence of an intense background UV flux. Turbulence plays a central role in regulating accretion and transporting angular momentum. We present here the highest resolution cosmological large-eddy simulations to date which track the evolution of high-density regions on scales of $0.25$~AU beyond the formation of the first peak, and study the impact of subgrid-scale turbulence. The peak density reached in these simulations is $\rm 1.2 \times 10^{-8}~g~cm^{-3}$. Our findings show that while fragmentation occasionally occurs, it does not prevent the growth of a central massive object resulting from turbulent accretion and occasional mergers. The central object reaches $\rm \sim 1000~M_{\odot}$ within $4$ free-fall times, and we expect further growth up to $\rm 10^{6}~M_{\odot}$ through accretion in about 1 million years. The direct collapse model thus provides a viable pathway of forming high-mass black holes at early cosmic times.