scholarly journals Kasteleyn Cokernels

10.37236/1645 ◽  
2002 ◽  
Vol 9 (1) ◽  
Author(s):  
Greg Kuperberg
Keyword(s):  
Normal Form ◽  
Smith Normal Form ◽  
Principal Ideal Domain ◽  
Aztec Diamond ◽  
Plane Partitions ◽  
Symmetry Classes ◽  
Matrix Operations ◽  
The Matrix ◽  
Lozenge Tilings ◽  
Planar Regions

We consider Kasteleyn and Kasteleyn-Percus matrices, which arise in enumerating matchings of planar graphs, up to matrix operations on their rows and columns. If such a matrix is defined over a principal ideal domain, this is equivalent to considering its Smith normal form or its cokernel. Many variations of the enumeration methods result in equivalent matrices. In particular, Gessel-Viennot matrices are equivalent to Kasteleyn-Percus matrices. We apply these ideas to plane partitions and related planar of tilings. We list a number of conjectures, supported by experiments in Maple, about the forms of matrices associated to enumerations of plane partitions and other lozenge tilings of planar regions and their symmetry classes. We focus on the case where the enumerations are round or $q$-round, and we conjecture that cokernels remain round or $q$-round for related "impossible enumerations" in which there are no tilings. Our conjectures provide a new view of the topic of enumerating symmetry classes of plane partitions and their generalizations. In particular we conjecture that a $q$-specialization of a Jacobi-Trudi matrix has a Smith normal form. If so it could be an interesting structure associated to the corresponding irreducible representation of SL$(n,C)$. Finally we find, with proof, the normal form of the matrix that appears in the enumeration of domino tilings of an Aztec diamond.

scholarly journals On the structure of least common multiple matrices from some class of matrices

2018 ◽  
Vol 10 (1) ◽  
pp. 179-184
Author(s):  
A.M. Romaniv
Keyword(s):  
Normal Form ◽  
Normal Forms ◽  
Smith Normal Form ◽  
Least Common Multiple ◽  
The Matrix ◽  
Singular Matrices ◽  
Class Of Matrices ◽  
Smith Normal Forms ◽  
Invertible Matrices ◽  
Principal Ideal Domains

For non-singular matrices with some restrictions, we establish the relationships between Smith normal forms and transforming matrices (a invertible matrices that transform the matrix to its Smith normal form) of two matrices with corresponding matrices of their least common right multiple over a commutative principal ideal domains. Thus, for such a class of matrices, given answer to the well-known task of M. Newman. Moreover, for such matrices, received a new method for finding their least common right multiple which is based on the search for its Smith normal form and transforming matrices.

scholarly journals Correlations for the Novak process

2012 ◽  
Vol DMTCS Proceedings vol. AR,... (Proceedings) ◽  
Author(s):  
Eric Nordenstam ◽  
Benjamin Young
Keyword(s):  
Correlation Functions ◽  
Binomial Coefficient ◽  
Domino Tilings ◽  
Aztec Diamond ◽  
The Matrix ◽  
International Audience ◽  
Lozenge Tilings

International audience We study random lozenge tilings of a certain shape in the plane called the Novak half-hexagon, and compute the correlation functions for this process. This model was introduced by Nordenstam and Young (2011) and has many intriguing similarities with a more well-studied model, domino tilings of the Aztec diamond. The most difficult step in the present paper is to compute the inverse of the matrix whose (i,j)-entry is the binomial coefficient $C(A, B_j-i)$ for indeterminate variables $A$ and $B_1, \dots , B_n.$ Nous étudions des pavages aléatoires d'une region dans le plan par des losanges qui s'appelle le demi-hexagone de Novak et nous calculons les corrélations de ce processus. Ce modèle a été introduit par Nordenstam et Young (2011) et a plusieurs similarités des pavages aléatoires d'un diamant aztèque par des dominos. La partie la plus difficile de cet article est le calcul de l'inverse d'une matrice ou l’élément (i,j) est le coefficient binomial $C(B_j-i, A)$ pour des variables $A$ et $B_1, \dots , B_n$ indéterminés.

scholarly journals A note on the eigenvalue free intervals of some classes of signed threshold graphs

2019 ◽  
Vol 7 (1) ◽  
pp. 218-225
Author(s):  
Milica Anđelić ◽  
Tamara Koledin ◽  
Zoran Stanić
Keyword(s):  
Tridiagonal Matrix ◽  
Constant Sign ◽  
Equitable Partition ◽  
Elementary Matrix ◽  
Matrix Operations ◽  
Threshold Graphs ◽  
The Matrix ◽  
Threshold Graph

Abstract We consider a particular class of signed threshold graphs and their eigenvalues. If Ġ is such a threshold graph and Q(Ġ ) is a quotient matrix that arises from the equitable partition of Ġ , then we use a sequence of elementary matrix operations to prove that the matrix Q(Ġ ) – xI (x ∈ ℝ) is row equivalent to a tridiagonal matrix whose determinant is, under certain conditions, of the constant sign. In this way we determine certain intervals in which Ġ has no eigenvalues.

