Diagonal Forms, Linear Algebraic Methods and Ramsey-Type Problems
نویسندگان
چکیده
This thesis focuses mainly on linear algebraic aspects of combinatorics. Let Nt(H) be an incidence matrix with edges versus all subhypergraphs of a complete hypergraph that are isomorphic to H. Richard M. Wilson and the author find the general formula for the Smith normal form or diagonal form of Nt(H) for all simple graphs H and for a very general class of t-uniform hypergraphs H. As a continuation, the author determines the formula for diagonal forms of integer matrices obtained from other combinatorial structures, including incidence matrices for subgraphs of a complete bipartite graph and inclusion matrices for multisets. One major application of diagonal forms is in zero-sum Ramsey theory. For instance, Caro’s results in zero-sum Ramsey numbers for graphs and Caro and Yuster’s results in zerosum bipartite Ramsey numbers can be reproduced. These results are further generalized to t-uniform hypergraphs. Other applications include signed bipartite graph designs. Research results on some other problems are also included in this thesis, such as a Ramseytype problem on equipartitions, Hartman’s conjecture on large sets of designs and a matroid theory problem proposed by Welsh.
منابع مشابه
Ramsey-type results for semi-algebraic relations Citation
A k-ary semi-algebraic relation E on R is a subset of R, the set of k-tuples of points in R , which is determined by a finite number of polynomial equations and inequalities in kd real variables. The description complexity of such a relation is at most t if the number of polynomials and their degrees are all bounded by t. A set A ⊂ R is called homogeneous if all or none of the k-tuples from A s...
متن کاملCubic spline Numerov type approach for solution of Helmholtz equation
We have developed a three level implicit method for solution of the Helmholtz equation. Using the cubic spline in space and finite difference in time directions. The approach has been modied to drive Numerov type nite difference method. The method yield the tri-diagonal linear system of algebraic equations which can be solved by using a tri-diagonal solver. Stability and error estimation of the...
متن کاملRobust Preconditioned Iterative So- lution Methods for Large-scale Non- symmetric Problems
We study robust, preconditioned, iterative solution methods for largescale linear systems of equations, arising from different applications in geophysics and geotechnics. The first type of linear systems studied here, which are dense, arise from a boundary element type of discretization of crack propagation in brittle material. Numerical experiment show that simple algebraic preconditioning str...
متن کاملThe Parallel Solution of Almost Block Diagonal Systems Arising in Numerical Methods for BVPs for ODEs
Three parallel algorithms are presented for solving the Almost Block Diagonal (ABD) systems of linear algebraic equations that arise during the numerical solution of Boundary Value Problems (BVPs) for Ordinary Differential Equations (ODEs). Until recently, the solution of these systems has proven to be the execution-time bottleneck in the parallel implementation of most BVP codes. Several numer...
متن کاملAn Eecient Linear Solver for Nonlinear Parameter Identiication Problems
In this paper, we study some eecient numerical methods for parameter identiications in elliptic systems. The proposed numerical methods are conducted iteratively and each iteration involves only solving positive deenite linear algebraic systems, though the original inverse problems are ill-posed and highly nonlinear. The positive deenite systems can be naturally preconditioned with their corres...
متن کامل