Equivalence between XY and dimerized models

The spin-1/2 chain with XY anisotropic coupling in the plane and the XX isotropic dimerized chain are shown to be equivalent in the bulk. For finite systems we prove that the equivalence is exact in given parity sectors, after taking care of the precise boundary conditions. The proof is given constructively by finding unitary transformations that map the models onto each other. Moreover, we considerably generalized our mapping and showed that even in case of fully site dependent couplings the XY chain can be mapped onto an XX model. This result has potential application in the study of disordered systems

The Algebra of Directed Acyclic Graphs

We give an algebraic presentation of directed acyclic graph structure, introducing a symmetric monoidal equational theory whose free PROP we characterise as that of finite abstract dags with input/output interfaces. Our development provides an initial-algebra semantics for dag structure

Learning Bounded Treewidth Bayesian Networks with Thousands of Variables

We present a method for learning treewidth-bounded Bayesian networks from data sets containing thousands of variables. Bounding the treewidth of a Bayesian greatly reduces the complexity of inferences. Yet, being a global property of the graph, it considerably increases the difficulty of the learning process. We propose a novel algorithm for this task, able to scale to large domains and large treewidths. Our novel approach consistently outperforms the state of the art on data sets with up to ten thousand variables

Searching for Elko dark matter spinors at the CERN LHC

The aim of this work is to explore the possibility to discover a fermionic field with mass dimension one, the Elko field, in the Large Hadron Collider (LHC). Due to its mass dimension, an Elko can only interact either with Standard Model (SM) spinors and gauge fields at 1-loop order or at tree level through a quartic interaction with the Higgs field. In this Higgs portal scenario, the Elko is a viable candidate to a dark matter constituent which has been shown to be compatible with relic abundance measurements from WMAP and direct dark matter--nucleon searches. We propose a search strategy for this dark matter candidate in the channel $pp \rightarrow l^+ l^- + \not\!\! E_T$ at the $\sqrt{s}=14$ TeV LHC. We show the LHC potential to discover the Elko considering a triple Higgs-Elko coupling as small as $\sim 0.5$ after 1 pb$^{-1}$ of integrated luminosity. Some phenomenological consequences of this new particle and its collider signatures are also discussed.Comment: 7 pages, 3 figure

Classical Logic with Mendler Induction

We investigate (co-)induction in Classical Logic under the propositions-as-types paradigm, considering propositional, second-order, and (co-)inductive types. Specifically, we introduce an extension of the Dual Calculus with a Mendler-style (co-)iterator that remains strongly normalizing under head reduction. We prove this using a non-constructive realizability argument.This is the author accepted manuscript. The final version is available from Springer via http://dx.doi.org/10.1007/978-3-319-27683-0_

Sobre a produçâo de significados e a tomada de decisâo de indivíduos-consumidores

Esta pesquisa qualitativa investigou os significados produzidos e as tomadas de decisão de indivíduos consumidores por meio de entrevistas semi-estruturadas e situações-problema envolvendo temas e objetos financeiro-econômicos numa sociedade de consumo líquido-moderna. Nos embasamos em pressupostos teóricos da Educação Matemática Crítica de Ole Skovsmose, do Modelo dos Campos Semânticos (MCS) de Romulo Campos Lins e teorias sociológicas e econômicas sobre práticas de consumo. Após realização do estudo piloto e da segunda etapa de investigações com individuos-consumidores, conseguimos ler plausivelmente, a produção de significados dos individuos-consumidores. Os resultados apresentados nesse artigo podem auxiliar as práticas de ensino de conteúdos financeiros na disciplina de Matemática

Maximally entangled fermions

Fermions play an essential role in many areas of quantum physics and it is desirable to understand the nature of entanglement within systems that consists of fermions. Whereas the issue of separability for bipartite fermions has extensively been studied in the present literature, this paper is concerned with maximally entangled fermions. A complete characterization of maximally entangled quasifree (gaussian) fermion states is given in terms of the covariance matrix. This result can be seen as a step towards distillation protocols for maximally entangled fermions.Comment: 13 pages, 1 figure, RevTex, minor errors are corrected, section "Conclusions" is adde