Showing 20 papers (Total: 81756 papers, 47371 authors in database)
On Bialostocki's conjecture for zero-sum sequences
Published in Acta Arith. 140(2009), no.4, 329-334
• View Publication
• BIB
Let $n$ be a positive even integer, and let $a_1,...,a_n$ and $w_1, ..., w_n$ be integers satisfying $\sum_{k=1}^n a_k\equiv\sum_{k=1}^n w_k =0 (mod n)$. A conjecture of Bialostocki states that there is a permutation $σ$ on {1,...,n} such that $\sum_{k=1}^n w_k a_{σ(k)}=0 (mod n)$. In this paper we confirm the conjecture when $w_1,...,w_n$ form an arithmetic progression with even common difference.
On vertex, edge, and vertex-edge random graphs
Published
• View Publication
• BIB
We consider three classes of random graphs: edge random graphs, vertex random graphs, and vertex-edge random graphs. Edge random graphs are Erdos-Renyi random graphs, vertex random graphs are generalizations of geometric random graphs, and vertex-edge random graphs generalize both. The names of these three types of random graphs describe where the randomness in the models lies: in the edges, in the vertices, or in both. We show that vertex-edge random graphs, ostensibly the most general of the three models, can be approximated arbitrarily closely by vertex random graphs, but that the two categories are distinct.
Solymosi's multiplicative energy bound for complex numbers
We extend the recent Solymosi's sum-product estimate for reals to the complex case.
Problems on Minkowski sums of convex lattice polytopes
This paper was submitted to the Oberwolfach Conference "Combinatorial Convexity and Algebraic Geometry", October 1997.
Let $M={\mathbb Z}^r$. For convex lattice polytopes $P,P'$ in ${\mathbb R}^r$, when is $(M \cap P)+ (M \cap P') = M \cap (P + P')$?
Without any additional condition, the equality obviously does not hold.
When the pair $(M,P)$ corresponds to a complex projective toric variety $X$ and an ample divisor $D$ on $X$, it is reasonable to assume that $P'$ corresponds to an ample (or, more generally, a nef) divisor $D'$ on the same $X$. Then the question correspons to the surjectivity of the canonical map \[ H^0(X,{\mathcal O}_X(D))\otimes H^0(X,{\mathcal O}_X(D'))\to H^0(X,{\mathcal O}_X(D+D')).\]
When $X$ is nonsingular, the map is hoped to be surjective, but this remains to be an open question after more than ten years.
The paper explores various variations on the question in terms of toric geometry.
On global offensive k-alliances in graphs
Published in Applied Mathematics Letters 23 (12) (2010) 1454-1458
• View Publication
• BIB
We investigate the relationship between global offensive $k$-alliances and some characteristic sets of a graph including $r$-dependent sets and $τ$-dominating sets. As a consequence of the study, we obtain bounds on the global offensive $k$-alliance number in terms of several parameters of the graph.
On combinatorial formulas for the characters of Hecke algebras
Hecke algebras are beautiful q-extensions of Coxeter groups. In this paper, we prove several results on their characters, with an emphasis on characters induced from trivial and sign representations of parabolic subalgebras. While most of the results in type A are known, our proofs are of a combinatorial nature, and generalize to (partial) results in types B and C. We also present complete descriptions of such characters for type I.
On Coloring of graph fractional powers
Published
• View Publication
• BIB
\noindent Let $G$ be a simple graph. For any $k\in N$, the $k-$power of $G$ is a simple graph $G^k$ with vertex set $V(G)$ and edge set $\{xy:d_G(x,y)\leq k\}$ and the $k-$subdivision of $G$ is a simple graph $G^{\frac{1}{k}}$, which is constructed by replacing each edge of $G$ with a path of length $k$. So we can introduce the $m-$power of the $n-$subdivision of $G$, as a fractional power of $G$, that is denoted by $G^{\frac{m}{n}}$. In other words $G^{\frac{m}{n}}:=(G^{\frac{1}{n}})^m$. \noindent In this paper some results about the coloring of $G^{\frac{m}{n}}$ are presented when $G$ is a simple and connected graph and $\frac{m}{n}<1$.
Equations resolving a conjecture of Rado on partition regularity
Published in Journal of Combinatorial Theory, Series A 117 (2010), no. 7, 1008-1010
• View Publication
• BIB
A linear equation L is called k-regular if every k-coloring of the positive integers contains a monochromatic solution to L. Richard Rado conjectured that for every positive integer k, there exists a linear equation that is (k-1)-regular but not k-regular. We prove this conjecture by showing that the equation $\sum_{i=1}^{k-1} \frac{2^i}{2^i-1} x_i = (-1 + \sum_{i=1}^{k-1} \frac{2^i}{2^i-1}) x_0$ has this property.
This conjecture is part of problem E14 in Richard K. Guy's book "Unsolved problems in number theory", where it is attributed to Rado's 1933 thesis, "Studien zur Kombinatorik".
A Unified Approach to Distance-Two Colouring of Graphs on Surfaces
Published in Combinatorica 33(3) (2013), 253-296
• View Publication
• BIB
In this paper we introduce the notion of $Σ$-colouring of a graph $G$: For given subsets $Σ(v)$ of neighbours of $v$, for every $v\in V(G)$, this is a proper colouring of the vertices of $G$ such that, in addition, vertices that appear together in some $Σ(v)$ receive different colours. This concept generalises the notion of colouring the square of graphs and of cyclic colouring of graphs embedded in a surface. We prove a general result for graphs embeddable in a fixed surface, which implies asymptotic versions of Wegner's and Borodin's Conjecture on the planar version of these two colourings. Using a recent approach of Havet et al., we reduce the problem to edge-colouring of multigraphs, and then use Kahn's result that the list chromatic index is close to the fractional chromatic index.
Our results are based on a strong structural lemma for graphs embeddable in a fixed surface, which also implies that the size of a clique in the square of a graph of maximum degree $Δ$ embeddable in some fixed surface is at most $\frac32\,Δ$ plus a constant.
Ascending and descending regions of a discrete Morse function
Published
• View Publication
• BIB
We present an algorithm which produces a decomposition of a regular cellular complex with a discrete Morse function analogous to the Morse-Smale decomposition of a smooth manifold with respect to a smooth Morse function. The advantage of our algorithm compared to similar existing results is that it works, at least theoretically, in any dimension. Practically, there are dimensional restrictions due to the size of cellular complexes of higher dimensions, though. We prove that the algorithm is correct in the sense that it always produces a decomposition into descending and ascending regions of the critical cells in a finite number of steps, and that, after a finite number of subdivisions, all the regions are topological discs. The efficiency of the algorithm is discussed and its performance on several examples is demonstrated.
The f-vector of the descent polytope
Published in Discrete & Computational Geometry, Volume 45, Number 3 (2011), 410-424
• View Publication
• BIB
For a positive integer n and a subset S of [n-1], the descent polytope DP_S is the set of points x_1, ..., x_n in the n-dimensional unit cube [0,1]^n such that x_i >= x_{i+1} for i in S and x_i <= x_{i+1} otherwise. First, we express the f-vector of DP_S as a sum over all subsets of [n-1]. Second, we use certain factorizations of the associated word over a two-letter alphabet to describe the f-vector. We show that the f-vector is maximized when the set S is the alternating set {1,3,5, ...}. We derive a generating function for the f-polynomial F_S(t) of DP_S, written as a formal power series in two non-commuting variables with coefficients in Z[t]. We also obtain the generating function for the Ehrhart polynomials of the descent polytopes.
A factorization theorem for classical group characters, with applications to plane partitions and rhombus tilings
Published in in: Advances in Combinatorial Mathematics: Proceedings of the Waterloo Workshop in Computer Algebra 2008, I. Kotsireas, E. Zima (eds.), Springer-Verlag, 2010, pp. 39-60.
• View Publication
• BIB
We prove that a Schur function of rectangular shape $(M^n)$ whose variables are specialized to $x_1,x_1^{-1},...,x_n,x_n^{-1}$ factorizes into a product of two odd orthogonal characters of rectangular shape, one of which is evaluated at $-x_1,...,-x_n$, if $M$ is even, while it factorizes into a product of a symplectic character and an even orthogonal character, both of rectangular shape, if $M$ is odd. It is furthermore shown that the first factorization implies a factorization theorem for rhombus tilings of a hexagon, which has an equivalent formulation in terms of plane partitions. A similar factorization theorem is proven for the sum of two Schur functions of respective rectangular shapes $(M^n)$ and $(M^{n-1})$.
q-analog of tableau containment
Published in J. Combin. Theory Ser. A 118 (2011) 1021-1038
• View Publication
• BIB
We prove a $q$-analog of the following result due to McKay, Morse and Wilf: the probability that a random standard Young tableau of size $n$ contains a fixed standard Young tableau of shape $λ\vdash k$ tends to $f^λ/k!$ in the large $n$ limit, where $f^λ$ is the number of standard Young tableaux of shape $λ$. We also consider the probability that a random pair $(P,Q)$ of standard Young tableaux of the same shape contains a fixed pair $(A,B)$ of standard Young tableaux.
On minimal prime graphs and posets
Published
• View Publication
• BIB
We show that there are four infinite prime graphs such that every infinite prime graph with no infinite clique embeds one of these graphs. We derive a similar result for infinite prime posets with no infinite chain or no infinite antichain.
Claw-freeness, 3-homogeneous subsets of a graph and a reconstruction problem
Published
• View Publication
• BIB
We describe $Forb\{K_{1,3}, \overline {K_{1,3}}\}$, the class of graphs $G$ such that
$G$ and its complement $ \overline{G}$ are claw-free. With few exceptions, it is made of graphs whose connected components consist of cycles of length at least 4, paths or isolated vertices, and of the complements of these graphs. Considering the hypergraph ${\mathcal H} ^{(3)}(G)$ made of the 3-element subsets of the vertex set of a graph $G$ on which $G$ induces a clique or an independent subset, we deduce from above a description of the Boolean sum $G\dot{+}G'$ of two graphs $G$ and $G'$ giving the same hypergraph. We indicate the role of this latter description in a reconstruction problem of graphs up to complementation.
On scattered posets with finite dimension
We discuss a possible characterization, by means of forbidden configurations, of posets which are embeddable in a product of finitely many scattered chains.
Graph Minors and Minimum Degree
Published in Electronic J. Combinatorics R151, 2010
• Search Publication
Let $\mathcal{D}_k$ be the class of graphs for which every minor has minimum degree at most $k$.
Then $\mathcal{D}_k$ is closed under taking minors.
By the Robertson-Seymour graph minor theorem, $\mathcal{D}_k$ is characterised by a finite family of minor-minimal forbidden graphs, which we denote by $\widehat{\mathcal{D}}_k$.
This paper discusses $\widehat{\mathcal{D}}_k$ and related topics. We obtain four main results:
We prove that every $(k+1)$-regular graph with less than ${4/3}(k+2)$ vertices is in $\widehat{\mathcal{D}}_k$, and this bound is best possible.
We characterise the graphs in $\widehat{\mathcal{D}}_{k+1}$ that can be obtained from a graph in $\widehat{\mathcal{D}}_k$ by adding one new vertex.
For $k\leq 3$ every graph in $\widehat{\mathcal{D}}_k$ is $(k+1)$-connected, but for large $k$, we exhibit graphs in $\widehat{\mathcal{D}}_k$ with connectivity 1. In fact, we construct graphs in $\mathcal{D}_k$ with arbitrary block structure.
We characterise the complete multipartite graphs in $\widehat{\mathcal{D}}_k$, and prove analogous characterisations with minimum degree replaced by connectivity, treewidth, or pathwidth.
Highest weight categories arising from Khovanov's diagram algebra III: category O
Published in Represent. Theory 15 (2011), 170-243
• View Publication
• BIB
We prove that integral blocks of parabolic category O associated to the subalgebra gl(m) x gl(n) of gl(m+n) are Morita equivalent to quasi-hereditary covers of generalised Khovanov algebras. Although this result is in principle known, the existing proof is quite indirect, going via perverse sheaves on Grassmannians. Our new approach is completely algebraic, exploiting Schur-Weyl duality for higher levels. As a by-product we get a concrete combinatorial construction of 2-Kac-Moody representations in the sense of Rouquier corresponding to level two weights in finite type A.
A proof of the rooted tree alternative conjecture
Published in Discrete Mathematics Volume 309, Issue 20, 28 October 2009, Pages 5963-5967
• View Publication
• BIB
Bonato and Tardif conjectured that the number of isomorphism classes of trees mutually embeddable with a given tree T is either 1 or infinite. We prove the analogue of their conjecture for rooted trees. We also discuss the original conjecture for locally finite trees and state some new conjectures.
Independence Complexes of Cylinders Constructed from Square and Hexagonal Grid Graphs
Fendley, Schoutens and van Eerten [Fendley et al., J. Phys. A: Math. Gen., 38 (2005), pp. 315-322] studied the hard square model at negative activity. They found analytical and numerical evidence that the eigenvalues of the transfer matrix with periodic boundary were all roots of unity. They also conjectured that for an m times n square grid, with doubly periodic boundary, the partition function is equal to 1 when m and n are relatively prime. These conjectures were later proven by Jonsson [Jonsson, Electronic J. Combin., 13(1) (2006), R67]. There, it was also noted that the cylindrical case seemed to have interesting properties when the circumference of the cylinder is odd. In particular, when 3 is a divisor of both the circumference and the width of the cylinder minus 1, the partition function is -2. Otherwise, it is equal to 1. In this paper, we investigate the hard square and hard hexagon models at activity -1, with single periodic boundary, i.e, cylindrical identifications, using both topological and combinatorial techniques. We compute the homology groups of the associated independence complex for small sizes and suggest a matching which, we believe, with further analysis could help solve the conjecture.