title: Anisotropic non-gaussianity with noncommutative spacetime

abstract: We study single field inflation in noncommutative spacetime and compute two-point and three-point correlation functions for the curvature perturbation. We find that both power spectrum and bispectrum for comoving curvature perturbation are statistically anisotropic and the bispectrum is also modified by a phase factor depending upon the noncommutative parameters. The non-linearity parameter $f_{NL}$ is small for small statistical anisotropic corrections to the bispectrum coming from the noncommutative geometry and is consistent with the recent PLANCK bounds. There is a scale dependence of $f_{NL}$ due to the noncommutative spacetime which is different from the standard single field inflation models and statistically anisotropic vector field inflation models. Deviations from statistical isotropy of CMB, observed by PLANCK can tightly constraint the effects due to noncommutative geometry on power spectrum and bispectrum.


title: Improved Foreground Detection via Block-based Classifier Cascade with Probabilistic Decision Integration

abstract: Background subtraction is a fundamental low-level processing task in numerous computer vision applications. The vast majority of algorithms process images on a pixel-by-pixel basis, where an independent decision is made for each pixel. A general limitation of such processing is that rich contextual information is not taken into account. We propose a block-based method capable of dealing with noise, illumination variations and dynamic backgrounds, while still obtaining smooth contours of foreground objects. Specifically, image sequences are analysed on an overlapping block-by-block basis. A low-dimensional texture descriptor obtained from each block is passed through an adaptive classifier cascade, where each stage handles a distinct problem. A probabilistic foreground mask generation approach then exploits block overlaps to integrate interim block-level decisions into final pixel-level foreground segmentation. Unlike many pixel-based methods, ad-hoc post-processing of foreground masks is not required. Experiments on the difficult Wallflower and I2R datasets show that the proposed approach obtains on average better results (both qualitatively and quantitatively) than several prominent methods. We furthermore propose the use of tracking performance as an unbiased approach for assessing the practical usefulness of foreground segmentation methods, and show that the proposed approach leads to considerable improvements in tracking accuracy on the CAVIAR dataset.


title: Square-summable variation and absolutely continuous spectrum

abstract: Recent results of Denisov and Kaluzhny-Shamis describe the absolutely continuous spectrum of Jacobi matrices with coefficients that obey an l^2 bounded variation condition with step p and are asymptotically periodic. We extend these results to orthogonal polynomials on the unit circle. We also replace the asymptotic periodicity condition by the weaker condition of convergence to an isospectral torus and, for p=1 and p=2, we remove even that condition.


title: Single point potentials with total resonant tunneling

abstract: Two rectangular models described by the one-dimensional Schroedinger equation with sharply localized potentials are suggested. The potentials have a multi-layer thin structure being composed from adjacent barriers and wells. Their peculiar tunneling properties are studied in considerable detail. Particularly, in the zero-range limit when the potentials are squeezed to a single point, sharp peaks with total transmission are observed at certain (positive and negative) quantized values of the potential strength constant forming infinite discrete sets. Beyond these sets, the barrier-well structures behave as a perfectly reflecting wall. The transcendental equations with respect to potential strengths, the solutions of which determine transmission (resonance) sets, are derived. In this regard, both the models are exactly solvable. The energy dependence of an incident particle is shown to reveal a resonance behavior, being completely different from that observed in a typical double barrier structure.


title: Transition Temperature and Upper Critical Field in SmFeAsO1-xFx Synthesized at Low Heating Temperatures

abstract: Low-temperature synthesis is a promising and potentially effective method for improving superconducting properties. We report on the fabrication of polycrystalline samples of SmFeAsO1-xFx with nominal x content varying in a wide range of x = 0-0.35 synthesized at 900 deg C. This synthesis temperature is around 300 deg C lower than the conventional synthesis temperature. The variation in the lattice parameters and transition temperature (Tc) of various F-doped samples indicates that reduction of the unit cell volume (V) seems to be the main reason for the rise of Tc up to 57.8 K. Magnetoresistance measurements showed that the upper critical field slope (dHc2/dT) increased with increasing F concentration up to x = 0.2, where it reached a maximum value of -8 T/K corresponding to a coherence length of 10 angstrom. At still higher F doping levels, dHc2/dT and the low field Jc decreased; above 0.5 T, however, Jc had almost the same value. Compared with previous reports, the present synthesis route with low synthesis temperatures and commonly available FeF2 as the source of F is more effective at introducing F into the SmFeAsO system and thereby resulting in improved superconducting properties for the system. In addition, this new sample preparation method also reduces unnecessary problems such as the evaporation of F and reaction between the crucible and superconductor during the solid-state reaction.


title: Neurally Implementable Semantic Networks

abstract: We propose general principles for semantic networks allowing them to be implemented as dynamical neural networks. Major features of our scheme include: (a) the interpretation that each node in a network stands for a bound integration of the meanings of all nodes and external events the node links with; (b) the systematic use of nodes that stand for categories or types, with separate nodes for instances of these types; (c) an implementation of relationships that does not use intrinsically typed links between nodes.


title: Cauchy Problem for a Darboux Integrable Wave Map System and Equations of Lie Type

abstract: The Cauchy problem for harmonic maps from Minkowski space with its standard flat metric to a certain non-constant curvature Lorentzian 2-metric is studied. The target manifold is distinguished by the fact that the Euler-Lagrange equation for the energy functional is Darboux integrable. The time evolution of the Cauchy data is reduced to an ordinary differential equation of Lie type associated to SL(2) acting on a manifold of dimension 4. This is further reduced to the simplest Lie system: the Riccati equation. Lie reduction permits explicit representation formulas for various initial value problems. Additionally, a concise (hyperbolic) Weierstrass-type representation formula is derived. Finally, a number of open problems are framed.


title: Vortical light bullets in second-harmonic-generating media supported by a trapping potential

abstract: We introduce a three-dimensional (3D) model of optical media with the quadratic ($\chi ^{(2)}$) nonlinearity and an effective 2D isotropic harmonic-oscillator (HO) potential. While it is well known that 3D \chi^2 solitons with embedded vorticity ("vortical light bullets") are unstable in the free space, we demonstrate that they have a broad stability region in the present model, being supported by the HO potential against the splitting instability. The shape of the vortical solitons may be accurately predicted by the variational approximation (VA). They exist above a threshold value of the total energy (norm) and below another critical value, which determines a stability boundary. The existence threshold vanishes is a part of the parameter space, depending on the mismatch parameter, which is explained by means of the comparison with the 2D counterpart of the system. Above the stability boundary, the vortex features shape oscillations, periodically breaking its axisymmetric form and restoring it. Collisions between vortices moving in the longitudinal direction are studied too. The collision is strongly inelastic at relatively small values of the velocities, breaking the two colliding vortices into three, with the same vorticity. The results suggest a possibility of the creation of stable 3D optical solitons with the intrinsic vorticity.


title: Classification of blowup limits for SU(3) singular Toda systems

abstract: For singular $SU(3)$ Toda systems, we prove that the limit of energy concentration is a finite set. In addition, for fully bubbling solutions we use Pohozaev identity to prove a uniform estimate. Our results extend previous results of Jost-Lin-Wang on regular $SU(3)$ Toda systems.


title: CN Anomalies in the Halo System and the Origin of Globular Clusters in the Milky Way

abstract: We explore the kinematics and orbital properties of a sample of red giants in the halo system of the Milky Way that are thought to have formed in globular clusters, based on their anomalously strong UV/blue CN bands. The orbital parameters of the CN-strong halo stars are compared to those of the inner- and outer-halo populations as described by Carollo et al., and to the orbital parameters of globular clusters with well-studied Galactic orbits. The CN-strong field stars and the globular clusters both exhibit kinematics and orbital properties similar to the inner-halo population, indicating that stripped or destroyed globular clusters could be a significant source of inner-halo field stars, and suggesting that both the CN-strong stars and the majority of globular clusters are primarily associated with this population.


title: Markov Chain Monte Carlo for Arrangement of Hyperplanes in Locality-Sensitive Hashing

abstract: Since Hamming distances can be calculated by bitwise computations, they can be calculated with less computational load than L2 distances. Similarity searches can therefore be performed faster in Hamming distance space. The elements of Hamming distance space are bit strings. On the other hand, the arrangement of hyperplanes induce the transformation from the feature vectors into feature bit strings. This transformation method is a type of locality-sensitive hashing that has been attracting attention as a way of performing approximate similarity searches at high speed. Supervised learning of hyperplane arrangements allows us to obtain a method that transforms them into feature bit strings reflecting the information of labels applied to higher-dimensional feature vectors. In this p aper, we propose a supervised learning method for hyperplane arrangements in feature space that uses a Markov chain Monte Carlo (MCMC) method. We consider the probability density functions used during learning, and evaluate their performance. We also consider the sampling method for learning data pairs needed in learning, and we evaluate its performance. We confirm that the accuracy of this learning method when using a suitable probability density function and sampling method is greater than the accuracy of existing learning methods.


title: Wave modes of collective vortex gyration in dipolar-coupled-dot-array magnonic crystals

abstract: Lattice vibration modes are collective excitations in periodic arrays of atoms or molecules. These modes determine novel transport properties in solid crystals. Analogously, in periodical arrangements of magnetic vortex-state disks, collective vortex motions have been predicted. Here, we experimentally observe wave modes of collective vortex gyration in one-dimensional (1D) chains of periodic disks using time-resolved scanning transmission x-ray microscopy. The observed modes are interpreted based on micromagnetic simulation and numerical calculation of coupled Thiele equations. Dispersion of the modes is found to be strongly affected by both vortex polarization and chirality ordering, as revealed by the explicit analytical form of 1D infinite chains. A thorough understanding thereof is fundamental both for lattice vibrations and vortex dynamics, which we demonstrate for 1D magnonic crystals. Such magnetic disk arrays with vortex-state ordering, referred to as magnetic metastructure, offer potential implementation into information processing devices.


title: Socle filtrations of the standard Whittaker (g,K)-modules of Spin(r,1)

