title: A Hybridizable Discontinuous Galerkin Method for the Helmholtz Equation with High Wave Number

abstract: This paper analyzes the error estimates of the hybridizable discontinuous Galerkin (HDG) method for the Helmholtz equation with high wave number in two and three dimensions. The approximation piecewise polynomial spaces we deal with are of order $p\geq 1$. Through choosing a specific parameter and using the duality argument, it is proved that the HDG method is stable without any mesh constraint for any wave number $\kappa$. By exploiting the stability estimates, the dependence of convergence of the HDG method on $\kappa,h$ and $p$ is obtained. Numerical experiments are given to verify the theoretical results.


title: Visualising Virtual Communities: From Erd\H{o}s to the Arts

abstract: Monitoring communities has become increasingly easy on the web as the number of visualisation tools and amount of data available about communities increase. It is possible to visualise connections on social and professional networks such as Facebook in the form of mathematical graphs. It is also possible to visualise connections between authors of papers. In particular, Microsoft Academic Search now has a large corpus of information on publications, together with author and citation information, that can be visualised in a number of ways. In mathematical circles, the concept of the "Erd\H{o}s number" has been introduced, in honour of the Hungarian mathematician Paul Erd\H{o}s, measuring the "collaborative distance" of a person away from Erd\H{o}s through links by co-author. Similar metrics have been proposed in other fields, including acting. The possibility of exploring and visualising such links in arts fields is proposed in this paper.


title: First moment of Rankin-Selberg central L-values and subconvexity in the level aspect

abstract: Let $1\le N<M$ with $N$ and $M$ coprime and square-free. Through classical analytic methods we estimate the first moment of central $L$-values $ L(1/2,f\times g) $ where $f\in S^*_k(N)$ runs over primitive holomorphic forms of level $N$ and trivial nebentypus and $g$ is a given form of level $M$. As a result, we recover the bound $ L(1/2,f\times g) \ll_\varepsilon (N + \sqrt{M}) N^\varepsilon M^\varepsilon $ when $g$ is dihedral. The first moment method also applies to the special derivative $L'(1/2,f\times g)$ under the assumption that it is non-negative for all $f\in S^*_k(N)$.


title: Usability, Design and Content Issues of Mobile Apps for Cultural Heritage Promotion: The Malta Culture Guide Experience

abstract: The paper discusses the experience of producing and distributing an iPhone app for promotion of the Maltese Cultural Heritage on behalf of the Malta Tourism Authority. Thanks to its position at the heart of the Mediterranean Sea, Malta has been a crossroads of civilisations whose traces are still visible today, leaving a particularly rich and varied cultural heritage, from megalithic temples to baroque palaces and Caravaggio masterpieces. Conveying all these different aspects within a single application, using textual, visual, and audio means, has raised many different issues about the planning and production of cultural content for mobile usage, together with usability aspects regarding design and distribution of a mobile app. In this paper, we outline all of these aspects, focusing on the design and planning strategies for a long-term user commitment and how to evaluate results for cultural mobile applications. We include experience of all the steps of developing a mobile app, information that is of possible benefit to other app developers in the cultural sector.


title: Classical and Signed Kazhdan-Lusztig Polynomials: Character Multiplicity Inversion by Induction

abstract: The famous Kazhdan-Lusztig Conjecture of the 1970s states that the multiplicity of an irreducible composition factor of a Verma module can be computed by evaluating Kazhdan-Lusztig polynomials at 1. Thus the character of a Verma module is a linear combination of characters of irreducible highest weight modules where the coefficients in the linear combination are Kazhdan-Lusztig polynomials evaluated at 1. Kazhdan-Lusztig showed that inverting and writing the character of an irreducible highest weight module as a linear combination of characters of Verma modules, the coefficients in the linear combination are also Kazhdan-Lusztig polynomials evaluated at 1, up to a sign. In this paper, we show how to prove Kazhdan-Lusztig's character multiplicity inversion formula by induction using coherent continuation functors. Unitary representations may be identified by determining if characters and signature characters are the same. The signature character of a Verma module may be written as a linear combination of signature characters of irreducible highest weight modules where the coefficients in the linear combination are signed Kazhdan-Lusztig polynomials evaluated at 1. An analogous argument by induction using coherent continuation functors proves an analogous multiplicity inversion formula for signature characters: the signature character of an irreducible highest weight module is a linear combination of signature characters of Verma modules where the coefficients, up to a sign, are also signed Kazhdan-Lusztig polynomials evaluated at 1.


title: Turing patterns and apparent competition in predator-prey food webs on networks

abstract: Reaction-diffusion systems may lead to the formation of steady state heterogeneous spatial patterns, known as Turing patterns. Their mathematical formulation is important for the study of pattern formation in general and play central roles in many fields of biology, such as ecology and morphogenesis. In the present study we focus on the role of Turing patterns in describing the abundance distribution of predator and prey species distributed in patches in a scale free network structure. We extend the original model proposed by Nakao and Mikhailov by considering food chains with several interacting pairs of preys and predators. We identify patterns of species distribution displaying high degrees of apparent competition driven by Turing instabilities. Our results provide further indication that differences in abundance distribution among patches may be, at least in part, due to self organized Turing patterns, and not necessarily to intrinsic environmental heterogeneity.


title: Image denoising: learning noise distribution via PDE-constrained optimization

abstract: We propose a PDE-constrained optimization approach for the determination of noise distribution in total variation (TV) image denoising. An optimization problem for the determination of the weights correspondent to different types of noise distributions is stated and existence of an optimal solution is proved. A tailored regularization approach for the approximation of the optimal parameter values is proposed thereafter and its consistency studied. Additionally, the differentiability of the solution operator is proved and an optimality system characterizing the optimal solutions of each regularized problem is derived. The optimal parameter values are numerically computed by using a quasi-Newton method, together with semismooth Newton type algorithms for the solution of the TV-subproblems.


title: Non-local order parameters for the 1D Hubbard model

abstract: We characterize the Mott insulator and Luther-Emery phases of the 1D Hubbard model through correlators that measure the parity of spin and charge strings along the chain. These non-local quantities order in the corresponding gapped phases and vanish at the critical point $U_c=0$. The Mott insulator consists of bound doublon-holon pairs, which in the Luther-Emery phase turn into electron pairs with opposite spins, both unbinding at $U_c$. The behavior of the parity correlators can be captured by an effective free spinless fermion model.


title: Towards a microscopic description of the free-energy landscape of water

abstract: Free-energy landscape theory is often used to describe complex molecular systems. Here, a microscopic description of water structure and dynamics based on configuration-space-networks and molecular dynamics simulations of the TIP4P/2005 model is applied to investigate the free-energy landscape of water. The latter is built on top of a large set of water microstates describing the kinetic stability of local hydrogen-bond arrangements up to the second solvation shell. In temperature space, the landscape displays three regions with an overall different organization. At ambient conditions, the free-energy surface is characterized by structural inhomogeneities with multiple, structurally well defined, short-lived basins of attraction. Below around ambient temperature, the liquid rapidly becomes homogeneous. In this regime, the landscape is funneled-like, with fully-coordinated water arrangements at the bottom of the funnel. Finally, a third region develops below the temperature of maximal compressibility (Widom line) where the funnel becomes steeper with few interconversions between microstates other than the fully coordinated ones. Our results present a viable a way to manage the complexity of water structure and dynamics, connecting microscopic properties to its ensemble behavior.


title: Similarity of perturbations of the shift and a different product of rational functions

abstract: Necessary and sufficient conditions are given for the similarity between two perturbations of the (backward) shift by rank one operators, under certain assumptions on the perturbations. The proof of similarity is based on an explicit construction of intertwiners between the perturbations. These intertwiners, in turn, are parametrized by the elements of a certain algebra, with the group of "circle invertible" elements of this algebra giving rise to invertible intertwiners.


title: Root polytopes and abelian ideals

abstract: We study the root polytope $\mathcal P_\Phi$ of a finite irreducible crystallographic root system $\Phi$ using its relation with the abelian ideals of a Borel subalgebra of a simple Lie algebra with root system $\Phi$. We determine the hyperplane arrangement corresponding to the faces of codimension 2 of $\mathcal P_\Phi$ and analyze its relation with the facets of $\mathcal P_\Phi$. For $\Phi$ of type $A_n$ or $C_n$, we show that the orbits of some special subsets of abelian ideals under the action of the Weyl group parametrize a triangulation of $\mathcal P_\Phi$. We show that this triangulation restricts to a triangulation of the positive root polytope $\mathcal P_\Phi^+$.


title: Negative parity baryons in the $1/N_c$ expansion: the three towers of states revisited

abstract: We discuss the compatibility between the quark-shell picture and the meson-nucleon scattering picture in large $N_c$ QCD for mixed symmetric $\ell$ = 1 states previously analyzed by using a simple Hamiltonian including operators up to order $\mathcal{O}(N^0_c)$ defined in the standard ground state symmetric core + excited quark procedure. Here we introduce a Hamiltonian of order $\mathcal{O}(N^0_c)$ defined in a new approach where the separation of the system into two parts is not required. Three degenerate sets of states (towers) with the same quantum numbers as in the scattering picture and in the standard procedure are obtained. Thus the 0 is equally achieved. The eigenvalues of the presently chosen Hamiltonian also have simple analytic expressions, depending linearly on the three dynamical coefficients entering the Hamiltonian. This reinforces the validity of the new approach which had already 0 described excited negative parity baryons in a large energy range.


title: Navigating to the Moon Along Low-Energy Transfers

abstract: This paper presents a navigation strategy to fly to the Moon along a Weak Stability Boundary transfer trajectory. A particular strategy is devised to ensure capture into an uncontrolled relatively stable orbit at the Moon. Both uncertainty in the orbit determination process and in the control of the thrust vector are included in the navigation analysis. The orbit determination process is based on the definition of an optimal filtering technique that is able to meet accuracy requirements at an acceptable computational cost. Three sequential filtering techniques are analysed: an extended Kalman filter, an Unscented Kalman filter and a Kalman filter based on high order expansions. The analysis shows that only the unscented Kalman filter meets the accuracy requirements at an acceptable computational cost. This paper demonstrates lunar weak capture for all trajectories within a capture corridor defined by all the trajectories in the neighbourhood of the nominal one, in state space. A minimum f'v strategy is presented to extend the lifetime of the spacecraft around the Moon. The orbit determination and navigation strategies are applied to the case of the European Student Moon Orbiter.


