Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Properties of Partial Dominating Sets of Graphs
A set $S\subseteq V$ is a dominating set of $G$ if every vertex in $V - S$ is adjacent to at least one vertex in $S$. The domination number $γ(G)$ of $G$ equals the minimum cardinality of a dominating set $S$ in $G$; we say that such a set $S$ is a $γ$-set. A generalization of this is partial domination which was introduced in 2017 by Case, Hedetniemi, Laskar, and Lipman [3,2] . In partial domination a set $S$ is a $p$-dominating set if it dominates a proportion $p$ of the vertices in $V$. The p-domination number $γ_{p}(G)$ is the minimum cardinality of a $p$-dominating set in $G$. In this paper, we investigate further properties of partial dominating sets, particularly ones related to graph products and locating partial dominating sets. We also introduce the concept of a $p$-influencing set as the union of all $p$-dominating sets for a fixed $p$ and investigate some of its properties.
On the Stanley depth of powers of monomial ideals
Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. In 1982, R. Stanley associated a combinatorial invariant to any finitely generated $\mathbb{Z}^n$-graded $S$-module which is now called Stanley depth. Stanley conjectured that this invariant is an upper bound for the depth of module. Stanley's conjecture has been disproved by Duval et al. \cite{abcj}, and the counterexample is a quotient of squarefree monomial ideals. On the other hand, there are evidences showing that Stanley's inequality can be true for high powers of monomial ideals. In this survey article, we collect the recent results in this direction. More precisely, we investigate the Stanley depth of powers, integral closure of powers and symbolic powers of monomial ideals.
Cospectral Bipartite Graphs with the Same Degree Sequences but with Different Number of Large Cycles
Finding the multiplicity of cycles in bipartite graphs is a fundamental problem of interest in many fields including the analysis and design of low-density parity-check (LDPC) codes. Recently, Blake and Lin computed the number of shortest cycles ($g$-cycles, where $g$ is the girth of the graph) in a bi-regular bipartite graph, in terms of the degree sequences and the spectrum (eigenvalues of the adjacency matrix) of the graph [{\em IEEE Trans. Inform. Theory 64(10):6526--6535, 2018}]. This result was subsequently extended in [{\em IEEE Trans. Inform. Theory, accepted for publication, Dec. 2018}] to cycles of length $g+2, \ldots, 2g-2$, in bi-regular bipartite graphs, as well as $4$-cycles and $6$-cycles in irregular and half-regular bipartite graphs, with $g \geq 4$ and $g \geq 6$, respectively. In this paper, we complement these positive results with negative results demonstrating that the information of the degree sequences and the spectrum of a bipartite graph is, in general, insufficient to count (a) the $i$-cycles, $i \geq 2g$, in bi-regular graphs, (b) the $i$-cycles for any $i > g$, regardless of the value of $g$, and $g$-cycles for $g \geq 6$, in irregular graphs, and (c) the $i$-cycles for any $i > g$, regardless of the value of $g$, and $g$-cycles for $g \geq 8$, in half-regular graphs. To obtain these results, we construct counter-examples using the Godsil-McKay switching.
More on Numbers and Graphs
In this note we revisit a "ring of graphs" Q in which the set of finite simple graphs N extend the role of the natural numbers and the signed graphs Z extend the role of the integers. We point out the existence of a norm which allows to complete Q to a real or complex Banach algebra R or C.
Tetrahedron trinomial coefficient transform
Published in Integers, 19 (2019) A41
• Search Publication
We introduce the tetrahedron trinomial coefficient transform which takes a Pascal-like arithmetical triangle to a sequence. We define a Pascal-like infinite tetrahedron H, and prove that the application of the tetrahedron trinomial transform to one face T of H provides the opposite edge E to T in H. It follows from the construction that the other directions in H parallel to E can be obtained similarly. In case of Pascal's triangle the sequence generated by the trinomial transform coincides the binomial transform of the central binomial coefficients.
Ihara zeta function, coefficients of Maclaurin series, and Ramanujan graphs
Let $X$ denote a connected $(q+1)$-regular undirected graph of finite order $n$. The graph $X$ is called Ramanujan whenever $$ |λ|\leq 2q^{\frac{1}{2}} $$ for all nontrivial eigenvalues $λ$ of $X$. We consider the variant $Ξ(u)$ of the Ihara zeta function $Z(u)$ of $X$ defined by \begin{gather*} Ξ(u)^{-1} =
\left\{
\begin{array}{ll}
(1-u)(1-qu)(1-q^{\frac{1}{2}} u)^{2n-2}(1-u^2)^{\frac{n(q-1)}{2}}
Z(u)
\qquad
&\hbox{if $X$ is nonbipartite},
(1-q^2u^2)
(1-q^{\frac{1}{2}} u)^{2n-4}
(1-u^2)^{\frac{n(q-1)}{2}+1}
Z(u)
\qquad
&\hbox{if $X$ is bipartite}.
\end{array}
\right. \end{gather*} The function $Ξ(u)$ satisfies the functional equation $Ξ(q^{-1} u^{-1})=Ξ(u)$. Let $\{h_k\}_{k=1}^\infty$ denote the number sequence given by $$ \frac{d}{du}\ln Ξ(q^{-\frac{1}{2}}u) =\sum_{k=0}^\infty h_{k+1} u^k. $$ In this paper we establish the equivalence of the following statements: (i) $X$ is Ramanujan; (ii) $h_k\geq 0$ for all $k\geq 1$; (iii) $h_{k}\geq 0$ for infinitely many even $k\geq 2$. Furthermore we derive the Hasse--Weil bound for the Ramanujan graphs.
Randomized construction of complexes with large diameter
We consider the question of the largest possible combinatorial diameter among $(d-1)$-dimensional simplicial complexes on $n$ vertices, denoted $H_s(n, d)$. Using a probabilistic construction we give a new lower bound on $H_s(n, d)$ that is within an $O(d^2)$ factor of the upper bound. This improves on the previously best-known lower bound which was within a factor of $e^{Θ(d)}$ of the upper bound. We also make a similar improvement in the case of pseudomanifolds.
Heat kernels are not uniform expanders
We study infinite analogues of expander graphs, namely graphs where subgraphs weighted by heat kernels form an expander family. Our main result is that there does not exist any infinite expander in this sense. This proves the analogue for random walks of Benjamini's conjecture that there is no infinite graph whose metric balls are uniformly expander. The proof relies on a study of stationary random graphs, in particular proving non-expansion of heat kernels in that setting. A key result is that any stationary random graph is stationary hyperfinite, which is potentially of independent interest.
The cut metric for probability distributions
Guided by the theory of graph limits, we investigate a variant of the cut metric for limit objects of sequences of discrete probability distributions. Apart from establishing basic results, we introduce a natural operation called {\em pinning} on the space of limit objects and show how this operation yields a canonical cut metric approximation to a given probability distribution akin to the weak regularity lemma for graphons. We also establish the cut metric continuity of basic operations such as taking product measures.
Steiner (revised) Szeged index of graphs
The Steiner distance in a graph, introduced by Chartrand et al. in 1989, is a natural generalization of the concept of classical graph distance. For a connected graph $G$ of order at least 2 and $S\subseteq V(G)$, the Steiner distance $d_G(S)$ of the set $S$ of vertices in $G$ is the minimum size of a connected subgraph whose vertex set contains or connects $S$. In this paper, we introduce the concept of the Steiner (revised) Szeged index ($rSz_k(G)$) $Sz_k(G)$ of a graph $G$, which is a natural generalization of the well-known (revised) Szeged index of chemical use. We determine the $Sz_k(G)$ for trees in general. Then we give a formula for computing the Steiner Szeged index of a graph in terms of orbits of automorphism group action on the edge set of the graph. Finally, we give sharp upper and lower bounds of ($rSz_k(G)$) $Sz_k(G)$ of a connected graph $G$, and establish some of its properties. Formulas of ($rSz_k(G)$) $Sz_k(G)$ for small and large $k$ are also given in this paper.
Distributed Submodular Minimization via Block-Wise Updates and Communications
In this paper we deal with a network of computing agents with local processing and neighboring communication capabilities that aim at solving (without any central unit) a submodular optimization problem. The cost function is the sum of many local submodular functions and each agent in the network has access to one function in the sum only. In this \emph{distributed} set-up, in order to preserve their own privacy, agents communicate with neighbors but do not share their local cost functions. We propose a distributed algorithm in which agents resort to the Lovàsz extension of their local submodular functions and perform local updates and communications in terms of single blocks of the entire optimization variable. Updates are performed by means of a greedy algorithm which is run only until the selected block is computed, thus resulting in a reduced computational burden. The proposed algorithm is shown to converge in expected value to the optimal cost of the problem, and an approximate solution to the submodular problem is retrieved by a thresholding operation. As an application, we consider a distributed image segmentation problem in which each agent has access only to a portion of the entire image. While agents cannot segment the entire image on their own, they correctly complete the task by cooperating through the proposed distributed algorithm.
The pebbling threshold spectrum and paths
Given a distribution of pebbles on the vertices of a graph, say that we can pebble a vertex if a pebble is left on it after some sequence of moves, each of which takes two pebbles from some vertex and places one on an adjacent vertex. A distribution is solvable if all vertices are pebblable; the pebbling threshold of a sequence of graphs is, roughly speaking, the total number of pebbles for which random distributions with that number of pebbles on a graph in the sequence change from being almost never solvable to being almost always solvable. We show that any sequence of connected graphs with strictly increasing orders always has some pebbling threshold which is $Ω(\sqrt{n})$ and $O(2^{\sqrt{2 \log_2 n}} n/\sqrt{\log_2 n})$, and that it is possible to construct such a sequence of connected graphs which has any desired pebbling threshold between these bounds. (Here, $n$ is the order of a graph in the sequence.) It follows that the sequence of paths, which, improving earlier estimates, we show has pebbling threshold $Θ(2^{\sqrt{\log_2 n}} n/\sqrt{\log_2 n})$, does not have the greatest possible pebbling threshold.
Budget Minimization with Precedence Constraints
Budget Minimization is a scheduling problem with precedence constraints, i.e., a scheduling problem on a partially ordered set of jobs $(N, \unlhd)$. A job $j \in N$ is available for scheduling, if all jobs $i \in N$ with $i \unlhd j$ are completed. Further, each job $j \in N$ is assigned real valued costs $c_{j}$, which can be negative or positive. A schedule is an ordering $j_{1}, \dots, j_{\vert N \vert}$ of all jobs in $N$. The budget of a schedule is the external investment needed to complete all jobs, i.e., it is $\max_{l \in \{0, \dots, \vert N \vert \} } \sum_{1 \le k \le l} c_{j_{k}}$. The goal is to find a schedule with minimum budget. Rafiey et al. (2015) showed that Budget Minimization is NP-hard following from a reduction from a molecular folding problem. We extend this result and prove that it is NP-hard to $α(N)$-approximate the minimum budget even on bipartite partial orders. We present structural insights that lead to arguably simpler algorithms and extensions of the results by Rafiey et al. (2015). In particular, we show that there always exists an optimal solution that partitions the set of jobs and schedules each subset independently of the other jobs. We use this structural insight to derive polynomial-time algorithms that solve the problem to optimality on series-parallel and convex bipartite partial orders.
Whitney Numbers for Poset Cones
Hyperplane arrangements dissect $\mathbb{R}^n$ into connected components called chambers, and a well-known theorem of Zaslavsky counts chambers as a sum of nonnegative integers called Whitney numbers of the first kind. His theorem generalizes to count chambers within any cone defined as the intersection of a collection of halfspaces from the arrangement, leading to a notion of Whitney numbers for each cone. This paper focuses on cones within the braid arrangement, consisting of the reflecting hyperplanes $x_i=x_j$ inside $\mathbb{R}^n$ for the symmetric group, thought of as the type $A_{n-1}$ reflection group. Here cones correspond to posets, chambers within the cone correspond to linear extensions of the poset, and the Whitney numbers of the cone interestingly refine the number of linear extensions of the poset. We interpret this refinement for all posets as counting linear extensions according to a statistic that generalizes the number of left-to-right maxima of a permutation. When the poset is a disjoint union of chains, we interpret this refinement differently, using Foata's theory of cycle decomposition for multiset permutations, leading to a simple generating function compiling these Whitney numbers.
$β$-Packing Sets in Graphs
A set $S\subseteq V$ is $α$-dominating if for all $v\in V-S$, $|N(v) \cap S | \geq α|N(v)|.$ The $α$-domination number of $G$ equals the minimum cardinality of an $α$-dominating set $S$ in $G$. Since being introduced by Dunbar, et al. in 2000, $α$-domination has been studied for various graphs and a variety of bounds have been developed. In this paper, we propose a new parameter derived by flipping the inequality in the definition of $α$-domination. We say a set $S \subset V$ is a $β$-packing set of a graph $G$ if $S$ is a proper, maximal set having the property that for all vertices $v \in V-S$, $|N(v) \cap S| \leq β|N(v)|$ for some $0 < β\leq 1.$ The $β$-packing number of $G$ ($β$-pack($G$)) equals the maximum cardinality of a $β$-packing set in $G$. In this research, we determine $β$-pack($G$) for several classes of graphs, and we explore some properties of $β$-packing sets.
Keywords: $β$-packing, $α$-domination, graph theory, graph parameters
Hamilton cycles in random graphs with minimum degree at least 3: an improved analysis
In this paper we consider the existence of Hamilton cycles in the random graph $G=G_{n,m}^{δ\geq 3}$. This a random graph chosen uniformly from the set of graphs with vertex set $[n]$, $m$ edges and minimum degree at least 3. Our ultimate goal is to prove that if $m=cn$ and $c>3/2$ is constant then $G$ is Hamiltonian w.h.p. In an earlier paper the second author showed that $c\geq 10$ is sufficient for this and in this paper we reduce the lower bound to $c>2.662...$. This new lower bound is the same lower bound found in Frieze and Pittel \cite{FP} for the expansion of so-called Pósa sets.
A bijective proof and generalization of Siladić's Theorem
Published in European journal of Combinatorics, 87 (2020)
• View Publication
• BIB
In a recent paper, Dousse introduced a refinement of Siladić's theorem on partitions, where parts occur in two primary and three secondary colors. Her proof used the method of weighted words and $q$-difference equations. The purpose of this paper is to give a bijective proof of a generalization of Dousse's theorem from two primary colors to an arbitrary number of primary colors.
Hankel Continued fractions and Hankel determinants of the Euler numbers
The Euler numbers occur in the Taylor expansion of $\tan(x)+\sec(x)$. Since Stieltjes, continued fractions and Hankel determinants of the even Euler numbers, on the one hand, of the odd Euler numbers, on the other hand, have been widely studied separately. However, no Hankel determinants of the (mixed) Euler numbers have been obtained and explicitly calculated. The reason for that is that some Hankel determinants of the Euler numbers are null. This implies that the Jacobi continued fraction of the Euler numbers does not exist. In the present paper, this obstacle is bypassed by using the Hankel continued fraction, instead of the $J$-fraction. Consequently, an explicit formula for the Hankel determinants of the Euler numbers is being derived, as well as a full list of Hankel continued fractions and Hankel determinants involving Euler numbers. Finally, a new $q$-analog of the Euler numbers $E_n(q)$ based on our continued fraction is proposed. We obtain an explicit formula for $E_n(-1)$ and prove a conjecture by R. J. Mathar on these numbers.
A note on Gallai-Ramsey number of even wheels
A Gallai coloring of a complete graph is an edge-coloring such that no triangle has all its edges colored differently. A Gallai $k$-coloring is a Gallai coloring that uses $k$ colors. Given a graph $H$ and an integer $k\geq 1$, the Gallai-Ramsey number $GR_k(H)$ of $H$ is the least positive integer $N$ such that every Gallai $k$-coloring of the complete graph $K_N$ contains a monochromatic copy of $H$. Let $W_{2n} $ denote an even wheel on $2n+1\ge5$ vertices. In this note, we study Gallai-Ramsey number of $W_{2n}$ and completely determine the exact value of $GR_k(W_4)$ for all $k\ge2$.
Twisted Schubert polynomials
Published
• View Publication
• BIB
We prove that twisted versions of Schubert polynomials defined by $\widetilde{\mathfrak S}_{w_0} = x_1^{n-1}x_2^{n-2} \cdots x_{n-1}$ and $\widetilde{\mathfrak S}_{ws_i} = (s_i+\partial_i)\widetilde{\mathfrak S}_w$ are monomial positive and give a combinatorial formula for their coefficients. In doing so, we reprove and extend a previous result about positivity of skew divided difference operators and show how it implies the Pieri rule for Schubert polynomials. We also give positive formulas for double versions of the $\widetilde{\mathfrak S}_w$ as well as their localizations.