scholarly journals Color critical hypergraphs and forbidden configurations

2005 ◽  
Vol DMTCS Proceedings vol. AE,... (Proceedings) ◽  
Author(s):  
Richard Anstee ◽  
Balin Fleming ◽  
Zoltán Füredi ◽  
Attila Sali
Keyword(s):  
Linear Algebra ◽  
Upper Bound ◽  
Sufficient Condition ◽  
Column Permutation ◽  
International Audience ◽  
Simple Matrix ◽  
Forbidden Configuration ◽  
Forbidden Configurations

International audience The present paper connects sharpenings of Sauer's bound on forbidden configurations with color critical hypergraphs. We define a matrix to be \emphsimple if it is a $(0,1)-matrix$ with no repeated columns. Let $F$ be $a k× l (0,1)-matrix$ (the forbidden configuration). Assume $A$ is an $m× n$ simple matrix which has no submatrix which is a row and column permutation of $F$. We define $forb(m,F)$ as the best possible upper bound on n, for such a matrix $A$, which depends on m and $F$. It is known that $forb(m,F)=O(m^k)$ for any $F$, and Sauer's bond states that $forb(m,F)=O(m^k-1)$ fore simple $F$. We give sufficient condition for non-simple $F$ to have the same bound using linear algebra methods to prove a generalization of a result of Lovász on color critical hypergraphs.

Small forbidden configurations V: Exact bounds for 4 × 2 cases

2011 ◽  
Vol 48 (1) ◽  
pp. 1-22
Author(s):  
Richard Anstee ◽  
Farzin Barekat ◽  
Attila Sali
Keyword(s):  
Column Permutation ◽  
Single Column ◽  
Simple Matrix ◽  
Forbidden Configuration ◽  
Forbidden Configurations ◽  
Exact Bounds

The present paper continues the work begun by Anstee, Ferguson, Griggs, Kamoosi and Sali on small forbidden configurations. We define a matrix to besimpleif it is a (0, 1)-matrix with no repeated columns. LetFbe ak× (0, 1)-matrix (the forbidden configuration). AssumeAis anm×nsimple matrix which has no submatrix which is a row and column permutation ofF. We define forb (m, F) as the largestn, which would depend onmandF, so that such anAexists.DefineFabcdas the (a+b+c+d) × 2 matrix consisting ofarows of [11],brows of [10],crows of [01] anddrows of [00]. With the exception ofF2110, we compute forb (m; Fabcd) for all 4 × 2Fabcd. A number of cases follow easily from previous results and general observations. A number follow by clever inductions based on a single column such as forb (m; F1111) = 4m− 4 and forb (m; F1210) = forb (m; F1201) = forb (m; F0310) = (2m)+m+ 2 (proofs are different). A different idea proves forb (m; F0220) = (2m) + 2m− 1 with the forbidden configuration being related to a result of Kleitman. Our results suggest that determining forb (m; F2110) is heavily related to designs and we offer some constructions of matrices avoidingF2110using existing designs.

scholarly journals Small Forbidden Configurations III

10.37236/997 ◽  
2007 ◽  
Vol 14 (1) ◽  
Author(s):  
R. P. Anstee ◽  
N. Kamoosi
Keyword(s):  
Column Permutation ◽  
Simple Matrix ◽  
Forbidden Configuration ◽  
Forbidden Configurations ◽  
Q Matrix

The present paper continues the work begun by Anstee, Ferguson, Griggs and Sali on small forbidden configurations. We define a matrix to be simple if it is a (0,1)-matrix with no repeated columns. Let $F$ be a $k\times l$ (0,1)-matrix (the forbidden configuration). Assume $A$ is an $m\times n$ simple matrix which has no submatrix which is a row and column permutation of $F$. We define ${\hbox{forb}}(m,F)$ as the largest $n$, which would depend on $m$ and $F$, so that such an $A$ exists. 'Small' refers to the size of $k$ and in this paper $k=2$. For $p\le q$, we set $F_{pq}$ to be the $2\times (p+q)$ matrix with $p$ $\bigl[{1\atop0}\bigr]$'s and $q$ $\bigl[{0\atop1}\bigr]$'s. We give new exact values: ${\hbox{forb}}(m,F_{0,4})=\lfloor {5m\over2}\rfloor +2$, ${\hbox{forb}}(m,F_{1,4})=\lfloor {11m\over4}\rfloor +1$, ${\hbox{forb}}(m,F_{1,5})=\lfloor {15m\over4}\rfloor +1$, ${\hbox{forb}}(m,F_{2,4})=\lfloor {10m\over3}-{4\over3}\rfloor$ and ${\hbox{forb}}(m,F_{2,5})=4m$ (For ${\hbox{forb}}(m,F_{1,4})$, ${\hbox{forb}}(m,F_{1,5})$ we obtain equality only for certain classes modulo 4). In addition we provide a surprising construction which shows ${\hbox{forb}}(m,F_{pq})\ge \bigl({p+q\over2}+O(1)\bigr)m$.

