Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce

Modern complex software systems produce a large amount of execution data, often stored in logs. These logs can be analyzed using trace checking techniques to check whether the system complies with its requirements specifications. Often these specifications express quantitative properties of the system, which include timing constraints as well as higher-level constraints on the occurrences of significant events, expressed using aggregate operators. In this paper we present an algorithm that exploits the MapReduce programming model to check specifications expressed in a metric temporal logic with aggregating modalities, over large execution traces. The algorithm exploits the structure of the formula to parallelize the evaluation, with a significant gain in time. We report on the assessment of the implementation - based on the Hadoop framework - of the proposed algorithm and comment on its scalability.Comment: 16 pages, 6 figures, Extended version of the SEFM 2014 pape

On the Class of Possible Nonlocal Anyon-Like Operators and Quantum Groups

We find a class of nonlocal operators constructed by attaching a disorder operator to fermionic degrees of freedom, which can be used to generate q-deformed algebras following the Schwinger approach. This class includes the recently proposed anyonic operators defined on a lattice.Comment: 10 pages (plain latex), HU-SEFT R 1993-9, to be published in Journal of Physics A: Math. and General, Letters to the Edito

Modular anomaly equations in N N \mathcal{N} =2* theories and their large-N limit

We propose a modular anomaly equation for the prepotential of the N=2* super Yang-Mills theory on R^4 with gauge group U(N) in the presence of an Omega-background. We then study the behaviour of the prepotential in a large-N limit, in which N goes to infinity with the gauge coupling constant kept fixed. In this regime instantons are not suppressed. We focus on two representative choices of gauge theory vacua, where the vacuum expectation values of the scalar fields are distributed either homogeneously or according to the Wigner semi-circle law. In both cases we derive an all-instanton exact formula for the prepotential. As an application, we show that the gauge theory partition function on S^4 at large N localises around a Wigner distribution for the vacuum expectation values leading to a very simple expression in which the instanton contribution becomes independent of the coupling constant

Generalized exclusion and Hopf algebras

We propose a generalized oscillator algebra at the roots of unity with generalized exclusion and we investigate the braided Hopf structure. We find that there are two solutions: these are the generalized exclusions of the bosonic and fermionic types. We also discuss the covariance properties of these oscillatorsComment: 10 pages, to appear in J. Phys.

From the Chern-Simons theory for the fractional quantum Hall effect to the Luttinger model of its edges

The chiral Luttinger model for the edges of the fractional quantum Hall effect is obtained as the low energy limit of the Chern-Simons theory for the two dimensional system. In particular we recover the Kac-Moody algebra for the creation and annihilation operators of the edge density waves and the bosonization formula for the electronic operator at the edge.Comment: 4 pages, LaTeX, 1 Postscript figure include

Lagrangian and Hamiltonian Formalism on a Quantum Plane

We examine the problem of defining Lagrangian and Hamiltonian mechanics for a particle moving on a quantum plane $Q_{q,p}$. For Lagrangian mechanics, we first define a tangent quantum plane $TQ_{q,p}$ spanned by noncommuting particle coordinates and velocities. Using techniques similar to those of Wess and Zumino, we construct two different differential calculi on $TQ_{q,p}$. These two differential calculi can in principle give rise to two different particle dynamics, starting from a single Lagrangian. For Hamiltonian mechanics, we define a phase space $T^*Q_{q,p}$ spanned by noncommuting particle coordinates and momenta. The commutation relations for the momenta can be determined only after knowing their functional dependence on coordinates and velocities. Thus these commutation relations, as well as the differential calculus on $T^*Q_{q,p}$, depend on the initial choice of Lagrangian. We obtain the deformed Hamilton's equations of motion and the deformed Poisson brackets, and their definitions also depend on our initial choice of Lagrangian. We illustrate these ideas for two sample Lagrangians. The first system we examine corresponds to that of a nonrelativistic particle in a scalar potential. The other Lagrangian we consider is first order in time derivative

Instanton effects in N=1 brane models and the Kahler metric of twisted matter

We consider locally consistent systems of magnetized D9 branes on an orbifolded six-torus which support N=1 gauge theories. In such realizations, the matter multiplets arise from "twisted" strings connecting different stacks of branes. The introduction of Euclidean 5 branes (E5) wrapped on the six-dimensional compact space leads to instanton effects. For instance, if the system is engineered so as to yield SQCD, a single E5 brane may account for the ADS/TVY superpotential. We discuss the subtle interplay that exists between the annuli diagrams with an E5 boundary and the holomorphicity properties of the effective low-energy action of the N=1 theory. The consistency of this picture allows to obtain information on the Kahler metric of the chiral matter multiplets arising from twisted strings.Comment: 33 pages, 4 figures. V2: improved discussion, clarifyng comments and references added. Version to be published in JHE

N=1 gauge superpotentials from supergravity

We review the supergravity derivation of some non-perturbatively generated effective superpotentials for N=1 gauge theories. Specifically, we derive the Veneziano-Yankielowicz superpotential for pure N=1 Super Yang-Mills theory from the warped deformed conifold solution, and the Affleck-Dine-Seiberg superpotential for N=1 SQCD from a solution describing fractional D3-branes on a C^3 / Z_2 x Z_2 orbifold.Comment: LaTeX, iopart class, 8 pages, 3 figures. Contribution to the proceedings of the workshop of the RTN Network "The quantum structure of space-time and the geometric nature of fundamental interactions", Copenhagen, September 2003; v2: published version with minor clarification

Statistics of Q-Oscillators, Quons and Relation to Fractional Satistics

The statistics of $q$-oscillators, quons and to some extent, of anyons are studied and the basic differences among these objects are pointed out. In particular, the statistical distributions for different bosonic and fermionic $q$-oscillators are found for their corresponding Fock space representations in the case when the hamiltonian is identified with the number operator. In this case and for nonrelativistic particles, the single-particle temperature Green function is defined with $q$-deformed periodicity conditions. The equations of state for nonrelativistic and ultrarelativistic bosonic $q$-gases in an arbitrary space dimension are found near Bose statistics, as well as the one for an anyonic gas near Bose and Fermi statistics. The first corrections to the second virial coefficients are also evaluated. The phenomenon of Bose-Einstein condensation in the $q$-deformed gases is also discussed.Comment: 21 pages, Latex, HU-TFT-93-2

Random Operator Approach for Word Enumeration in Braid Groups

We investigate analytically the problem of enumeration of nonequivalent primitive words in the braid group B_n for n >> 1 by analysing the random word statistics and the target space on the basis of the locally free group approximation. We develop a "symbolic dynamics" method for exact word enumeration in locally free groups and bring arguments in support of the conjecture that the number of very long primitive words in the braid group is not sensitive to the precise local commutation relations. We consider the connection of these problems with the conventional random operator theory, localization phenomena and statistics of systems with quenched disorder. Also we discuss the relation of the particular problems of random operator theory to the theory of modular functionsComment: 36 pages, LaTeX, 4 separated Postscript figures, submitted to Nucl. Phys. B [PM