Showing 20 papers (Total: 83190 papers, 48060 authors in database)
A Semigroup Proof of the Bounded Degree Case of S.B. Rao's Conjecture on Degree Sequences and a Bipartite Analogue
Published
• View Publication
• BIB
S.B. Rao conjectured in 1971 that graphic degree sequences are well quasi ordered by a relation defined in terms of the induced subgraph relation. In 2008, M. Chudnovsky and P. Seymour proved this long standing Rao's Conjecture by giving structure theorems for graphic degree sequences. In this paper, we prove and use a variant of Dickson's Lemma from commutative semigroup theory to give a short proof of the bounded degree case of Rao's Conjecture that is independent of the Chudnovsky-Seymour structure theory. In fact, we affirmatively answer two questions of N. Robertson, the first of which implies the bounded degree case of Rao's Conjecture.
Relaxed complete partitions: an error-correcting Bachet's problem
Motivated by an error-correcting generalization of Bachet's weights problem, we define and classify relaxed complete partitions. We show that these partitions enjoy a succinct description in terms of lattice points in polyhedra, with adjustments in the error being commensurate with translations in the defining hyperplanes. Our main result is that the enumeration of the minimal such partitions (those with fewest possible parts) is achieved via Brion's formula. This generalizes work of Park on classifying complete partitions and that of Rødseth on enumerating minimal complete partitions.
Bachet's Problem: as few weights to weigh them all
A problem that enjoys an enduring popularity asks: "what is the least number of pound weights that can be used on a scale pan to weigh any integral number of pounds from 1 to 40 inclusive, if the weights can be placed in either of the scale pans ?" W.W. Rouse Ball attributes the first recording of this problem to Bachet in the early 17th century, calling it "Bachet's Weights Problem". However, Bachet's problem stretches all the way back to Fibonacci in 1202, making it a viable candidate for the first problem of integer partitions. Remarkably, given the age of Bachet's problem, an elegant and succinct solution to this problem when we replace 40 with any integer has only come to light in the last 15 or so years. We hope to expound on this generalization here armed only with our sharp wits and a willingness to induct. In doing so we will discover some of the joys of partitions of integers and enumerative combinatorics. This expository article, while of interest to researchers in combinatorics, integer partitions and the history of mathematics, is written with an impressionable undergraduate audience in mind.
On a combinatorial problem of Erdos, Kleitman and Lemke
Published in Advances in Mathematics 231, 3-4 (2012) 1843-1857
• View Publication
• BIB
In this paper, we study a combinatorial problem originating in the following conjecture of Erdos and Lemke: given any sequence of n divisors of n, repetitions being allowed, there exists a subsequence the elements of which are summing to n. This conjecture was proved by Kleitman and Lemke, who then extended the original question to a problem on a zero-sum invariant in the framework of finite Abelian groups. Building among others on earlier works by Alon and Dubiner and by the author, our main theorem gives a new upper bound for this invariant in the general case, and provides its right order of magnitude.
Ramsey-goodness -- and otherwise
Published
• View Publication
• BIB
A celebrated result of Chvátal, Rödl, Szemerédi and Trotter states (in slightly weakened form) that, for every natural number $Δ$, there is a constant $r_Δ$ such that, for any connected $n$-vertex graph $G$ with maximum degree $Δ$, the Ramsey number $R(G,G)$ is at most $r_Δn$, provided $n$ is sufficiently large. In 1987, Burr made a strong conjecture implying that one may take $r_Δ= Δ$. However, Graham, Rödl and Ruciński showed, by taking $G$ to be a suitable expander graph, that necessarily $r_Δ> 2^{cΔ}$ for some constant $c>0$. We show that the use of expanders is essential: if we impose the additional restriction that the bandwidth of $G$ be at most some function $β(n) = o(n)$, then $R(G,G) \le (2χ(G)+4)n\leq (2Δ+6)n$, i.e., $r_Δ= 2Δ+6$ suffices. On the other hand, we show that Burr's conjecture itself fails even for $P_n^k$, the $k$th power of a path $P_n$. Brandt showed that for any $c$, if $Δ$ is sufficiently large, there are connected $n$-vertex graphs $G$ with $Δ(G)\leqΔ$ but $R(G,K_3)>cn$. We show that, given $Δ$ and $H$, there are $β>0$ and $n_0$ such that, if $G$ is a connected graph on $n\ge n_0$ vertices with maximum degree at most $Δ$ and bandwidth at most $βn$, then we have $R(G,H)=(χ(H)-1)(n-1)+σ(H)$, where $σ(H)$ is the smallest size of any part in any $χ(H)$-partition of $H$. We also show that the same conclusion holds without any restriction on the maximum degree of $G$ if the bandwidth of $G$ is at most $ε(H) \log n/\log\log n$.
The partition dimension of corona product graphs
Given a set of vertices $S=\{v_1,v_2,...,v_k\}$ of a connected graph $G$, the metric representation of a vertex $v$ of $G$ with respect to $S$ is the vector $r(v|S)=(d(v,v_1),d(v,v_2),...,d(v,v_k))$, where $d(v,v_i)$, $i\in \{1,...,k\}$ denotes the distance between $v$ and $v_i$. $S$ is a resolving set of $G$ if for every pair of vertices $u,v$ of $G$, $r(u|S)\ne r(v|S)$. The metric dimension $dim(G)$ of $G$ is the minimum cardinality of any resolving set of $G$. Given an ordered partition $Π=\{P_1,P_2, ...,P_t\}$ of vertices of a connected graph $G$, the partition representation of a vertex $v$ of $G$, with respect to the partition $Π$ is the vector $r(v|Π)=(d(v,P_1),d(v,P_2),...,d(v,P_t))$, where $d(v,P_i)$, $1\leq i\leq t$, represents the distance between the vertex $v$ and the set $P_i$, that is $d(v,P_i)=\min_{u\in P_i}\{d(v,u)\}$. $Π$ is a resolving partition for $G$ if for every pair of vertices $u,v$ of $G$, $r(u|Π)\ne r(v|Π)$. The partition dimension $pd(G)$ of $G$ is the minimum number of sets in any resolving partition for $G$. Let $G$ and $H$ be two graphs of order $n_1$ and $n_2$ respectively. The corona product $G\odot H$ is defined as the graph obtained from $G$ and $H$ by taking one copy of $G$ and $n_1$ copies of $H$ and then joining by an edge, all the vertices from the $i^{th}$-copy of $H$ with the $i^{th}$-vertex of $G$. Here we study the relationship between $pd(G\odot H)$ and several parameters of the graphs $G\odot H$, $G$ and $H$, including $dim(G\odot H)$, $pd(G)$ and $pd(H)$.
Limits of compact decorated graphs
Following a general program of studying limits of discrete structures, and motivated by the theory of limit objects of converge sequences of dense simple graphs, we study the limit of graph sequences such that every edge is labeled by an element of a compact second-countable Hausdorff space K. The "local structure" of these objects can be explored by a sampling process, which is shown to be equivalent to knowing homomorphism numbers from graphs whose edges are decorated by continuous functions on K. The model includes multigraphs with bounded edge multiplicities, graphs whose edges are weighted with real numbers from a finite interval, edge-colored graphs, and other models. In all these cases, a limit object can be defined in terms of 2-variable functions whose values are probability distributions on K.
The graph theoretic moment problem
We study an analogue of the classical moment problem in the framework where moments are indexed by graphs instead of natural numbers. We study limit objects of graph sequences where edges are labeled by elements of a topological space. Among other things we obtain strengthening and generalizations of the main results of previous papers characterizing reflection positive graph parameters, graph homomorphism numbers, and limits of simple graph sequences. We study a new class of reflection positive partition functions which generalize the node-coloring models (homomorphisms into weighted graphs).
An Asymptotic Version of the Multigraph 1-Factorization Conjecture
Published
• View Publication
• BIB
We give a self-contained proof that for all positive integers $r$ and all $ε> 0$, there is an integer $N = N(r, ε)$ such that for all $n \ge N$ any regular multigraph of order $2n$ with multiplicity at most $r$ and degree at least $(1+ε)rn$ is 1-factorizable. This generalizes results of Perkovi{ć} and Reed, and Plantholt and Tipnis.
Set systems without a 3-simplex
Published
• View Publication
• BIB
A 3-simplex is a collection of four sets A_1,...,A_4 with empty intersection such that any three of them have nonempty intersection. We show that the maximum size of a set system on n elements without a 3-simplex is $2^{n-1} + \binom{n-1}{0} + \binom{n-1}{1} + \binom{n-1}{2}$ for all $n \ge 1$, with equality only achieved by the family of sets either containing a given element or of size at most 2. This extends a result of Keevash and Mubayi, who showed the conclusion for n sufficiently large.
The diamond-free process
Published
• View Publication
• BIB
Let K_4^- denote the diamond graph, formed by removing an edge from the complete graph K_4. We consider the following random graph process: starting with n isolated vertices, add edges uniformly at random provided no such edge creates a copy of K_4^-. We show that, with probability tending to 1 as $n \to \infty$, the final size of the graph produced is $Θ(\sqrt{\log(n)} \cdot n^{3/2})$. Our analysis also suggests that the graph produced after i edges are added resembles the random graph, with the additional condition that the edges which do not lie on triangles form a random-looking subgraph.
The final size of the C_4-free process
Published
• View Publication
• BIB
We consider the following random graph process: starting with n isolated vertices, add edges uniformly at random provided no such edge creates a copy of C_4. We show that, with probability tending to 1 as $n \to \infty$, the final graph produced by this process has maximum degree O((n \log n)^{1/3}) and consequently size O(n^{4/3}\log(n)^{1/3}), which are sharp up to constants. This confirms conjectures of Bohman and Keevash and of Osthus and Taraz, and improves upon previous bounds due to Bollobás and Riordan and Osthus and Taraz.
Bases for the derivation modules of two-dimensional multi-Coxeter arrangements and universal derivations
Published in Tokyo J. of Math. 30, 1 (2007), 99-116
• View Publication
• BIB
Let $\A$ be an irreducible Coxeter arrangement and $\bfk$ be a multiplicity of $\A$. We study the derivation module $D(\A, \bfk)$. Any two-dimensional irreducible Coxeter arrangement with even number of lines is decomposed into two orbits under the action of the Coxeter group. In this paper, we will {explicitly} construct a basis for $D(\A, \bfk)$ assuming $\bfk$ is constant on each orbit. Consequently we will determine the exponents of $(\A, \bfk)$ under this assumption. For this purpose we develop a theory of universal derivations and introduce a map to deal with our exceptional cases.
Small Cover and Halperin-Carlsson Conjecture -II
Published
• View Publication
• BIB
For a small cover Q^n and any principal (Z_2)^m-bundle M^n over Q^n, it was shown in a previous work of the author that the total sum of Z_2-Betti numbers of M^n is at least 2^m. In this paper, we prove that when M^n is connected, the total sum of Z_2-Betti numbers of such an M^n exactly equals 2^m if and only if M^n is homeomorphic to a product of spheres, and Q^n in this case must be a generalized real Bott manifold (or equivalent, Q^n is a small cover over a product of simplices).
Non-gatherable triples for classical affine root systems
Published
• View Publication
• BIB
This paper contains a complete description of minimal non-gatherable triangle triples in the lambda-sequences for the affine classical root systems and some claims for arbitrary (reduced) affine root systems. It continues our previous paper devoted to the non-affine case; interestingly, the affine theory clarifies the classification in the non-affine case. The lambda-sequences are associated with reduced decompositions (words) in affine Weyl groups. The existence of the non-gatherable triples is a combinatorial obstacle for using the technique of intertwiners in the theory of irreducible representations of the (double) affine Hecke algebras, complementary to their algebraic-geometric theory.
Applications of Three Dimensional Extremal Length, I: Tiling of a Topological Cube
Published in Topology and its Applications, vol 159, 2012, 2795--2805
• View Publication
• BIB
Given a triangulation of a closed topological cube, we show that (under some technical condition) there is an essentially unique tiling of a rectangular parallelepiped by cubes, indexed by the vertices of the triangulation. Moreover, i - the combinatorics is preserved, and ii- the boundary is preserved: vertices corresponding to the cubes at the corners of the rectangular parallelepiped are at the corners of the topological cube. Also, the sizes of the cubes are obtained as a solution of a variational problem which is a discrete version of the notion of extremal length in three dimensional Euclidean space.
On a conjecture of Hivert and Thiéry about Steenrod operators
We prove some results related to a conjecture of Hivert and Thiéry about the dimension of the space of q-harmonics. In the process we compute the actions of the involved operators on symmetric and alternating functions, which have some independent interest. We then use these computations to prove other results related to the same conjecture.
A Unified Framework for Testing Linear-Invariant Properties
Published
• View Publication
• BIB
The study of the interplay between the testability of properties of Boolean functions and the invariances acting on their domain which preserve the property was initiated by Kaufman and Sudan (STOC 2008). Invariance with respect to F_2-linear transformations is arguably the most common symmetry exhibited by natural properties of Boolean functions on the hypercube. Hence, an important goal in Property Testing is to describe necessary and sufficient conditions for the testability of linear-invariant properties. This direction was explicitly proposed for investigation in a recent survey of Sudan.
We obtain the following results:
1. We show that every linear-invariant property that can be characterized by forbidding induced solutions to a (possibly infinite) set of linear equations can be tested with one-sided error.
2. We show that every linear-invariant property that can be tested with one-sided error can be characterized by forbidding induced solutions to a (possibly infinite) set of systems of linear equations.
We conjecture that our result from item (1) can be extended to cover systems of linear equations. We further show that the validity of this conjecture would have the following implications:
1. It would imply that every linear-invariant property that is closed under restrictions to linear subspaces is testable with one-sided error. Such a result would unify several previous results on testing Boolean functions, such as the testability of low-degree polynomials and of Fourier dimensionality.
2. It would imply that a linear-invariant property P is testable with one-sided error if and only if P is closed under restrictions to linear subspaces, thus resolving Sudan's problem.
Some simple bijections involving lattice walks and ballot sequences
In this note we observe that a bijection related to Littelmann's root operators (for type $A_1$) transparently explains the well known enumeration by length of walks on $\N$ (left factors of Dyck paths), as well as some other enumerative coincidences. We indicate a relation with bijective solutions of Bertrand's ballot problem: those can be mechanically transformed into bijective proofs of the mentioned enumeration formula.
Compression of Nakajima monomials in type A and C
Published
• View Publication
• BIB
We describe an explicit crystal morphism between Nakajima monomials and monomials which give a realization of crystal bases for finite dimensional irreducible modules over the quantized enveloping algebra for Lie algebras of type A and C. This morphism provides a connection between arbitrary Nakajima monomials and Nakashima Kashiwara tableaux. This yields a translation of Nakajima monomials to the Littelmann path model. Furthermore, as an application of our results we describe an insertion scheme for Nakajima monomials compatible to the insertion scheme for tableaux.