scholarly journals A Survey of Forbidden Configuration Results

10.37236/2379 ◽  
2013 ◽  
Vol 1000 ◽  
Author(s):  
Richard Anstee
Keyword(s):  
Fundamental Result ◽  
Asymptotic Results ◽  
Column Permutation ◽  
The Matrix ◽  
Simple Matrix ◽  
Forbidden Configuration

Let $F$ be a $k\times \ell$ (0,1)-matrix. We say a (0,1)-matrix $A$ has $F$ as a configuration if there is a submatrix of $A$ which is a row and column permutation of $F$. In the language of sets, a configuration is a trace and in the language of hypergraphs a configuration is a subhypergraph.Let $F$ be a given $k\times \ell$ (0,1)-matrix. We define a matrix to be simple if it is a (0,1)-matrix with no repeated columns. The matrix $F$ need not be simple. We define $\hbox{forb}(m,F)$ as the maximum number of columns of any simple $m$-rowed matrix $A$ which do not contain $F$ as a configuration. Thus if $A$ is an $m\times n$ simple matrix which has no submatrix which is a row and column permutation of $F$ then $n\le\hbox{forb}(m,F)$. Or alternatively if $A$ is an $m\times (\hbox{forb}(m,F)+1)$ simple matrix then $A$ has a submatrix which is a row and column permutation of $F$. We call $F$ a forbidden configuration. The fundamental result is due to Sauer, Perles and Shelah, Vapnik and Chervonenkis. For $K_k$ denoting the $k\times 2^k$ submatrix of all (0,1)-columns on $k$ rows, then $\hbox{forb}(m,K_k)=\binom{m}{k-1}+\binom{m}{k-2}+\cdots \binom{m}{0}$. We seek asymptotic results for $\hbox{forb}(m,F)$ for a fixed $F$ and as $m$ tends to infinity . A conjecture of Anstee and Sali predicts the asymptotically best constructions from which to derive the asymptotics of $\hbox{forb}(m,F)$. The conjecture has helped guide the research and has been verified for $k\times \ell$ $F$ with $k=1,2,3$ and for simple $F$ with $k=4$ as well as other cases including $\ell=1,2$. We also seek exact values for $\hbox{forb}(m,F)$. 

scholarly journals Forbidden Configurations: Exact Bounds Determined by Critical Substructures

10.37236/322 ◽  
2010 ◽  
Vol 17 (1) ◽  
Author(s):  
R. P. Anstee ◽  
S. N. Karp
Keyword(s):  
Set Theory ◽  
Theory Problem ◽  
Extremal Set Theory ◽  
Column Permutation ◽  
Simple Matrix ◽  
Forbidden Configurations ◽  
Exact Bounds ◽  
Extremal Set

