contain ↗ reference
7689 papers tagged with this keyword
New results related to a conjecture of Manickam and Singhi
Published in European Journal of Combinatorics Volume 29, Issue 2, February 2008, Pages 361-368
• View Publication
• BIB
In 1998 Manickam and Singhi conjectured that for every positive integer $d$ and every $n \ge 4d$, every set of $n$ real numbers whose sum is nonnegative contains at least $\binom {n-1}{d-1}$ subsets of size $d$ whose sums are nonnegative. In this paper we establish new results related to this conjecture. We also prove that the conjecture of Manickam and Singhi does not hold for $n=2d+2$.
An additive theorem and restricted sumsets
Published in Math. Res. Lett. 15(2008), no.6, 1263-1276
• View Publication
• BIB
Let G be any additive abelian group with cyclic torsion subgroup, and let A, B and C be finite subsets of G with cardinality n>0. We show that there is a numbering {a_i}_{i=1}^n of the elements of A, a numbering {b_i}_{i=1}^n of the elements of B and a numbering {c_i}_{i=1}^n of the elements of C, such that all the sums a_i+b_i+c_i (i=1,...,n) are distinct. Consequently, each subcube of the Latin cube formed by the Cayley addition table of Z/NZ contains a Latin transversal. This additive theorem can be further extended via restricted sumsets in a field.
Bipartite Rainbow Numbers of Matchings
Published
• View Publication
• BIB
Given two graphs $G$ and $H$, let $f(G,H)$ denote the maximum number $c$ for which there is a way to color the edges of $G$ with $c$ colors such that every subgraph $H$ of $G$ has at least two edges of the same color. Equivalently, any edge-coloring of $G$ with at least $rb(G,H)=f(G,H)+1$ colors contains a rainbow copy of $H$, where a rainbow subgraph of an edge-colored graph is such that no two edges of it have the same color. The number $rb(G,H)$ is called the {\it rainbow number of $H$ with respect to $G$}, and simply called the {\it bipartite rainbow number of $H$} if $G$ is the complete bipartite graph $K_{m,n}$. Erdős, Simonovits and Sós showed that $rb(K_n,K_3)=n$. In 2004, Schiermeyer determined the rainbow numbers $rb(K_n,K_k)$ for all $n\geq k\geq 4$, and the rainbow numbers $rb(K_n,kK_2)$ for all $k\geq 2$ and $n\geq 3k+3$. In this paper we will determine the rainbow numbers $rb(K_{m,n},kK_2)$ for all $k\geq 1$.
Giant Component and Vacant Set for Random Walk on a Discrete Torus
Published in J. Eur. Math. Soc. 10, 133-172, 2008
• View Publication
• BIB
We consider random walk on a discrete torus E of side-length N, in sufficiently high dimension d. We investigate the percolative properties of the vacant set corresponding to the collection of sites which have not been visited by the walk up to time uN^d. We show that when u is chosen small, as N tends to infinity, there is with overwhelming probability a unique connected component in the vacant set which contains segments of length const log N. Moreover, this connected component occupies a non-degenerate fraction of the total number of sites N^d of E, and any point of E lies within distance an arbitrary fractional power of N from this component.
New bounds for Szemeredi's theorem, II: A new bound for $r_4(N)$
Define $r_4(N)$ to be the largest cardinality of a set $A$ in $\{1,\dots,N\}$ which does not contain four elements in arithmetic progression. In 1998 Gowers proved that $r_4(N) \ll N(\log \log N)^{-c}$ for some absolute constant $c> 0$. In this paper (part II of a series) we improve this to $r_4(N) \ll N e^{-c\sqrt{\log \log N}}$. In part III of the series we will use a more elaborate argument to improve this to $r_4(N) \ll N(\log N)^{-c}$.
Intrinsic linking and knotting are arbitrarily complex
Published in Fund. Math., vol. 201, no. 2, 2008, pp. 131-148
• View Publication
• BIB
We show that, given any $n$ and $α$, every embedding of any sufficiently large complete graph in $\mathbb{R}^3$ contains an oriented link with components $Q_1$, ..., $Q_n$ such that for every $i\not =j$, $|\lk(Q_i,Q_j)|\geqα$ and $|a_2(Q_i)|\geqα$, where $a_{2}(Q_i)$ denotes the second coefficient of the Conway polynomial of $Q_i$.
A Positive Semidefinite Approximation of the Symmetric Traveling Salesman Polytope
Published
• View Publication
• BIB
For a convex body B in a vector space V, we construct its approximation P_k, k=1, 2, . . . using an intersection of a cone of positive semidefinite quadratic forms with an affine subspace. We show that P_k is contained in B for each k. When B is the Symmetric Traveling Salesman Polytope on n cities T_n, we show that the scaling of P_k by n/k+ O(1/n) contains T_n for k no more than n/2. Membership for P_k is computable in time polynomial in n (of degree linear in k).
We discuss facets of T_n that lie on the boundary of P_k. We introduce a new measure on each facet defining inequality for T_n in terms of the eigenvalues of a quadratic form. Using these eigenvalues of facets, we show that the scaling of P_1 by n^(1/2) has all of the facets of T_n defined by the subtour elimination constraints either in its interior or lying on its boundary.
On (n, k)-extendable graphs and induced subgraphs
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set $V(G)$. Let $n$ and $k$ be non-negative integers such that $n + 2k \leq |V(G)| - 2$ and $|V(G)| - n$ is even. If when deleting any $n$ vertices of $G$ the remaining subgraph contains a matching of $k$ edges and every $k$-matching can be extended to a 1-factor, then $G$ is called an $(n, k)-extendable graph. In this paper we present several results about $(n, k)$-extendable graphs and its subgraphs. In particular, we proved that if $G - V(e)$ is $(n, k)$-extendable graph for each $e \in F$ (where $F$ is a fixed 1-factor in $G$), then $G$ is $(n, k)$-extendable graph.
Generalization of matching extensions in graphs (II)
Published
• View Publication
• BIB
Proposed as a general framework, Liu and Yu(Discrete Math. 231 (2001) 311-320) introduced $(n,k,d)$-graphs to unify the concepts of deficiency of matchings, $n$-factor-criticality and $k$-extendability. Let $G$ be a graph and let $n,k$ and $d$ be non-negative integers such that $n+2k+d\leq |V(G)|-2$ and $|V(G)|-n-d$ is even. If when deleting any $n$ vertices from $G$, the remaining subgraph $H$ of $G$ contains a $k$-matching and each such $k$- matching can be extended to a defect-$d$ matching in $H$, then $G$ is called an $(n,k,d)$-graph. In \cite{Liu}, the recursive relations for distinct parameters $n, k$ and $d$ were presented and the impact of adding or deleting an edge also was discussed for the case $d = 0$. In this paper, we continue the study begun in \cite{Liu} and obtain new recursive results for $(n,k,d)$-graphs in the general case $d \geq0$.
A Note on (3,1)-Choosable Toroidal Graphs
An $(L,d)^*$-coloring is a mapping $φ$ that assigns a color $φ(v)\in L(v)$ to each vertex $v\in V(G)$ such that at most $d$ neighbors of $v$ receive colore $φ(v)$. A graph is called $(m,d)^*$-choosable, if $G$ admits an $(L,d)^*$-coloring for every list assignment $L$ with $|L(v)|\geq m$ for all $v\in V(G)$. In this note, it is proved that every toroidal graph, which contains no adjacent triangles and contains no 6-cycles and $l$-cycles for some $l \in \{5,7\}$, is $(3,1)^*$-choosable.
The Minor Crossing Number of Graphs with an Excluded Minor
Published in Electronic J. Combinatorics 15:R4, 2008
• View Publication
• BIB
The "minor crossing number" of a graph $G$ is the minimum crossing number of a graph that contains $G$ as a minor. It is proved that for every graph $H$ there is a constant $c$, such that every graph $G$ with no $H$-minor has minor crossing number at most $c|V(G)|$.
Nonisomorphic Ordered Sets with Arbitrarily Many Ranks That Produce Equal Decks
We prove that for any $n$ there is a pair $(P_1 ^n , P_2 ^n )$ of nonisomorphic ordered sets such that $P_1 ^n $ and $P_2 ^n $ have equal maximal and minimal decks, equal neighborhood decks, and there are $n+1$ ranks $k_0 , \ldots , k_n $ such that for each $i$ the decks obtained by removing the points of rank $k_i $ are equal. The ranks $k_1 , \ldots , k_n $ do not contain extremal elements and at each of the other ranks there are elements whose removal will produce isomorphic cards. Moreover, we show that such sets can be constructed such that only for ranks $1$ and $2$, both without extremal elements, the decks obtained by removing the points of rank $r_i $ are not equal.
Pseudo-centrosymmetric matrices, with applications to counting perfect matchings
Published
• View Publication
• BIB
We consider square matrices A that commute with a fixed square matrix K, both with entries in a field F not of characteristic 2. When K^2=I, Tao and Yasuda defined A to be generalized centrosymmetric with respect to K. When K^2=-I, we define A to be pseudo-centrosymmetric with respect to K; we show that the determinant of every even-order pseudo-centrosymmetric matrix is the sum of two squares over F, as long as -1 is not a square in F. When a pseudo-centrosymmetric matrix A contains only integral entries and is pseudo-centrosymmetric with respect to a matrix with rational entries, the determinant of A is the sum of two integral squares. This result, when specialized to when K is the even-order alternating exchange matrix, applies to enumerative combinatorics. Using solely matrix-based methods, we reprove a weak form of Jockusch's theorem for enumerating perfect matchings of 2-even symmetric graphs. As a corollary, we reprove that the number of domino tilings of regions known as Aztec diamonds and Aztec pillows is a sum of two integral squares.
Simple permutations: decidability and unavoidable substructures
Published
• View Publication
• BIB
We prove that it is decidable if a finitely based permutation class contains infinitely many simple permutations, and establish an unavoidable substructure result for simple permutations: every sufficiently long simple permutation contains an alternation or oscillation of length k.
Mark sequences in digraphs
Published in Seminare Lotharingien de Combinatoire, 55(2006) Art.B55c
• Search Publication
A k-digraph is an orientation of a multi-graph that is without loops and contains at most k edges between any pair of distinct vertices. We obtain necessary and sufficient conditions for a sequence of non-negative integers in non-decreasing order to be a sequence of numbers, called marks (k-scores), attached to vertices of a k-digraph. We characterize irreducible mark sequences in k-digraphs and uniquely realizable mark sequences in 2-digraphs.
Score lists in [h-k]-bipartite hypertournaments
Published
• View Publication
• BIB
Given non-negative integers m, n, h and k with $ m\geq h>1 $ and $ n\geq k>1, $an [h-k]-bipartite hypertournament on $ m+n$ vertices is a triple $(U,V,A) $, where U and V are two sets of vertices with $| U| =m$ and $ | V| =n,$ and $A$ is a set of $(h+k) -$ tuples of vertices, called arcs, with exactly $h$ vertices from $U$ and exactly $k$ vertices from $V$, such that any $h+k$ subsets $ U_{1}\cup V_{1}$ of $U\cup V, A$ contains exactly one of the $(h+k) ! (h+k) -$tuples whose entries belong to $U_{1}\cup V_{1}.$ We obtain necessary and sufficient conditions for a pair of non-decreasing sequences of non-negative integers to be the losing score lists or score lists of some$[h-k]-$bipartite hypertournament.\bigskip
Interval orders and reverse mathematics
Published in Notre Dame Journal of Formal Logic 48 (2007), 425-448
• View Publication
• BIB
We study the reverse mathematics of interval orders. We establish the logical strength of the implications between various definitions of the notion of interval order. We also consider the strength of different versions of the characterization theorem for interval orders: a partial order is an interval order if and only if it does not contain $2 \oplus 2$. We also study proper interval orders and their characterization theorem: a partial order is a proper interval order if and only if it contains neither $2 \oplus 2$ nor $3 \oplus 1$.
An Introduction to Virtual Spatial Graph Theory
Published in Proceedings of the International Workshop on Knot Theory for Scientific Objects, OCAMI Studies, Vol. 1 (A. Kawauchi, editor), Osaka Municipal Universities Press, 2007
• Search Publication
Two natural generalizations of knot theory are the study of spatial graphs and virtual knots. Our goal is to unify these two approaches into the study of virtual spatial graphs. This paper is a survey, and does not contain any new results. We state the definitions, provide some examples, and survey the known results. We hope that this paper will help lead to rapid development of the area.
Sequences with constant number of return words
An infinite word has the property $R_m$ if every factor has exactly $m$ return words. Vuillon showed that $R_2$ characterizes Sturmian words. We prove that a word satisfies $R_m$ if its complexity function is $(m-1)n+1$ and if it contains no weak bispecial factor. These conditions are necessary for $m=3$, whereas for $m=4$ the complexity function need not be $3n+1$. New examples of words satisfying $R_m$ are given by words related to digital expansions in real bases.
Boundary Partitions in Trees and Dimers
Published in Trans.Am.Math.Soc.363:1325-1364, 2011
• View Publication
• BIB
Given a finite planar graph, a grove is a spanning forest in which every component tree contains one or more of a specified set of vertices (called nodes) on the outer face. For the uniform measure on groves, we compute the probabilities of the different possible node connections in a grove. These probabilities only depend on boundary measurements of the graph and not on the actual graph structure, i.e., the probabilities can be expressed as functions of the pairwise electrical resistances between the nodes, or equivalently, as functions of the Dirichlet-to-Neumann operator (or response matrix) on the nodes. These formulae can be likened to generalizations (for spanning forests) of Cardy's percolation crossing probabilities, and generalize Kirchhoff's formula for the electrical resistance. Remarkably, when appropriately normalized, the connection probabilities are in fact integer-coefficient polynomials in the matrix entries, where the coefficients have a natural algebraic interpretation and can be computed combinatorially. A similar phenomenon holds in the so-called double-dimer model: connection probabilities of boundary nodes are polynomial functions of certain boundary measurements, and as formal polynomials, they are specializations of the grove polynomials. Upon taking scaling limits, we show that the double-dimer connection probabilities coincide with those of the contour lines in the Gaussian free field with certain natural boundary conditions. These results have direct application to connection probabilities for multiple-strand SLE_2, SLE_8, and SLE_4.