abstract: Studied are the composition series of the standard Whittaker (g,K)-modules. For a generic infinitesimal character, the structures of these modules are completely understood, but if the infinitesimal character is integral, then there are not so many cases in which the structures of them are known. In this paper, as an example of the integral case, we determine the socle filtrations of the standard Whittaker (g,K)-modules when G is the group Spin(r,1) and the infinitesimal character is regular integral.


title: Margins, Shrinkage, and Boosting

abstract: This manuscript shows that AdaBoost and its immediate variants can produce approximate maximum margin classifiers simply by scaling step size choices with a fixed small constant. In this way, when the unscaled step size is an optimal choice, these results provide guarantees for Friedman's empirically successful "shrinkage" procedure for gradient boosting (Friedman, 2000). Guarantees are also provided for a variety of other step sizes, affirming the intuition that increasingly regularized line searches provide improved margin guarantees. The results hold for the exponential loss and similar losses, most notably the logistic loss.


title: Combinatorial expressions of the solutions to initial value problems of the discrete and ultradiscrete Toda molecules

abstract: Combinatorial expressions are presented to the solutions to initial value problems of the discrete and ultradiscrete Toda molecules. For the discrete Toda molecule, a subtraction-free expression of the solution is derived in terms of non-intersecting paths, for which two results in combinatorics, Flajolet's interpretation of continued fractions and Gessel--Viennot's lemma on determinants, are applied. By ultradiscretizing the subtraction-free expression, the solution to the ultradiscrete Toda molecule is obtained. It is finally shown that the initial value problem of the ultradiscrete Toda molecule is exactly solved in terms of shortest paths on a specific graph.


title: Dynamics of ultra-intense circularly polarized solitons under inhomogeneous plasmas

abstract: The dynamics of the ultra-intense circularly polarized solitons under inhomogeneous plasmas are examined. The interaction is modeled by the Maxwell and relativistic hydrodynamic equations and is solved with fully implicit energy-conserving numerical scheme. It is shown that a propagating weak soliton can be decreased and reflected by increasing plasma background, which is consistent with the existing studies based on hypothesis of weak density response. However it is found that ultra-intense soliton is well trapped and kept still when encountering increasing background. Probably, this founding can be applied for trapping and amplifying high-intensity laser-fields.


title: Stable Nonlinear Identification From Noisy Repeated Experiments via Convex Optimization

abstract: This paper introduces new techniques for using convex optimization to fit input-output data to a class of stable nonlinear dynamical models. We present an algorithm that guarantees consistent estimates of models in this class when a small set of repeated experiments with suitably independent measurement noise is available. Stability of the estimated models is guaranteed without any assumptions on the input-output data. We first present a convex optimization scheme for identifying stable state-space models from empirical moments. Next, we provide a method for using repeated experiments to remove the effect of noise on these moment and model estimates. The technique is demonstrated on a simple simulated example.


title: On the asymptotic behavior of the hyperbolic Brownian motion

abstract: The main results in this paper concern large and moderate deviations for the radial component of a $n$-dimensional hyperbolic Brownian motion (for $n\geq 2$) on the Poincar\'{e} half-space. We also investigate the asymptotic behavior of the hitting probability $P_\eta(T_{\eta_1}^{(n)}<\infty)$ of a ball of radius $\eta_1$, as the distance $\eta$ of the starting point of the hyperbolic Brownian motion goes to infinity.


title: A relation between additive and multiplicative complexity of Boolean functions

abstract: In the present note we prove an asymptotically tight relation between additive and multiplicative complexity of Boolean functions with respect to implementation by circuits over the basis {+,*,1}.


title: Rational cuspidal curves with four cusps on Hirzebruch surfaces

abstract: The purpose of this article is to shed light on the question of how many and what kind of cusps a rational cuspidal curve on a Hirzebruch surface can have. We use birational transformations to construct rational cuspidal curves with four cusps on the Hirzebruch surfaces and find associated results for these curves.


title: Additive inverse regression models with convolution-type operators

abstract: In a recent paper Birke and Bissantz (2008) considered the problem of nonparametric estimation in inverse regression models with convolution-type operators. For multivariate predictors nonparametric methods suffer from the curse of dimensionality and we consider inverse regression models with the additional qualitative assumption of additivity. In these models several additive estimators are studied. In particular, we investigate estimators under the random design assumption which are applicable when observations are not available on a grid. Finally, we compare this estimator with the marginal integration and the non-additive estimator by means of a simulation study. It is demonstrated that the new method yields a substantial improvement of the currently available procedures.


title: Diffusion Effects in Gradient Echo Memory

abstract: We study the effects of diffusion on a $\Lambda$-gradient echo memory, which is a coherent optical quantum memory using thermal gases. The efficiency of this memory is high for short storage time, but decreases exponentially due to decoherence as the storage time is increased. We study the effects of both longitudinal and transverse diffusion in this memory system, and give both analytical and numerical results that are in good agreement. Our results show that diffusion has a significant effect on the efficiency. Further, we suggest ways to reduce these effects to improve storage efficiency.


title: A super Ornstein-Uhlenbeck process interacting with its center of mass

abstract: We construct a supercritical interacting measure-valued diffusion with representative particles that are attracted to, or repelled from, the center of mass. Using the historical stochastic calculus of Perkins, we modify a super Ornstein-Uhlenbeck process with attraction to its origin, and prove continuum analogues of results of Englander [Electron. J. Probab. 15 (2010) 1938-1970] for binary branching Brownian motion. It is shown, on the survival set, that in the attractive case the mass normalized interacting measure-valued process converges almost surely to the stationary distribution of the Ornstein-Uhlenbeck process, centered at the limiting value of its center of mass. In the same setting, it is proven that the normalized super Ornstein-Uhlenbeck process converges a.s. to a Gaussian random variable, which strengthens a theorem of Englander and Winter [Ann. Inst. Henri Poincare Probab. Stat. 42 (2006) 171-185] in this particular case. In the repelling setting, we show that the center of mass converges a.s., provided the repulsion is not too strong and then give a conjecture. This contrasts with the center of mass of an ordinary super Ornstein-Uhlenbeck process with repulsion, which is shown to diverge a.s. A version of a result of Tribe [Ann. Probab. 20 (1992) 286-311] is proven on the extinction set; that is, as it approaches the extinction time, the normalized process in both the attractive and repelling cases converges to a random point a.s.


title: Pressure suppression of spin-density-wave gap in the optical conductivity of SrFe2As2

abstract: Optical reflectance R(w) of a pressure-induced superconductor SrFe2As2 has been measured under external pressure to 6 GPa and at temperatures to 8 K. Optical conductivity s(w) has been derived from the measured R(w). At ambient pressure, in the antiferromagnetic state below T_N=198 K, a pronounced feature develops in s(w) due to the opening of a spin density wave (SDW) gap, as already reported in the literature. With increasing pressure, the SDW gap feature in s(w) is progressively suppressed. At 4 GPa, where the sample is superconducting, the SDW gap feature in s(w) is strongly reduced than that at ambient pressure, but is still clearly observed. At 6 GPa, the SDW gap is completely suppressed. The pressure evolutions of the SDW gap magnitude and the spectral weight closely follow the pressure evolution of T_N.


title: Generating extrema approximation of analytically incomputable functions through usage of parallel computer aided genetic algorithms

abstract: This paper presents capabilities of using genetic algorithms to find approximations of function extrema, which cannot be found using analytic ways. To enhance effectiveness of calculations, algorithm has been parallelized using OpenMP library. We gained much increase in speed on platforms using multithreaded processors with shared memory free access. During analysis we used different modifications of genetic operator, using them we obtained varied evolution process of potential solutions. Results allow to choose best methods among many applied in genetic algorithms and observation of acceleration on Yorkfield, Bloomfield, Westmere-EX and most recent Sandy Bridge cores.


title: Theory of spin pumping through an interacting quantum dot tunnel coupled to a ferromagnet with time-dependent magnetization

abstract: We investigate two schemes for pumping spin adiabatically from a ferromagnet through an interacting quantum dot into a normal lead, which exploit the possibility to vary in time the ferromagnet's magnetization, either its amplitude or its direction. For this purpose, we extend a diagrammatic real-time technique for pumping to situations in which the leads' properties are time dependent. In the first scheme, the time-dependent magnetization amplitude is combined with a time-dependent level position of the quantum dot to establish both a charge and a spin current. The second scheme uses a uniform rotation of the ferromagnet's magnetization direction to generate a pure spin current without a charge current. We discuss the influence of an interaction-induced exchange field on the pumping characteristics.


title: On 1-cocycles induced by a positive definite function on a locally compact abelian group

abstract: For $\varphi$ a normalized positive definite function on a locally compact abelian group $G$, we consider on the one hand the unitary representation $\pi_\varphi$ associated to $\varphi$ by the GNS construction, on the other hand the probability measure $\mu_\varphi$ on the Pontryagin dual $\hat{G}$ provided by Bochner's theorem. We give necessary and sufficient conditions for the vanishing of 1-cohomology $H^1(G,\pi_\varphi)$ and reduced 1-cohomology $\bar{H}^1(G,\pi_\varphi)$. For example, $\bar{H}^1(G,\pi_\varphi)=0$ if and only if either $Hom(G,\mathbb{C})=0$ or $\mu_\varphi(1_G)=0$, where $1_G$ is the trivial character of $G$.


title: The polarized Gamma-Ray Burst GRB 061122

abstract: We report on the polarization measure, obtained with IBIS on board INTEGRAL, of the prompt emission of GRB 061122. Over an 8 s interval containing the brightest part of the Gamma-Ray Burst we put a lower limit on its polarization fraction of 60% at 68% c.l. and of 33% at 90% c.l. on the 250-800 keV energy range. We performed late time optical and near infra-red imaging observations of the GRB field using the Telescopio Nazionale Galileo (TNG), and the Canada-France-Hawaii Telescope (CFHT). Our multi-band (ugrizYJHK) photometry allowed us to identify the host galaxy of GRB 061122 and to build its SED. Using a photometric redshift code we fitted these data, and derived the basic properties of the galaxy, including its type and redshift, that we could constrain to the interval [0.57, 2.10] at a 90% c.l., with a best fit value of z=1.33. The polarization measurement in different energy bands, together with the distance determination, allowed us to put the most stringent limit (xi < 3.4x10-16) to date to a possible Lorentz Invariance Violation based on the vacuum birefringence effect, predicted by some quantum-gravity theories.


