The covariance matrix of the Potts model: A random cluster analysis

We consider the covariance matrix,G ^mm =q ²<(_x,m);(_y,m)>, of thed-dimensionalq-states Potts model, rewriting it in the random cluster representation of Fortuin and Kasteleyn. In any of theq ordered phases, we identify the eigenvalues of this matrix both in terms of representations of the unbroken symmetry group of the model and in terms of random cluster connectivities and covariances, thereby attributing algebraic significance to these stochastic geometric quantities. We also show that the correlation length corresponding to the decay rate of one of the eigenvalues is the same as the inverse decay rate of the diameter of finite clusers. For dimensiond=2, we show that this correlation length and the correlation length of the two-point function with free boundary conditions at the corresponding dual temperature are equal up to a factor of two. For systems with first-order transitions, this relation helps to resolve certain inconsistencies between recent exact and numerical work on correlation lengths at the self-dual point _o. For systems with second order transitions, this relation implies the equality of the correlation length exponents from above and below threshold, as well as an amplitude ratio of two. In the course of proving the above results, we establish several properties of independent interest, including left continuity of the inverse correlation length with free boundary conditions and upper semicontinuity of the decay rate for finite clusters in all dimensions, and left continuity of the two-dimensional free boundary condition percolation probability at _o. We also introduce DLR equations for the random cluster model and use them to establish ergodicity of the free measure. In order to prove these results, we introduce a new class of events which we call decoupling events and two inequalities for these events. The first is similar to the FKG inequality, but holds for events which are neither increasing nor decreasing; the second is similar to the van den Berg-Kesten inequality in standard percolation. Both inequalities hold for an arbitrary FKG measure.     

Method of polarization reflection matrix measurement in the submillimeter wave range

Homodyne method of measurement of polarization reflection matrix, providing the possibility of simultaneous measurement of all four complex coefficients of polarization reflection matrix in submillimeter quasi-optical (QO) circuits is presented. Technical realizability of the method for QO waveguides of the class of "hollow dielectric wavequide" is shown.     

A preconditioner for constrained and weighted least squares problems with Toeplitz structure

We study methods for solving the constrained and weighted least squares problem min _x by the preconditioned conjugate gradient (PCG) method. HereW = diag (₁, , _m ) with _{1 m} 0, andA ^T = [T ₁ ^T , ,T _k ^T ] with Toeplitz blocksT _l R ^{n × n} ,l = 1, ,k. It is well-known that this problem can be solved by solving anaugmented linear 2 × 2 block linear systemM +Ax =b, A ^T = 0, whereM =W ^–1. We will use the PCG method with circulant-like preconditioner for solving the system. We show that the spectrum of the preconditioned matrix is clustered around one. When the PCG method is applied to solve the system, we can expect a fast convergence rate.Research supported by HKRGC grants no. CUHK 178/93E and CUHK 316/94E.     

Whitehead test modules

A (right -) module is said to be a Whitehead test module for projectivity (shortly: a p-test module) provided for each module , implies is projective. Dually, i-test modules are defined. For example, is a p-test abelian group iff each Whitehead group is free. Our first main result says that if is a right hereditary non-right perfect ring, then the existence of p-test modules is independent of ZFC + GCH. On the other hand, for any ring , there is a proper class of i-test modules. Dually, there is a proper class of p-test modules over any right perfect ring.

A non-semisimple ring is said to be fully saturated (-saturated) provided that all non-projective (-generated non-projective) modules are i-test. We show that classification of saturated rings can be reduced to the indecomposable ones. Indecomposable 1-saturated rings fall into two classes: type I, where all simple modules are isomorphic, and type II, the others. Our second main result gives a complete characterization of rings of type II as certain generalized upper triangular matrix rings, . The four parameters involved here are skew-fields and , and natural numbers . For rings of type I, we have several partial results: e.g. using a generalization of Bongartz Lemma, we show that it is consistent that each fully saturated ring of type I is a full matrix ring over a local quasi-Frobenius ring. In several recent papers, our results have been applied to Tilting Theory and to the Theory of -modules.

     

C-Testable modified-Booth multipliers