title: Have Superheavy Elements been Produced in Nature?

abstract: We discuss the possibility whether superheavy elements can be produced in Nature by the astrophysical rapid neutron capture process. To this end we have performed fully dynamical network r-process calculations assuming an environment with neutron-to-seed ratio large enough to produce superheavy nuclei. Our calculations include two sets of nuclear masses and fission barriers and include all possible fission channels and the associated fission yield distributions. Our calculations produce superheavy nuclei with A ~ 300 that however decay on timescales of days.


title: Design and Development of Low Cost PC Based Real Time Temperature and Humidity Monitoring System

abstract: This paper presents the design and development of a low cost Data Acquisition System (DAS) using PIC12F675 microcontroller for real time temperature and humidity monitoring. The designed DAS has 4 analog input channels having 10-bit resolution and was interfaced through the serial port of the PC. A precision integrated temperature sensor and an instrumentation-quality RH (Relative Humidity) sensor were used for sensing the temperature and humidity respectively. The firmware was written in Basic and compiled using Oshonsoft PIC IDE and downloaded to the microcontroller by using PICkit2 programmer. An application program was also developed using Visual Basic 6, which allows displaying the waveform of the signal(s) in real time and the data can be saved into the hard disk of the computer for future use and analysis. It can also be interfaced to the USB port of the PC or laptop using USB to serial adapter BAFO BF-810. Thus, the designed low cost device works with the legacy hardware as well as the modern USB interface.


title: An Approach to Model Interest for Planetary Rover through Dezert-Smarandache Theory

abstract: In this paper, we propose an approach for assigning an interest level to the goals of a planetary rover. Assigning an interest level to goals, allows the rover autonomously to transform and reallocate the goals. The interest level is defined by data-fusing payload and navigation information. The fusion yields an "interest map", that quantifies the level of interest of each area around the rover. In this way the planner can choose the most interesting scientific objectives to be analyzed, with limited human intervention, and reallocates its goals autonomously. The Dezert-Smarandache Theory of Plausible and Paradoxical Reasoning was used for information fusion: this theory allows dealing with vague and conflicting data. In particular, it allows us directly to model the behavior of the scientists that have to evaluate the relevance of a particular set of goals. The paper shows an application of the proposed approach to the generation of a reliable interest map.


title: Herschel/PACS observations of young sources in Taurus: the far-infrared counterpart of optical jets

abstract: Observations of the atomic and molecular line emission associated with jets and outflows emitted by young stellar objects can be used to trace the various evolutionary stages they pass through as they evolve to become main sequence stars. To understand the relevance of atomic and molecular cooling in shocks, and how accretion and ejection efficiency evolves with the source evolutionary state, we will study the far-infrared counterparts of bright optical jets associated with Class I and II sources in Taurus (T Tau, DG Tau A, DG Tau B, FS Tau A+B, and RW Aur). We have analysed Herschel/PACS observations of a number of atomic ([OI]63um, 145um, [CII]158um) and molecular (high-J CO, H2O, OH) lines, collected within the OTKP GASPS. To constrain the origin of the detected lines we have compared the FIR emission maps with the emission from optical-jets and millimetre-outflows, and the line fluxes and ratios with predictions from shock and disk models. All of the targets are associated with extended emission in the atomic lines correlated with the direction of the optical jet/mm-outflow. The atomic lines can be excited in fast dissociative J-shocks. The molecular emission, on the contrary, originates from a compact region, that is spatially and spectrally unresolved. Slow C- or J- shocks with high pre-shock densities reproduce the observed H2O and high-J CO lines; however, the disk and/or UV-heated outflow cavities may contribute to the emission. While the cooling is dominated by CO and H2O lines in Class 0 sources, [OI] becomes an important coolant as the source evolves and the environment is cleared. The cooling and mass loss rates estimated for Class II and I sources are one to four orders of magnitude lower than for Class 0 sources. This provides strong evidence to indicate that the outflow activity decreases as the source evolves.


title: Baire and weakly Namioka spaces

abstract: Recall that a Hausdorff space $X$ is said to be Namioka if for every compact (Hausdorff) space $Y$ and every metric space $Z$, every separately continuous function $f:X\times{Y}\rightarrow{Z}$ is continuous on $D\times{Y}$ for some dense $G_\delta$ subset $D$ of $X$. It is well known that in the class of all metrizable spaces, Namioka and Baire spaces coincide (Saint-Raymond, 1983). Further it is known that every completely regular Namioka space is Baire and that every separable Baire space is Namioka (Saint-Raymond, 1983). In our paper we study spaces $X$, we call them weakly Namioka, for which the conclusion of the theorem for Namioka spaces holds provided that the assumption of compactness of $Y$ is replaced by second countability of $Y$. We will prove that in the class of all completely regular separable spaces and in the class of all perfectly normal spaces, $X$ is Baire if and only if it is weakly Namioka.


title: Robust Mission Design Through Evidence Theory and Multi-Agent Collaborative Search

abstract: In this paper, the preliminary design of a space mission is approached introducing uncertainties on the design parameters and formulating the resulting reliable design problem as a multiobjective optimization problem. Uncertainties are modelled through evidence theory and the belief, or credibility, in the successful achievement of mission goals is maximised along with the reliability of constraint satisfaction. The multiobjective optimisation problem is solved through a novel algorithm based on the collaboration of a population of agents in search for the set of highly reliable solutions. Two typical problems in mission analysis are used to illustrate the proposed methodology.


title: MahNMF: Manhattan Non-negative Matrix Factorization

abstract: Non-negative matrix factorization (NMF) approximates a non-negative matrix $X$ by a product of two non-negative low-rank factor matrices $W$ and $H$. NMF and its extensions minimize either the Kullback-Leibler divergence or the Euclidean distance between $X$ and $W^T H$ to model the Poisson noise or the Gaussian noise. In practice, when the noise distribution is heavy tailed, they cannot perform well. This paper presents Manhattan NMF (MahNMF) which minimizes the Manhattan distance between $X$ and $W^T H$ for modeling the heavy tailed Laplacian noise. Similar to sparse and low-rank matrix decompositions, MahNMF robustly estimates the low-rank part and the sparse part of a non-negative matrix and thus performs effectively when data are contaminated by outliers. We extend MahNMF for various practical applications by developing box-constrained MahNMF, manifold regularized MahNMF, group sparse MahNMF, elastic net inducing MahNMF, and symmetric MahNMF. The major contribution of this paper lies in two fast optimization algorithms for MahNMF and its extensions: the rank-one residual iteration (RRI) method and Nesterov's smoothing method. In particular, by approximating the residual matrix by the outer product of one row of W and one row of $H$ in MahNMF, we develop an RRI method to iteratively update each variable of $W$ and $H$ in a closed form solution. Although RRI is efficient for small scale MahNMF and some of its extensions, it is neither scalable to large scale matrices nor flexible enough to optimize all MahNMF extensions. Since the objective functions of MahNMF and its extensions are neither convex nor smooth, we apply Nesterov's smoothing method to recursively optimize one factor matrix with another matrix fixed. By setting the smoothing parameter inversely proportional to the iteration number, we improve the approximation accuracy iteratively for both MahNMF and its extensions.


title: Notes on the ambient approach to boundary values of AdS gauge fields

abstract: The ambient space of dimension d+2 allows to formulate both fields on AdS(d+1) and conformal fields in d dimensions such that the symmetry algebra o(d,2) is realized linearly. We elaborate an ambient approach to the boundary analysis of gauge fields on anti de Sitter spacetime. More technically, we use its parent extension where fields are still defined on AdS or conformal space through arbitrary intrinsic coordinates while the ambient construction works in the target space. In this way, a manifestly local and o(d,2)-covariant formulation of the boundary behaviour of massless symmetric tensor gauge fields on AdS(d+1) spacetime is obtained. As a byproduct, we identify some useful ambient formulation for Fronsdal fields, conformal currents and shadow fields along with a concise generating-function formulation of the Fradkin-Tseytlin conformal fields somewhat similar to the one obtained by Metsaev. We also show how this approach extends to more general gauge theories and discuss its relation to the unfolded derivation of the boundary dynamics recently proposed by Vasiliev.


title: The phonon dispersion relation of a Bose-Einstein condensate

abstract: We measure the oscillations of a standing wave of phonons in a Bose-Einstein condensate, thus obtaining the dispersion relation. We present the technique of short Bragg pulses, which stimulates the standing wave. The subsequent oscillations are observed in situ. It is seen that the phonons undergo a 3D to 1D transition, when their wavelength becomes longer than the transverse radius of the condensate. The 1D regime contains an inflection point in the dispersion relation, which should decrease the superfluid critical velocity according to the Landau criterion. The inflection point also represents a minimum in the group velocity, although the minimum is not deep enough to result in a roton. The 3D-1D transition also results in an increase in the lifetime of the standing-wave oscillations, and a breakdown of the local density approximation. In addition, the static structure factor is measured in the long-wavelength regime. The measurements are enabled by the high sensitivity of the new technique.


title: Isabelle/jEdit --- a Prover IDE within the PIDE framework

abstract: PIDE is a general framework for document-oriented prover interaction and integration, based on a bilingual architecture that combines ML and Scala. The overall aim is to connect LCF-style provers like Isabelle (or Coq or HOL) with sophisticated front-end technology on the JVM platform, overcoming command-line interaction at last. The present system description specifically covers Isabelle/jEdit as part of the official release of Isabelle2011-1 (October 2011). It is a concrete Prover IDE implementation based on Isabelle/PIDE library modules (implemented in Scala) on the one hand, and the well-known text editor framework of jEdit (implemented in Java) on the other hand. The interaction model of our Prover IDE follows the idea of continuous proof checking: the theory source text is annotated by semantic information by the prover as it becomes available incrementally. This works via an asynchronous protocol that neither blocks the editor nor stops the prover from exploiting parallelism on multi-core hardware. The jEdit GUI provides standard metaphors for augmented text editing (highlighting, squiggles, tooltips, hyperlinks etc.) that we have instrumented to render the formal content from the prover context. Further refinement of the jEdit display engine via suitable plugins and fonts approximates mathematical rendering in the text buffer, including symbols from the TeX repertoire, and sub-/superscripts. Isabelle/jEdit is presented here both as a usable interface for current Isabelle, and as a reference application to inspire further projects based on PIDE.


