title: Translating Answer-Set Programs into Bit-Vector Logic

abstract: Answer set programming (ASP) is a paradigm for declarative problem solving where problems are first formalized as rule sets, i.e., answer-set programs, in a uniform way and then solved by computing answer sets for programs. The satisfiability modulo theories (SMT) framework follows a similar modelling philosophy but the syntax is based on extensions of propositional logic rather than rules. Quite recently, a translation from answer-set programs into difference logic was provided---enabling the use of particular SMT solvers for the computation of answer sets. In this paper, the translation is revised for another SMT fragment, namely that based on fixed-width bit-vector theories. Thus, even further SMT solvers can be harnessed for the task of computing answer sets. The results of a preliminary experimental comparison are also reported. They suggest a level of performance which is similar to that achieved via difference logic.


title: Off-grid Direction of Arrival Estimation Using Sparse Bayesian Inference

abstract: Direction of arrival (DOA) estimation is a classical problem in signal processing with many practical applications. Its research has recently been advanced owing to the development of methods based on sparse signal reconstruction. While these methods have shown advantages over conventional ones, there are still difficulties in practical situations where true DOAs are not on the discretized sampling grid. To deal with such an off-grid DOA estimation problem, this paper studies an off-grid model that takes into account effects of the off-grid DOAs and has a smaller modeling error. An iterative algorithm is developed based on the off-grid model from a Bayesian perspective while joint sparsity among different snapshots is exploited by assuming a Laplace prior for signals at all snapshots. The new approach applies to both single snapshot and multi-snapshot cases. Numerical simulations show that the proposed algorithm has improved accuracy in terms of mean squared estimation error. The algorithm can maintain high estimation accuracy even under a very coarse sampling grid.


title: Tropical Severi Varieties

abstract: We study the tropicalizations of Severi varieties, which we call tropical Severi varieties. In this paper, we give a partial answer to the following question, ``describe the tropical Severi varieties explicitly.'' We obtain a description of tropical Severi varieties in terms of regular subdivisions of polygons. As an intermediate step, we construct explicit parameter spaces of curves. These parameter spaces are much simpler objects than the corresponding Severi variety and they are closely related to flat degenerations of the Severi variety, which in turn describes the tropical Severi variety. As an application, we understand G.Mikhalkin's correspondence theorem for the degrees of Severi varieties in terms of tropical intersection theory. In particular, this provides a proof of the independence of point-configurations in the enumeration of tropical nodal curves.


title: Millimeter Observations of the Transition Disk around HD135344B (SAO 206462)

abstract: We present \sim1" resolution 1.3 millimeter dust continuum and spectral line (12CO and 13CO J=2-1) observations of the transitional disk system HD 135344B obtained with the Submillimeter Array. The disk shows a Keplerian rotation pattern with an inclination of \sim11{\deg}, based on the spatially and spectrally resolved 12CO and 13CO emission. The data show clear evidence for both dust and gas surface density reductions in the inner region of the disk (radius \lesssim 50 AU) from the continuum and 13CO J=2-1 data, respectively. The presence of this inner cavity in both the dust and gas is more consistent with clearing by giant planet formation than by photoevaporation or by grain growth. There is also an indication of global CO gas depletion in the disk, as the mass estimated from 13CO emission (\sim3.8 \times 10^(-4) M\odot) is about two orders of magnitude lower than that derived from the 1.3 mm continuum (\sim2.8 \times 10^(-2) M\odot).


title: Flexibility of affine cones over del Pezzo surfaces of degree 4 and 5

abstract: We prove that the action of the special automorphism group on affine cones over del Pezzo surfaces of degree 4 and 5 is infinitely transitive.


title: Combining Kepler and HARPS Occurrence Rates to Infer the Period-Mass-Radius Distribution of Super-Earths/Sub-Neptunes

abstract: The ongoing High Accuracy Radial velocity Planet Search (HARPS) has found that 30-50% of GK dwarfs in the solar neighborhood host planets with sub-Neptune masses in orbits of P < 50 days. At first glance, this overall occurrence rate seems inconsistent with the planet frequency measured during Q0-Q2 of the Kepler Mission, whose 1,235 detected planetary candidates imply that ~ 15% of main sequence dwarfs harbor short-period planets with R_pl < 4 R_Earth. A rigorous comparison between the two surveys is difficult, however, as they observe different stellar populations and measure different planetary properties. Here we report the results of a Monte Carlo study that can account for this discrepancy via plausible distributions of planetary compositions. We find that a population concurrently consisting of (1) dense silicate-iron planets and (2) low-density gas-dominated worlds provides a natural fit to the current data. In this scenario, the fraction of dense planets decreases with increasing mass, from f_rocky = 90% at M = 1 M_Earth to f_rocky = 10% at M = 17 M_Earth. Our best fit population has a total occurrence rate of 40% for 2 < P < 50 days and 1 < M < 17 M_Earth, and is characterized by simple power-law indices of the form N(M)dM ~ M^alpha dM and N(P)dP ~ P^beta dP with alpha = -1.0 and beta = 0.0. Our model population therefore contains four free parameters and is readily testable with future observations. Furthermore, our model's insistence that at least two distinct types of planets must exist in the survey data indicates that multiple formation mechanisms are at work to produce the population of planets commonly referred to as "super-Earths".


title: Hyperon and nuclear symmetry energy in the neutron star

abstract: In this work, masses and radii of neutron stars are considered to investigate the effect of nuclear symmetry energy to the astrophysical observables. A relativistic mean field model with density-dependent meson-baryon coupling constants is employed in describing the equation of state of dense nuclear matter, and the density dependencies of the symmetry energies are quoted from the recent phenomenological formulae obtained from the heavy ion data at subnuclear saturation densities. Since hyperons can take part in the $\beta$-equilibrium of the dense matter inside neutron stars, we include hyperons in our estimation and their roles are discussed in combination with that of the nuclear symmetry energy.


title: Global solution to the drift-diffusion-Poisson system for semiconductors with nonlinear recombination-generation rate

abstract: In this paper, we study the Cauchy problem of a time-dependent drift-diffusion-Poisson system for semiconductors. Existence and uniqueness of global weak solutions are proven for the system with a higher-order nonlinear recombination-generation rate R. We also show that the global weak solution will converge to a unique equilibrium as time tends to infinity.


title: A Rejoinder on Energy versus Impact Indicators

abstract: Citation distributions are so skewed that using the mean or any other central tendency measure is ill-advised. Unlike G. Prathap's scalar measures (Energy, Exergy, and Entropy or EEE), the Integrated Impact Indicator (I3) is based on non-parametric statistics using the (100) percentiles of the distribution. Observed values can be tested against expected ones; impact can be qualified at the article level and then aggregated.


title: Constructing strictly plurisubharmonic functions on the complexification of certain non-compact manifolds

abstract: This paper has been withdrawn by the author due to a mistake in the section 4.


title: Application of High Quality Antiproton Beam with Momentum Ranging from 1 GeV/c to 15 GeV/c to Study Charmonium and Charmed Hybrids

abstract: The elaborate analysis of spectrum of charmonium states and charmed hybrids in the mass region over DD-threshold is given. The combined approach based on the potential model and relativistic spherical symmetric top model for decay products has been proposed. The experimental data from different collaborations were analyzed. Especial attention was given to the new states with the hidden charm discovered recently. Eight of these states may be interpreted as higher laying radial excited charmoniumstates. Butmuchmore data on different decay modes are needed for deeper analysis. These data can be derived directly from the experiments using high quality antiproton beam with the momentum ranging from 1 GeV/c to 15 GeV/c (PANDA experiment at FAIR).


title: An Efficient Deterministic Quantum Algorithm for the Integer Square-free Decomposition Problem

abstract: Quantum computers are known to be qualitatively more powerful than classical computers, but so far only a small number of different algorithms have been discovered that actually use this potential. It would therefore be highly desirable to develop other types of quantum algorithms that widen the range of possible applications. Here we propose an efficient and deterministic quantum algorithm for finding the square-free part of a large integer - a problem for which no efficient classical algorithm exists. The algorithm relies on properties of Gauss sums and uses the quantum Fourier transform. We give an explicit quantum network for the algorithm. Our algorithm introduces new concepts and methods that have not been used in quantum information processing so far and may be applicable to a wider class of problems.


title: On the Convergence of Axially Symmetric Volume Preserving Mean Curvature Flow

abstract: We study the convergence of an axially symmetric hypersurface evolving by volume preserving mean curvature flow. Assuming the surface is not pinching off along the axis at any time during the flow, and without any additional conditions, as for example on the curvature, we prove that it converges to a hemisphere, when the hypersurface has a free boundary and satisfies Neumann boundary data, and to a sphere when it is compact without boundary.


title: Optical spectroscopy of Classical Be stars in open clusters

abstract: We present a spectroscopic study of 150 Classical Be stars in 39 open clusters using medium resolution spectra in the wavelength range 3800 - 9000 \AA. One-third of the sample (48 stars in 18 clusters) has been studied for the first time. All these candidates were identified from an extensive survey of emission stars in young open clusters using slitless spectroscopy (Mathew et al. 2008). This large data set covers CBe stars of various spectral types and ages found in different cluster environments in largely northern open clusters, and is used to study the spectral characteristics of CBe stars in cluster environments. About 80% of CBe stars in our sample have H-alpha equivalent width in the range -1 to -40 \AA. About 86% of the surveyed CBe stars show Fe II lines. The prominent Fe II lines in our surveyed stars are 4584, 5018, 5169, 5316, 6318, 6384, 7513 and 7712 \AA. We have identified short and long-term line profile variability in some candidate stars through repeated observations.


title: The extinction map of the OMC-1 molecular cloud behind the Orion Nebula

abstract: Our main goal is to derive a new extinction map of the OMC-1, obtaining information about the structure of the OMC-1 and the Orion Nebula Cluster. The most recent near-infrared catalog of stars is used to study the distribution of reddening across a ~0.3 deg^2 area covering the Orion Nebula Cluster. On the basis of the observed (H,H-K_S) diagram, we establish a criterion for disentangling contaminants from bona-fide cluster members. For contaminant stars, interstellar reddenings are estimated by comparison with a synthetic galactic model. A statistical analysis is then performed to consistently account for local extinction, reddening and star-counts analysis. We derive the extinction map of the OMC-1 with angular resolution <5'. We also assemble a sample of candidate cluster members, for which we measure the extinction provided by the nebular environment. These extinction measurements are analyzed similarly to the contaminant sample, and an extinction map of the Orion Nebula is derived. The extinction provided by the OMC-1 is variable on spatial scales of a few arcminutes, while showing a general increase from the outskirts (A_V~6) to the direction of the Trapezium asterism (A_V>30). The Orion Nebula extinction map is more irregular and optically thinner, with A_V of the order of a few magnitudes. Both maps are consistent with the optical morphology, in particular the Dark Bay to the north-east of the Trapezium. Both maps also show the presence of a north-south high-density ridge, which confirms the filamentary structure of the Orion molecular complex inside which star formation is still taking place.