In this paper the testability of modified-Booth array multipliers for standard cells based design environments is examined for first time. In such cases the structure of the cells may be unknown, thus Cell Fault Model (CFM) is adopted. Two C-testable designs are proposed. A design for an N _x × N_y bits modified-Booth multiplier, which uses ripple carry addition at the last stage of the multiplication, is first proposed. The design requires the addition of only one extra primary input and 38 test vectors with respect to CFM. A second C-testable design is given using carry lookahead addition at the last stage which is the case of practical implementations of modified-Booth multipliers. Such a C-testable design using carry lookahead addition is for first time proposed in the open literature. This second design requires the addition of 4 extra primary inputs. One-level and two-levels carry lookahead adders, are considered. The C-testable design requires 61 test vectors for the former and 73 test vectors for the latter, respectively. The hardware and delay overheads imposed by both C-testable designs are very small and decrease when the size of the multiplier increases.     

Dimer asymmetry in superoxide dismutase studied by molecular dynamics simulation

Summary Molecular dynamics (MD) simulations of 100 ps have been carried out to study the active-site behaviour of the Cu,Zn superoxide dismutase dimer (SOD) in water. The active site of each subunit was monitored during the whole simulation by calculating the distances between functional residues and the catalytic copper. The results indicate that charge orientation is maintained at each active site but the solvent accessibility varies. Analysis of the MD simulation, carried out by using the atomic displacement covariance matrix, has shown a different intra-subunit correlation pattern for the two monomers and the presence of inter-subunit correlations. The MD simulation presented here indicates an asymmetry in the two active sites and different dynamic behaviour of the two SOD subunits.     

Constrained minimax approximation and optimal preconditioned for Toeplitz matrices

A good preconditioner is extremely important in order for the conjugate gradients method to converge quickly. In the case of Toeplitz matrices, a number of recent studies were made to relate approximation of functions to good preconditioners. In this paper, we present a new result relating the quality of the Toeplitz preconditionerC for the Toeplitz matrixT to the Chebyshev norm (f– g)/f, wheref and g are the generating functions forT andC, respectively. In particular, the construction of band-Toeplitz preconditioners becomes a linear minimax approximation problem. The case whenf has zeros (but is nonnegative) is especially interesting and the corresponding approximation problem becomes constrained. We show how the Remez algorithm can be modified to handle the constraints. Numerical experiments confirming the theoretical results are presented.     

Convergence of splitting and Newton methods for complementarity problems: An application of some sensitivity results

This paper is concerned with two well-known families of iterative methods for solving the linear and nonlinear complementarity problems. For the linear complementarity problem, we consider the class of matrix splitting methods and establish, under a finiteness assumption on the number of solutions, a necessary and sufficient condition for the convergence of the sequence of iterates produced. A rate of convergence result for this class of methods is also derived under a stability assumption on the limit solution. For the nonlinear complementarity problem, we establish the convergence of the Newton method under the assumption of a pseudo-regular solution which generalizes Robinson's concept of a strongly regular solution. In both instances, the convergence proofs rely on a common sensitivity result of the linear complementarity problem under perturbation.This work was based on research supported by the National Science Foundation under grant ECS-8717968.     

Alternating Sign Matrices and Some Deformations of Weyl's Denominator Formulas

An alternating sign matrix is a square matrix whose entries are 1, 0, or –1, and which satisfies certain conditions. Permutation matrices are alternating sign matrices. In this paper, we use the (generalized) Littlewood's formulas to expand the products and 2 as sums indexed by sets of alternating sign matrices invariant under a 180° rotation. If we put t = 1, these expansion formulas reduce to the Weyl's denominator formulas for the root systems of type B _n and C _n. A similar deformation of the denominator formula for type D _n is also given.     

Identification of formylglycine in sulfatases by matrix-assisted laser desorption/ionization time-of-flight mass spectrometry

C(alpha)-Formylglycine, the catalytic amino acid residue in the active site of sulfatases, is generated by post-translational modification of a cysteine or serine residue. We describe a highly sensitive procedure for the detection of C(alpha)-formylglycine-containing peptides in tryptic digests of sulfatase proteins. The protocol is based on the formation of hydrazone derivatives of C(alpha)-formylglycine-containing peptides when using dinitrophenylhydrazine as a matrix for matrix-assisted laser desorption/ionization time-of-flight mass spectrometry (MALDI-TOFMS). The hydrazone derivatives desorb and ionize with high efficiency and can be detected in the sub-femtomole range. The presence of C(alpha)-formylglycine is indicated by a mass increment of 180.13 u, corresponding to the hydrazone moiety, and also by a unique C-terminal fragment ion, characteristic of sulfatases, that becomes prominent in MALDI post-source decay mass spectra of the hydrazone derivatives.