title: Approximated Computation of Belief Functions for Robust Design Optimization

abstract: This paper presents some ideas to reduce the computational cost of evidence-based robust design optimization. Evidence Theory crystallizes both the aleatory and epistemic uncertainties in the design parameters, providing two quantitative measures, Belief and Plausibility, of the credibility of the computed value of the design budgets. The paper proposes some techniques to compute an approximation of Belief and Plausibility at a cost that is a fraction of the one required for an accurate calculation of the two values. Some simple test cases will show how the proposed techniques scale with the dimension of the problem. Finally a simple example of spacecraft system design is presented.


title: Betti numbers associated to the facet ideal of a matroid

abstract: To a matroid M with n edges, we associate the so-called facet ideal F(M) generated by monomials corresponding to bases of M. We show that the Betti numbers related to an N-graded minimal free resolution of F(M) are determined by the Betti numbers related to the blocks of M. Similarly, we show that the higher weight hierarchy of M is determined by the weight hierarchies of the blocks, as well. Drawing on these results, we show that when M is the cycle matroid of a cactus graph, the Betti numbers determine the higher weight hierarchy -- and vice versa. Finally, we demonstrate by way of counterexamples that this fails to hold for outerplanar graphs in general.


title: Conductivity close to antiferromagnetic criticality

abstract: We study the conductivity of a 3D disordered metal close to the antiferromagnetic instability within the framework of the spin-fermion model using the diagrammatic technique. We calculate the interaction correction $\delta\sigma(\omega,T)$ to the conductivity, assuming that the latter is dominated by the disorder scattering, and the interaction is weak. Although the fermionic scattering rate shows critical behaviour on the entire Fermi surface, the interaction correction is dominated by the processes near the hot spots, narrow regions of the Fermi-surface corresponding to the strongest spin-fermion scattering. Exactly at the critical point $\delta\sigma\propto[max(\omega, T)]^{3/2}$. At sufficiently large frequencies $\omega$ the conductivity is independent of the temperature, and $\delta\sigma\propto(\tau^{-1}-i\omega)^{-2}$, $\tau$ being the elastic scattering time. In a certain intermediate frequency range $\delta\sigma(\omega)\propto i\omega(\tau^{-1}-i\omega)^{-2}$.


title: Infinite ternary square-free words concatenated from permutations of a single word

abstract: We answer a question of Harju: An infinite square-free ternary word with an $n$-stem factorization exists for any $n\ge 13$. We show that there are uniform ternary morphisms of length $k$ for every $k\ge 23$. This resolves almost completely a problem of the author and Rampersad.


title: Moments of Askey-Wilson polynomials

abstract: New formulas for the nth moment of the Askey-Wilson polynomials are given. These are derived using analytic techniques, and by considering three combinatorial models for the moments: Motzkin paths, matchings, and staircase tableaux. A related positivity theorem is given and another one is conjectured.


title: Reply to "Incommensurate vortices and phase transitions in two-dimensional XY models with interaction having auxiliary minima" by S. E. Korshunov

abstract: We present a rigorous proof and extensive numerical simulations showing the existence of a transition between the paramagnetic and nematic phases, in a class of generalized XY models. This confirms the topology of the phase diagram calculated by Poderoso et al. [PRL 106(2011)067202]. The results disprove the heuristic argument presented by Korshunov in arXiv:1207.2349v1, against the existence of the generalized-nematic phase in a model with $q=3$.


title: Controlling Area Blow-up in Minimal or Bounded Mean Curvature Varieties

abstract: Consider a sequence of minimal varieties M_i in a Riemannian manifold N such that the boundary measures are uniformly bounded on compact sets. Let Z be the set of points at which the areas of the M_i blow up. We prove that Z behaves in some ways like a minimal variety without boundary: in particular, it satisfies the same maximum and barrier principles that a smooth minimal submanifold satisfies. For suitable open subsets W of N, this allows one to show that if the areas of the M_i are uniformly bounded on compact subsets of W, then the areas are in fact uniformly bounded on all compact subsets of N. Similar results are proved for varieties with bounded mean curvature. Applications include a version of Allard's boundary regularity theorem in which no mass bounds are assumed.


title: Persistent currents in a bosonic mixture in the ring geometry

abstract: In this paper we analyze the possibility of persistent currents of a two-species bosonic mixture in the one-dimensional ring geometry. We extend the arguments used by Bloch to obtain a criterion for the stability of persistent currents for the two-species system. If the mass ratio of the two species is a rational number, persistent currents can be stable at multiples of a certain total angular momenta. We show that the Bloch criterion can also be viewed as a Landau criterion involving the elementary excitations of the system. Our analysis reveals that persistent currents at higher angular momenta are more stable for the two-species system than previously thought.


title: Flux-splitting schemes for parabolic problems

abstract: To solve numerically boundary value problems for parabolic equations with mixed derivatives, the construction of difference schemes with prescribed quality faces essential difficulties. In parabolic problems, some possibilities are associated with the transition to a new formulation of the problem, where the fluxes (derivatives with respect to a spatial direction) are treated as unknown quantities. In this case, the original problem is rewritten in the form of a boundary value problem for the system of equations in the fluxes. This work deals with studying schemes with weights for parabolic equations written in the flux coordinates. Unconditionally stable flux locally one-dimensional schemes of the first and second order of approximation in time are constructed for parabolic equations without mixed derivatives. A peculiarity of the system of equations written in flux variables for equations with mixed derivatives is that there do exist coupled terms with time derivatives.


title: Analysis and Optimization of a Frequency-Hopping Ad Hoc Network in Rayleigh Fading

abstract: This paper proposes a new method for optimizing frequency-hopping ad hoc networks in the presence of Rayleigh fading. It is assumed that the system uses a capacity-approaching code (e.g., turbo or LDPC) and noncoherent binary continuous-phase frequency-shift keying (CPFSK) modulation. By using transmission capacity as the performance metric, the number of hopping channels, CPFSK modulation index, and code rate are jointly optimized. Mobiles in the network are assumed to be uniformly located within a finite area. Closed-form expressions for outage probability are given for a network characterized by a physical interference channel. The outage probability is first found conditioned on the locations of the mobiles, and then averaged over the spatial distribution of the mobiles. The transmission capacity, which is a measure of the spatial spectral efficiency, is obtained from the outage probability. The transmission capacity is modified to account for the constraints of the CPFSK modulation and capacity-approaching coding. Two optimization methods are proposed for maximizing the transmission capacity. The first is a brute-force method and the second is a gradient-search algorithm. The results obtained from the optimization shed new insight into the fundamental tradeoffs among the number of frequency-hopping channels, the modulation index, and the rate of the error-correcting code.


title: Simulations of Barred Galaxies in Triaxial Dark Matter Haloes: The Effects of Gas

abstract: The baryonic discs of galaxies are believed to alter the shapes of the dark matter haloes in which they reside. We perform a set of hydrodynamical N-body simulations of disc galaxies with triaxial dark matter haloes, using elliptical discs with a gaseous component as initial conditions. We explore models of different halo triaxiality and also of different initial gas fractions, which allows us to evaluate how each affects the formations of the bar. Due to star formation, models of all halo shapes and of all initial gas fractions reach approximately the same gas content at the end of the simulation. Nevertheless, we find that the presence of gas in the early phases has important effects on the subsequent evolution. Bars are generally weaker for larger initial gas content and for larger halo triaxiality. The presence of gas, however, is a more efficient factor in inhibiting the formation of a strong bar than halo triaxiality is.


title: Complex-linear invariants of biochemical networks

abstract: The nonlinearities found in molecular networks usually prevent mathematical analysis of network behaviour, which has largely been studied by numerical simulation. This can lead to difficult problems of parameter determination. However, molecular networks give rise, through mass-action kinetics, to polynomial dynamical systems, whose steady states are zeros of a set of polynomial equations. These equations may be analysed by algebraic methods, in which parameters are treated as symbolic expressions whose numerical values do not have to be known in advance. For instance, an "invariant" of a network is a polynomial expression on selected state variables that vanishes in any steady state. Invariants have been found that encode key network properties and that discriminate between different network structures. Although invariants may be calculated by computational algebraic methods, such as Gr\"obner bases, these become computationally infeasible for biologically realistic networks. Here, we exploit Chemical Reaction Network Theory (CRNT) to develop an efficient procedure for calculating invariants that are linear combinations of "complexes", or the monomials coming from mass action. We show how this procedure can be used in proving earlier results of Horn and Jackson and of Shinar and Feinberg for networks of deficiency at most one. We then apply our method to enzyme bifunctionality, including the bacterial EnvZ/OmpR osmolarity regulator and the mammalian 6-phosphofructo-2-kinase/fructose-2,6-bisphosphatase glycolytic regulator, whose networks have deficiencies up to four. We show that bifunctionality leads to different forms of concentration control that are robust to changes in initial conditions or total amounts. Finally, we outline a systematic procedure for using complex-linear invariants to analyse molecular networks of any deficiency.


title: The irregular (integer) tetrahedron as a warehouse of biological information

abstract: This paper is devoted to a new classification of the twenty amino acids based on the heronian (integer) tetrahedron.


title: Cosmic Ray Composition and Energy Spectrum from 1-30 PeV Using the 40-String Configuration of IceTop and IceCube

abstract: The mass composition of high energy cosmic rays depends on their production, acceleration, and propagation. The study of cosmic ray composition can therefore reveal hints of the origin of these particles. At the South Pole, the IceCube Neutrino Observatory is capable of measuring two components of cosmic ray air showers in coincidence: the electromagnetic component at high altitude (2835 m) using the IceTop surface array, and the muonic component above ~1 TeV using the IceCube array. This unique detector arrangement provides an opportunity for precision measurements of the cosmic ray energy spectrum and composition in the region of the knee and beyond. We present the results of a neural network analysis technique to study the cosmic ray composition and the energy spectrum from 1 PeV to 30 PeV using data recorded using the 40-string/40-station configuration of the IceCube Neutrino Observatory.