title: Laplace transformation of Lie class \omega=1 overdetermined systems

abstract: In this paper we investigate overdetermined systems of scalar PDEs on the plane with one common characteristic, whose general solution depends on 1 function of 1 variable. We describe linearization of such systems and their integration via Laplace transformation, relating this to Lie's integration theorem and formal theory of PDEs.


title: Making Lifting Obstructions Explicit

abstract: If P \to X is a topological principal K-bundle and \hat K a central extension of K by Z, then there is a natural obstruction class \delta_1(P) in \check H^2(X,\uline Z) in sheaf cohomology whose vanishing is equivalent to the existence of a \hat K-bundle \hat P over X with P \cong \hat P/Z. In this paper we establish a link between homotopy theoretic data and the obstruction class \delta_1(P) which in many cases can be used to calculate this class in explicit terms. Writing \partial_d^P \: \pi_d(X) \to \pi_{d-1}(K) for the connecting maps in the long exact homotopy sequence, two of our main results can be formulated as follows. If Z is a quotient of a contractible group by the discrete group \Gamma, then the homomorphism \pi_3(X) \to \Gamma induced by \delta_1(P) \in \check H^2(X,\uline Z) \cong H^3_{\rm sing}(X,\Gamma) coincides with \partial_2^{\hat K} \circ \partial_3^P and if Z is discrete, then \delta_1(P) \in \check H^2(X,\uline Z) induces the homomorphism -\partial_1^{\hat K} \circ \partial_2^P \: \pi_2(X) \to Z. We also obtain some information on obstruction classes defining trivial homomorphisms on homotopy groups.


title: Lie theorem via rank 2 distributions (integration of PDE of class \omega=1)

abstract: In this paper we investigate compatible overdetermined systems of PDEs on the plane with one common characteristic. Lie's theorem states that its integration is equivalent to a system of ODEs, and we relate this to the geometry of rank 2 distributions. We find a criterion for integration in quadratures and in closed form, as in the method of Darboux, and discuss nonlinear Laplace transformations and symmetric PDE models.


title: Two-dimensional curvature functionals with superquadratic growth

abstract: For two-dimensional, immersed closed surfaces $f:\Sigma \to \R^n$, we study the curvature functionals $\mathcal{E}^p(f)$ and $\mathcal{W}^p(f)$ with integrands $(1+|A|^2)^{p/2}$ and $(1+|H|^2)^{p/2}$, respectively. Here $A$ is the second fundamental form, $H$ is the mean curvature and we assume $p > 2$. Our main result asserts that $W^{2,p}$ critical points are smooth in both cases. We also prove a compactness theorem for $\mathcal{W}^p$-bounded sequences. In the case of $\mathcal{E}^p$ this is just Langer's theorem \cite{langer85}, while for $\mathcal{W}^p$ we have to impose a bound for the Willmore energy strictly below $8\pi$ as an additional condition. Finally, we establish versions of the Palais-Smale condition for both functionals.


title: Study of Deuteron-Proton and Deuteron-Deuteron Collisions at Intermediate Energies

abstract: The $dp\to dp$ and $dd\to ^3He n$ reactions are considered in the energy range from few hundred MeV up to 1 GeV. The approach is based on the multiple-scattering theory, where the few-body collisions are presented through two-body ones. The high-energy nucleon-nucleon interactions are described by t-matrix, which is parameterized in accordance with the modern phase-shift analysis data. The special attention is given to investigation of the rescattering effects in these reactions. The theoretical predictions are obtained for the differential cross sections, vector and tensor analyzing powers. All results are presented in comparison with the existing experimental data.


title: The conformal transformation's controversy: what are we missing?

abstract: An alternative interpretation of the conformal transformations of the metric is discussed according to which the latter can be viewed as a mapping among Riemannian and Weyl-integrable spaces. A novel aspect of the conformal transformation's issue is then revealed: these transformations relate complementary geometrical pictures of a same physical reality, so that, the question about which is the physical conformal frame, does not arise. In addition, arguments are given which point out that, unless a clear statement of what is understood by "equivalence of frames" is made, the issue is a semantic one. For definiteness, an intuitively "natural" statement of conformal equivalence is given, which is associated with conformal invariance of the field equations. Under this particular reading, equivalence can take place only if the metric is defined up to a conformal equivalence class. A concrete example of a conformal-invariant theory of gravity is then explored. Since Brans-Dicke theory is not conformally invariant, then the Jordan's and Einstein's frames of the theory are not equivalent. Otherwise, in view of the alternative approach proposed here, these frames represent complementary geometrical descriptions of a same phenomenon. The different points of view existing in the literature are critically scrutinized on the light of the new arguments.


title: On the wave functions and energy spectrum for a spin 1 particle in external Coulomb field

abstract: Quantum-mechanical system -- spin 1 particle in external Coulomb field is studied on the base of the matrix Duffin-Kemmer-Petiau formalism with the use of the tetrad technique. Separation of the variables is performed with the help of Wigner functions. With the help of parity operator, the radial 10-equation system is divided into two subsystem of 4 and 6 equations that correspond to parity P=(-1)^{j+1} and P= (-1)^{j} respectively. The system of 4 equation is reduced to a second order differential equation which coincides with that arising in the case of a scalar particle in Coulomb potential. It is shown that the 6-equation system reduces to two different second order differential equations for a "main" function. One main equation reduces to a confluent Heun equation and provides us with energy spectrum. Another main equation is a more complex one, and any solutions for it are not constructed.


title: Almost Hermitian Manifolds with Vanishing Bochner Curvature Tensor

abstract: It is proved that if an almost Hermitian manifold of dimension greater than 4 has vanishing (classical) Bochner curvature tensor and is not Kaehlerian at a point, then it is flat in a neighbourhood of this point.


title: Linear Operator Inequality and Null Controllability with Vanishing Energy for unbounded control systems

abstract: We consider linear systems on a separable Hilbert space $H$, which are null controllable at some time $T_0>0$ under the action of a point or boundary control. Parabolic and hyperbolic control systems usually studied in applications are special cases. To every initial state $ y_0 \in H$ we associate the minimal "energy" needed to transfer $ y_0 $ to $ 0 $ in a time $ T \ge T_0$ ("energy" of a control being the square of its $ L^2 $ norm). We give both necessary and sufficient conditions under which the minimal energy converges to $ 0 $ for $ T\to+\infty $. This extends to boundary control systems the concept of null controllability with vanishing energy introduced by Priola and Zabczyk (Siam J. Control Optim. 42 (2003)) for distributed systems. The proofs in Priola-Zabczyk paper depend on properties of the associated Riccati equation, which are not available in the present, general setting. Here we base our results on new properties of the quadratic regulator problem with stability and the Linear Operator Inequality.


title: Testing black hole no-hair theorem with OJ287

abstract: We examine the ability to test the black hole no-hair theorem at the 10% level in this decade using the binary black hole in OJ287. In the test we constrain the value of the dimensionless parameter q that relates the scaled quadrupole moment and spin of the primary black hole: q2 = -q 2 . At the present we can say that q = 1 \pm 0.3 (one), in agreement with General Relativity and the no-hair theorems. We demonstrate that this result can be improved if more observational data is found in historical plate archives for the 1959 and 1971 outbursts. We also show that the predicted 2015 and 2019 outbursts will be crucial in improving the accuracy of the test. Space-based photometry is required in 2019 July due the proximity of OJ287 to the Sun at the time of the outburst. The best situation would be to carry out the photometry far from the Earth, from quite a different vantage point, in order to avoid the influence of the nearby Sun. We have considered in particular the STEREO space mission which would be ideal if it has a continuation in 2019 or LORRI on board the New Horizons mission to Pluto.


title: Homology of powers of ideals: Artin--Rees numbers of syzygies and the Golod property

