Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Forced Edges and Graph Structure
Published
• View Publication
• BIB
For a degree sequence, we define the set of edges that appear in every labeled realization of that sequence as forced, while the edges that appear in none as forbidden. We examine structure of graphs whose degree sequences contain either forced or forbidden edges. Among the things we show, we determine the structure of the forced or forbidden edge sets, the relationship between the sizes of forced and forbidden sets for a sequence, and the resulting structural consequences to their realizations. This includes showing that the diameter of every realization of a degree sequence containing forced or forbidden edges is no greater than 3, and that these graphs are maximally edge-connected.
Three Ways to Count Walks in a Digraph
We approach the problem of counting the number of walks in a digraph from three different perspectives: enumerative combinatorics, linear algebra, and symbolic dynamics.
Degree Ramsey numbers for even cycles
Published
• View Publication
• BIB
Let $H\xrightarrow{s} G$ denote that any $s$-coloring of $E(H)$ contains a monochromatic $G$. The degree Ramsey number of a graph $G$, denoted by $R_Δ(G, s)$, is $\min \{Δ(H): H \xrightarrow{s} G \}$. We consider degree Ramsey numbers where $G$ is a fixed even cycle. Kinnersley, Milans, and West showed that $R_Δ(C_{2k},s) \geq 2s$, and Kang and Perarnau showed that $R_Δ(C_4, s) = Θ(s^2)$. Our main result is that $R_Δ(C_6, s) = Θ(s^{3/2})$ and $R_Δ(C_{10}, s) = Θ(s^{5/4})$. Additionally, we substantially improve the lower bound for $R_Δ(C_{2k}, s)$ for general $k$.
Algebraic properties of chromatic roots
Published in Electronic J. Combinatorics 24(1) (2017), paper #P1.21
• View Publication
• BIB
A \emph{chromatic root} is a root of the chromatic polynomial of a graph. Any chromatic root is an algebraic integer. Much is known about the location of chromatic roots in the real and complex numbers, but rather less about their properties as algebraic numbers. This question was the subject of a seminar at the Isaac Newton Institute in late 2008. The purpose of this paper is to report on the seminar and subsequent developments.
We conjecture that, for every algebraic integer $α$, there is a natural number $n$ such that $α+n$ is a chromatic root. This is proved for quadratic integers, an extension to cubic integers has been found by Adam Bohn. The idea is to consider certain special classes of graphs for which the chromatic polynomial is a product of linear factors and one "interesting" factor of larger degree. We also report computational results on the Galois groups of irreducible factors of the chromatic polynomial for some special graphs. Finally, extensions to the Tutte polynomial are mentioned briefly.
Uniformity norms, their weaker versions, and applications
Published in Acta Arithmetica 203 (2022), 251-270
• View Publication
• BIB
We show that, under some mild hypotheses, the Gowers uniformity norms (both in the additive and in the hypergraph setting) are essentially equivalent to certain weaker norms which are easier to understand. We present two applications of this equivalence: a variant of the Koopman--von Neumann decomposition, and a proof of the relative inverse theorem for the Gowers $U^s[N]$-norm using a norm-type pseudorandomness condition.
A half-normal distribution scheme for generating functions
Published in Eur. J. Comb. Journal Profile 87, Article ID 103138, 20 p. (2020)
• View Publication
• BIB
We present a general theorem on the structure of bivariate generating functions which gives sufficient conditions such that the limiting probability distribution is a half-normal distribution. If $X$ is a normally distributed random variable with zero mean, then $|X|$ obeys a half-normal distribution. In the second part, we apply our result to prove three natural appearances in the domain of lattice paths: the number of returns to zero, the height, and the sign changes are under zero drift distributed according to a half-normal distribution. This extends known results to a general step set. Finally, our result also gives a new proof of Banach's matchbox problem.
Relative $m$-ovoids of elliptic quadrics
Let ${\cal Q}^-(2n+1,q)$ be an elliptic quadric of ${\rm PG}(2n+1,q)$. A relative $m$-ovoid of ${\cal Q}^-(2n+1,q)$ (with respect to a parablic section ${\cal Q} := {\cal Q}(2n,q) \subset {\cal Q}^-(2n+1,q)$) is a subset $\cal R$ of points of ${\cal Q}^-(2n+1,q)\setminus {\cal Q}$ such that every generator of ${\cal Q}^-(2n+1,q)$ not contained in $\cal Q$ meets $\cal R$ in precisely $m$ points. A relative $m$-ovoid having the same size as its complement (in ${\cal Q}^-(2n+1,q) \setminus {\cal Q}$) is called a relative hemisystem. We show that a nontrivial relative $m$-ovoid of ${\cal Q}^-(2n+1,q)$ is necessarily a relative hemisystem, forcing $q$ to be even. Also, we construct an infinite family of relative hemisystems of ${\cal Q}^-(4n+1,q)$, $n \ge 2$, admitting ${\rm PSp}(2n,q^2)$ as an automorphism group. Finally, some applications are given.
Double-critical graph conjecture for claw-free graphs
Published
• View Publication
• BIB
A connected graph $G$ with chromatic number $t$ is double-critical if $G \backslash \{x, y\}$ is $(t - 2)$-colorable for each edge $xy \in E(G)$. The complete graphs are the only known examples of double-critical graphs. A long-standing conjecture of Erd\H os and Lovász from 1966, which is referred to as the Double-Critical Graph Conjecture, states that there are no other double-critical graphs. That is, if a graph $G$ with chromatic number $t$ is double-critical, then $G$ is the complete graph on $t$ vertices. This has been verified for $t \le 5$, but remains open for $t \ge 6$. In this paper, we first prove that if $G$ is a non-complete, double-critical graph with chromatic number $t \ge 6$, then no vertex of degree $t + 1$ is adjacent to a vertex of degree $t+1$, $t + 2$, or $t + 3$ in $G$. We then use this result to show that the Double-Critical Graph Conjecture is true for double-critical graphs $G$ with chromatic number $t \le 8$ if $G$ is claw-free.
Ahlswede-Khachatrian Theorems: Weighted, Infinite, and Hamming
The seminal complete intersection theorem of Ahlswede and Khachatrian gives the maximum cardinality of a $k$-uniform $t$-intersecting family on $n$ points, and describes all optimal families. We extend this theorem to several other settings: the weighted case, the case of infinitely many points, and the Hamming scheme.
The weighted Ahlswede-Khachatrian theorem gives the maximal $μ_p$ measure of a $t$-intersecting family on $n$ points, where $μ_p(A) = p^{|A|} (1-p)^{n-|A|}$. As has been observed by Ahlswede and Khachatrian and by Dinur and Safra, this theorem can be derived from the classical one by a simple reduction. However, this reduction fails to identify the optimal families, and only works for $p < 1/2$. We translate the two original proofs of Ahlswede and Khachatrian to the weighted case, thus identifying the optimal families in all cases. We also extend the theorem to the case $p > 1/2$, using a different technique of Ahlswede and Khachatrian (the case $p = 1/2$ is Katona's intersection theorem). We then extend the weighted Ahlswede-Khachatrian theorem to the case of infinitely many points.
The Ahlswede-Khachatrian theorem on the Hamming scheme gives the maximum cardinality of a subset of $\mathbb{Z}_m^n$ in which any two elements $x,y$ have $t$ positions $i_1,\ldots,i_t$ such that $x_{i_j} - y_{i_j} \in \{-(s-1),\ldots,s-1\}$. We show that this case corresponds to $μ_p$ with $p = s/m$, extending work of Ahlswede and Khachatrian, who considered the case $s = 1$. We also determine the maximum cardinality families. We obtain similar results for subsets of $[0,1]^n$, though in this case we are not able to identify all maximum cardinality families.
Turán numbers of vertex-disjoint cliques in $r$-partite graphs
For two graphs $G$ and $H$, the Turán number $ex(G,H)$ is the maximum number of edges in a subgraph of $G$ that contains no copy of $H$. Chen, Li, and Tu determined the Turán numbers $ex(K_{m,n},kK_2)$ for all $k\geq 1$ [7]. In this paper we will determine the Turán numbers $ex(K_{a_1,\ldots,a_r},kK_r)$ for all $r\geq 3$ and $k\geq 1$.
On Delta Graphs and Delta Conjecture
Published in Revista Matematica. Teoría y Aplicaciones 2018
• View Publication
• BIB
In this paper we define two infinite families of graphs called C-$δ$ graphs and $δ$- graph and prove that $δ$-graphs satisfy $δ$ conjecture. Also we introduce a family of C-$δ$ graphs from which we can identify $δ$ graphs as their complements. Finally we give a list of C-$δ$ graphs and the relationship with their minimum semidefinite rank.
The IC-indices of Some Complete Multipartite Graphs
Published
• View Publication
• BIB
A coloring of a connected graph $G$ is a function $f$ mapping the vertex set of $G$ into the set of all integers. For any subgraph $H$ of $G$, we denote the sum of the values of $f$ on the vertices of $H$ as $f(H)$. If for any integer $k\in \{1,2,\cdots,f(G)\}$, there exists an induced connected subgraph $H$ of $G$ such that $f(H) = k$, then the coloring $f$ is called an IC-coloring of $G$. The IC-index of $G$, denoted as $M(G)$, is the maximum value of $f(G)$ over all possible IC-colorings $f$ of $G$. In this paper, we present a useful method from which a lower bound on the IC-index of any complete multipartite graph can be derived. Subsequently, we show that, for $m\geq 2 ~\mbox{and} ~n\geq 2$, our lower bound on $M(K_{1(n),m})$ is the exact value of it.
Optimal compression of approximate inner products and dimension reduction
Published
• View Publication
• BIB
Let $X$ be a set of $n$ points of norm at most $1$ in the Euclidean space $R^k$, and suppose $\varepsilon>0$. An $\varepsilon$-distance sketch for $X$ is a data structure that, given any two points of $X$ enables one to recover the square of the (Euclidean) distance between them up to an {\em additive} error of $\varepsilon$. Let $f(n,k,\varepsilon)$ denote the minimum possible number of bits of such a sketch. Here we determine $f(n,k,\varepsilon)$ up to a constant factor for all $n \geq k \geq 1$ and all $\varepsilon \geq \frac{1}{n^{0.49}}$. Our proof is algorithmic, and provides an efficient algorithm for computing a sketch of size $O(f(n,k,\varepsilon)/n)$ for each point, so that the square of the distance between any two points can be computed from their sketches up to an additive error of $\varepsilon$ in time linear in the length of the sketches. We also discuss the case of smaller $\varepsilon>2/\sqrt n$ and obtain some new results about dimension reduction in this range. In particular, we show that for any such $\varepsilon$ and any $k \leq t=\frac{\log (2+\varepsilon^2 n)}{\varepsilon^2}$ there are configurations of $n$ points in $R^k$ that cannot be embedded in $R^{\ell}$ for $\ell < ck$ with $c$ a small absolute positive constant, without distorting some inner products (and distances) by more than $\varepsilon$. On the positive side, we provide a randomized polynomial time algorithm for a bipartite variant of the Johnson-Lindenstrauss lemma in which scalar products are approximated up to an additive error of at most $\varepsilon$. This variant allows a reduction of the dimension down to $O(\frac{\log (2+\varepsilon^2 n)}{\varepsilon^2})$, where $n$ is the number of points.
Roman domination excellent graphs: trees
Published
• View Publication
• BIB
A Roman dominating function (RDF) on a graph $G = (V, E)$ is a labeling $f : V \rightarrow \{0, 1, 2\}$ such that every vertex with label $0$ has a neighbor with label $2$. The weight of $f$ is the value $f(V) = Σ_{v\in V} f(v)$. The Roman domination number, $γ_R(G)$, of $G$ is the minimum weight of an RDF on $G$. An RDF of minimum weight is called a $γ_R$-function. A graph G is said to be $γ_R$-excellent if for each vertex $x \in V$ there is a $γ_R$-function $h_x$ on $G$ with $h_x(x) \not = 0$. We present a constructive characterization of $γ_R$-excellent trees using labelings. A graph $G$ is said to be in class $UVR$ if $γ(G-v) = γ(G)$ for each $v \in V$, where $γ(G)$ is the domination number of $G$. We show that each tree in $UVR$ is $γ_R$-excellent.
Improved bounds on the diameter of lattice polytopes
Published in Acta Math. Hung. 154(2), 457-469 (2018)
• View Publication
• BIB
We show that the largest possible diameter $δ(d,k)$ of a $d$-dimensional polytope whose vertices have integer coordinates ranging between $0$ and $k$ is at most $kd-\lceil2d/3\rceil$ when $k\geq3$. In addition, we show that $δ(4,3)=8$. This substantiates the conjecture whereby $δ(d,k)$ is at most $\lfloor(k+1)d/2\rfloor$ and is achieved by a Minkowski sum of lattice vectors.
An O(m^9) ternary minimum-cost network flow LP model of the Assignment Problem polytope with applications to hard combinatorial optimization problems
Published
• View Publication
• BIB
In this paper, we present a new network flow linear programming (LP) model of the standard Assignment Problem (AP) polytope. The model is not meant to be competitive with the existing standard, two-dimensional abstraction of the AP with respect to solution procedures, as it is very-large-scale, with a variable space of dimension m^9, where m is the number of assignments. However, it allows for hard combinatorial optimization problems (COPs) to be solved as "strict" linear programs. Because the size complexity of the model is O(m^9), it affirms "P=NP." Conditions which can be used to assess the validity (or guide the formulations) of other models are developed. Illustrative applications to hard COPs are provided for the Quadratic Assignment (QAP) and Traveling Salesman (TSP) problems. Issues pertaining to the extended formulations "barriers" for the LP modeling of hard COPs are not discussed because the developments in the paper are focused on the AP polytope only, and also because the applicability/non-applicability of those "barriers" in the context of the modeling framework used is thoroughly addressed in a separate paper*. Specific reasons why applications of the proposed modeling approach in variable spaces of dimension less than m^9 may not yield integral LP models are discussed (in an appendix), along with an illustrative numerical example. *: Diaby, M., M. Karwan, and L. Sun [2024]. On modeling NP-Complete problems as polynomial-sized linear programs: Escaping/Side-stepping the "barriers." Available at: arXiv:2304.07716 [cc.CC].
Improving the Bounds On Murty_Simon Conjecture
A graph is said to be diameter-$k$-critical if its diameter is $k$ and removal of any of its edges increases its diameter. A beautiful conjecture by Murty and Simon, says that every diameter-2-critical graph of order $n$ has at most $\lfloor n^2/4\rfloor$ edges and equality holds only for $K_{\lceil n/2 \rceil,\lfloor n/2 \rfloor }$. Haynes et al. proved that the conjecture is true for $Δ\geq 0.7n$. They also proved that for $n>2000$, if $Δ\geq 0.6789n$ then the conjecture is true. We will improve this bound by showing that the conjecture is true for every $n$ if $Δ\geq\ 0.676n$.
Cubic graphs and the golden mean
Published
• View Publication
• BIB
The connective constant $μ(G)$ of a graph $G$ is the exponential growth rate of the number of self-avoiding walks starting at a given vertex. We investigate the validity of the inequality $μ\ge φ$ for infinite, transitive, simple, cubic graphs, where $φ:= \frac12(1+\sqrt 5)$ is the golden mean. The inequality is proved for several families of graphs including (i) Cayley graphs of infinite groups with three generators and strictly positive first Betti number, (ii) infinite, transitive, topologically locally finite (TLF) planar, cubic graphs, and (iii) cubic Cayley graphs with two ends. Bounds for $μ$ are presented for transitive cubic graphs with girth either $3$ or $4$, and for certain quasi-transitive cubic graphs.
An improved Moore bound for mixed graphs
A mixed graph $G$ can contain both (undirected) edges and arcs (directed edges). Here we derive an improved Moore-like bound for the maximum number of vertices of a mixed graph with diameter at least three. Moreover, a complete enumeration of all optimal $(1,1)$-regular mixed graphs with diameter three is presented, so proving that, in general, the proposed bound cannot be improved.
Robustness of graph properties
Published
• View Publication
• BIB
A typical result in graph theory says that a graph $G$, satisfying certain conditions, has some property $\cal P$. Once such a theorem is established, it is natural to ask how strongly $G$ satisfies $\cal P$. Can one strengthen the result by showing that $G$ possesses $\cal P$ in a robust way? What measures of robustness can one utilize? In this survey, we discuss various measures that can be used to study robustness of graph properties, illustrating them with examples.