title: First passage percolation and escape strategies

abstract: Consider first passage percolation on $\mathbb{Z}^d$ with passage times given by i.i.d. random variables with common distribution $F$. Let $t_\pi(u,v)$ be the time from $u$ to $v$ for a path $\pi$ and $t(u,v)$ the minimal time among all paths from $u$ to $v$. We ask whether or not there exist points $x,y \in \mathbb{Z}^d$ and a semi-infinite path $\pi=(y_0=y,y_1,\dots)$ such that $t_\pi(y, y_{n+1})<t(x,y_n)$ for all $n$. Necessary and sufficient conditions on $F$ are given for this to occur. When the support of $F$ is unbounded, we also obtain results on the number of edges with large passage time used by geodesics.


title: Comment on "Single-parameter quantum charge and spin pumping in armchair graphene nanoribbons" (arXiv:1206.3435v1, by Zhou and Wu)

abstract: In their recent submission arXiv:1206.3435v1 Zhou and Wu addressed the charge and spin pumping in an armchair graphene nanoribbon connected to magnetic and/or nonmagnetic leads at zero bias. They used thereby a pumping current formula based on time-reversal symmetry. In their appendix they made, based on their formulas, a number of claims concerning our recent works [K. -H. Ding, Z. -G. Zhu, and J. Berakdar, Phys. Rev. B 84, 115433 (2011)] on the laser modification of the spin-dependent current in an extended graphene monolayer contacted to two magnetic leads under a finite bias. Below we show in detail that the physical system considered by us is conceptually different from that of Zhou and Wu (arXiv:1206.3435v1) and cannot be treated with their theory for fundamental reasons (e.g., the time-reversal symmetry is inherently broken in our case due to the presence of the magnetic leads and the dc current generated by the finite bias). Hence, the statements of Zhou and Wu based on a comparison of their results with ours are scientifically groundless.


title: Analysis of the XENON100 Dark Matter Search Data

abstract: The XENON100 experiment, situated in the Laboratori Nazionali del Gran Sasso, aims at the direct detection of dark matter in the form of weakly interacting massive particles (WIMPs), based on their interactions with xenon nuclei in an ultra low background dual-phase time projection chamber. This paper describes the general methods developed for the analysis of the XENON100 data. These methods have been used in the 100.9 and 224.6 live days science runs from which results on spin-independent elastic, spin-dependent elastic and inelastic WIMP-nucleon cross-sections have already been reported.


title: Equivariant iterated loop space theory and permutative G-categories

abstract: We set up operadic foundations for equivariant iterated loop space theory. We start by building up from a discussion of the approximation theorem and recognition principle for V-fold loop G-spaces to several avatars of a recognition principle for infinite loop G-spaces. We then explain what genuine permutative G-categories are and, more generally, what E_{\infty} G-categories are, giving examples showing how they arise. As an application, we prove the equivariant Barratt-Priddy-Quillen theorem as a statement about genuine G-spectra and use it to give a new, categorical, proof of the tom Dieck splitting theorem for suspension G-spectra. Other examples are geared towards equivariant algebraic K-theory.


title: PS2: Managing the next step in the Pan-STARRS wide field survey system

abstract: The Panoramic Survey Telescope and Rapid Response System (Pan-STARRS) is unique among the existing or planned major ground-based optical survey systems as the only "distributed aperture" system. The concept of increasing system \'etendue by replicating small telescopes and digital cameras presents both management opportunities and challenges. The focus in this paper is on management lessons learned from PS1, and how those have been used to form the management plan for PS2. The management plan components emphasized here include technical development, financial and schedule planning, and critical path and risk management. Finally, the status and schedule for PS2 are presented.


title: DG algebras with exterior homology

abstract: We study differential graded algebras whose homology is an exterior algebra over a commutative ring R on a generator of degree n, and also certain types of differential modules over these DGAs. We obtain a complete classification when R is the integers, or the prime field of characteristic p>0, and n is greater than or equal to -1. The examples are unexpectedly interesting.


title: On the Number of Fixed-Length Semiorders

abstract: A semiorder is a partially ordered set $P$ with two certain forbidden induced subposets. This paper establishes a bijection between $n$-element semiorders of length $H$ and $(n+1)$-node ordered trees of height $H+1$. This bijection preserves not only the number of elements, but also much additional structure. Based on this correspondence, we calculate the generating functions and explicit formulas for the numbers of labeled and unlabeled $n$-element semiorders of length $H$. We also prove several concise recurrence relations and provide combinatorial proofs for special cases of the explicit formulas.


title: Topological phase transition induced by random substitution

abstract: The transition from topologically nontrivial to a trivial state is studied by first-principles calculations on bulk zinc-blende type (Hg$_{1-x}$Zn$_x$)(Te$_{1-x}$S$_x$) disordered alloy series. The random chemical disorder was treated by means of the Coherent Potential Approximation. We found that although the phase transition occurs at the strongest disorder regime (${x\approx 0.5}$), it is still manifested by well-defined Bloch states forming a clear Dirac cone at the Fermi energy of the bulk disordered material. The computed residual resistivity tensor confirm the topologically-nontrivial state of the HgTe-rich (${x<0.5}$), and the trivial state of the ZnS-rich alloy series (${x>0.5}$) by exhibiting the quantized behavior of the off-diagonal spin-projected component, independently on the concentration $x$.


title: On dependence consistency of CoVaR and some other systemic risk measures

abstract: This paper is dedicated to the consistency of systemic risk measures with respect to stochastic dependence. It compares two alternative notions of Conditional Value-at-Risk (CoVaR) available in the current literature. These notions are both based on the conditional distribution of a random variable Y given a stress event for a random variable X, but they use different types of stress events. We derive representations of these alternative CoVaR notions in terms of copulas, study their general dependence consistency and compare their performance in several stochastic models. Our central finding is that conditioning on X>=VaR_\alpha(X) gives a much better response to dependence between X and Y than conditioning on X=VaR_\alpha(X). We prove general results that relate the dependence consistency of CoVaR using conditioning on X>=VaR_\alpha(X) to well established results on concordance ordering of multivariate distributions or their copulas. These results also apply to some other systemic risk measures, such as the Marginal Expected Shortfall (MES) and the Systemic Impact Index (SII). We provide counterexamples showing that CoVaR based on the stress event X=VaR_\alpha(X) is not dependence consistent. In particular, if (X,Y) is bivariate normal, then CoVaR based on X=VaR_\alpha(X) is not an increasing function of the correlation parameter. Similar issues arise in the bivariate t model and in the model with t margins and a Gumbel copula. In all these cases, CoVaR based on X>=VaR_\alpha(X) is an increasing function of the dependence parameter.


title: Group actions on Segal operads

abstract: We give a Quillen equivalence between model structures for simplicial operads, described via the theory of operads, and Segal operads, thought of as certain reduced dendroidal spaces. We then extend this result to give an Quillen equivalence between the model structures for simplicial operads equipped with a group action and the corresponding Segal operads.


title: Every finitely generated ideal of a Leavitt path algebra is a principal ideal

abstract: Let E be an arbitrary graph and K be any field. For every non-graded ideal I of the Leavitt path algebra L_{K}(E), we give an explicit description of the generators of I. Using this, we show that every finitely generated ideal of L_{K}(E) must be principal. In particular, if E is a finite graph, then every ideal of L_{K}(E) must be principal ideal.


title: Reedy categories which encode the notion of category actions

abstract: We study a certain type of action of categories on categories and on operads. Using the structure of the categories {\Delta} and {\Omega} governing category and operad structures, respectively, we define categories which instead encode the structure of a category acting on a category, or a category acting on an operad. We prove that the former has the structure of an elegant Reedy category, whereas the latter has the structure of a generalized Reedy category. In particular, this approach gives a new way to regard group actions on categories and on operads.


title: Minimal Convex Decompositions

abstract: Let $P$ be a set of $n$ points on the plane in general position. We say that a set $\Gamma$ of convex polygons with vertices in $P$ is a convex decomposition of $P$ if: Union of all elements in $\Gamma$ is the convex hull of $P,$ every element in $\Gamma$ is empty, and for any two different elements of $\Gamma$ their interiors are disjoint. A minimal convex decomposition of $P$ is a convex decomposition $\Gamma'$ such that for any two adjacent elements in $\Gamma'$ its union is a non convex polygon. It is known that $P$ always has a minimal convex decomposition with at most $\frac{3n}{2}$ elements. Here we prove that $P$ always has a minimal convex decomposition with at most $\frac{10n}{7}$ elements.


title: A Note on Genericity and Stability of Black Holes and Naked Singularities in Dust Collapse

abstract: We comment here on the results in Ref [4] that showed naked singularities in dynamical gravitational collapse of inhomogeneous dust to be stable but non-generic. The definition of genericity used there is reconsidered. We point out that genericity in terms of an open set, with a positive measure defined suitably on the space of initial data, is physically more appropriate compared to the dynamical systems theory definition used in [4] which makes both black holes and naked singularities non-generic as collapse outcomes.


title: Computing quaternion quotient graphs via representation of orders

abstract: We study the correspondence assigning the vertices of a certain quotient of the local Bruhat-Tits tree for the general linear group over a global function field, to conjugacy classes of maximal orders in some quaternion algebras. The interplay between quotient graphs and orders can be used to study representation of orders if the quotient graphs are known and conversely. We use this converse to find a reciprocity law between quotient graph at diferent places that suffices to compute, recursively, all local quotient graphs for a matrix algebra over a rational function field.


title: On the nuclear $(n;t)-$reaction in the three-electron ${}^{6}$Li atom

abstract: The nuclear $(n;t)-$reaction of the three-electron ${}^{6}$Li atom with thermal/slow neutrons is considered. An effective method has been developed for determining the probabilities of formation of various atoms and ions in different bound states. We discuss a number of fundamental questions directly related to numerical computations of the final state atomic probabilities. A few appropriate variational expansions for atomic wave functions of the incident lithium atom and final helium atom and/or tritium negatively charged ion are discussed. It appears that the final ${}^4$He atom arising during the nuclear $(n,{}^{6}$Li; ${}^4$He$,t)$-reaction in the three-electron Li atom can also be created in its triplet states. The formation of the quasi-stable three-electron $e^{-}_3$ during the nuclear $(n; t)-$reaction at the Li atom is briefly discussed. Bremsstrahlung emitted by atomic electrons accelerated by the rapidly moving nuclear fragments from this reaction is analyzed. The frequency spectrum of the emitted radiation is investigated.


