Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Radio number of trees
Published
• View Publication
• BIB
A radio labeling of a graph $G$ is a mapping $f: V(G) \rightarrow \{0, 1, 2, \ldots\}$ such that $|f(u)-f(v)|\geq d + 1 - d(u,v)$ for every pair of distinct vertices $u, v$ of $G$, where $d$ is the diameter of $G$ and $d(u,v)$ the distance between $u$ and $v$ in $G$. The radio number of $G$ is the smallest integer $k$ such that $G$ has a radio labeling $f$ with $\max\{f(v) : v \in V(G)\} = k$. We give a necessary and sufficient condition for a lower bound on the radio number of trees to be achieved, two other sufficient conditions for the same bound to be achieved by a tree, and an upper bound on the radio number of trees. Using these, we determine the radio number for three families of trees.
Algorithmic Aspects of Regular Graph Covers
A graph $G$ covers a graph $H$ if there exists a locally bijective homomorphism from $G$ to $H$. We deal with regular covers where this homomorphism is prescribed by the action of a semiregular subgroup of $\textrm{Aut}(G)$. We study computational aspects of regular covers that have not been addressed before. The decision problem RegularCover asks for given graphs $G$ and $H$ whether $G$ regularly covers $H$. When $|H|=1$, this problem becomes Cayley graph recognition for which the complexity is still unresolved. Another special case arises for $|G| = |H|$ when it becomes the graph isomorphism problem.
Our main result is an involved FPT algorithm solving RegularCover for planar inputs $G$ in time $O^*(2^{e(H)/2})$ where $e(H)$ denotes the number of edges of $H$. The algorithm is based on dynamic programming and employs theoretical results proved in a related structural paper. Further, when $G$ is 3-connected, $H$ is 2-connected or the ratio $|G|/|H|$ is an odd integer, we can solve the problem RegularCover in polynomial time. In comparison, Bílka et al. (2011) proved that testing general graph covers is NP-complete for planar inputs $G$ when $H$ is a small fixed graph such as $K_4$ or $K_5$.
Optical tomography on graphs
Published
• View Publication
• BIB
We present an algorithm for solving inverse problems on graphs analogous to those arising in diffuse optical tomography for continuous media. In particular, we formulate and analyze a discrete version of the inverse Born series, proving estimates characterizing the domain of convergence, approximation errors, and stability of our approach. We also present a modification which allows additional information on the structure of the potential to be incorporated, facilitating recovery for a broader class of problems.
The excluded minors for the class of matroids that are graphic or bicircular lift
Published
• View Publication
• BIB
Bicircular lift matroids are a class of matroids defined on the edge set of a graph. For a given graph $G$, the circuits of its bicircular lift matroid $L(G)$ are the edge sets of those subgraphs of $G$ that contain at least two cycles, and are minimal with respect to this property. For each cycle $C$ of $G$, since $L(G)/C$ is graphic and most graphic matroids are not bicircular lift, the class of bicircular lift matroids is not minor-closed. In this paper, we prove that the class of matroids that are graphic or bicircular lift has a finite list of excluded minors.
Trees with Equal Total Domination and Game Total Domination Numbers
Published
• View Publication
• BIB
In this paper, we continue the study of the total domination game in graphs introduced in [Graphs Combin. 31(5) (2015), 1453--1462], where the players Dominator and Staller alternately select vertices of $G$. Each vertex chosen must strictly increase the number of vertices totally dominated, where a vertex totally dominates another vertex if they are neighbors. This process eventually produces a total dominating set $S$ of $G$ in which every vertex is totally dominated by a vertex in $S$. Dominator wishes to minimize the number of vertices chosen, while Staller wishes to maximize it. The game total domination number, $γ_{\rm tg}(G)$, (respectively, Staller-start game total domination number, $γ_{\rm tg}'(G)$) of $G$ is the number of vertices chosen when Dominator (respectively, Staller) starts the game and both players play optimally. For general graphs $G$, sometimes $γ_{\rm tg}(G) > γ_{\rm tg}'(G)$. We show that if $G$ is a forest with no isolated vertex, then $γ_{\rm tg}(G) \le γ_{\rm tg}'(G)$. Using this result, we characterize the trees with equal total domination and game total domination number.
Graph labeling games
Published in Electronic Notes in Discrete Mathematics 60, 2017, 61-68
• View Publication
• BIB
We propose the study of many new variants of two-person graph labeling games. Hardly anything has been done in this wide open field so far.
Hamilton cycles in hypergraphs below the Dirac threshold
Published
• View Publication
• BIB
We establish a precise characterisation of $4$-uniform hypergraphs with minimum codegree close to $n/2$ which contain a Hamilton $2$-cycle. As an immediate corollary we identify the exact Dirac threshold for Hamilton $2$-cycles in $4$-uniform hypergraphs. Moreover, by derandomising the proof of our characterisation we provide a polynomial-time algorithm which, given a $4$-uniform hypergraph $H$ with minimum codegree close to $n/2$, either finds a Hamilton $2$-cycle in $H$ or provides a certificate that no such cycle exists. This surprising result stands in contrast to the graph setting, in which below the Dirac threshold it is NP-hard to determine if a graph is Hamiltonian. We also consider tight Hamilton cycles in $k$-uniform hypergraphs $H$ for $k \geq 3$, giving a series of reductions to show that it is NP-hard to determine whether a $k$-uniform hypergraph $H$ with minimum degree $δ(H) \geq \frac{1}{2}|V(H)| - O(1)$ contains a tight Hamilton cycle. It is therefore unlikely that a similar characterisation can be obtained for tight Hamilton cycles.
The construction of all the projective spanning trees of a given digraph
In the present paper we consider the problem of constructing all the projective rooted spanning trees of a given graph. We propose an algorithm based on reducing this problem to the problem of constructing all the maximal independent sets of a certain derived graph. We also offer an algorithm for step-by-step growing the spanning trees that sifts, at each step, any sub-trees non-extendable to projective spanning trees. The proposed algorithms were applied for analyzing the possible variants of the syntactic subordination of nouns through prepositions .
Classification of $Q$-homogeneous skew Schur $Q$-functions
We classify the $Q$-homogeneous skew Schur $Q$-functions, i.e., those of the form $Q_{λ/μ} = k \cdot Q_ν$. On the way we develop new tools that are useful also in the context of other classification problems for skew Schur $Q$-functions.
Enumerating meandric systems with large number of loops
Published in Annales de l'Institut Henri Poincaré D, 6, 4, 607-640 (2019)
• View Publication
• BIB
We investigate meandric systems with a large number of loops using tools inspired by free probability. For any fixed integer $r$, we express the generating function of meandric systems on $2n$ points with $n-r$ loops in terms of a finite (the size depends on $r$) subclass of irreducible meandric systems, via the moment-cumulant formula from free probability theory. We show that the generating function, after an appropriate change of variable, is a rational function, and we bound its degree. Exact expressions for the generating functions are obtained for $r \leq 6$, as well as the asymptotic behavior of the meandric numbers for general $r$.
When game comparison becomes play: Absolutely Categorical Game Theory
Absolute Universes of combinatorial games, as defined in a recent paper by the same authors, include many standard short normal- misère- and scoring-play monoids. In this note we show that the class is categorical, by extending Joyal's construction of arrows in normal-play games. Given $G$ and $H$ in an Absolute Universe $U$, we study instead the Left Provisonal Game $[G, H]$, which is a normal-play game, independently of the particular Absolute Universe, and find that $G\longrightarrow H$ (implying $G\succcurlyeq H$) corresponds to the set of winning strategies for Left playing second in $[G,H]$. By this we define the category ${\bf LNP(U)}$.
Lecture hall P-partitions
Published
• View Publication
• BIB
We introduce and study s-lecture hall P-partitions which is a generalization of s-lecture hall partitions to labeled (weighted) posets. We provide generating function identities for s-lecture hall P-partitions that generalize identities obtained by Savage and Schuster for s-lecture hall partitions, and by Stanley for P-partitions. We also prove that the corresponding (P,s)-Eulerian polynomials are real-rooted for certain pairs (P,s), and speculate on unimodality properties of these polynomials.
A graph for which the inertia bound is not tight
Published
• View Publication
• BIB
The inertia bound gives an upper bound on the independence number of a graph by considering the inertia of matrices corresponding to the graph. The bound is known to be tight for graphs on 10 or fewer vertices as well as for all perfect graphs. The question has been asked as to whether the bound is always tight. We show that the bound is not tight for the Paley graph on 17 vertices as well as for the graph obtained from Paley 17 by deleting a vertex.
On the generalized restricted sumsets in abelian groups
Published
• View Publication
• BIB
Suppose that $A$, $B$ and $S$ are non-empty subsets of a finite abelian group $G$. Then the generalized restricted sumset $$ A\stackrel{S}+B:=\{a+b:\,a\in A,\ b\in B,\ a-b\not\in S\} $$ contains at least $$ \min\{|A|+|B|-3|S|,p(G)\} $$ elements, where $p(G)$ is the least prime factor of $|G|$. Further, we also have $$ |A\stackrel{S}+B|\geq \min\{|A|+|B|-|S|-2,p(G)\}, $$ provided that both $|A|$ and $|B|$ are large with respect to $|S|$.
Contiguity and non-reconstruction results for planted partition models: the dense case
Published in Electronic Journal of Probability, Vol 23 ,18, 1-28,2018
• View Publication
• BIB
We consider the two block stochastic block model on $n$ nodes with asymptotically equal cluster sizes. The connection probabilities within and between cluster are denoted by $p_n:=\frac{a_n}{n}$ and $q_n:=\frac{b_n}{n}$ respectively. Mossel et al.(2012) considered the case when $a_n=a$ and $b_n=b$ are fixed. They proved the probability models of the stochastic block model and that of Erd{ö}s-R{é}nyi graph with same average degree are mutually contiguous whenever $(a-b)^2<2(a+b)$ and are asymptotically singular whenever $(a-b)^2>2(a+b)$. Mossel et al.(2012) also proved that when $(a-b)^2<2(a+b)$ no algorithm is able to find an estimate of the labeling of the nodes which is positively correlated with the true labeling. It is natural to ask what happens when $a_n$ and $b_n$ both grow to infinity. We prove that their results extend to the case when $a_n=o(n)$ and $b_n=o(n)$. We also consider the case when $\frac{a_n}{n} \to p \in (0,1)$ and $(a_n-b_n)^2= Θ(a_n+b_n)$. Observe that in this case $\frac{b_n}{n} \to p$ also. We show that here the models are mutually contiguous if $(a_n-b_n)^2< 2(1-p)(a_n+b_n)$ and they are asymptotically singular if $(a_n-b_n)^2 > 2(1-p)(a_n+b_n)$. Further we also prove it is impossible find an estimate of the labeling of the nodes which is positively correlated with the true labeling whenever $(a_n-b_n)^2< 2(1-p)(a_n+b_n)$. The results of this paper justify the negative part of a conjecture made in Decelle et al.(2011) for dense graphs.
On hamiltonian colorings of block graphs
Published
• View Publication
• BIB
A hamiltonian coloring c of a graph G of order p is an assignment of colors to the vertices of G such that $D(u,v)+|c(u)-c(v)|\geq p-1$ for every two distinct vertices u and v of G, where D(u,v) denoted the detour distance between u and v. 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 block graphs and give a sufficient condition to achieve the lower bound. We characterize symmetric block graphs achieving this lower bound. We present two algorithms for optimal hamiltonian coloring of symmetric block graphs.
Fullerenes, Polytopes and Toric Topology
Published
• View Publication
• BIB
The lectures are devoted to a remarkable class of $3$-dimensional polytopes, which are mathematical models of the important object of quantum physics, quantum chemistry and nanotechnology -- fullerenes. The main goal is to show how results of toric topology help to build combinatorial invariants of fullerenes. Main notions are introduced during the lectures. The lecture notes are addressed to a wide audience.
Kleitman's conjecture about families of given size minimizing the number of $k$-chains
Published
• View Publication
• BIB
A central theorem in combinatorics is Sperner's Theorem, which determines the maximum size of a family $\mathcal{F}\subseteq \mathcal{P}(n)$ that does not contain a $2$-chain $F_1\subsetneq F_2$. Erdős later extended this result and determined the largest family not containing a $k$-chain $F_1\subsetneq \ldots \subsetneq F_k$. Erdős and Katona and later Kleitman asked how many such chains must appear in families whose size is larger than the corresponding extremal result.
This question was resolved for $2$-chains by Kleitman in $1966$, who showed that amongst families of size $M$ in $\mathcal{P}(n)$, the number of $2$-chains is minimized by a family whose sets are taken as close to the middle layer as possible. He also conjectured that the same conclusion should hold for all $k$, not just $2$. The best result on this question is due to Das, Gan and Sudakov who showed that Kleitman's conjecture holds for families whose size is at most the size of the $k+1$ middle layers of $\mathcal{P}(n)$, provided $k\leq n-6$. Our main result is that for every fixed $k$ and $ε>0$, if $n$ is sufficiently large then Kleitman's conjecture holds for families of size at most $(1-ε)2^n$, thereby establishing Kleitman's conjecture asymptotically. Our proof is based on ideas of Kleitman and Das, Gan and Sudakov. Several open problems are also given.
Rainbow connection of bridgeless outerplanar graphs with small diameters
In this paper, we investigate rainbow connection number $rc(G)$ of bridgeless outerplanar graphs $G$ with diameter 2 or 3. We proved the following results: If $G$ has diameter $2,$ then $rc(G)=3$ for fan graphs $F_{n}$ with $n\geq 7$ or $C_5,$ otherwise $rc(G)=2;$ if $G$ has diameter $3,$ then $rc(G)\leq 4$ and the bound is sharp.
Canonical syzygies of smooth curves on toric surfaces
Published
• View Publication
• BIB
In a first part of this paper, we prove constancy of the canonical graded Betti table among the smooth curves in linear systems on Gorenstein weak Fano toric surfaces. In a second part, we show that Green's canonical syzygy conjecture holds for all smooth curves of genus at most 32 or Clifford index at most 6 on arbitrary toric surfaces. Conversely we use known results on Green's conjecture (due to Lelli-Chiesa) to obtain new facts about graded Betti tables of projectively embedded toric surfaces.