Enumeration of quarter-turn symmetric alternating-sign matrices of odd order

It was shown by Kuperberg that the partition function of the square-ice model related to the quarter-turn symmetric alternating-sign matrices of even order is the product of two similar factors. We propose a square-ice model whose states are in bijection with the quarter-turn symmetric alternating-sign matrices of odd order, and show that the partition function of this model can be also written in a similar way. This allows to prove, in particular, the conjectures by Robbins related to the enumeration of the quarter-turn symmetric alternating-sign matrices.Comment: 11 pages, 13 figures; minor correction

Four dimensional topological quantum field theory, Hopf categories, and the canonical bases

We propose a new mwthod of constructing 4D-TQFTs. The method uses a new type of algebraic structure called a Hopf Category. We also outline the construction of a family of Hopf categories related to the quantum groups, using the canonical bases.Comment: 38 page

Factorized domain wall partition functions in trigonometric vertex models

We obtain factorized domain wall partition functions for two sets of trigonometric vertex models: 1. The N-state Deguchi-Akutsu models, for N = {2, 3, 4} (and conjecture the result for all N >= 5), and 2. The sl(r+1|s+1) Perk-Schultz models, for {r, s = \N}, where (given the symmetries of these models) the result is independent of {r, s}.Comment: 12 page

Spectral Measures and Generating Series for Nimrep Graphs in Subfactor Theory II: SU(3)

We complete the computation of spectral measures for SU(3) nimrep graphs arising in subfactor theory, namely the SU(3) ADE graphs associated with SU(3) modular invariants and the McKay graphs of finite subgroups of SU(3). For the SU(2) graphs the spectral measures distill onto very special subsets of the semicircle/circle, whilst for the SU(3) graphs the spectral measures distill onto very special subsets of the discoid/torus. The theory of nimreps allows us to compute these measures precisely. We have previously determined spectral measures for some nimrep graphs arising in subfactor theory, particularly those associated with all SU(2) modular invariants, all subgroups of SU(2), the torus, SU(3), and some SU(3) graphs.Comment: 38 pages, 21 figure

Ferromagnetic Ordering of Energy Levels for Uq(sl2)U_q(\mathfrak{sl}_2) Symmetric Spin Chains

We consider the class of quantum spin chains with arbitrary $U_q(\mathfrak{sl}_2)$-invariant nearest neighbor interactions, sometimes called $\textrm{SU}_q(2)$ for the quantum deformation of $\textrm{SU}(2)$, for $q>0$. We derive sufficient conditions for the Hamiltonian to satisfy the property we call {\em Ferromagnetic Ordering of Energy Levels}. This is the property that the ground state energy restricted to a fixed total spin subspace is a decreasing function of the total spin. Using the Perron-Frobenius theorem, we show sufficient conditions are positivity of all interactions in the dual canonical basis of Lusztig. We characterize the cone of positive interactions, showing that it is a simplicial cone consisting of all non-positive linear combinations of "cascade operators," a special new basis of $U_q(\mathfrak{sl}_2)$ intertwiners we define. We also state applications to interacting particle processes.Comment: 23 page

Spin chains and combinatorics: twisted boundary conditions

The finite XXZ Heisenberg spin chain with twisted boundary conditions was considered. For the case of even number of sites $N$, anisotropy parameter -1/2 and twisting angle $2 \pi /3$ the Hamiltonian of the system possesses an eigenvalue $-3N/2$. The explicit form of the corresponding eigenvector was found for $N \le 12$. Conjecturing that this vector is the ground state of the system we made and verified several conjectures related to the norm of the ground state vector, its component with maximal absolute value and some correlation functions, which have combinatorial nature. In particular, the squared norm of the ground state vector is probably coincides with the number of half-turn symmetric alternating sign $N \times N$ matrices.Comment: LaTeX file, 7 page

Exact expressions for correlations in the ground state of the dense O(1) loop model

Conjectures for analytical expressions for correlations in the dense O$(1)$ loop model on semi infinite square lattices are given. We have obtained these results for four types of boundary conditions. Periodic and reflecting boundary conditions have been considered before. We give many new conjectures for these two cases and review some of the existing results. We also consider boundaries on which loops can end. We call such boundaries ''open''. We have obtained expressions for correlations when both boundaries are open, and one is open and the other one is reflecting. Also, we formulate a conjecture relating the ground state of the model with open boundaries to Fully Packed Loop models on a finite square grid. We also review earlier obtained results about this relation for the three other types of boundary conditions. Finally, we construct a mapping between the ground state of the dense O$(1)$ loop model and the XXZ spin chain for the different types of boundary conditions.Comment: 25 pages, version accepted by JSTA

Role of oxygen vacancy defect states in the n-type conduction of β-Ga[sub 2]O[sub 3]

Based on semiempirical quantum-chemical calculations, the electronic band structure of β-Ga2O3 is presented and the formation and properties of oxygen vacancies are analyzed. The equilibrium geometries and formation energies of neutral and doubly ionized vacancies were calculated. Using the calculated donor level positions of the vacancies, the high temperature n-type conduction is explained. The vacancy concentration is obtained by fitting to the experimental resistivity and electron mobility

On the correlation functions of the domain wall six vertex model

We propose an (essentially combinatorial) approach to the correlation functions of the domain wall six vertex model. We reproduce the boundary 1-point function determinant expression of Bogoliubov, Pronko and Zvonarev, then use that as a building block to obtain analogous expressions for boundary 2-point functions. The latter can be used, at least in principle, to express more general boundary (and bulk) correlation functions as sums over (products of) determinants.Comment: LaTeX2e, requires eepic, 25 pages, including 29 figure

A combinatorial approach to knot recognition

This is a report on our ongoing research on a combinatorial approach to knot recognition, using coloring of knots by certain algebraic objects called quandles. The aim of the paper is to summarize the mathematical theory of knot coloring in a compact, accessible manner, and to show how to use it for computational purposes. In particular, we address how to determine colorability of a knot, and propose to use SAT solving to search for colorings. The computational complexity of the problem, both in theory and in our implementation, is discussed. In the last part, we explain how coloring can be utilized in knot recognition