Covariant formulation of non-Abelian gauge theories without anticommuting variables

A manifestly Lorentz invariant effective action for Yang-Mills theory depending only on commuting fields is constructed. This action posesses a bosonic symmetry, which plays a role analogous to the BRST symmetry in the standard formalism.Comment: 8 pages, Late

A local gauge invariant infrared regularization of the Yang-Mills theory

A local gauge invariant infrared regularization for the Yang-Mills theory is constructed on the basis of a higher derivative formulation of the model.Comment: 7 page

Hierarchy of massive gauge fields

An explicitely gauge invariant polynomial action for massive gauge fields is proposed. For different values of parameters it describes massive Yang-Mills field, the Higgs-Kibble model, the model with spontaneously broken symmetry and two scalar mesons.Comment: 8 pages, no figure

Linear logic with idempotent exponential modalities: a note

In this note we discuss a variant of linear logic with idempotent exponential modalities. We propose a sequent calculus system and discuss its semantics. We also give a concrete relational model for this calculus

Lattice QCD with Exponentially Small Chirality Breaking

A new multifermion formulation of lattice QCD is proposed. The model is free of spectrum doubling and preserves all nonanomalous chiral symmetries up to exponentially small corrections. It is argued that a small number of fermion fields may provide a good approximation making computer simulations feasible.Comment: 14 pages, no figures; typos correcte

On noncommutative extensions of linear logic

Pomset logic introduced by Retor\'e is an extension of linear logic with a self-dual noncommutative connective. The logic is defined by means of proof-nets, rather than a sequent calculus. Later a deep inference system BV was developed with an eye to capturing Pomset logic, but equivalence of system has not been proven up to now. As for a sequent calculus formulation, it has not been known for either of these logics, and there are convincing arguments that such a sequent calculus in the usual sense simply does not exist for them. In an on-going work on semantics we discovered a system similar to Pomset logic, where a noncommutative connective is no longer self-dual. Pomset logic appears as a degeneration, when the class of models is restricted. Motivated by these semantic considerations, we define in the current work a semicommutative multiplicative linear logic}, which is multiplicative linear logic extended with two nonisomorphic noncommutative connectives (not to be confused with very different Abrusci-Ruet noncommutative logic). We develop a syntax of proof-nets and show how this logic degenerates to Pomset logic. However, a more interesting problem than just finding yet another noncommutative logic is to find a sequent calculus for this logic. We introduce decorated sequents, which are sequents equipped with an extra structure of a binary relation of reachability on formulas. We define a decorated sequent calculus for semicommutative logic and prove that it is cut-free, sound and complete. This is adapted to "degenerate" variations, including Pomset logic. Thus, in particular, we give a variant of sequent calculus formulation for Pomset logic, which is one of the key results of the paper