arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82797 papers, 47838 authors in database)
2016-03-15
An easy upper bound for Ramsey numbers
It is observed that the conjugacy growth series of the infinite finitary symmetric group with respect to the generating set of transpositions is the generating series of the partition function. Other conjugacy growth series are computed, for other generating sets, for restricted permutational wreath products of finite groups by the finitary symmetric group, and for alternating groups. Similar methods are used to compute usual growth polynomials and conjugacy growth polynomials for finite symmetric groups and alternating groups, with respect to various generating sets of transpositions. Computations suggest a class of finite graphs, that we call partition-complete, which generalizes the class of semi-hamiltonian graphs, and which is of independent interest. Numerical evidences indicate that the coefficients of a series related to the finitary alternating group seem to satisfy congruence relations reminiscent of Ramanujan's congruences for the partition function.
2016-03-15 v4
Recent techniques and results on the Erdős-Pósa property
Published • View Publication • BIB
Several min-max relations in graph theory can be expressed in the framework of the Erdős-Pósa property. Typically, this property reveals a connection between packing and covering problems on graphs. We describe some recent techniques for proving this property that are related to tree-like decompositions. We also provide an unified presentation of the current state of the art on this topic.
2016-03-15
The generalized lifting property of Bruhat intervlas
Published • View Publication • BIB
In [E. Tsukerman and L. Williams, {\em Bruhat Interval Polytopes}, Advances in Mathematics, 285 (2015), 766-810] it is shown that every Bruhat interval of the symmetric group satisfies the so-called generalized lifting property. In this paper we show that a Coxeter group satisfies this property if and only if it is finite and simply-laced.
2016-03-15
"K-theoretic" analog of Postnikov-Shapiro algebra distinguishes graphs
Published • View Publication • BIB
In this paper we study a filtered "K-theoretical" analog of a graded algebra associated to any loopless graph G which was introduced in \cite{PS}. We show that two such filtered algebras are isomorphic if and only if their graphs are isomorphic. We also study a large family of filtered generalizations of the latter graded algebra which includes the above "K-theoretical" analog.
2016-03-15
Shifted Domino tableaux
We introduce new combinatorial objects called the shifted domino tableaux. We prove that these objects are in bijection with pairs of shifted Young tableaux. This bijection shows that shifted domino tableaux can be seen as elements of the super shifted plactic monoid, which is the shifted analog of the super plactic monoid. We also show that the sum over all shifted domino tableaux of a fixed shape describe a product of two Q-Schur functions, and by taking a different kind of shifted domino tableaux we describe a product of two P-Schur functions.
On the decomposition threshold of a given graph
Published • View Publication • BIB
We study the $F$-decomposition threshold $δ_F$ for a given graph $F$. Here an $F$-decomposition of a graph $G$ is a collection of edge-disjoint copies of $F$ in $G$ which together cover every edge of $G$. (Such an $F$-decomposition can only exist if $G$ is $F$-divisible, i.e. if $e(F)\mid e(G)$ and each vertex degree of $G$ can be expressed as a linear combination of the vertex degrees of $F$.) The $F$-decomposition threshold $δ_F$ is the smallest value ensuring that an $F$-divisible graph $G$ on $n$ vertices with $δ(G)\ge(δ_F+o(1))n$ has an $F$-decomposition. Our main results imply the following for a given graph $F$, where $δ_F^\ast$ is the fractional version of $δ_F$ and $χ:=χ(F)$: (i) $δ_F\le \max\{δ_F^\ast,1-1/(χ+1)\}$; (ii) if $χ\ge 5$, then $δ_F\in\{δ_F^{\ast},1-1/χ,1-1/(χ+1)\}$; (iii) we determine $δ_F$ if $F$ is bipartite. In particular, (i) implies that $δ_{K_r}=δ^\ast_{K_r}$. Our proof involves further developments of the recent `iterative' absorbing approach.
2016-03-15 v2
Incidences between points on a variety and planes in R^3
In this paper we establish an improved bound for the number of incidences between a set $P$ of $m$ points and a set $H$ of $n$ planes in $\mathbb R^3$, provided that the points lie on a two-dimensional nonlinear irreducible algebraic variety $V$ of constant degree. Specifically, the bound is $$ O\left( m^{2/3}n^{2/3} + m^{6/11}n^{9/11}\log^β(m^3/n) + m + n + \sum_\ell |P_\ell|\cdot |H_\ell| \right) , $$ where the constant of proportionality and the constant exponent $β$ depend on the degree of $V$, and where the sum ranges over all lines $\ell$ that are fully contained in $V$ and contain at least one point of $P$, so that, for each such $\ell$, $P_\ell = P\cap\ell$ and $H_\ell$ is the set of the planes of H that contain $\ell$. In addition, $\sum_\ell |P_\ell| = O(m)$ and $\sum_\ell |H_\ell| = O(n)$. This improves, for this special case, the earlier more general bound of Apfelbaum and Sharir (see also Brass and Knauer as well as Elekes and Tóth). This is a generalization of the incidence bound for points and circles in the plane (cf. Aronov et al., Aronov and Sharir, Marcus and Tardos), and is based on a recent result of Sharir and Zahl on the number of cuts that turn a collection of algebraic curves into pseudo-segments. The case where $V$ is a quadric is simpler to analyze, does not require the result of Sharir and Zahl, and yields the same bound as above, with $β=2/11$. We present an interesting application of our results to a problem, studied by Rudnev, on obtaining a lower bound on the number of distinct cross-ratios determined by $n$ real points, where our bound leads to a slight improvement in Rudnev's bound.
2016-03-15 v3
The chromatic number of dense random graphs
Published in Random Structures and Algorithms 53(1), 140-182, 2018 • View Publication • BIB
The chromatic number $χ(G)$ of a graph $G$ is defined as the minimum number of colours required for a vertex colouring where no two adjacent vertices are coloured the same. The chromatic number of the dense random graph $G \sim G(n,p)$ where $p \in (0,1)$ is constant has been intensively studied since the 1970s, and a landmark result by Bollobás in 1987 first established the asymptotic value of $χ(G)$. Despite several improvements of this result, the exact value of $χ(G)$ remains open. In this paper, new upper and lower bounds for $χ(G)$ are established. These bounds are the first ones that match each other up to a term of size $o(1)$ in the denominator: they narrow down the colouring rate $n/χ(G)$ of $G \sim G(n,p)$ to an explicit interval of length $o(1)$, answering a question of Kang and McDiarmid.
2016-03-15
Stars on trees
Published • View Publication • BIB
For a positive integer $r$ and a vertex $v$ of a graph $G$, let $\mathcal{I}_G^{(r)}(v)$ denote the set of all independent sets of $G$ that have exactly $r$ elements and contain $v$. Hurlbert and Kamat conjectured that for any $r$ and any tree $T$, there exists a leaf $z$ of $T$ such that $|\mathcal{I}_T^{(r)}(v)| \leq |\mathcal{I}_T^{(r)}(z)|$ for each vertex $v$ of $T$. They proved the conjecture for $r \leq 4$. For any $k \geq 3$, we construct a tree $T_k$ that has a vertex $x$ such that $x$ is not a leaf of $T_k$, $|\mathcal{I}_{T_k}^{(r)}(z)| < |\mathcal{I}_{T_k}^{(r)}(x)|$ for any leaf $z$ of $T_k$ and any $5 \leq r \leq 2k+1$, and $2k+1$ is the largest integer $s$ for which $\mathcal{I}_{T_k}^{(s)}(x)$ is non-empty. Therefore, the conjecture is not true for $r \geq 5$.
2016-03-14
Line k-Arboricity in Product Networks
Published • View Publication • BIB
A \emph{linear $k$-forest} is a forest whose components are paths of length at most $k$. The \emph{linear $k$-arboricity} of a graph $G$, denoted by ${\rm la}_k(G)$, is the least number of linear $k$-forests needed to decompose $G$. Recently, Zuo, He and Xue studied the exact values of the linear $(n-1)$-arboricity of Cartesian products of various combinations of complete graphs, cycles, complete multipartite graphs. In this paper, for general $k$ we show that $\max\{{\rm la}_{k}(G),{\rm la}_{\ell}(H)\}\leq {\rm la}_{\max\{k,\ell\}}(G\Box H)\leq {\rm la}_{k}(G)+{\rm la}_{\ell}(H)$ for any two graphs $G$ and $H$. Denote by $G\circ H$, $G\times H$ and $G\boxtimes H$ the lexicographic product, direct product and strong product of two graphs $G$ and $H$, respectively. We also derive upper and lower bounds of ${\rm la}_{k}(G\circ H)$, ${\rm la}_{k}(G\times H)$ and ${\rm la}_{k}(G\boxtimes H)$ in this paper. The linear $k$-arboricity of a $2$-dimensional grid graph, a $r$-dimensional mesh, a $r$-dimensional torus, a $r$-dimensional generalized hypercube and a $2$-dimensional hyper Petersen network are also studied.
2016-03-14 v2
Zeros of the zeta series of a poset and iterated barycentric subdivision
We study the limiting behavior of the zeros of the zeta series of a finite poset under iterated barycentric subdivision, and we indicate the possibility of its application to number theory.
2016-03-14 v3
Pairwise Stability in Two Sided Market with Strictly Increasing Valuation Functions
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 1, Discrete Algorithms (April 12, 2017) dmtcs:1415 • View Publication • BIB
This paper deals with two-sided matching market with two disjoint sets, i.e. the set of buyers and the set of sellers. Each seller can trade with at most with one buyer and vice versa. Money is transferred from sellers to buyers for an indivisible goods that buyers own. Valuation functions, for participants of both sides, are represented by strictly increasing functions with money considered as discrete variable. An algorithm is devised to prove the existence of stability for this model.
Loose Hamiltonian cycles forced by large $(k-2)$-degree - approximate version
Published in SIAM J. Discrete Math. 31(4) (2017), 2328-2347 • View Publication • BIB
We prove that for all $k\geq 4$ and $1\leq\ell<k/2$, every $k$-uniform hypergraph $\mathcal{H}$ on $n$ vertices with $δ_{k-2}(\mathcal{H})\geq\left(\frac{4(k-\ell)-1}{4(k-\ell)^2}+o(1)\right)\binom{n}{2}$ contains a Hamiltonian $\ell$-cycle if $k-\ell$ divides $n$. This degree condition is asymptotically best possible. The case $k=3$ was addressed earlier by Buß et al.
2016-03-14
Algebraic independence of $G$-functions and congruences "à la Lucas"
We develop a new method for proving algebraic independence of $G$-functions. Our approach rests on the following observation: $G$-functions do not always come with a single linear differential equation, but also sometimes with an infinite family of linear difference equations associated with the Frobenius that are obtained by reduction modulo prime ideals. When these linear difference equations have order one, the coefficients of the $G$-function satisfy congruences reminiscent of a classical theorem of Lucas on binomial coefficients. We use this to derive a Kolchin-like algebraic independence criterion. We show the relevance of this criterion by proving, using p-adic tools, that many classical families of $G$-functions turn out to satisfy congruences "à la Lucas".
2016-03-14
Betweenness Centrality of Cartesian Product of Graphs
Betweenness centrality is a widely-used measure in the analysis of large complex networks. It measures the potential or power of a vertex to control the communication over the network under the assumption that information primarily flows over the shortest paths between them. In this paper we prove several results on betweenness centrality of Cartesian product of graphs.
Cops and Robbers ordinals of cop-win trees
Published in Discrete Mathematics, 340 (2017), 951-956 • View Publication • BIB
A relational characterization of cop-win graphs was provided by Nowakowski and Winkler in their seminal paper on the game of Cops and Robbers. As a by-product of that characterization, each cop-win graph is assigned a unique ordinal, which we refer to as a CR-ordinal. For finite graphs, CR-ordinals correspond to the length of the game assuming optimal play, with the cop beginning the game in a least favourable initial position. For infinite graphs, however, the possible values of CR-ordinals have not been considered in the literature until the present work. We classify the CR-ordinals of cop-win trees as either a finite ordinal, or those of the form $α+ ω$, where $α$ is a limit ordinal. For general infinite cop-win graphs, we provide an example whose CR-ordinal is not of this form. We finish with some problems on characterizing the CR-ordinals in the general case of cop-win graphs.
2016-03-14 v2
Structure coefficients for Jack characters: approximate factorization property
Jack characters are a generalization of the characters of the symmetric groups; a generalization that is related to Jack symmetric functions. We investigate the structure coefficients for Jack characters; they are a generalization of the connection coefficients for the symmetric groups. More specifically, we study the cumulants which measure the discrepancy between these structure coefficients and the simplistic structure coefficients related to the disjoint product. We show that Jack characters satisfy approximate factorization property: their cumulants are of very small degree and the character related to a given partition is approximately equal to the product of the characters related to its parts. This result will play a key role in the proof of Gaussianity of fluctuations for a class of random Young diagrams related to the Jack polynomials.
2016-03-14
5-regular oriented graphs with optimum skew energy
Published • View Publication • BIB
Let $G$ be a simple undirected graph and $G^σ$ be the corresponding oriented graph of $G$ with the orientation $σ$. The skew energy of $G^σ$, denoted by $\varepsilon_s(G^σ)$, is defined as the sum of the singular values of the skew adjacency matrix $S(G^σ)$. In 2010, Adiga et al. certified that $\varepsilon_s(G^σ) \leq n\sqrtΔ$, where $Δ$ is the maximum degree of $G$ of order $n$. In this paper, we determine all connected 5-regular oriented graphs of order $n$ with maximum skew-energy.
2016-03-14
On the second smallest and the largest normalized Laplacian eigenvalues of a graph
Published • View Publication • BIB
Let $G$ be a simple connected graph with order $n$. Let $\mathcal{L}(G)$ be the normalized Laplacian matrix of $G$. Let $λ_{k}(G)$ be the $k$-th smallest normalized Laplacian eigenvalue of $G$. Denote $ρ(A)$ the spectral radius of the matrix $A$. In this paper, we study the behaviors of $λ_{2}(G)$ and $ρ(\mathcal{L}(G))$ when the graph is perturbed by three operations.
On the structure of the power graph and the enhanced power graph of a group
Published in Electronic J. Combinatorics 24(3) (2017), P3.16 • View Publication • BIB
Let $G$ be a group. The \emph{power graph} of $G$ is a graph with the vertex set $G$, having an edge between two elements whenever one is a power of the other. We characterize nilpotent groups whose power graphs have finite independence number. For a bounded exponent group, we prove its power graph is a perfect graph and we determine its clique/chromatic number. Furthermore, it is proved that for every group $G$, the clique number of the power graph of $G$ is at most countably infinite. We also measure how close the power graph is to the \emph{commuting graph} by introducing a new graph which lies in between. We call this new graph as the \emph{enhanced power graph}. For an arbitrary pair of these three graphs we characterize finite groups for which this pair of graphs are equal.