contain ↗ reference
7689 papers tagged with this keyword
The Matrix of Maximum Out Forests of a Digraph and Its Applications
Published in Automation and Remote Control 61 (2000) 1424--1450
• Search Publication
We study the maximum out forests of a (weighted) digraph and the matrix of maximum out forests. A maximum out forest of a digraph G is a spanning subgraph of G that consists of disjoint diverging trees and has the maximum possible number of arcs. If a digraph contains any out arborescences, then maximum out forests coincide with them. We provide a new proof to the Markov chain tree theorem saying that the matrix of Ces`aro limiting probabilities of an arbitrary stationary finite Markov chain coincides with the normalized matrix of maximum out forests of the weighted digraph that corresponds to the Markov chain. We discuss the applications of the matrix of maximum out forests and its transposition, the matrix of limiting accessibilities of a digraph, to the problems of preference aggregation, measuring the vertex proximity, and uncovering the structure of a digraph.
Hypomorphy of graphs up to complementation
Published
• View Publication
• BIB
Let $V$ be a set of cardinality $v$ (possibly infinite). Two graphs $G$ and $G'$ with vertex set $V$ are {\it isomorphic up to complementation} if $G'$ is isomorphic to $G$ or to the complement $\bar G$ of $G$. Let $k$ be a non-negative integer, $G$ and $G'$ are {\it $k$-hypomorphic up to complementation} if for every $k$-element subset $K$ of $V$, the induced subgraphs $G\_{\restriction K}$ and $G'\_{\restriction K}$ are isomorphic up to complementation. A graph $G$ is {\it $k$-reconstructible up to complementation} if every graph $G'$ which is $k$-hypomorphic to $G$ up to complementation is in fact isomorphic to $G$ up to complementation. We give a partial characterisation of the set $\mathcal S$ of pairs $(n,k)$ such that two graphs $G$ and $G'$ on the same set of $n$ vertices are equal up to complementation whenever they are $k$-hypomorphic up to complementation. We prove in particular that $\mathcal S$ contains all pairs $(n,k)$ such that $4\leq k\leq n-4$. We also prove that 4 is the least integer $k$ such that every graph $G$ having a large number $n$ of vertices is $k$-reconstructible up to complementation; this answers a question raised by P. Ille
The finite antichain property in Coxeter groups
Published
• View Publication
• BIB
We prove that the weak order on an infinite Coxeter group contains infinite antichains if and only if the group is not affine.
New versions of the all-ones problem
We study three new versions of the All-Ones Problem and the Minimum All-Ones Problem. The original All-Ones Problem is simply called the Vertex-Vertex Problem, and the three new versions are called the Vertex-Edge Problem, the Edge-Vertex Problem and the Edge-Edge Problem, respectively. The Vertex-Vertex Problem has been studied extensively. For example, existence of solutions and efficient algorithms for finding solutions were obtained, and the Minimum Vertex-Vertex Problem for general graphs was shown to be NP-complete and for trees it can be solved in linear time, etc. In this paper, for the Vertex-Edge Problem, we show that a graph has a solution if and only if it is bipartite, and therefore it has only two possible solutions and optimal solutions. A linear program version is also given. For the Edge-Vertex Problem, we show that a graph has a solution if and only if it contains even number of vertices. By showing that the Minimum Edge-Vertex Problem can be polynomially transformed into the Minimum Weight Perfect Matching Problem, we obtain that the Minimum Edge-Vertex Problem can be solved in polynomial time in general. The Edge-Edge Problem is reduced to the Vertex-Vertex Problem for the line graph of a graph.
On an Argument of Shkredov on Two-Dimensional Corners
Published
• View Publication
• BIB
Let $\mathbb F_2^n$ be the finite field of cardinality $2 ^{n}$. For all large $n$, any subset $A\subset \mathbb F_2^n\times \mathbb F_2 ^n$ of cardinality \begin{equation*} \abs{A} \gtrsim 4^n \log\log n (\log n) ^{-1}
\end{equation*} must contain three points $ \{(x,y) ,(x+d,y) ,(x,y+d)\}$ for $x,y,d\in \mathbb F_2^n$ and $d\neq0$. Our argument is an elaboration of an argument of Shkredov \cite {math.NT/0405406}, building upon the finite field analog of Ben Green \cite {math.NT/0409420}. The interest in our result is in the exponent on $ \log n$, which is larger than has been obtained previously.
Stationary or static space-times and Young tableaux
Published in J.Phys.Conf.Ser.30:152-162,2006
• View Publication
• BIB
Algebraic curvature tensors possess generators which can be formed from symmetric or alternating tensors S, A or tensors θwith an irreducible (2,1)-symmetry. In differential geometry examples of curvature formulas are known which contain generators on the basis of S or A realized by differentiable tensor fields in a natural way. We show that certain curvature formulas for stationary or static space-times contain such differentiable realizations of generators based on θ. The tensor θis connected with the timelike Killing vector field of the space-time. θlies in a special symmetry class from the infinite family of irreducible (2,1)-symmetry classes. We determine characteristics of this class. In particular, this class allows a maximal reduction of the length of the curvature formulas. We use a projection formalism by Vladimirov, Young symmetrizers and Littlewood-Richardson products. Computer calculations were carried out by means of the packages Ricci and PERMS.
Edge-local equivalence of graphs
The local complement G*i of a simple graph G at one of its vertices i is obtained by complementing the subgraph induced by the neighborhood of i and leaving the rest of the graph unchanged. If e={i,j} is an edge of G then G*e=((G*i)*j)*i is called the edge-local complement of G along the edge e. We call two graphs edge-locally equivalent if they are related by a sequence of edge-local complementations. The main result of this paper is an algebraic description of edge-local equivalence of graphs in terms of linear fractional transformations of adjacency matrices. Applications of this result include (i) a polynomial algorithm to recognize whether two graphs are edge-locally equivalent, (ii) a formula to count the number of graphs in a class of edge-local equivalence, and (iii) a result concerning the coefficients of the interlace polynomial, where we show that these coefficients are all even for a class of graphs; this class contains, as a subset, all strongly regular graphs with parameters (n, k, a, c), where k is odd and a and c are even.
Divisibility of countable metric spaces
Prompted by a recent question of G. Hjorth as to whether a bounded Urysohn space is indivisible, that is to say has the property that any partition into finitely many pieces has one piece which contains an isometric copy of the space, we answer this question and more generally investigate partitions of countable metric spaces. We show that an indivisible metric space must be totally Cantor disconnected, which implies in particular that every Urysohn space U_V with V bounded or not but dense in some initial segment of R+, is divisible. On the other hand we also show that one can remove "large" pieces from a bounded Urysohn space with the remainder still inducing a copy of this space, providing a certain "measure" of the indivisibility. Associated with every totally Cantor disconnected space is an ultrametric space, and we go on to characterize the countable ultrametric spaces which are homogeneous and indivisible.
A Wilf equivalence related to two stack sortable permutations
A permutation is so-called two stack sortable if it (i) avoids the (scattered) pattern 2-3-4-1, and (ii) contains a 3-2-4-1 pattern only as part of a 3-5-2-4-1 pattern. Here we show that the permutations on [n] satisfying condition (ii) alone are equinumerous with the permutations on [n] that avoid the mixed scattered/consecutive pattern 31-4-2. The proof uses a known bijection from 3-2-1-avoiding to 3-1-2-avoiding permutations.
A combinatorial identity with application to Catalan numbers
Published in Discrete Math. 306(2006), 1921-1940
• View Publication
• BIB
By a very simple argument, we prove that if $l,m,n$ are nonnegative integers then $$\sum_{k=0}^l(-1)^{m-k}\binom{l}{k}\binom{m-k}{n}\binom{2k}{k-2l+m} =\sum_{k=0}^l\binom{l}{k}\binom{2k}{n}\binom{n-l}{m+n-3k-l}.
On the basis of this identity, for $d,r=0,1,2,...$ we construct explicit $F(d,r)$ and $G(d,r)$ such that for any prime $p>\max\{d,r\}$ we have
\sum_{k=1}^{p-1}k^r C_{k+d}\equiv \cases F(d,r)(mod p)& if 3|p-1, \\G(d,r)\ (mod p)& if 3|p-2,
where $C_n$ denotes the Catalan number $(n+1)^{-1}\binom{2n}{n}$. For example, when $p\geq 5$ is a prime, we have
\sum_{k=1}^{p-1}k^2C_k\equiv\cases-2/3 (mod p)& if 3|p-1, \1/3 (mod p)& if 3|p-2;
and
\sum_{0<k<p-4}\frac{C_{k+4}}k \equiv\cases 503/30 (mod p)& if 3|p-1, -100/3 (mod p)& if 3|p-2.
This paper also contains some new recurrence relations for Catalan numbers.
New bounds for Szemeredi's Theorem, I: Progressions of length 4 in finite field geometries
Published
• View Publication
• BIB
Let F be a fixed finite field of characteristic at least 5. Let G = F^n be the n-dimensional vector space over F, and write N := |G|. We show that if A is a subset of G with size at least c_F N(log N)^{-c}, for some absolute constant c > 0 and some c_F > 0, then A contains four distinct elements in arithmetic progression.
This is equivalent, in the usual notation of additive combinatorics, to the assertion that r_4(G) <<_F N(log N)^{-c}.
Derangements in Symmetric Cost Matrices
Let M be an n X n symmetric cost matrix. Assume that D is a derangement in M, i.e.,a set of disjoint cycles consisting of edges that contains all of the n points of M. The modified Floyd-Warshall algorithm applied to (D')^-1(M^-)A^- (where A is an asymmetric cost matrix containing D', a derangement)yielded a solution to the Assignment Problem in O((n^2)logn) running time. Here, applying a variation of the modified F-W to (D^-1)M^-1, we can obtain D = D_FWABS, the smallest-valued derangement obtainable using the modified F-W. Let T_TSPOPT be an optimal tour in M. We give conditions for obtaining D_ABSOLUTE, the smallest-valued derangement obtainable in M, where |D_ABSOLUTE| <= |T_TSPOPT|.
On decomposability of 4-ary distance 2 MDS codes, double-codes, and n-quasigroups of order 4
Published in Discrete Math. 308(15) 2008, 3322-3334
• View Publication
• BIB
A subset $S$ of $\{0,1,...,2t-1\}^n$ is called a $t$-fold MDS code if every line in each of $n$ base directions contains exactly $t$ elements of $S$. The adjacency graph of a $t$-fold MDS code is not connected if and only if the characteristic function of the code is the repetition-free sum of the characteristic functions of $t$-fold MDS codes of smaller lengths.
In the case $t=2$, the theory has the following application. The union of two disjoint $(n,4^{n-1},2)$ MDS codes in $\{0,1,2,3\}^n$ is a double-MDS-code. If the adjacency graph of the double-MDS-code is not connected, then the double-code can be decomposed into double-MDS-codes of smaller lengths. If the graph has more than two connected components, then the MDS codes are also decomposable. The result has an interpretation as a test for reducibility of $n$-quasigroups of order 4. Keywords: MDS codes, n-quasigroups, decomposability, reducibility, frequency hypercubes, latin hypercubes
On the expansion of the giant component in percolated (n,d,λ) graphs
Published
• View Publication
• BIB
Let d \geq d_0 be a sufficiently large constant. A (n,d,c \sqrt{d}) graph G is a d-regular graph over n vertices whose second largest (in absolute value) eigenvalue is at most c \sqrt{d}. For any 0 < p < 1, G_p is the graph induced by retaining each edge of G with probability p. It is known that for p > \frac{1}{d} the graph G_p almost surely contains a unique giant component (a connected component with linear number vertices). We show that for p \geq frac{5c}{\sqrt{d}} the giant component of G_p almost surely has an edge expansion of at least \frac{1}{\log_2 n}.
Théorie Géométrique des Polynômes Eulériens
Published in Lecture Notes in Mathematics, 138, Berlin, Springer-Verlag, 1970
• View Publication
• BIB
This is the classical monograph on the combinatorial study of Eulerian polynomials, published in 1970. It has been retyped in TeX and made available on the web with the kind permission of Springer-Verlag. This on-line version has an ouput of 49 pages. Written in French it contains the following items: 0. Introduction to and review of the Euler Numbers 1. General properties of the systems of exceedances and rises 2. The Eulerian polynomials 3. The exponential formula 4. Generating functions for the Eulerian polynomials 5. The alternating sums A(n)(-1) and B(n)(-1) 6. References
Normal approximations for descents and inversions of permutations of multisets
Published in Journal of Theoretical Probability, Volume 20, Issue 2, June 2007, Pages 309-325
• View Publication
• BIB
Normal approximations for descents and inversions of permutations of the set $\{1,2,...,n\}$ are well known. A number of sequences that occur in practice, such as the human genome and other genomes, contain many repeated elements. Motivated by such examples, we consider the number of inversions of a permutation $π(1), π(2),...,π(n)$ of a multiset with $n$ elements, which is the number of pairs $(i,j)$ with $1\leq i < j \leq n$ and $π(i)>π(j)$. The number of descents is the number of $i$ in the range $1\leq i < n$ such that $π(i) > π(i+1)$. We prove that, appropriately normalized, the distribution of both inversions and descents of a random permutation of the multiset approaches the normal distribution as $n\to\infty$, provided that the permutation is equally likely to be any possible permutation of the multiset and no element occurs more than $αn$ times in the multiset for a fixed $α$ with $0<α< 1$. Both normal approximation theorems are proved using the size biased version of Stein's method of auxiliary randomization and are accompanied by error bounds.
On abelian $(2^{2m+1}(2^{m-1}+1), 2^m(2^m+1), 2^m)$-difference sets
In this paper we prove that an abelian group contains $(2^{2m+1}(2^{m-1}+1), 2^m(2^m+1), 2^m)$-difference sets with $m\geqslant 3$ if and only if it contains an elementary abelian 2-group of order $2^{2m}$. Our proof shows that the method of constructing such difference sets is essentially unique.
Curves in cages: an algebro-geometric zoo
Published
• View Publication
• BIB
The paper is concerned with families of plane algebraic curves that contain a given and quite special finite set X of points in the projective plane. We focus on the case in which the set X is formed by transversally intersecting pairs of lines selected from two given finite families of cardinality d. The union of all lines from both families is called a cage, and the intersection X consists of d^2 points at which a line from the first family intersects a line from the second. The points of X are called the nodes of the cage. We study the subsets A of the nodal set X such that any plane algebraic curve C of degree d that contains A must contain X as well. As a corollary, we get a few generalizations of the famous Pascal theorem, generalizations that employ polygons (instead of hexagons as in Pascal's theorem) inscribed in a quadratic curve. Our results are closely related to the classical theorems of Chasles and Bacharach. Although the nodal sets X produced by our cages are quite special in comparison to more general complete intersections studied by Bacharach, the cages provide us with a much better grip on the combinatorics of subsets A of X with the property that is described above.
On lengths of rainbow cycles
Published in Electron. J. Combin. 13 (2006), no. 1, Research Paper 105, 14 pp. (electronic)
• View Publication
• BIB
We prove several results regarding edge-colored complete graphs and rainbow cycles, cycles with no color appearing on more than one edge. We settle a question posed by Ball, Pultr, and Vojtěchovský by showing that if such a coloring does not contain a rainbow cycle of length $n$, where $n$ is odd, then it also does not contain a rainbow cycle of length $m$ for all $m$ greater than $2n^2$. In addition, we present two examples which demonstrate that this result does not hold for even $n$. Finally, we state several open problems in the area.
Distances between the winning numbers in Lottery
We prove an interesting fact about Lottery: the winning 6 numbers (out of 49) in the game of the Lottery contain two consecutive numbers with a surprisingly high probability (almost 50%).