title: Frictional anisotropy of metal nanoparticles adsorbed on graphene

abstract: Friction force acting on silver and nickel nanoparticles sheared on a graphene sheet in different lateral directions is investigated using classical molecular dynamics simulations. The results reveal the existence of frictional anisotropy for both metals. In most cases, the maximum value of the friction force is about two times larger than the minimum one. The form of dependencies of instantaneous values of the friction force components on the corresponding lateral components of the position of the centre of mass of the nanoislands strongly depends on sliding direction, varying between the sawtooth and the irregular one. A qualitative explanation of the results based on the "patch" model is proposed.


title: Back action cancellation in resolved sideband regime

abstract: We consider the simple model of measurement of mechanical oscillator position via Fabry-Pero cavity pumped by detuned laser (end mirror of cavity is mass of oscillator) in resolved sideband regime when laser is detuned from cavity's frequency by frequency of mechanical oscillator $\pm\omega_m$ and relaxation rate $\gamma$ of cavity is small: $\gamma\ll \omega_m$. We demonstrate fluctuation back action cancellation in reflected wave. However, it does not allow to circumvent Standard Quantum Limit, the reason of it is the dynamic back action.


title: Analytical scattering matrix of subwavelength infinitely conducting metallic gratings in TM polarization

abstract: We obtain in TM polarization an analytical expression of the scattering matrix of one infinitely conducting metallic lamellar grating with subwavelength slits. The theory is based on the Monomode Modal Method which consists in considering only one propagative mode in grating slits. Two expressions are exposed. The first one comes directly from the theory equations and the second one clearly reveals the Airy-like form of the scattering matrix terms. The theory is validated on a multi-grating object and the stability of the numerical results are shown at the same time. This work provides a basic and very efficient theoretical tool to calculate the diffraction by a stack of subwavelength metallic gratings.


title: Symmetry Protected Quantum State Renormalization

abstract: Symmetry protected topological (SPT) phases with gapless edge excitations have been shown to exist in principle in strongly interacting bosonic/fermionic systems and it is highly desirable to find practical systems to realize such phases through numerical calculation. A central question to be addressed is how to determine the SPT order in the system given the numerical simulation result while no local order parameter can be measured to distinguish the phases from a trivial one. In the tensor network approach to simulate strongly interacting systems, the quantum state renormalization algorithm has been demonstrated to be effective in identifying the intrinsic topological orders. Here we show that a modified algorithm can identify SPT orders by extracting the fixed point entanglement pattern in the ground state wave function which is essential for the existence of SPT order. The key to this approach is to add symmetry protection to the quantum state renormalization process and we demonstrate the effectiveness of this algorithm with the example of AKLT states in both 1D and 2D.


title: Parallel Search with Extended Fibonacci Primitive

abstract: Search pattern experienced by the processor to search an element in secondary storage devices follows a random sequence. Formally, it is a random walk and its modeling is crucial in studying performance metrics like memory access time. In this paper, we first model the random walk using extended Fibonacci series. Our simulation is done on a parallel computing model (PRAM) with EREW strategy. Three search primitives are proposed under parallel computing model and each primitive is thoroughly tested on an array of size $10^7$ with the size of random walk being $10^4$. Our findings reveal that search primitive with pointer jumping is better than the other two primitives. Our key contribution lies in modeling random walk as an extended Fibonacci series generator and simulating the same with various search primitives.


title: Hanle effect in (In,Ga)As quantum dots: Role of nuclear spin fluctuations

abstract: The role of nuclear spin fluctuations in the dynamic polarization of nuclear spins by electrons is investigated in (In,Ga)As quantum dots. The photoluminescence polarization under circularly polarized optical pumping in transverse magnetic fields (Hanle effect) is studied. A weak additional magnetic field parallel to the optical axis is used to control the efficiency of nuclear spin cooling and the sign of nuclear spin temperature. The shape of the Hanle curve is drastically modified with changing this control field, as observed earlier in bulk semiconductors and quantum wells. However, the standard nuclear spin cooling theory, operating with the mean nuclear magnetic field (Overhauser field), fails to describe the experimental Hanle curves in a certain range of control fields. This controversy is resolved by taking into account the nuclear spin fluctuations owed to the finite number of nuclei in the quantum dot. We propose a model describing cooling of the nuclear spin system by electron spins experiencing fast vector precession in the random Overhauser fields of nuclear spin fluctuations. The model allows us to accurately describe the measured Hanle curves and to determine the parameters of the electron-nuclear spin system of the studied quantum dots.


title: A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory

abstract: Novel auction schemes are constantly being designed. Their design has significant consequences for the allocation of goods and the revenues generated. But how to tell whether a new design has the desired properties, such as efficiency, i.e. allocating goods to those bidders who value them most? We say: by formal, machine-checked proofs. We investigated the suitability of the Isabelle, Theorema, Mizar, and Hets/CASL/TPTP theorem provers for reproducing a key result of auction theory: Vickrey's 1961 theorem on the properties of second-price auctions. Based on our formalisation experience, taking an auction designer's perspective, we give recommendations on what system to use for formalising auctions, and outline further steps towards a complete auction theory toolbox.


title: The ForMaRE Project - Formal Mathematical Reasoning in Economics

abstract: The ForMaRE project applies formal mathematical reasoning to economics. We seek to increase confidence in economics' theoretical results, to aid in discovering new results, and to foster interest in formal methods, i.e. computer-aided reasoning, within economics. To formal methods, we seek to contribute user experience feedback from new audiences, as well as new challenge problems. In the first project year, we continued earlier game theory studies but then focused on auctions, where we are building a toolbox of formalisations, and have started to study matching and financial risk. In parallel to conducting research that connects economics and formal methods, we organise events and provide infrastructure to connect both communities, from fostering mutual awareness to targeted matchmaking. These efforts extend beyond economics, towards generally enabling domain experts to use mechanised reasoning.


title: First-principles study of metal-induced gap states in metal/oxide interfaces and their relation with the complex band structure

abstract: We develop a simple model to compute the energy-dependent decay factors of metal-induced gap states in metal/insulator interfaces considering the collective behaviour of all the bulk complex bands in the gap of the insulator. The agreement between the penetration length obtained from the model (considering only bulk properties) and full first-principles simulations of the interface (including explicitly the interfaces) is good. The influence of the electrodes and the polarization of the insulator is analyzed. The method simplifies the process of screening materials to be used in Schootky barriers or in the design of giant tunneling electroresistance and magnetoresistance devices.


title: Detection of self-oscillations of the transport current in a doubly connected superconductor

abstract: It has been found experimentally that when dc current is passed through a circuit consisting of two superconductors connected in parallel and reaches its critical value in one of the circuit branches the current in the branches undergoes quasi-harmonic undamped oscillations. The mechanism resulting in the appearance of the self-oscillations is discussed. The characteristics of magnetic field freezing in a circuit with self-oscillating current are examined.


title: From Symplectic Measurements to the Mahler Conjecture

abstract: In this note we link symplectic and convex geometry by relating two seemingly different open conjectures: a symplectic isoperimetric-type inequality for convex domains, and Mahler's conjecture on the volume product of centrally symmetric convex bodies. More precisely, we show that if for convex bodies of fixed volume in the classical phase space the Hofer-Zehnder capacity is maximized by the Euclidean ball, then a hypercube is a minimizer for the volume product among centrally symmetric convex bodies.


title: QCD with Two Light Dynamical Chirally Improved Quarks

abstract: Results for the excited meson and baryon spectrum with two flavors of Chirally Improved sea quarks are presented. We simulate several ensembles with pion masses ranging from 250 to 600 MeV and extrapolate to the physical pion mass. Strange quarks are treated within the partially quenched approximation. Using the variational method, we investigate the content of the states. Among others, we discuss the flavor singlet/octet content of Lambda states. In general, our results compare well with experiment, in particular we get very good agreement with the Lambda(1405) and confirm its flavor singlet nature.


title: Network Non-Neutrality through Preferential Signaling

abstract: One of the central issues in the debate on network neutrality has been whether one should allow or prevent preferential treatment by an internet service provider (ISP) of traffic according to its origin. This raised the question of whether to allow an ISP to have exclusive agreement with a content provider (CP). In this paper we consider discrimination in the opposite direction. We study the impact that a CP can have on the benefits of several competing ISPs by sharing private information concerning the demand for its content. More precisely, we consider ISPs that compete over access to one common CP. Each ISP selects the price that it charges its subscribers for accessing the content. The CP is assumed to have private information about demand for its content, and in particular, about the inverse demand function corresponding to the content. The competing ISPs are assumed to have knowledge on only the statistical distribution of these functions. We derive in this paper models for studying the impact that the CP can have on the utilities of the ISPs by favoring one of them by exclusively revealing its private information. We also consider the case where CP can charge ISPs for providing such information. We propose two mechanisms based on {\em weighted proportional fairness} for payment between ISPs and CP. Finally, we compare the social utility resulting from these mechanisms with the optimal social utility by introducing a performance metric termed as {\em price of partial bargaining}


title: 3D Smoothed Particle Hydrodynamics Models of Betelgeuse's Bow Shock

abstract: Betelgeuse, the bright red supergiant (RSG) in Orion, is a runaway star. Its supersonic motion through the interstellar medium has resulted in the formation of a bow shock, a cometary structure pointing in the direction of motion. We present the first 3D hydrodynamic simulations of the formation and evolution of Betelgeuse's bow shock. We show that the bow shock morphology depends substantially on the growth timescale for Rayleigh-Taylor versus Kelvin-Helmholtz instabilities. We discuss our models in light of the recent Herschel, GALEX and VLA observations. If the mass in the bow shock shell is low (~few x 0.001 Msun), as seems to be implied by the AKARI and Herschel observations, then Betelgeuse's bow shock is very young and is unlikely to have reached a steady state. The circular, smooth bow shock shell is consistent with this conclusion. We further discuss the implications of our results, in particular, the possibility that Betelgeuse may have only recently entered the RSG phase.


