title: Theoretical calculations on the structural, electronic and optical properties of bulk silver nitrides

abstract: We present a first-principles investigation of structural, electronic and optical properties of bulk crystalline Ag3N, AgN and AgN2 based on density functional theory (DFT) and many-body perturbation theory. The equation of state (EOS), energy-optimized geometries, cohesive and formation energies, and bulk modulus and its pressure derivative of these three stoichiometries in a set of twenty different structures have been studied. Band diagrams and total and orbital-resolved density of states (DOS) of the most stable phases have been carefully examined. Within the random-phase approximation (RPA) to the dielectric tensor, the single-particle spectra of the quasi electrons and quasi holes were obtained via the GW approximation to the self-energy operator, and optical spectra were calculated. The results obtained were compared with experiment and with previously performed calculations.


title: Quantum temporal probabilities in tunneling systems: II. No faster-than-light signals are possible in tunneling

abstract: In this article, we propose a resolution to the paradox of apparent superluminal velocities for tunneling particles, by a careful treatment of temporal observables in quantum theory and through a precise application of the duality between particles and waves. To this end, we employ a new method for constructing probabilities associated to quantum time measurements that provides an explicit link between the tunneling time of particles and the associated quantum fields. We demonstrate that the idea of faster-than-light speeds in tunneling follows from an inadmissible use of classical reasoning in the description of quantum systems. Our results suggest that direct measurements of the transit time in tunneling could provide a new testing ground for the predictions of quantum theory versus local hidden-variables theories.


title: Low-symmetry monoclinic phase stabilized by oxygen octahedra rotations in thin strained EuxSr1-xTiO3 films

abstract: Using Landau-Ginzburg-Devonshire theory and phase field modeling, we explore the complex interplay between the long-range structural order parameter (oxygen octahedron rotations) and polarization in EuxSr1-xTiO3 thin epitaxial films. In biaxially tensile strained films, we discover the presence of a low symmetry monoclinic phase with in-plane ferroelectric polarization that is stabilized by antiferrodistortive oxygen octahedra tilts. The monoclinic phase is stable in a wide temperature range, and is characterized by the large number of energetically equivalent polar and structural twin domains, which stimulates easy twinning of the film and thus enhances its effective piezoelectric response. The flexoelectric coupling and rotostriction give rise to additional spontaneous polarization, piezo- and pyro-electricity in the ferroelastic twin boundaries.


title: On Neighborhood Tree Search

abstract: We consider the neighborhood tree induced by alternating the use of different neighborhood structures within a local search descent. We investigate the issue of designing a search strategy operating at the neighborhood tree level by exploring different paths of the tree in a heuristic way. We show that allowing the search to 'backtrack' to a previously visited solution and resuming the iterative variable neighborhood descent by 'pruning' the already explored neighborhood branches leads to the design of effective and efficient search heuristics. We describe this idea by discussing its basic design components within a generic algorithmic scheme and we propose some simple and intuitive strategies to guide the search when traversing the neighborhood tree. We conduct a thorough experimental analysis of this approach by considering two different problem domains, namely, the Total Weighted Tardiness Problem (SMTWTP), and the more sophisticated Location Routing Problem (LRP). We show that independently of the considered domain, the approach is highly competitive. In particular, we show that using different branching and backtracking strategies when exploring the neighborhood tree allows us to achieve different trade-offs in terms of solution quality and computing cost.


title: Structure of homogeneous Ricci solitons and the Alekseevskii conjecture

abstract: We bring new insights into the long-standing Alekseevskii conjecture, namely that any connected homogeneous Einstein manifold of negative scalar curvature is diffeomorphic to a Euclidean space, by proving structural results which are actually valid for any homogeneous expanding Ricci soliton, and generalize many well-known results on Einstein solvmanifolds, solvsolitons and nilsolitons. We obtain that any homogeneous expanding Ricci soliton M=G/K is diffeomorphic to a product U/K x N, where U is a maximal reductive Lie subgroup of G and N is the maximal nilpotent normal subgroup of G, such that the metric restricted to N is a nilsoliton. Moreover, strong compatibility conditions between the metric and the action of U on N by conjugation must hold, including a nice formula for the Ricci operator of the metric restricted to U/K. Our main tools come from geometric invariant theory. As an application, we give many Lie theoretical characterizations of algebraic solitons, as well as a proof of the fact that the following a priori much stronger result is actually equivalent to Alekseevskii's conjecture: Any expanding algebraic soliton is diffeomorphic to a Euclidean space.


title: Non-Abelian dual superconductivity in SU(3) Yang-Mills theory: dual Meissner effect and type of the vacuum

abstract: We have proposed the non-Abelian dual superconductivity picture for quark confinement in the SU(3) Yang-Mills (YM) theory, and have given numerical evidences for the restricted-field dominance and the non-Abelian magnetic monopole dominance in the string tension by applying a new formulation of the YM theory on a lattice. To establish the non-Abelian dual superconductivity picture for quark confinement, we have observed the non-Abelian dual Meissner effect in the SU(3) Yang-Mills theory by measuring the chromoelectric flux created by the quark-antiquark source, and the non-Abelian magnetic monopole currents induced around the flux. We conclude that the dual superconductivity of the SU(3) Yang-Mills theory is strictly the type I and that this type of dual superconductivity is reproduced by the restricted field and the non-Abelian magnetic monopole part, in sharp contrast to the SU(2) case: the border of type I and type II.


title: On the mean value of a kind of Zeta functions

abstract: Let $d_{\alpha, \beta}(n)=\sum\limits_{\substack{n=kl \alpha l<k\leq\beta l}}1$ be the number of ways of factoring n into two almost equal integers. For rational numbers $0<\alpha <\beta $, we consider the following Zeta function $\zeta_{\alpha,\beta}(s)=\sum\limits_{n=1}^{\infty}\frac{d_{\alpha, \beta}(n)}{n^{s}}$ for $\Re s>1.$ It has an analytic continuation to $\Re s>1/3.$ We get an asymptotic formula for the mean square of $\zeta_{\alpha,\beta}(s)$ in the strip $1/2<\Re s<1$. As an application, we improve an result on the distribution of primitive Pythagorean triangles.


title: Electrically modulated photoluminescence in ferroelectric liquid crystal

abstract: Electrical modulation and switching of photoluminescence (PL) have been demonstrated in pure deformed helix ferroelectric liquid crystal (DHFLC) material. The PL intensity increases and peak position shifts towards lower wavelength above a threshold voltage which continues up to a saturation voltage. This is attributed to the helix unwinding phenomenon in the DHFLC on the application of an electric field. Moreover, the PL intensity could be switched between high intensity (field-on) and low intensity (field-off) positions. These studies would add a new dimension to ferroelectric liquid crystal's application in the area of optical devices.


title: Bornes optimales pour la diff\'erence entre la hauteur de Weil et la hauteur de N\'eron-Tate sur les courbes elliptiques sur \Qbar

abstract: We give an algorithm that, given an elliptic curve $E$ over $\Qbar$ in Weierstra{\ss} form, computes the infimum and supremum of the difference between the na\"{\i}ve and canonical height functions on $E(\Qbar)$. ----- Nous donnons un algorithme qui, \'etant donn\'ee une courbe elliptique $E$ sur $\Qbar$ sous la forme de Weierstra\ss, calcule l'infimum et le supremum de la diff\'erence entre la hauteur na\"{\i}ve et la hauteur canonique sur $E(\Qbar)$.


title: The scalar curvature and the biorthogonal curvature: A pinching problem

abstract: The famous pinching problem says that on a compact simply connected $n$-manifold if its sectional curvature satisfies $K_{min} > (1/4)K_{max} > 0$, then the manifold is homeomorphic to the sphere. In [8, problem 12], S. T. Yau proposed the following problem: If we replace $K_{max}$ by the scalar curvature, can we deduce similar pinching theorems? In our present note we give an answer to this question in dimension $n = 4.$}


title: Muon Physics in ALICE: The MFT Upgrade Project

abstract: The ALICE experiment is dedicated to the study of the quark gluon plasma in heavy-ion collisions at the CERN LHC. The Muon Forward Tracker (MFT) is under consideration by the ALICE experiment to be part of its program of detectors upgrade to be installed during the LHC Long Shutdown 2 (LS2) planned for 2018. Designed as a silicon pixel detector added in the Muon Spectrometer acceptance ($-4.0 < \eta < -2.5$) upstream of the hadron absorber, the MFT will allow a drastic improvement of the measurements that are presently done with the Muon Spectrometer and, in addition, will give access to new measurements that are not possible with the present Muon Spectrometer setup. Motivations and preliminary results are discussed here, concerning the measurement of prompt and displaced charmonia, open heavy flavors, and low mass dimuons in central Pb--Pb collisions at $\sqrt{s_{NN}} = 5.5$ TeV.


title: On a singular variety associated to a polynomial mapping

abstract: In the paper "Geometry of polynomial mapping at infinity via intersection homology" the second and third authors associated to a given polynomial mapping $F : \C^2 \to \C^2$ with nonvanishing jacobian a variety whose homology or intersection homology describes the geometry of singularities at infinity of the mapping. We generalize this result.


title: Dialectics of Knowledge Representation in a Granular Rough Set Theory

abstract: The concepts of rough and definite objects are relatively more determinate than those of granules and granulation in general rough set theory (RST) [1]. Representation of rough objects can however depend on the dialectical relation between granulation and definiteness. In this research, we make this exact in the context of RST over proto-transitive approximation spaces. This approach can be directly extended to many other types of RST. These are used for formulating an extended concept of knowledge interpretation (KI)(relative the situation for classical RST) and the problem of knowledge representation (KR) is solved. These will be of direct interest in granular KR in RST as developed by the present author [2] and of rough objects in general. In [3], these have already been used for five different semantics by the present author. This is an extended version of [4] with key examples and more results.


title: JEM-EUSO experiment for extreme energy cosmic ray observation

abstract: The planned JEM-EUSO (Extreme Universe Space Observatory onboard the ISS Japanese Experimental Module) will measure the energy spectra of cosmic rays up to the range of 1000 EeV and will search for direction to their sources. It will observe the extensive air showers generated in the atmosphere by high energy cosmic ray primary particle from the space. The instantaneous aperture of the telescope will exceed by one order the aperture of the largest ground based detectors. JEM-EUSO apparatus is a large telescope with a diameter of 2.5 m with fast UV camera. Slovakia is responsible for the determination of the UV background, which influences the operational efficiency of the experiment and for the analysis of fake trigger events.