title: Optimal Selection of Assets Investing Composition Plan based on Grey Multi Objective Programming method

abstract: The problem for selection of appropriate assets investing composition projects such as assets rationalization plays an important role in promotion of business systems. We consider the assets investing composition plan problems subject to grey multiobjective programming with the grey inequality constraints. In this paper, we show in detail the entire process of the application from modeling the case problem to generating its solution. To solve the grey multi objective programming problem, we then develop and apply an algorithm of grey multiple objective programming by weighting method and an algorithm of grey multiple objective programming based on q -positioned programming method. These algorithms all regard as of great importance uncertainty (greyness) at grey multiobjective programming and simple and easy the calculating process. The calculating examples of paper also show ability and effectiveness of algorithms.


title: Ward Identity Implies Recursion Relation at Tree and Loop Level

abstract: In this article, we use Ward identity to calculate tree and one loop level off shell amplitudes in pure Yang-Mills theory with a pair of external lines complexified. We explicitly prove Ward identity at tree and one loop level using Feynman rules, and then give recursion relations for the off shell amplitudes. We find that the cancellation details in the proof of Ward identity simplifies our derivation of the recursion relations. Then we calculate three and four point one loop off shell amplitudes as examples of our method.


title: Synthesis and self-assembly of lipid (DMPC)-conjugated gold nanoparticles

abstract: Bio-conjugated nanomaterials play a promising role in the development of novel supramolecular structures, molecular machines, and biosensing devices. In this study, lipid-conjugated gold nanoparticles were synthesized and allowed to form a self-assembled monolayer structure. The nanoparticles were prepared by a phase transfer method, which involved the reduction of potassium tetrachloroaurate (III) by sodium citrate in an aqueous solution and the simultaneous transfer of the reduced species to an organic medium containing DMPC (1,2-dimyristoyl-sn-glycero-3-phosphocholine). The gold nanoparticles were characterized using UV-Vis spectroscopy and dynamic light scattering (DLS) particle-size analysis. In addition, the resulting nanoparticles were examined using transmission electron microscopy (TEM). The Langmuir-Blodgett (LB) technique was used to assemble the DMPC-capped nanoparticles onto a water subphase at room temperature. The measurement of the compression isotherm confirmed the assemblage of lipid capped gold nanoparticles. This method of synthesis of ordered structures utilizing molecular interactions of lipids will be useful in developing novel metamaterials and nanocircuits.

categories: cond-mat.mtrl-sci cond-mat.soft physics.bio-ph physics.chem-ph


title: Trapping in dendrimers and regular hyperbranched polymers

abstract: Dendrimers and regular hyperbranched polymers are two classic families of macromolecules, which can be modeled by Cayley trees and Vicsek fractals, respectively. In this paper, we study the trapping problem in Cayley trees and Vicsek fractals with different underlying geometries, focusing on a particular case with a perfect trap located at the central node. For both networks, we derive the exact analytic formulas in terms of the network size for the average trapping time (ATT)---the average of node-to-trap mean first-passage time over the whole networks. The obtained closed-form solutions show that for both Cayley trees and Vicsek fractals, the ATT display quite different scalings with various system sizes, which implies that the underlying structure plays a key role on the efficiency of trapping in polymer networks. Moreover, the dissimilar scalings of ATT may allow to differentiate readily between dendrimers and hyperbranched polymers.


title: Conductance for the two dimensional discrete random Schroedinger operator with small disorder

abstract: As part of condensed-matter physics, the field of Anderson localization concerns the study of conductance of electrons in a random medium. We summarize and explain the results obtained in "A new numerical approach to Anderson (de)localization" from a physics perspective. Further, we discover a relationship with the so-called Thouless criterion - a dimensionless scaling parameter often used as the sole indicator whether or not the system exhibits Anderson localization.


title: $\Sigma_{b}\to\Sigma_c$ and $\Omega_b\to\Omega_c$ weak decays in the light-front quark model

abstract: The successful operation of LHC provides a great opportunity to study the processes where heavy baryons are involved. {In this work we mainly study} the weak transitions of $\Sigma_b\to \Sigma_c$. Assuming the reasonable quark-diquark structure where the two light quarks constitute an axial vector, we calculate the widths of semi-leptonic decay $\Sigma_{b}\to\Sigma_c e\nu_e$ and non-leptonic decay modes $\Sigma_{b}\to\Sigma_c +M$ (light mesons) in terms of the light front quark model. We first construct the vertex function for the concerned baryons and then deduce the form factors which are related to two Isgur-Wise functions for the $\Sigma_{b}\to\Sigma_c$ transition under the heavy quark limit. Our numerical results indicate that $\Gamma(\Sigma_{b}\to\Sigma_c e\nu_e)$ is about $1.38\times10^{10}{\rm s}^{-1}$ and $\Gamma(\Sigma_{b}\to\Sigma_c +M)$ is slightly below $1\times10^{10}{\rm s}^{-1}$ which may be accessed at the LHCb detector. By the flavor SU(3) symmetry we estimate the rates of $\Omega_b\to\Omega_c$. We suggest to measure weak decays of $\Omega_b\to\Omega_c$, because $\Omega_b$ does not decay via strong interaction, the advantage is obvious.


title: Holographic Bound in Quantum Field Energy Density and Cosmological Constant

abstract: The cosmological constant problem is reanalyzed by imposing the limitation of the number of degrees of freedom (d.o.f.) due to entropy bounds directly in the calculation of the energy density of a field theory. It is shown that if a quantum field theory has to be consistent with gravity and holography, i.e. with an upper limit of storing information in a given area, the ultraviolet momentum cut-off is not the Planck mass, M_p, as naively expected, but M_p/N_U^(1/4) where N_U is the number of d.o.f. of the universe. The energy density evaluation turns out completely consistent with Bousso's bound on the cosmological constant value. The scale M_p/N_U^(1/4), that in the "fat graviton" theory corresponds to the graviton size, originates by a selfsimilar rearrangement of the elementary d.o.f. at different scales that can be seen as an infrared-ultraviolet connection.


title: Surface plasmon resonance of Cu nanowires in polycarbonate template

abstract: The Cu nanowires were electrodeposited in polycarbonate track-etched (PCT) membrane. SEM, TEM and XPS techniques were used to characterize the morphology, structure and size of nanowires as well as chemical Composition. The absorption spectrum of copper nanowires embedded in PCT was measured and calculated for different incident angles and wavelengths. Our results showed that there is a broad peak due to excitation surface plasmon at {\theta} = 70\degree for wavelength {\lambda}= 730 nm. We applied the transfer matrix method and Bruggeman homogenization formalism for optical modeling. The results of absorption spectra showed that exist good agreement between the experimental and our used model. The results of this work may be useful in study of surface plasmon resonance of copper nanowires.


title: Experimental evidence for Maeda's conjecture on modular forms

abstract: We describe a computational approach to the verification of Maeda's conjecture for the Hecke operator T2 on the space of cusp forms of level one. We provide experimental evidence for all weights less than 12000, as well as some applications of these results. The algorithm was implemented using the mathematical software Sage, and the code and resulting data were made freely available.


title: Point massive particle in General Relativity

abstract: It is well known that the Schwarzschild solution describes the gravitational field outside compact spherically symmetric mass distribution in General Relativity. In particular, it describes the gravitational field outside a point particle. Nevertheless, what is the exact solution of Einstein's equations with $\delta$-type source corresponding to a point particle is not known. In the present paper, we prove that the Schwarzschild solution in isotropic coordinates is the asymptotically flat static spherically symmetric solution of Einstein's equations with $\delta$-type energy-momentum tensor corresponding to a point particle. Solution of Einstein's equations is understood in the generalized sense after integration with a test function. Metric components are locally integrable functions for which nonlinear Einstein's equations are mathematically defined. The Schwarzschild solution in isotropic coordinates is locally isometric to the Schwarzschild solution in Schwarzschild coordinates but differs essentially globally. It is topologically trivial neglecting the world line of a point particle. Gravity attraction at large distances is replaced by repulsion at the particle neighbourhood.


title: The first quadrupole excitations in spherical nuclei and nuclear pairing

abstract: Excitation energies and transition probabilities of the first 2+ excitations in even lead, tin and nickel isotopes are calculated within the self-consistent Theory of Finite Fermi Systems based on the Energy Density Functional by Fayans et al. A reasonable agreement with available experimental data is obtained. The effect of the density dependence of the effective pairing interaction is analyzed in detail by comparing results obtained with volume and surface pairing. The effect is found to be noticeable, especially for the 2+ energies which are systematically higher at 200-300 keV for the volume paring as compared with the surface pairing case, the latter being in a better agreement with the data.


title: On non-definite Sturm-Liouville problems with two turning points

abstract: This is an inaugural study of the Dirichlet problem associated with a regular non-definite Sturm-Liouville equation in the case of two turning points. We give a priori lower bounds on the Richardson numbers associated with this problem thereby complementing pioneering results by Atkinson and Jabon (1984) in the one turning point case


title: Demonstration of the existence of biased transportation in the asymmetric nanoscale systems induced by thermal noise from a simple mathematics perspective

abstract: The existence of net flux across the nanochannels under the asymmetrical static electric fields obtained at room temperature from molecular dynamics (MD) simulations [Nat. Nanotechnol. 2, 709 (2007); Phys. Rev. Lett. 101, 064502 (2008)] has been extensively queried on whether the second law of the thermodynamics holds, and whether the observations result from the numerical artifacts. Here we use a simple mathematics to demonstrate the existence of biased-directional transportation (net flux across the channel) in those asymmetrical nanoscale systems at room temperature, at least in the MD simulations. We find that the key to the existence of biased-directional transportation is that the thermal noise is not white anymore at nanoscale; it includes the color noise with an autocorrelation time length (for MD simulation, this length is of ~10 ps).


title: Proceedings Fourth Workshop on Foundations of Interface Technologies