title: The rate of convergence to early asymptotic behaviour in age-structured epidemic models

abstract: Age structure is incorporated in many types of epidemic model. Often it is convenient to assume that such models converge to early asymptotic behaviour quickly, before the susceptible population has been appreciably depleted. We make use of dynamical systems theory to show that for some reasonable parameter values, this convergence can be slow. Such a possibility should therefore be considered when parameterising age-structured epidemic models.


title: Derivations on triangular Banach algebras of order three

abstract: In this paper, we define some new notions of triangular Banach algebras and we investigate the derivations on these algebras.


title: Exploring Morphology-Activity Relationships: Ab Initio Wulff Construction for RuO2 Nanoparticles under Oxidizing Conditions

abstract: We present a density-functional theory based Wulff construction of the equilibrium shape of RuO2 particles in an oxygen environment. The obtained intricate variations of the crystal habit with the oxygen chemical potential allow for a detailed discussion of the dependence on the oxidizing pretreatment observed in recent powder catalyst studies. The analysis specifically indicates an incomplete particle shape equilibration in previously employed low temperature calcination. Equilibrated particles could be active CO oxidation catalysts with long-term stability in oxidizing feed and then represent an interesting alternative to the previously suggested core-shell concept.


title: Viscosity anomaly in core-softened liquids

abstract: The present article presents a molecular dynamics study of several anomalies of core-softened systems. It is well known that many core-softened liquids demonstrate diffusion anomaly. Usual intuition relates the diffusion coefficient to shear viscosity via Stockes-Einstein relation. However, it can break down at low temperature. In this respect it is important to see if viscosity also demonstrates anomalous behavior.


title: Freezing and quantization of current passing through a doubly connected superconductor with a point contact

abstract: The particulars of dc current passage through a structure consisting of a doubly connected superconductor (DCS) with branches that are asymmetric with respect to length and critical current have been investigated experimentally. The short branch, which has the lowest critical current, was a clamping niobium-niobium point contact with length comparable to the coherence length of the superconductor. In contrast to a previously studied DCS with a short branch much longer than the coherence length, it was found that when the short-branch current reaches the critical value the currents in the branches of the DCS do not undergo self-excited oscillations; a current exceeding the critical value enters the long branch when this current is increased in portions (is quantized), and when it is subsequently decreased it freezes partially or completely in the DCS circuit.


title: Current states of a doubly connected superconductor with two point contacts

abstract: The distribution of the transport current in branches of a doubly connected superconductor (DCS) with two clamping point contacts is investigated experimentally when the contacts are in the different states: (a) one or both contacts are in the critical state, (b) both are in the supercritical (resistive) state. In the state (a) the transport current frozen in the DCS and injected through one of the contacts can be increased or decreased by tuning the value and polarity of the current passing through the other contact. In the state (b), the current self-oscillations the amplitude and the frequency of which depend on the value of the injected transport current appear in the branches of the DCS. A role of the parametric Josephson inductance and resistivity of the contact in formation of its critical state and in distribution of the current in the branches of the DCS is discussed.


title: Improving CUR Matrix Decomposition and the Nystr\"{o}m Approximation via Adaptive Sampling

abstract: The CUR matrix decomposition and the Nystr\"{o}m approximation are two important low-rank matrix approximation techniques. The Nystr\"{o}m method approximates a symmetric positive semidefinite matrix in terms of a small number of its columns, while CUR approximates an arbitrary data matrix by a small number of its columns and rows. Thus, CUR decomposition can be regarded as an extension of the Nystr\"{o}m approximation. In this paper we establish a more general error bound for the adaptive column/row sampling algorithm, based on which we propose more accurate CUR and Nystr\"{o}m algorithms with expected relative-error bounds. The proposed CUR and Nystr\"{o}m algorithms also have low time complexity and can avoid maintaining the whole data matrix in RAM. In addition, we give theoretical analysis for the lower error bounds of the standard Nystr\"{o}m method and the ensemble Nystr\"{o}m method. The main theoretical results established in this paper are novel, and our analysis makes no special assumption on the data matrices.


title: Quantization of diamagnetic current in a superconducting ring with the Josephson point contact

abstract: It was established experimentally that a critical value of the diamagnetic current, excited by an external magnetic field in a superconducting ring (with an inductance of about ~ 10^-6 H) with a Nb-Nb clamping point contact having the Josephson contact properties is a strictly periodic function of field strength, despite the complex microstructure of the clamping contact. The reasons of the periodic dependence are discussed on a basis of the interference model of diamagnetic current and quantized values of the circulating current in the microinterferometer formed by the clamping contact.


title: Typical Entanglement

abstract: Let a pure state \psi be chosen randomly in an NM-dimensional Hilbert space, and consider the reduced density matrix \rho of an N-dimensional subsystem. The bipartite entanglement properties of \psi are encoded in the spectrum of \rho. By means of a saddle point method and using a "Coulomb gas" model for the eigenvalues, we obtain the typical spectrum of reduced density matrices. We consider the cases of an unbiased ensemble of pure states and of a fixed value of the purity. We finally obtain the eigenvalue distribution by using a statistical mechanics approach based on the introduction of a partition function.


title: A study of volatile compounds in the breath of children with type 1 diabetes

abstract: A pilot study of exhaled volatile compounds and their correlation with blood glucose levels in eight children with type 1 diabetes is reported. Five paired blood and breath samples were obtained from each child over a 6 hour period. The blood glucose concentration ranged from 41.4 to 435.6 mg/dL. Breath samples were collected in Tedlar bags and immediately evacuated through thermal desorption tubes packed with Carbopack B and C. The VOCs were later recovered by thermal desorption and analysed using gas chromatography mass spectrometry. The study identified 74 volatile compounds present in at least 10% of the patient samples. Of these 74 volatiles 36 were found in all patient samples tested. Further analysis of the 36 compounds found that none showed significant overall correlation with blood glucose levels. Isoprene showed a weak negative correlation with blood glucose levels. Acetone was found to have no correlation with blood glucose levels for the patients studied. Some patients showed significant individual correlation between the relative peak areas of certain compounds and blood glucose levels. However, there was no consistent pattern observed within these results across all 8 patients. Additional breath samples were collected in Tedlar bags and analysed using SIFTMS for 3 of the patients and a healthy control. The levels of 24 volatiles are reported and were found to be generally consistent with previously reported SIFT-MS data. In agreement with the GCMS data, no compounds exhibited a significant overall correlation with blood glucose level.


title: Invertible mappings and the large deviation theory for the $q$-maximum entropy principle

abstract: The possibility of reconciliation between canonical probability distributions obtained from the $q$-maximum entropy principle with predictions from the law of large numbers when empirical samples are held to the same constraints, is investigated into. Canonical probability distributions are constrained by both: $(i)$ the additive duality of generalized statistics and $(ii)$ normal averages expectations. Necessary conditions to establish such a reconciliation are derived by appealing to a result concerning large deviation properties of conditional measures. The (dual) $q^*$-maximum entropy principle is shown {\bf not} to adhere to the large deviation theory. However, the necessary conditions are proven to constitute an invertible mapping between: $(i)$ a canonical ensemble satisfying the $q^*$-maximum entropy principle for energy-eigenvalues $\varepsilon_i^*$, and, $(ii)$ a canonical ensemble satisfying the Shannon-Jaynes maximum entropy theory for energy-eigenvalues $\varepsilon_i$. Such an invertible mapping is demonstrated to facilitate an \emph{implicit} reconciliation between the $q^*$-maximum entropy principle and the large deviation theory. Numerical examples for exemplary cases are provided.

categories: cond-mat.stat-mech cs.IT math-ph math.IT math.MP


title: Set-optimization meets variational inequalities

abstract: We study necessary and sufficient conditions to attain solutions of set-optimization problems in therms of variational inequalities of Stampacchia and Minty type. The notion of a solution we deal with has been introduced Heyde and Loehne, for convex set-valued objective functions. To define the set-valued variational inequality, we introduce a set-valued directional derivative and we relate it to the Dini derivatives of a family of linearly scalarized problems. The optimality conditions are given by Stampacchia and Minty type Variational inequalities, defined both by the set valued directional derivative and by the Dini derivatives of the scalarizations. The main results allow to obtain known variational characterizations for vector valued optimization problems.


title: Proof of a conjecture of Thomassen on Hamilton cycles in highly connected tournaments

abstract: A conjecture of Thomassen from 1982 states that for every k there is an f(k) so that every strongly f(k)-connected tournament contains k edge-disjoint Hamilton cycles. A classical theorem of Camion, that every strongly connected tournament contains a Hamilton cycle, implies that f(1)=1. So far, even the existence of f(2) was open. In this paper, we prove Thomassen's conjecture by showing that f(k)=O(k^2*log^2(k)). This is best possible up to the logarithmic factor. As a tool, we show that every strongly 10^4*k*log(k)-connected tournament is k-linked (which improves a previous exponential bound). The proof of the latter is based on a fundamental result of Ajtai, Koml\'os and Szemer\'edi on asymptotically optimal sorting networks.


title: Optical Rotation Quasi-Phase-Matching for Circularly Polarized High Harmonic Generation

abstract: The first scheme for quasi-phase-matching high harmonic generation of circularly polarized radiation is proposed: optical rotation quasi-phase-matching (ORQPM). In ORQPM propagation of the driving radiation in a system exhibiting circular birefringence causes its plane of polarization to rotate; by appropriately matching the period of rotation to the coherence length it is possible to avoid destructive interference of the generated radiation. It is shown that ORQPM is approximately 5 times more efficient than conventional QPM, and half as efficient as true phase-matching.


title: Valence-skipping and negative-U in the d-band from repulsive local Coulomb interaction