title: A Frequency-Domain Encoding for Neuroevolution

abstract: Neuroevolution has yet to scale up to complex reinforcement learning tasks that require large networks. Networks with many inputs (e.g. raw video) imply a very high dimensional search space if encoded directly. Indirect methods use a more compact genotype representation that is transformed into networks of potentially arbitrary size. In this paper, we present an indirect method where networks are encoded by a set of Fourier coefficients which are transformed into network weight matrices via an inverse Fourier-type transform. Because there often exist network solutions whose weight matrices contain regularity (i.e. adjacent weights are correlated), the number of coefficients required to represent these networks in the frequency domain is much smaller than the number of weights (in the same way that natural images can be compressed by ignore high-frequency components). This "compressed" encoding is compared to the direct approach where search is conducted in the weight space on the high-dimensional octopus arm task. The results show that representing networks in the frequency domain can reduce the search-space dimensionality by as much as two orders of magnitude, both accelerating convergence and yielding more general solutions.


title: On the applicability of the Hasselmann kinetic equation to the Phillips spectrum

abstract: We investigate applicability of the Hasselmann kinetic equation to the spectrum of surface gravity waves at different levels of nonlinearity in the system, which is measured as average steepness. It is shown that even in the case of relatively high average steepness, when Phillips spectrum is present in the system, the spectral lines are still very narrow, at least in the region of direct cascade spectrum. It allows us to state that even in the case of Phillips spectrum the kinetic equation can be applied to the description of the ensembles of ocean waves.


title: A quantum algorithm for obtaining the lowest eigenstate of a Hamiltonian assisted with an ancillary qubit system

abstract: We propose a quantum algorithm to obtain the lowest eigenstate of any Hamiltonian simulated by a quantum computer. The proposed algorithm begins with an arbitrary initial state of the simulated system. A finite series of transforms is iteratively applied to the initial state assisted with an ancillary qubit. The fraction of the lowest eigenstate in the initial state is then amplified up to $\simeq 1$. We prove that our algorithm can faithfully work for any arbitrary Hamiltonian in the theoretical analysis. Numerical analyses are also carried out. We firstly provide a numerical proof-of-principle demonstration with a simple Hamiltonian in order to compare our scheme with the so-called "Demon-like algorithmic cooling (DLAC)", recently proposed in [Nature Photonics 8, 113 (2014)]. The result shows a good agreement with our theoretical analysis, exhibiting the comparable behavior to the best "cooling" with the DLAC method. We then consider a random Hamiltonian model for further analysis of our algorithm. By numerical simulations, we show that the total number $n_c$ of iterations is proportional to $\simeq {\cal O}(D^{-1}\epsilon^{-0.19})$, where $D$ is the difference between the two lowest eigenvalues, and $\epsilon$ is an error defined as the probability that the finally obtained system state is in an unexpected (i.e. not the lowest) eigenstate.


title: Conditions for the growth of smooth La0.7Sr0.3MnO3 thin films by pulsed electron ablation

abstract: We report on the optimisation of the growth conditions of manganite La0.7Sr0.3MnO3 (LSMO) thin films prepared by Channel Spark Ablation (CSA). CSA belongs to pulsed electron deposition methods and its energetic and deposition parameters are quite similar to those of pulsed laser deposition. The method has been already proven to provide manganite films with good magnetic properties, but the films were generally relatively rough (a few nm coarseness). Here we show that increasing the oxygen deposition pressure with respect to previously used regimes, reduces the surface roughness down to unit cell size while maintaining a robust magnetism. We analyse in detail the effect of other deposition parameters, like accelerating voltage, discharging energy, and temperature and provide on this basis a set of optimal conditions for the growth of atomically flat films. The thicknesses for which atomically flat surface was achieved is as high as about 10-20 nm, corresponding to films with room temperature magnetism. We believe such magnetic layers represent appealing and suitable electrodes for various spintronic devices.


title: Automorphic Integral Transforms for Classical Groups I: Endoscopy Correspondences

abstract: A general framework of constructions of endoscopy correspondences via automorphic integral transforms for classical groups is formulated in terms of the Arthur classification of the discrete spectrum of square-integrable automorphic forms. This suggests a principle, which is called the $(\tau,b)$-theory of automorphic forms of classical groups, to reorganize and extend the series of work of Piatetski-Shapiro, Rallis, Kudla and others on standard $L$-functions of classical groups and theta correspondence.


title: High-SNR Asymptotics of Mutual Information for Discrete Constellations with Applications to BICM

abstract: Asymptotic expressions of the mutual information between any discrete input and the corresponding output of the scalar additive white Gaussian noise channel are presented in the limit as the signal-to-noise ratio (SNR) tends to infinity. Asymptotic expressions of the symbol-error probability (SEP) and the minimum mean-square error (MMSE) achieved by estimating the channel input given the channel output are also developed. It is shown that for any input distribution, the conditional entropy of the channel input given the output, MMSE and SEP have an asymptotic behavior proportional to the Gaussian Q-function. The argument of the Q-function depends only on the minimum Euclidean distance (MED) of the constellation and the SNR, and the proportionality constants are functions of the MED and the probabilities of the pairs of constellation points at MED. The developed expressions are then generalized to study the high-SNR behavior of the generalized mutual information (GMI) for bit-interleaved coded modulation (BICM). By means of these asymptotic expressions, the long-standing conjecture that Gray codes are the binary labelings that maximize the BICM-GMI at high SNR is proven. It is further shown that for any equally spaced constellation whose size is a power of two, there always exists an anti-Gray code giving the lowest BICM-GMI at high SNR.


title: Discovering Basic Emotion Sets via Semantic Clustering on a Twitter Corpus

abstract: A plethora of words are used to describe the spectrum of human emotions, but how many emotions are there really, and how do they interact? Over the past few decades, several theories of emotion have been proposed, each based around the existence of a set of 'basic emotions', and each supported by an extensive variety of research including studies in facial expression, ethology, neurology and physiology. Here we present research based on a theory that people transmit their understanding of emotions through the language they use surrounding emotion keywords. Using a labelled corpus of over 21,000 tweets, six of the basic emotion sets proposed in existing literature were analysed using Latent Semantic Clustering (LSC), evaluating the distinctiveness of the semantic meaning attached to the emotional label. We hypothesise that the more distinct the language is used to express a certain emotion, then the more distinct the perception (including proprioception) of that emotion is, and thus more 'basic'. This allows us to select the dimensions best representing the entire spectrum of emotion. We find that Ekman's set, arguably the most frequently used for classifying emotions, is in fact the most semantically distinct overall. Next, taking all analysed (that is, previously proposed) emotion terms into account, we determine the optimal semantically irreducible basic emotion set using an iterative LSC algorithm. Our newly-derived set (Accepting, Ashamed, Contempt, Interested, Joyful, Pleased, Sleepy, Stressed) generates a 6.1% increase in distinctiveness over Ekman's set (Angry, Disgusted, Joyful, Sad, Scared). We also demonstrate how using LSC data can help visualise emotions. We introduce the concept of an Emotion Profile and briefly analyse compound emotions both visually and mathematically.


title: Classical Solutions of Higher-Derivative Theories

abstract: We present exact classical solutions of the higher-derivative theory that describes the dynamics of the position modulus of a probe brane within a five-dimensional bulk. The solutions can be interpreted as static or time-dependent throats connecting two parallel branes. In the nonrelativistic limit the brane action is reduced to that of the Galileon theory. We derive exact solutions for the Galileon, which reproduce correctly the shape of the throats at large distances, but fail to do so for their central part. We also determine the parameter range for which the Vainshtein mechanism is reproduced within the brane theory.


title: Cosmological constraints on the curvaton web parameters

abstract: We consider the mixed inflaton-curvaton scenario in which quantum fluctuations of the curvaton field during inflation lead to a relatively large curvature perturbation spectrum at small scales. We use the model of chaotic inflation with quadratic potential including supergravity corrections leading to a large positive tilt in the power spectrum of the curvaton field. The model is characterized by the strongly inhomogeneous curvaton field in the Universe and large non-Gaussianity of curvature perturbations at small scales. We obtained the constraints on the model parameters considering the process of primordial black hole (PBH) production in radiation era.


title: Quantization of Gaussian measures with R\'enyi-\alpha-entropy constraints

abstract: We consider the optimal quantization problem with R\'enyi-$\alpha$-entropy constraints for centered Gaussian measures on a separable Banach space. For $\alpha = \infty$ we can compute the optimal quantization error by a moment on a ball. For $\alpha \in {}]1,\infty]$ and large entropy bound we derive sharp asymptotics for the optimal quantization error in terms of the small ball probability of the Gaussian measure. We apply our results to several classes of Gaussian measures. The asymptotical order of the optimal quantization error for $\alpha > 1$ is different from the well-known cases $\alpha = 0$ and $\alpha = 1$.


title: Domain ontology and multi-criteria analysis for enterprise modeling

abstract: Knowing that an enterprise is a complex reality, it is necessary to develop a modeling framework allowing the description of system structure and dynamics that alter the structure. The concept of enterprise modeling addresses this need and many techniques have emerged. Our goal is to provide leaders of Algerian enterprise an overview of modeling techniques. Thus these managers may elect, in collaboration with the University, the modeling technique best suited to their requirements. TWe believe that this could be a step towards an effective reorganization of the enterprise leading. TThis article proposes a domain ontology and multi-criteria analysis in the frame of modeling enterprise. Our approach is based on two stages using the Prot\'eg\'e tool for the technique representation and the PROMETHEE method for their evaluation. The result is a ranking between the different techniques, which allows selecting the most appropriate methodology according to the criteria for a given Tenterprise.


title: PSR J0357+3205: a fast moving pulsar with a very unusual X-ray trail

