title: Phase Coexistence and Slow Mixing for the Hard-Core Model on Z^2

abstract: In the hard-core model on a finite graph we are given a parameter lambda>0, and an independent set I arises with probability proportional to lambda^|I|. On infinite graphs a Gibbs distribution is defined as a suitable limit with the correct conditional probabilities. In the infinite setting we are interested in determining when this limit is unique and when there is phase coexistence, i.e., existence of multiple Gibbs states. On finite graphs we are interested in determining the mixing time of local Markov chains. On Z^2 it is conjectured that these problems are related and that both undergo a phase transition at some critical point lambda_c approx 3.79. For phase coexistence, much of the work to date has focused on the regime of uniqueness, with the best result being recent work of Restrepo et al. showing that there is a unique Gibbs state for all lambda < 2.3882. Here we give the first non-trivial result in the other direction, showing that there are multiple Gibbs states for all lambda > 5.3646. Our proof adds two significant innovations to the standard Peierls argument. First, building on the idea of fault lines introduced by Randall, we construct an event that distinguishes two boundary conditions and always has long contours associated with it, obviating the need to accurately enumerate short contours. Second, we obtain vastly improved bounds on the number of contours by relating them to a new class of self-avoiding walks on an oriented version of Z^2. We extend our characterization of fault lines to show that local Markov chains will mix slowly when lambda > 5.3646 on lattice regions with periodic (toroidal) boundary conditions and when lambda > 7.1031 with non-periodic (free) boundary conditions. The arguments here rely on a careful analysis that relates contours to taxi walks and represent a sevenfold improvement to the previously best known values of \lambda.