abstract: We show that repulsive local Coulomb interaction alone can drive valence-skipping charge disproportionation in the degenerate d-band, resulting in effective negative-U. This effect is shown to originate from anisotropic orbital-multipole scattering, and occurs only for $d^1$, $d^4$, $d^6$ and $d^9$ fillings (and their immediate surroundings). Explicit boundaries for valence-skipping are derived and the paramagnetic phase diagram for $d^4$ and $d^6$ is calculated. We also establish that the valence-skipping metal is very different, in terms of its local valence distribution, compared to the atomic-like Hund's metal. These findings explains why transition metal compounds with the aforementioned d-band fillings are more prone to valence-skipping charge order and anomalous superconductivity.


title: Asymptotic analysis of solutions to a gauged O(3) sigma model

abstract: We analyze an elliptic equation arising in the study of the gauged O(3) sigma model with the Chern-Simons term. In this paper, we study the asymptotic behavior of solutions and apply it to prove the uniqueness of stable solutions. However, one of the features of this nonlinear equation is the existence of stable nontopological solutions in $\RN$, which implies the possibility that a stable solution which blows up at a vortex point exists. To exclude this kind of blow up behavior is one of the main difficulties which we have to overcome.


title: SPM Bulletin 35

abstract: This issue contains a number of abstracts of papers directly related to selection principles, some of which presented at the conference SPMC2012, and the announcement of the solution of Malyhin's Problem.


title: Asymptotic enumeration of sparse multigraphs with given degrees

abstract: Let J and J* be subsets of Z+ such that 0,1\in J and 0\in J*. For infinitely many n, let k=(k_1,..., k_n) be a vector of nonnegative integers whose sum M is even. We find an asymptotic expression for the number of multigraphs on the vertex set {1,..., n} with degree sequence given by k, such that every loop has multiplicity in J* and every non-loop edge has multiplicity in J. Equivalently, these are symmetric integer matrices with values J* allowed on the diagonal and J off the diagonal. Our expression holds when the maximum degree K satisfies K = o(M^(1/3)). We prove this result using the switching method, building on an asymptotic enumeration of simple graphs with given degrees (McKay and Wormald, 1991). Our application of the switching method introduces a novel way of combining several different switching operations into a single computation.


title: LHCb Results on Semileptonic B/B$_s$/$\Lambda_b$ Decays

abstract: Studies of semileptonic decays of b hadrons with the LHCb experiment are reported. In particular, measurements of the b hadron production fractions at the LHC and Bs semileptonic decays in P-wave charmed mesons are presented. An outlook of the LHCb potential in measuring the CKM matrix elements Vub and Vcb, as well as decays involving taus, is given.


title: Hyperelliptic curves covering an elliptic curve twice

abstract: We show that for any elliptic curve (with j invariant not 0 or 1728) over any field of characteristic different from 2 and 3, there exists an hyperelliptic curve H of genus 5 with two independent maps to the given elliptic curve. We also show that, if we want such a curve to be just geometrically hyperelliptic, so having a degree two map to a conic, then there are some with genus 3.


title: Regarding a uniqueness property of singly-periodic Scherk surfaces

abstract: Inspired by an argument of Ros [15] -- we use the L\'{o}pez-Ros deformation to give another proof of the fact -- due to Meeks and Wolf [13] -- that the only smooth, connected, singly-periodic minimal surfaces in $\Real^3$ with the area growth of two planes are the singly-periodic Scherk surfaces.


title: Isoperimetric domains of large volume in homogeneous three-manifolds

abstract: Given a non-compact, simply connected homogeneous three-manifold $X$ and a sequence $\{\Omega_n\}_n$ of isoperimetric domains in $X$ with volumes tending to infinity, we prove that as $n\to \infty $: 1. The radii of the $\Omega_n$ tend to infinity. 2. The ratios $\{Area} (\partial \Omega_n)/\{Vol}(\Omega_n)$ converge to the Cheeger constant Ch$(X)$, which we also prove to be equal to $2H(X)$ where $H(X)$ is the critical mean curvature of $X$. 3. The values of the constant mean curvatures $H_n$ of the boundary surfaces $\partial \Omega_n$ converge to $\frac{1}{2}\{Ch}(X)$. Furthermore, when Ch$(X)$ is positive, we prove that for $n$ large, $\partial \Omega_n$ is well-approximated in a natural sense by the leaves of a certain foliation of $X$, where every leaf of the foliation is a surface of constant mean curvature $H(X)$.


title: Continuous Weak Approximation for Stochastic Differential Equations

abstract: A convergence theorem for the continuous weak approximation of the solution of stochastic differential equations by general one step methods is proved, which is an extension of a theorem due to Milstein. As an application, uniform second order conditions for a class of continuous stochastic Runge-Kutta methods containing the continuous extension of the second order stochastic Runge-Kutta scheme due to Platen are derived. Further, some coefficients for optimal continuous schemes applicable to It\^o stochastic differential equations with respect to a multi-dimensional Wiener process are presented.


title: Generalized parallel concatenated block codes based on BCH and RS codes, construction and Iterative decoding

abstract: In this paper, a generalization of parallel concatenated block GPCB codes based on BCH and RS codes is presented.


title: Blowup of classical solutions for a class of 3-D quasilinear wave equations with small initial data

abstract: This paper is concerned with the small smooth data problem for the 3-D nonlinear wave equation $\partial_t^2u-\left (1+u+\p_t u\right)\Delta u=0$. This equation is prototypical of the more general equation $\dsize\sum_{i,j=0}^3g_{ij}(u, \nabla u)\partial_{ij}u=0$, where $x_0=t$ and $g_{ij}(u, \nabla u)=c_{ij}+d_{ij}u+\dsize\sum_{k=0}^3e_{ij}^k\partial_ku+O(|u|^2+|\nabla u|^2)$ are smooth functions of their arguments, with $c_{ij}, d_{ij}$ and $e_{ij}^k$ being constants, and $d_{ij}\neq0$ for some $(i,j)$; moreover, $\dsize\sum_{i,j,k=0}^3e_{ij}^k(\partial_ku)\p_{ij} u$ does not fulfill the null condition. For the 3-D nonlinear wave equations $\partial_t^2u-\left (1+u\right)\Delta u=0$ and $\partial_t^2u-\left (1+\partial_t u\right)\Delta u=0$, H. Lindblad, S. Alinhac, and F. John proved and disproved, respectively, the global existence of small smooth data solutions. For radial initial data, we show that the small smooth data solution of $\partial_t^2u-\left(1+u+\partial_t u\right)\Delta u=0$ blows up in finite time. The explicit expression of the asymptotic lifespan $T_{\varepsilon}$ as $\varepsilon\to0^+$ is also given.


title: A search for cosmic topology in the final WMAP data

abstract: A search for matched circle pairs of similar temperature fluctuations in the final WMAP 9yr data is carried out. Such a signature is expected if the space of the Universe is multiply connected. We investigate the relation between the pixel resolution of cosmic microwave background (CMB) maps and a Gaussian smoothing in order to lower the probability for missing matched circle pairs. CMB maps having the 3-torus topology are generated with the characteristics of the WMAP satellite in order to determine how large the smoothing should be chosen in CMB maps disturbed by detector noise. The V- and W-band data are analysed with respect to matched circle pairs and a tentatively signal is found for a circle pair, which lies, however, close to the plane of the Galaxy. It is, however, inconclusive whether this signal is generated by chance, is due to residual foregrounds contained in the V- and W-band maps, or is due to a genuine topology.


title: Genetic algorithms for finding the weight enumerator of binary linear block codes

abstract: In this paper we present a new method for finding the weight enumerator of binary linear block codes by using genetic algorithms. This method consists in finding the binary weight enumerator of the code and its dual and to create from the famous MacWilliams identity a linear system (S) of integer variables for which we add all known information obtained from the structure of the code. The knowledge of some subgroups of the automorphism group, under which the code remains invariant, permits to give powerful restrictions on the solutions of (S) and to approximate the weight enumerator. By applying this method and by using the stability of the Extended Quadratic Residue codes (ERQ) by the Projective Special Linear group PSL2, we find a list of all possible values of the weight enumerators for the two ERQ codes of lengths 192 and 200. We also made a good approximation of the true value for these two enumerators.


title: Symmetrical laws of structure of helicoidally-like biopolymers in the framework of algebraic topology. III. Nature of the double and relations between the alpha helix and the various forms of DNA structures

abstract: In the frameworks of algebraic topology {\alpha}-helix and different DNA-conformations are determined as the local latticed packing, confined by peculiar minimal surfaces which are similar to helicoids. These structures are defined by Weierstrass representation and satisfy to a zero condition for the instability index of the surface and availability of bifurcation points for these surfaces. The topological stability of such structures corresponds to removing of the configuration degeneracy and to existence of bifurcation points for these surfaces. The considered ordered non-crystalline structures are determined by homogeneous manifolds - algebraic polytopes, corresponding to the definite substructures the 8-dimensional lattice E8.The joining of two semi-turns of two spirals into the turn of a single two-spiral (helical) system is effected by the topological operation of a connected sum. The applied apparatus permits to determine a priori the symmetry parameters of the double spirals in A, B and Z forms DNA structures.


title: Lognormality and oscillations in the coverage of high-throughput transcriptomic data towards gene ends

abstract: High-throughput transcriptomics experiments have reached the stage where the count of the number of reads alignable to a given position can be treated as an almost-continuous signal. This allows to ask questions of biophysical/biotechnical nature, but which may still have biological implications. Here we show that when sequencing RNA fragments from one end, as it is the case on most platforms, an oscillation in the read count is observed at the other end. We further show that these oscillations can be well described by Kolmogorov's 1941 broken stick model. We investigate how the model can be used to improve predictions of gene ends (3' transcript ends) but conclude that with present data the improvement is only marginal. The results highlight subtle effects in high-throughput transcriptomics experiments which do not have a biological origin, but which may still be used to obtain biological information.


title: The Aharonov--Bohm effect in scattering theory

