contain ↗ reference
7689 papers tagged with this keyword
On some papers of Nikiforov
Published in Ars Combin. 135(2017), 187--195
• Search Publication
The well known Mantel's Theorem states that a graph on $n$ vertices and $m$ edges contains a triangle if $m>\frac{n^2}{4}$. Nosal proved that every graph on $m$ edges contains a triangle if the spectral radius $λ_1>\sqrt{m}$, which is a spectral analog of Mantel's Theorem. Furthermore, by using Motzkin-Straus Inequality, Nikiforov sharped Nosal's result and characterized the extremal graphs when the equality holds. Our first contribution in this note is to give two new proofs of the spectral concise Mantel's Theorem due to Nikiforov (without help of Motzkin-Straus Inequality). Nikiforov also obtained some results concerning the existence of consecutive cycles and spectral radius. Second, we prove a theorem concerning the existence of consecutive even cycles and spectral radius, which slightly improves a result of Nikiforov. At last, we focus on spectral radius inequalities. Hong proved his famous bound for spectral radius. Later, Hong, Shu and Fang generalized Hong's bound to connected graphs with given minimum degree. By using quite different technique, Nikiforov proved Hong et al.'s bound for general graphs independently. In this note, we prove a new spectral inequality by applying the technique of Nikiforov. Our result extends Stanley's spectral inequality.
Bressoud Style Identities for Regular Partitions and Overpartitions
We construct a family of partition identities which contain the following identities: Rogers-Ramanujan-Gordon identities, Bressoud's even moduli generalization of them, and their counterparts for overpartitions due to Lovejoy et al. and Chen et al. We obtain unusual companion identities to known theorems as well as to the new ones in the process. The proof is, against tradition, constructive and open to automation.
Characterizing 4-Critical Graphs of Ore-Degree at most Seven
Published
• View Publication
• BIB
Dirac introduced the notion of a k-critical graph, a graph that is not (k-1)-colorable but whose every proper subgraph is (k-1)-colorable. Brook's Theorem states that every graph with maximum degree k is k-colorable unless it contains a subgraph isomorphic to K_{k+1} (or an odd cycle for k=2). Equivalently, for all k>=4, the only k-critical graph of maximum degree k-1 is K_k. A natural generalization of Brook's theorem is to consider the Ore-degree of a graph, which is the maximum of d(u)+d(v) over all edges uv. Kierstead and Kostochka proved that for all k>=6 the only k-critical graph with Ore-degree at most 2k-1 is K_k. Kostochka, Rabern and Steibitz proved that the only 5-critical graphs with Ore-degree at most 9 are K_5 and a graph they called O_5.
A different generalization of Brook's theorem, motivated by Hajos' construction, is Gallai's conjectured bound on the minimum density of a k-critical graph. Recently, Kostochka and Yancey proved Gallai's conjecture. Their proof for k>=5 implies the above results on Ore-degree. However, the case for k=4 remains open, which is the subject of this paper.
Kostochka and Yancey's short but beautiful proof for the case k=4 says that if $G$ is a $4$-critical graph, then |E(G)|>= (5|V(G)|-2)/3. We prove the following bound which is better when there exists a large independent set of degree three vertices: if G is a 4-critical graph G, then |E(G)|>= 1.6 |V(G)| + .2 alpha(D_3(G)) - .6, where D_3(G) is the graph induced by the degree three vertices of G. As a corollary, we characterize the 4-critical graphs with Ore-degree at most seven as precisely the graphs of Ore-degree seven in the family of graphs obtained from K_4 and Ore compositions.
Induced subgraphs with large degrees at end-vertices for hamiltonicity of claw-free graphs
Published in Acta Math. Sin. (Engl. Ser.) 32 (2016), no. 7, 845--855
• View Publication
• BIB
A graph is called \emph{claw-free} if it contains no induced subgraph isomorphic to $K_{1,3}$. Matthews and Sumner proved that a 2-connected claw-free graph $G$ is hamiltonian if every vertex of it has degree at least $(|V(G)|-2)/3$. At the workshop C\&C (Novy Smokovec, 1993), Broersma conjectured the degree condition of this result can be restricted only to end-vertices of induced copies of $N$ (the graph obtained from a triangle by adding three disjoint pendant edges). Fujisawa and Yamashita showed that the degree condition of Matthews and Sumner can be restricted only to end-vertices of induced copies of $Z_1$ (the graph obtained from a triangle by adding one pendant edge). Our main result in this paper is a characterization of all graphs $H$ such that a 2-connected claw-free graph $G$ is hamiltonian if each end-vertex of every induced copy of $H$ in $G$ has degree at least $|V(G)|/3+1$. This gives an affirmative solution of the conjecture of Broersma up to an additive constant.
A characterization of $K_{2,4}$-minor-free graphs
Published
• View Publication
• BIB
We provide a complete structural characterization of $K_{2,4}$-minor-free graphs. The $3$-connected $K_{2,4}$-minor-free graphs consist of nine small graphs on at most eight vertices, together with a family of planar graphs that contains $K_4$ and, for each $n \ge 5$, $2n-8$ nonisomorphic graphs of order $n$. To describe the $2$-connected $K_{2,4}$-minor-free graphs we use $xy$-outerplanar graphs, graphs embeddable in the plane with a Hamilton $xy$-path so that all other edges lie on one side of this path. We show that, subject to an appropriate connectivity condition, $xy$-outerplanar graphs are precisely the graphs that have no rooted $K_{2,2}$-minor where $x$ and $y$ correspond to the two vertices on one side of the bipartition of $K_{2,2}$. Each $2$-connected $K_{2,4}$-minor-free graph is then (i) outerplanar, (ii) the union of three $xy$-outerplanar graphs and possibly the edge $xy$, or (iii) obtained from a $3$-connected $K_{2,4}$-minor-free graph by replacing each edge $x_iy_i$ in a set $\{x_1 y_1, x_2 y_2, \ldots, x_k y_k\}$ satisfying a certain condition by an $x_i y_i$-outerplanar graph.
A simple proof of a theorem of Schmerl and Trotter for permutations
Published
• View Publication
• BIB
When specialized to the context of permutations, Schmerl and Trotter's Theorem states that every simple permutation which is not a parallel alternation contains a simple permutation with one fewer entry. We give an elementary proof of this result.
A family of partitions of the set of walks on a directed graph
We present a family of partitions of $W_\mathcal{G}$, the set of walks on a directed graph $\mathcal{G}$. Each partition in this family is identified by an integer sequence $K$, which specifies a collection of cycles on $\mathcal{G}$ with a certain well-defined structure. We term such cycles resummable, and a walk that does not traverse any such cycles $K$-irreducible. For a given value of $K$, the corresponding partition of $W_\mathcal{G}$ consists of a collection of cells that each contain a single $K$-irreducible walk $i$ plus all walks that can be formed from $i$ by attaching one or more resummable cycles to its vertices.
We characterise the entire family of partitions of $W_\mathcal{G}$ by giving explicit expressions for the structure of the $K$-irreducible walks and the resummable cycles for arbitrary values of $K$. We demonstrate how these results can be exploited to recast the sum over all walks on a directed graph as a sum over dressed $K$-irreducible walks, and discuss the applications of this reformulation to matrix computations.
A Density Increment Approach to Roth's Theorem in the Primes
We prove that if $A$ is any set of prime numbers satisfying \[ \sum_{a\in A}\frac{1}{a}=\infty, \] then $A$ must contain a $3$-term arithmetic progression. This is accomplished by combining the transference principle with a density increment argument, exploiting the structure of the primes to obtain a large density increase at each step of the iteration. The argument shows that for any $B>0$, and $N>N_{0}(B)$, if $A$ is a subset of primes contained in $\{1,\dots,N\}$ with relative density $α(N)=(|A|\log N)/N$ at least \[ α(N)\gg_{B}\left(\log\log N\right)^{-B} \] then $A$ contains a $3$-term arithmetic progression.
On necklaces inside thin subsets of ${\Bbb R}^d$
Published
• View Publication
• BIB
We study similarity classes of point configurations in $\R^d$. Given a finite collection of points, a well-known question is: How high does the Hausdorff dimension $\hd(E)$ of a compact set $E \subset {\Bbb R}^d$, $d \ge 2$, need to be to ensure that $E$ contains some similar copy of this configuration? We prove results for a related problem, showing that for $\hd(D)$ sufficiently large, $E$ must contain many point configurations that we call $k$-necklaces of constant gap, generalizing equilateral triangles and rhombuses in higher dimensions. Our results extend and complement those in \cite{CLP14,BIT14}, where related questions were recently studied.
Scattered packings of cycles
Published
• View Publication
• BIB
We consider the problem Scattered Cycles which, given a graph $G$ and two positive integers $r$ and $\ell$, asks whether $G$ contains a collection of $r$ cycles that are pairwise at distance at least $\ell$. This problem generalizes the problem Disjoint Cycles which corresponds to the case $\ell = 1$. We prove that when parameterized by $r$, $\ell$, and the maximum degree $Δ$, the problem Scattered Cycles admits a kernel on $24 \ell^2 Δ^\ell r \log(8 \ell^2 Δ^\ell r)$ vertices. We also provide a $(16 \ell^2 Δ^\ell)$-kernel for the case $r=2$ and a $(148 Δr \log r)$-kernel for the case $\ell = 1$. Our proofs rely on two simple reduction rules and a careful analysis.
Colouring of plane graphs with unique maximal colours on faces
Published in J. Graph Theory, 83(4) 359-371, 2016
• View Publication
• BIB
The Four Colour Theorem asserts that the vertices of every plane graph can be properly coloured with four colors. Fabrici and Göring conjectured the following stronger statement to also hold: the vertices of every plane graph can be properly coloured with the numbers 1,...,4 in such a way that every face contains a unique vertex coloured with the maximal color appearing on that face. They proved that every plane graph has such a colouring with the numbers 1,...,6. We prove that every plane graph has such a colouring with the numbers 1,...,5 and we also prove the list variant of the statement for lists of sizes seven.
Some NP-complete edge packing and partitioning problems in planar graphs
Published
• View Publication
• BIB
Graph packing and partitioning problems have been studied in many contexts, including from the algorithmic complexity perspective. Consider the packing problem of determining whether a graph contains a spanning tree and a cycle that do not share edges. Bernáth and Király proved that this decision problem is NP-complete and asked if the same result holds when restricting to planar graphs. Similarly, they showed that the packing problem with a spanning tree and a path between two distinguished vertices is NP-complete. They also established the NP-completeness of the partitioning problem of determining whether the edge set of a graph can be partitioned into a spanning tree and a (not-necessarily spanning) tree. We prove that all three problems remain NP-complete even when restricted to planar graphs.
Davenport constant for semigroups II
Published
• View Publication
• BIB
Let $\mathcal{S}$ be a finite commutative semigroup. The Davenport constant of $\mathcal{S}$, denoted ${\rm D}(\mathcal{S})$, is defined to be the least positive integer $\ell$ such that every sequence $T$ of elements in $\mathcal{S}$ of length at least $\ell$ contains a proper subsequence $T'$ ($T'\neq T$) with the sum of all terms from $T'$ equaling the sum of all terms from $T$. Let $q>2$ be a prime power, and let $\F_q[x]$ be the ring of polynomials over the finite field $\F_q$. Let $R$ be a quotient ring of $\F_q[x]$ with $0\neq R\neq \F_q[x]$. We prove that $${\rm D}(\mathcal{S}_R)={\rm D}(U(\mathcal{S}_R)),$$ where $\mathcal{S}_R$ denotes the multiplicative semigroup of the ring $R$, and $U(\mathcal{S}_R)$ denotes the group of units in $\mathcal{S}_R$.
The universal homogeneous binary tree
Published
• View Publication
• BIB
A partial order is called semilinear iff the upper bounds of each element are linearly ordered and any two elements have a common upper bound. There exists, up to isomorphism, a unique countable existentially closed semilinear order, which we denote by S2. We study the reducts of S2, that is, the relational structures with the same domain as S2 all of whose relations are first-order definable in S2. Our main result is a classification of the model-complete cores of the reducts of S2. From this, we also obtain a classification of reducts up to first-order interdefinability, which is equivalent to a classification of all closed permutation groups that contain the automorphism group of S2.
Finite Chains inside Thin Subsets of ${\Bbb R}^d$
Published in Anal. PDE 9 (2016) 597-614
• View Publication
• BIB
In a recent paper, Chan, Łaba, and Pramanik investigated geometric configurations inside thin subsets of the Euclidean set possessing measures with Fourier decay properties. In this paper we ask which configurations can be found inside thin sets of a given Hausdorff dimension without any additional assumptions on the structure. We prove that if the Hausdorff dimension of $E \subset {\Bbb R}^d$, $d \ge 2$, is greater than $\frac{d+1}{2}$, then there exists a non-empty interval $I$ such that given any sequence $\{t_1, t_2, \dots, t_k; t_j \in I\}$, there exists a sequence ${\{x^j\}}_{j=1}^{k+1}$, such that $x^j \in E$ and $|x^{i+1}-x^i|=t_j$, $1 \leq i \leq k$. In other words, $E$ contains vertices of a chain of arbitrary length with prescribed gaps.
Erdős-Ko-Rado for Perfect Matchings
Published
• View Publication
• BIB
A perfect matching of a complete graph $K_{2n}$ is a 1-regular subgraph that contains all the vertices. Two perfect matchings intersect if they share an edge. It is known that if $\mathcal{F}$ is family of intersecting perfect matchings of $K_{2n}$, then $|\mathcal{F}| \leq (2(n-1) - 1)!!$ and if equality holds, then $\mathcal{F} = \mathcal{F}_{ij}$ where $ \mathcal{F}_{ij}$ is the family of all perfect matchings of $K_{2n}$ that contain some fixed edge $ij$. We give a short algebraic proof of this result, resolving a question of Godsil and Meagher. Along the way, we show that if a family $\mathcal{F}$ is non-Hamiltonian, that is, $m \cup m' \not \cong C_{2n}$ for any $m,m' \in \mathcal{F}$, then $|\mathcal{F}| \leq (2(n-1) - 1)!!$ and this bound is met with equality if and only if $\mathcal{F} = \mathcal{F}_{ij}$. Our results make ample use of a somewhat understudied symmetric commutative association scheme arising from the Gelfand pair $(S_{2n},S_2 \wr S_n)$. We give an exposition of a few new interesting objects that live in this scheme as they pertain to our results.
Davenport constant of the multiplicative semigroup of the quotient ring $\frac{\F_p[x]}{\langle f(x)\rangle}$
Published
• View Publication
• BIB
Let $\mathcal{S}$ be a finite commutative semigroup. The Davenport constant of $\mathcal{S}$, denoted $D(\mathcal{S})$, is defined to be the least positive integer $d$ such that every sequence $T$ of elements in $\mathcal{S}$ of length at least $d$ contains a subsequence $T'$ with the sum of all terms from $T'$ equaling the sum of all terms from $T$. Let $\F_p[x]$ be a polynomial ring in one variable over the prime field $\F_p$, and let $f(x)\in \F_p[x]$. In this paper, we made a study of the Davenport constant of the multiplicative semigroup of the quotient ring $\frac{\F_p[x]}{\langle f(x)\rangle}$. Among other results, we mainly prove that, for any prime $p>2$ and any polynomial $f(x)\in \F_p[x]$ which can be factorized into several pairwise non-associted irreducible polynomials in $\F_p[x]$, then $$D(\mathcal{S}_{f(x)}^p)=D(U(\mathcal{S}_{f(x)}^p)),$$ where $\mathcal{S}_{f(x)}^p$ denotes the multiplicative semigroup of the quotient ring $\frac{\F_p[x]}{\langle f(x)\rangle}$ and $U(\mathcal{S}_{f(x)}^p)$ denotes the group of units of the semigroup $\mathcal{S}_{f(x)}^p$.
Hyperbolic triangular buildings without periodic planes of genus two
Published
• View Publication
• BIB
We study surface subgroups of groups acting simply transitively on vertex sets of certain hyperbolic triangular buildings. The study is motivated by Gromov's famous surface subgroup question: Does every one-ended hyperbolic group contain a subgroup which is isomorphic to the fundamental group of a closed surface of genus at least 2? Here we consider surface subgroups of the 23 torsion free groups acting simply transitively on the vertices of hyperbolic triangular buildings of the smallest non-trivial thickness. These groups gave the first examples of cocompact lattices acting simply transitively on vertices of hyperbolic triangular Kac-Moody buildings that are not right-angled. With the help of computer searches we show, that in most of the cases there are no periodic apartments invariant under the action of a genus two surface. The existence of such an action would imply the existence of a surface subgroup, but it is not known, whether the existence of a surface subgroup implies the existence of a periodic apartment. These groups are the first candidates for groups that have no surface subgroups arising from periodic apartments.
Décomposition monomorphe des structures relationnelles et profil de classes héréditaires
We present a structural approach of some results about jumps in the behavior of the profile (alias generating function) of hereditary classes of finite structures. We start with the following notion due to N.Thiéry and the second author. A \emph{monomorphic decomposition} of a relational structure $R$ is a partition of its domain $V(R)$ into a family of sets $(V_x)_{x\in X}$ such that the restrictions of $R$ to two finite subsets $A$ and $A'$ of $V(R)$ are isomorphic provided that the traces $A\cap V_x$ and $A'\cap V_x$ have the same size for each $x\in X$. Let $\mathscr S_μ$ be the class of relational structures of signature $μ$ which do not have a finite monomorphic decomposition. We show that if a hereditary subclass $\mathscr D$ of $\mathscr S_μ$ is made of ordered relational structures then it contains a finite subset $\mathfrak A$ such that every member of $\mathscr D$ embeds some member of $\mathfrak A$. Furthermore, for each $R\in \mathfrak A$ the profile of the age $\mathcal A(R)$ of $R$ (made of finite substructures of $R$) is at least exponential. We deduce that if the profile of a hereditary class of finite ordered structures is not bounded by a polynomial then it is at least exponential. This result is a part of classification obtained by Balogh, Bollobás and Morris (2006) for ordered graphs. {\it To cite this article: Djamila Oudrar, Maurice Pouzet, C. R. Acad. Sci. Paris, Ser. I.}
Well-dominated graphs without cycles of lengths 4 and 5
Let $G$ be a graph. A set $S$ of vertices in $G$ dominates the graph if every vertex of $G$ is either in $S$ or a neighbor of a vertex in $S$. Finding a minimal cardinality set which dominates the graph is an NP-complete problem. The graph $G$ is well-dominated if all its minimal dominating sets are of the same cardinality. The complexity status of recognizing well-dominated graphs is not known. We show that recognizing well-dominated graphs can be done polynomially for graphs without cycles of lengths $4$ and $5$, by proving that a graph belonging to this family is well-dominated if and only if it is well-covered.
Assume that a weight function $w$ is defined on the vertices of $G$. Then $G$ is $w$-well-dominated} if all its minimal dominating sets are of the same weight. We prove that the set of weight functions $w$ such that $G$ is $w$-well-dominated is a vector space, and denote that vector space by $WWD(G)$. We prove that $WWD(G)$ is a subspace of $WCW(G)$, the vector space of weight functions $w$ such that $G$ is $w$-well-covered. We provide a polynomial characterization of $WWD(G)$ for the case that $G$ does not contain cycles of lengths $4$, $5$, and $6$.