Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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.
Induced bisecting families for hypergraphs
Published
• View Publication
• BIB
Two $n$-dimensional vectors $A$ and $B$, $A,B \in \mathbb{R}^n$, are said to be \emph{trivially orthogonal} if in every coordinate $i \in [n]$, at least one of $A(i)$ or $B(i)$ is zero. Given the $n$-dimensional Hamming cube $\{0,1\}^n$, we study the minimum cardinality of a set $\mathcal{V}$ of $n$-dimensional $\{-1,0,1\}$ vectors, each containing exactly $d$ non-zero entries, such that every `possible' point $A \in \{0,1\}^n$ in the Hamming cube has some $V \in \mathcal{V}$ which is orthogonal, but not trivially orthogonal, to $A$. We give asymptotically tight lower and (constructive) upper bounds for such a set $\mathcal{V}$ except for the even values of $d \in Ω(n^{0.5+ε})$, for any $ε$, $0< ε\leq 0.5$.
On hamiltonian colorings of trees
Published in In: S. Govindrajan and A. Maheshwari (eds.), Algorithms and Discrete Applied Math., CALDAM 2016, LNCS, Vol. 9602, pp.49-60, Springer, Heidelberg (2016)
• View Publication
• BIB
A hamiltonian coloring $c$ of a graph $G$ of order $n$ is a mapping $c$ : $V(G) \rightarrow \{0,1,2,...\}$ such that $D(u, v)$ + $|c(u) - c(v)|$ $\geq$ $n-1$, for every two distinct vertices $u$ and $v$ of $G$, where $D(u, v)$ denotes the detour distance between $u$ and $v$ which is the length of a longest $u,v$-path in $G$. The value $hc(c)$ of a hamiltonian coloring $c$ is the maximum color assigned to a vertex of $G$. The hamiltonian chromatic number, denoted by $hc(G)$, is the min{$hc(c)$} taken over all hamiltonian coloring $c$ of $G$. In this paper, we present a lower bound for the hamiltonian chromatic number of trees and give a sufficient condition to achieve this lower bound. Using this condition we determine the hamiltonian chromatic number of symmetric trees, firecracker trees and a special class of caterpillars.
Transitive closure and transitive reduction in bidirected graphs
Published in Czechoslovak Math. J., 69(2) (2019), 295-315
• View Publication
• BIB
In a bidirected graph an edge has a direction at each end, so bidirected graphs generalize directed graphs. We generalize the definitions of transitive closure and transitive reduction from directed graphs to bidirected graphs by introducing new notions of bipath and bicircuit that generalize directed paths and cycles. We show how transitive reduction is related to transitive closure and to the matroids of the signed graph corresponding to the bidirected graph.
Closed-Form Expressions for the n-Queens Problem and Related Problems
Published
• View Publication
• BIB
In this paper, we derive simple closed-form expressions for the $n$-queens problem and three related problems in terms of permanents of $(0,1)$ matrices. These formulas are the first of their kind. Moreover, they provide the first method for solving these problems with polynomial space that has a nontrivial time complexity bound. We then show how a closed-form for the number of Latin squares of order $n$ follows from our method. Finally, we prove lower bounds. In particular, we show that the permanent of Schur's complex valued matrix is a lower bound for the toroidal semi-queens problem, or equivalently, the number of transversals in a cyclic Latin square.
Some families of trees arising in permutation analysis
Published
• View Publication
• BIB
We extend classical results on simple varieties of trees (asymptotic enumeration, average behavior of tree parameters) to trees counted by their number of leaves. Motivated by genome comparison of related species, we then apply these results to strong interval trees with a restriction on the arity of prime nodes. Doing so, we describe a filtration of the set of permutations based on their strong interval trees. This filtration is also studied from a purely analytical point of view, thus illustrating the convergence of analytic series towards a non-analytic limit at the level of the asymptotic behavior of their coefficients.
Higher Dimensional Quasi-Power Theorem and Berry-Esseen Inequality
Published in Monatsh. Math. 187 (2018), 293-314
• View Publication
• BIB
Hwang's quasi-power theorem asserts that a sequence of random variables whose moment generating functions are approximately given by powers of some analytic function is asymptotically normally distributed. This theorem is generalised to higher dimensional random variables. To obtain this result, a higher dimensional analogue of the Berry-Esseen inequality is proved, generalising a two-dimensional version by Sadikova.