Showing 20 papers (Total: 84253 papers, 48533 authors in database)
On Komlós' tiling theorem in random graphs
Published
• View Publication
• BIB
Conlon, Gowers, Samotij, and Schacht showed that for a given graph $H$ and a constant $γ> 0$, there exists $C > 0$ such that if $p \ge Cn^{-1/m_2(H)}$ then asymptotically almost surely every spanning subgraph $G$ of the random graph $\mathcal{G}(n,p)$ with minimum degree at least $δ(G) \ge (1 - 1/χ_{\mathrm{cr}}(H) + γ)np$ contains an $H$-packing that covers all but at most $γn$ vertices. Here, $χ_{\mathrm{cr}}(H)$ denotes the critical chromatic threshold, a parameter introduced by Komlós. We show that this theorem can be bootstraped to obtain an $H$-packing covering all but at most $γ(C/p)^{m_2(H)}$ vertices, which is strictly smaller when $p > C n^{-1/m_2(H)}$. In the case where $H = K_3$ this answers the question of Balogh, Lee, and Samotij. Furthermore, we give an upper bound on the size of an $H$-packing for certain ranges of $p$.
Plurigraph coloring and scheduling problems
Published in Electron. J. Combin. 24(2) (2017), #P2.29
• View Publication
• BIB
We define a new type of vertex coloring which generalizes vertex coloring in graphs, hypergraphs, and simplicial complexes. This coloring also generalizes oriented coloring, acyclic coloring, and star coloring. There is an associated symmetric function in noncommuting variables for which we give a deletion-contraction formula. In the case of graphs this symmetric function in noncommuting variables agrees with the chromatic symmetric function in noncommuting variables of Gebhard and Sagan. Our vertex coloring is a special case of the scheduling problems defined by Breuer and Klivans. We show how the deletion-contraction law can be applied to scheduling problems. Also, we show that the chromatic symmetric function determines the degree sequence of uniform hypertrees, but there exist pairs on $3$-uniform hypertrees which are not isomorphic yet have the same chromatic symmetric function.
Upper bounds for $s$-distance sets and equiangular lines
Published
• View Publication
• BIB
The set of points in a metric space is called an $s$-distance set if pairwise distances between these points admit only $s$ distinct values. Two-distance spherical sets with the set of scalar products $\{α, -α\}$, $α\in[0,1)$, are called equiangular. The problem of determining the maximum size of $s$-distance sets in various spaces has a long history in mathematics. We suggest a new method of bounding the size of an $s$-distance set in compact two-point homogeneous spaces via zonal spherical functions. This method allows us to prove that the maximum size of a spherical two-distance set in $\mathbb{R}^n$, $n\geq 7$, is $\frac{n(n+1)}2$ with possible exceptions for some $n=(2k+1)^2-3$, $k \in \mathbb{N}$. We also prove the universal upper bound $\sim \frac 2 3 n a^2$ for equiangular sets with $α=\frac 1 a$ and, employing this bound, prove a new upper bound on the size of equiangular sets in all dimensions. Finally, we classify all equiangular sets reaching this new bound.
A $p$-adic supercongruence for truncated hypergeometric series ${}_7F_6$
Published in Results Math. 72 (2017), 2057--2066
• View Publication
• BIB
Using an identity due to Gessel and Stanton and some properties of the $p$-adic Gamma function, we establish a $p$-adic supercongruence for truncated hypergeometric series ${}_7F_6$. From it we deduce some related supercongruences, which extend certain recent results and confirm a supercongruence conjecture.
Between the stochastic six vertex model and Hall-Littlewood processes
We prove that the joint distribution of the values of the height function for the stochastic six vertex model in a quadrant along a down-right path coincides with that for the lengths of the first columns of partitions distributed according to certain Hall-Littlewood processes. In the limit when one of the quadrant axes becomes continuous, we also show that the two-dimensional random field of the height function values has the same distribution as the lengths of the first columns of partitions from certain ascending Hall-Littlewood processes evolving under a Robinson-Schensted-Knuth type Markovian evolution.
Degree sum conditions for graphs to have proper connection number 2
A path $P$ in an edge-colored graph $G$ is a \emph{proper path} if no two adjacent edges of $P$ are colored with the same color. The graph $G$ is \emph{proper connected} if, between every pair of vertices, there exists a proper path in $G$. The \emph{proper connection number} $pc(G)$ of a connected graph $G$ is defined as the minimum number of colors to make $G$ proper connected. In this paper, we study the degree sum condition for a general graph or a bipartite graph to have proper connection number 2. First, we show that if $G$ is a connected noncomplete graph of order $n\geq 5$ such that $d(x)+d(y)\geq \frac{n}{2}$ for every pair of nonadjacent vertices $x,y\in V(G)$, then $pc(G)=2$ except for three small graphs on 6, 7 and 8 vertices. In addition, we obtain that if $G$ is a connected bipartite graph of order $n\geq 4$ such that $d(x)+d(y)\geq \frac{n+6}{4}$ for every pair of nonadjacent vertices $x,y\in V(G)$, then $pc(G)=2$. Examples are given to show that the above conditions are best possible.
On the real roots of $σ$-Polynomials
Published in Graphs and Combinatorics, 32(5) (2016), 1723-1730
• View Publication
• BIB
The $σ$-polynomial is given by $σ(G,x) = \sum_{i=χ(G)}^{n} a_{i}(G)\, x^{i}$, where $a_{i}(G)$ is the number of partitions of the vertices of $G$ into $i$ nonempty independent sets. These polynomials are closely related to chromatic polynomials, as the chromatic polynomial of $G$ is given by $\sum_{i=χ(G)}^{n} a_{i}(G)\, x(x-1) \cdots (x-(i-1))$. It is known that the closure of the real roots of chromatic polynomials is precisely $\{0,~1\} \bigcup [32/27,\infty)$, with $(-\infty,0)$, $(0,1)$ and $(1,32/27)$ being maximal zero-free intervals for roots of chromatic polynomials. We ask here whether such maximal zero-free intervals exist for $σ$-polynomials, and show that the only such interval is $[0,\infty)$ -- that is, the closure of the real roots of $σ$-polynomials is $(-\infty,0]$.
Three matching intersection property for matching covered graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Graph Theory (January 15, 2018) dmtcs:3728
• View Publication
• BIB
In connection with Fulkerson's conjecture on cycle covers, Fan and Raspaud proposed a weaker conjecture: For every bridgeless cubic graph $G$, there are three perfect matchings $M_1$, $M_2$, and $M_3$ such that $M_1\cap M_2 \cap M_3=\emptyset$. We call the property specified in this conjecture the three matching intersection property (and 3PM property for short). We study this property on matching covered graphs. The main results are a necessary and sufficient condition and its applications to characterization of special graphs, such as the Halin graphs and 4-regular graphs.
Restraints Permitting the Largest Number of Colourings
Published in Discrete Applied Mathematics, 222 (2017), 76-88
• View Publication
• BIB
A \textit{restraint} $r$ on $G$ is a function which assigns each vertex $v$ of $G$ a finite set of forbidden colours $r(v)$. A proper colouring $c$ of $G$ is said to be \textit{permitted by the restraint r} if $c(v)\notin r(v)$ for every vertex $v$ of $G$. A restraint $r$ on a graph $G$ with $n$ vertices is called a \textit{$k$-restraint} if $|r(v)|=k$ and $r(v) \subseteq \{1,2,\dots ,kn\}$ for every vertex $v$ of $G$. In this article we discuss the following problem: among all $k$-restraints $r$ on $G$, which restraints permit the largest number of $x$-colourings for all large enough $x$? We determine such extremal restraints for all bipartite graphs.
New Bounds for Chromatic Polynomials and Chromatic Roots
Published in Discrete Mathematics, 338(11) (2015), 1938-1946
• View Publication
• BIB
If $G$ is a $k$-chromatic graph of order $n$ then it is known that the chromatic polynomial of $G$, $π(G,x)$, is at most $x(x-1)\cdots (x-(k-1))x^{n-k} = (x)_{\downarrow k}x^{n-k}$ for every $x\in \mathbb{N}$. We improve here this bound by showing that \[ π(G,x) \leq (x)_{\downarrow k} (x-1)^{Δ(G)-k+1} x^{n-1-Δ(G)}\] for every $x\in \mathbb{N},$ where $Δ(G)$ is the maximum degree of $G$. Secondly, we show that if $G$ is a connected $k$-chromatic graph of order $n$ where $k\geq 4$ then $π(G,x)$ is at most $(x)_{\downarrow k}(x-1)^{n-k}$ for every real $x\geq n-2+\left( {n \choose 2} -{k \choose 2}-n+k \right)^2$ (it had been previously conjectured that this inequality holds for all $x \geq k$). Finally, we provide an upper bound on the moduli of the chromatic roots that is an improvment over known bounds for dense graphs.
Tournament limits: Degree distributions, score functions and self-converseness
Motivated by known results for finite tournaments, we define and study the score functions of tournament kernels and the degree distributions of tournament limits. Our main theorem completely characterises those distributions that appear as the degree distribution of some tournament limit and those functions that appear as the score function of some tournament kernel. We also show that only the uniform distribution can be realised as the outdegree distribution of a unique tournament limit. Finally we define self-converse tournament limits and kernels and characterise their degree distributions and score functions.
Induced Weights on Quotient Modules and an Application to Error Correction in Coherent Networks
Published
• View Publication
• BIB
We consider distance functions on a quotient module $M/K$ induced by distance functions on a module $M$. We define error-correction for codes in $M/K$ with respect to induced distance functions. For the case that the metric is induced by a homogeneous weight, we derive analogues of the Plotkin and Elias-Bassalygo bounds and give their asymptotic versions. These results have applications to coherent network error-correction in the presence of adversarial errors. We outline this connection, extending the linear network coding scheme introduced by Yang et al.
Alcove path model for $B(\infty)$
Published in J. Pure Appl. Algebra, 223(11) (2019) pp. 4778-4800
• View Publication
• BIB
We construct a model for $B(\infty)$ using the alcove path model of Lenart and Postnikov. We show that the continuous limit of our model recovers a dual version of the Littelmann path model for $B(\infty)$ given by Li and Zhang. Furthermore, we consider the dual version of the alcove path model and obtain analogous results for the dual model, where the continuous limit gives the Li and Zhang model.
Partition dimension of projective planes
We determine the partition dimension of the incidence graph $G(Π_q)$ of the projective plane $Π_q$ up to a constant factor $2$ as $(2+o(1))\log_2{q}\leq \mathrm{pd}(G(Π_q))\leq (4+o(1))\log_2{q}.$
Discretized sum-product estimates in matrix algebras
Published
• View Publication
• BIB
We generalize Bourgain's discretized sum-product theorem to matrix algebras.
Direct solution of piecewise linear systems
Published in Theor. Comp. Science 626 (2016) 97-109;
• View Publication
• BIB
Let $S$ be a real $n\times n$ matrix, $z,\hat c\in \mathbb R^n$, and $| z|$ the componentwise modulus of $z$. Then the piecewise linear equation system $$z-S| z| = \hat c$$ is called an \textit{absolute value equation} (AVE). It has been proven to be equivalent to the general \textit{linear complementarity problem}, which means that it is NP hard in general.
We will show that for several system classes the AVE essentially retains the good natured solvability properties of regular linear systems. I.e., it can be solved directly by a slightly modified Gaussian elimination that we call the signed Gaussian elimination. For dense matrices $S$ this algorithm has the same operations count as the classical Gaussian elimination with symmetric pivoting. For tridiagonal systems in $n$ variables its computational cost is roughly that of sorting $n$ floating point numbers. The sharpness of the proposed restrictions on $S$ will be established.
Maximum Weight Stable Set in ($P_7$, bull)-free graphs and ($S_{1,2,3}$, bull)-free graphs
We give a polynomial time algorithm that finds the maximum weight stable set in a graph that does not contain an induced path on seven vertices or a bull (the graph with vertices $a$, $b$, $c$, $d$, $e$ and edges $ab$, $bc$, $cd$, $be$, $ce$). With the same arguments with also give a polynomial algorithm for any graph that does not contain $S_{1,2,3}$ or a bull.
The Optimal Pebbling Number of Staircase Graphs
Let G be a graph with a distribution of pebbles on its vertices. A pebbling move consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The optimal pebbling number of G is the smallest number of pebbles which can placed on the vertices of G such that, for any vertex v of G, there is a sequence of pebbling moves resulting in at least one pebble on v. We determine the optimal pebbling number for several classes of induced subgraphs of the square grid, which we call staircase graphs.
Stapledon Decompositions and Inequalities for Coefficients of Chromatic Polynomials
We use a polynomial decomposition result by Stapledon to show that the numerator polynomial of the Ehrhart series of an open polytope is the difference of two symmetric polynomials with nonnegative integer coefficients. We obtain a related decomposition for order polytopes and for the numerator polynomial of the corresponding series for chromatic polynomials. The nonnegativity of the coefficients in such decompositions provide inequalities satisfied by the coefficients of chromatic polynomials for any simple graph.
Geometry of $ν$-Tamari lattices in types $A$ and $B$
Published
• View Publication
• BIB
In this paper, we exploit the combinatorics and geometry of triangulations of products of simplices to derive new results in the context of Catalan combinatorics of $ν$-Tamari lattices. In our framework, the main role of "Catalan objects" is played by $(I,\overline{J})$-trees: bipartite trees associated to a pair $(I,\overline{J})$ of finite index sets that stand in simple bijection with lattice paths weakly above a lattice path $ν=ν(I,\overline{J})$. Such trees label the maximal simplices of a triangulation whose dual polyhedral complex gives a geometric realization of the $ν$-Tamari lattice introduced by Prévile-Ratelle and Viennot. In particular, we obtain geometric realizations of $m$-Tamari lattices as polyhedral subdivisions of associahedra induced by an arrangement of tropical hyperplanes, giving a positive answer to an open question of F.~Bergeron.
The simplicial complex underlying our triangulation endows the $ν$-Tamari lattice with a full simplicial complex structure. It is a natural generalization of the classical simplicial associahedron, alternative to the rational associahedron of Armstrong, Rhoades and Williams, whose $h$-vector entries are given by a suitable generalization of the Narayana numbers.
Our methods are amenable to cyclic symmetry, which we use to present type $B$ analogues of our constructions. Notably, we define a partial order that generalizes the type $B$ Tamari lattice, introduced independently by Thomas and Reading, along with corresponding geometric realizations.