Showing 20 papers (Total: 82797 papers, 47838 authors in database)
The Enclaveless Competition Game
Published
• View Publication
• BIB
For a subset $S$ of vertices in a graph $G$, a vertex $v \in S$ is an enclave of $S$ if $v$ and all of its neighbors are in $S$, where a neighbor of $v$ is a vertex adjacent to $v$. A set $S$ is enclaveless if it does not contain any enclaves. The enclaveless number $Ψ(G)$ of $G$ is the maximum cardinality of an enclaveless set in $G$. As first observed in 1997 by Slater [J. Res. Nat. Bur. Standards 82 (1977), 197--202], if $G$ is a graph with $n$ vertices, then $γ(G) + Ψ(G) = n$ where $γ(G)$ is the well-studied domination number of $G$. In this paper, we continue the study of the competition-enclaveless game introduced in 2001 by Phillips and Slater [Graph Theory Notes N. Y. 41 (2001), 37--41] and defined as follows. Two players take turns in constructing a maximal enclaveless set $S$, where one player, Maximizer, tries to maximize $|S|$ and one player, Minimizer, tries to minimize~$|S|$. The competition-enclaveless game number $Ψ_g^+(G)$ of $G$ is the number of vertices played when Maximizer starts the game and both players play optimally. We study among other problems the conjecture that if $G$ is an isolate-free graph of order $n$, then $Ψ_g^+(G) \ge \frac{1}{2}n$. We prove this conjecture for regular graphs and for claw-free graphs.
An inverse formula for the distance matrix of a wheel graph with even number of vertices
Published
• View Publication
• BIB
Let $n \geq 4$ be an even integer and $W_n$ be the wheel graph with $n$ vertices. The distance $d_{ij}$ between any two distinct vertices $i$ and $j$ of $W_n$ is the length of the shortest path connecting $i$ and $j$. Let $D$ be the $n \times n$ symmetric matrix with diagonal entries equal to zero and off-diagonal entries equal to $d_{ij}$. In this paper, we find a positive semidefinite matrix $\widetilde{L}$ such that ${\rm rank}(\widetilde{L})=n-1$, all row sums of $\widetilde{L}$ equal to zero and a rank one matrix $ww^T$ such that \[D^{-1}=-\frac{1}{2}\widetilde{L} + \frac{4}{n-1}ww^T. \] An interlacing property between the eigenvalues of $D$ and $\widetilde{L}$ is also proved.
A subexponential upper bound for van der Waerden numbers W(3,k)
Published
• View Publication
• BIB
We show an improved upper estimate for van der Waerden number $W(3,k):$ there is an absolute constant $c>0$ such that if $\{1,\dots,N\}=X\cup Y$ is a partition such that $X$ does not contain any arithmetic progression of length $3$ and $Y$ does not contain any arithmetic progression of length $k$ then $$N\le \exp(O(k^{1-c}))\,.$$
Proof of some conjectural hypergeometric supercongruences via curious identities
Published
• View Publication
• BIB
In this paper, we prove several supercongruences conjectured by Z.-W. Sun ten years ago via certain strange hypergeometric identities. For example, for any prime $p>3$, we show that $$\sum_{k=0}^{p-1}\frac{\binom{4k}{2k+1}\binom{2k}k}{48^k}\equiv0\pmod{p^2},$$ and $$ \sum_{k=0}^{p-1}\frac{\binom{2k}{k}\binom{3k}{k}}{24^k}\equiv\begin{cases}\binom{(2p-2)/3}{(p-1)/3}\pmod{p^2}\ &\mbox{if}\ p\equiv1\pmod{3},\\ p/\binom{(2p+2)/3}{(p+1)/3}\pmod{p^2}\ &\mbox{if}\ p\equiv2\pmod{3}.\end{cases} $$ We also obtain some other results of such types.
On the number of minimal codewords in codes generated by the adjacency matrix of a graph
Published
• View Publication
• BIB
Minimal codewords have applications in decoding linear codes and in cryptography. We study the number of minimal codewords in binary linear codes that arise by appending a unit matrix to the adjacency matrix of a graph.
An integer program and new lower bounds for computing the strong rainbow connection numbers of graphs
Published
• View Publication
• BIB
We present an integer programming model to compute the strong rainbow connection number, $src(G)$, of any simple graph $G$. We introduce several enhancements to the proposed model, including a fast heuristic, and a variable elimination scheme. Moreover, we present a novel lower bound for $src(G)$ which may be of independent research interest. We solve the integer program both directly and using an alternative method based on iterative lower bound improvement, the latter of which we show to be highly effective in practice. To our knowledge, these are the first computational methods for the strong rainbow connection problem. We demonstrate the efficacy of our methods by computing the strong rainbow connection numbers of graphs containing up to $379$ vertices.
Quickly proving Diestel's normal spanning tree criterion
Published
• View Publication
• BIB
We present two short proofs for Diestel's criterion that a connected graph has a normal spanning tree provided it contains no subdivision of a countable clique in which every edge has been replaced by uncountably many parallel edges.
4-cop-win graphs have at least 19 vertices
Published in Discrete Applied Mathematics, 301:74-98, October 2021
• View Publication
• BIB
We show that the cop number of any graph on 18 or fewer vertices is at most 3. This answers a question posed by Andreae in 1986, as well as more recently by Baird et al. We also find all 3-cop-win graphs on 11 vertices, narrow down the possible 4-cop-win graphs on 19 vertices and make some progress on finding the minimum order of 3-cop-win planar graphs.
On the Minor Problem and Branching Coefficients
Published
• View Publication
• BIB
The Minor problem, namely the study of the spectrum of a principal submatrix of a Hermitian matrix taken at random on its orbit under conjugation, is revisited, with emphasis on the use of orbital integrals and on the connection with branching coefficients in the decomposition of an irreducible representation of U(n), resp. SU(n), into irreps of U(n-1), resp. SU(n-1).
List-three-coloring $ P_t $-free graphs with no induced 1-subdivision of $ K_{1,s} $
Let $s$ and $t$ be positive integers. We use $P_t$ to denote the path with $t$ vertices and $K_{1,s}$ to denote the complete bipartite graph with parts of size $1$ and $s$ respectively. The one-subdivision of $K_{1,s}$ is obtained by replacing every edge $\{u,v\}$ of $K_{1,s}$ by two edges $\{u,w\}$ and $\{v,w\}$ with a new vertex $w$. In this paper, we give a polynomial-time algorithm for the list-three-coloring problem restricted to the class of $P_t$-free graph with no induced 1-subdivision of $K_{1,s}$.
Optimal Sensor Placement in Power Grids: Power Domination, Set Covering, and the Neighborhoods of Zero Forcing Forts
Published
• View Publication
• BIB
To monitor electrical activity throughout the power grid and mitigate outages, sensors known as phasor measurement units can installed. Due to implementation costs, it is desirable to minimize the number of sensors deployed while ensuring that the grid can be effectively monitored. This optimization problem motivates the graph theoretic power dominating set problem. In this paper, we propose a novel integer program for identifying minimum power dominating sets by formulating a set cover problem. This problem's constraints correspond to neighborhoods of zero forcing forts; we study their structural properties and show they can be separated, allowing the proposed model to be solved via row generation. The proposed and existing methods are compared in several computational experiments in which the proposed method consistently exhibits an order of magnitude improvement in runtime performance.
The harmonic polytope
Published
• View Publication
• BIB
We study the harmonic polytope, which arose in Ardila, Denham, and Huh's work on the Lagrangian geometry of matroids. We describe its combinatorial structure, showing that it is a $(2n-2)$-dimensional polytope with $(n!)^2(1+\frac12+\cdots+\frac1n)$ vertices and $3^n-3$ facets. We also give a formula for its volume: it is a weighted sum of the degrees of the projective varieties of all the toric ideals of connected bipartite graphs with $n$ edges; or equivalently, a weighted sum of the lattice point counts of all the corresponding trimmed generalized permutahedra.
A conjecture of eigenvalues of threshold graphs
Published
• View Publication
• BIB
Let $A_n$ be the anti-regular graph of order $n.$ It was conjectured that among all threshold graphs on $n$ vertices, $A_n$ has the smallest positive eigenvalue and the largest eigenvalue less than $-1.$ Recently, in \cite{Cesar2} was given partial results for this conjecture and identified the critical cases where a more refined method is needed. In this paper, we deal with these cases and confirm that conjecture holds.
Coloring $(P_5, \text{gem})$-free graphs with $Δ-1$ colors
Published in Journal of Graph Theory. Vol. 101(4), December 2022, pp. 633-642
• View Publication
• BIB
The Borodin-Kostochka Conjecture states that for a graph $G$, if $Δ(G) \geq 9$ and $ω(G) \leq Δ(G)-1$, then $χ(G)\leqΔ(G) -1$. We prove the Borodin-Kostochka Conjecture for $(P_5, \text{gem})$-free graphs, i.e., graphs with no induced $P_5$ and no induced $K_1\vee P_4$.
Deformation of Cayley's hyperdeterminants
Published in Elec. J. Combin. 27(2) (2020) P2.50
• View Publication
• BIB
We introduce a deformation of Cayley's second hyperdeterminant for even-dimensional hypermatrices. As an application, we formulate a generalization of the Jacobi-Trudi formula for Macdonald functions of rectangular shapes generalizing Matsumoto's formula for Jack functions.
Tight relative $t$-designs on two shells in hypercubes, and Hahn and Hermite polynomials
Published in Ars Math. Contemp. 22 (2022) #P2.01
• View Publication
• BIB
Relative $t$-designs in the $n$-dimensional hypercube $\mathcal{Q}_n$ are equivalent to weighted regular $t$-wise balanced designs, which generalize combinatorial $t$-$(n,k,λ)$ designs by allowing multiple block sizes as well as weights. Partly motivated by the recent study on tight Euclidean $t$-designs on two concentric spheres, in this paper we discuss tight relative $t$-designs in $\mathcal{Q}_n$ supported on two shells. We show under a mild condition that such a relative $t$-design induces the structure of a coherent configuration with two fibers. Moreover, from this structure we deduce that a polynomial from the family of the Hahn hypergeometric orthogonal polynomials must have only integral simple zeros. The Terwilliger algebra is the main tool to establish these results. By explicitly evaluating the behavior of the zeros of the Hahn polynomials when they degenerate to the Hermite polynomials under an appropriate limit process, we prove a theorem which gives a partial evidence that the non-trivial tight relative $t$-designs in $\mathcal{Q}_n$ supported on two shells are rare for large $t$.
Anti-Ramsey threshold of cycles
Published
• View Publication
• BIB
For graphs $G$ and $H$, let $G \overset{\mathrm{rb}}{\longrightarrow} H$ denote the property that for every proper edge colouring of $G$ there is a rainbow copy of $H$ in $G$. Extending a result of Nenadov, Person, Škorić and Steger [J. Combin. Theory Ser. B 124 (2017),1-38], we determine the threshold for $G(n,p) \overset{\mathrm{rb}}{\longrightarrow} C_\ell$ for cycles $C_\ell$ of any given length $\ell \geq 4$.
Italian domination in rooted product graphs
Published
• View Publication
• BIB
In this article, we obtain closed formulae for the Italian domination number of rooted product graphs. As a particular case of the study, we derive the corresponding formulas for corona graphs, and we provide an alternative proof that the problem of computing the Italian domination number of a graph is NP-hard.
A cap covering theorem
Published in Combinatorica 41 (2021) 695-702
• View Publication
• BIB
A cap of spherical radius $α$ on a unit $d$-sphere $S$ is the set of points within spherical distance $α$ from a given point on the sphere. Let $\mathcal F$ be a finite set of caps lying on $S$. We prove that if no hyperplane through the center of $ S $ divides $\mathcal F$ into two non-empty subsets without intersecting any cap in $\mathcal F$, then there is a cap of radius equal to the sum of radii of all caps in $\mathcal F$ covering all caps of $\mathcal F$ provided that the sum of radii is less $π/2$.
This is the spherical analog of the so-called Circle Covering Theorem by Goodman and Goodman and the strengthening of Fejes Tóth's zone conjecture proved by Jiang and the author arXiv:1703.10550.
Complete Characterization of Incorrect Orthology Assignments in Best Match Graphs
Published
• View Publication
• BIB
Genome-scale orthology assignments are usually based on reciprocal best matches. In the absence of horizontal gene transfer (HGT), every pair of orthologs forms a reciprocal best match. Incorrect orthology assignments therefore are always false positives in the reciprocal best match graph. We consider duplication/loss scenarios and characterize unambiguous false-positive (u-fp) orthology assignments, that is, edges in the best match graphs (BMGs) that cannot correspond to orthologs for any gene tree that explains the BMG. Moreover, we provide a polynomial-time algorithm to identify all u-fp orthology assignments in a BMG. Simulations show that at least $75\%$ of all incorrect orthology assignments can be detected in this manner. All results rely only on the structure of the BMGs and not on any a priori knowledge about underlying gene or species trees.