abstract: The middle-aged PSR J0357+3205 is a nearby, radio-quiet, bright gamma-ray pulsar discovered by the Fermi mission. Our previous Chandra observation revealed a huge, very peculiar structure of diffuse X-ray emission, originating at the pulsar position and extending for > 9' on the plane of the sky. To better understand the nature of such a nebula, we have studied the proper motion of the parent pulsar. We performed relative astrometry on Chandra images of the field spanning a time baseline of 2.2 yr, unveiling a significant angular displacement of the pulsar counterpart, corresponding to a proper motion of 0.165"+/-0.030" yr^(-1). At a distance of ~500 pc, the space velocity of the pulsar would be of ~390 km s^(-1) assuming no inclination with respect to the plane of the sky. The direction of the pulsar proper motion is perfectly aligned with the main axis of the X-ray nebula, pointing to a physical, yet elusive link between the nebula and the pulsar space velocity. No optical emission in the H_alpha line is seen in a deep image collected at the Gemini telescope, which implies that the interstellar medium into which the pulsar is moving is fully ionized.


title: On Verlinde sheaves and strange duality over elliptic Noether-Lefschetz divisors

abstract: We extend results on generic strange duality for K3 surfaces by showing that the proposed isomorphism holds over an entire Noether-Lefschetz divisor in the moduli space of quasipolarized K3s. We interpret the statement globally as an isomorphism of sheaves over this divisor, and also describe the global construction over the space of polarized K3s.


title: Group Classification and Conservation Laws for a two-dimensional Generalized Kuramoto-Sivashinsky Equation

abstract: The two-dimensional anisotropic Kuramoto-Sivashinsky equation is a forth-order nonlinear evolution equation in two spatial dimensions that arises in sputter erosion and epitaxial growth on vicinal surfaces. A generalization of this equation is proposed and studied via group analysis methods. The complete group classification of this generalized Kuramoto-Sivashinsky equation is carried out, it is classified according to the property of the self-adjointness and the corresponding conservation laws are established.


title: Moduli of Parallelogram Tilings and Curve Systems

abstract: We determine the topology of the moduli space of periodic tilings of the plane by parallelograms. To each such tiling, we associate combinatorial data via the zone curves of the tiling. We show that all tilings with the same combinatorial data form an open subset in a suitable Euclidean space that is homotopy equivalent to a circle. Moreover, for any choice of combinatorial data, we construct a canonical tiling with these data.


title: Electro-magnetostatic homogenization of bianisotropic metamaterials

abstract: We apply the method of asymptotic homogenization to metamaterials with microscopically bianisotropic inclusions to calculate a full set of constitutive parameters in the long wavelength limit. Two different implementations of electromagnetic asymptotic homogenization are presented. We test the homogenization procedure on two different metamaterial examples. Finally, the analytical solution for long wavelength homogenization of a one dimensional metamaterial with microscopically bi-isotropic inclusions is derived.


title: Electroweak corrections and Bloch-Nordsieck violations in 2-to-2 processes at the LHC

abstract: We consider the effect of next-to-leading order (NLO) electroweak corrections to Standard Model 2-to-2 processes, taking into account the potentially large double logarithms originating from both real and virtual corrections. A study of the leading Sudakov logarithms is presented and Bloch-Nordsieck (BN) violations are discussed for processes at the CERN Large Hadron Collider. In particular, we focus on the processes Z/photon+jet and also the ratio of Z to photon production. This ratio is known to be insensitive to NLO QCD corrections but this is not expected to be the case for the electroweak corrections. We also comment on the effect of electroweak corrections and the presence of BN violation for QCD processes, in particular dijet production, and also for purely electroweak processes such as W + H and W + Z associated production.


title: The dependence of topological Anderson insulator on the type of disorder

abstract: This paper details the investigation of the influence of different disorders in two-dimensional topological insulator systems. Unlike the phase transitions to topological Anderson insulator induced by normal Anderson disorder, a different physical picture arises when bond disorder is considered. Using Born approximation theory, an explanation is given as to why bond disorder plays a different role in phase transition than does Anderson disorder. By comparing phase diagrams, conductance, conductance fluctuations, and the localization length for systems with different types of disorder, a consistent conclusion is obtained. The results indicate that a topological Anderson insulator is dependent on the type of disorder. These results are important for the doping processes used in preparation of topological insulators.


title: Enumerating Colorings, Tensions and Flows in Cell Complexes

abstract: We study quasipolynomials enumerating proper colorings, nowhere-zero tensions, and nowhere-zero flows in an arbitrary CW-complex $X$, generalizing the chromatic, tension and flow polynomials of a graph. Our colorings, tensions and flows may be either modular (with values in $\mathbb{Z}/k\mathbb{Z}$ for some $k$) or integral (with values in $\{-k+1,\dots,k-1\}$). We obtain deletion-contraction recurrences and closed formulas for the chromatic, tension and flow quasipolynomials, assuming certain unimodularity conditions. We use geometric methods, specifically Ehrhart theory and inside-out polytopes, to obtain reciprocity theorems for all of the aforementioned quasipolynomials, giving combinatorial interpretations of their values at negative integers as well as formulas for the numbers of acyclic and totally cyclic orientations of $X$.


title: Unipotent almost characters of simple p-adic groups

abstract: Let G be a simple adjoint group and let K=k((\epsilon)) where k is an algebraic closure of a finite field F_q. In this paper we define some geometric objects on G(K) which are similar to the (cohomology sheaves of) the unipotent character sheaves on G(k). Using these geometric objects we define the unipotent almost characters of G(K_0) where K_0=F_q((\epsilon)) and state some conjectures relating them to the characters of unipotent representations of G(K_0).


title: Nuclear modification of vector boson production in proton-lead collisions at the LHC

abstract: In anticipating the upcoming proton-lead run at the LHC in the near future, we present predictions for the nuclear modification factor of transverse momentum spectrum of $Z^0$ production and transverse momentum broadening of vector boson ($J/\psi$, $\Upsilon$, $W/Z^0$) production in proton-lead collisions at $\sqrt{s}=5$ TeV, respectively. We find that the measurement of nuclear modification factor of $Z^0$ production provides a clean and unambiguous test of the nuclear anti-shadowing proposed in the recent EPS09. In addition, the dramatic difference in transverse momentum broadening between the heavy quarkonium and $W/Z^0$ production could be a signature prediction of QCD parton multiple scattering, and it provides valuable informations on color neutralization of a produced heavy quark pair when it transmutes into a physical quarkonium.


title: Explicit-Value Analysis Based on CEGAR and Interpolation