abstract: The Aharonov--Bohm effect is considered as a scattering event with nonrelativistic charged particles of the wavelength which is less than the transverse size of an impenetrable magnetic vortex. The quasiclassical WKB method is shown to be efficient in solving this scattering problem. We find that the scattering cross section consists of two terms, one describing the classical phenomenon of elastic reflection and another one describing the quantum phenomenon of diffraction; the Aharonov--Bohm effect is manifested as a fringe shift in the diffraction pattern. Both the classical and the quantum phenomena are independent of the choice of a boundary condition at the vortex edge, providing that probability is conserved. We show that a propagation of charged particles can be controlled by altering the flux of a magnetic vortex placed on their way.

categories: quant-ph cond-mat.mes-hall hep-th math-ph math.MP


title: Towards a model of the human society: A theoretical solution of the cooperation problem

abstract: In this paper we address the cooperation problem in structured populations by considering the prisoner's dilemma game as metaphor of the social interactions between individuals with imitation capacity. We present a new strategy update rule called democratic weighted update where the individuals behavior is socially influenced by each one of their neighbors. In particular, the capacity of an individual to socially influence other ones is proportional to its wisdom which is defined by its successful in the game. When in a neighborhood there are cooperators and defectors, the focal player is contradictorily influenced by them and, therefore, the effective social influence is given by the difference of the total wisdom of each strategy in its neighborhood. First, by considering the growing process of the network and neglecting mutations we show the evolution of highly cooperative systems. Then, we broadly shown that the social influence allows to overcome the emergence of mutants into highly cooperative systems. In this way, we are able to conclude that considering the growing process of the system, individuals with imitation capacity and the social influence the cooperation evolves. Therefore, here we present a theoretical solution of the cooperation problem among unrelated individuals with imitiation capacity.


title: Hubble Space Telescope detection of oxygen in the atmosphere of exoplanet HD189733b

abstract: Detecting heavy atoms in the inflated atmospheres of giant exoplanets that orbit close to their parent stars is a key factor for understanding their bulk composition, and the processes that drive their expansion and interaction with the impinging stellar wind. Here, we use archive data obtained with the Cosmic Origins Spectrograph onboard the Hubble Space Telescope to report an absorption of ~6.4+/-1.8% by neutral oxygen during the HD 189733b transit. Scaling published HI results from a simple hydrodynamic model of HD 189733b, a vertical OI column density of ~8x10^15/cm2 produces only a 3.5% attenuation, implying that non-thermal line broadening or super-solar abundances are required. We also report evidence of short-time variability in the measured stellar flux, a variability that we analyze and compare to solar flaring activity. In that frame, we find that non-statistical uncertainties in the measured fluxes are not negligible, which calls for caution when reporting transit absorptions. Despite these uncertainties, we also show a possible detection for both a transit and early-ingress absorption in the ion CII 133.5nm lines. If confirmed, this would be the second exoplanet for which an early-ingress absorption is reported. Assuming the HD 189733b magnetosphere to be at the origin of the early absorption, we use the Parker model for the stellar wind and a particle-in-cell code for the magnetosphere to show that its orientation should be deflected ~10-30{\deg} from the planet-star line, while its nose's position should be at least ~16.7 Rp upstream of the exoplanet in order to fit the CII transit light curve. The derived stand-off distance is consistent with a surface magnetic field strength of ~5.3 Gauss for the exoplanet, and a supersonic stellar wind impinging at ~250 km/s, with a temperature of 1.2x10^5K and a density ~6.3x10^6/cm^3 at the planetary orbit, yet the fit is not unique.


title: Friction forces on phase transition fronts

abstract: In cosmological first-order phase transitions, the microscopic interaction of the phase transition fronts with non-equilibrium plasma particles manifests itself macroscopically as friction forces. In general, it is a nontrivial problem to compute these forces, and only two limits have been studied, namely, that of very slow walls and, more recently, ultra-relativistic walls which run away. In this paper we consider ultra-relativistic velocities and show that stationary solutions still exist when the parameters allow the existence of runaway walls. Hence, we discuss the necessary and sufficient conditions for the fronts to actually run away. We also propose a phenomenological model for the friction, which interpolates between the non-relativistic and ultra-relativistic values. Thus, the friction depends on two friction coefficients which can be calculated for specific models. We then study the velocity of phase transition fronts as a function of the friction parameters, the thermodynamic parameters, and the amount of supercooling.


title: Algebraic properties of classes of path ideals

abstract: We consider path ideals associated to special classes of posets such as tree posets and cycles. We express their property of being sequentially Cohen-Macaulay in terms of the underlying poset. Moreover, monomial ideals, which arise from the Luce-decomposable model in algebraic statistics, can be viewed as path ideals of certain posets. We study invariants of these so-called \emph{Luce-decomposable} monomial ideals for diamond posets and products of chains. In particular, for these classes of posets, we explicitly compute their Krull dimension, their projective dimension, their regularity and their Betti numbers.


title: Superconductivity From Repulsive Electronic Correlations on Alternant Cuprate and Iron-based Lattices

abstract: A key question in the theory of high-temperature superconductivity is whether Off-diagonal Long-Range Order (ODLRO) can be induced wholly or in large part by repulsive electronic correlations. Electron pairs on Cuprate and the iron-based pnictide and chalcogenide alternant lattices may interact with a strong short-range Coulomb repulsion and much weaker longer range attractive tail. Here we show that such interacting electrons can cooperate to produce a superconducting state in which time-reversed electron pairs effectively avoid the repulsive part but reside predominantly in the attractive region of the potential. The alternant lattice structure is a key feature of such a stabilization mechanism leading to the occurrence of high temperature superconductivity with dx2 -y2 or sign alternating s-wave or s plus/minus condensate symmetries.


title: Thermodynamics of two-component log-gases with alternating charges

abstract: We consider a one-dimensional gas of positive and negative unit charges interacting via a logarithmic potential, which is in thermal equilibrium at the (dimensionless) inverse temperature $\beta$. In a previous paper [Samaj, L.: J. Stat. Phys. 105, 173-191 (2001)], the exact thermodynamics of the unrestricted log-gas of pointlike charges was obtained using an equivalence with a (1+1)-dimensional boundary sine-Gordon model. The present aim is to extend the exact study of the thermodynamics to the log-gas on a line with alternating $\pm$ charges. The formula for the ordered grand partition function is obtained by using the exact results of the Thermodynamic Bethe ansatz. The complete thermodynamics of the ordered log-gas with pointlike charges is checked by a small-$\beta$ expansion and at the collapse point $\beta_c=1$. The inclusion of a small hard core around particles permits us to go beyond the collapse point. The differences between the unconstrained and ordered versions of the log-gas are pointed out.


title: On Integrable Structure and Geometric Transition in Supersymmetric Gauge Theories

abstract: We generalize the exact field theoretic correspondence proposed in arXiv:1103.5726 and embed it into the context of refined topological string. The correspondence originally proposed from the common integrable structures in different field theories can be recast as a special limit of the refined geometric transition relating open and closed topological string partition functions. We realize the simplest examples of the correspondence explicitly in terms of open-closed geometric transition.


title: On the Skitovich-Darmois theorem for a-adic solenoids

abstract: Let $X$ be a compact connected Abelian group. It is well-known that then there exist topological automorphisms $\alpha_j, \beta_j $ of $X$ and independent random variables $\xi_1$ and $\xi_2$ with values in $X$ and distributions $\mu_1, \mu_2$ such that the linear forms $L_1 = \alpha_1\xi_1 + \alpha_2\xi_2$ and $L_2 = \beta_1\xi_1 + \beta_2\xi_2$ are independent, whereas $\mu_1$ and $\mu_2$ are not represented as convolutions of Gaussian and idempotent distributions. This means that the Skitovich--Darmois theorem fails for such groups. We prove that if we consider three linear forms of three independent random variables taking values in $X$, where $X$ is an ${\boldsymbol a}$-adic solenoid, then the independence of the linear forms implies that at least one of the distributions is idempotent. We describe all such solenoids.


title: On the Genus number of Algebraic groups

abstract: We compute the number of orbit types for simply connected simple algebraic groups over algebraically closed fields as well as for compact simply connected simple Lie groups. We also compute the number of orbit types for the adjoint action of these groups on their Lie algebras. We also prove that the genus number of a connected reductive algebraic group coincides with the genus number of its semisimple part.


title: X-ray exploration of the outskirts of the nearby Centaurus cluster using Suzaku and Chandra

abstract: We present Suzaku observations of the Centaurus cluster out to 0.95r200, taken along a strip to the north west. We have also used congruent Chandra observations of the outskirts to resolve point sources down to a threshold flux around 7 times lower than that achievable with just Suzaku data, considerably reducing the systematic uncertainties in the cosmic X-ray background emission in the outskirts. We find that the temperature decreases by a factor of 2 from the peak temperature to the outskirts. The entropy profile demonstrates a central excess (within 0.5r200) over the baseline entropy profile predicted by simulations of purely gravitational hierarchical structure formation. In the outskirts the entropy profile is in reasonable agreement with the baseline entropy profile from Voit et al., but lies slightly below it. We find that the pressure profile agrees with the universal pressure profile of Arnaud et al. but lies slightly above it in the outskirts. The excess pressure and decrement in entropy in the outskirts appear to be the result of an excess in the measured gas density, possible due to gas clumping biasing the density measurements high. The gas mass fraction rises and reaches the mean cosmic baryon fraction at the largest radius studied. The clumping corrected gas mass fraction agrees with the expected hot gas fraction and with the simulations of Young et al. We further the analysis of Walker et al. which studied the shapes of the entropy profiles of the clusters so far explored in the outskirts with Suzaku. When scaled by the self similar entropy the Suzaku entropy profiles demonstrate a central excess over the baseline entropy profile, and are consistent with it at around r500 . However outside r500 the entropy profiles tend to lie below the baseline entropy profile.


title: Low Dimensional Test Sets for Nonnegativity of Even Symmetric Forms

