contain ↗ reference
7689 papers tagged with this keyword
Ubiquity of simplices in subsets of vector spaces over finite fields
Published
• View Publication
• BIB
We prove that a sufficiently large subset of the $d$-dimensional vector space over a finite field with $q$ elements, $ {\Bbb F}_q^d$, contains a copy of every $k$-simplex. Fourier analytic methods, Kloosterman sums, and bootstrapping play an important role.
Odd-Cycle-Free Facet Complexes and the König property
Published
• View Publication
• BIB
We use the definition of a simplicial cycle to define an odd-cycle-free facet complex (hypergraph). These are facet complexes that do not contain any cycles of odd length. We show that besides one class of such facet complexes, all of them satisfy the
König property. This new family of complexes includes the family of balanced hypergraphs, which are known to satisfy the König property. These facet complexes are, however, not Mengerian; we give an example to demonstrate this fact.
Counting preimages of TCP reordering patterns
Published
• View Publication
• BIB
Packet reordering is an important property of network traffic that should be captured by analytical models of the Transmission Control Protocol (TCP). We study a combinatorial problem motivated by RESTORED, a TCP modeling methodology that incorporates information about packet dynamics. A significant component of this model is a many-to-one mapping B that transforms sequences of packet IDs into buffer sequences, in a manner that is compatible with TCP semantics. We show that the following hold:
1. There exists a linear time algorithm that, given a buffer sequence W of length n, decides whether there exists a permutation A of 1,2,..., n such that $A\in B^{-1}(W)$ (and constructs such a permutation, when it exists).
2. The problem of counting the number of permutations in $B^{-1}(W)$ has a polynomial time algorithm.
We also show how to extend these results to sequences of IDs that contain repeated packets.
Constructive decomposition of functions of two variables using functions of one variable
Given a compact set K in the plane, which contains no triple of points forming a vertical and a horizontal segment, and a continuous real-valued map f on K, we give a construction of real-valued continuous maps of one variable g,h such that f(x,y)=g(x)+h(y) for all points (x,y) from K. This provides a constructive proof of a part of Sternfeld's theorem on basic embeddings in the plane. In the proof we construct a sequence of finite graphs, which provide an arbitrarily good approximation of the set K.
Hereditary properties of combinatorial structures: posets and oriented graphs
Published
• View Publication
• BIB
A hereditary property of combinatorial structures is a collection of structures (e.g. graphs, posets) which is closed under isomorphism, closed under taking induced substructures (e.g. induced subgraphs), and contains arbitrarily large structures. Given a property P, we write P_n for the collection of distinct (i.e., non-isomorphic) structures in a property P with n vertices, and call the function n -> |P_n| the speed (or unlabelled speed) of P. Also, we write P^n for the collection of distinct labelled structures in P with vertices labelled 1,...,n, and call the function n -> |P^n| the labelled speed of P.
The possible labelled speeds of a hereditary property of graphs have been extensively studied, and the aim of this paper is to investigate the possible speeds of other combinatorial structures, namely posets and oriented graphs. More precisely, we show that (for sufficiently large n), the labelled speed of a hereditary property of posets is either 1, or exactly a polynomial, or at least 2^n - 1. We also show that there is an initial jump in the possible unlabelled speeds of hereditary properties of posets, tournaments and directed graphs, from bounded to linear speed, and give a sharp lower bound on the possible linear speeds in each case.
Hereditary properties of partitions, ordered graphs and ordered hypergraphs
Published in European Journal of Combinatorics (special edition, eds. M. Krivelevich and B. Sudakov), 8 (2006), 1263-1281
• View Publication
• BIB
In this paper we use the Klazar-Marcus-Tardos method to prove that if a hereditary property of partitions P has super-exponential speed, then for every k-permutation pi, P contains the partition of [2k] with parts {i, pi(i) + k}, where 1 <= i <= k. We also prove a similar jump, from exponential to factorial, in the possible speeds of monotone properties of ordered graphs, and of hereditary properties of ordered graphs not containing large complete, or complete bipartite ordered graphs.
Our results generalize the Stanley-Wilf Conjecture on the number of n-permutations avoiding a fixed permutation, which was recently proved by the combined results of Klazar and of Marcus and Tardos. Our main results follow from a generalization to ordered hypergraphs of the theorem of Marcus and Tardos.
Correspondences with split polynomial equations
Published
• View Publication
• BIB
We introduce endomorphisms of special jacobians and show that they satisfy polynomial equations with all integer roots which we compute. The eigen-abelian varieties for these endomorphisms are generalizations of Prym-Tjurin varieties and naturally contain special curves representing cohomology classes which are not expected to be represented by curves in generic abelian varieties.
Hamilton Paths and Cycles in Vertex-Transitive Graphs of Order $6p$
Published
• View Publication
• BIB
It is shown that every connected vertex-transitive graph of order $6p$, where $p$ is a prime, contains a Hamilton path. Moreover, it is shown that, except for the truncation of the Petersen graph, every connected vertex-transitive graph of order $6p$ which is not genuinely imprimitive contains a Hamilton cycle.
2-torus manifolds, cobordism and small covers
Published in Pacific J. Math. 241 (2009), 285--308.
• Search Publication
Let ${\frak M}_n$ be the set of equivariant unoriented cobordism classes of all $n$-dimensional 2-torus manifolds, where an $n$-dimensional 2-torus manifold $M$ is a smooth closed manifold of dimension $n$ with effective smooth action of a rank $n$ 2-torus group $({\Bbb Z}_2)^n$. Then ${\frak M}_n$ forms an abelian group with respect to disjoint union. This paper determines the group structure of ${\frak M}_n$ and shows that each class of ${\frak M}_n$ contains a small cover as its representative in the case $n=3$.
Monochromatic triangles in two-colored plane
Published in Combinatorica 29 (2009), Issue 6, 699-718
• View Publication
• BIB
We prove that for any partition of the plane into a closed set $C$ and an open set $O$ and for any configuration $T$ of three points, there is a translated and rotated copy of $T$ contained in $C$ or in $O$. Apart from that, we consider partitions of the plane into two sets whose common boundary is a union of piecewise linear curves. We show that for any such partition and any configuration $T$ which is a vertex set of a non-equilateral triangle there is a copy of $T$ contained in the interior of one of the two partition classes. Furthermore, we give the characterization of these "polygonal" partitions that avoid copies of a given equilateral triple. These results support a conjecture of Erdos, Graham, Montgomery, Rothschild, Spencer and Straus, which states that every two-coloring of the plane contains a monochromatic copy of any nonequilateral triple of points; on the other hand, we disprove a stronger conjecture by the same authors, by providing non-trivial examples of two-colorings that avoid a given equilateral triple.
A note on the Freiman and Balog-Szemeredi-Gowers theorems in finite fields
Published
• View Publication
• BIB
We obtain quantitative versions of the Balog-Szemeredi-Gowers and Freiman theorems in the model case of a finite field geometry F_2^n, improving the previously known bounds in such theorems. For instance, if A is a subset of F_2^n such that |A+A| <= K|A| (thus A has small additive doubling), we show that there exists an affine subspace V of F_2^n of cardinality |V| >> K^{-O(\sqrt{K})} |A| such that |A \cap V| >> |V|/2K. Under the assumption that A contains at least |A|^3/K quadruples with a_1 + a_2 + a_3 + a_4 = 0 we obtain a similar result, albeit with the slightly weaker condition |V| >> K^{-O(K)}|A|.
On non-projective block components of Lefschetz characters for sporadic geometries
Published
• View Publication
• BIB
This work examines the possible projectivity of 2-modular block parts of non-projective Lefschetz characters over 2-local geometries of several sporadic groups. Previously known results on $M_{12}$, $J_2$, and $HS$ are mentioned for completeness. The main new results are on the sporadic groups $Suz$, $Co_3$, $Ru$, $O'N$, and $He$. For each group, the Lefschetz character is calculated, and the 2-modular blocks are examined for projectivity. In each case it is confirmed that a non-principal block contains a non-projective summand. The case of $O'N$ is additionally found to have a non-projective summand in its principal block part.
Circular chromatic index of graphs of maximum degree 3
Published in Journal of Graph Theory. 49(4) (2005) pp. 325-335
• View Publication
• BIB
This paper proves that if $G$ is a graph (parallel edges allowed) of maximum degree 3, then $χ_c'(G) \leq 11/3$ provided that $G$ does not contain $H_1$ or $H_2$ as a subgraph, where $H_1$ and $H_2$ are obtained by subdividing one edge of $K_2^3$ (the graph with three parallel edges between two vertices) and $K_4$, respectively. As $χ_c'(H_1) = χ_c'(H_2) = 4$, our result implies that there is no graph $G$ with $11/3 < χ_c'(G) < 4$. It also implies that if $G$ is a 2-edge connected cubic graph, then $χ'(G) \le 11/3$.
Quantum permutation groups: a survey
Published in Banach Center Publ. 78 (2007), 13-34
• View Publication
• BIB
This is a presentation of recent work on quantum permutation groups. Contains: a short introduction to operator algebras and Hopf algebras; quantum permutation groups, and their basic properties; diagrams, integration formulae, asymptotic laws, matrix models; the hyperoctahedral quantum group, free wreath products, quantum automorphism groups of finite graphs, graphs having no quantum symmetry; complex Hadamard matrices, cocycle twists of the symmetric group, quantum groups acting on 4 points; remarks and comments.
Linear Ramsey numbers for bounded-degree hypergraphs
Published
• View Publication
• BIB
We show that the Ramsey number is linear for every uniform hypergraph with bounded-degree. This is a hypergraph extension of the famous theorem for ordinary graphs which Chvátal et al. showed in 1983. Our proof is simple, contains the multicolor case, and provides a strong embedding lemma. It shows the potential of a new hypergraph regularity lemma by the author.
Pattern Recognition on Oriented Matroids: Layers of Tope Committees
A tope committee K* for a simple oriented matroid M is a subset of its maximal covectors such that every positive halfspace of M contains more than half of the covectors from K*. The structures of the family of all committees for M, and of the family of its committees that contain no pairs of opposites, are described. A Farey subsequence associated with the elements of the m-th layer of the Boolean lattice of rank 2m is explored.
The Holt-Klee condition for oriented matroids
Published
• View Publication
• BIB
Holt and Klee have recently shown that every (generic) LP orientation of the graph of a $d$-polytope satisfies a directed version of the $d$-connectivity property, i.e. there are $d$ internally disjoint directed paths from a unique source to a unique sink. We introduce two new classes HK and HK* of oriented matroids (OMs) by enforcing this property and its dual interpretation in terms of line shellings, respectively. Both classes contain all representable OMs by the Holt-Klee theorem. While we give a construction of an infinite family of non-HK* OMs, it is not clear whether there exists any non-HK OM. This leads to a fundamental question as to whether the Holt-Klee theorem can be proven combinatorially by using the OM axioms only. Finally, we give the complete classification of OM(4, 8), the OMs of rank 4 on 8-element ground set with respect to the HK, HK*, Euclidean and Shannon properties. Our classification shows that there exists no non-HK OM in this class.
An order-refined and generalized version of the Erdos-Szekeres theorem on convex polygons
The Erdos-Szekeres theorem states that for any natural k there is a natural number g(k) such that any set of at least g(k) points on a plane in general position contains a set of k points that are the extreme points of a convex polytope. We generalize and refine this theorem, having the general-position condition removed and a convex polygon defined as an ordered sequence of points such that the union of the edges of the polygon coincides with the boundary of its convex hull.
Orbital graphs of infinite primitive permutation groups
Published in Journal of Group Theory 10 (2007) 817-828
• View Publication
• BIB
If $G$ is a group acting on a set $Ω$ and $α, β\in Ω$, the digraph whose vertex set is $Ω$ and whose arc set is the orbit $(α, β)^G$ is called an {\em orbital digraph} of $G$. Each orbit of the stabiliser $G_α$ acting on $Ω$ is called a {\it suborbit} of $G$.
A digraph is {\em locally finite} if each vertex is adjacent to at most finitely many other vertices. A locally finite digraph $Γ$ has more than one end if there exists a finite set of vertices $X$ such that the induced digraph $Γ\setminus X$ contains at least two infinite connected components; if there exists such a set containing precisely one element, then $Γ$ has {\em connectivity one}.
In this paper we show that if $G$ is a primitive permutation group whose suborbits are all finite, possessing an orbital digraph with more than one end, then $G$ has a primitive connectivity-one orbital digraph, and this digraph is essentially unique. Such digraphs resemble trees in many respects, and have been fully characterised in a previous paper by the author.
Complete Solution for the Rainbow Numbers of Matchings
Published
• View Publication
• BIB
For a given graph $H$ and $n\geq 1$, let $f(n,H)$ denote the maximum number $c$ for which there is a way to color the edges of the complete graph $K_n$ with $c$ colors such that every subgraph $H$ of $K_n$ has at least two edges of the same color. Equivalently, any edge-coloring of $K_n$ with at least $rb(n,H)=f(n,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(n,H)$ is called the {\it rainbow number of $H$}. Erdős, Simonovits and Sós showed that $rb(n,K_3)=n$. In 2004, Schiermeyer used some counting technique and determined the rainbow numbers $rb(n,kK_2)$ for $k\geq 2$ and $n\geq 3k+3$. It is easy to see that $n$ must be at least $2k$. So, for $2k \leq n<3k+3$, the rainbow numbers remain not determined. In this paper we will use the Gallai-Edmonds structure theorem for matchings to determine the exact values for rainbow numbers $rb(n,kK_2)$ for all $k\geq 2$ and $n\geq 2k$, giving a complete solution for the rainbow numbers of matchings.