Multiplicativity of the Smith Normal Form

1994 ◽  
Vol 36 (3) ◽  
pp. 223-224 ◽  
Author(s):  
Morris Newman
Keyword(s):  
Normal Form ◽  
Smith Normal Form

Arithmetic of matrices over rings

2021 ◽  
Author(s):  
V.P. Shchedryk ◽  
Keyword(s):  
Graduate Students ◽  
Normal Form ◽  
Matrix Factorization ◽  
Ring Theory ◽  
Stable Range ◽  
Matrix Rings ◽  
Principal Ideals ◽  
Factorization Theory ◽  
Close Relationship ◽  
The Matrix

The book is devoted to investigation of arithmetic of the matrix rings over certain classes of commutative finitely generated principal ideals do- mains. We mainly concentrate on constructing of the matrix factorization theory. We reveal a close relationship between the matrix factorization and specific properties of subgroups of the complete linear group and the special normal form of matrices with respect to unilateral equivalence. The properties of matrices over rings of stable range 1.5 are thoroughly studied. The book is intended for experts in the ring theory and linear algebra, senior and post-graduate students.

scholarly journals The number of lattice rules having given invariants

1992 ◽  
Vol 46 (3) ◽  
pp. 479-495 ◽  
Author(s):  
Stephen Joe ◽  
David C. Hunt
Keyword(s):  
Normal Form ◽  
Quadrature Rule ◽  
Unit Cube ◽  
Numerical Results ◽  
Smith Normal Form ◽  
Lattice Rules ◽  
Dimensional Unit ◽  
Lattice Rule ◽  
Positive Integers ◽  
Theoretical Results

A lattice rule is a quadrature rule used for the approximation of integrals over the s-dimensional unit cube. Every lattice rule may be characterised by an integer r called the rank of the rule and a set of r positive integers called the invariants. By exploiting the group-theoretic structure of lattice rules we determine the number of distinct lattice rules having given invariants. Some numerical results supporting the theoretical results are included. These numerical results are obtained by calculating the Smith normal form of certain integer matrices.

A reduction class containing formulas with one monadic predicate and one binary function symbol

1976 ◽  
Vol 41 (1) ◽  
pp. 45-49
Author(s):  
Charles E. Hughes
Keyword(s):  
Normal Form ◽  
Predicate Symbol ◽  
Conjunctive Normal Form ◽  
Function Symbol ◽  
Predicate Calculus ◽  
Binary Function ◽  
First Order ◽  
The Matrix ◽  
Reduction Class ◽  
Order Predicate Calculus

AbstractA new reduction class is presented for the satisfiability problem for well-formed formulas of the first-order predicate calculus. The members of this class are closed prenex formulas of the form ∀x∀yC. The matrix C is in conjunctive normal form and has no disjuncts with more than three literals, in fact all but one conjunct is unary. Furthermore C contains but one predicate symbol, that being unary, and one function symbol which symbol is binary.

Refinements of Vaught's normal from theorem

1979 ◽  
Vol 44 (3) ◽  
pp. 289-306 ◽  
Author(s):  
Victor Harnik
Keyword(s):  
Normal Form ◽  
Boolean Combination ◽  
Form Theorem ◽  
Central Notion ◽  
The Matrix ◽  
Normal Form Theorem ◽  
Skolem Theorem ◽  
Image Position ◽  
Countable Models

The central notion of this paper is that of a (conjunctive) game-sentence, i.e., a sentence of the formwhere the indices ki, ji range over given countable sets and the matrix conjuncts are, say, open -formulas. Such game sentences were first considered, independently, by Svenonius [19], Moschovakis [13]—[15] and Vaught [20]. Other references are [1], [3]—[5], [10]—[12]. The following normal form theorem was proved by Vaught (and, in less general forms, by his predecessors).Theorem 0.1. Let L = L0(R). For every -sentence ϕ there is an L0-game sentence Θ such that ⊨′ ∃Rϕ ↔ Θ.(A word about the notations: L0(R) denotes the language obtained from L0 by adding to it the sequence R of logical symbols which do not belong to L0; “⊨′α” means that α is true in all countable models.)0.1 can be restated as follows.Theorem 0.1′. For every-sentence ϕ there is an L0-game sentence Θ such that ⊨ϕ → Θ and for any-sentence ϕ if ⊨ϕ → ϕ and L′ ⋂ L ⊆ L0, then ⊨ Θ → ϕ.(We sketch the proof of the equivalence between 0.1 and 0.1′.0.1 implies 0.1′. This is obvious once we realize that game sentences and their negations satisfy the downward Löwenheim-Skolem theorem and hence, ⊨′α is equivalent to ⊨α whenever α is a boolean combination of and game sentences.

Sign in / Sign up

Export Citation Format

Share Document