We consider the following extremal set theory problem. Define a matrix to be simple if it is a (0,1)-matrix with no repeated columns. An $m$-rowed simple matrix corresponds to a family of subsets of $\{1,2,\ldots ,m\}$. Let $m$ be a given integer and $F$ be a given (0,1)-matrix (not necessarily simple). We say a matrix $A$ has $F$ as a configuration if a submatrix of $A$ is a row and column permutation of $F$. We define $\hbox{forb}(m,F)$ as the maximum number of columns that a simple $m$-rowed matrix $A$ can have subject to the condition that $A$ has no configuration $F$. We compute exact values for $\hbox{forb}(m,F)$ for some choices of $F$ and in doing so handle all $3\times 3$ and some $k\times 2$ (0,1)-matrices $F$. Often $\hbox{forb}(m,F)$ is determined by $\hbox{forb}(m,F')$ for some configuration $F'$ contained in $F$ and in that situation, with $F'$ being minimal, we call $F'$ a critical substructure.

scholarly journals Small Forbidden Configurations II

10.37236/1548 ◽  
2000 ◽  
Vol 8 (1) ◽  
Author(s):  
Richard Anstee ◽  
Ron Ferguson ◽  
Attila Sali
Keyword(s):  
Graph Theory ◽  
Directed Graphs ◽  
Column Permutation ◽  
Vertex Ordering ◽  
Forbidden Configuration ◽  
Forbidden Configurations ◽  
Exact Bounds

The present paper continues the work begun by Anstee, Griggs and Sali on small forbidden configurations. In the notation of (0,1)-matrices, we consider a (0,1)-matrix $F$ (the forbidden configuration), an $m\times n$ (0,1)-matrix $A$ with no repeated columns which has no submatrix which is a row and column permutation of $F$, and seek bounds on $n$ in terms of $m$ and $F$. We give new exact bounds for some $2\times l$ forbidden configurations and some asymptotically exact bounds for some other $2\times l$ forbidden configurations. We frequently employ graph theory and in one case develop a new vertex ordering for directed graphs that generalizes Rédei's Theorem for Tournaments. One can now imagine that exact bounds could be available for all $2\times l$ forbidden configurations. Some progress is reported for $3\times l$ forbidden configurations. These bounds are improvements of the general bounds obtained by Sauer, Perles and Shelah, Vapnik and Chervonenkis.

scholarly journals Bounding the monomial index and (1,l)-weight choosability of a graph

2014 ◽  
Vol Vol. 16 no. 3 (Graph Theory) ◽  
Author(s):  
Ben Seamone
Keyword(s):  
Upper Bound ◽  
Weighting Function ◽  
Combinatorial Nullstellensatz ◽  
Sufficient Condition ◽  
Graph Products ◽  
Real Numbers ◽  
Induced Subgraph ◽  
International Audience ◽  
Admissible Graph ◽  
Vertex Colouring

Graph Theory International audience Let G = (V,E) be a graph. For each e ∈E(G) and v ∈V(G), let Le and Lv, respectively, be a list of real numbers. Let w be a function on V(G) ∪E(G) such that w(e) ∈Le for each e ∈E(G) and w(v) ∈Lv for each v ∈V(G), and let cw be the vertex colouring obtained by cw(v) = w(v) + ∑ₑ ∋vw(e). A graph is (k,l)-weight choosable if there exists a weighting function w for which cw is proper whenever |Lv| ≥k and |Le| ≥l for every v ∈V(G) and e ∈E(G). A sufficient condition for a graph to be (1,l)-weight choosable was developed by Bartnicki, Grytczuk and Niwczyk (2009), based on the Combinatorial Nullstellensatz, a parameter which they call the monomial index of a graph, and matrix permanents. This paper extends their method to establish the first general upper bound on the monomial index of a graph, and thus to obtain an upper bound on l for which every admissible graph is (1,l)-weight choosable. Let ∂2(G) denote the smallest value s such that every induced subgraph of G has vertices at distance 2 whose degrees sum to at most s. We show that every admissible graph has monomial index at most ∂2(G) and hence that such graphs are (1, ∂2(G)+1)-weight choosable. While this does not improve the best known result on (1,l)-weight choosability, we show that the results can be extended to obtain improved bounds for some graph products; for instance, it is shown that G □ Kn is (1, nd+3)-weight choosable if G is d-degenerate.

scholarly journals Genetic Algorithms Applied to Problems of Forbidden Configurations

10.37236/717 ◽  
2011 ◽  
Vol 18 (1) ◽  
Author(s):  
R. P. Anstee ◽  
Miguel Raggi
Keyword(s):  
Genetic Algorithm ◽  
Genetic Algorithms ◽  
Local Search ◽  
Search Algorithms ◽  
Local Search Algorithms ◽  
Column Permutation ◽  
Simple Matrix ◽  
Forbidden Configurations

A simple matrix is a (0,1)-matrix with no repeated columns. For a (0,1)-matrix $F$, we say a (0,1)-matrix $A$ avoids $F$ (as a configuration) if there is no submatrix of $A$ which is a row and column permutation of $F$. Let $\|{A}\|$ denote the number of columns of $A$. We define $\mathrm{forb}(m,F)=\max\{\|{A}\|\ : A$ is an $m$-rowed simple matrix that avoids $F \}$. Define an extremal matrix as an $m$-rowed simple matrix $A$ with that avoids $F$ and $\|{A}\|=\mathrm{forb}(m,F)$. We describe the use of Local Search Algorithms (in particular a Genetic Algorithm) for finding extremal matrices. We apply this technique to two forbidden configurations in turn, obtaining a guess for the structure of an $m\times\mathrm{forb}(m,F)$ simple matrix avoiding $F$ and then proving the guess is indeed correct. The Genetic Algorithm was also helpful in finding the proof.

scholarly journals Power graphs and exchange property for resolving sets

2019 ◽  
Vol 17 (1) ◽  
pp. 1303-1309 ◽  
Author(s):  
Ghulam Abbas ◽  
Usman Ali ◽  
Mobeen Munir ◽  
Syed Ahtsham Ul Haq Bokhary ◽  
Shin Min Kang
Keyword(s):  
Present Article ◽  
Linear Algebra ◽  
Finite Groups ◽  
Robot Navigation ◽  
Simple Graph ◽  
Exchange Property ◽  
Metric Dimension ◽  
Sufficient Condition ◽  
Resolving Set ◽  
Dihedral Groups

Abstract Classical applications of resolving sets and metric dimension can be observed in robot navigation, networking and pharmacy. In the present article, a formula for computing the metric dimension of a simple graph wihtout singleton twins is given. A sufficient condition for the graph to have the exchange property for resolving sets is found. Consequently, every minimal resolving set in the graph forms a basis for a matriod in the context of independence defined by Boutin [Determining sets, resolving set and the exchange property, Graphs Combin., 2009, 25, 789-806]. Also, a new way to define a matroid on finite ground is deduced. It is proved that the matroid is strongly base orderable and hence satisfies the conjecture of White [An unique exchange property for bases, Linear Algebra Appl., 1980, 31, 81-91]. As an application, it is shown that the power graphs of some finite groups can define a matroid. Moreover, we also compute the metric dimension of the power graphs of dihedral groups.

(ANTI)COMMUTATIVITY OF THE HARMONIC CREATION AND ANNIHILATION OPERATORS

2006 ◽  
Vol 20 (11n13) ◽  
pp. 1808-1818
Author(s):  
S. KUWATA ◽  
A. MARUMOTO
Keyword(s):  
Irreducible Representation ◽  
Harmonic Oscillator ◽  
Linear Algebra ◽  
Commutation Relation ◽  
Complex Number ◽  
Single Mode ◽  
Equation Of Motion ◽  
Sufficient Condition ◽  
Special Linear ◽  
Creation And Annihilation Operators

It is known that para-particles, together with fermions and bosons, of a single mode can be described as an irreducible representation of the Lie (super) algebra 𝔰𝔩2(ℂ) (2-dimensional special linear algebra over the complex number ℂ), that is, they satisfy the equation of motion of a harmonic oscillator. Under the equation of motion of a harmonic oscillator, we obtain the set of the commutation relations which is isomorphic to the irreducible representation, to find that the equation of motion, conversely, can be derived from the commutation relation only for the case of either fermion or boson. If Nature admits of the existence of such a sufficient condition for the equation of motion of a harmonic oscillator, no para-particle can be allowed.

scholarly journals Stochastic Flips on Dimer Tilings

2010 ◽  
Vol DMTCS Proceedings vol. AM,... (Proceedings) ◽  
Author(s):  
Thomas Fernique ◽  
Damien Regnault
Keyword(s):  
Fixed Point ◽  
Markov Process ◽  
Upper Bound ◽  
Numerical Experiments ◽  
Triangular Grid ◽  
Expected Number ◽  
Worst Case ◽  
Average Case ◽  
International Audience

International audience This paper introduces a Markov process inspired by the problem of quasicrystal growth. It acts over dimer tilings of the triangular grid by randomly performing local transformations, called $\textit{flips}$, which do not increase the number of identical adjacent tiles (this number can be thought as the tiling energy). Fixed-points of such a process play the role of quasicrystals. We are here interested in the worst-case expected number of flips to converge towards a fixed-point. Numerical experiments suggest a $\Theta (n^2)$ bound, where $n$ is the number of tiles of the tiling. We prove a $O(n^{2.5})$ upper bound and discuss the gap between this bound and the previous one. We also briefly discuss the average-case.

Sign in / Sign up

Export Citation Format

Share Document