abstract: An important theorem by Timofte states that nonnegativity of real $n$-variate symmetric polynomials of degree $d$ can be decided at test sets given by all points with at most $\lfloor\frac{d}{2}\rfloor$ distinct components. However, if the degree is sufficiently larger than the number of variables, then the theorem obviously does not provide nontrivial information. Our approach is to look at $(m + 1)$-dimensional subspaces of even symmetric forms of degree 4d, at which nonnegativity can be checked at $(m - 1)$-points, i.e., points with at most $m - 1 \in \N$ distinct components, where $m$ is independent of the degree of the forms and better than Timofte's bound. Furthermore, for fixed $k \in \N$, we tackle problems concerning the maximum dimension of such subspaces, at which nonnegativity can be checked at all $k$-points, as well as the geometrical and topological structure of the set of all forms whose nonnegativity can be decided at all $k$-points.


title: A candidate circumbinary Keplerian disk in G35.20-0.74 N: A study with ALMA

abstract: We report on ALMA observations of continuum and molecular line emission with 0.4" resolution towards the high-mass star forming region G35.20-0.74 N. Two dense cores are detected in typical hot-core tracers, such as CH3CN, which reveal velocity gradients. In one of these cores, the velocity field can be fitted with an almost edge-on Keplerian disk rotating about a central mass of 18 Msun. This finding is consistent with the results of a recent study of the CO first overtone bandhead emission at 2.3mum towards G35.20-0.74 N. The disk radius and mass are >2500 au and 3 Msun. To reconcile the observed bolometric luminosity (3x10^4 Lsun) with the estimated stellar mass of 18 Msun, we propose that the latter is the total mass of a binary system.


title: Evolving Communities with Individual Preferences

abstract: The goal of this paper is to provide mathematically rigorous tools for modelling the evolution of a community of interacting individuals. We model the population by a measure space where the measure determines the abundance of individual preferences. The preferences of an individual are described by a measurable choice of a rough path. We focus on the case of weakly interacting systems, where we are able to exhibit the existence and uniqueness of consistent solutions. In general, solutions are continuum of interacting threads analogous to the huge number of individual atomic trajectories that together make up the motion of a fluid. The evolution of the population need not be governed by any over-arching PDE. Although one can match the standard nonlinear parabolic PDEs of McKean-Vlasov type with specific examples of communities in this case. The bulk behaviour of the evolving population provides a solution to the PDE. An important technical result is continuity of the behaviour of the system with respect to changes in the measure assigning weight to individuals. Replacing the deterministic measure with the empirical distribution of an i.i.d. sample from it leads to many standard models, and applying the continuity result allows easy proofs for propagation of chaos. The rigorous underpinning presented here leads to uncomplicated models which have wide applicability in both the physical and social sciences. We make no presumption that the macroscopic dynamics are modelled by a PDE. This work builds on the fine probability literature considering the limit behaviour for systems where a large no of particles are interacting with independent preferences; there is also work on continuum models with preferences described by a semi-martingale measure. We mention some of the key papers.


title: An analytic approach to the asymptotic variance of trie statistics and related structures

abstract: We develop analytic tools for the asymptotics of general trie statistics, which are particularly advantageous for clarifying the asymptotic variance. Many concrete examples are discussed for which new Fourier expansions are given. The tools are also useful for other splitting processes with an underlying binomial distribution. We specially highlight Philippe Flajolet's contribution in the analysis of these random structures.


title: Cyclicity in families of circle maps

abstract: In this paper we will study families of circle maps of the form $x\mapsto x+2\pi r + a f(x) \pmod{2\pi}$ and investigate how many periodic trajectories maps from this family can have for a "typical" function $f$ provided the parameter $a$ is small.


title: On decay and blow-up of solutions for a singular nonlocal viscoelastic problem with a nonlinear source term

abstract: In this paper we consider a singular nonlocal viscoelastic problem with a nonlinear source term and a possible damping term. We proved that if the initial data enter into the stable set, the solution exists globally and decays to zero with a more general rate, and if the initial data enter into the unstable set, the solution with non-positive initial energy as well as positive initial energy blows up in finite time. These are achieved by using the potential well theory, the modified convexity method and the perturbed energy method.


title: On the efficiency of the new Italian Senate and the role of 5 Stars Movement: Comparison among different possible scenarios by means of a virtual Parliament model

abstract: The recent 2013 Italian elections are over and the situation that President Napolitano will have to settle soon for the formation of the new government is not the simplest one. After twenty years of bipolarism (more or less effective), where we were accustomed to a tight battle between two great political coalitions, the center-right and center-left, now, in the new Parliament, we have four political formations. But is it really this result, as it would seem to suggest our common sense, the prelude to an inevitable phase of ungovernability? Can a Parliament with changing majorities in Senate to be as efficient as a Parliament with a large majority in both the Houses? In this short note we will try to answer these questions going beyond common sense and analyzing the current political situation by means of a scientific, original and innovative instrument, i.e. an "agent-based simulation". We show that the situation is not so dramatic as it sounds, but it contains within itself potential positive aspects, as long as one makes the most appropriate choices.


title: Periodic attractors of perturbed one dimensional maps

abstract: In this paper we investigate how many periodic attractors maps in a small neighbourhood of a given map can have. For this purpose we develop new tools which help to make uniform cross-ratio distortion estimates in a neighbourhood of a map with degenerate critical points.


title: Discrete flow mapping: transport of phase space densities on triangulated surfaces

abstract: Energy distributions of high frequency linear wave fields are often modelled in terms of flow or transport equations with ray dynamics given by a Hamiltonian vector field in phase space. Applications arise in underwater and room acoustics, vibro-acoustics, seismology, electromagnetics, and quantum mechanics. Related flow problems based on general conservation laws are used, for example, in weather forecasting or molecular dynamics simulations. Solutions to these flow equations are often large scale, complex and high-dimensional, leading to formidable challenges for numerical approximation methods. This paper presents an efficient and widely applicable method, called discrete flow mapping, for solving such problems on triangulated surfaces. An application in structural dynamics - determining the vibro-acoustic response of a cast aluminium car body component - is presented.


title: Embeddings of locally compact hyperbolic groups into Lp-spaces

abstract: In the last years, there has been a large amount of research on embeddability properties of finitely generated hyperbolic groups. In this paper, we elaborate on the more general class of locally compact hyperbolic groups. We compute the equivariant $L_p$-compression in a number of locally compact examples, such as the groups $SO(n,1)$: by proving that the equivariant $L_p$-compression of a locally compact compactly generated group is minimal for $p=2$, we calculate all equivariant $L_p$-compressions of $SO(n,1)$. Next, we show that although there are locally compact, non-discrete hyperbolic groups $G$ with Kazhdan's property ($T$), it is true that any locally compact hyperbolic group admits a proper affine isometric action on an $L_p$-space for $p$ larger than the Ahlfors regular conformal dimension of $\partial G$. This answers a question asked by Yves de Cornulier. Finally, we elaborate on the locally compact version of property $(A)$ and show that, as in the discrete case, a locally compact second countable group has property (A) if its non-equivariant compression is greater than 1/2.


title: An Approximation Inequality for Continued Radicals and Power Forms

abstract: In this article we derive an approximation inequality for continued radicals, generalizing an inequality of Herschfeld for continued square roots to arbitrary radicals, which is useful in exploring convergence issues and obtaining convergence rates. In fact, we generalize this inequality further to encompass the more general continued power forms. We demonstrate the use of this inequality by obtaining estimates for the convergence rates of several continued radicals including the famous Ramanujan radical.


title: Electromagnetic Decay of Molecular States

abstract: Electromagnetic transitions from deformed structures based on $\alpha$ configurations or on heavier clusters are discussed, drawing the link between multiparticle-multihole excited bands and cluster structures. Enhanced E2 and E1 transitions are reviewed in the light nuclei, $^8$Be, $^{10}$Be, $^{12}$C, $^{16}$O, $^{18}$O and heavier ones like $^{212}$Po. Connections between cluster structures and superdeformed configurations in $^{36}$Ar and $^{40}$Ca are discussed. What the cluster states based on heavier substructures like $^{12}$C and $^{16}$O are concerned, recent results on the resonant radiative capture reaction $^{12}$C($^{16}$O,$\gamma$)$^{28}$Si are presented, in particular the strong decay mode involving the feeding of low-lying $^{28}$Si 1$^+$ and 2$^+$ T=1 states by enhanced M1 isovector transitions.


title: Renormalization flow towards gravitational catalysis in the 3d Gross-Neveu model

abstract: Catalyzed symmetry breaking arises from a parametric enhancement of critical fluctuations independently of the coupling strength. Symmetry-breaking fermionic long-range fluctuations exhibit such an enhancement on negatively curved spaces, as is known from mean-field studies. We study gravitational catalysis from the viewpoint of the functional renormalization group using the 3d Gross-Neveu model as a specific example. We observe gravitational catalysis towards a phase of broken discrete chiral symmetry both on a maximally symmetric (AdS) and on a purely spatially curved manifold for constant negative curvature (Lobachevsky plane). The resulting picture for gravitational catalysis obtained from the renormalization flow is closely related to that of magnetic catalysis. As an application, we estimate the curvature required for subcritical systems of finite length to acquire a gravitionally catalyzed gap.


title: Inhomogeneities in type Ib/c supernovae: An inverse Compton scattering origin of the X-ray emission

abstract: Inhomogeneities in a synchrotron source can severely affect the conclusions drawn from observations regarding the source properties. However, their presence is not always easy to establish, since several other effects can give rise to similar observed characteristics. It is argued that the recently observed broadening of the radio spectra and/or light curves in some of the type Ib/c supernovae is a direct indication of inhomogeneities. As compared to a homogeneous source, this increases the deduced velocity of the forward shock and the observed correlation between total energy and shock velocity could in part be due to a varying covering factor. The X-ray emission from at least some type Ib/c supernovae is unlikely to be synchrotron radiation from an electron distribution accelerated in a non-linear shock. Instead it is shown that the observed correlation during the first few hundred days between the radio, X-ray and bolometric luminosities indicates that the X-ray emission is inverse Compton scattering of the photospheric photons. Inhomogeneities are consistent with equipartition between electrons and magnetic fields in the optically thin synchrotron emitting regions.


title: Resolution enhancement in digital holography by self-extrapolation of holograms