abstract: This volume contains the proceedings of the 4th workshop on Foundations of Interface Technologies (FIT 2012) which was collocated with ETAPS 2012 in Tallinn, Estonia, and took place on March 25, 2012. The aim of this workshop is to bring together researchers who are interested in the formal underpinnings of interface technologies.


title: Evolution from a nodeless gap to d(x2-y2) form in underdoped La(2-x)SrxCuO4

abstract: Using angle-resolved photoemission (ARPES), it is revealed that the low-energy electronic excitation spectra of highly underdoped superconducting and non-superconducting La(2-x)SrxCuO4 cuprates are gapped along the entire underlying Fermi surface at low temperatures. We show how the gap function evolves to a d(x2-y2) form as increasing temperature or doping, consistent with the vast majority of ARPES studies of cuprates. Our results provide essential information for uncovering the symmetry of the order parameter(s) in strongly underdoped cuprates, which is a prerequisite for understanding the pairing mechanism and how superconductivity emerges from a Mott insulator.


title: Categorical notions of layered tropical algebra and geometry

abstract: This paper supplements [17], showing that categorically the layered theory is the same as the theory of ordered monoids (e.g. the max-plus algebra) used in tropical mathematics. A layered theory is developed in the context of categories, together with a "tropicalization functor" which permits us to pass from usual algebraic geometry to the tropical world. We consider tropical varieties from this categorical viewpoint, with emphasis on polynomial functions and their roots.


title: Categories of layered semirings

abstract: We generalize the constructions of [17,19] to layered semirings, in order to enrich the structure and provide finite examples for applications in arithmetic (including finite examples). The layered category theory of [19] is extended accordingly, to cover noncancellative monoids.


title: Magnetic domain wall motion by spin transfer

abstract: The discovery that a spin polarized current can exert a large torque on a ferromagnet through a transfusion of spin angular momentum, offers a new way to control a magnetization by simple current injection, without the help of an applied external field. Spin transfer can be used to induce magnetization reversals and oscillations, or to control the position of a magnetic domain wall. In this review, we focus on this last mechanism, which is today the subject of an extensive research, both because the microscopic details for its origin are still debated, but also because promising applications are at stake for non-volatile magnetic memories.


title: Enhancement of Charged Higgs Production in Association With W at Muon Colliders in General Two Higgs Doublet Models

abstract: The charged Higgs associated production with a W boson has a smooth cross section as a function of the charged Higgs mass at muon colliders. The cross section in Minimal Supersymmetric Standard Model is about 25fb in the range 200 GeV < mH < 400 GeV with tanbeta = 50. This is much larger than the corresponding cross section at an e+e- collider which reaches a fraction of femtobarn. The observability of this channel at a muon collider has been recently studied in an earlier work leading to the result that with 1 ab-1, a 5sigma signal can be observed throughout the aforementioned mass range. In this paper, results of a study based on a general two Higgs doublet model (type II and III) are presented and the cross section of this process in the most sensitive parameter space is evaluated. It is concluded that the cross section of this process increases with increasing neutral Higgs boson masses involved in the s-channel diagram and can be as large as several picobarn with tanbeta = 50. The region of "physical Higgs boson mass" parameter space which could lead to a 5 sigma signal at 50fb-1 is specified.


title: On quantum plasma: a plea for a common sense

abstract: The quantum plasma theory has flourished in the past few years without much regard to the physical validity of the formulation or its connection to any real physical system. It is argued here that there is a very limited physical ground for the application of such a theory.


title: Constraining Non-Standard Interactions of the Neutrino with Borexino

abstract: We use the Borexino 153.6 ton.year data to place constraints on non-standard neutrino-electron interactions, taking into account the uncertainty in the 7Be solar neutrino flux, and backgrounds due to 85Kr and 210Bi beta-decay. We find that the bounds are comparable to existing bounds from all other experiments. Further improvement can be expected in Phase II of Borexino due to the reduction in the 85Kr background.


title: Codes for Square-Tiled Surfaces

abstract: In this paper, we use permutation elements to record cylinder decompositions of a square-tiled surface $X$. Collecting all such possible permutation elements that record cylinder decompositions, we can enumerate the $SL_2(\mathbb{Z})$ orbit of a given surface $X$ and give a method to determine whether or not a matrix $A\in SL_2(\mathbb{Z})$ is the differential of an affine diffeomorphism of $X$.


title: Cannon-Thurston fibers for iwip automorphisms of $F_N$

abstract: For any atoroidal iwip $\phi \in Out(F_N)$ the mapping torus group $G_\phi=F_N\rtimes_\phi <t>e$ is hyperbolic, and the embedding $\iota: F_N \overset{\lhd}{\longrightarrow} G_\phi$ induces a continuous, $F_N$-equivariant and surjective {\em Cannon-Thurston map} $\hat \iota: \partial F_N \to \partial G_\phi$. We prove that for any $\phi$ as above, the map $\hat \iota$ is finite-to-one and that the preimage of every point of $\partial G_\phi$ has cardinality $\le 2N$. We also prove that every point $S\in \partial G_\phi$ with $\ge 3$ preimages in $\partial F_N$ has the form $(wt^m)^\infty$ where $w\in F_N, m\ne 0$, and that there are at most $4N-5$ distinct $F_N$-orbits of such {\em singular} points in $\partial G_\phi$ (for the translation action of $F_N$ on $\partial G_\phi$). By contrast, we show that for $k=1,2$ there are uncountably many points $S\in \partial G_\phi$ (and thus uncountably many $F_N$-orbits of such $S$) with exactly $k$ preimages in $\partial F_N$.


title: New Charged Particles from Higgs Couplings

abstract: The recently reported observation of a new particle with mass about 125 GeV and couplings generally resembling those of the Standard Model Higgs boson provides a potential probe of the physics of electroweak symmetry breaking. Although the current data only provides hints, we suggest a particular combination of Higgs couplings as an assay for new charged particles connected with electroweak symmetry breaking, and construct a simple model with charge 5/3 quarks as a demonstration of its use.


title: Regular and chaotic classical dynamics in the U(5)-SU(3) quantum phase transition of the IBM

abstract: We study the classical dynamics in a generic first-order quantum phase transition between the U(5) and SU(3) limits of the interacting boson model. The dynamics is chaotic, of H\'enon-Heiles type, in the spherical phase and is regular, yet sensitive to local degeneracies, in the deformed phase. Both types of dynamics persist in the coexistence region resulting in a divided phase space.


title: 4d partition function on S^1 x S^3 and 2d Yang-Mills with nonzero area

abstract: We argue that 6d N=(2,0) theory on S^1 x S^3 x C_2 reduces to the 2d q-deformed Yang-Mills on C_2 at finite area, as a small extension to the result of Gadde, Rastelli, Razamat and Yan. This is done by computing the partition function on S^1 x S^3 of 4d N=2 supersymmetric non-linear sigma model on T^*G_C, which gives the propagator of the 2d Yang-Mills.


title: On tractrices of planar curves

abstract: Tractrices of planar curves, in particular, a family of tractrices of a circle, are considered. Some new observations (including arc-length parametrization, Chezaro equation) and corrected reference informations are provided. The article is written in Russian.


title: On the time dependence of the $h$-index

abstract: The time dependence of the $h$-index is analyzed by considering the average behaviour of $h$ as a function of the academic age $A_A$ for about 1400 Italian physicists, with career lengths spanning from 3 to 46 years. The individual $h$-index is strongly correlated with the square root of the total citations $N_C$: $h \approx 0.53 \sqrt{N_C}$. For academic ages ranging from 12 to 24 years, the distribution of the time scaled index $h/\sqrt{A_A}$ is approximately time-independent and it is well described by the Gompertz function. The time scaled index $h/\sqrt{A_A}$ has an average approximately equal to 3.8 and a standard deviation approximately equal to 1.6. Finally, the time scaled index $h/\sqrt{A_A}$ appears to be strongly correlated with the contemporary $h$-index $h_c$.


title: Third Order Trace Formula

abstract: In (J. Funct. Anal. 257, 1092-1132 (2009)), Dykema and Skripka showed the existence of higher order spectral shift functions when the unperturbed self-adjoint operator is bounded and the perturbations is Hilbert-Schmidt. In this article, we give a different proof for the existence of spectral shift function for the third order when the unperturbed operator is self-adjoint (bounded or unbounded, but bounded below).


title: Recursive quantum detector tomography

abstract: Conventional tomographic techniques are becoming increasingly infeasible for reconstructing the operators of quantum devices of growing sophistication. We describe a novel tomographic procedure using coherent states which begins by reconstructing the diagonals of the operator, and then each successive off-diagonal in a recursive manner. Each recursion is considerably more efficient than reconstructing the operator in its entirety, and each successive recursion involves fewer parameters. We apply our technique to reconstruct the positive-operator-valued measure (POVM) corresponding to a recently developed coherent optical detector with phase sensitivity and number resolution. We discuss the effect of various parameters on the reconstruction accuracy. The results show the efficiency of the method and its robustness to experimental noise.


title: A Simple and Correct Even-Odd Algorithm for the Point-in-Polygon Problem for Complex Polygons

abstract: Determining if a point is in a polygon or not is used by a lot of applications in computer graphics, computer games and geoinformatics. Implementing this check is error-prone since there are many special cases to be considered. This holds true in particular for complex polygons whose edges intersect each other creating holes. In this paper we present a simple even-odd algorithm to solve this problem for complex polygons in linear time and prove its correctness for all possible points and polygons. We furthermore provide examples and implementation notes for this algorithm.


title: Synthesis and Characterization of TiFe0.7-xMn0.3Vx (x=0.05, and 0.1) and Ti1-yTayFe0.7Mn0.3 (y=0.2, and 0.4) Nanostructured Metal Hydrides for Low Temperature Applications