abstract: Abstraction, counterexample-guided refinement, and interpolation are techniques that are essential to the success of predicate-based program analysis. These techniques have not yet been applied together to explicit-value program analysis. We present an approach that integrates abstraction and interpolation-based refinement into an explicit-value analysis, i.e., a program analysis that tracks explicit values for a specified set of variables (the precision). The algorithm uses an abstract reachability graph as central data structure and a path-sensitive dynamic approach for precision adjustment. We evaluate our algorithm on the benchmark set of the Competition on Software Verification 2012 (SV-COMP'12) to show that our new approach is highly competitive. In addition, we show that combining our new approach with an auxiliary predicate analysis scores significantly higher than the SV-COMP'12 winner.


title: Rethinking set theory

abstract: Mathematicians manipulate sets with confidence almost every day, rarely making mistakes. Few of us, however, could accurately quote what are often referred to as "the" axioms of set theory. This suggests that we all carry around with us, perhaps subconsciously, a reliable body of operating principles for manipulating sets. What if we were to take some of those principles and adopt them as our axioms instead? The message of this article is that this can be done, in a simple, practical way (due to Lawvere). The resulting axioms are ten thoroughly mundane statements about sets. This is an expository article for a general mathematical readership.


title: On the unitary part of isometries in commuting, completely non doubly commuting pairs

abstract: There are considered isometries on a Hilbert space. By the Wold theorem any isometry can be decomposed into a unitary operator and a unilateral shift. For a pair of isometries, even commuting, a maximal subspace reducing one isometry to a unitary operator might not reduce the other isometry. In the paper are considered pairs of commuting isometries which are completely non doubly commuting. For such pairs there are no nontrivial subspaces reducing both isometries and one of them to a unitary operator. The results describe a unitary part of an isometry in such a pair.


title: A Parallel Method for Population Balance Equations Based on the Method of Characteristics

abstract: In this paper, we present a parallel scheme to solve the population balance equations based on the method of characteristics and the finite element discretization. The application of the method of characteristics transform the higher dimensional population balance equation into a series of lower dimensional convection-diffusion-reaction equations which can be solved in a parallel way.Some numerical results are presented to show the accuracy and efficiency.


title: Numerical Approximation of Probability Mass Functions Via the Inverse Discrete Fourier Transform

abstract: First passage distributions of semi-Markov processes are of interest in fields such as reliability, survival analysis, and many others. The problem of finding or computing first passage distributions is, in general, quite challenging. We take the approach of using characteristic functions (or Fourier transforms) and inverting them, to numerically calculate the first passage distribution. Numerical inversion of characteristic functions can be numerically unstable for a general probability measure, however, we show for lattice distributions they can be quickly calculated using the inverse discrete Fourier transform. Using the fast Fourier transform algorithm these computations can be extremely fast. In addition to the speed of this approach, we are able to prove a few useful bounds for the numerical inversion error of the characteristic functions. These error bounds rely on the existence of a first or second moment of the distribution, or on an eventual monotonicity condition. We demonstrate these techniques in an example and include R-code.


title: Molecular diffusion between walls with adsorption and desorption

abstract: The time dependency of the diffusion coefficient of particles in porous media is an efficient probe of their geometry. The analysis of this quantity, measured e.g. by nuclear magnetic resonance (PGSE-NMR), can provide rich information pertaining to porosity, pore size distribution, permeability and surface-to-volume ratio of porous materials. Nevertheless, in numerous if not all practical situations, transport is confined by walls where adsorption and desorption processes may occur. In this article, we derive explicitly the expression of the time-dependent diffusion coefficient between two confining walls in the presence of adsorption and desorption. We show that they strongly modify the time-dependency of the diffusion coefficient, even in this simple geometry. We finally propose several applications, from sorption rates measurements to the use as a reference for numerical implementations for more complex geometries.


title: Admissibility For Quasiregular Representations of Exponential Solvable Lie Groups

abstract: Let $N$ be a simply connected, connected non-commutative nilpotent Lie group with Lie algebra $\mathfrak{n}$ of dimension $n.$ Let $H$ be a subgroup of the automorphism group of $N.$ Assume that $H$ is a commutative, simply connected, connected Lie group with Lie algebra $\mathfrak{h}.$ Furthermore, let us assume that the linear adjoint action of $\mathfrak{h}$ on $\mathfrak{n}$ is diagonalizable with non-purely imaginary eigenvalues. Let $\tau=\mathrm{Ind}%_{H}^{N\rtimes H} 1$. We obtain an explicit direct integral decomposition for $\tau$, including a description of the spectrum as a sub-manifold of $(\mathfrak{n}+\mathfrak{h})^{\ast}$, a formula for the multiplicity function of the unitary irreducible representations occurring in the direct integral, and a precise intertwining operator. Finally, we completely settle the admissibility question of $\tau$. In fact, we show that if $G=N\rtimes H$ is unimodular, then $\tau$ is never admissible, and if $G$ is nonunimodular, $\tau$ is admissible if and only if the intersection of $H$ and the center of $G$ is equal to the identity of the group.


title: Maximum Likelihood Estimation for Conditionally Heteroscedastic Models when the Innovation Process is in the Domain of Attraction of a Stable Law

abstract: We prove the strong consistency and the asymptotic normality of the maximum likelihood estimator of the parameters of a general conditionally heteroscedastic model with $\alpha$-stable innovations. Then, we relax the assumptions and only suppose that the innovation process converges in distribution toward a stable process. Using a pseudo maximum likelihood estimator with a stable density, we also obtain the strong consistency and the asymptotic normality of the estimator. This framework seems relevant for financial data exhibiting heavy tails. We apply this method to several financial index and compute stable Value-at-Risk.


title: Alternating Directions Dual Decomposition

abstract: We propose AD3, a new algorithm for approximate maximum a posteriori (MAP) inference on factor graphs based on the alternating directions method of multipliers. Like dual decomposition algorithms, AD3 uses worker nodes to iteratively solve local subproblems and a controller node to combine these local solutions into a global update. The key characteristic of AD3 is that each local subproblem has a quadratic regularizer, leading to a faster consensus than subgradient-based dual decomposition, both theoretically and in practice. We provide closed-form solutions for these AD3 subproblems for binary pairwise factors and factors imposing first-order logic constraints. For arbitrary factors (large or combinatorial), we introduce an active set method which requires only an oracle for computing a local MAP configuration, making AD3 applicable to a wide range of problems. Experiments on synthetic and realworld problems show that AD3 compares favorably with the state-of-the-art.


title: Measurement Isomorphism of Graphs

abstract: The d-measurement set of a graph is its set of possible squared edge lengths over all d-dimensional embeddings. In this note, we define a new notion of graph isomorphism called d-measurement isomorphism. Two graphs are d-measurement isomorphic if there is agreement in their d-measurement sets. A natural question to ask is "what can be said about two graphs that are d-measurement isomorphic?" In this note, we show that this property coincides with the 2-isomorphism property studied by Whitney.


title: Recent Results in Bottomonium

abstract: Great strides have been made in the understanding of bound states of a bottom quark $b$ and its antiquark $\bar b$ since the discovery of the first $\Upsilon$ resonances in 1977. These {\it bottomonium} bound states have a rich spectrum whose masses and transition amplitudes shed valuable light on the strong interactions. The present article reviews some recent developments in bottomonium physics. These include the discovery of the spin-singlet states $\eta_b$ and $h_b$, the first D-wave states, one or more candidates for spin-triplet $\chi_b(3P)$ excitations, and above-threshold states with strong transitions to states below threshold. Information on transitions, production, and signatures of new physics is also presented.


title: On a conjecture of Helleseth

abstract: We are concern about a conjecture proposed in the middle of the seventies by Hellesseth in the framework of maximal sequences and theirs cross-correlations. The conjecture claims the existence of a zero outphase Fourier coefficient. We give some divisibility properties in this direction.


title: Further results on peripheral-tube model for ridge correlation

abstract: Peripheral one-tube model has shown to be a nice tool for dynamically understanding several aspects of ridge structures in long-range two-particle correlations, observed experimentally and obtained also in our model calculations using NexSPheRIO code. Here, we study an extension of the model, to initial configurations with several peripheral tubes distributed randomly in azimuth. We show that the two-particle correlation is almost independent of the number of tubes, although the flow distribution becomes indeed strongly event dependent. In our picture, the ridge structures are causally connected not only in the longitudinal direction but also in azimuth.


title: Turbulence-Induced Instabilities in EP and QGP

abstract: Polarization properties of turbulent stochastically inhomogeneous ultrarelativistic QED plasma are studied. It is shown that the sign of nonlinear turbulent Landau damping corresponds to an instability of the spacelike modes and, for sufficiently large turbulent fields, to an actual instability of a system.


title: Quantitative Timed Simulation Functions and Refinement Metrics for Timed Systems (Full Version)

abstract: We introduce quantatitive timed refinement and timed simulation (directed) metrics, incorporating zenoness check s, for timed systems. These metrics assign positive real numbers between zero and infinity which quantify the \emph{timing mismatches} between two timed systems, amongst non-zeno runs. We quantify timing mismatches in three ways: (1) the maximal timing mismatch that can arise, (2) the "steady-state" maximal timing mismatches, where initial transient timing mismatches are ignored; and (3) the (long-run) average timing mismatches amongst two systems. These three kinds of mismatches constitute three important types of timing differences. Our event times are the \emph{global times}, measured from the start of the system execution, not just the time durations of individual steps. We present algorithms over timed automata for computing the three quantitative simulation distances to within any desired degree of accuracy. In order to compute the values of the quantitative simulation distances, we use a game theoretic formulation. We introduce two new kinds of objectives for two player games on finite-state game graphs: (1) eventual debit-sum level objectives, and (2) average debit-sum level objectives. We present algorithms for computing the optimal values for these objectives in graph games, and then use these algorithms to compute the values of the timed simulation distances over timed automata.


title: Graded Cohen-Macaulay rings of wild Cohen-Macaulay type

abstract: We give suffcient conditions for a standard graded Cohen-Macaulay ring, or equivalently, an arithmetically Cohen-Macaulay projective variety, to be Cohen-Macaulay wild in the sense of representation theory. In particular, these conditions are applied to hypersurfaces and complete intersections.


title: Scalar curvature behavior of homogeneous Ricci flows

abstract: We prove that the scalar curvature of a homogeneous Ricci flow solution blows up at a forward or backward finite-time singularity.


title: Finite element differential forms on curvilinear cubic meshes and their approximation properties

abstract: We study the approximation properties of a wide class of finite element differential forms on curvilinear cubic meshes in n dimensions. Specifically, we consider meshes in which each element is the image of a cubical reference element under a diffeomorphism, and finite element spaces in which the shape functions and degrees of freedom are obtained from the reference element by pullback of differential forms. In the case where the diffeomorphisms from the reference element are all affine, i.e., mesh consists of parallelotopes, it is standard that the rate of convergence in L2 exceeds by one the degree of the largest full polynomial space contained in the reference space of shape functions. When the diffeomorphism is multilinear, the rate of convergence for the same space of reference shape function may degrade severely, the more so when the form degree is larger. The main result of the paper gives a sufficient condition on the reference shape functions to obtain a given rate of convergence.


title: Spinor Frenet Equations in Three Dimensional Lie Groups

abstract: In this paper, we study spinor Frenet equations in three dimensional Lie Groups with a bi-invariant metric. Also, we obtain spinor Frenet equations for special cases of three dimensional Lie groups.


title: Extended-valued topical and anti-topical functions on semimodules

abstract: In previous papers we have studied topical functions f:X-> K and related classes of functions, where X is a b-complete semimodule over an idempotent b-complete semifield K. Without essential restriction of the generality, we assume that K has no greatest element sup K, and hence for x in X and y=inf X the residuation x/y is not defined. Now we adjoin to K an outside "greatest element" top =sup K, and extending in a suitable way the operations of multiplication and addition from K to bar K, which is the union of K and top, we study "extended functions" f:X-> bar K. Actually, we give two different extensions of the product from K to bar K, so as to obtain a meaning also for the residuation x/inf X, with any x in X, and in particular for inf X/inf X, and use them to give characterizations of topical (i.e. increasing homogeneous, defined with the aid of the first product) and anti-topical (i.e. decreasing anti-homogeneous, defined with the aid of the second product) functions f:X-> bar K, by some inequalities. Next we study for functions f:X -> bar K their conjugates and biconjugates of Fenchel-Moreau type with respect to the coupling functions phi(x,y)=x/y x,y in X and psi(x,(y,d)):=inf {x/y,d}; x,y in X,d in bar K, and obtain characterizations of topical and anti-topical functions. In the subsequent sections we consider the polars of a subset G in X for the coupling functions phi and psi, and the support set of a function f:X->K with respect to the set tilde T of all "elementary topical functions" tilde t_{y}(x):=x/y, x in X, y in X-{inf X} and two concepts of support set of f:X-> bar K at a point x_0 in X.


title: Broadband Terahertz Modulators based on MEMS-Reconfigurable Mesh Filters

abstract: Active tuning and switching of electromagnetic properties of materials is of great importance for controlling their interaction with electromagnetic waves. Superconductors are the only natural materials that exhibit diamagnetic switching at their critical temperatures. Here, we demonstrate a new class of meta-surfaces with electrically-induced diamagnetic switching capability at room temperature. Structural configuration of the subwavelength meta-molecules determines their magnetic response to an external electromagnetic radiation. By reconfiguration of the meta-molecule structure, the strength of the induced magnetic field in the opposite direction to the external magnetic field is varied and the diamagnetic state of the meta-surface is altered, consequently. We demonstrate a significant change in the relative permeability and permittivity of a custom-designed meta-surface with diamagnetic switching capability at terahertz frequencies, enabling terahertz intensity modulation with record high modulation depths and modulation bandwidths through a fully integrated device platform at room temperature.


title: Three-point correlators of twist-2 operators in N=4 SYM at Born approximation

abstract: We calculate two different types of 3-point correlators involving twist-2 operators in the leading weak coupling approximation and all orders in N_c in N=4 SYM theory. Each of three operators in the first correlator can be any component of twist-2 supermultiplet, though the explicit calculation was done for a particular component which is an SU(4) singlet. It is calculated in the leading, Born approximation for arbitrary spins j_1,j_2,j_3. The result significantly simplifies when at least one of the spins is large or equal to zero and the coordinates are restricted to the 2d plane spanned by two light-rays. The second correlator involves two twist-2 operators Tr X\nabla^{j_1}X +..., Tr Z\nabla^{j_2}Z+... and one Konishi operator Tr[\bar Z,\bar X]^2. It vanishes in the lowest g^0 order and is computed at the leading g^2 approximation.


title: Probing the Locally Generated Even and Odd Order Nonlinearity in Y-Ba-Cu-O and Tl-Ba-Ca-Cu-O (2212) Microwave Resonators around TC

abstract: Spatial scanning of the synchronously generated 2nd and 3rd order intermodulation distortion in superconducting resonators uncovers local nonlinearity hot spots, and possible time reversal symmetry breaking, using a simple probe fashioned from coaxial cable. It is clear that even and odd order nonlinearity in these samples do not share the same physical origins, as their temperature and static magnetic field dependences are quite different. 2nd order intermodulation distortion (IMD) remains strong in these measurements as the temperature continues to drop below TC to 77K even though the 3rd order peaks near TC and becomes smaller at lower temperature as predicted by the nonlinear Meissner effect. Both YBa2Cu3O7 and Tl2Ba2CaCu2O8 resonators of the same structure exhibit similar temperature dependence in the 2nd order with 2nd order remaining high at lower temperature. The YBa2Cu3O7 sample has lower 3rd order IMD with a pronounced peak at TC.


title: Gravitational lens equation. Critical solutions and magnification near folds and cusps

abstract: We study approximate solutions of the gravitational lens equation and corresponding lens magnification factor near the critical point. This consideration is based on the Taylor expansion of the lens potential in powers of coordinates and an introduction of a proximity parameter characterising the closeness of a point source to the caustic. Second-order corrections to known approximate solutions and magnification are found in case of a general fold point. The first-order corrections near a general cusp are found as well. Key words: gravitational lensing, methods: analytical


title: Lemaitres Limit

abstract: Georges Lemaitre gave a theoretical proof for his 1927 doctoral thesis in astronomy that the maximum spherical radius of our Universe can be computed from first principles to be 14.2 billion light-years (Lemaitre 1927a). That estimate, which is known as Lemaitres limit, is surprisingly close to current estimates of the Universes age. Such coincidence, to within 3%, between the predicted size and observed age of the Universe is more significant today because of the resurrection in the late 1990s of the cosmological constant (also known as vacuum or dark energy). The most precise Hubble constant to date, H = 69.32 km/s/Mpc based on the full nine-years of Wilkinson Microwave Anisotropy Probe measurements, is within 1% of the value predicted based on Lemaitres Limit, H = 68.7 km/s/Mpc. If Lemaitres Limit is resurrected, it will revolutionize cosmology.


title: L-Recursion and a new Logic for Logarithmic Space

abstract: We extend first-order logic with counting by a new operator that allows it to formalise a limited form of recursion which can be evaluated in logarithmic space. The resulting logic LREC has a data complexity in LOGSPACE, and it defines LOGSPACE-complete problems like deterministic reachability and Boolean formula evaluation. We prove that LREC is strictly more expressive than deterministic transitive closure logic with counting and incomparable in expressive power with symmetric transitive closure logic STC and transitive closure logic (with or without counting). LREC is strictly contained in fixed-point logic with counting FPC. We also study an extension LREC= of LREC that has nicer closure properties and is more expressive than both LREC and STC, but is still contained in FPC and has a data complexity in LOGSPACE. Our main results are that LREC captures LOGSPACE on the class of directed trees and that LREC= captures LOGSPACE on the class of interval graphs.


title: Coherent edge mixing and interferometry in quantum Hall bilayers

abstract: We discuss the implementation of a beam splitter for electron waves in a quantum Hall bilayer. Our architecture exploits inter-layer tunneling to mix edge states belonging to different layers. We discuss the basic working principle of the proposed coherent edge mixer, possible interferometric implementations based on existing semiconductor-heterojunction technologies, and advantages with respect to canonical quantum Hall interferometers based on quantum point contacts.


title: A numerical technique for preserving the topology of polymer knots: The case of short-range attractive interactions

abstract: The statistical mechanics of single polymer knots is studied using Monte Carlo simulations. The polymers are considered on a cubic lattice and their conformations are randomly changed with the help of pivot transformations. After each transformation, it is checked if the topology of the knot is preserved by means of a method called pivot algorithm and excluded area (in short PAEA) and described in a previous publication of the authors. As an application of this method the specific energy, the radius of gyration and heat capacity of a few types of knots are computed. The case of attractive short-range forces is investigated. The sampling of the energy states is performed by means of the Wang-Landau algorithm. The obtained results show that the specific energy and heat capacity increase with increasing knot complexity as in the case of repulsive interactions. The data about the gyration radius allow to estimate the size of the polymer knots at different temperatures.


title: Feasibility of a Small, Rapid Optical-to-IR Response, Next Generation Gamma Ray Burst Mission

abstract: We present motivations for and study feasibility of a small, rapid optical to IR response gamma ray burst (GRB) space observatory. By analyzing existing GRB data, we give realistic detection rates for X-ray and optical/IR instruments of modest size under actual flight conditions. Given new capabilities of fast optical/IR response (about 1 s to target) and simultaneous multi-band imaging, such an observatory can have a reasonable event rate, likely leading to new science. Requiring a Swift-like orbit, duty cycle, and observing constraints, a Swift-BAT scaled down to 190 square cm of detector area would still detect and locate about 27 GRB per yr. for a trigger threshold of 6.5 sigma. About 23 percent of X-ray located GRB would be detected optically for a 10 cm diameter instrument (about 6 per yr. for the 6.5 sigma X-ray trigger).


title: Existence of an invariant measure on a hypergroup

abstract: We prove existence of an invariant measure on a hypergroup.


title: Scalar Curvature and Stability of Toric Fibrations

abstract: We study fibrations $\cV$ of toric varieties over the flag variety $G/T$, where $G$ is a compact semisimple Lie group and $T$ is a maximal torus. From symplectic data, we construct test configurations of $\cV$ and compute their Futaki invariants by employing a generalization of Pick's Theorem. We also give a simple form of the Mabuchi Functional.


title: Multiple Bracket Function, Stirling Number, and Lah Number Identities

abstract: The author has constructed multiple analogues of several families of combinatorial numbers in a recent article, including the bracket symbol, and the Stirling numbers of the first and second kind. In the present paper, a multiple analogue of another sequence, the Lah numbers, is developed, and certain associated identities and significant properties of all these sequences are constructed.


title: Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems

abstract: This volume contains the proceedings of the First International Workshop of Formal Techniques for Safety-Critical Systems (FTSCS 2012), held in Kyoto on November 12, 2012, as a satellite event of the ICFEM conference. The aim of this workshop is to bring together researchers and engineers interested in the application of (semi-)formal methods to improve the quality of safety-critical computer systems. FTSCS is particularly interested in industrial applications of formal methods. Topics include: - the use of formal methods for safety-critical and QoS-critical systems, including avionics, automotive, and medical systems; - methods, techniques and tools to support automated analysis, certification, debugging, etc.; - analysis methods that address the limitations of formal methods in industry; - formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc.; and - code generation from validated models. The workshop received 25 submissions; 21 of these were regular papers and 4 were tool/work-in-progress/position papers. Each submission was reviewed by three referees; based on the reviews and extensive discussions, the program committee selected nine regular papers, which are included in this volume. Our program also included an invited talk by Ralf Huuck.


title: Electromagnetic dipole moments of the top quark

abstract: Recent measurements like the t tbar gamma production by CDF as well as the Br(B ->Xs gamma) and ACP (B->Xs gamma) are used to constrain the magnetic and electric dipole moments of the top quark. The B->Xs gamma measurements by themselves define an allowed parameter region that sets up stringent constraints on both dipole moments. Actually, significantly more stringent than previously reported. The measurement by CDF has a 37% error that is too large to set any competitive bounds, for which a much lower 5% error would be required at least. On the other hand, because of the LHC's higher energy (apart from its higher luminosity) the same measurement performed there could indeed further constrain the allowed parameter region given by the B->Xs gamma measurement.


title: Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity

abstract: There are logics where necessity is defined by means of a given identity connective: $\square\varphi := \varphi\equiv\top$ ($\top$ is a tautology). On the other hand, in many standard modal logics the concept of propositional identity (PI) $\varphi\equiv\psi$ can be defined by strict equivalence (SE) $\square(\varphi\leftrightarrow\psi)$. All these approaches to modality involve a principle that we call the Collapse Axiom (CA): "There is only one necessary proposition." In this paper, we consider a notion of PI which relies on the identity axioms of Suszko's non-Fregean logic $\mathit{SCI}$. Then $S3$ proves to be the smallest Lewis modal system where PI can be defined as SE. We extend $S3$ to a non-Fregean logic with propositional quantifiers such that necessity and PI are integrated as non-interdefinable concepts. CA is not valid and PI refines SE. Models are expansions of $\mathit{SCI}$-models. We show that $\mathit{SCI}$-models are Boolean prealgebras, and vice-versa. This associates Non-Fregean Logic with research on Hyperintensional Semantics. PI equals SE iff models are Boolean algebras and CA holds. A representation result establishes a connection to Fine's approach to propositional quantifiers and shows that our theories are \textit{conservative} extensions of $S3$--$S5$, respectively. If we exclude the Barcan formula and a related axiom, then the resulting systems are still complete w.r.t. a simpler denotational semantics.


title: Distinguishing fissions of 232Th, 237Np and 238U with beta-delayed gamma rays

abstract: Measurements of beta-delayed gamma-ray spectra following 14-MeV neutron-induced fissions of 232Th, 237Np, and 238U were conducted at Lawrence Berkeley National Laboratory's 88-Inch Cyclotron. Spectra were collected for times ranging from 1 minute to 14 hours after irradiation. Intensity ratios of gamma-ray lines were extracted from the data that allow identification of the fissioning isotope.


title: Higher torsion and secondary transfer of unipotent bundles

abstract: Given a unipotent bundle of smooth manifolds we construct its secondary transfer map and show that this map determines the higher smooth torsion of the bundle. This approach to higher torsion provides a new perspective on some of its properties. In particular it yields in a natural way a formula for torsion of a composition of two bundles.


title: Ordinary and symbolic powers are Golod

abstract: Let $S$ be a positively graded polynomial ring over a field of characteristic 0, and $I\subset S$ a proper graded ideal. In this note it is shown that $S/I$ is Golod if $\partial(I)^2\subset I$. Here $\partial(I)$ denotes the ideal generated by all the partial derivatives of elements of $I$. We apply this result to find large classes of Golod ideals, including powers, symbolic powers, and saturations of ideals.


title: A Product of Tensor Product $L$-functions of Quasi-split Classical Groups of Hermitian Type

abstract: A family of global integrals representing a product of tensor product (partial) $L$-functions: $ L^S(s,\pi\times\tau_1)L^S(s,\pi\times\tau_2)... L^S(s,\pi\times\tau_r) $ are established in this paper, where $\pi$ is an irreducible cuspidal automorphic representation of a quasi-split classical group of Hermitian type and $\tau_1,...,\tau_r$ are irreducible unitary cuspidal automorphic representations of $\GL_{a_1},...,\GL_{a_r}$, respectively. When $r=1$ and the classical group is an orthogonal group, this was studied by Ginzburg, Piatetski-Shapiro and Rallis in 1997 and when $\pi$ is generic and $\tau_1,...,\tau_r$ are not isomorphic to each other, this is considered by Ginzburg, Rallis and Soudry in 2011. In this paper, we prove that the global integrals are eulerian and finish the explicit calculation of unramified local $L$-factors in general. The remaining local and global theory for this family of global integrals will be considered in our future work.


title: Sasakian metrics with an additional contact structure

abstract: The question of whether a Sasakian metric can admit an additional compatible (K-)contact structure is addressed. In the complete case if the second structure is also assumed Sasakian, works of Tachibana-Yu and Tanno show that the manifold must be 3-Sasakian or an odd dimensional sphere with constant curvature. Some extensions of this result are obtained, mainly in dimensions 3 and 5.


title: Stability of Multiclass Queueing Networks under Longest-Queue and Longest-Dominating-Queue Scheduling

abstract: We consider the stability of robust scheduling policies for multiclass queueing networks. These are open networks with arbitrary routing matrix and several disjoint groups of queues in which at most one queue can be served at a time. The arrival and potential service processes and routing decisions at the queues are independent, stationary and ergodic. A scheduling policy is called robust if it does not depend on the arrival and service rates nor on the routing probabilities. A policy is called throughput-optimal if it makes the system stable whenever the parameters are such that the system can be stable. We propose two robust polices: longest-queue scheduling and a new policy called longest-dominating-queue scheduling. We show that longest-queue scheduling is throughput-optimal for two groups of two queues. We also prove the throughput-optimality of longest-dominating-queue scheduling when the network topology is acyclic, for an arbitrary number of groups and queues.


title: The characterization of wettability of substrates by liquid nanodrops

abstract: Wettability of a substrates is characterized by a contact angle. Applicability of the simple formula developed by Derjaguin, which relates to the contact angle and disjoining pressure to nano-scale liquid droplets is reconsidered within the framework of the theory of the first-order wetting transition of volatile liquids. It is concluded that his formula is generally correct for large droplets on an incompletely-wettable substrate. But it can not be applied to nanodroplets, in particular, on a completely-wettable substrate. An effective contact angle can be defined even for the nanaodroplet. A formula similar to the Derjaguin formula is proposed by which we can calculate the contact angle of nanodorplets on both an incompletely- and a completely-wettable substrate for which the whole volume of the droplet is under the influence of the disjoining pressure.


title: The winning property of mixed badly approximable numbers

abstract: For any pair of real numbers $(i,j)$ with $0<i,j<1$ and $i+j=1$, we prove that the set of $p$-adic mixed $(i,j)$-badly approximable numbers $\bad_p(i, j)$ is 1/2-winning in the sense of Schmidt's game. This improves a recent result of Badziahin, Levesley, and Velani on mixed Schmidt conjecture.


title: Nonreciprocal rotating power flow within plasmonic nanostructures

abstract: We theoretically explore the notion of nonreciprocal near-zone manipulation of electromagnetic fields within subwavelength plasmonic nanostructures embedded in magneto-optical materials. We derive an analytical model predicting a strong, magneto-optically induced time-reversal symmetry breaking of localized plasmonic resonances in topologically symmetric structures. Our numerical simulations of plasmon excitations reveal a considerable near-zone power flow rotation within such hybrid nanostructures, demonstrating nanoscale nonreciprocity. This can be considered as another mechanism for tuning plasmonic phenomena at the nanoscale.


title: The Turbulent 'Mixing' Layer as a Problem in the Non-equilibrium Statistical Mechanics of a Vortex Gas

abstract: The objective of this paper is to unravel any relations that may exist between turbulent shear flows and statistical mechanics, through a detailed numerical investigation in the simplest case where both can be well defined. The shear flow considered for the purpose is the 2D temporal mixing layer, which is a time-dependent flow that is statistically homogeneous in the streamwise direction (x) and evolves from a plane vortex sheet in the direction normal to it (y) in a periodic-in-x domain with period L. The connections to statistical mechanics are explored by revisiting, via extensive computer simulations, an appropriate initial value problem for a finite but large collection of (N) point vortices of same strength (\gamma) and sign constituting a 'vortex gas'. Such connections may be expected to be meaningful as hydrodynamics, since the flow associated with the vortex gas is known to provide weak solutions of the Euler equation. Over ten different initial conditions classes are investigated using simulations involving up to 10^4 vortices, with ensemble averages evaluated over up to 10^3 realizations and integration over 10^4 L/(\Delta U) (where \Delta U is the velocity differential across the layer, given by N\gamma/L). (see PDF for complete abstract)


title: QGP formation time and direct photons from heavy ion collisions

abstract: We investigated the information carried by the data of direct photons, ie, the transverse momentum spectrum and the elliptic flow $v_{2}$ from Pb+Pb collisions at $\sqrt{s_{NN}}$=2.76TeV measured at Large Hadron Collider (LHC) and from Au+Au collisions at $\sqrt{s_{NN}}$= 200 GeV measured at Relativistic Heavy Ion Collider (RHIC), in the frame work of (3+1)-dimensional ideal hydrodynamical models constrained with hadronic data. We found those direct photon data may serve as a useful clock at the early stage of heavy ion collisions. The time scales of reaching thermal and chemical equilibrium, extracted from those data, are about 1/3 and 1.5 fm/c, respectively. Thus the large elliptic flow of direct photons is explainable. High order harmonics, ie, $v_3$, $v_4$ and $v_5$, of direct photons from Pb+Pb collisions at 2.76TeV are also predicted, as a further test to compete with those who claim new sources of photons to account for the large elliptic flow of direct photons.


title: The Regular Grunbaum Polyhedron of Genus 5

abstract: We discuss a polyhedral embedding of the classical Fricke-Klein regular map of genus 5 in ordinary 3-space. This polyhedron was originally discovered by Grunbaum in 1999, but was recently rediscovered by Brehm and Wills. We establish isomorphism of the Grunbaum polyhedron with the Fricke-Klein map, and confirm its combinatorial regularity. The Grunbaum polyhedron is among the few currently known geometrically vertex-transitive polyhedra of genus g > 2, and is conjectured to be the only vertex-transitive polyhedron in this genus range that is also combinatorially regular. We also contribute a new vertex-transitive polyhedron, of genus 11, to this list, as the 7th known example. In addition we show that there are only finitely many vertex-transitive polyhedra in the entire genus range g > 2.


title: Fluctuation theorems for quantum processes

abstract: We present fluctuation theorems and moment generating function equalities for generalized thermodynamic observables and quantum dynamics described by completely positive trace preserving (CPTP) maps, with and without feedback control. Our results include the quantum Jarzynski equality and Crooks fluctuation theorem, and clarify the special role played by the thermodynamic work and thermal equilibrium states in previous studies. We show that for a specific class of generalized measurements, which include projective measurements, unitality replaces microreversibility as the condition for the physicality of the reverse process in our fluctuation theorems. We present an experimental application of our theory to the problem of extracting the system-bath coupling magnitude, which we do for a system of pairs of coupled superconducting flux qubits undergoing quantum annealing.


title: Relativistic Covariance of Light-Front Few-Body Systems in Hadron Physics

abstract: We study the light-front covariance of a vector-meson decay constant using a manifestly covariant fermion field theory model in $(3+1)$ dimensions. The light-front zero-mode issues are analyzed in terms of polarization vectors and method of identifying the zero-mode operator and of obtaining the light-front covariant decay constant is discussed.


title: Black Hole Entropy with minimal length in Tunneling formalism

abstract: Here we study the effects of the Generalized Uncertainty Principle in the tunneling formalism for Hawking radiation to evaluate the quantum-corrected Hawking temperature and entropy for a Schwarzschild black hole. We compare our results with the existing results given by other candidate theories of quantum gravity. In the entropy-area relation we found some new correction terms and in the leading order we found a term which varies as $\sim \sqrt{Area}$. We also get the well known logarithmic correction in the sub-leading order. We discuss the significance of this new quantum corrected leading order term.


title: Social Teaching: Being Informative vs. Being Right in Sequential Decision Making

abstract: We show that it can be suboptimal for Bayesian decision-making agents employing social learning to use correct prior probabilities as their initial beliefs. We consider sequential Bayesian binary hypothesis testing where each individual agent makes a binary decision based on an initial belief, a private signal, and the decisions of all earlier-acting agents---with the actions of precedent agents causing updates of the initial belief. Each agent acts to minimize Bayes risk, with all agents sharing the same Bayes costs for Type I (false alarm) and Type II (missed detection) errors. The effect of the set of initial beliefs on the decision-making performance of the last agent is studied. The last agent makes the best decision when the initial beliefs are inaccurate. When the private signals are described by Gaussian likelihoods, the optimal initial beliefs are not haphazard but rather follow a systematic pattern: the earlier-acting agents should act as if the prior probability is larger than it is in reality when the true prior probability is small, and vice versa. We interpret this as being open minded toward the unlikely hypothesis. The early-acting agents face a trade-off between making a correct decision and being maximally informative to the later-acting agents.


title: Phase Structure of Higher Spin Black Hole

abstract: In this paper, we investigate the phase structures of the black holes with one single higher spin hair, focusing specifically on the spin 3 and spin tilde 4 black holes. Based on dimensional analysis and the requirement of having consistent thermodynamics, we derive an universal formula relating the entropy and the conserved charges for arbitrary AdS3 higher spin black holes. Then we use it to study the phase structure of the higher spin black holes. We find that there are six branches of solutions in the spin 3 gravity, eight branches of solutions in the spin tilde 4 gravity and twelve branches of solutions in the G2 gravity. In each case, all branches are related by a simple angle shift in the entropy functions. In the spin 3 case, we reproduce all the results found before. In the spin tilde 4 case, we find that in the low temperature it is at the BTZ branch while in the high temperature it transits to one of two other branches, depending on the signature of the chemical potential, a reflection of charge conjugate asymmetry found before.


title: Optical and Near-infrared survey of the stellar contents associated with the star-forming Complex Sh2-252

abstract: We present the analyses of the stellar contents associated with the HII region Sh2-252 using UBVRI photometry, slit and slitless spectroscopy along with the NIR data from 2MASS for an area ~1 degree x 1 degree. We studied the sub-regions of Sh2-252 which includes four compact-HII (CHII) regions, namely A, B, C and E and two clusters NGC 2175s and Teutsch 136 (Teu 136). Of the fifteen spectroscopically observed bright stars, eight have been identified as massive members of spectral class earlier than B3. From the spectro-photometric analyses, we derived the average distance of the region as 2.4+/-0.2 kpc and the reddening of the massive members is found to vary between 0.35 to 2.1 mag. We found that NGC 2175s and Teu 136, located towards the eastern edge of the complex are the sub-clusters of Sh2-252. The stellar surface density distribution in K-band shows clustering associated with the regions A, C, E, NGC 2175s and Teu 136. We have also identified the candidate ionizing sources of the CHII regions. 61 H_alpha emission sources are identified using slitless spectroscopy. The distribution of the H_alpha emission sources and candidate YSOs with IR excess on the V/(V-I) CMD shows that a majority of them have approximate ages between 0.1 - 5 Myr and masses in the range of 0.3 - 2.5 M_sun. The CMDs of the candidate YSOs in the individual regions also show an age spread of 0.1 - 5 Myr for each of them. We calculated the KLFs for the sub-regions A, C, E, NGC 2175s and Teu 136. Within errors, the KLFs for all the sub-regions are found to be similar and comparable to that of young clusters of age < 5 Myr. We also estimated the mass functions (MFs) of the PMS sample of the individual regions in the mass range of 0.3 - 2.5 M_sun. In general, the slopes of the MFs of all the sub-regions are found comparable to the Salpeter value.


title: Krein-Adler transformations for shape-invariant potentials and pseudo virtual states

abstract: For eleven examples of one-dimensional quantum mechanics with shape-invariant potentials, the Darboux-Crum transformations in terms of multiple pseudo virtual state wavefunctions are shown to be equivalent to Krein-Adler transformations deleting multiple eigenstates with shifted parameters. These are based upon infinitely many polynomial Wronskian identities of classical orthogonal polynomials, i.e. the Hermite, Laguerre and Jacobi polynomials, which constitute the main part of the eigenfunctions of various quantum mechanical systems with shape-invariant potentials.

categories: math-ph hep-th math.CA math.MP nlin.SI quant-ph


title: Pseudo best estimator by a separable approximation of spatial covariance structures

abstract: We consider a linear regression model with a spatially correlated error term on a lattice. When estimating coefficients in the linear regression model, the generalized least squares estimator (GLSE) is used if the covariance structures are known. However, the GLSE for large spatial data sets is computationally expensive, because it involves inverting the covariance matrix of error terms from each observations. To reduce the computational complexity, we propose a pseudo best estimator (PBE) using spatial covariance structures approximated by separable covariance functions. We derive the asymptotic covariance matrix of the PBE and compare it with those of the least squares estimator (LSE) and the GLSE through some simulations. Monte Carlo simulations demonstrate that the PBE using separable covariance functions has superior accuracy to that of the LSE, which does not contain the information of the spatial covariance structure, even if the true process has an isotropic Mat\'ern covariance function. Additionally, our proposed PBE is computationally efficient relative to the GLSE for large spatial data sets.


title: The neglected quantum effect on CuO2 plane

abstract: The neglected quantum effect On CuO2 plane--the transition of electron between neighbored ions is studied. To study this affection, an ideal square lattice composed of triangle unit is proposed and studied. Every unit in the square lattice has three ions and only one ion charge, the ion charge is distributed on one A ion and two B ions with different possibility, and the A-B bond length is far less than the distance between nearest units. The position difference between A-B ions results in a lattice deformation with fixed amplitude, and can be treated as an electricity dipole lattice. It is proved that such lattice has a negative energy gap that can be much larger than that of normal metal superconductor, and suggests a new superconductor mechanism.


title: Hermitian Categories, extension of scalars and systems of hermitian forms

abstract: In this paper we define a notion of Witt group for sesquilinear forms in hermitian categories, which in turn provides a notion of Witt group for sesquilinear forms over rings with involution. We also study the extension of scalars for K-linear hermitian categories, where K is a field of characteristic not 2. We finally extend several results concerning sesquilinear forms to the setting of systems of such forms.


title: The Local Circular Law III: General Case

abstract: In the first part of this article series, Bourgade, Yau and the author of this paper proved a local version of the circular law up to the finest scale $N^{-1/2+ \e}$ for non-Hermitian random matrices at any point $z \in \C$ with $||z| - 1| > c $ for any $c>0$ independent of the size of the matrix. In the second part, they extended this result to include the edge case $ |z|-1=\oo(1)$, under the main assumption that the third moments of the matrix elements vanish. (Without the vanishing third moment assumption, they proved that the circular law is valid near the spectral edge $ |z|-1=\oo(1)$ up to scale $N^{-1/4+ \e}$.) In this paper, we will remove this assumption, i.e. we prove a local version of the circular law up to the finest scale $N^{-1/2+ \e}$ for non-Hermitian random matrices at any point $z \in \C$.


title: Generalized Rogers Ramanujan Identities from AGT Correspondence

abstract: AGT correspondence and its generalizations attracted a great deal of attention recently. In particular it was suggested that $U(r)$ instantons on $R^4/Z_p$ describe the conformal blocks of the coset ${\cal A}(r,p)=U(1)\times sl(p)_r\times {sl(r)_p\times sl(r)_n\over sl(r)_{n+p}}$, where $n$ is a parameter. Our purpose here is to describe Generalized Rogers Ramanujan (GRR) identities for these cosets, which expresses the characters as certain $q$ series. We propose that such identities exist for the coset ${\cal A}(r,p)$ for all positive integers $n$ and all $r$ and $p$. We treat here the case of $n=1$ and $r=2$, finding GRR identities for all the characters.


title: Strategy switches and co-action equilibria in a minority game

abstract: We propose an analytically tractable variation of the minority game in which rational agents use probabilistic strategies. In our model, $N$ agents choose between two alternatives repeatedly, and those who are in the minority get a pay-off 1, others zero. The agents optimize the expectation value of their discounted future pay-off, the discount parameter being $\lambda$. We propose an alternative to the standard Nash equilibrium, called co-action equilibrium, which gives higher expected pay-off for all agents. The optimal choice of probabilities of different actions are determined exactly in terms of simple self -consistent equations. The optimal strategy is characterized by $N$ real parameters, which are non-analytic functions of $\lambda$, even for a finite number of agents. The solution for $N \leq 7$ is worked out explicitly indicating the structure of the solution for larger $N$. For large enough future time horizon, the optimal strategy switches from random choice to a win-stay lose-shift strategy, with the shift probability depending on the current state and $\lambda$.


title: Multidimensional Analytic Signals and the Bedrosian Identity

abstract: The analytic signal method via the Hilbert transform is a key tool in signal analysis and processing, especially in the time-frquency analysis. Imaging and other applications to multidimensional signals call for extension of the method to higher dimensions. We justify the usage of partial Hilbert transforms to define multidimensional analytic signals from both engineering and mathematical perspectives. The important associated Bedrosian identity $T(fg)=fTg$ for partial Hilbert transforms $T$ are then studied. Characterizations and several necessity theorems are established. We also make use of the identity to construct basis functions for the time-frequency analysis.


title: On solutions of quasilinear elliptic inequalities containing terms with lower-order derivatives

abstract: We obtain estimates and blow-up conditions for solutions of quasilinear elliptic inequalities containing terms with lower-order derivatives


title: The variational principle of topological pressure for actions of sofic groupoids

abstract: This article establishes the variational principle of topological pressure for actions of sofic groupoids.


title: Photonic Properties of Metallic-Mean Quasiperiodic Chains

abstract: The light propagation through a stack of two media with different refractive indices, which are aligned according to different quasiperiodic sequences determined by metallic means, is studied using the transfer matrix method. The focus lies on the investigation of the influence of the underlying quasiperiodic sequence as well as the dependence of the transmission on the frequency, the incidence angle of the light wave and different ratios of the refractive indices. In contrast to a periodically aligned stack we find complete transmission for the quasiperiodic systems for a wide range of different refraction indices for small incidence angles. Additional bands of moderate transmission occur for frequencies in the range of the photonic band gaps of the periodic system. Further, for fixed indices of refraction we find a range of almost perfect transmission for angles close to the angle of total reflection, which is caused by the bending of photonic transmission bands towards higher frequencies for increasing incidence angles. Comparing with the results of a periodic stack the quasiperiodicity seems to have only an influence in the region around the midgap frequency of a periodic stack.


title: Lepton flavor violating decays of mesons to lepton-pairs in a gauge group $SU_L(2)\times U_{Y_1}(1) \times SU_X(2)$

abstract: The lepton flavor conserving and lepton flavor violating decays of $K$ and $B$ mesons to lepton pairs in the gauge group $G=SU_L(2)\times U_{Y_1}(1) \times SU_X(2)$ are discussed. The quark-lepton transitions mediated by the lepto-quark bosons $X_{\mu}^{\pm2/3}$ of the group $SU_{X}(2)$ provide a framework to construct an effective Hamiltonian for these decays. The effective coupling constant $\frac{G_{X}}{\sqrt{2}}=\frac{g^{2}_{X}}{8m^{2}_{X}}$; $m_{X}$ is the mass at which the group $G$ is broken to the SM group. The upper bound on ($G_{X}/G_{F}$)is obtained from the most stringent experimental limit on the $B.R(K^{0}_{L}\to \mu^{\mp}e^{\pm})$. Several cases of pairing three generations of leptons and quarks in the representation $(2,\bar{2})$ of the group are analyzed. For some pairing, the upper bound on $(G_{X}/G_{F})$ is of the order $(6-9)\times 10^{-6}$ and is compatible with the upper limits on various LF violating $K$-decays . In particular for these cases, we find the upper limit on the branching ratio $B.R(K^{0}_{L}\to\mu^{-}\mu^{+})\sim (1.9-8.3)\times10^{-9}$. It is shown that for LF violating B-decays to lepton pairs, the time integrated decay rate $B^{0}_{d,s}\to\ell^{-}\tau^{+}(\tau^{-}\ell^{+})$ is a promising area to test the model.


title: A control strategy algorithm for finite alternating transition systems

abstract: Recently, there has been an increasing interest in the formal analysis and design of control systems. In this area, in order to reduce the complexity and scale of control systems, finite abstractions of control systems are introduced and explored. Amongst, Pola and Tabuada construct finite alternating transition systems as approximate finite abstractions for control systems with disturbance inputs [SIAM Journal on Control and Optimization, Vol. 48, 2009, 719-733]. Given linear temporal logical formulas as specifications, this paper provides a control strategy algorithm to find control strategies of Pola and Tabuada's abstractions enforcing specifications.


title: Spectroscopic atlas of Halpha and Hbeta in a sample of northern Be stars

abstract: We present Balmer lines spectroscopy for a sample of 48 Be stars. For most of them, H$\alpha$ and H$\beta$ have been observed more than two times, in a total period spanning almost two years between 2008 and 2009. Spectral synthesis of the H$\alpha$ profile was performed following two steps: photospheric contribution was computed by using Kurucz's code ATLAS9 and SYNTHE, and disk emission was derived by the approach of Hummel & Vrancken (2000, A&A, 302, 751). For 26 out of 48 stars, a modeling of the total H$\alpha$ emission has been attempted. By this modeling we derived an estimation of the disk radius, as well as the inclination angle between the rotational axis with line of sight and the base density at the stellar equator. For the stars observed more than once, we also discuss the variability of H$\alpha$ and H$\beta$ for what concerns both the equivalent width and the spectral profile. We found 16 stars with variable equivalent width and 7 stars with clear signs of profile variation. We derive effective temperature, gravity, and projected rotational velocity. We found 13 stars whose equivalent width is variable with a confidence level greater than 80% and 7 object for which spectral profiles show change with time. According to the commonly used classification scheme, we classified 16 stars as belonging to class 1, 13 to class 2, 11 are shell stars, 6 objects do not show net emission, and 2 stars display transitions from class 1 and 2. For the class 1 stars, we confirm the correlation between $v \sin i$ and peak separation. Concerning the geometry of the disk, we derived the base density at the stellar equator, the radius, and the inclination angle between rotational axis and line of sight. The maximum concentration of stars occurs for disk dimensions ranging in the interval of 6 to 8 stellar radii and for inclination angles going from 23$^\circ$ to $35^\circ$.


title: On an algorithm for multiperiodic words

abstract: We consider an algorithm by Tijdeman and Zamboni constructing a word of a given length that has a given set of periods, and the richest possible alphabet. We show that this algorithm can be easily stated and its correctness briefly proved using the class equivalence approach.


title: Linear time logic control of linear systems with disturbances

abstract: The formal analysis and design of control systems is one of recent trends in control theory. In this area, in order to reduce the complexity and scale of control systems, finite abstractions of control systems are introduced and explored. In non-disturbance case, the controller of control systems is often generated from the controller of finite abstractions. Recently, Pola and Tabuada provide approximate finite abstractions for linear control systems with disturbance inputs. However, these finite abstractions and original linear systems do not always share the identical specifications, which obstructs designing controller (of linear systems) based on their finite abstractions. This paper tries to bridge such gap between linear systems and their finite abstractions.


title: Growth of quotients of groups acting by isometries on Gromov hyperbolic spaces

abstract: We show that every non-elementary group $G$ acting properly and cocompactly by isometries on a proper geodesic Gromov hyperbolic space $X$ is growth tight. In other words, the exponential growth rate of $G$ for the geometric (pseudo)-distance induced by $X$ is greater than the exponential growth rate of any of its quotients by an infinite normal subgroup. This result generalizes from a unified framework previous works of Arzhantseva-Lysenok and Sambusetti, and provides an answer to a question of the latter.


title: Testing cosmic opacity from SNe Ia and Hubble parameter through three cosmological-model-independent methods

abstract: We use the newly published 28 observational Hubble parameter data ($H(z)$) and current largest SNe Ia samples (Union2.1) to test whether the universe is transparent. Three cosmological-model-independent methods (nearby SNe Ia method, interpolation method and smoothing method) are proposed through comparing opacity-free distance modulus from Hubble parameter data and opacity-dependent distance modulus from SNe Ia . Two parameterizations, $\tau(z)=2\epsilon z$ and $\tau(z)=(1+z)^{2\epsilon}-1$ are adopted for the optical depth associated to the cosmic absorption. We find that the results are not sensitive to the methods and parameterizations. Our results support a transparent universe.


title: Higher-Derivative Wess-Zumino Model in Three Dimensions

abstract: We deform the well-known three dimensional $\mathcal{N}=1$ Wess-Zumino model by adding higher derivative operators (Lee-Wick operators) to its action. The effects of these operators are investigated both at the classical and quantum levels.


title: Even-homogeneous supermanifolds on the complex projective line

abstract: The classification of even-homogeneous complex supermanifolds of dimension 1|m, m\leq 3, on CP^1 up to isomorphism is given. An explicit description of such supermanifolds in terms of local charts and coordinates is obtained.


title: Spectral gaps for the linear surface wave model in periodic channels

abstract: We consider the linear water-wave problem in a periodic channel which consists of infinitely many identical containers connected with apertures of width $\epsilon$. Motivated by applications to surface wave propagation phenomena, we study the band-gap structure of the continuous spectrum. We show that the for small apertures there exists a large number of gaps and also find asymptotic formulas for the position of the gaps as $\epsilon \to 0$: the endpoints are determined within corrections of order $\epsilon^{3/2}$. The width of the first bands is shown to be $O(\epsilon)$. Finally, we give a sufficient condition which guarantees that the spectral bands do not degenerate into eigenvalues of infinite multiplicity.


title: Estimation of the SolarGalactocentric Distance and Rotation Velocity from Near-Solar-Circle Objects

abstract: We have tested the method of determining the solar Galactocentric distance R_0 and Galactic rotation velocity $V_0$ modified by Sofue et al. using near-solar-circle objects. The motion of objects relative to the local standard of rest has been properly taken into account. We show that when such young objects as star-forming regions or Cepheids are analyzed, allowance for the perturbations produced by the Galactic spiral density wave improves the statistical significance of the estimates. The estimate of R_0=7.25\pm0.32 kpc has been obtained from 19 star-forming regions. The following estimates have been obtained from a sample of 14 Cepheids (with pulsation periods P>5^d): R_0=7.66\pm0.36 kpc and V_0=267\pm 17 km s^{-1}. We consider the influence of the adopted Oort constant A and the character of stellar proper motions (Hipparcos or UCAC4). The following estimates have been obtained from a sample of 18 Cepheids with stellar proper motions from the UCAC4 catalog: R_0=7.64\pm0.32 kpc and V_0=217\pm 11 km s^{-1}.


title: Distribution of accumulation points of roots for type $(n-1,1)$ Coxeter groups

abstract: In this paper, we investigate the set of accumulation points of normalized roots of infinite Coxeter groups for certain class of their action. Concretely, we prove the conjecture proposed in [6, Section 3.2] in the case where the equipped Coxeter matrices are of type $(n-1,1)$, where $n$ is the rank. Moreover, we obtain that the set of such accumulation points coincides with the closure of the orbit of one point of normalized limit roots. In addition, in order to prove our main results, we also investigate some properties on fixed points of the action.


title: Integrability of Nonholonomically Coupled Oscillators

abstract: We study a family of nonholonomic mechanical systems. These systems consist of harmonic oscillators coupled through nonholonomic constraints. In particular, the family includes the so called contact oscillator, which has been used as a test problem for numerical methods for nonholonomic mechanics. Furthermore, the systems under study constitute simple models for continuously variable transmission gearboxes. The main result is that each system in the family is integrable reversible with respect to the canonical reversibility map on the cotangent bundle. This result may explain previous numerical observations, that some discretisations of the contact oscillator have favourable structure preserving properties.


title: Super rogue waves in simulations based on weakly nonlinear and fully nonlinear hydrodynamic equations

abstract: The rogue wave solutions (rational multi-breathers) of the nonlinear Schrodinger equation (NLS) are tested in numerical simulations of weakly nonlinear and fully nonlinear hydrodynamic equations. Only the lowest order solutions from 1 to 5 are considered. A higher accuracy of wave propagation in space is reached using the modified NLS equation (MNLS) also known as the Dysthe equation. This numerical modelling allowed us to directly compare simulations with recent results of laboratory measurements in \cite{Chabchoub2012c}. In order to achieve even higher physical accuracy, we employed fully nonlinear simulations of potential Euler equations. These simulations provided us with basic characteristics of long time evolution of rational solutions of the NLS equation in the case of near breaking conditions. The analytic NLS solutions are found to describe the actual wave dynamics of steep waves reasonably well.


title: Amplification of the photocurrent in SiO2(Co)/GaAs heterostructure induced by magnetic field in the avalanche regime

abstract: Amplification of the photocurrent in heterostructures of silicon dioxide films containing cobalt nanoparticles grown on gallium arsenide SiO2(Co)/GaAs has been observed in magnetic field in the avalanche regime. While the avalanche process is suppressed by the magnetic field and the current decreases, for photon energy E greater than the GaAs bandgap energy the photocurrent significantly increases. The amplification reaches 9.5 for E = 1.50 eV. The effect of the photocurrent amplification is explained by the spin-dependent recombination process at deep impurity centers in GaAs.


title: Application of Weierstrass units to relative power integral bases

abstract: Let $K$ be an imaginary quadratic field other than $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. We construct relative power integral bases between certain abelian extensions of $K$ in terms of Weierstrass units.