English
Related papers

Related papers: The Lattice Problem for Models of $\mathsf{PA}$

200 papers

The aim of the present paper is to study isomorphisms of canonical ${\cal E}$-lattices. Some interesting results are obtained in the particular case of isomorphisms between two subgroup ${\cal E}$-lattices.

Group Theory · Mathematics 2018-11-13 Marius Tărnăuceanu

The simulations of the light scalar mesons on the lattice are presented at the introductory level. The methods for determining the scalar meson masses are described. The problems related to some of these methods are presented and their…

High Energy Physics - Phenomenology · Physics 2007-05-23 Sasa Prelovsek

Lattice paths effectively model phenomena in chemistry, physics and probability theory. Asymptotic enumeration of lattice paths is linked with entropy in the physical systems being modeled. Lattice paths restricted to different regions of…

Combinatorics · Mathematics 2013-04-25 Samuel Johnson

For a Lattice crossing $L\left( m,n\right) $ we show which Catalan connection between $2\left( m+n\right) $ points on boundary of $m\times n$ rectangle $P$ can be realized as a Kauffman state and we give an explicit formula for the number…

Geometric Topology · Mathematics 2014-09-16 Mieczyslaw K. Dabkowski , Changsong Li , Jozef H. Przytycki

We study the Lattice Isomorphism Problem (LIP), in which given two lattices L_1 and L_2 the goal is to decide whether there exists an orthogonal linear transformation mapping L_1 to L_2. Our main result is an algorithm for this problem…

Data Structures and Algorithms · Computer Science 2013-11-05 Ishay Haviv , Oded Regev

Recently, Baker and Norine {Advances in Mathematics, 215(2): 766-788, 2007} found new analogies between graphs and Riemann surfaces by developing a Riemann-Roch machinery on a finite graph $G$. In this paper, we develop a general…

Combinatorics · Mathematics 2010-07-16 Omid Amini , Madhusudan Manjunath

Technicolor theories provide an elegant mechanism for dynamical electroweak symmetry breaking. We will discuss the use of lattice simulations to study the strongly-interacting dynamics of some of the candidate theories, with matter fields…

High Energy Physics - Lattice · Physics 2009-09-18 C. Pica , L. Del Debbio , B. Lucini , A. Patella , A. Rago

It has long been conjectured that certain supersymmetric Yang-Mills (SYM) theories provide us with nonperturbative formulations of the string/M-theory. Although the supersymmetry (SUSY) on lattice is notoriously difficult in general, for a…

High Energy Physics - Lattice · Physics 2012-12-13 Masanori Hanada

Aiming at the study of critical phenomena in the presence of boundaries with a non-trivial shape we discuss how lattices with an adaptive lattice spacing can be implemented. Since the parameters of the Hamiltonian transform non-trivially…

Statistical Mechanics · Physics 2015-03-25 Martin Hasenbusch

A detailed study of a model for strongly-interacting fermions with exclusion rules and lattice $\mathcal N=2$ supersymmetry is presented. A submanifold in the space of parameters of the model where it is Bethe-ansatz solvable is identified.…

Statistical Mechanics · Physics 2014-12-04 Christian Hagendorf , Thessa B. Fokkema , Liza Huijse

We develop an analytical approach for studying lattice gauge theories within the plaquette representation where the plaquette matrices play the role of the fundamental degrees of freedom. We start from the original Batrouni formulation and…

High Energy Physics - Lattice · Physics 2010-04-05 O. Borisenko , S. Voloshin , M. Faber

In this work, we propose a new language modeling paradigm that has the ability to perform both prediction and moderation of information flow at multiple granularities: neural lattice language models. These models construct a lattice of…

Computation and Language · Computer Science 2018-03-15 Jacob Buckman , Graham Neubig

Let $\Lambda\subseteq\mathbb{R}^n$ be a lattice and let $Z\subseteq\mathbb{R}^{m+n}$ be a definable family in an o-minimal expansion of the real field, $\overline{\mathbb{R}}$. A result of Barroero and Widmer gives sharp estimates for the…

Logic · Mathematics 2025-05-21 Andrew Harrison-Migochi , Raymond McCulloch

The intrinsic connection between lattice theory and topology is fairly well established, For instance, the collection of open subsets of a topological subspace always forms a distributive lattice. Persistent homology has been one of the…

Rings and Algebras · Mathematics 2014-02-03 Primož Škraba , João Pita Costa

Many lattice-based crypstosystems employ ideal lattices for high efficiency. However, the additional algebraic structure of ideal lattices usually makes us worry about the security, and it is widely believed that the algebraic structure…

Cryptography and Security · Computer Science 2024-02-21 Yihang Cheng , Yansong Feng , Yanbin Pan

We provide an introduction to recent lattice formulations of supersymmetric theories which are invariant under one or more real supersymmetries at nonzero lattice spacing. These include the especially interesting case of ${\cal N}=4$ SYM in…

High Energy Physics - Lattice · Physics 2015-05-13 Simon Catterall , David B. Kaplan , Mithat Unsal

We consider a simple model of higher order, functional computation over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable errors, taken separately or jointly. We show that the models so defined…

Logic in Computer Science · Computer Science 2011-01-25 Antonio Bucciarelli

This is a survey article on the theory of lattice points in large planar domains and bodies of dimensions 3 and higher, with an emphasis on recent developments and new methods, including a lot of results established only during the last few…

Number Theory · Mathematics 2007-05-23 A. Ivic , E. Krätzel , M. Kühleitner , W. G. Nowak

Bilattices (that is, sets with two lattice structures) provide an algebraic tool to model simultaneously the validity of, and knowledge about, sentences in an appropriate language. In particular, certain bilattices have been used to model…

Rings and Algebras · Mathematics 2013-11-13 L. M. Cabrer , A. P. K. Craig , H. A. Priestley

Polynomial reconstruction on Cartesian grids is fundamental in many scientific and engineering applications, yet it is still an open problem how to construct for a finite subset $K$ of $\mathbb{Z}^{\textsf{D}}$ a lattice $\mathcal{T}\subset…

Numerical Analysis · Mathematics 2024-10-02 Qinghai Zhang , Yuke Zhu , Zhixuan Li