title: A Liouville theorem for solutions of degenerate Monge-Amp\`ere equations

abstract: In this paper, we give a new proof of a celebrated theorem of J\"orgens which states that every classical convex solution of \[ \det\nabla^2 u (x)=1\quad {in} \mathbb{R}^2 \] has to be a second order polynomial. Our arguments do not use complex analysis, and can be applied to establish such Liouville type theorems for solutions of a class of degenerate Monge-Amp\`ere equations. We prove that every convex generalized (or Alexandrov) solution of \[ \det \nabla^2 u(x_1,x_2)=|x_1|^{\alpha} \quad {in} \mathbb{R}^2, \] where $\alpha>-1$, has to be \[ u(x_1,x_2)= \frac{a}{(\alpha+2)(\alpha+1)}|x_1|^{2+\alpha}+\frac{a b^2}{2}x_1^2 +bx_1x_2+ \frac{1}{2a} x_2^2+\ell(x_1,x_2) \] for some constants $a>0$, $b$ and a linear function $\ell(x_1,x_2)$. This work is motivated by the Weyl problem with nonnegative Gauss curvature.


title: Template banks to search for low-mass binary black holes in advanced gravitational-wave detectors

abstract: Coalescing binary black holes (BBHs) are among the most likely sources for the Laser Interferometer Gravitational-wave Observatory (LIGO) and its international partners Virgo and KAGRA. Optimal searches for BBHs require accurate waveforms for the signal model and effectual template banks that cover the mass space of interest. We investigate the ability of the second-order post-Newtonian TaylorF2 hexagonal template placement metric to construct an effectual template bank, if the template waveforms used are effective one body waveforms tuned to numerical relativity (EOBNRv2). We find that by combining the existing TaylorF2 placement metric with EOBNRv2 waveforms, we can construct an effectual search for BBHs with component masses in the range 3 Msolar <= m_1, m_2 <= 25 Msolar. We also show that the (computationally less expensive) TaylorF2 post-Newtonian waveforms can be used in place of EOBNRv2 waveforms when M <~ 11.4 Msolar. Finally, we investigate the effect of modes other than the dominant l = m = 2 mode in BBH searches. We find that for systems with (m_1/m_2)<= 1.68 or inclination angle: \iota <= 0.31 or \iota >= 2.68 radians, there is no significant loss in the total possible signal-to-noise ratio due to neglecting modes other than l = m = 2 in the template waveforms. For a source population uniformly distributed in spacial volume, over the entire sampled region of the component-mass space, the loss in detection rate (averaged over a uniform distribution of inclination angle and sky-location/polarization angles), remains below ~11%. For binaries with high mass-ratios \textit{and} 0.31 <= \iota <= 2.68, including higher order modes could increase the signal-to-noise ratio by as much as 8% in Advanced LIGO. Our results can be used to construct matched-filter searches in Advanced LIGO and Advanced Virgo.


title: Automatic Verification of Message-Based Device Drivers

abstract: We develop a practical solution to the problem of automatic verification of the interface between device drivers and the OS. Our solution relies on a combination of improved driver architecture and verification tools. It supports drivers written in C and can be implemented in any existing OS, which sets it apart from previous proposals for verification-friendly drivers. Our Linux-based evaluation shows that this methodology amplifies the power of existing verification tools in detecting driver bugs, making it possible to verify properties beyond the reach of traditional techniques.


title: Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck

abstract: Software verification tools have become a lot more powerful in recent years. Even verification of large, complex systems is feasible, as demonstrated in the L4.verified and Verisoft XT projects. Still, functional verification of large software systems is rare - for reasons beyond the large scale of verification effort needed due to the size alone. In this paper we report on lessons learned for verification of large software systems based on the experience gained in microkernel verification in the Verisoft XT project. We discuss a number of issues that impede widespread introduction of formal verification in the software life-cycle process.


title: A Formal Model of a Virtual Filesystem Switch

abstract: This work presents a formal model that is part of our effort to construct a verified file system for Flash memory. To modularize the verification we factor out generic aspects into a common component that is inspired by the Linux Virtual Filesystem Switch (VFS) and provides POSIX compatible operations. It relies on an abstract specification of its internal interface to concrete file system implementations (AFS). We proved that preconditions of AFS are respected and that the state is kept consistent. The model can be made executable and mounted into the Linux directory tree using FUSE.


title: Automatic Function Annotations for Hoare Logic

abstract: In systems verification we are often concerned with multiple, inter-dependent properties that a program must satisfy. To prove that a program satisfies a given property, the correctness of intermediate states of the program must be characterized. However, this intermediate reasoning is not always phrased such that it can be easily re-used in the proofs of subsequent properties. We introduce a function annotation logic that extends Hoare logic in two important ways: (1) when proving that a function satisfies a Hoare triple, intermediate reasoning is automatically stored as function annotations, and (2) these function annotations can be exploited in future Hoare logic proofs. This reduces duplication of reasoning between the proofs of different properties, whilst serving as a drop-in replacement for traditional Hoare logic to avoid the costly process of proof refactoring. We explain how this was implemented in Isabelle/HOL and applied to an experimental branch of the seL4 microkernel to significantly reduce the size and complexity of existing proofs.


title: Distributed Priority Synthesis

abstract: Given a set of interacting components with non-deterministic variable update and given safety requirements, the goal of priority synthesis is to restrict, by means of priorities, the set of possible interactions in such a way as to guarantee the given safety conditions for all possible runs. In distributed priority synthesis we are interested in obtaining local sets of priorities, which are deployed in terms of local component controllers sharing intended next moves between components in local neighborhoods only. These possible communication paths between local controllers are specified by means of a communication architecture. We formally define the problem of distributed priority synthesis in terms of a multi-player safety game between players for (angelically) selecting the next transition of the components and an environment for (demonically) updating uncontrollable variables. We analyze the complexity of the problem, and propose several optimizations including a solution-space exploration based on a diagnosis method using a nested extension of the usual attractor computation in games together with a reduction to corresponding SAT problems. When diagnosis fails, the method proposes potential candidates to guide the exploration. These optimized algorithms for solving distributed priority synthesis problems have been integrated into the VissBIP framework. An experimental validation of this implementation is performed using a range of case studies including scheduling in multicore processors and modular robotics.


title: On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code

abstract: In recent projects on operating-system verification, C and C++ data types are often formalized using a semantics that does not fully specify the precise byte encoding of objects. It is well-known that such an underspecified data-type semantics can be used to detect certain kinds of type errors. In general, however, underspecified data-type semantics are unsound: they assign well-defined meaning to programs that have undefined behavior according to the C and C++ language standards. A precise characterization of the type-correctness properties that can be enforced with underspecified data-type semantics is still missing. In this paper, we identify strengths and weaknesses of underspecified data-type semantics for ensuring type safety of low-level systems code. We prove sufficient conditions to detect certain classes of type errors and, finally, identify a trade-off between the complexity of underspecified data-type semantics and their type-checking capabilities.


title: CTGEN - a Unit Test Generator for C

abstract: We present a new unit test generator for C code, CTGEN. It generates test data for C1 structural coverage and functional coverage based on pre-/post-condition specifications or internal assertions. The generator supports automated stub generation, and data to be returned by the stub to the unit under test (UUT) may be specified by means of constraints. The typical application field for CTGEN is embedded systems testing; therefore the tool can cope with the typical aliasing problems present in low-level C, including pointer arithmetics, structures and unions. CTGEN creates complete test procedures which are ready to be compiled and run against the UUT. In this paper we describe the main features of CTGEN, their technical realisation, and we elaborate on its performance in comparison to a list of competing test generation tools. Since 2011, CTGEN is used in industrial scale test campaigns for embedded systems code in the automotive domain.


title: Static Analysis of Lockless Microcontroller C Programs

abstract: Concurrently accessing shared data without locking is usually a subject to race conditions resulting in inconsistent or corrupted data. However, there are programs operating correctly without locking by exploiting the atomicity of certain operations on a specific hardware. In this paper, we describe how to precisely analyze lockless microcontroller C programs with interrupts by taking the hardware architecture into account. We evaluate this technique in an octagon-based value range analysis using access-based localization to increase efficiency.


title: Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications

abstract: We extend an off-the-shelf, executable formal semantics of C (Ellison and Rosu's K Framework semantics) with the core features of CUDA-C. The hybrid CPU/GPU computation model of CUDA-C presents challenges not just for programmers, but also for practitioners of formal methods. Our formal semantics helps expose and clarify these issues. We demonstrate the usefulness of our semantics by generating a tool from it capable of detecting some race conditions and deadlocks in CUDA-C programs. We discuss limitations of our model and argue that its extensibility can easily enable a wider range of verification tasks.


title: A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

abstract: Timed-arc Petri nets (TAPN) are a well-known time extension of the Petri net model and several translations to networks of timed automata have been proposed for this model. We present a direct, DBM-based algorithm for forward reachability analysis of bounded TAPNs extended with transport arcs, inhibitor arcs and age invariants. We also give a complete proof of its correctness, including reduction techniques based on symmetries and extrapolation. Finally, we augment the algorithm with a novel state-space reduction technique introducing a monotonic ordering on markings and prove its soundness even in the presence of monotonicity-breaking features like age invariants and inhibitor arcs. We implement the algorithm within the model-checker TAPAAL and the experimental results document an encouraging performance compared to verification approaches that translate TAPN models to UPPAAL timed automata.


title: Time-Darts: A Data Structure for Verification of Closed Timed Automata

abstract: Symbolic data structures for model checking timed systems have been subject to a significant research, with Difference Bound Matrices (DBMs) still being the preferred data structure in several mature verification tools. In comparison, discretization offers an easy alternative, with all operations having linear-time complexity in the number of clocks, and yet valid for a large class of closed systems. Unfortunately, fine-grained discretization causes itself a state-space explosion. We introduce a new data structure called time-darts for the symbolic representation of state-spaces of timed automata. Compared with the complete discretization, a single time-dart allows to represent an arbitrary large set of states, yet the time complexity of operations on time-darts remain linear in the number of clocks. We prove the correctness of the suggested reachability algorithm and perform several experiments in order to compare the performance of time-darts and the complete discretization. The main conclusion is that in all our experiments the time-dart method outperforms the complete discretization and it scales significantly better for models with larger constants.


title: Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

abstract: Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore complex and thus less predictable hardware, quantitative and probabilistic guarantees become more and more important. Probabilistic model checking is one technique to automatically obtain these guarantees. First experiences with the automated quantitative analysis of low-level operating-system code confirm the expectation that the naive probabilistic model checking approach rapidly reaches its limits when increasing the numbers of processes. This paper reports on our work-in-progress to tackle the state explosion problem for low-level OS-code caused by the exponential blow-up of the model size when the number of processes grows. We studied the symmetry reduction approach and carried out our experiments with a simple test-and-test-and-set lock case study as a representative example for a wide range of protocols with natural inter-process dependencies and long-run properties. We quickly see a state-space explosion for scenarios where inter-process dependencies are insignificant. However, once inter-process dependencies dominate the picture models with hundred and more processes can be constructed and analysed.


title: Verifying Probabilistic Correctness in Isabelle with pGCL

abstract: This paper presents a formalisation of pGCL in Isabelle/HOL. Using a shallow embedding, we demonstrate close integration with existing automation support. We demonstrate the facility with which the model can be extended to incorporate existing results, including those of the L4.verified project. We motivate the applicability of the formalism to the mechanical verification of probabilistic security properties, including the effectiveness of side-channel countermeasures in real systems.


title: Running PeptideProphet Separately on Replicates Improves Peptide Identification Results

abstract: Limited spectrum coverage is a problem in shotgun proteomics. Replicates are generated to improve the spectrum coverage. When integrating peptide identification results obtained from replicates, the state-of-the-art algorithm PeptideProphet combines Peptide-Spectrum Matches (PSMs) before building the statistical model to calculate peptide probabilities. In this paper, we find the connection between merging results of replicates and Bagging, which is a standard routine to improve the power of statistical methods. Following Bagging's philosophy, we propose to run PeptideProphet separately on each replicate and combine the outputs to obtain the final peptide probabilities. In our experiments, we show that the proposed routine can improve PeptideProphet consistently on a standard protein dataset, a Human dataset and a Yeast dataset.


title: The Projective Envelope of a Cuspidal Representation of a Finite Linear Group

abstract: Let $\ell$ be a prime and let $q$ be a prime power not divisible by $\ell$. Put $G=\mathrm{GL}_n(\mathrm{F}_q)$ and fix an irreducible cuspidal representation, $\bar{\pi}$, of $G$ over a sufficiently large finite field, $k$, of characteristic $\ell$ such that $\bar{\pi}$ is not supercuspidal. We compute the $\mathrm{W}(k)[G]$-endomorphism ring of the projective envelope of $\bar{\pi}$ under the assumption that $\ell>n$. Our computations provide evidence for a conjecture of Helm relating the Bernstein center to the deformation theory of Galois representations.


title: An abelian surface with (1,6)-polarisation

abstract: We use the method of Adler-van Moerbeke and Vanhaecke to show that the general fibre of the hamiltonian system of Dorizzi, Grammaticos and Ramani completes to a (1, 6)-polarised abelian surface.


title: Enhancement of Loop induced 125GeV Higgs pair production through Large-Extra-Dimensions model at the LHC

abstract: Based on the analysis of 5 fb^-1 of data at the LHC, the ATLAS and CMS collaborations have presented evidence for a Higgs boson with a mass in the 125 GeV range. We consider the 125 GeV neutral Higgs pair production process in the context of large-extra-dimensions(LED) model including the Kaluza-Klein(KK) excited gravitons at the LHC. We take into account the LED effects coming from gluon-gluon fusion and quark-antiquark collision channels as well as their corresponding next-to-leading order(NLO) QCD loop induced corrections. We analyse their impacts on both the total cross section and some key distributions. Indeed,pp -> HH has the clear advantage of a lower standard model(SM) background compare to process like pp -> jj, though its SM prediction is very small, it is shown that the LED model raises the cross section of Higgs pair production compare to its SM prediction and enhance the transverse momentum(pHT) and invariant mass(MHH) Distributions especially at high scales of pH T and MHH. By including the NLO QCD loop corrections, the scale dependence of total cross section can be reduced obviously. Choose suitable decay modes like HH -> bbrr or HH -> bbmumu and some simple cuts, we can strongly reduce the SM background but keep most of the LED effects, leading Higgs pair production a promising channel to search LED effects.


title: Selective surface functionalization at regions of high local curvature in graphene

abstract: Monolayer graphene was deposited on a Si wafer substrate decorated with SiO2 nanoparticles (NPs) and then exposed to aryl radicals that were generated in situ from their diazonium precursors. Using micro-Raman mapping, the aryl radicals were found to selectively react with the regions of graphene that covered the NPs. The enhanced chemical reactivity was attributed to the increased strain energy induced by the local mechanical deformation of the graphene.


title: Work relations for time-dependent states

abstract: For time-dependent states generated by an external operation, a generalized free energy may be introduced by the relative entropy with respect to an equilibrium state realized after sufficient relaxation from the time-dependent states. Recently, by studying over-damped systems, Sivak and Crooks presented a formula that relates the generalized free energy with measurable thermodynamic works. We re-derive this relation with emphasizing a connection to an extended Clausius relation proposed in the framework of steady state thermodynamics. As a natural consequence, we generalize this relation to be valid for systems with momentum degrees of freedom, where the Shannon entropy in the generalized free energy is replaced by a symmetric one.


title: Correlation between Line Width and Line Flux of Double-Peaked Broad Halpha of 3C390.3

abstract: In this manuscript, we carefully check the correlation between the line width and the line flux of the double-peaked broad H$\alpha$ of the well-known mapped AGN 3C390.3, in order to show some further distinctions between double-peaked emitters and normal broad line AGN. Based on the Virialization assumption and the empirical relation about $R_{BLR}$, one strong negative correlation of line parameters of the double-peaked broad lines should be expected for 3C390.3, such as the negative correlation confirmed for the mapped broad line object NGC5548. But, based on the public spectra around 1995 from the AGNWATCH project for 3C390.3, one reliable positive correlation is found. In the context of the proposed theoretical accretion disk model for double-peaked emitters, the unexpected positive correlation can be naturally explained, due to different time delays for inner parts and outer parts of disk-like BLR of 3C390.3. Moreover, the Virialization assumption is checked and found to be still available for 3C390.3. However, time-varying size of the BLR of 3C390.3 can not be expected by the empirical relation $R_{BLR}\propto L^{\sim0.5}$, the continuum emission strengthening leads to the size of BLR decreasing (not increasing) in different moments for 3C390.3. Then, we compared our results of 3C390.3 with the previous results reported in the literature for the other double-peaked emitters, and found that before to clearly correct effects from disk physical parameters varying for long-term observed line spectra and effects from the probable 'external' ionizing source with so far unclear structures, it is hard to give one conclusion that the positive correlation can be found for all double-peaked emitters. However, once one positive correlation of broad line parameters was found, the accretion disk origination of the broad line should be firstly considered.


title: Neuro-Fuzzy Computing System with the Capacity of Implementation on Memristor-Crossbar and Optimization-Free Hardware Training

abstract: In this paper, first we present a new explanation for the relation between logical circuits and artificial neural networks, logical circuits and fuzzy logic, and artificial neural networks and fuzzy inference systems. Then, based on these results, we propose a new neuro-fuzzy computing system which can effectively be implemented on the memristor-crossbar structure. One important feature of the proposed system is that its hardware can directly be trained using the Hebbian learning rule and without the need to any optimization. The system also has a very good capability to deal with huge number of input-out training data without facing problems like overtraining.


title: q-Catalan bases and their dual coefficients

abstract: We define q-Catalan bases which are a generalization of the q-polynomials z^n(z,q)_n. The determination of their dual bases involves some q-power series termed dual coefficients. We show how these dual coefficients occur in the solution of some equations with q-commuting coefficients and solve an abstract q-Segner recursion. We study the connection between this theory and Garsia's (1981). The overall flavor of this work is to show how some properties of q-Catalan numbers are in fact instances of much more general results on dual coefficients.


title: Annual Parallax Distance and Secular Motion of the Water Fountain Source IRAS 18286-0959

abstract: We report on results of astrometric observations of water vapor masers in the "water fountain" source IRAS 18286-0959 (I18286) with the VLBI Exploration of Radio Astrometry (VERA). These observations yielded an annual parallax of IRAS 18286-0959, pi=0.277+/-0.041 mas, corresponding to a heliocentric distance of D=3.61(+0.63)(-0.47) kpc. The maser feature, whose annual parallax was measured, showed the absolute proper motion of (mu_alpha, mu_delta)=(-3.2 +/- 0.3, -7.2 +/- 0.2) [mas/yr]. The intrinsic motion of the maser feature in the internal motions of the cluster of features in I18286 does not seem to trace the motion of the bipolar jet of I18286. Taking into account this intrinsic motion, the derived motion of the maser feature is roughly equal to that of the maser source I18286 itself. The proximity of I18286 to the Galactic midplane (z~10 pc) suggests that the parental star of the water fountain source in I18286 should be intermediate-mass AGB/post-AGB star, but the origin of a large deviation of the systemic source motion from that expected from the Galactic rotation curve is still unclear.


title: The HI column density distribution function in faint dwarf galaxies

abstract: We present the HI column density distribution function,\fnh, as measured from dwarf galaxies observed as part of the Faint Irregular Galaxy GMRT (FIGGS) survey. We find that the shape of the dwarf galaxy \fnh\ is significantly different from the \fnh\ for high redshift Damped \lya\ absorbers (DLAs) or the \fnh\ for a representative sample of $z = 0$ gas rich galaxies. The dwarf \fnh\ falls much more steeply at high HI column densities as compared to the other determinations. While $\sim 10%$ of the cross section above $\nh = 10^{20.3} \acc$ at $z = 0$ is provided by dwarf galaxies, the fraction falls to $\lesssim 1%$ by $\nh \sim 10^{21.5} \acc.$ In the local universe, the contribution to the high \nh\ end of the \fnh\ distribution comes predominantly from the inclined disks of large galaxies. Dwarf galaxies, both because of their smaller scale lengths, and their larger intrinsic axial ratios do not produce large HI column densities even when viewed edge-on. If high column density DLAs/GRB hosts correspond to galaxies like the local dwarfs, this would require either that (i) the absorption arises from merging and not isolated systems or (ii) the observed lines of sight are strongly biased towards high column density regions.


title: Modelling of exclusive parton distributions and long-range rapidity correlations for pp collisions at the LHC energy

abstract: Soft pp interactions are considered in the framework of the phenomenological model with color strings formation. Under the assumption, that the elementary collision is realized as interaction of two color dipoles, the total inelastic cross section and the multiplicity of the charged particles are estimated and used for the parameters fixing. The special attention is given to the modelling of exclusive parton distributions taking into account the energy conservation and fixing the mass center that is necessary for the description of correlations, corresponding Monte Carlo procedures are developed for an arbitrary number of partons in a hadron. The string fusion algorithm in a cross-section plane is developed taking into account the finite rapidity width of strings. In this framework the influence of string fusion effects on long-range correlations of charged particles are estimated. The proposed algorithms are planned to be used for studying of heavy ion collisions.


title: A Compactness Theorem for Riemannian Manifolds with Boundary and Applications

abstract: In this paper we prove weak L^{1,p} (and thus C^{\alpha}) compactness for the class of uniformly mean-convex Riemannian n-manifolds with boundary satisfying bounds on curvature quantities, diameter, and (n-1)-volume of the boundary. We obtain two stability theorems from the compactness result. The first theorem applies to 3-manifolds (contained in the aforementioned class) that have Ricci curvature close to 0 and whose boundaries are Gromov-Hausdorff close to a fixed metric on S^2 with positive curvature. Such manifolds are C^{\alpha} close to the region enclosed by a Weyl embedding of the fixed metric into \R^3. The second theorem shows that a 3-manifold with Ricci curvature close to 0 (resp. -2, 2) and mean curvature close to 2 (resp. 2\sqrt 2, 0) is C^{\alpha} close to a metric ball in the space form of constant curvature 0 (resp -1, 1), provided that the boundary is a topological sphere.


title: An optimized correlation function estimator for galaxy surveys

abstract: Measuring the two-point correlation function of the galaxies in the Universe gives access to the underlying dark matter distribution, which is related to cosmological parameters and to the physics of the primordial Universe. The estimation of the correlation function for current galaxy surveys makes use of the Landy-Szalay estimator, which is supposed to reach minimal variance. This is only true, however, for a vanishing correlation function. We study the Landy-Szalay estimator when these conditions are not fulfilled and propose a new estimator that provides the smallest variance for a given survey geometry. Our estimator is a linear combination of ratios between paircounts of data and/or random catalogues (DD, RR and DR). The optimal combination for a given geometry is determined by using lognormal mock catalogues. The resulting estimator is biased in a model-dependent way, but we propose a simple iterative procedure for obtaining an unbiased model- independent estimator.Our method can be easily applied to any dataset and requires few extra mock catalogues compared to the standard Landy-Szalay analysis. Using various sets of simulated data (lognormal, second-order LPT and N-Body), we obtain a 20-25% gain on the error bars on the two-point correlation function for the SDSS geometry and $\Lambda$CDM correlation function. When applied to SDSS data (DR7 and DR9), we achieve a similar gain on the correlation functions, which translates into a 10-15% improvement over the estimation of the densities of matter $\Omega_m$ and dark energy $\Omega_\Lambda$ in an open $\Lambda$CDM model. The constraints derived from DR7 data with our estimator are similar to those obtained with the DR9 data and the Landy-Szalay estimator, which covers a volume twice as large and has a density that is three times higher.


title: Quasinormal modes of regular black holes

abstract: Black hole quasinormal frequencies are complex numbers that encode information on how a black hole relaxes after it has been perturbed and depend on the features of the geometry and on the type of perturbations. On the one hand, the examples studied so far in the literature focused on the case of black hole geometries with singularities in their interior. On the other hand, it is expected that quantum or classical modifications of general relativity may correct the pathological singular behavior of classical black hole solutions. Despite the fact that we do not have at hand a complete theory of quantum gravity, regular black hole solutions can be constructed by coupling gravity to an external form of matter, sometimes modeled by one form or another of nonlinear electrodynamics. It is therefore relevant to compute quasinormal frequencies for these regular solutions and see how differently, from the ordinary ones, regular black holes ring. In this paper, we take a step in this direction and, by computing the quasinormal frequencies, study the quasinormal modes of neutral and charged scalar field perturbations on regular black hole backgrounds in a variety of models.


title: Non-Gaussian error bars in galaxy surveys -- II

abstract: (Abridged) Estimating the uncertainty on the matter power spectrum internally (i.e. directly from the data) is made challenging by the simple fact that galaxy surveys offer at most a few independent samples. In addition, surveys have non-trivial geometries, which make the interpretation of the observations even trickier, but the uncertainty can nevertheless be worked out within the Gaussian approximation. With the recent realization that Gaussian treatments of the power spectrum lead to biased error bars about the dilation of the baryonic acoustic oscillation scale, efforts are being directed towards developing non-Gaussian analyses, mainly from N-body simulations so far. Unfortunately, there is currently no way to tell how the non-Gaussian features observed in the simulations compare to those of the real Universe, and it is generally hard to tell at what level of accuracy the N-body simulations can model complicated non-linear effects such as mode coupling and galaxy bias. We propose in this paper a novel method that aims at measuring non-Gaussian error bars on the matter power spectrum directly from galaxy survey data. We utilize known symmetries of the 4-point function, Wiener filtering and principal component analysis to estimate the full covariance matrix from only four independent fields with minimal prior assumptions. With the noise filtering techniques and only four fields, we are able to recover the Fisher information obtained from a large N=200 sample to within 20 per cent, for k < 1.0 h/Mpc. Finally, we provide a prescription to extract a noise-filtered, non-Gaussian, covariance matrix from a handful of fields in the presence of a survey selection function.


title: Interplay between Spin Polarization and Color Superconductivity in High Density Quark Matter

abstract: Here, it is suggested that a four-point interaction of the tensor type may lead to spin polarization in quark matter at high density. It is found that the two-flavor superconducting phase and the spin polarized phase correspond to distinct local minima of a certain generalized thermodynamical potential. It follows that the transition from one to the other phase occurs passing through true minima with both a spin polarization and a color superconducting gap. It is shown that the quark spin polarized phase is realized at rather high density, while the two-flavor color superconducting phase is realized at a lower density region.


title: The JHU-SDSS metal absorption line catalog: redshift evolution and properties of Mg II absorbers

abstract: We present a generic and fully-automatic method aimed at detecting absorption lines in the spectra of astronomical objects. The algorithm estimates the source continuum flux using a dimensionality reduction technique, nonnegative matrix factorization, and then detects and identifies metal absorption lines. We apply it to a sample of ~100,000 quasar spectra from the Sloan Digital Sky Survey and compile a sample of ~40,000 Mg II & Fe II absorber systems, spanning the redshift range 0.4< z < 2.3. The corresponding catalog is publicly available. We study the statistical properties of these absorber systems and find that the rest equivalent width distribution of strong Mg II absorbers follows an exponential distribution at all redshifts, confirming previous studies. Combining our results with recent near-infrared observations of Mg II absorbers we introduce a new parametrization that fully describes the incidence rate of these systems up to z~5. We find the redshift evolution of strong Mg II absorbers to be remarkably similar to the cosmic star formation history over 0.4<z<5.5 (the entire redshift range covered by observations), suggesting a physical link between these two quantities.


title: Dual techniques for scheduling on a machine with varying speed

abstract: We study scheduling problems on a machine with varying speed. Assuming a known speed function we ask for a cost-efficient scheduling solution. Our main result is a PTAS for minimizing the total weighted completion time in this setting. This also implies a PTAS for the closely related problem of scheduling to minimize generalized global cost functions. The key to our results is a re-interpretation of the problem within the well-known two-dimensional Gantt chart: instead of the standard approach of scheduling in the {\em time-dimension}, we construct scheduling solutions in the weight-dimension. We also consider a dynamic problem variant in which deciding upon the speed is part of the scheduling problem and we are interested in the tradeoff between scheduling cost and speed-scaling cost, which is typically the energy consumption. We observe that the optimal order is independent of the energy consumption and that the problem can be reduced to the setting where the speed of the machine is fixed, and thus admits a PTAS. Furthermore, we provide an FPTAS for the NP-hard problem variant in which the machine can run only on a fixed number of discrete speeds. Finally, we show how our results can be used to obtain a~$(2+\eps)$-approximation for scheduling preemptive jobs with release dates on multiple identical parallel machines.


title: Instability of the linearized problem in multiwave tomography of recovery both the source and the speed

abstract: In this paper we consider the linearized problem of recovering both the sound speed and the thermal absorption arising in thermoacoustic and photoacoustic tomography. We show that the problem is unstable in any scale of Sobolev spaces.


title: Adaptive Interference Alignment with CSI Uncertainty

abstract: Interference alignment (IA) is known to significantly increase sum-throughput at high SNR in the presence of multiple interfering nodes, however, the reliability of IA is little known, which is the subject of this paper. We study the error performance of IA and compare it with conventional orthogonal transmission schemes. Since most IA algorithms require extensive channel state information (CSI), we also investigate the impact of CSI imperfection (uncertainty) on the error performance. Our results show that under identical rates, IA attains a better error performance than the orthogonal scheme for practical signal to noise ratio (SNR) values but is more sensitive to CSI uncertainty. We design bit loading algorithms that significantly improve error performance of the existing IA schemes. Furthermore, we propose an adaptive transmission scheme that not only considerably reduces error probability, but also produces robustness to CSI uncertainty.


title: The Galactic R Coronae Borealis Stars and the Final He-shell Flash Object V4334 Sgr (Sakurai's Object): A Comparison

abstract: The high resolution optical spectra of H-deficient stars, R Coronae Borealis stars and H-deficient carbon stars are analyzed by synthesizing the C2 Swan bands (0,1), (0,0), and (1,0) using our detailed line-list and Uppsala model atmosphere, to determine the C-abundances and the 12C/13C ratios which are potential clues to the formation process of these stars. The C-abundances derived from C2 bands are about the same for the adopted models constructed with different carbon abundances over the range 8.5 (C/He = 0.1%) to 10.5 (C/He = 10%). The carbon abundances derived from C I lines are a factor of four lower than that adopted for the model atmosphere over the same C/He interval, as reported by Asplund et al.: 'the carbon problem'. In principle, the carbon abundances obtained from C2 Swan bands and that adopted for the model atmosphere can be equated for a particular choice of C/He that varies from star to star (unlike C I lines). Then, the carbon problem for C2 bands is eliminated. However, such C/He ratios are in general less than those of the extreme helium stars, the seemingly natural relatives to the RCB and HdC stars. The derived carbon abundances and the 12C/13C ratios are discussed in light of the double degenerate (DD) and the final flash (FF) scenarios. The carbon abundance and the 12C/13C ratios for the FF product, Sakurai's Object is derived. The carbon abundance in the Sakurai's object is 10 times higher than in the RCB star VZ Sgr. On an average, the carbon abundance in the Sakurai's Object is about 10 to 100 times higher than in RCB stars. The 12C/13C ratio in Sakurai's Object is 3.4, the equilibrium value, as expected for FF products.


title: Sensitivity Analysis of an Inverse Problem for the Wave Equation with Caustics

abstract: The paper investigates the sensitivity of the inverse problem of recovering the velocity field in a bounded domain from the boundary dynamic Dirichlet-to-Neumann map (DDtN) for the wave equation. Three main results are obtained: (1) assuming that two velocity fields are non-trapping and are equal to a constant near the boundary, it is shown that the two induced scattering relations must be identical if their corresponding DDtN maps are sufficiently close; (2) a geodesic X-ray transform operator with matrix-valued weight is introduced by linearizing the operator which associates each velocity field with its induced Hamiltonian flow. A selected set of geodesics whose conormal bundle can cover the cotangent space at an interior point is used to recover the singularity of the X-ray transformed function at the point; a local stability estimate is established for this case. Although fold caustics are allowed along these geodesics, it is required that these caustics contribute to a smoother term in the transform than the point itself. The existence of such a set of geodesics is guaranteed under some natural assumptions in dimension greater than or equal to three by the classification result on caustics and regularity theory of Fourier Integral Operators. The interior point with the above required set of geodesics is called "fold-regular"; (3) assuming that a background velocity field with every interior point fold-regular is fixed and another velocity field is sufficiently close to it and satisfies a certain orthogonality condition, it is shown that if the two corresponding DDtN maps are sufficiently close then they must be equal.


title: Short range asymptotic behavior of the wave-functions of interacting spin-half fermionic atoms with spin-orbit coupling: a model study

abstract: We consider spin-half fermionic atoms with isotropic Rashba spin-orbit coupling in three directions. The interatomic potential is modeled by a square well potential. We derive the analytic form of the asymptotic wave-functions at short range of two fermions in the subspace of zero net momentum and zero total angular momentum. We show that the spin-orbit coupling has perturbative effects on the short range asymptotic behavior of the wave-functions away from resonances. We argue that our conclusion should hold generally.


title: Homogenization of a Double Porosity Model In Deformable Media

abstract: The paper addresses the homogenization of a family of micro-models for the flow of a slightly compressible fluid in a poroelastic matrix containing periodically distibuted poroelastic inclusions, with low permeabilities and with imperfect contact on the interface. The micro-models are based on Biot's system for consolidation processes in each phase, with interfacial barrier formulation. Using the two-scale convergence technique, it is shown that the derived system is a general model of that proposed by Aifantis, plus an extra memory term.


title: The Kastler-Kalau-Walze type theorem for 6-dimensional manifolds with boundary

abstract: In this paper, we define lower dimensional volumes of spin manifolds with boundary. We compute the lower dimensional volume ${\rm Vol}_{6}^{(1,3)}$ for 6-dimensional spin manifolds with boundary and the gravity on boundary is derived by the noncommutative residue associated with Dirac operators.For 6-dimensional manifolds with boundary, we also get a Kastler-Kalau-Walze type theorem for a general fourth order operator.


title: Critical parameters from trap-size scaling in trapped particle systems

abstract: We investigate the critical behavior of trapped particle systems at the low-temperature superfluid transition. In particular, we consider the three-dimensional Bose-Hubbard model in the presence of a trapping harmonic potential coupled with the particle density, which is a realistic model of cold bosonic atoms in optical lattices. We present a numerical study based on quantum Monte Carlo simulations, analyzed in the framework of the trap-size scaling (TSS). We show how the critical parameters can be derived from the trap-size dependences of appropriate observables, matching them with TSS. This provides a systematic scheme which is supposed to exactly converge to the critical parameters of the transition in the large trap-size limit. Our numerical analysis may provide a guide for experimental investigations of trapped systems at finite-temperature and quantum transitions, showing how critical parameters may be determined by looking at the scaling of the critical modes with respect to the trap size, i.e. by matching the trap-size dependence of the experimental data with the expected TSS Ansatz.


title: Null-polygonal minimal surfaces in AdS_4 from perturbed W minimal models

abstract: We study the null-polygonal minimal surfaces in AdS_4, which correspond to the gluon scattering amplitudes/Wilson loops in N=4 super Yang-Mills theory at strong coupling. The area of the minimal surfaces with n cusps is characterized by the thermodynamic Bethe ansatz (TBA) integral equations or the Y-system of the homogeneous sine-Gordon model, which is regarded as the SU(n-4)_4/U(1)^{n-5} generalized parafermion theory perturbed by the weight-zero adjoint operators. Based on the relation to the TBA systems of the perturbed W minimal models, we solve the TBA equations by using the conformal perturbation theory, and obtain the analytic expansion of the remainder function around the UV/regular-polygonal limit for n=6 and 7. We compare the rescaled remainder function for n=6 with the two-loop one, to observe that they are close to each other similarly to the AdS_3 case.


title: Asteroseismology of the ZZ Ceti star HS 0507+0434B

abstract: The pulsating DA white dwarfs (ZZ Ceti stars) are $g$-mode non-radial pulsators. Asteroseismology provides strong constraints on their global parameters and internal structure. Since all the DA white dwarfs falling in the ZZ Ceti instability strip do pulsate, the internal structure derived from asteroseismology brings knowledge for the DA white dwarfs as a whole group. HS 0507+0434B is one of the ZZ Ceti stars which lies approximately in the middle of the instability strip for which we have undertaken a detailed asteroseismological study. We carried out multisite observation campaigns in 2007 and from December 2009 to January 2010. In total, 206 hours of photometric time-series have been collected. They have been analysed by means of Fourier analysis and simultaneous multi-frequency sine-wave fitting. In total, 39 frequency values are resolved including 6 triplets and a number of linear combinations. We identify the triplets as $\ell$=1 $g$-modes split by rotation. We derived the period spacing, the rotational splitting and the rotation rate. From the comparison of the observed periods with the theoretical periods of a series of models we estimate the fundamental parameters of the star: its total mass M$_{*}$/M$_{\odot}$ = 0.675, its luminosity L/L$_{\odot}$=3.5$\times 10^{-3}$, and its hydrogen mass fraction M$_{H}$/M$_{*}$= 10$^{-8.5}$.


title: On the degeneracy of optimal transportation

abstract: We extend a dimensional upper bound on how much an optimal transport map can degenerate for the quadratic transportation cost, originally due to Caffarelli, to cost functions that satisfy the curvature condition of Ma, Trudinger, and Wang.


title: Observation of finite excess noise in the voltage-biased quantum Hall regime as a precursor for breakdown

abstract: We performed noise measurements in a two-dimensional electron gas to investigate the nonequilibrium quantum Hall effect (QHE) state. While excess noise is perfectly suppressed around the zero-biased QHE state reflecting the dissipationless electron transport of the QHE state, considerable finite excess noise is observed in the breakdown regime of the QHE. The noise temperature deduced from the excess noise is found to be of the same order as the energy gap between the highest occupied Landau level and the lowest empty one. Moreover, unexpected finite excess noise is observed at a finite source-drain bias voltagesmaller than the onset voltage of the QHE breakdown, which indicates finite dissipation in the QHE state and may be related to the prebreakdown of the QHE.


title: An approach of the Minimal Model Program for horospherical varieties via moment polytopes

abstract: We describe the Minimal Model Program in the family of $\mathbb{Q}$-Gorenstein projective horospherical varieties, by studying a family of polytopes defined from the moment polytope of a Cartier divisor of the variety we begin with. In particular, we generalize the results on MMP in toric varieties due to M. Reid, and we complete the results on MMP in spherical varieties due to M. Brion in the case of horospherical varieties.


title: Magnetic moment operator of non-Dirac particles and some elements of polarization $ep$-experiments

abstract: An explicit form of the magnetic moment tensor operator for non-Dirac particles with rest spin 1/2 and its essential difference from the spin operator are established. Possible consequences of the last fact for the description of the spin rotation in the magnetic field and for the values of magnetic moments of some nuclei, as well as the impact of this and other facts on the validity of modelling the azimuthal asymmetry of the secondary-scattered protons in $ep$-experiments are noted.


title: A decomposition approach for the discrete-time approximation of BSDEs with a jump II: the quadratic case

abstract: We study the discrete-time approximation for solutions of quadratic forward back- ward stochastic differential equations (FBSDEs) driven by a Brownian motion and a jump process which could be dependent. Assuming that the generator has a quadratic growth w.r.t. the variable z and the terminal condition is bounded, we prove the convergence of the scheme when the number of time steps n goes to infinity. Our approach is based on the companion paper [15] and allows to get a convergence rate similar to that of schemes of Brownian FBSDEs.


title: Two-dimensional disorder for broadband, omnidirectional and polarization-insensitive absorption

abstract: The surface of thin-film solar cells can be tailored with photonic nanostructures to allow light trapping in the absorbing medium. This in turn increases the optical thickness of the film and thus enhances their absorption. Such a coherent light trapping is generally accomplished with deterministic photonic architectures. Here, we experimentally explore the use of a different nanostructure, a disordered one, for this purpose. We show that the disorder-induced modes in the film allow improvements in the absorption over a broad range of frequencies and impinging angles.


title: Topology of real Milnor fibration for non-isolated singularities

abstract: We consider a real analytic map $F=(f_1,...,f_k) : (\mathbb{R}^n,0) \rightarrow (\mathbb{R}^k,0)$, $2 \le k \le n-1$, that satisfies Milnor's conditions (a) and (b) introduced by D. Massey. This implies that every real analytic $f_I=(f_{i_1},...,f_{i_l}) : (\mathbb{R}^n,0) \rightarrow (\mathbb{R}^l,0)$, induced from $F$ by projections where $1 \le l \le n-2$ and $I=\{i_1,...,i_l\}$, also satisfies Milnor's conditions (a) and (b). We give several relations between the Euler characteristics of the Milnor fibre of $F$, the Milnor fibres of the maps $f_I$, the link of $F^{-1}(0)$ and the links of $f_I^{-1}(0)$.


title: Monte Carlo simulation of the effects of higher order anisotropy on the spin reorientation transition in the two dimensional Heisenberg model with long range interactions

abstract: The strength of perpendicular anisotropy is known to drive the spin reorientation in thin magnetic films. Here we consider the effect different order anisotropies have on two phase transitions; the spin reorientation transition and the orientational order transition. We find that the relative magnitude of different order anisotropies can significantly enhance or suppress the degree to which the system reorients. Specifically Monte Carlo simulations reveal significant changes in the cone angle and planar magnetization. In order to facilitate rapid computation we have developed a stream processing technique, suitable for use on GPU systems, for computing the transition probabilities in two dimensional systems with dipole interactions.


title: Log Terminal Singularities

abstract: In this paper we give a new point of view for optimizing the definitions related to the study of singularities of normal varieties, introduced in [dFH09] and further studied in [Urb12a] and [Urb12b], in relation to the Minimal Model Program. We introduce a notion of discrepancy for normal varieties, and we define log terminal+ singularities. We use finite generation to relate these new singularities with log terminal singularities (in the sense of [dFH09]).


title: Disk accretion onto a magnetized star

abstract: The problem of interaction of the rotating magnetic field, frozen to a star, with a thin well conducting accretion disk is solved exactly. It is shown that a disk pushes the magnetic field lines towards a star, compressing the stellar dipole magnetic field. At the point of corotation, where the Keplerian rotation frequency coincides with the frequency of the stellar rotation, the loop of the electric current appears. The electric currents flow in the magnetosphere only along two particular magnetic surfaces, which connect the corotation region and the inner edge of a disk with the stellar surface. It is shown that the closed current surface encloses the magnetosphere. Rotation of a disk is stopped at some distance from the stellar surface, which is 0.55 of the corotation radius. Accretion from a disk spins up the stellar rotation. The angular momentum transferred to the star is determined.


title: Electromagnetic interaction of a magnetized rotating star with a conducting disk

abstract: A conducting disk significantly changes the generation of the electromagnetic radiation excited by the rotation of the magnetic field frozen to a star. Due to the reflection of waves from a disk there appear waves propagating toward a star, not only outward a star as it takes place for the magneto-dipole radiation. Because that the angular momentum can be transformed from a disk to a star when the inner edge of a disk approaches the light surface of a rotating star. This is purely electromagnetic effect. At some distance of a disk from a star, $r_d=r^*\simeq c/\omega_s$, the stellar angular momentum losses due to the electromagnetic radiation become zero. It results the stable stellar rotation.


title: Visual illusion due to the interaction of flickering and acoustic vibrotactile signals

abstract: We studied the influence of mechanical vibrotactile signals in the acoustic range to the visual perception of flickering images. These images are shown on a CRT screen intermittent at about 75 Hz, without external perturbations are perceived as constant and stable. However, if presented together with a controlled acoustical vibration an illusion is perceived. The images appears to float out of the screen, while the rest of the room is still perceived normally. The acoustical signal given to the subjects were of very low frequency (below 100Hz) and low amplitude (almost inaudible). The stimuli were transmitted through direct contact to the subject's chin with the use of a plastic stick connected to a speaker. The nature of the illusion is described and a basic theoretical model is given.


title: Optimal Power and Range Adaptation for Green Broadcasting

abstract: Improving energy efficiency is key to network providers maintaining profit levels and an acceptable carbon footprint in the face of rapidly increasing data traffic in cellular networks in the coming years. The energy-saving concept studied in this paper is the adaptation of a base station's (BS's) transmit power levels and coverage area according to channel conditions and traffic load. The traffic load in cellular networks exhibits significant fluctuations in both space and time, which can be exploited, through cell range adaptation, for energy saving. In this paper, we design short- and long-term BS power control (STPC and LTPC respectively) policies for the OFDMA-based downlink of a single-cell system, where bandwidth is dynamically and equally shared among a random number of mobile users (MUs). STPC is a function of all MUs' channel gains that maintains the required user-level quality of service (QoS), while LTPC (including BS on-off control) is a function of traffic density that minimizes the long-term energy consumption at the BS under a minimum throughput constraint. We first develop a power scaling law that relates the (short-term) average transmit power at BS with the given cell range and MU density. Based on this result, we derive the optimal (long-term) transmit adaptation policy by considering a joint range adaptation and LTPC problem. By identifying the fact that energy saving at BS essentially comes from two major energy saving mechanisms (ESMs), i.e. range adaptation and BS on-off power control, we propose low-complexity suboptimal schemes with various combinations of the two ESMs to investigate their impacts on system energy consumption. It is shown that when the network throughput is low, BS on-off power control is the most effective ESM, while when the network throughput is higher, range adaptation becomes more effective.


title: Direct integrals of strongly irreducible operators

abstract: Strongly irreducible operators can be considered as building blocks for bounded linear operators on complex separable Hilbert spaces. Many bounded linear operators can be written as direct sums of at most countably many strongly irreducible operators. In this paper, we show that a bounded linear operator A is similar to a direct integral of strongly irreducible operators if its commutant contains a bounded maximal abelian set of idempotents. We find that bounded linear operators which are similar to direct integrals of strongly irreducible operators form a dense subset of L(H) in the operator norm.


title: Chaotic Inflation with a Fractional Power-Law Potential in Strongly Coupled Gauge Theories

abstract: Models of chaotic inflation with a fractional power-law potential are not only viable but also testable in the foreseeable future. We show that such models can be realized in simple strongly coupled supersymmetric gauge theories. In these models, the energy scale during inflation is dynamically generated by the dimensional transmutation due to the strong gauge dynamics. Therefore, such models not only explain the origin of the fractional power in the inflationary potential but also provide a reason why the energy scale of inflation is much smaller than the Planck scale.


title: Equilibrium states in negative curvature

abstract: With their origin in thermodynamics and symbolic dynamics, Gibbs measures are crucial tools to study the ergodic theory of the geodesic flow on negatively curved manifolds. We develop a framework (through Patterson-Sullivan densities) allowing us to get rid of compactness assumptions on the manifold, and prove many existence, uniqueness and finiteness results of Gibbs measures. We give many applications, to the Variational Principle, the counting and equidistribution of orbit points and periods, the unique ergodicity of the strong unstable foliation and the classification of Gibbs densities on some Riemannian covers.


title: A similarity invariant of a class of n-normal operators in terms of K-theory

abstract: In this paper, we prove an analogue of the Jordan canonical form theorem for a class of $n$-normal operators on complex separable Hilbert spaces in terms of von Neumann's reduction theory. This is a continuation of our study of bounded linear operators, the commutants of which contain bounded maximal abelian set of idempotents. Furthermore, we give a complete similarity invariant for this class of operators by $K$-theory for Banach algebras.


title: A Computational Model and Convergence Theorem for Rumor Dissemination in Social Networks

abstract: The spread of rumors, which are known as unverified statements of uncertain origin, may cause tremendous number of social problems. If it would be possible to identify factors affecting spreading a rumor (such as agents' desires, trust network, etc.), then this could be used to slowdown or stop its spreading. A computational model that includes rumor features and the way a rumor is spread among society's members, based on their desires, is therefore needed. Our research is centering on the relation between the homogeneity of the society and rumor convergence in it and result shows that the homogeneity of the society is a necessary condition for convergence of the spreading rumor.


title: "Strongly interacting matter in magnetic fields": an overview

abstract: This is an introduction to the volume of Lecture Notes in Physics on "Strongly interacting matter in magnetic fields". The volume combines contributions written by a number of experts on different aspects of the problem. The response of QCD matter to intense magnetic fields has attracted a lot of interest recently. On the theoretical side, this interest stems from the possibility to explore the plethora of novel phenomena arising from the interplay of magnetic field with QCD dynamics. On the experimental side, the interest is motivated by the recent results on the behavior of quark-gluon plasma in a strong magnetic field created in relativistic heavy ion collisions at RHIC and LHC. The purpose of this introduction is to provide a brief overview and a guide to the individual contributions where these topics are covered in detail.


title: On the Probability of Generating a Lattice

abstract: We study the problem of determining the probability that m vectors selected uniformly at random from the intersection of the full-rank lattice L in R^n and the window [0,B)^n generate $\Lambda$ when B is chosen to be appropriately large. This problem plays an important role in the analysis of the success probability of quantum algorithms for solving the Discrete Logarithm Problem in infrastructures obtained from number fields and also for computing fundamental units of number fields. We provide the first complete and rigorous proof that 2n+1 vectors suffice to generate L with constant probability (provided that B is chosen to be sufficiently large in terms of n and the covering radius of L and the last n+1 vectors are sampled from a slightly larger window). Based on extensive computer simulations, we conjecture that only n+1 vectors sampled from one window suffice to generate L with constant success probability. If this conjecture is true, then a significantly better success probability of the above quantum algorithms can be guaranteed.


title: Supersymmetric unification and R symmetries

abstract: We review the role of R symmetries in models of supersymmetric unification in four and more dimensions, and in string theory. We show that, if one demands anomaly freedom and fermion masses, only R symmetries can forbid the supersymmetric Higgs mass term mu. We then review the proof that R symmetries are not available in conventional grand unified theories (GUTs) and argue that this prevents natural solutions to the doublet-triplet splitting problem in four dimensions. On the other hand, higher-dimensional GUTs do not suffer from this problem. We briefly comment on an explicit string-derived model in which the mu and dimension five proton decay problems are solved simultaneously by an order four discrete R symmetry. We also comment on the higher-dimensional origin of this symmetry.


title: A simple non-parametric Topic Mixture for Authors and Documents

abstract: This article reviews the Author-Topic Model and presents a new non-parametric extension based on the Hierarchical Dirichlet Process. The extension is especially suitable when no prior information about the number of components necessary is available. A blocked Gibbs sampler is described and focus put on staying as close as possible to the original model with only the minimum of theoretical and implementation overhead necessary.


title: Notes on Fano varieties of complete intersections

abstract: Fano varieties are subvarieties of the Grassmannian whose points parametrize linear subspaces contained in a given projective variety. These expository notes give an account of results on Fano varieties of complete intersections, with a view toward an application in machine learning. The prerequisites have been kept to a minimum in order to make these results accessible to a broad audience.


title: Major contributor to AGN feedback: VLT X-shooter observations of SIV BAL QSO outflows

abstract: We present the most energetic BALQSO outflow measured to date, with a kinetic luminosity of at least 10^46 ergs/s, which is 5% of the bolometric luminosity of this high Eddington ratio quasar. The associated mass flow rate is 400 solar masses per year. Such kinetic luminosity and mass flow rate should provide strong AGN feedback effects. The outflow is located at about 300 pc from the quasar and has a velocity of roughly 8000 km/s. Our distance and energetic measurements are based in large part on the identification and measurement of SIV and SIV* BALs. The use of this high ionization species allows us to generalize the result to the majority of high ionization BALQSOs that are identified by their CIV absorption. We also report the energetics of two other outflows seen in another object using the same technique. The distances of all 3 outflows from the central source (100-2000pc) suggest that we observe BAL troughs much farther away from the central source than the assumed acceleration region of these outflows (0.01-0.1pc).


title: A Methodology for Studying VANET Performance with Practical Vehicle Distribution in Urban Environment

abstract: In a Vehicular Ad-hoc Network (VANET), the amount of interference from neighboring nodes to a communication link is governed by the vehicle density dynamics in vicinity and transmission probabilities of terminals. It is obvious that vehicles are distributed non-homogeneously along a road segment due to traffic controls and speed limits at different portions of the road. The common assumption of homogeneous node distribution in the network in most of the previous work in mobile ad-hoc networks thus appears to be inappropriate in VANETs. In light of the inadequacy, we present in this paper an original methodology to study the performance of VANETs with practical vehicle distribution in urban environment. Specifically, we introduce the stochastic traffic model to characterize the general vehicular traffic flow as well as the randomness of individual vehicles, from which we can acquire the mean dynamics and the probability distribution of vehicular density. As illustrative examples, we demonstrate how the density knowledge from the stochastic traffic model can be utilized to derive the throughput and progress performance of three routing strategies in different channel access protocols. We confirm the accuracy of the analytical results through extensive simulations. Our results demonstrate the applicability of the proposed methodology on modeling protocol performance, and shed insight into the performance analysis of other transmission protocols and network configurations in vehicular networks. Furthermore, we illustrate that the optimal transmission probability for optimized network performance can be obtained as a function of the location space from our results. Such information can be computed by road-side nodes and then broadcasted to road users for optimized multi-hop packet transmission in the communication network.


title: Abelian symmetries as the source of the small neutrino-related flavor parameters

abstract: There are four neutrino-related flavor parameters that have been measured: The three mixing angles s_{23}, s_{12}, s_{13}, and the ratio of mass-squared differences r_{23}. Of these, the first two are order one. On the other hand, s_{13} and r_{23} can be either order-one parameters that are accidentally somewhat small, or they are small for a reason, for example, they vanish in the limit of a symmetry that is broken by small parameters. We show that in the latter case, the Froggatt-Nielsen mechanism could explain the smallness of s_{13} and r_{23} only if some order-one coefficients are as small as the symmetry-breaking parameters. It is thus very unlikely that an Abelian symmetry is responsible for the smallness of s_{13} and r_{23}.


title: Solar magneto-convection

abstract: An overview is given about recent developments and results of comprehensive simulations of magneto-convective processes in the near-surface layers and photosphere of the Sun. Simulations now cover a wide range of phenomena, from whole active regions, over individual sunspots and pores, magnetic flux concentrations and vortices in intergranular lanes, down to the intricate mixed-polarity structure of the magnetic field generated by small-scale dynamo action. The simulations in concert with high-resolution observations have provided breakthroughs in our understanding of the structure and dynamics of the magnetic fields in the solar photosphere.


title: Recognition of collapsible complexes is NP-complete

abstract: We prove that it is NP-complete to decide whether a given (3-dimensional) simplicial complex is collapsible. This work extends a result of Malgouyres and Franc\'{e}s showing that it is NP-complete to decide whether a given simplicial complex collapses to a 1-complex.


title: Keyhole and Reflection Effects in Network Connectivity Analysis

abstract: Recent research has demonstrated the importance of boundary effects on the overall connection probability of wireless networks, but has largely focused on convex domains. We consider two generic scenarios of practical importance to wireless communications, in which one or more nodes are located outside the convex space where the remaining nodes reside. Consequently, conventional approaches with the underlying assumption that only line-of-sight (LOS) or direct connections between nodes are possible, fail to provide the correct analysis for the connectivity. We present an analytical framework that explicitly considers the effects of reflections from the system boundaries on the full connection probability. This study provides a different strategy to ray tracing tools for predicting the wireless propagation environment. A simple two-dimensional geometry is first considered, followed by a more practical three-dimensional system. We investigate the effects of different system parameters on the connectivity of the network though analysis corroborated by numerical simulations, and highlight the potential of our approach for more general non-convex geometries.t system parameters on the connectivity of the network through simulation and analysis.


title: A structure in the early universe at z ~ 1.3 that exceeds the homogeneity scale of the R-W concordance cosmology

abstract: A Large Quasar Group (LQG) of particularly large size and high membership has been identified in the DR7QSO catalogue of the Sloan Digital Sky Survey. It has characteristic size (volume^1/3) ~ 500 Mpc (proper size, present epoch), longest dimension ~ 1240 Mpc, membership of 73 quasars, and mean redshift <z> = 1.27. In terms of both size and membership it is the most extreme LQG found in the DR7QSO catalogue for the redshift range 1.0 <= z <= 1.8 of our current investigation. Its location on the sky is ~ 8.8 deg north (~ 615 Mpc projected) of the Clowes & Campusano LQG at the same redshift, <z> = 1.28, which is itself one of the more extreme examples. Their boundaries approach to within ~ 2 deg (~ 140 Mpc projected). This new, huge LQG appears to be the largest structure currently known in the early universe. Its size suggests incompatibility with the Yadav et al. scale of homogeneity for the concordance cosmology, and thus challenges the assumption of the cosmological principle.


title: Impact of a low-energy enhancement in the gamma-ray strength function on the radiative neutron-capture

abstract: A low-energy enhancement of the gamma-ray strength function in several light and medium-mass nuclei has been observed recently in 3He-induced reactions. The effect of this enhancement on (n,gamma) cross-sections is investigated for stable and unstable neutron-rich Fe, Mo and Cd isotopes. Our results indicate that the radiative neutron capture cross sections may increase considerably due to the low-energy enhancement when approaching the neutron drip line. This could have non-negligible consequences on r-process nucleosynthesis calculations.


title: Modelling the Strategic Alignment of Software Requirements using Goal Graphs

abstract: This paper builds on existing Goal Oriented Requirements Engineering (GORE) research by presenting a methodology with a supporting tool for analysing and demonstrating the alignment between software requirements and business objectives. Current GORE methodologies can be used to relate business goals to software goals through goal abstraction in goal graphs. However, we argue that unless the extent of goal-goal contribution is quantified with verifiable metrics and confidence levels, goal graphs are not sufficient for demonstrating the strategic alignment of software requirements. We introduce our methodology using an example software project from Rolls-Royce. We conclude that our methodology can improve requirements by making the relationships to business problems explicit, thereby disambiguating a requirement's underlying purpose and value.


title: Two Dimensional Polymerization of Graphene Oxide: Bottom-up Approach

abstract: We demonstrate a bottom-up synthesis of structures similar to graphene oxide via a two dimensional polymerization. Experimental evidence and discussion are conveyed as well as a general framework for this two dimensional polymerization. The proposed morphologies and lattice structures of these graphene oxides are derived from aldol condensation of alternating three nucleophilic and three electrophilic centers of benzenetriol.


title: Compressible Air Entrapment in High-Speed Drop Impacts on Solid Surfaces

abstract: Using high-speed photography coupled with optical interference, we experimentally study the air entrapment during a liquid drop impacting a solid substrate. We observe the formation of a compressed air film before the liquid touches the substrate, with internal pressure considerably higher than the atmospheric value. The degree of compression highly depends on the impact velocity, as explained by balancing the liquid deceleration with the large pressure of compressed air. After contact, the air film expands vertically at the edge, reducing its pressure within a few tens of microseconds and producing a thick rim on the perimeter. This thick-rimmed air film subsequently contracts into an air bubble, governed by the complex interaction between surface tension, inertia and viscous drag. Such a process is universally observed for impacts above a few centimeters high.


title: Generating tuples of integers modulo the action of a permutation group and applications

abstract: Originally motivated by algebraic invariant theory, we present an algorithm to enumerate integer vectors modulo the action of a permutation group. This problem generalizes the generation of unlabeled graph up to an isomorphism. In this paper, we present the full development of a generation engine by describing the related theory, establishing a mathematical and practical complexity, and exposing some benchmarks. We next show two applications to effective invariant theory and effective Galois theory.


title: The extended Lawrence-Doniach model: the temperature evolution of the in-plane magnetic field anisotropy

abstract: Using the quasi-classical formalism we provide the description of the temperature and field-direction dependence of the in-plane upper critical field in layered superconductors, taking into account the interlayer Josephson coupling and the paramagnetic spin splitting. We generalize the Lawrence-Doniach model for the case of high magnetic fields and show that the re-entrant superconductivity is naturally described by our formalism when neglecting the Pauli pair breaking effect. We demonstrate that in layered superconductors the in-plane anisotropy of the onset of superconductivity exhibits four different\ temperature regimes: from the Ginzburg-Landau type in the vicinity of the critical temperature $T_{c0}$ with anisotropies of coherence lengths, up to the FFLO type induced by the strong interference between the modulation vector and the orbital effect. Our results are in agreement with the experimental measurements of the field-angle dependence of the superconducting onset temperature of the organic compound (TMTSF)$_{2} $ClO$_{4}$.


title: Partial parameterization of orthogonal wavelet matrix filters

abstract: In this paper we propose a procedure which allows the construction of a large family of FIR d x d matrix wavelet filters by exploiting the one-to-one correspondence between QMF systems and orthogonal operators which commute with the shifts by two. A characterization of the class of filters of full rank type that can be obtained with such procedure is given. In particular, we restrict our attention to a special construction based on the representation of SO(2d) in terms of the elements of its Lie algebra. Explicit expressions for the filters in the case d = 2 are given, as a result of a local analysis of the parameterization obtained from perturbing the Haar system.


title: Analysis of possible systematic errors in the Oslo method

abstract: In this work, we have reviewed the Oslo method, which enables the simultaneous extraction of level density and gamma-ray transmission coefficient from a set of particle-gamma coincidence data. Possible errors and uncertainties have been investigated. Typical data sets from various mass regions as well as simulated data have been tested against the assumptions behind the data analysis.


title: Dualities as symmetries of the Supermembrane Theory

abstract: In this note I review the role played by dualities in the Supermembrane Theory compactified on a torus. Supermembrane theory realize S, T, so U-duality, as exact symmetries of the theory. There are two well defined sectors: with and without central charges. Both sectors have the SL(2,Z)xZ2 U-duality group in 9D as a symmetry of the theory, but the supermembrane with central charges, also exhibits an extra SL(2,Z) symmetry of the theory associated to the diffeomorphisms not connected with the identity changing the homology basis. The Z2 symmetry is T-duality transformation that acts on the supermembrane and generalize that of the string. This T-duality transformation acts locally and also globally on the supermembrane theory. It has a natural description in terms of the cohomology of the base manifold and the homology of the target torus. When only string-like states are preserved, one recovers both type II string theories in 9D. If one also consider properly limit of the T-duality transformation characterizing the supermembrane, the usual closed string T-duality transformation between the type IIA and type IIB mass operators is recovered.


title: Subordination of Hilbert space valued L\'evy processes

abstract: We generalise multivariate subordination of L\'evy processes as introduced by Barndorff-Nielsen, Pedersen, and Sato to Hilbert space valued L\'evy processes. The processes are explicitly characterised and conditions for integrability and martingale properties are derived under various assumptions of the L\'evy process and subordinator. As an application of our theory we construct explicitly some Hilbert space valued versions of L\'evy processes which are popular in the univariate and multivariate case. In particular, we define a normal inverse Gaussian L\'evy process in Hilbert space as a subordination of a Hilbert space valued Wiener process by an inverse Gaussian L\'evy process. The resulting process has the property that at each time all its finite dimensional projections are multivariate normal inverse Gaussian distributed as introduced in Rydberg(97).


title: Hamiltonian Formalism of Particular Bimetric Gravity Model

abstract: In this short note we perform the Hamiltonian analysis of bimetric gravity with one particular form of potential between two metrics. We find that this theory have eight secondary constraints. We identify four constraints that are the first class constraints on condition when the interaction term obeys some specific condition. We show that for the form of the potential studied in this paper this condition is obeyed and hence we can interpret these first class constraints as generators of the diagonal diffeomorphism.


title: Astrophysical searches for a hidden-photon signal in the radio regime

abstract: Common extensions of the Standard Model of particle physics predict the existence of a "hidden" sector that comprises particles with a vanishing or very weak coupling to particles of the Standard Model (visible sector). For very light (m < 10^-14 eV) hidden U(1) gauge bosons (hidden photons), broad-band radio spectra of compact radio sources could be modified due to weak kinetic mixing with radio photons. Here, search methods are developed and their sensitivity discussed, with specific emphasis on the effect of the coherence length of the signal, instrumental bandwidth, and spectral resolution. We conclude that radio observations in the frequency range of 0.03--1400 GHz probe kinetic mixing of ~10^-3 of hidden photons with masses down to ~10^-17 eV. Prospects for improving the sensitivity with future radio astronomical facilities as well as by stacking data from multiple objects are discussed.


title: The Matter Bounce Scenario in Loop Quantum Cosmology

abstract: In the matter bounce scenario, a dust-dominated contracting space-time generates scale-invariant perturbations that, assuming a nonsingular bouncing cosmology, propagate to the expanding branch and set appropriate initial conditions for the radiation-dominated era. Since this scenario depends on the presence of a bounce, it seems appropriate to consider it in the context of loop quantum cosmology where a bouncing universe naturally arises. For a pressureless collapsing universe in loop quantum cosmology, the predicted power spectrum of the scalar perturbations after the bounce is scale-invariant and the tensor to scalar ratio is negligibly small. A slight red tilt can be given to the scale-invariance of the scalar perturbations by a scalar field whose equation of state is $P = - \epsilon \rho$, where $\epsilon$ is a small positive number. Then, the power spectrum for tensor perturbations is also almost scale-invariant with the same red tilt as the scalar perturbations, and the tensor to scalar ratio is expected to be $r \approx 9 \times 10^{-4}$. Finally, for the predicted amplitude of the scalar perturbations to agree with observations, the critical density in loop quantum cosmology must be of the order $\rho_c \sim 10^{-9} \rho_{\rm Pl}$.


title: Theoretical spectroscopy of realistic condensed matter systems

abstract: This thesis is devoted to ab initio calculations of ground and excited state properties of different systems within density functional theory and time dependent density functional theory. From the numerical point of view we implemented an original method in the DP code to calculate the independent particle response function. Moreover, we generalized the DP code to the spin degree of freedom in order to study the magnetic properties of realistic condensed matter systems. We studied reflectance anisotropy and energy loss spectra of a clean and oxidized surface, and we performed an analysis of the origin of the main spectral features. Thanks to the comparison between experimental and theoretical energy loss spectra, we roule out the p(2x1) reconstruction for the Si(100) surface. Moreover, in the case of a simple BeH molecule we evidenced the problem of correctly describing the excitation spectra for open shell systems within the TDDFT framework. In the second part of the thesis, we presented the study of the optical properties of magnetic systems such as FeS2, CoS2 or NiS2, interesting materials for possible technological applications in the growing field of spintronics. Within this context we calculated ground state properties and optical condictivity of BCC bulk iron, for which we found a nice agreement with available experimental data.


title: Study of the reaction e^{+}e^{-}->psi(2S)pi^{-}pi^{-} via initial state radiation at BaBar

abstract: We study the process $e^+e^-\to\psi(2S)\pi^{+}\pi^{-}$ with initial-state-radiation events produced at the PEP-II asymmetric-energy collider. The data were recorded with the \BaBar detector at center-of-mass energies at and near the $\Upsilon(\mathrm{nS})$ (n = 2, 3, 4) resonances and correspond to an integrated luminosity of 520$fb^{-}$. We investigate the $\psi(2S)\pi^{+}\pi^{-}$ mass distribution from 3.95 to 5.95 $GeV/c^{2}$, and measure the center-of-mass energy dependence of the associated $e^+e^-\to \psi(2S)\pi^{+}\pi^{-}$ cross section. The mass distribution exhibits evidence of two resonant structures. A fit to the $\psi(2S)\pi^{+}\pi^{-}$ mass distribution corresponding to the decay mode $\psi(2S)\to J/\psi \pi^{+}\pi^{-}$ yields a mass value of $4340 \pm16$ (stat) $\pm 9$ (syst) ${\mathrm {MeV/c^{2}}}and a width of $94 \pm 32$ (stat) $\pm 13$ (syst) MeV for the first resonance, and for the second a mass value of $4669 \pm 21$ (stat) $\pm 3$ (syst) ${\mathrm {MeV/c^{2}}}$ and a width of $104 \pm 48$ (stat) $\pm 10$ (syst) MeV. In addition, we show the $pi^{+}\pi^{-}$ mass distributions for these resonant regions.


title: Reconstruction of Scalar Potentials in Modified Gravity Models

abstract: We employ the superpotential technique for the reconstruction of cosmological models with a non-minimally coupled scalar field evolving on a spatially flat Friedmann-Robertson-Walker background. The key point in this method is that the Hubble parameter is considered as a function of the scalar field and this allows one to reconstruct the scalar field potential and determine the dynamics of the field itself, without a priori fixing the Hubble parameter as a function of time or of the scale factor. The scalar field potentials that lead to de Sitter or asymptotic de Sitter solutions, and those that reproduce the cosmological evolution given by Einstein-Hilbert action plus a barotropic perfect fluid, have been obtained.


title: A RDF-based Data Integration Framework

abstract: Data integration is one of the main problems in distributed data sources. An approach is to provide an integrated mediated schema for various data sources. This research work aims at developing a framework for defining an integrated schema and querying on it. The basic idea is to employ recent standard languages and tools to provide a unified data integration framework. RDF is used for integrated schema descriptions as well as providing a unified view of data. RDQL is used for query reformulation. Furthermore, description logic inference services provide necessary means for satisfiability checking of concepts in integrated schema. The framework has tools to display integrated schema, query on it, and provides enough flexibilities to be used in different application domains.


title: The log-canonical threshold of a plane curve

abstract: We give an explicit formula for the log-canonical threshold of a reduced germ of plane curve. The formula depends only on the first two maximal contact values of the branches and their intersection multiplicities. We also improve the two branches formula given in a paper by Kuwata in Amer. J. Math. 121.


title: Space weathering of asteroids

abstract: Analysis of laboratory experiments simulating space weathering optical effects on atmosphereless planetary bodies reveals that the time needed to alter the spectrum of an ordinary chondrite meteorite to resemble the overall spectral shape and slope of an S-type asteroid is about ~ 0.1 Myr. The time required to reduce the visible albedo of samples to ~ 0.05 is ~ 1 Myr. Since both these timescales are much less than the average collisional lifetime of asteroids larger than several kilometers in size, numerous low-albedo asteroids having reddish spectra with subdued absorption bands should be observed instead of an S-type dominated population. It is not the case because asteroid surfaces cannot be considered as undisturbed, unlike laboratory samples. We have estimated the number of collisions occurring in the time of 105 yr between asteroids and projectiles of various sizes and show that impact-activated motions of regolith particles counteract the progress of optical maturation of asteroid surfaces. Continual rejuvenation of asteroid surfaces by impacts does not allow bodies with the ordinary chondrite composition to be masked among S asteroids. Spectroscopic analysis, using relatively invariant spectral parameters, such as band centers and band area ratios, can determine whether the surface of an S asteroid has chondritic composition or not. Differences in the environment of the main asteroid belt versus that at 1 AU, and the physical difference between the Moon and main belt asteroids (i.e., size) can account for the lack of lunar-type weathering on main belt asteroids.


title: On the cohomology of almost-complex manifolds

abstract: Following T.-J. Li, W. Zhang [Comparing tamed and compatible symplectic cones and cohomological properties of almost complex manifolds, Comm. Anal. Geom.], we continue to study the link between the cohomology of an almost-complex manifold and its almost-complex structure. In particular, we apply the same argument in [T.-J. Li, W. Zhang, Comparing tamed and compatible symplectic cones and cohomological properties of almost complex manifolds, Comm. Anal. Geom.] and the results obtained by D. Sullivan in [Cycles for the dynamical study of foliated manifolds and complex manifolds, Invent. Math.] to study the cone of semi-K\"ahler structures on a compact semi-K\"ahler manifold.


title: Charm and strange hadron spectra from overlap fermions on HISQ gauge configurations

abstract: We report here results on charm and strange hadron spectra. Adopting a mixed action approach, we use overlap fermions for valence quarks, on a background of 2+1+1 flavours HISQ gauge configurations of MILC collaboration. Two lattice spacings (0.09 fm and 0.06 fm) are used. We find the hyperfine splitting of 1S charmonia to be 114(3)(-2) MeV and 109(4)(-3) MeV, and the splitting (m(Omega_ccc)-3/2 m(J\Psi)) is found to be 110(20)(-10) MeV and 120(10) MeV, corresponding to lattices with spacings a = 0.09 and 0.06 fm respectively. We also look at the ratio of the leptonic decay constant f_Ds*/f_Ds.


title: Radial and nonradial solutions of a strongly indefinite elliptic system on $\mathbb{R}^N$

abstract: This paper is concerned with the following system of elliptic equations {equation*} \{{array}{ll} -\Delta u+u= F_u(|x|,u,v), & \hbox{} -\Delta v+v=- F_v(|x|,u,v), & \hbox{} \,\,\,\,\,u,v\in H^1(\mathbb{R}^N). & \hbox{} {array}. {equation*} It is shown that if $F$ is odd in $(u,v)$ and satisfy some growth conditions, then $(\mathcal{S})$ has infinitely many both radial and nonradial solutions. The proof relies on the Principle of Symmetric Criticality and a generalized Fountain Theorem for strongly indefinite functionals.


title: Optimal Rate Irregular LDPC Codes in Binary Erasure Channel

abstract: In this paper, we design the optimal rate capacity approaching irregular Low-Density Parity-Check code ensemble over Binary Erasure Channel, by using practical Semi-Definite Programming approach. Our method does not use any relaxation or any approximate solution unlike previous works. Our simulation results include two parts; first, we present some codes and their degree distribution functions that their rates are close to the capacity. Second, the maximum achievable rate behavior of codes in our method is illustrated through some figures.


title: Piezoelectric surface acoustical phonon limited mobility of electrons in graphene on a GaAs substrate

abstract: We study the mobility of Dirac fermions in monolayer graphene on a GaAs substrate, restricted by the combined action of the extrinsic potential of piezoelectric surface acoustical phonons of GaAs (PA) and of the intrinsic deformation potential of acoustical eigen-phonons in graphene (DA). In the high temperature ($T$) regime the momentum relaxation rate exhibits the same linear dependence on $T$ but different dependences on the carrier density $n$, corresponding to the mobility $\mu\propto 1/\sqrt{n}$ and $1/n$, respectively for the PA and DA scattering mechanisms. In the low $T$ Bloch-Gr\"uneisen regime, the mobility shows the same square-root density dependence, $\mu\propto \sqrt{n}$, but different temperature dependences, $\mu\propto T^{-3}$ and $ T^{-4}$, respectively for PA and DA phonon scattering.


title: Generation by sections and $k$-ampleness

abstract: In the article "Submanifold of abelian varieties", A.J. Sommese proved that direct sum and tensor product of two vector bundles $E$ and $F$ over a smooth projective variety are $k$-ample if $E$ and $F$ are $k$-ample and are generated by global sections. Here we show that the latter condition is not needed.


title: Lie symmetry of a class of nonlinear boundary value problems with free boundaries

abstract: A class of (1+1)--dimensional nonlinear boundary value problems (BVPs), modeling the process of melting and evaporation of solid materials, is studied by means of the classical Lie symmetry method. New definition of invariance in Lie's sense for BVP is presented and applied for the class of BVPs in question.


title: A vanishing theorem

abstract: Let $E$ be a vector bundle and $L$ be a line bundle over a smooth projective variety $X$. In this article, we give a condition for the vanishing of Dolbeault cohomology groups of the form $H^{p,q}(X,\SSS^{\alpha}E\otimes \wedge^{\beta} E\otimes L)$ when $S^{\alpha+\beta}E \otimes L$ is ample. This condition is shown to be invariant under the interchange of $p$ and $q$. The optimality of this condition is discussed for some parameter values.


title: Sierpi\'nski rank of the Symmetric inverse semigroup

abstract: We show that every countable set of partial bijections from an infinite set to itself can be obtained as a composition of just two such partial bijections. This strengthens a result by Higgins, Howie, Mitchell and Ru\v{s}kuc stating that every such countable set of partial bijections may be obtained as the composition of two partial bijections and their inverses.


title: K*Sigma photoproduction off the proton target with baryon resonances

abstract: We investigate the photoproduction of K*0Sigma+ and K*+Sigma0 off the proton target, employing the effective Lagrangian approach at the tree-level Born approximation. In addition to the (s, t, u)-channel Born diagrams, we take into account various baryon-resonance contributions such as F15(2000), D13(2080), G17(2190), D15(2200), F35(2000), G37(2200), F37(2390), and Sigma*(1385, 3/2+) in a fully covariant manner. We present the numerical results for the energy and angular dependences for the cross sections in comparison to available experimental data. The single-polarization observables, i.e. the photon-beam, recoil and target baryon polarization asymmetries are computed as well for future experiments. We observe from the numerical results that the resonance contributions play a minor role in producing the strength of the cross sections, being different from the K*Lambda photoproduction. In contrast, it turns out that the Delta(1232)-pole contribution and strange-meson exchanges in the t-channel dominate the scattering process. On the other hand, the higher resonances influence the polarization observables such as the recoil and target asymmetries.


title: Optimization of various isolation techniques to develop low noise, radiation hard double-sided silicon strip detectors for the CBM Silicon Tracking System

abstract: This paper reports on the design optimization done for Double Sided silicon microStrip Detectors(DSSDs) to reduce the Equivalent Noise Charge (ENC) and to maximize the breakdown voltage and Charge Collection Efficiency. Various isolation techniques have been explored and a detailed comparison has been studied to optimize the detector performance. For the evaluation of the performance of the silicon detectors, a radiation damage model has been included. The neutron fluence is expected to be 2x10^{13}n_{eq} cm$^{-2}$ per year for five years of expected CBM run with intermediate periods of warm maintenance, cold maintenance and shutdown. Transient simulations have been performed to estimate the charge collection performance of the irradiated detectors and simulations have been verified with experimental data.


title: Around a conjecture of ErdH{o}s on graph Ramsey numbers

abstract: For given graphs G1 and G2 the Ramsey number R(G1,G2), is the smallest positive integer n such that each blue-red edge coloring of the complete graph Kn contains a blue copy of G1 or a red copy of G2. In 1983, Erdos conjectured that there is an absolute constant c such that R(G) = R(G,G) < 2c p m for any graph G with m edges and no isolated vertices. Recently this conjecture was proved by B. Sudakov. In this note, using the Sudakovs ideas we give an extension of his result and some interesting corollaries.