abstract: Metal hydrides (MH) are often preferred to absorb and desorb hydrogen at ambient temperature and pressure with a high volumetric density. These hydrogen storage alloys create promising prospects for hydrogen storage and can solve the energetic and environmental issues. In the present research work, the goal of our studies is to find the influence of partial substitution of small amounts of vanadium and tantalum on the hydrogenation properties of TiFe0.7-xMn0.3Vx (x=0.05, and 0.1) and Ti1-yTayFe0.7Mn0.3 (y=0.2, and 0.4) alloys, respectively. The nominal compositions of these materials are TiFe0.65Mn0.3V0.05, TiFe0.6Mn0.3V0.1, Ti0.8Ta0.2Fe0.7Mn0.3, and Ti0.6Ta0.4Fe0.7Mn0.3. All samples were synthesized by arc-melting high purity elements under argon atmosphere. The structural and microstructural properties of the samples were studied by using XRD and SEM, respectively, while the corresponding microchemistry was determined by obtaining EDS measurements at specific regions of the samples. Mapping was obtained in order to investigate atomic distribution in microstructure. Moreover, to ensure the associations between the properties and structure, all samples were examined by an optical microscope for accessional characterization. From all these microscopic examinations a variety of photomicrographs were taken with different magnifications. The hydrogenation properties were obtained by using a Magnetic Suspension Balance (Rubotherm). In this equipment, the hydrogen desorption and re-absorption, can be investigated at constant hydrogen pressures in the range of 1 to 20 MPa (flow-through mode). At least 3.43 wt. % of absorbed hydrogen amount was measured while the effect of substitutions was investigated at the same temperature.


title: The play of colours of prisms

abstract: A short history of prisms from Lucius Anneus Seneca to George Ravenscroft.


title: Velocity and energy distributions in microcanonical ensembles of hard spheres

abstract: In a microcanonical ensemble (constant $NVE$, hard reflecting walls) and in a molecular dynamics ensemble (constant $NVE\mathbf{PG}$, periodic boundary conditions) with a number $N$ of smooth elastic hard spheres in a $d$-dimensional volume $V$ having a total energy $E$, a total momentum $\mathbf{P}$, and an overall center of mass position $\mathbf{G}$, the individual velocity components, velocity moduli, and energies have transformed beta distributions with different arguments and shape parameters depending on $d$, $N$, $E$, the boundary conditions, and possible symmetries in the initial conditions. This can be shown marginalizing the joint distribution of individual energies, which is a symmetric Dirichlet distribution. In the thermodynamic limit the beta distributions converge to gamma distributions with different arguments and shape or scale parameters, corresponding respectively to the Gaussian, i.e., Maxwell-Boltzmann, Maxwell, and Boltzmann or Boltzmann-Gibbs distribution. These analytical results agree with molecular dynamics and Monte Carlo simulations with different numbers of hard disks or spheres and hard reflecting walls or periodic boundary conditions. The agreement is perfect with our Monte Carlo algorithm, which acts only on velocities independently of positions with the collision versor sampled uniformly on a unit half sphere in $d$ dimensions, while slight deviations appear with our molecular dynamics simulations for the smallest values of $N$.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: Performance Analysis of a Multiuser Multi-Packet Transmission System for WLANs in Non-Saturation Conditions

abstract: Multiuser Multi-Packet Transmission (MPT) from an Access Point (AP) equipped with multiple antennas to multiple single-antenna nodes can be achieved by exploiting the spatial dimension of the channel. In this paper we present a queueing model to analytically study such systems from the link-layer perspective, in presence of random packet arrivals, heterogeneous channel conditions and packet errors. The analysis relies on a blind estimation of the number of different destinations among the packets waiting in the queue, which allows for building a simple, but general model for MPT systems with per-node First-In First-Out (FIFO) packet scheduling. Simulation results validate the accuracy of the analytical model and provide further insights on the cross-relations between the channel state, the number of antennas, and the number of active users, as well as how they affect the system performance. The simplicity and accuracy of the model makes it suitable for the evaluation of Medium Access Control (MAC) protocols for Ad-Hoc or Wireless Local Area Networks supporting multiuser MPT in non-saturation conditions, where the queueing dynamics play an important role on the achieved performance, and simple user selection algorithms are required.


title: A Fixed-Target ExpeRiment at the LHC (AFTER@LHC) : luminosities, target polarisation and a selection of physics studies

abstract: We report on a future multi-purpose fixed-target experiment with the proton or lead ion LHC beams extracted by a bent crystal. The multi-TeV LHC beams allow for the most energetic fixed-target experiments ever performed. Such an experiment, tentatively named AFTER for "A Fixed-Target ExperRiment", gives access to new domains of particle and nuclear physics complementing that of collider experiments, in particular at RHIC and at the EIC projects. The instantaneous luminosity at AFTER using typical targets surpasses that of RHIC by more than 3 orders of magnitude. Beam extraction by a bent crystal offers an ideal way to obtain a clean and very collimated high-energy beam, without decreasing the performance of the LHC. The fixed-target mode also has the advantage of allowing for spin measurements with a polarised target and for an access over the full backward rapidity domain up to xF ~ - 1. Here, we elaborate on the reachable luminosities, the target polarisation and a selection of measurements with hydrogen and deuterium targets.


title: Performance Analysis of CSMA/CA Protocols with Multi-packet Transmission

abstract: Wireless objects equipped with multiple antennas are able to simultaneously transmit multiple packets by exploiting the channel's spatial dimensions. In this paper, we study the benefits of such Multiple Packet Transmission (MPT) approach, when it is used in combination with a Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) protocol for fully interconnected networks, addressing the interactions between the two mechanisms and showing the performance gains that can be achieved. To this end, a very simple Media Access Control (MAC) protocol that captures the fundamental properties and tradeoffs of a CSMA/CA channel access protocol supporting MPT is introduced. Using this protocol as a reference, a new analytical model is presented for the case of non-saturated traffic sources with finite buffer space. Simulation results show that the analytical model is able to accurately characterize the steady-state behaviour of the reference protocol for different number of antennas and different traffic loads, providing a useful tool for understanding the performance gains achieved by MAC protocols supporting MPT.


title: Measurement of the vector and tensor analyzing powers for dp- elastic scattering at 880 MeV

abstract: The vector Ay and tensor analyzing powers Ayy and Axx for dp- elastic scattering were measured at Td = 880 MeV over the c.m. angular range from 60 to 140 degrees at the JINR Nuclotron. The data are compared with predictions of different theoretical models based on the use of nucleon-nucleon forces only. The observed discrepancies of the measured analyzing powers from the calculations require the consideration of additional mechanisms.


title: HMRF-EM-image: Implementation of the Hidden Markov Random Field Model and its Expectation-Maximization Algorithm

abstract: In this project, we study the hidden Markov random field (HMRF) model and its expectation-maximization (EM) algorithm. We implement a MATLAB toolbox named HMRF-EM-image for 2D image segmentation using the HMRF-EM framework. This toolbox also implements edge-prior-preserving image segmentation, and can be easily reconfigured for other problems, such as 3D image segmentation.


title: From Exact to Partial Dynamical Symmetries: Lessons From the Interacting Boson Model

abstract: We exploit the rich algebraic structure of the interacting boson model to explain the notion of partial dynamical symmetry (PDS), and present a procedure for constructing Hamiltonians with this property. We demonstrate the relevance of PDS to various topics in nuclear spectroscopy, including K-band splitting, odd-even staggering in the gamma-band and anharmonicity of excited vibrational bands. Special emphasis in this construction is paid to the role of higher-order terms.


title: Simulation of boron diffusion during low-temperature annealing of implanted silicon

abstract: Modeling of ion-implanted boron redistribution in silicon crystals during low-temperature annealing with a small thermal budget has been carried out. It was shown that formation of "tails"' in the low-concentration region of impurity profiles occurs due to the long-range migration of boron interstitials


title: Secure Channel Simulation

abstract: In this paper the Output Statistics of Random Binning (OSRB) framework is used to prove a new inner bound for the problem of secure channel simulation. Our results subsume some recent results on the secure function computation. We also provide an achievability result for the problem of simultaneously simulating a channel and creating a shared secret key. A special case of this result generalizes the lower bound of Gohari and Anantharam on the source model to include constraints on the rates of the public discussion.


title: A cohomological formula for the Atiyah-Patodi-Singer index on manifolds with boundary

abstract: We give a cohomological formula for the index of a fully elliptic pseudodifferential operator on a manifold with boundary. As in the classic case of Atiyah-Singer, we use an embedding into an euclidean space to express the index as the integral of a cohomology class depending in this case on a noncommutative symbol, the integral being over a $C^\infty$-manifold called the singular normal bundle associated to the embedding. The formula is based on a K-theoretical Atiyah-Patodi-Singer theorem for manifolds with boundary that is drawn from Connes' tangent groupoid approach.


title: Emergence of Cosmic Space and the Generalized Holographic Equipartition

abstract: Recently, a novel idea about our expanding Universe was proposed by T. Padmanabhan [arXiv:1206.4916]. He suggested that the expansion of our Universe can be thought of as the emergence of space as cosmic time progresses. The emergence is governed by the basic relation that the increase rate of Hubble volume is linearly determined by the difference between the number of degrees of freedom on the horizon surface and the one in the bulk. In this paper, following this idea, we generalize the basic relation to derive the Friedmann equations of an $(n+1)$-dimensional Friedmann-Robertson-Walker universe corresponding to general relativity, Gauss-Bonnet gravity, and Lovelock gravity.


title: On the a.c. spectrum of 1D discrete Dirac operator

abstract: In this paper, under some integrability condition, we prove that an electrical perturbation of the discrete Dirac operator has purely absolutely continuous spectrum for the one dimensional case. We reduce the problem to a non-self-adjoint Laplacian-like operator by using a spin up/down decomposition and rely on a transfermatrices technique.


title: Stein's method for Brownian approximations

abstract: Motivated by a theorem of Barbour, we revisit some of the classical limit theorems in probability from the viewpoint of the Stein method. We setup the framework to bound Wasserstein distances between some distributions on infinite dimensional spaces. We show that the convergence rate for the Poisson approximation of the Brownian motion is as expected proportional to $\lambda^{-1/2}$ where $\lambda$ is the intensity of the Poisson process. We also exhibit the speed of convergence for the Donsker Theorem and for the linear interpolation of the Brownian motion. By iterating the procedure, we give Edgeworth expansions with precise error bounds.


title: Erratum: "The problem of deficiency indices for discrete Schr\"odinger operators on locally finite graphs"

abstract: In this note we answer negatively to our conjecture concerning the deficiency indices. More precisely, given any non-negative integer $n$, there is locally finite graph on which the adjacency matrix has deficiency indices $(n,n)$.


