Generalized Results on Monoids as Memory

We show that some results from the theory of group automata and monoid automata still hold for more general classes of monoids and models. Extending previous work for finite automata over commutative groups, we demonstrate a context-free language that can not be recognized by any rational monoid automaton over a finitely generated permutable monoid. We show that the class of languages recognized by rational monoid automata over finitely generated completely simple or completely 0-simple permutable monoids is a semi-linear full trio. Furthermore, we investigate valence pushdown automata, and prove that they are only as powerful as (finite) valence automata. We observe that certain results proven for monoid automata can be easily lifted to the case of context-free valence grammars.Comment: In Proceedings AFL 2017, arXiv:1708.0622

A General Framework for Recursive Decompositions of Unitary Quantum Evolutions

Decompositions of the unitary group U(n) are useful tools in quantum information theory as they allow one to decompose unitary evolutions into local evolutions and evolutions causing entanglement. Several recursive decompositions have been proposed in the literature to express unitary operators as products of simple operators with properties relevant in entanglement dynamics. In this paper, using the concept of grading of a Lie algebra, we cast these decompositions in a unifying scheme and show how new recursive decompositions can be obtained. In particular, we propose a new recursive decomposition of the unitary operator on $N$ qubits, and we give a numerical example.Comment: 17 pages. To appear in J. Phys. A: Math. Theor. This article replaces our earlier preprint "A Recursive Decomposition of Unitary Operators on N Qubits." The current version provides a general method to generate recursive decompositions of unitary evolutions. Several decompositions obtained before are shown to be as a special case of this general procedur

On the phase diagram of the Higgs SU(2) model

The Higgs SU(2) model with fixed Higgs length is usually believed to have two different phases at high gauge coupling (\beta), separated by a line of first order transitions but not distinuguished by any typical symmetry associated with a local order parameter, as first proved by Fradkin and Shenker. We show that in regions of the parameter space where it is usually supposed to be a first order phase transition only a smooth crossover is in fact present.Comment: 6 pages, 6 figures. Talk presented at The XXVI International Symposium on Lattice Field Theory, July 14 - 19, 2008 - Williamsburg, Virginia, US

Quantum Machines

We discuss quantum information processing machines. We start with single purpose machines that either redistribute quantum information or identify quantum states. We then move on to machines that can perform a number of functions, with the function they perform being determined by a program, which is itself a quantum state. Examples of both deterministic and probabilistic programmable machines are given, and we conclude with a discussion of the utility of quantum programs.Comment: To appear in Contemporary Physic

LISA: Mars and the limits of life

We describe the results of the first tests made on LISA, a simulator of planetary environments designed and built in Padua, dedicated to the study of the limit of bacterial life on the planet Mars. Tests on the cryogenic circuit, on the UV illumination and on bacterial coltures at room temperature that shall be used as references are described.Comment: 4 pages, 3 figures. Mem. SAIt, in pres

Short report: molecular markers associated with Plasmodium falciparum resistance to sulfadoxine-pyrimethamine in the Democratic Republic of Congo.

Sulfadoxine-pyrimethamine (SP) is the first line antimalarial treatment in the Democratic Republic of Congo. Using polymerase chain reaction, we assessed the prevalence of mutations in the dihydrofolate reductase (dhfr) (codons 108, 51, 59) and dihydropteroate synthase (dhps) (codons 437, 540) genes of Plasmodium falciparum, which have been associated with resistance to pyrimethamine and sulfadoxine, respectively. Four hundred seventy-four patients were sampled in Kilwa (N = 138), Kisangani (N = 112), Boende (N = 106), and Basankusu (N = 118). The proportion of triple mutations dhfr varied between sites but was always > 50%. The proportion of dhps double mutations was < 20%, with some sites as low as 0.9%. A quintuple mutation was present in 12.8% (16/125) samples in Kilwa; 11.9% (13/109) in Kisangani, 2.9% (3/102) in Boende, and 0.9% (1/112) in Basankusu. These results suggest high resistance to pyrimethamine alone or combined with sulfadoxine. Adding artesunate to SP does not seem a valid alternative to the current monotherapy

KCa3.1 inhibition switches the phenotype of glioma-infiltrating microglia/macrophages

Among the strategies adopted by glioma to successfully invade the brain parenchyma is turning the infiltrating microglia/macrophages (M/MΦ) into allies, by shifting them toward an anti-inflammatory, pro-tumor phenotype. Both glioma and infiltrating M/MΦ cells express the Ca(2+)-activated K(+) channel (KCa3.1), and the inhibition of KCa3.1 activity on glioma cells reduces tumor infiltration in the healthy brain parenchyma. We wondered whether KCa3.1 inhibition could prevent the acquisition of a pro-tumor phenotype by M/MΦ cells, thus contributing to reduce glioma development. With this aim, we studied microglia cultured in glioma-conditioned medium or treated with IL-4, as well as M/MΦ cells acutely isolated from glioma-bearing mice and from human glioma biopsies. Under these different conditions, M/MΦ were always polarized toward an anti-inflammatory state, and preventing KCa3.1 activation by 1-[(2-Chlorophenyl)diphenylmethyl]-1H-pyrazole (TRAM-34), we observed a switch toward a pro-inflammatory, antitumor phenotype. We identified FAK and PI3K/AKT as the molecular mechanisms involved in this phenotype switch, activated in sequence after KCa3.1. Anti-inflammatory M/MΦ have higher expression levels of KCa3.1 mRNA (kcnn4) that are reduced by KCa3.1 inhibition. In line with these findings, TRAM-34 treatment, in vivo, significantly reduced the size of tumors in glioma-bearing mice. Our data indicate that KCa3.1 channels are involved in the inhibitory effects exerted by the glioma microenvironment on infiltrating M/MΦ, suggesting a possible role as therapeutic targets in glioma

Impact of positivity and complete positivity on accessibility of Markovian dynamics

We consider a two-dimensional quantum control system evolving under an entropy-increasing irreversible dynamics in the semigroup form. Considering a phenomenological approach to the dynamics, we show that the accessibility property of the system depends on whether its evolution is assumed to be positive or completely positive. In particular, we characterize the family of maps having different accessibility and show the impact of that property on observable quantities by means of a simple physical model.Comment: 11 pages, to appear in J. Phys.