abstract: For an ideal I in a regular local ring (R,m)$ with residue class field K = R/m or a standard graded K-algebra R we show that for k >> 0 --> the Artin--Rees number of the syzygy modules of I^k as submodules of the free modules from a free resolution is constant, and thereby present the Artin-Rees number as a proper replacement of regularity in the local situation, --> the ring R/I^k is Golod, its Poincer{\'e}-Betti series is rational and the Betti numbers of the free resolution of K over R/I^k are polynomials in k of a specific degree. The first result is an extension of work of Kodiyalam and Cutkosky, Herzog & Trung on the regularity of I^k for k >> 0 from the graded situation to the local situation. The polynomiality consequence of the second result is an analog of work by Kodiyalam on the behavior of Betti numbers of the minimal free resolution of R/I^k over R.


title: SPHOTOM -- Package for an Automatic Multicolour Photometry

abstract: We present basic informations about package SPHOTOM for an automatic multicolour photometry. This package is in development for a creation of photometric pipe-line, which we plan to use in near future with our new instruments. It could operate in two independent modes, (i) GUI mode, in which user can select images and control functions of package through interface and (ii) command line mode, in which all processes are controlled using a main parameter file. SPHOTOM is developed as an universal package for Linux based systems with easy implementation for different observatories. Photometric part of package is based on Sextrator code, what allow us to detect all objects on the images and perform their photometry with different apertures. We can also perform astrometric solution for all images for a correct cross-identification of the stars on the images. The result is a catalogue of all objects with their instrumental photometric measurements which are consequently used for a differential magnitudes calculations with one ore more comparison stars, transformations to international system and colour indices determinations.


title: Show Me Your Cookie And I Will Tell You Who You Are

abstract: With the success of Web applications, most of our data is now stored on various third-party servers where they are processed to deliver personalized services. Naturally we must be authenticated to access this personal information, but the use of personalized services only restricted by identification could indirectly and silently leak sensitive data. We analyzed Google Web Search access mechanisms and found that the current policy applied to session cookies could be used to retrieve users' personal data. We describe an attack scheme leveraging the search personalization (based on the same SID cookie) to retrieve a part of the victim's click history and even some of her contacts. We implemented a proof of concept of this attack on Firefox and Chrome Web browsers and conducted an experiment with ten volunteers. Thanks to this prototype we were able to recover up to 80% of the user's search click history.


title: Exploration of resonance properties in chiral perturbation theory with explicit U_A(1) anomaly

abstract: We study the resonance properties within chiral perturbation theory by explicitly taking into account the U_A(1) anomaly effect. This assures we have the appropriate degrees of freedom of low energy QCD in the large Nc limit. We calculate the various resonance properties, such as mass, width and residues, for the physical case, i.e. Nc=3. Then we extrapolate the values of Nc to study the trajectories of resonance poles.


title: The role of final-state interactions in Dalitz plot studies

abstract: Dalitz plot studies for multi-hadron decays of heavy mesons are expected to become very important tools for precision investigations of CP violation. A thorough understanding of the hadronic final-state interactions is a prerequisite to achieve a highly sensitive, model-independent study of CP-violating phases in such processes. We illustrate the theoretical tools available, as well as still to be developed, from low-to-medium-energy hadron physics for this purpose, and the goals of the informal "Les Nabis" network studying these and related problems.


title: Effective noise theory for the Nonlinear Schr\"odinger Equation with disorder

abstract: For the Nonlinear Shr\"odinger Equation with disorder it was found numerically that in some regime of the parameters Anderson localization is destroyed and subdiffusion takes place for a long time interval. It was argued that the nonlinear term acts as random noise. In the present work the properties of this effective noise are studied numerically. Some assumptions made in earlier work were verified, the dependence of various quantities on the localization length of the linear problem were computed. A scenario for the possible breakdown of the theory for a very long time is outlined.


title: On Dirac equation for a Coulomb scalar, vector, and tensor interaction

abstract: In their recent paper (Inter. J. Mod. Phys. A 26 (2011) 1011), Zarrinkamar and coauthors have considered the radial Dirac equation for a Coulomb scalar, vector and tensor interaction. The exact solutions for the energy eigenvalues they have reported for spin-symmetry and pseudo-spin symmetry were mishandled and are incorrect eigenvalues, therefore.


title: Canonical formulation of curvature squared action in the presence of lapse function

abstract: Lapse function appears as Lagrange multiplier in Einstein-Hilbert action and its variation leads to the (0 0) equation of Einstein, which corresponds to the Hamiltonian constraint equation. In higher order theory of gravity the situation is not that simple. Here, we take up the curvature squared (R^2) action being supplemented by an appropriate boundary term in the background of Robertson-Walker minisuperspace metric, and show how to identify the constraint equation and formulate the Hamiltonian without detailed constraint analysis. The action is finally expressed in the canonical form $A = \int(\dot h_{ij} \pi^{ij} + \dot K_{ij}\Pi^{ij} - N{\mathcal H})dt \sim d^3 x$, where, the lapse function appears as Lagrange multiplier, once again. Canonical quantization yields Schr\"odinger like equation, with nice features. To show that our result is not an artifact of having reduced the theory to a measure zero subset of its configuration space, the role of the lapse function as Lagrangian multiplier has also been investigated in Bianchi-I, Kantowski-Sachs and Bianchi-III minisuperspace metrics. Classical and semiclassical solutions have finally been presented.


title: Spin-orbit coupling effect in (Ga,Mn)As films: anisotropic exchange interactions and magnetocrystalline anisotropy

abstract: The magneto-crystalline anisotropy (MCA) of (Ga,Mn)As films has been studied on the basis of ab-initio electronic structure theory by performing magnetic torque calculations. An appreciable contribution to the in-plane uniaxial anisotropy can be attributed to an extended region adjacent to the surface. Calculations of the exchange tensor allow to ascribe a significant part to the MCA to the exchange anisotropy, caused either by a tetragonal distortion of the lattice or by the presence of the surface or interface.


title: Designing Practical Distributed Exchange for Online Communities

abstract: In many online systems, individuals provide services for each other; the recipient of the service obtains a benefit but the provider of the service incurs a cost. If benefit exceeds cost, provision of the service increases social welfare and should therefore be encouraged -- but the individuals providing the service gain no (immediate) benefit from providing the service and hence have an incentive to withhold service. Hence there is scope for designing a system that improves welfare by encouraging exchange. To operate successfully within the confines of the online environment, such a system should be distributed, practicable, and consistent with individual incentives. This paper proposes and analyzes a simple such system that relies on the exchange of {\em tokens}; the emphasis is on the design of a protocol (number of tokens and suggested strategies). We provide estimates for the efficiency of such protocols and show that choosing the right protocol will lead to almost full efficiency if agents are sufficiently patient. However, choosing the wrong protocols may lead to an enormous loss of efficiency.


title: Higgs Decay into Two Photons, Revisited

abstract: The one-loop calculation of the amplitude for the Higgs decay H-->\gamma\gamma\ due to virtual W's in the unitary gauge is presented. As the Higgs does not directly couple to the massless photons, the one-loop amplitude is finite. The calculation is performed in a straightforward way, without encountering divergences. In particular, artifacts like dimensional regularization are avoided. This is achieved by judiciously routing the external momenta through the loop and by combining the integrands of the amplitudes before carrying out the integration over the loop momentum. The present result satisfies the decoupling theorem for infinite Higgs mass, and is thus different from the earlier results obtained in the \xi=1 gauge using dimensional regularization. The difference between the results is traced to the use of dimensional regularization.


title: New designs of resistive microstrip gaseous detectors (R-MSGCs)

abstract: A new family of spark-protected micropattern gaseous detectors is introduced: a 2-D sensitive restive microstrip counter and hybrid detectors, which combine in one design a resistive GEM with a microstrip detector. These novel detectors have several important advantages over other conventional micropattern detectors and are unique for applications like the readout detectors for dual phase noble liquid TPCs and RICHs.


title: Study of Upsilon(3S,2S) -> eta Upsilon(1S) and Upsilon(3S,2S) -> pi+pi- Upsilon(1S) hadronic trasitions

abstract: We study the Upsilon(3S,2S)->eta Upsilon(1S) and Upsilon(3S,2S)->pi+pi- Upsilon(1S) transitions with 122 million Upsilon(3S) and 100 million Upsilon(2S) mesons collected by the BaBar detector at the PEP-II asymmetric energy e+e- collider. We measure B[Upsilon(2S)->eta Upsilon(1S)]=(2.39+/-0.31(stat.)+/-0.14(syst.))10^-4 and Gamma[Upsilon(2S)->eta Upsilon(1S)]/Gamma[Upsilon(2S)-> pi+pi- Upsilon(1S)]=(1.35+/-0.17(stat.)+/-0.08(syst.))10^-3. We find no evidence for Upsilon(3S)->eta Upsilon(1S) and obtain B[Upsilon(3S)->eta Upsilon(1S)]<1.0 10^-4 and Gamma[Upsilon(3S)->eta Upsilon(1S)]/Gamma[Upsilon(3S)->pi+pi- Upsilon(1S)]<2.3 10^-3 as upper limits at the 90% confidence level. We also provide improved measurements of the Upsilon(2S) - Upsilon(1S) and Upsilon(3S) - Upsilon(1S) mass differences, 562.170+/-0.007(stat.)+/-0.088(syst.) MeV/c^2 and 893.813+/-0.015(stat.)+/-0.107(syst.) MeV/c^2 respectively.


title: Heavy quarkonium spectrum and width in a weakly-coupled quark-gluon plasma

abstract: We report a recent calculation of the heavy quarkonium energy levels and decay widths in a quark- gluon plasma whose temperature is much smaller than the inverse radius of the bound state, based on a Non-Relativistic Effective Field theory framework for heavy quarkonium at finite temperature. Relevance for the phenomenology of the Y(1S) in heavy ion collisions is also discussed.


title: Testing pQCD and AdS/CFT Energy Loss at RHIC and LHC

abstract: We compare calculations of jet quenching observables at sqrt s = 2.76 ATeV to preliminary LHC data from weak-coupling pQCD and strong-coupling AdS/CFT drag energy loss models. Rigorously constrained to sqrt s = 200 AGeV RHIC pi^0 suppression data and introducing no free parameters, the pQCD-based WHDG model simultaneously describes qualitatively the suppression of light hadrons and quantitatively the azimuthal anisotropy (over many centrality classes) of light hadrons and the suppression of D mesons at LHC. The drag predictions shown here--qualitatively constrained to RHIC data--compare poorly to the measured suppression of D mesons, but the current experimental uncertainties are large. The double ratio of D to B meson R_AA(p_T) should provide a robust experimental measurement to distinguish between the very different assumptions of the strength of interactions in the QGP produced in heavy ion collisions; i.e., whether, from a jet quenching standpoint, the medium is either weakly- or strongly-coupled.


title: Exotic spectroscopy and quarkonia at LHCb

abstract: Measurements of the X(3872) mass, $\psi(2S)$ production cross-section and $\chi_{c2}/\chi_{c1}$ production ratio using around 35$\rm pb^{-1}$ of pp collision data at $\sqrt{s}$ = 7 TeV during the 2010 LHC running period with the LHCb detector are presented.


title: Biosensor Arrays for Estimating Molecular Concentration in Fluid Flows

abstract: This paper constructs dynamical models and estimation algorithms for the concentration of target molecules in a fluid flow using an array of novel biosensors. Each biosensor is constructed out of protein molecules embedded in a synthetic cell membrane. The concentration evolves according to an advection-diffusion partial differential equation which is coupled with chemical reaction equations on the biosensor surface. By using averaging theory methods and the divergence theorem, an approximate model is constructed that describes the asymptotic behaviour of the concentration as a system of ordinary differential equations. The estimate of target molecules is then obtained by solving a nonlinear least squares problem. It is shown that the estimator is strongly consistent and asymptotically normal. An explicit expression is obtained for the asymptotic variance of the estimation error. As an example, the results are illustrated for a novel biosensor built out of protein molecules.


title: NGC 3934: a shell galaxy in a compact galaxy environment

abstract: We investigate the NGC 3933 poor galaxy association, that contains NGC 3934, which is classified as a polar-ring galaxy. The multi-band photometric analysis of NGC 3934 allows us to investigate the nature of this galaxy and to re-define the NGC 3933 group members with the aim to characterize the group dynamical properties and its evolutionary phase. We imaged the group in the far (FUV,lambda = 1530A) and near (NUV, lambda=2316A) ultraviolet (UV) bands of the Galaxy Evolution Explorer (GALEX). From the deep optical imaging we determined the fine structure of NGC 3934. We measured the recession velocity of PGC 213894 which shows that it belongs to the NGC 3933 group. We derived the spectral energy distribution (SED) from FUV (GALEX) to far-IR emission of the two brightest members of the group. We compared a grid of smooth particle hydrodynamical (SPH) chemo-photometric simulations with the SED and the integrated properties of NGC 3934 and NGC 3933 to devise their possible formation/evolutionary scenarios. The NGC 3933 group has six bright members: a core composed of five galaxies, which have Hickson's compact group characteristics, and a more distant member, PGC 37112. The group velocity dispersion is relatively low (157+-44 km s-1). The projected mass, from the NUV photometry, is ~7$\times$10^12 M\odot with a crossing time of 0.04 Hubble times, suggesting that at least in the center the group is virialized. We do not find evidence that NGC 3934 is a polar-ring galaxy, as suggested by the literature, but find that it is a disk galaxy with a prominent dust-lane structure and a wide type-II shell structure. NGC 3934 is a quite rare example of a shell galaxy in a likely dense galaxy region. The comparison between physically motivated SPH simulations with multi-band integrated photometry suggests that NGC 3934 is the product of a major merger.


title: The ground-based large-area wide-angle gamma-ray and cosmic-ray experiment HiSCORE

abstract: The question of the origin of cosmic rays and other questions of astroparticle and particle physics can be addressed with indirect air-shower observations above 10 TeV primary energy. We propose to explore the cosmic ray and gamma-ray sky (accelerator sky) in the energy range from 10 TeV to 1 EeV with the new ground-based large-area wide angle (~0.85 sterad) air-shower detector HiSCORE (Hundred*i Square-km Cosmic ORigin Explorer). The HiSCORE detector is based on non-imaging air-shower Cherenkov light-front sampling using an array of light-collecting stations. A full detector simulation and basic reconstruction algorithms have been used to assess the performance of HiSCORE. First prototype studies for different hardware components of the detector array have been carried out. The resulting sensitivity of HiSCORE to gamma-rays will be comparable to CTA at 50 TeV and will extend the sensitive energy range for gamma-rays up to the PeV regime. HiSCORE will also be sensitive to charged cosmic rays between 100 TeV and 1 EeV.


title: Spread Decoding in Extension Fields

abstract: A spread code is a set of vector spaces of a fixed dimension over a finite field Fq with certain properties used for random network coding. It can be constructed in different ways which lead to different decoding algorithms. In this work we present a new representation of spread codes with a minimum distance decoding algorithm which is efficient when the codewords, the received space and the error space have small dimension.


title: Partial Wave Analysis using Graphics Cards

abstract: Partial wave analysis is a key technique in hadron spectroscopy. The use of unbinned likelihood fits on large statistics data samples and ever more complex physics models makes this analysis technique computationally very expensive. Parallel computing techniques, in particular the use of graphics processing units, are a powerful means to speed up analyses; in the contexts of the BES III, Compass and GlueX experiments, parallel analysis frameworks have been created. They provide both fits that are faster by more than two orders of magnitude than legacy code and environments to quickly program and run an analysis. This in turn allows the physicists to focus on the many difficult open problems pertaining to partial wave analysis.


title: Spin Wave Diffraction and Perfect Imaging of a Grating

abstract: We study the diffraction of Damon-Eshbach-type spin waves incident on a one-dimensional grating realized by micro slits in a thin permalloy film. By means of time-resolved scanning Kerr microscopy we observe unique diffraction patterns behind the grating which exhibit replications of the spin-wave field at the slits. We show that these spin-wave images, with details finer than the wavelength of the incident Damon-Eshbach spin wavelength, arise from the strongly anisotropic spin wave dispersion.


title: Optimal photon-pair single mode coupling in narrow-band spontaneous parametric down-conversion with arbitrary pump profile

abstract: A theoretical study of the performance of single-mode coupled spontaneous parametric downconversion sources is proposed, which only requires very few assumptions of practical interest : narrow-bandwidth and quasi-degenerate collinear generation. Other assumptions like pump beam spatial and temporal envelopes, target single-mode profile and size, and non-linear susceptibility distribution, are only taken into account in the final step of the computation, thus making the theory general and flexible. Figures of merit for performance include absolute collected brightness, pair collection efficiency and heralding ratio. The optimization of these values is investigated through functions that only depend on dimensionless parameters, allowing for deducing from the results the best experimental configuration for a whole range of design choices (e.g. crystal length, pump power). A particular application of the theory is validated by an experimental optimization obtained under compatible assumptions. A comparison with other works and proposals for numerically implementing the theory in its most generality are also provided.


title: Topological characterization of various types of rings of smooth functions

abstract: Topologies on algebraic and equational theories are used to define germ determined, near-point determined, and point determined rings of smooth functions, without requiring them to be finitely generated. It is proved, that any commutative algebra morphism (without requiring continuity) between near-point determined rings of smooth functions is smooth (and hence continuous).


title: The Possibility of Inflation in Asymptotically Safe Gravity

abstract: We examine the inflationary modes in the cubic curvature theories in the context of asymptotically safe gravity. On the phase space of the Hubble parameter, there exists a critical point which corresponds to the slow-roll inflation in Einstein frame. Most of the e-foldings are attained around the critical point for each inflationary trajectories. If the coupling constants $g_i$ have the parametric relations generated as the power of the relative energy scale of inflation $H_0$ to the ultraviolet cutoff $\Lambda$, a successful inflation with more than 60 e-foldings occurs near the critical point.


title: A Ginzburg-Landau model of knotted flux-tube and glueball-like $f_{J}$ mesons

abstract: A dual Ginzburg-Landau model of the knotted chromo-electric flux-tube is revisited, in which the covariant decomposition of gluon field and the random phase approximation are used. It is shown that the SU(2) QCD vacuum is of type-II superconductor, with the Ginzburg-Landau parameter $\kappa = \sqrt{3}$, being independent of the magnetic condensate and strong coupling used, and consistent with the lattice data. The mass spectrum of a number of $f_{J}$ meson states with $J\leq 2$, which are taken to be of glue dominate, are computed with help of the energies of the knotted(linked) QCD fluxtubes. The low-lying $f_{J}$ states ($leq 1.7GeV$) are shown to be associated with the string excitations of the types $2_{1}^{2}$ and $K=3_{1}^{{}}$ in knot topologies.


title: Baryon-baryon scattering in the Gross-Neveu model: the large N solution

abstract: The scattering of two Dashen-Hasslacher-Neveu (DHN) baryons in the large N Gross-Neveu model is solved exactly using the relativistic, time-dependent Hartree-Fock approach. Unlike the special case of kink-antikink scattering, the scattering of DHN baryons is sensitive to the back-reaction of the fermions bound inside the baryons. Correspondingly the solution is much more complicated than the kink-antikink scattering solutions, which can be expressed in terms of sinh-Gordon solitons. Nevertheless, we present a simple ansatz form that gives closed analytic expressions for both the space-time dependent mean fields and the Dirac spinors for all continuum and bound states. The solution can also be applied to the scattering of polarons and solitons in conducting polymers.


title: The Hesselink stratification of nullcones and base change

abstract: Let $G$ be a connected reductive algebraic group over an algebraically closed field of characteristic $p \ge 0$. We give a case-free proof of Lusztig's conjectures [Unipotent elements in small characteristic, {\em Transform. Groups} 10 (2005), 449--487] on so-called unipotent pieces. This presents a uniform picture of the unipotent elements of $G$ which can be viewed as an extension of the Dynkin--Kostant theory, but is valid without restriction on $p$. We also obtain analogous results for the adjoint action of $G$ on its Lie algebra $\gl$ and the coadjoint action of $G$ on $\gl^*$.


title: Coordinating Interfering Transmissions in Cooperative Wireless LANs

abstract: In this paper we present a cooperative medium access control (MAC) protocol that is designed for a physical layer that can decode interfering transmissions in distributed wireless networks. The proposed protocol pro-actively enforces two independent packet transmissions to interfere in a controlled and cooperative manner. The protocol ensures that when a node desires to transmit a unicast packet, regardless of the destination, it coordinates with minimal overhead with relay nodes in order to concurrently transmit over the wireless channel with a third node. The relay is responsible for allowing packets from the two selected nodes to interfere only when the desired packets can be decoded at the appropriate destinations and increase the sum-rate of the cooperative transmission. In case this is not feasible, classic cooperative or direct transmission is adopted. To enable distributed, uncoordinated, and adaptive operation of the protocol, a relay selection mechanism is introduced so that the optimal relay is selected dynamically and depending on the channel conditions. The most important advantage of the protocol is that interfering transmissions can originate from completely independent unicast transmissions from two senders. We present simulation results that validate the efficacy of our proposed scheme in terms of throughput and delay.


title: Decomposition of formic acid

abstract: Formic acid is known to act as a reduction agent for copper oxide. Its thermal uni-molecular decomposition was studied by means of DFT with special attention to reaction paths and kinetics.


title: Local Donaldson-Thomas invariants of Blowups of surfaces

abstract: Using the degeneration formula for Donaldson-Thomas invariants, we proved a formula for the change of Donaldson-Thomas invariants of local surfaces under blowing up along points.


title: Edge-preserving self-healing: keeping network backbones densely connected

abstract: Healing algorithms play a crucial part in distributed P2P networks where failures occur continuously and frequently. Several self-healing algorithms have been suggested recently [IPDPS'08, PODC'08, PODC'09, PODC'11] in a line of work that has yielded gradual improvements in the properties ensured on the graph. This work motivates a strong general phenomenon of edge-preserving healing that aims at obtaining self-healing algorithms with the constraint that all original edges in the graph (not deleted by the adversary), be retained in every intermediate graph. The previous algorithms, in their nascent form, are not explicitly edge preserving. In this paper, we show they can be suitably modified (We introduce Xheal+, an edge-preserving version of Xheal[PODC'11]). Towards this end, we present a general self-healing model that unifies the previous models. The main contribution of this paper is not in the technical complexity, rather in the simplicity with which the edge-preserving property can be ensured and the message that this is a crucial property with several benefits. In particular, we highlight this by showing that, almost as an immediate corollary, subgraph densities are preserved or increased. Maintaining density is a notion motivated by the fact that in certain distributed networks, certain nodes may require and initially have a larger number of inter-connections. It is vital that a healing algorithm, even amidst failures, respect these requirements. Our suggested modifications yield such subgraph density preservation as a by product. In addition, edge preservation helps maintain any subgraph induced property that is monotonic. Also, algorithms that are edge-preserving require minimal alteration of edges which can be an expensive cost in healing - something that has not been modeled in any of the past work.


title: Parity Asymmetry in the CMBR Temperature Power Spectrum

abstract: We study the power asymmetry between even and odd multipoles in the multipolar expansion of CMB temperature data from WMAP, recently reported in the literature. We introduce an alternate statistic which probes this effect more sensitively. We find that the data is highly anomalous and consistently outside $2\sigma$ significance level in the whole multipole range $l=[2,101]$. We examine the possibility that this asymmetry may be caused by the foreground cleaning procedure or by residual foregrounds. By direct simulations, using the Planck Sky Model for foregrounds we rule out this possibility. We also examine several possible sub-dominant foregrounds, which might lead to such an asymmetry. However in all cases we are unable to explain the signal seen in data. We next examine cleaned maps, using procedures other than the one followed by the WMAP Science team. Specifically we analysed the maps cleaned by the IPSE procedure, Needlets and the harmonic ILC procedure. In all these cases we do not find a statistically significant signal of power asymmetry. This is in contrast to the result obtained by the WMAP best fit power spectrum as well as the ILC map. Finally, we test for the contribution of low-$l$ multipoles to the observed power asymmetry. We find that if we eliminate the first six multipoles, $l=[2,7]$, the significance falls below $2\sigma$ CL. Hence we find that the signal gets dominant contribution from low-$l$ modes.


title: Search for the Standard Model Higgs boson in the two photon decay channel with the ATLAS detector at the LHC

abstract: A search for the Standard Model Higgs boson in the two photon decay channel is reported, using 1.08 fb^-1 of proton-proton collision data at a centre-of-mass energy of 7 TeV recorded by the ATLAS detector. No significant excess is observed in the investigated mass range of 110-150 GeV. Upper limits on the cross-section times branching ratio of between 2.0 and 5.8 times the Standard Model prediction are derived for this mass range.


title: A Fortran 90 Hartree-Fock program for one-dimensional periodic $\pi$-conjugated systems using Pariser-Parr-Pople model

abstract: Pariser-Parr-Pople (P-P-P) model Hamiltonian is employed frequently to study the electronic structure and optical properties of $\pi$-conjugated systems. In this paper we describe a Fortran 90 computer program which uses the P-P-P model Hamiltonian to solve the Hartree-Fock (HF) equation for infinitely long, one-dimensional, periodic, $\pi$-electron systems. The code is capable of computing the band structure, as also the linear optical absorption spectrum, by using the tight-binding (TB) and the HF methods. Furthermore, using our program the user can solve the HF equation in the presence of a finite external electric field, thereby, allowing the simulation of gated systems. We apply our code to compute various properties of polymers such as $trans$-polyacetylene ($t$-PA), poly-\emph{para}-phenylene (PPP), and armchair and zigzag graphene nanoribbons, in the infinite length limit.


title: A Large X-ray Flare from a Single Weak-lined T Tauri Star TWA-7 Detected with MAXI GSC

abstract: We present a large X-ray flare from a nearby weak-lined T Tauri star TWA-7 detected with the Gas Slit Camera (GSC) on the Monitor of All-sky X-ray Image (MAXI). The GSC captured X-ray flaring from TWA-7 with a flux of $3\times10^{-9}$ ergs cm$^{-2}$ s$^{-1}$ in 2--20 keV band during the scan transit starting at UT 2010-09-07 18:24:30.The estimated X-ray luminosity at the scan in the energy band is 3$\times10^{32}$ ergs s$^{-1}$,indicating that the event is among the largest X-ray flares fromT Tauri stars.Since MAXI GSC monitors a target only during a scan transit of about a minute per 92 min orbital cycle, the luminosity at the flare peak might have been higher than that detected. At the scan transit, we observed a high X-ray-to-bolometric luminosity ratio, log $L_{\rm X}/L_{\rm bol}$ = $-0.1^{+0.2}_{-0.3}$; i.e., the X-ray luminosity is comparable to the bolometric luminosity. Since TWA-7 has neither an accreting disk nor a binary companion, the observed event implies that none of those are essential to generate such big flares in T Tauri stars.


title: X-ray spectroscopy of the Compton-thick Seyfert 2 ESO 138-G1

abstract: We report on our analysis of XMM-Newton observations of the Seyfert 2 galaxy ESO 138-G1 (z = 0.0091). These data reveal a complex spectrum in both its soft and hard portions. The 0.5-2 keV band is characterized by a strong 'soft-excess' component with several emission lines, as commonly observed in other narrow-line AGN. Above 3 keV, a power-law fit yields a very flat slope (Gamma ~0.35), along with the presence of a prominent line-like emission feature around ~6.4 keV. This indicates heavy obscuration along the line of sight to the nucleus. We find an excellent fit to the 3-10 keV continuum with a pure reflection model, which provides strong evidence of a Compton-thick screen, preventing direct detection of the intrinsic nuclear X-ray emission. Although a model consisting of a power law transmitted through an absorber with Nh ~2.5 x 10^{23} cm^-2 also provides a reasonable fit to the hard X-ray data, the equivalent width value of ~800 eV measured for the Fe Kalpha emission line is inconsistent with a primary continuum obscured by a Compton-thin column density. Furthermore, the ratio of 2-10 keV to de-reddened [OIII] fluxes for ESO 138-G1 agrees with the typical values reported for well-studied Compton-thick Seyfert galaxies. Finally, we also note that the upper limits to the 15-150 keV flux provided by Swift/BAT and INTEGRAL/IBIS seem to rule out the presence of a transmitted component of the nuclear continuum even in this very hard X-ray band, hence imply that the column density of the absorber could be as high as 10^{25} cm^-2. This makes ESO 138-G1 a very interesting, heavy Compton-thick AGN candidate for the next X-ray missions with spectroscopic and imaging capabilities above 10 keV.


title: Spin excitonic and diffusive modes in superfluid Fermi liquids

abstract: A role of a particle-particle p-wave spin interaction in Fermi liquids with s-wave pairing is studied. Depending on the sign of the interaction there arises either the new exciton collective mode below the pair-breaking threshold or the diffusive excitation mode above the threshold. The Landau parameters which control the interaction strength are evaluated for various systems: the dilute fermion gases, degenerate electron liquid, metals, atomic nuclei and neutron matter. The interaction removes also the square-root singularity in the phase space of pair breaking processes. It is shown how these effects influence the neutrino emissivity in the neutron Cooper-pair recombinations in neutron stars.


title: Third homology of SL_2 and the indecomposable K_3

abstract: It is known that, for an infinite field F, the indecomposable part of K_3(F) and the third homology of SL_2(F) are closely related. In fact, there is a canonical map \alpha: H_3(SL_2(F),Z)_F* --> K_3(F)^ind. Suslin has raised the question that, is \alpha an isomorphism? Recently Hutchinson and Tao have shown that this map is surjective. They also gave some arguments about its injectivity. In this article, we improve their arguments and show that \alpha is bijective if and only if the natural maps H_3(GL_2(F), Z)--> H_3(GL_3(F), Z) and H_3(SL_2(F), Z)_F* --> H_3(GL_2(F), Z) are injective.


title: Electric generation of vortices in an exciton-polariton superfluid

abstract: We have theoretically demonstrated the on demand electric generation of vortices in an exciton-polariton superfluid. Electric pulses applied to a horseshoe-shaped metallic mesa, deposited on top of the microcavity, generate a non-cylindrically symmetric solitonic wave in the system. Breakdown of its wavefront at focal points leads to the formation of vortex-antivortex pairs which subsequently propagate in the superfluid. The trajectory of these vortex dipoles can be controlled by applying a voltage to additional electrodes. They can be confined within channels formed by metallic stripes and unbound by a wedged mesa giving birth to grey solitons. Finally single static vortices can be generated using a single metallic plate configuration.


title: Quantum algorithm for obtaining the energy spectrum of a physical system

abstract: We present a polynomial-time quantum algorithm for obtaining the energy spectrum of a physical system, i.e. the differences between the eigenvalues of the system's Hamiltonian, provided that the spectrum of interest contains at most a polynomially increasing number of energy levels. A probe qubit is coupled to a quantum register that represents the system of interest such that the probe exhibits a dynamical response only when it is resonant with a transition in the system. By varying the probe's frequency and the system-probe coupling operator, any desired part of the energy spectrum can be obtained. The algorithm can also be used to deterministically prepare any energy eigenstate. As an example, we have simulated running the algorithm and obtained the energy spectrum of the water molecule.


title: Homology cylinders of higher-order

abstract: We study algebraic structures of certain submonoids of the monoid of homology cylinders over a surface and the homology cobordism groups, using Reidemeister torsion with non-commutative coefficients. The submonoids consist of ones whose natural inclusion maps from the boundary surfaces induce isomorphisms on higher solvable quotients of the fundamental groups. We show that for a surface whose first Betti number is positive, the homology cobordism groups are other enlargements of the mapping class group of the surface than that of ordinary homology cylinders. Furthermore we show that for a surface with boundary whose first Betti number is positive, the submonoids consisting of irreducible ones as 3-manifolds trivially acting on the solvable quotients of the surface group are not finitely generated.


title: Information Dissemination in Unknown Radio networks with Large Labels

abstract: We consider the problems of deterministic broadcasting and gossiping in completely unknown ad-hoc radio networks. We assume that nothing is known to the nodes about the topology or even the size of the network, $n$, except that $n > 1$. Protocols for vanilla model, when $n$ is known, may be run for increasingly larger estimates $2^i$ on the size of the network, but one cannot determine when such a protocol should terminate. Thus, to carry this design paradigm, successful completion or in-completion of the process should be detected, and this knowledge circulated in the network. We consider the problem of deterministic Acknowledged Broadcasting and Gossiping when nodes can take polynomially large labels. For the above setting, we present the following results for strongly connected networks: (a) A deterministic protocol for acknowledged broadcasting which takes $NRG(n,n^c)$ rounds, where $NRG(n,n^c)$ is the round complexity of deterministic gossiping for vanilla model. (b) A deterministic protocol for acknowledged gossiping, which takes $O(n^2 \lg n)$ rounds when collision detection mechanism is available. The structure of the transmissions of nodes in the network, to enable them to infer collisions, and discover existence of unknown in-neighborhood as a result, is abstracted as a family of integral sets called Selecting-Colliding family. We prove the existence of Selecting-Colliding families using the probabilistic method and employ them to design protocol for acknowledged gossiping when no collision detection mechanism is available. Finally, we present a deterministic protocol for acknowledged broadcasting for bidirectional networks, with a round complexity of $O(n \lg n)$ rounds.


title: Energies and pressures in viruses: contribution of nonspecific electrostatic interactions

abstract: We summarize some aspects of electrostatic interactions in the context of viruses. A simplified but, within well defined limitations, reliable approach is used to derive expressions for electrostatic energies and the corresponding osmotic pressures in single-stranded RNA viruses and double-stranded DNA bacteriophages. The two types of viruses differ crucially in the spatial distribution of their genome charge which leads to essential differences in their free energies, depending on the capsid size and total charge in a quite different fashion. Differences in the free energies are trailed by the corresponding characteristics and variations in the osmotic pressure between the inside of the virus and the external bathing solution.


title: Paraxial and nonparaxial polynomial beams and the analytic approach to propagation

abstract: We construct solutions of the paraxial and Helmholtz equations which are polynomials in their spatial variables. These are derived explicitly using the angular spectrum method and generating functions. Paraxial polynomials have the form of homogeneous Hermite and Laguerre polynomials in Cartesian and cylindrical coordinates respectively, analogous to heat polynomials for the diffusion equation. Nonparaxial polynomials are found by substituting monomials in the propagation variable $z$ with reverse Bessel polynomials. These explicit analytic forms give insight into the mathematical structure of paraxially and nonparaxially propagating beams, especially in regards to the divergence of nonparaxial analogs to familiar paraxial beams.


title: Orbital ordering in the geometrically frustrated MgV$_2$O$_4$: \emph{Ab initio} electronic structure calculations

abstract: In the light of recent interesting experimental work on MgV$_2$O$_4$ we employ the density functional theory to investigate the crucial role played by different interaction parameters in deciding its electronic and magnetic properties. The strong Coulomb correlation in presence of antiferromagnetic (AFM) coupling is responsible for the insulating ground state. In the ground state the $d_{xz}$ and $d_{yz}$ orbitals are ordered and intra-chain vanadium ions are antiferromagnetically coupled. The calculation gives small spin-orbit coupling (SOC), which provides a tilt of $\sim11.3^0$ to the magnetic moment from the z-axis. In the presence of weak SOC and strong exchange coupling, the experimentally observed small magnetic moment and low AFM transition temperature appear to arise from spin fluctuation due to activeness of geometrical frustration.


title: The stability of the Einstein static state in $f(T)$ gravity

abstract: The stability of the Einstein static universe against the homogeneous scalar perturbations in $f(T)$ gravity is analyzed. Both the spatial closed and open universes are considered. We find that the stable Einstein static solutions exist in both cases. Considering a concrete $f(T)$ model and assuming that the cosmic energy has a constant equation of state $w$, we obtain that, in the closed case, $w<1/3$ is required. Thus, $f(T)$ theory gives a larger region of $w$ than that in general relativity ($-1<w<-1/3$) to have the stable Einstein static solution. For the open universe, $f(T)$ theory allows the stable Einstein static solution, although this kind of solution is forbidden in general relativity. Thus, a modification of gravity can play a crucial role in stabilizing the Einstein static solution.


title: The absence of QCD $\beta$-function factorization property of the generalized Crewther relation in the 't Hooft $\bar{MS}$-based scheme

abstract: We apply the 't Hooft $\bar{MS}$-based scheme to study the scheme-dependence of the QCD generalization of Crewther relation for the product of the normalised non-singlet perturbative contributions to the $e^+e^-$-annihilation Adler function and to the Bjorken sum rule of the polarized lepton-nucleon deep-inelastic scattering process. We prove that after the transformations from the pure $\bar{MS}$-scheme to the 't Hooft scheme the characteristic $\bar{MS}$-scheme theoretical property of this relation, namely the factorization of the $\beta$-function in its conformal symmetry breaking part, disappears. Another "non-comfortable" theoretical consequence of the application of this prescription in $\mathcal{N}=1$ SUSY QED model is mentioned. It is shown, that within the 't Hooft scheme the expansions of Green functions in terms of the Lambert function is simplified in high orders of perturbation theory. This may be considered as the attractive feature of the 't Hooft scheme, which manifest itself in high-order perturbative phenomenological applications.


title: Solvability of the quaternionic Monge-Ampere equation on compact manifolds with a flat hyperKaehler metric

abstract: A quaternionic version of the Calabi problem was recently formulated by M. Verbitsky and the author. It conjectures a solvability of a quaternionic Monge-Ampere equation on a compact HKT manifold (HKT stays for HyperKaehler with Torsion). In this paper this problem is solved under an extra assumption that the manifold admits a flat hyperKaehler metric compactible with the underlying hypercomplex structure. The proof uses the continuity method and a priori estimates.


title: Probing the Thermal Deoxygenation of Graphene Oxide using High Resolution In Situ X-Ray based Spectroscopies

abstract: Despite the recent developments in Graphene Oxide due to its importance as a host precursor of Graphene, the detailed electronic structure and its evolution during the thermal reduction remain largely unknown, hindering its potential applications. We show that a combination of high resolution in situ X-ray photoemission and X-ray absorption spectroscopies offer a powerful approach to monitor the deoxygenation process and comprehensively evaluate the electronic structure of Graphene Oxide thin films at different stages of the thermal reduction process. It is established that the edge plane carboxyl groups are highly unstable, whereas carbonyl groups are more difficult to remove. The results consistently support the formation of phenol groups through reaction of basal plane epoxide groups with adjacent hydroxyl groups at moderate degrees of thermal activation (~400 {\deg}C). The phenol groups are predominant over carbonyl groups and survive even at a temperature of 1000 {\deg}C. For the first time a drastic increase in the density of states (DOS) near the Fermi level at 600 {\deg}C is observed, suggesting a progressive restoration of aromatic structure in the thermally reduced graphene oxide


title: Kaon-nucleon scattering lengths from kaonic deuterium experiments revisited

abstract: We analyse the impact of the recent measurement of kaonic hydrogen X rays by the SIDDHARTA collaboration on the allowed ranges for the kaon-deuteron scattering length in the framework of non-relativistic effective field theory. Based on data from KN scattering only, we predict the kaon-deuteron scattering length A_Kd= (-1.46 + i 1.08) fm, with an estimated uncertainty of about 25% in both the real and the imaginary part.


title: A 17 T horizontal field cryomagnet with rapid sample change designed for beamline use

abstract: We describe a new 17 T cryomagnet for neutron, x-ray or optical experiments with rapid in-situ sample change. Sample temperatures are controllable from < 2 K to 300 K in vacuum. Alternatively a room temperature bore insert can be used for experiments in the field centre under atmospheric conditions. Some advantages of this system include very low background scattering due to the small amount of material in the beam path, rapid cooldown, and fast field ramping. Access is available in a ~10-11 degree cone around the field direction on both sides.


title: A 7mm line survey of the shocked and disrupted molecular gas towards the W28 field TeV gamma-ray sources

abstract: We present 7mm Mopra observations of the dense molecular gas towards the W28 supernova remnant (SNR) field, following a previous 12mm line survey of this region. These observations take advantage of the 7mm beam size to probe the dense and disrupted gas in the region at ~1 arcmin scales. Our observations are focused towards the north-eastern (NE) HESS J1801-233 and southern HESS J1800-240B TeV gamma-ray sources, with slightly less observations towards HESS J1800-240A & C. Using the CS (1-0) transition we reveal multiple regions of dense gas, nH2 ~10^5 cm^-3. We report the discovery of dense gas towards HESS J1800-240C, at the site of a 1720MHz OH maser. The NE molecular cloud is known to be disrupted, many 1720MHz OH masers and broad CO line emission are detected at the rim of W28. Here we reveal this shock interaction region contains generally extended clumpy CS, as well as clumpy SiO and CH3OH emission with broad line profiles. The FWHM of the molecular lines extend up to 18 km/s on the W28 side of the NE cloud. The detection of SiO towards maser clumps OH C, D, E & F provide further evidence of the shocked conditions in the NE cloud. Several other lines associated with star formation are also detected towards the southern source, notably the energetic HII complex G5.89-0.39. The spatial match of dense gas with the TeV emission further supports the CR origin for the gamma-rays. We estimate the mass of several extended dense clouds within the field and predict the TeV flux from the dense cloud components. The predicted fluxes are on the order of 10^{-14} - 10^{-13} ph/cm^2/s, which should be detectable and possibly resolved by a future TeV instrument, such as the Cherenkov Telescope Array.


title: Electrically tunable quantum anomalous Hall effect in 5d transition-metal adatoms on graphene

abstract: The combination of the unique properties of graphene with spin polarization and magnetism for the design of new spintronic concepts and devices has been hampered by the small Coulomb interaction and the tiny spin-orbit coupling of carbon in pristine graphene. Such device concepts would take advantage of the control of the spin degree of freedom utilizing the widely available electric fields in electronics or of topological transport mechanisms such as the conjectured quantum anomalous Hall effect. Here we show, using first-principles methods, that 5d transition-metal (TM) adatoms deposited on graphene display remarkable magnetic properties. All considered TM adatoms possess significant spin moments with colossal magnetocrystalline anisotropy energies as large as 50 meV per TM atom. We reveal that the magneto-electric response of deposited TM atoms is extremely strong and in some cases offers even the possibility to switch the spontaneous magnetization direction by a moderate external electric field. We predict that an electrically tunable quantum anomalous Hall effect can be observed in this type of hybrid materials.


title: Splitting the Dirac equation: the case of longitudinal potentials

abstract: Recently, we have demonstrated that some subsolutions of the free Duffin-Kemmer-Petiau and the Dirac equations obey the same Dirac equation with some built-in projection operators. In the present paper we study the Dirac equation in the interacting case. It is demonstrated that the Dirac equation in longitudinal external fields can be also splitted into two covariant subequations.


title: Ab Initio Theory of Scattering-Independent Anomalous Hall Effect

abstract: We report on first-principles calculations of the side-jump contribution to the anomalous Hall conductivity (AHC) directly from the electronic structure of a perfect crystal. We implemented our approach for a short-range scattering disorder model within the density functional theory and computed the full scattering-independent AHC in elemental bcc Fe, hcp Co, fcc Ni, and L1o FePd and FePt alloys. The full AHC thus calculated agrees systematically with experiment to a degree unattainable so far, correctly capturing the previously missing elements of side-jump contributions, hence paving the way to a truly predictive theory of the anomalous Hall effect and turning it from a characterization tool to a probing tool of multi-band complex electronic band structures.


title: Efficient Quantum State Estimation with Over-complete Tomography

abstract: It is widely accepted that the selection of measurement bases can affect the efficiency of quantum state estimation methods, precision of estimating an unknown state can be improved significantly by simply introduce a set of symmetrical measurement bases. Here we compare the efficiencies of estimations with different numbers of measurement bases by numerical simulation and experiment in optical system. The advantages of using a complete set of symmetrical measurement bases are illustrated more clearly.


title: On several new results on p-Carleson measures and related measures in the unit disk

abstract: We provide some new sharp embeddings for p-Carleson and related measures in the unit disk of the complex plane


title: On a converse to Banach's Fixed Point Theorem

abstract: We say that a metric space $(X,d)$ possesses the \emph{Banach Fixed Point Property (BFPP)} if every contraction $f:X\to X$ has a fixed point. The Banach Fixed Point Theorem says that every complete metric space has the BFPP. However, E. Behrends pointed out \cite{Be1} that the converse implication does not hold; that is, the BFPP does not imply completeness, in particular, there is a non-closed subset of $\RR^2$ possessing the BFPP. He also asked \cite{Be2} if there is even an open example in $\RR^n$, and whether there is a 'nice' example in $\RR$. In this note we answer the first question in the negative, the second one in the affirmative, and determine the simplest such examples in the sense of descriptive set theoretic complexity. Specifically, first we prove that if $X\su\RR^n$ is open or $X\su\RR$ is simultaneously $F_\si$ and $G_\de$ and $X$ has the BFPP then $X$ is closed. Then we show that these results are optimal, as we give an $F_\si$ and also a $G_\de$ non-closed example in $\RR$ with the BFPP. We also show that a nonmeasurable set can have the BFPP. Our non-$G_\de$ examples provide metric spaces with the BFPP that cannot be remetrised by any compatible complete metric. All examples are in addition bounded.


title: Cubic Vertices for Symmetric Higher-Spin Gauge Fields in $(A)dS_d$

abstract: Cubic vertices for symmetric higher-spin gauge fields of integer spins in $(A)dS_d$ are analyzed. $(A)dS_d$ generalization of the previously known action in $AdS_4$, that describes cubic interactions of symmetric massless fields of all integer spins $s\geq 2$, is found. A new cohomological formalism for the analysis of vertices of higher-spin fields of any symmetry and/or order of nonlinearity is proposed within the frame-like approach. Using examples of spins two and three it is demonstrated how nontrivial vertices in $(A)dS_d$, including Einstein cubic vertex, can result from the $AdS$ deformation of trivial Minkowski vertices. A set of higher-derivative cubic vertices for any three bosonic fields of spins $s\geq 2$ is proposed, which is conjectured to describe all vertices in $AdS_d$ that can be constructed in terms of connection one-forms and curvature two-forms of symmetric higher-spin fields. A problem of reconstruction of a full nonlinear action starting from known unfolded equations is discussed. It is shown that the normalization of free higher-spin gauge fields compatible with the flat limit relates the noncommutativity parameter $\hbar$ of the higher-spin algebra to the $(A)dS$ radius.


title: Trapped-Ion State Detection through Coherent Motion

abstract: We demonstrate a general method for state detection of trapped ions that can be applied to a large class of atomic and molecular species. We couple a "spectroscopy" ion (Al+) to a "control" ion (Mg+) in the same trap and perform state detection through off-resonant laser excitation of the spectroscopy ion that induces coherent motion. The motional amplitude, dependent on the spectroscopy ion state, is measured either by time-resolved photon counting, or by resolved sideband excitations on the control ion. The first method provides a simplified way to distinguish "clock" states in Al+, which avoids ground state cooling and sideband transitions. The second method reduces spontaneous emission and optical pumping on the spectroscopy ion, which we demonstrate by nondestructively distinguishing Zeeman sublevels in the 1S0 ground state of Al+.


title: PT Symmetric, Hermitian and P-Self-Adjoint Operators Related to Potentials in PT Quantum Mechanics

abstract: In the recent years a generalization $H=p^2 +x^2(ix)^\epsilon$ of the harmonic oscillator using a complex deformation was investigated, where \epsilon\ is a real parameter. Here, we will consider the most simple case: \epsilon even and x real. We will give a complete characterization of three different classes of operators associated with the differential expression H: The class of all self-adjoint (Hermitian) operators, the class of all PT symmetric operators and the class of all P-self-adjoint operators. Surprisingly, some of the PT symmetric operators associated to this expression have no resolvent set.


title: Force and torque acting on particles in a transitionally rough open channel flow

abstract: Direct numerical simulation of open channel flow over a geometrically rough wall has been performed at a bulk Reynolds number of approximately 2900. The wall consisted of a layer of spheres in a square arrangement. Two cases have been considered. In the first case the spheres are small (with diameter equivalent to 10.7 wall units) and the limit of the hydraulically smooth flow regime is approached. In the second case the spheres are more than three times larger (49.3 wall units) and the flow is in the transitionally rough flow regime. Special emphasis is given on the characterisation of the force and torque acting on a particle due to the turbulent flow. It is found that in both cases the mean drag, lift and spanwise torque are to a large extent produced at the top region of the particle surface. The intensity of the particle force fluctuations is significantly larger in the large-sphere case, while the trend differs for the fluctuations of the individual components of the torque. A simplified model is used to show that the torque fluctuations might be explained by the spheres acting as a filter with respect to the size of the flow scales which can effectively generate torque fluctuations. Fluctuations of both force and torque are found to exhibit strongly non-Gaussian probability density functions with particularly long tails, an effect which is more pronounced in the small-sphere case. Some implications of the present results for sediment erosion are briefly discussed.


title: Multi-Scale Analysis of Magnetic Fields in Filamentary Molecular Clouds in Orion A

abstract: New visible and K-band polarization measurements on stars surrounding molecular clouds in Orion A and stars in the BN vicinity are presented. Our results confirm that magnetic fields located inside the Orion A molecular clouds and in their close neighborhood are spatially connected. On and around the BN object, we measured the angular offsets between the K-band polarization data and available submm data. We find high values of the polarization degree, P_{K}, and of the optical depth, \tau_{K}, close to an angular offset position of 90^{\circ} whereas lower values of P_{K} and \tau_{K} are observed for smaller angular offsets. We interpret these results as evidence for the presence of various magnetic field components toward lines of sight in the vicinity of BN. On a larger scale, we measured the distribution of angular offsets between available H-band polarization data and the same submm data set. Here we find an increase of <P_{H}> with angular offset which we interpret as a rotation of the magnetic field by \lesssim 60^{\circ}. This trend generalizes previous results on small scale toward and around lines of sight to BN and is consistent with a twist of the magnetic field on a larger scale towards OMC-1. A comparison of our results with several other studies suggests that a two-component magnetic field, maybe helical, could be wrapping the OMC-1 filament.


title: Power-law entropy corrected holographic and new agegraphic f(R)-gravity models

abstract: Motivated by the recent works of us [1], we establish a correspondence between f(R)-gravity with the power-law entropy corrected holographic dark energy (PLECHDE) and new agegraphic dark energy (PLECNADE) models. We reconstruct corresponding f(R)-gravities and obtain the equation of state parameters. We show that the selected f(R)-gravity models can accommodate the transition from the quintessence state to the phantom regime as indicated by the recent observations.


title: Measurable versions of the LS category on laminations

abstract: We give two new versions of the LS category for the set-up of measurable laminations defined by Berm\'udez. Both of these versions must be considered as "tangential categories". The first one, simply called (LS) category, is the direct analogue for measurable laminations of the tangential category of (topological) laminations introduced by Colman Vale and Mac\'ias Virg\'os. For the measurable lamination that underlies any lamination, our measurable tangential category is a lower bound of the tangential category. The second version, called the measured category, depends on the choice of a transverse invariant measure. We show that both of these "tangential categories" satisfy appropriate versions of some well known properties of the classical category: the homotopy invariance, a dimensional upper bound, a cohomological lower bound (cup length), and an upper bound given by the critical points of a smooth function.


title: A shrinkage probability hypothesis density filter for multitarget tracking

abstract: In radar systems, tracking targets in low signal-to-noise ratio (SNR) environments is a very important task. There are some algorithms designed for multitarget tracking. Their performances, however, are not satisfactory in low SNR environments. Track-before-detect (TBD) algorithms have been developed as a class of improved methods for tracking in low SNR environments. However, multitarget TBD is still an open issue. In this paper, multitarget TBD measurements are modeled, and a highly efficient filter in the framework of finite set statistics (FISST) is designed. Then, the probability hypothesis density (PHD) filter is applied to multitarget TBD. Indeed, to solve the problem of the target and noise not being separated correctly when the SNR is low, a shrinkage-PHD filter is derived, and the optimal parameter for shrinkage operation is obtained by certain optimization procedures. Through simulation results, it is shown that our method can track targets with high accuracy by taking advantage of shrinkage operations.


title: Derivation of the Tully-Fisher's law from the Theory of Ether

abstract: The astrophysicist S. Mc Gaugh recently published (3) a result raising questions concerning the existence of dark matter and the validity of General Relativity, conclusion of his observations of 47 galaxies. He established the validity of Tully-Fisher's law for all those galaxies, which is unexplained and in contradiction with classical Cosmology based on General Relativity. Moreover, we remind that this classical Cosmology did not solve the enigma of the nature of dark matter, nor the enigma of its invisibility, nor the enigma of the constancy of the curve of velocities of stars in a galaxy. Consequently it appears that a new Cosmology, alternative to the classical Cosmology, is necessary, at least in the field of dark matter. In fact it exists already a new Cosmology, alternative to classical Cosmology and compatible with the Relativity Theory, which is the Cosmology of the Theory of Ether relative to dark matter. This new Cosmology gives the nature of dark matter, the origin of its invisibility and permits to obtain the constancy of the curve of velocities of stars in a galaxy. In this article, after having recalled the theoretical elements of this new Cosmology, we will show that it also permits to obtain theoretically Tully-Fisher's law whose Mc Gaugh observations confirmed the validity. We will note that all the theoretical results used and obtained in this article are compatible with the Special and General Relativity Principles.


title: Infeasibility certificates for linear matrix inequalities

abstract: Farkas' lemma is a fundamental result from linear programming providing linear certificates for infeasibility of systems of linear inequalities. In semidefinite programming, such linear certificates only exist for strongly infeasible linear matrix inequalities. We provide nonlinear algebraic certificates for all infeasible linear matrix inequalities in the spirit of real algebraic geometry. More precisely, we show that a linear matrix inequality is infeasible if and only if -1 lies in the quadratic module associated to it. We prove exponential degree bounds for the corresponding algebraic certificate. In order to get a polynomial size certificate, we use a more involved algebraic certificate motivated by the real radical and Prestel's theory of semiorderings. Completely different methods, namely complete positivity from operator algebras, are employed to consider linear matrix inequality domination.


title: Derivation of Pekar's Polarons from a Microscopic Model of Quantum Crystals

abstract: A polaron is an electron interacting with a polar crystal, which is able to form a bound state by using the distortions of the crystal induced by its own density of charge. In this paper we derive Pekar's famous continuous model for polarons (in which the crystal is replaced by a simple effective Coulomb self-attraction) by studying the macroscopic limit of the reduced Hartree-Fock theory of the crystal. The macroscopic density of the polaron converges to that of Pekar's nonlinear model, with a possibly anisotropic dielectric matrix. The polaron also exhibits fast microscopic oscillations which contribute to the energy at the same order, but whose characteristic length is small compared to the scale of the polaron. These oscillations are described by a simple periodic eigenvalue equation. Our approach also covers multi-polarons composed of several electrons, repelling each other by Coulomb forces.


title: Observations of Far-Ultraviolet Diffuse Emission from the Small Magellanic Cloud

abstract: We report the first observations of far-ultraviolet (FUV: 1000 -- 1150 \AA) diffuse radiation from the Small Magellanic Cloud (SMC) using observations from the {\em Far Ultraviolet Spectroscopic Explorer (FUSE)}. The strength of FUV diffuse surface brightness in the SMC ranges from the detection limit of 2000 photons cm$^{-2}$ s$^{-1}$ sr$^{-1}$ \AA$^{-1}$ to a maximum of $3 \times 10^{5}$ photons cm$^{-2}$ s$^{-1}$ sr$^{-1}$ \AA$^{-1}$ at 1004 \AA. The contribution of diffuse emission to the total radiation field was found to be 34% at 1004 \AA to 44% at 1117 \AA with a maximum observed uncertainty of 30%. There is a striking difference between the FUV diffuse fraction from the SMC and the Large Magellanic Cloud (LMC) with the SMC fraction being higher probable because the higher dust albedo. The FUV diffuse emission correlates with H$\alpha$ emission in the H {\small II} regions of the SMC.


title: Analytic Deviation One Ideals and Test Modules

abstract: Let A be a Cohen-Macaulay local ring of dimension d and I an ideal in A. Let M be a finitely generated maximal Cohen-Macaulay A-module. Let I be a locally complete intersection ideal of analytic deviation one and reduction number at most one. We prove that the polynomial given by $length(Tor^{A}_{1}(M,A/I^{n+1}))$ either has degree d-1 or $F_I(M) $ is a free$F(I)-$$module.


title: The Sznajd model with limited persuasion: competition between high-reputation and hesitant agents

abstract: In this work we study a modified version of the two-dimensional Sznajd sociophysics model. In particular, we consider the effects of agents' reputations in the persuasion rules. In other words, a high-reputation group with a common opinion may convince their neighbors with probability $p$, which induces an increase of the group's reputation. On the other hand, there is always a probability $q=1-p$ of the neighbors to keep their opinions, which induces a decrease of the group's reputation. These rules describe a competition between groups with high reputation and hesitant agents, which makes the full-consensus states (with all spins pointing in one direction) more difficult to be reached. As consequences, the usual phase transition does not occur for $p<p_{c} \sim 0.69$ and the system presents realistic democracy-like situations, where the majority of spins are aligned in a certain direction, for a wide range of parameters.


title: The Rabin cryptosystem revisited

abstract: The Rabin public-key cryptosystem is revisited with a focus on the problem of identifying the encrypted message unambiguously for any pair of primes. In particular, a deterministic scheme using quartic reciprocity is described that works for primes congruent 5 modulo 8, a case that was still open. Both theoretical and practical solutions are presented. The Rabin signature is also reconsidered and a deterministic padding mechanism is proposed.


title: A simple construction for a cylindrical cloak via inverse homogenization

abstract: An effective cylindrical cloak may be conceptualized as an assembly of adjacent local neighbourhoods, each of which is made from a homogenized composite material (HCM). The HCM is required to be a certain uniaxial dielectric-magnetic material, characterized by positive-definite constitutive dyadics. It can arise from the homogenization of remarkably simple component materials, such as two isotropic dielectric-magnetic materials, randomly distributed as oriented spheroidal particles. By carefully controlling the spheroidal shape of the component particles, a high degree of HCM anisotropy may be achieved, which is necessary for the cloaking effect to be realized. The inverse Bruggeman formalism can provide estimates of the shape and constitutive parameters for the component materials, as well as their volume fractions.


title: Toda-Heisenberg chain: interacting sigma-fields in two dimensions

abstract: We study a (2+1)-dimensional system that can be viewed as an infinite number of O(3) sigma-fields coupled by a nearest-neighbour Heisenberg-like interaction. We reduce the field equations of this model to an integrable system that is closely related to the two-dimensional relativistic Toda chain and the Ablowitz-Ladik equations. Using this reduction we obtain the dark-soliton solutions of our model.


title: Transversity Form Factors and Generalized Parton Distributions of the pion in chiral quark models

abstract: The transversity Generalized Parton Distributions (tGPDs) and related transversity form factors of the pion are evaluated in chiral quark models, both local (Nambu--Jona-Lasinio) and nonlocal, involving a momentum-dependent quark mass. The obtained tGPDs satisfy all a priori formal requirements, such as the proper support, normalization, and polynomiality. We evaluate generalized transversity form factors accessible from the recent lattice QCD calculations. These form factors, after the necessary QCD evolution, agree very well with the lattice data, confirming the fact that the spontaneously broken chiral symmetry governs the structure of the pion also in the case of the transversity observables.


title: Estimating the number of zero-one multi-way tables via sequential importance sampling

abstract: In 2005, Chen et al introduced a sequential importance sampling (SIS) procedure to analyze zero-one two-way tables with given fixed marginal sums (row and column sums) via the conditional Poisson (CP) distribution. They showed that compared with Monte Carlo Markov chain (MCMC)-based approaches, their importance sampling method is more efficient in terms of running time and also provides an easy and accurate estimate of the total number of contingency tables with fixed marginal sums. In this paper we extend their result to zero-one multi-way ($d$-way, $d \geq 2$) contingency tables under the no $d$-way interaction model, i.e., with fixed $d - 1$ marginal sums. Also we show by simulations that the SIS procedure with CP distribution to estimate the number of zero-one three-way tables under the no three-way interaction model given marginal sums works very well even with some rejections. We also applied our method to Samson's monks' data set. We end with further questions on the SIS procedure on zero-one multi-way tables.


title: Asymptotically optimal discretization of hedging strategies with jumps

abstract: In this work, we consider the hedging error due to discrete trading in models with jumps. Extending an approach developed by Fukasawa [In Stochastic Analysis with Financial Applications (2011) 331-346 Birkh\"{a}user/Springer Basel AG] for continuous processes, we propose a framework enabling us to (asymptotically) optimize the discretization times. More precisely, a discretization rule is said to be optimal if for a given cost function, no strategy has (asymptotically, for large cost) a lower mean square discretization error for a smaller cost. We focus on discretization rules based on hitting times and give explicit expressions for the optimal rules within this class.


title: Giant Superfluorescent Bursts from a Semiconductor Magnetoplasma

abstract: Currently, considerable resurgent interest exists in the concept of superradiance (SR), i.e., accelerated relaxation of excited dipoles due to cooperative spontaneous emission, first proposed by Dicke in 1954. Recent authors have discussed SR in diverse contexts, including cavity quantum electrodynamics, quantum phase transitions, and plasmonics. At the heart of these various experiments lies the coherent coupling of constituent particles to each other via their radiation field that cooperatively governs the dynamics of the whole system. In the most exciting form of SR, called superfluorescence (SF), macroscopic coherence spontaneously builds up out of an initially incoherent ensemble of excited dipoles and then decays abruptly. Here, we demonstrate the emergence of this photon-mediated, cooperative, many-body state in a very unlikely system: an ultradense electron-hole plasma in a semiconductor. We observe intense, delayed pulses, or bursts, of coherent radiation from highly photo-excited semiconductor quantum wells with a concomitant sudden decrease in population from total inversion to zero. Unlike previously reported SF in atomic and molecular systems that occur on nanosecond time scales, these intense SF bursts have picosecond pulse-widths and are delayed in time by tens of picoseconds with respect to the excitation pulse. They appear only at sufficiently high excitation powers and magnetic fields and sufficiently low temperatures - where various interactions causing decoherence are suppressed. We present theoretical simulations based on the relaxation and recombination dynamics of ultrahigh-density electron-hole pairs in a quantizing magnetic field, which successfully capture the salient features of the experimental observations.


title: Double complexes and vanishing of Novikov cohomology

abstract: We consider a non-standard totalisation functor to produce a cochain complex from a given double complex: instead of sums or products, totalisation is defined via truncated products of modules. We give an elementary proof of the fact that a double complex with exact rows (resp, columns) yields an acyclic cochain complex under totalisation using right (resp, left) truncated products. As an application we consider the algebraic mapping torus T(h) of a self map h of a cochain complex C. We show that if C consists of finitely presented modules then T(h) has trivial negative Novikov cohomology; if in addition h is a quasi-isomorphism, then T(h) has trivial positive Novikov cohomology as well. As a consequence we obtain a new proof that a finitely dominated cochain complex over a Laurent polynomial ring has trivial Novikov cohomology.


title: Proof System for Plan Verification under 0-Approximation Semantics

abstract: In this paper a proof system is developed for plan verification problems $\{X\}c\{Y\}$ and $\{X\}c\{KW p\}$ under 0-approximation semantics for ${\mathcal A}_K$. Here, for a plan $c$, two sets $X,Y$ of fluent literals, and a literal $p$, $\{X\}c\{Y\}$ (resp. $\{X\}c\{KW p\}$) means that all literals of $Y$ become true (resp. $p$ becomes known) after executing $c$ in any initial state in which all literals in $X$ are true.Then, soundness and completeness are proved. The proof system allows verifying plans and generating plans as well.


title: The diversity of symplectic Calabi-Yau six-manifolds

abstract: Given an integer b and a finitely presented group G we produce a compact symplectic six-manifold with c_1 = 0, b_2 > b, b_3 > b and fundamental group G. In the simply-connected case we can also arrange for b_3 = 0; in particular these examples are not diffeomorphic to K\"ahler manifolds with c_1 = 0. The construction begins with a certain orientable four-dimensional hyperbolic orbifold assembled from right-angled 120-cells. The twistor space of the hyperbolic orbifold is a symplectic Calabi-Yau orbifold; a crepant resolution of this last orbifold produces a smooth symplectic manifold with the required properties.