title: Solutions globales pour des \'equations de Schr\"odinger sur-critiques en toutes dimensions

abstract: In \cite{poiret}, we explain how we can construct global solutions for the cubic Schr\"odinger equation in three dimensional with initial data in $ L^2(\mathds{R}^3) $. The main ingredient of this proof is the existence of the bilinear estimate for the harmonic oscillator. This estimate is true in all dimensions $ d \geq 2 $ and we can adapt the proof in these cases. We explain in this paper how we can use the smoothing effect to obtain an analogous theorem in all dimensions, in particular in dimension 1. The gain of regularity is lower but we can choose any basis of eigenfunctions and random variables more general than Gaussian.


title: Improved brain pattern recovery through ranking approaches

abstract: Inferring the functional specificity of brain regions from functional Magnetic Resonance Images (fMRI) data is a challenging statistical problem. While the General Linear Model (GLM) remains the standard approach for brain mapping, supervised learning techniques (a.k.a.} decoding) have proven to be useful to capture multivariate statistical effects distributed across voxels and brain regions. Up to now, much effort has been made to improve decoding by incorporating prior knowledge in the form of a particular regularization term. In this paper we demonstrate that further improvement can be made by accounting for non-linearities using a ranking approach rather than the commonly used least-square regression. Through simulation, we compare the recovery properties of our approach to linear models commonly used in fMRI based decoding. We demonstrate the superiority of ranking with a real fMRI dataset.


title: On the Teichm\"uller geodesic generated by the L-shaped translation surface tiled by three squares

abstract: We study the one parameter family of genus 2 Riemann surfaces defined by the orbit of the L-shaped translation surface tiled by three squares under the Teichm\"uller geodesic flow. These surfaces are real algebraic curves with three real components. We are interested in describing these surfaces by their period matrices. We show that the only Riemann surface in that family admitting a non-hyperelliptic automorphism comes from the 3-square-tiled translation surface itself. This makes the computation of an exact expression for period matrices of other Riemann surfaces in that family by the classical method impossible. We nevertheless give the solution to the Schottky problem for that family: we exhibit explicit necessary and sufficient conditions for a Riemann matrix to be a period matrix of a Riemann surface in the family, involving the vanishing of a genus 3 theta characteristic on a family of double covers.


title: Self-Organized Hydrodynamics with congestion and path formation in crowds

abstract: A continuum model for self-organized dynamics is numerically investigated. The model describes systems of particles subject to alignment interaction and short-range repulsion. It consists of a non-conservative hyperbolic system for the density and velocity orientation. Short-range repulsion is included through a singular pressure which becomes infinite at the jamming density. The singular limit of infinite pressure stiffness leads to phase transitions from compressible to incompressible dynamics. The paper proposes an Asymptotic-Preserving scheme which takes care of the singular pressure while preventing the breakdown of the CFL stability condition near congestion. It relies on a relaxation approximation of the system and an elliptic formulation of the pressure equation. Numerical simulations of impinging clusters show the efficiency of the scheme to treat congestions. A two-fluid variant of the model provides a model of path formation in crowds.


title: A unified approach to truthful scheduling on related machines

abstract: We present a unified framework for designing deterministic monotone polynomial time approximation schemes (PTAS's) for a wide class of scheduling problems on uniformly related machines. This class includes (among others) minimizing the makespan, maximizing the minimum load, and minimizing the l_p norm of the machine loads vector. Previously, this kind of result was only known for the makespan objective. Monotone algorithms have the property that an increase in the speed of a machine cannot decrease the amount of work assigned to it. The key idea of our novel method is to show that for goal functions that are sufficiently well-behaved functions of the machine loads, it is possible to compute in polynomial time a highly structured nearly optimal schedule. Monotone approximation schemes have an important role in the emerging area of algorithmic mechanism design. In the game-theoretical setting of these scheduling problems there is a social goal, which is one of the objective functions that we study. Each machine is controlled by a selfish single-parameter agent, where its private information is its cost of processing a unit sized job, which is also the inverse of the speed of its machine. Each agent wishes to maximize its own profit, defined as the payment it receives from the mechanism minus its cost for processing all jobs assigned to it, and places a bid which corresponds to its private information. For each one of the problems, we show that we can calculate payments that guarantee truthfulness in an efficient manner. Thus, there exists a dominant strategy where agents report their true speeds, and we show the existence of a truthful mechanism which can be implemented in polynomial time, where the social goal is approximated within a factor of 1+epsilon for every epsilon>0.


title: Variations in noncommutative potential theory: finite energy states, potentials and multipliers

abstract: In this work we undertake an extension of various aspects of the potential theory of Dirichlet forms from locally compact spaces to noncommutative C*-algebras with trace. In particular we introduce finite-energy states, potentials and multipliers of Dirichlet spaces. We prove several results among which the celebrated Deny's embedding theorem and the Deny's inequality, the fact that the carre' du champ of bounded potentials are finite-energy functionals and the relative supply of multipliers.


title: Jet Extinction from Non-Perturbative Quantum Gravity Effects

abstract: The infrared-ultraviolet properties of quantum gravity suggest on very general grounds that hard short distance scattering processes are highly suppressed for center of mass scattering energies beyond the fundamental Planck scale. If this scale is not too far above the electroweak scale, these non-perturbative quantum gravity effects could be manifest as an extinction of high transverse momentum jets at the LHC. To model these effects we implement an Extinction Monte Carlo modification of the Pythia event generator based on a large damping Veneziano form factor modification of hard QCD scattering processes. Using this we illustrate the leading effects of extinction on the inclusive jet transverse momentum spectrum at the LHC. We estimate that an extinction mass scale of up to roughly half the center of mass beam collision energy could be probed with high statistics data.


title: A new family of surfaces with $p_g=q=2$ and $K^2=6$ whose Albanese map has degree $4$

abstract: We construct a new family of minimal surfaces of general type with $p_g=q=2$ and $K^2=6$, whose Albanese map is a quadruple cover of an abelian surface with polarization of type $(1,3)$. We also show that this family provides an irreducible component of the moduli space of surfaces with $p_g=q=2$ and $K^2=6$. Finally, we prove that such a component is generically smooth of dimension 4 and that it contains the 2-dimensional family of product-quotient examples previously constructed by the first author. The main tools we use are the Fourier-Mukai transform and the Schr\"odinger representation of the finite Heisenberg group $\mathscr{H}_3$.


title: Projective deformations of weakly orderable hyperbolic Coxeter orbifolds

abstract: A Coxeter $n$-orbifold is an $n$-dimensional orbifold based on a polytope with silvered boundary facets. Each pair of adjacent facets meet on a ridge of some order $m$, whose neighborhood is locally modeled on ${\mathbb R}^n$ modulo the dihedral group of order $2m$ generated by two reflections. For $n \geq 3$, we study the deformation space of real projective structures on a compact Coxeter $n$-orbifold $Q$ admitting a hyperbolic structure. Let $e_+(Q)$ be the number of ridges of order $\geq 3$. A neighborhood of the hyperbolic structure in the deformation space is a cell of dimension $e_+(Q) - n$ if $n=3$ and $Q$ is weakly orderable, i.e., the faces of $Q$ can be ordered so that each face contains at most $3$ edges of order $2$ in faces of higher indices, or $Q$ is based on a truncation polytope.


title: GOODS-Herschel:dust attenuation properties of UV selected high redshift galaxies

abstract: We study dust attenuation at UV wavelengths at high redshift, where the UV is redshifted to the observed visible. In particular, we search for a UV bump and related implications for dust attenuation determinations. We use data in the CDFS, obtained in intermediate and broad band filters by the MUSYC project, to sample the UV rest-frame of 751 galaxies with 0.95<z<2.2. When available, Herschel/PACS data (GOODS-Herschel project), and Spitzer/MIPS measurements, are used to estimate the dust emission. The SED of each source is fit using the CIGALE code. The amount of dust attenuation and the dust attenuation curve are obtained as outputs of the SED fitting process, together with other parameters linked to the SFH. The global amount of dust attenuation at UV wavelengths is found to increase with stellar mass and to decrease as UV luminosity increases. A UV bump at 2175A is securely detected in 20% of the galaxies, and the mean amplitude of the bump for the sample is similar to that observed in the LMC supershell region. This amplitude is found to be lower in galaxies with very high SSFRs, and 90% of the galaxies exhibiting a secure bump are at z<1.5. The attenuation curve is confirmed to be steeper than that of local starburst galaxies for 20$% of the galaxies. The large dispersion found for these two parameters describing the attenuation law is likely to reflect a wide diversity of attenuation laws among galaxies. The relations between dust attenuation, IR-to-UV flux ratio, and the slope of the UV continuum are derived for the mean attenuation curve found for our sample. Deviations from the average trends are found to correlate with the age of the young stellar population and the shape of the attenuation curve.(abriged)


title: A spinorial energy functional: critical points and gradient flow

abstract: On the universal bundle of unit spinors we study a natural energy functional whose critical points, if dim M \geq 3, are precisely the pairs (g, {\phi}) consisting of a Ricci-flat Riemannian metric g together with a parallel g-spinor {\phi}. We investigate the basic properties of this functional and study its negative gradient flow, the so-called spinor flow. In particular, we prove short-time existence and uniqueness for this flow.


title: On the nilpotent section conjecture for finite group actions on curves

abstract: We give a new, geometric proof of the section conjecture for fixed points of finite group actions on projective curves of positive genus defined over the field of complex numbers, as well as its natural nilpotent analogue. As a part of our investigations we give an explicit description of the abelianised section map for groups of prime order in this setting. We also show a version of the 2-nilpotent section conjecture.


title: Far Infrared Slab Lensing and Subwavelength Imaging in Crystal Quartz

abstract: We examine the possibility of using negative refraction stemming from the phonon response in an anisotropic crystal to create a simple slab lens with plane parallel sides, and show that imaging from such a lens should be possible at room temperature despite the effects of absorption that are inevitably present due to phonon damping. In particular, we consider the case of crystal quartz, a system for which experimental measurements consistent with all-angle negative refraction have already been demonstrated. Furthermore, we investigate the possibility of subwavelength imaging from such materials, and show that it should be possible for certain configurations.