abstract: It is generally believed that the resolution in digital holography is limited by the size of the captured holographic record. Here, we present a method to circumvent this limit by self-extrapolating experimental holograms beyond the area that is actually captured. This is done by first padding the surroundings of the hologram and then conducting an iterative reconstruction procedure. The wavefront beyond the experimentally detected area is thus retrieved and the hologram reconstruction shows enhanced resolution. To demonstrate the power of this concept, we apply it to simulated as well as experimental holograms.


title: Muon g-2 vs LHC in Supersymmetric Models

abstract: There is more than 3 sigma deviation between the experimental and theoretical results of the muon g-2. This suggests that some of the SUSY particles have a mass of order 100 GeV. We study searches for those particles at the LHC with particular attention to the muon g-2. In particular, the recent results on the searches for the non-colored SUSY particles are investigated in the parameter region where the muon g-2 is explained. The analysis is independent of details of the SUSY models. Future prospects of the collider searches are also discussed.


title: CERES for First-Order Schemata

abstract: The cut-elimination method CERES (for first- and higher-order classical logic) is based on the notion of a characteristic clause set, which is extracted from an LK-proof and is always unsatisfiable. A resolution refutation of this clause set can be used as a skeleton for a proof with atomic cuts only (atomic cut normal form). This is achieved by replacing clauses from the resolution refutation by the corresponding projections of the original proof. We present a generalization of CERES (called CERESs) to first-order proof schemata and define a schematic version of the sequent calculus called LKS, and a notion of proof schema based on primitive recursive definitions. A method is developed to extract schematic characteristic clause sets and schematic projections from these proof schemata. We also define a schematic resolution calculus for refutation of schemata of clause sets, which can be applied to refute the schematic characteristic clause sets. Finally the projection schemata and resolution schemata are plugged together and a schematic representation of the atomic cut normal forms is obtained. A major benefit of CERESs is the extension of cut-elimination to inductively defined proofs: we compare CERESs with standard calculi using induction rules and demonstrate that CERESs is capable of performing cut-elimination where traditional methods fail. The algorithmic handling of CERESs is supported by a recent extension of the CERES system.


title: Computing with Non-equilibrium Ratchets

abstract: Electronic ratchets transduce local spatial asymmetries into directed currents in the absence of a global drain bias, by rectifying temporal signals that reside far from thermal equilibrium. We show that the absence of a drain bias can provide distinct energy advantages for computation, specifically, reducing static dissipation in a logic circuit. Since the ratchet functions as a gate voltage-controlled current source, it also potentially reduces the dynamic dissipation associated with charging/discharging capacitors. In addition, the unique charging mechanism eliminates timing related constraints on logic inputs, in principle allowing for adiabatic charging. We calculate the ratchet currents in classical and quantum limits, and show how a sequence of ratchets can be cascaded to realize universal Boolean logic.


title: Quantum Monte Carlo studies of edge magnetism in chiral graphene nanoribbons

abstract: We investigate chiral graphene nanoribbons using projective quantum Monte Carlo simulations within the local Hubbard model description and study the effects of electron-electron interactions on the electronic and magnetic properties at the ribbon edges. Static and dynamical properties are analyzed for nanoribbons of varying width and edge chirality, and compared to a self-consistent Hartee-Fock mean-field approximation. Our results show that for chiral ribbons of sufficient width, the spin correlations exhibit exceedingly long correlation lengths, even between zigzag segments that are well separated by periodic armchair regions. Characteristic enhancements in the magnetic correlations for distinct ribbon widths and chiralities are associated with energy gaps in the tight-binding limit of such ribbons. We identify specific signatures in the local density of states and low- energy modes in the local spectral function which directly relate to enhanced electronic correlations along graphene nanoribbons and which can be accessed scanning tunneling spectroscopy.


title: MHD Simulation of the Inner-Heliospheric Magnetic Field

abstract: Maps of the radial magnetic field at a heliocentric distance of ten solar radii are used as boundary conditions in the MHD code CRONOS to simulate a 3D inner-heliospheric solar wind emanating from the rotating Sun out to 1 AU. The input data for the magnetic field are the result of solar surface flux transport modelling using observational data of sunspot groups coupled with a current sheet source surface model. Amongst several advancements, this allows for higher angular resolution than that of comparable observational data from synoptic magnetograms. The required initial conditions for the other MHD quantities are obtained following an empirical approach using an inverse relation between flux tube expansion and radial solar wind speed. The computations are performed for representative solar minimum and maximum conditions, and the corresponding state of the solar wind up to the Earths orbit is obtained. After a successful comparison of the latter with observational data, they can be used to drive outer-heliospheric models.


title: Ultra-relativistic, neutrino driven flows in GRBs: A double transonic flow solution in Schwarzschild spacetime

abstract: The structure of a hydrodynamic, double transonic flow driven by neutrino annihilation in the polar region of a Schwarzschild black hole is computed for different energy deposition profiles. The requirement that both, the inflow into the black hole and the outflow to infinity pass smoothly through their sonic points fixes the stagnation radius and stagnation pressure. The asymptotic power of the outflow is shown to be the integral of the energy deposition rate above the stagnation radius. The outflow production efficiency depends on the energy deposition profile, and is generally higher for shallower profiles. Using recent calculations of the neutrino annihilation rate, we estimate that over 50 percents of the total energy deposited above the horizon can emerge in the form of a relativistic outflow at infinity. The continuous creation of plasma during the expansion of the outflow leads to generation of a large specific entropy. This has important implications for the prompt photospheric emission in GRBs.


title: On the Use of Key Assignment Schemes in Authentication Protocols

abstract: Key Assignment Schemes (KASs) have been extensively studied in the context of cryptographically-enforced access control, where derived keys are used to decrypt protected resources. In this paper, we explore the use of KASs in entity authentication protocols, where we use derived keys to encrypt challenges. This novel use of KASs permits the efficient authentication of an entity in accordance with an authentication policy by associating entities with security labels representing specific services. Cryptographic keys are associated with each security label and demonstrating knowledge of an appropriate key is used as the basis for authentication. Thus, by controlling the distribution of such keys, restrictions may be efficiently placed upon the circumstances under which an entity may be authenticated and the services to which they may gain access. In this work, we explore how both standardized protocols and novel constructions may be developed to authenticate entities as members of a group associated to a particular security label, whilst protecting the long-term secrets in the system. We also see that such constructions may allow for authentication whilst preserving anonymity, and that by including a trusted third party we can achieve the authentication of individual identities and authentication based on timestamps without the need for synchronized clocks.


title: Commuting ordinary differential operators of arbitrary genus and arbitrary rank with polynomial coefficients

abstract: In this paper we construct examples of commuting ordinary scalar differential operators with polynomial coefficients that are related to a spectral curve of an arbitrary genus g>0 and to an arbitrary rank r>1 of the vector bundle of common eigenfunctions of the commuting operators over the spectral curve. This solves completely the well-known existence problem for commuting operators of arbitrary genus and arbitrary rank with polynomial coefficients. The constructed commuting operators of arbitrary rank r>1 and arbitrary genus g>0 are given explicitly, they are generated by the Chebyshev polynomials T_r (x).

categories: math.CA math-ph math.AG math.MP math.RA nlin.SI


title: StegTorrent: a Steganographic Method for the P2P File Sharing Service

abstract: The paper proposes StegTorrent a new network steganographic method for the popular P2P file transfer service-BitTorrent. It is based on modifying the order of data packets in the peer-peer data exchange protocol. Unlike other existing steganographic methods that modify the packets' order it does not require any synchronization. Experimental results acquired from prototype implementation proved that it provides high steganographic bandwidth of up to 270 b/s while introducing little transmission distortion and providing difficult detectability.


title: The improvement about convergence properties for pairwise NQD random sequences

abstract: In this paper, the improvement about the generalized Kolmogorov-type three series theorem, in the case of NQD random variables, is obtained by different method. Furthermore, the generalized Kolmogorov-type three series theorem is simplified. From the simplified theorem, related results in Wu (Acta. Math. Sinica. 45(3), 617-624, 2002) and some main results in Shi (Acta. Math. Appl. Sin., 34(1), 122-130, 2011) and Li et al. (J. Math. Anal. Appl., 344, 741-747, 2008) are also discussed or improved in the article.


title: Statistical Mechanics Approach to Sparse Noise Denoising

abstract: Reconstruction fidelity of sparse signals contaminated by sparse noise is considered. Statistical mechanics inspired tools are used to show that the l1-norm based convex optimization algorithm exhibits a phase transition between the possibility of perfect and imperfect reconstruction. Conditions characterizing this threshold are derived and the mean square error of the estimate is obtained for the case when perfect reconstruction is not possible. Detailed calculations are provided to expose the mathematical tools to a wide audience.


title: Sensitivity analysis of a time-delayed thermo-acoustic system via an adjoint-based approach

abstract: We apply adjoint-based sensitivity analysis to a time-delayed thermo-acoustic system: a Rijke tube containing a hot wire. We calculate how the growth rate and frequency of small oscillations about a base state are affected either by a generic passive control element in the system (the structural sensitivity analysis) or by a generic change to its base state (the base-state sensitivity analysis). We illustrate the structural sensitivity by calculating the effect of a second hot wire with a small heat release parameter. In a single calculation, this shows how the second hot wire changes the growth rate and frequency of the small oscillations, as a function of its position in the tube. We then examine the components of the structural sensitivity in order to determine the passive control mechanism that has the strongest influence on the growth rate. We find that a force applied to the acoustic momentum equation in the opposite direction to the instantaneous velocity is the most stabilizing feedback mechanism. We also find that its effect is maximized when it is placed at the downstream end of the tube. This feedback mechanism could be supplied, for example, by an adiabatic mesh. We illustrate the base-state sensitivity by calculating the effects of small variations in the damping factor, the heat-release time-delay coefficient, the heat-release parameter, and the hot wire location. The successful application of sensitivity analysis to thermo-acoustics opens up new possibilities for the passive control of thermo-acoustic oscillations by providing gradient information that can be combined with constrained optimization algorithms in order to reduce linear growth rates.