English
Related papers

Related papers: Formal languages, spin systems, and quasicrystals

200 papers

We give a systematic account of unconstrained free bosonic higher-spin fields on D-dimensional Minkowski and (Anti-)de Sitter spaces in the frame formalism. The generalized spin connections are determined by solving a chain of torsion-like…

High Energy Physics - Theory · Physics 2009-06-11 Johan Engquist , Olaf Hohm

These are introductory lectures to some aspects of the physics of strongly correlated electron systems. I first explain the main reasons for strong correlations in several classes of materials. The basic principles of dynamical mean-field…

Strongly Correlated Electrons · Physics 2009-09-29 Antoine Georges

Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal,…

Logic in Computer Science · Computer Science 2016-09-15 Davide Bresolin , Emilio Muñoz-Velasco , Guido Sciavicco

Correlation functions and form factors in vertex models or spin chains are known to satisfy certain difference equations called the quantum Knizhnik-Zamolodchikov equations. We find similar difference equations for the case of semi-infinite…

High Energy Physics - Theory · Physics 2016-09-06 Michio Jimbo , Rinat Kedem , Hitoshi Konno , Tetsuji Miwa , Robert Weston

In this work, we define quasicrystalline spin networks as a subspace within the standard Hilbert space of loop quantum gravity, effectively constraining the states to coherent states that align with quasicrystal geometry structures. We…

General Relativity and Quantum Cosmology · Physics 2023-06-06 Marcelo Amaral , Richard Clawson , Klee Irwin

Modal logics have proved useful for many reasoning tasks in symbolic artificial intelligence (AI), such as belief revision, spatial reasoning, among others. On the other hand, mathematical morphology (MM) is a theory for non-linear analysis…

Artificial Intelligence · Computer Science 2023-03-10 Marc Aiguier , Isabelle Bloch , Salim Nibouche , Ramon Pino Perez

We present the entanglement properties of the spin-orbital coupling systems with multiple degrees of freedom. After constructing the maximally entangled spin-orbital basis of bipartite, we find that the quantum entanglement length in the…

Strongly Correlated Electrons · Physics 2007-05-23 Dong-Meng Chen , Wei-Hua Wang , Liang-Jian Zou

We consider the multifractal formalism for the dynamics of semigroups of rational maps on the Riemann sphere and random complex dynamical systems. We elaborate a multifractal analysis of level sets given by quotients of Birkhoff sums with…

Dynamical Systems · Mathematics 2015-07-14 Johannes Jaerisch , Hiroki Sumi

Study of correlation functions in AdS/CFT and in-in correlators in de Sitter space often requires the computation of Witten diagrams. Due to the complexity of evaluating radial integrals for these correlators, several indirect approaches…

High Energy Physics - Theory · Physics 2024-08-26 Chandramouli Chowdhury , Pratyusha Chowdhury , Radu N. Moga , Kajal Singh

This article initiates the semantic study of distribution-free normal modal logic systems, laying the semantic foundations and anticipating further research in the area. The article explores roughly the same area, though taking a different…

Logic in Computer Science · Computer Science 2025-11-25 Chrysafis Hartonas

We analyze the various approaches to construct exchange-correlation functionals which are able to describe states of definite spin multiplicity in the DFT realm and outline the characteristics of possible functionals consistent with the…

Chemical Physics · Physics 2019-01-04 A. L. Tchougréeff , J. G. Ángyán

We consider the spin $k/2$ XXZ model in the antiferomagnetic regime using the free field realization of the quantum affine algebra $\uqa$ of level $k$. We give a free field realization of the type II $q$-vertex operator, which describes…

High Energy Physics - Theory · Physics 2009-10-28 Hitoshi Konno

Large Language Models (LLM) exhibit zero-shot mathematical reasoning capacity as a behavior emergent with scale, commonly manifesting as chain-of-thoughts (CoT) reasoning. However, multiple empirical findings suggest that this prowess is…

Artificial Intelligence · Computer Science 2023-12-20 Subhabrata Dutta , Joykirat Singh , Ishan Pandey , Sunny Manchanda , Soumen Chakrabarti , Tanmoy Chakraborty

We revisit the problem of dynamical response in spin-charge separated one dimensional quantum fluids. In the framework of Luttinger liquid theory, the dynamical response is formulated in terms of noninteracting bosonic collective…

Strongly Correlated Electrons · Physics 2015-07-01 F. H. L. Essler , R. G. Pereira , I. Schneider

This article aims to review a selection of central topics and examples in logarithmic conformal field theory. It begins with a pure Virasoro example, critical percolation, then continues with a detailed exposition of symplectic fermions,…

High Energy Physics - Theory · Physics 2015-06-15 Thomas Creutzig , David Ridout

We examine deterministic and nondeterministic state complexities of regular operations on prefix-free languages. We strengthen several results by providing witness languages over smaller alphabets, usually as small as possible. We next…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Galina Jirásková , Monika Krausová

We establish a correspondence between (fragments of) $\mathcal{TEL}^\bigcirc$, a temporal extension of the $\mathcal{EL}$ description logic with the LTL operator $\bigcirc^k$, and some specific kinds of formal grammars, in particular,…

Logic in Computer Science · Computer Science 2025-08-04 Camille Bourgaux , Anton Gnatenko , Michaël Thomazo

The holomorphic Coulomb gas formalism is a set of rules for computing minimal model observables using free field techniques. We attempt to derive and clarify these rules using standard techniques of QFT. We begin with a careful examination…

High Energy Physics - Theory · Physics 2021-11-10 Daniel Kapec , Raghu Mahajan

The paper provides a tableau approach to definite descriptions. We focus on several formalizations of the so-called minimal free description theory (MFD) usually formulated axiomatically in the setting of free logic. We consider five…

Logic in Computer Science · Computer Science 2021-07-16 Andrzej Indrzejczak , Michał Zawidzki

First we define a unification grammar formalism called the Tree Homomorphic Feature Structure Grammar. It is based on Lexical Functional Grammar (LFG), but has a strong restriction on the syntax of the equations. We then show that this…

cmp-lg · Computer Science 2008-02-03 Tore Burheim
‹ Prev 1 8 9 10 Next ›