Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Covering complete graphs by monochromatically bounded sets
Published
• View Publication
• BIB
Given a $k$-colouring of the edges of the complete graph $K_n$, are there $k-1$ monochromatic components that cover its vertices? This important special case of the well-known Lovász-Ryser conjecture is still open. In this paper we consider a strengthening of this question, where we insist that the covering sets are not merely connected but have bounded diameter. In particular, we prove that for any colouring of $E(K_n)$ with 4 colours, there is a choice of sets $A_1, A_2, A_3$ that cover all vertices, and colours $c_1, c_2, c_3$, such that for each $i = 1,2,3$ the monochromatic subgraph induced by the set $A_i$ and the colour $c_i$ has diameter at most 160.
Reconfiguration graphs of shortest paths
Published
• View Publication
• BIB
For a graph $G$ and $a,b\in V(G)$, the shortest path reconfiguration graph of $G$ with respect to $a$ and $b$ is denoted by $S(G,a,b)$. The vertex set of $S(G,a,b)$ is the set of all shortest paths between $a$ and $b$ in $G$. Two vertices in $V(S(G,a,b))$ are adjacent, if their corresponding paths in $G$ differ by exactly one vertex. This paper examines the properties of shortest path graphs. Results include establishing classes of graphs that appear as shortest path graphs, decompositions and sums involving shortest path graphs, and the complete classification of shortest path graphs with girth $5$ or greater. We also show that the shortest path graph of a grid graph is an induced subgraph of a lattice.
Sufficient conditions for the existence of a path-factor which are related to odd components
Published
• View Publication
• BIB
In this paper, we are concerned with sufficient conditions for the existence of a $\{P_{2},P_{2k+1}\}$-factor. We prove that for $k\geq 3$, there exists $\varepsilon_{k}>0$ such that if a graph $G$ satisfies $\sum_{0\leq j\leq k-1}c_{2j+1}(G-X)\leq \varepsilon_{k}|X|$ for all $X\subseteq V(G)$, then $G$ has a $\{P_{2},P_{2k+1}\}$-factor, where $c_{i}(G-X)$ is the number of components $C$ of $G-X$ with $|V(C)|=i$. On the other hand, we construct infinitely many graphs $G$ having no $\{P_{2},P_{2k+1}\}$-factor such that $\sum_{0\leq j\leq k-1}c_{2j+1}(G-X)\leq \frac{32k+141}{72k-78}|X|$ for all $X\subseteq V(G)$.
Substitution invariant Sturmian words and binary trees
We take a global view at substitution invariant Sturmian sequences. We show that homogeneous substitution invariant Sturmian sequences $s_{α,α}$ can be indexed by two binary trees, associated directly to Johannes Kepler's tree of harmonic fractions from 1619. We obtain similar results for the inhomogeneous sequences $s_{α,1-α}$ and $s_{α,0}$.
Restriction of Odd Degree Characters of $\mathfrak{S}_n$
Published in SIGMA 13 (2017), 070, 10 pages
• View Publication
• BIB
Let $n$ and $k$ be natural numbers such that $2^k < n$. We study the restriction to $\mathfrak{S}_{n-2^k}$ of odd-degree irreducible characters of the symmetric group $\mathfrak{S}_n$. This analysis completes the study begun in [Ayyer A., Prasad A., Spallone S., Sem. Lothar. Combin. 75 (2015), Art. B75g, 13 pages] and recently developed in [Isaacs I.M., Navarro G., Olsson J.B., Tiep P.H., J. Algebra 478 (2017), 271-282].
Packing parameters in graphs: New bounds and a solution to an open problem
Published in Journal of Combinatorial Optimization, 2019
• View Publication
• BIB
In this paper, we investigate the packing parameters in graphs. By applying the Mantel's theorem, We give upper bounds on packing and open packing numbers of triangle-free graphs along with characterizing the graphs for which the equalities hold and exhibit sharp Nordhaus-Gaddum type inequalities for packing numbers. We also solve the open problem of characterizing all connected graphs with $ρ_{o}(G)=n-ω(G)$ posed in [S. Hamid and S. Saravanakumar, {\em Packing parameters in graphs}, Discuss Math. Graph Theory, 35 (2015), 5--16].
Daisy cubes and distance cube polynomial
Let X $\subseteq$ {0, 1} n. Then the daisy cube Q n (X) is introduced as the sub-graph of Q n induced by the intersection of the intervals I(x, 0 n) over all x $\in$ X. Daisy cubes are partial cubes that include Fibonacci cubes, Lucas cubes, and bipartite wheels. If u is a vertex of a graph G, then the distance cube polynomial D G,u (x, y) is introduced as the bivariate polynomial that counts the number of induced subgraphs isomorphic to Q k at a given distance from the vertex u. It is proved that if G is a daisy cube, then D G,0 n (x, y) = C G (x + y -- 1), where C G (x) is the previously investigated cube polynomial of G. It is also proved that if G is a daisy cube, then D G,u (x, --x) = 1 holds for every vertex u in G.
On the Möbius Function and Topology of General Pattern Posets
Published
• View Publication
• BIB
We introduce a formal definition of a pattern poset which encompasses several previously studied posets in the literature. Using this definition we present some general results on the Möbius function and topology of such pattern posets. We prove our results using a poset fibration based on the embeddings of the poset, where embeddings are representations of occurrences. We show that the Möbius function of these posets is intrinsically linked to the number of embeddings, and in particular to so called normal embeddings. We present results on when topological properties such as Cohen-Macaulayness and shellability are preserved by this fibration. Furthermore, we apply these results to some pattern posets and derive alternative proofs of existing results, such as Björner's results on subword order.
On The Fixatic Number of Graphs
The fixing number of a graph $G$ is the smallest cardinality of a set of vertices $F\subseteq V(G)$ such that only the trivial automorphism of $G$ fixes every vertex in $F$. Let $Π$ $=$ $\{F_1,F_2,\ldots,F_k\}$ be an ordered $k$-partition of $V(G)$. Then $Π$ is called a {\it fixatic partition} if for all $i$; $1\leq i\leq k$, $F_i$ is a fixing set for $G$. The cardinality of a largest fixatic partition is called the {\it fixatic number} of $G$. In this paper, we study the fixatic numbers of graphs. Sharp bounds for the fixatic number of graphs in general and exact values with specified conditions are given. Some realizable results are also given in this paper.
The de Bruijn-Erdös-Hanani theorem
The paper is devoted to a somewhat idiosyncratic account of the theorem of de Bruijn-Erdös and Hanani from the combinatorics of finite geometries and its various proofs. Among the proofs discussed are the original proofs by de Bruijn--Erdös and Hanani and few others. It is explained how one of the proofs was discovered, and how another one could have been discovered.
Hajós' cycle conjecture for small graphs
Hajós' conjecture states that an Eulerian graph of order n can be decomposed into at most (n-1)/2 edge-disjoint cycles. We describe preprocessing steps, heuristics and integer programming techniques that enable us to verify Hajós' conjecture for all Eulerian graphs with up to twelve nodes.
Approximating sums by integrals only: multiple sums and sums over lattice polytopes
Published
• View Publication
• BIB
The Euler--Maclaurin (EM) summation formula is used in many theoretical studies and numerical calculations. It approximates the sum $\sum_{k=0}^{n-1} f(k)$ of values of a function $f$ by a linear combination of a corresponding integral of $f$ and values of its higher-order derivatives $f^{(j)}$. An alternative (Alt) summation formula was recently presented by the author, which approximates the sum by a linear combination of integrals only, without using high-order derivatives of $f$. It was shown that the Alt formula will in most cases outperform, or greatly outperform, the EM formula in terms of the execution time and memory use. In the present paper, a multiple-sum/multi-index-sum extension of the Alt formula is given, with applications to summing possibly divergent multi-index series and to sums over the integral points of integral lattice polytopes.
A counterexample to Comon's conjecture
Published
• View Publication
• BIB
We present an example of a symmetric tensor of size $800\times 800\times 800$ which can be written a sum of $903$ simple tensors with complex entries but not as a sum of $903$ symmetric simple tensors.
Small Sets with Large Difference Sets
For every $ε> 0$ and $k \in \mathbb{N}$, Haight constructed a set $A \subset \mathbb{Z}_N$ ($\mathbb{Z}_N$ stands for the integers modulo $N$) for a suitable $N$, such that $A-A = \mathbb{Z}_N$ and $|kA| < εN$. Recently, Nathanson posed the problem of constructing sets $A \subset \mathbb{Z}_N$ for given polynomials $p$ and $q$, such that $p(A) = \mathbb{Z}_N$ and $|q(A)| < εN$, where $p(A)$ is the set $\{p(a_1, a_2, \dots, a_n)\phantom{.}\colon\phantom{.}a_1, a_2, \dots, a_n \in A\}$, when $p$ has $n$ variables. In this paper, we give a partial answer to Nathanson's question. For every $k \in \mathbb{N}$ and $ε> 0$, we find a set $A \subset \mathbb{Z}_N$ for suitable $N$, such that $A- A = \mathbb{Z}_N$, but $|A^2 + kA| < εN$, where $A^2 + kA = \{a_1a_2 + b_1 + b_2 + \dots + b_k\phantom{.}\colon\phantom{.}a_1, a_2,b_1, \dots, b_k \in A\}$. We also extend this result to construct, for every $k \in \mathbb{N}$ and $ε> 0$, a set $A \subset \mathbb{Z}_N$ for suitable $N$, such that $A- A = \mathbb{Z}_N$, but $|3A^2 + kA| < εN$, where $3A^2 + kA = \{a_1a_2 + a_3a_4 + a_5a_6 + b_1 + b_2 + \dots + b_k\phantom{.}\colon\phantom{.}a_1, \dots, a_6,b_1, \dots, b_k \in A\}$.
Three observations on spectra of zero-nonzero patterns
Published
• View Publication
• BIB
Using standard techniques from combinatorics, model theory, and algebraic geometry, we prove generalized versions of several basic results in the theory of spectrally arbitrary matrix patterns. Also, we point out a counterexample to a conjecture proposed recently by McDonald and Melvin.
Threshold functions for small subgraphs: an analytic approach
Published
• View Publication
• BIB
We revisit the problem of counting the number of copies of a fixed graph in a random graph or multigraph, including the case of constrained degrees. Our approach relies heavily on analytic combinatorics and on the notion of patchwork to describe the possible overlapping of copies.
This paper is a version, extended to include proofs, of the paper with the same title to be presented at the Eurocomb 2017 meeting.
A Two-Level Graph Partitioning Problem Arising in Mobile Wireless Communications
Published
• View Publication
• BIB
In the k-partition problem (k-PP), one is given an edge-weighted undirected graph, and one must partition the node set into at most k subsets, in order to minimise (or maximise) the total weight of the edges that have their end-nodes in the same cluster. Various hierarchical variants of this problem have been studied in the context of data mining. We consider a 'two-level' variant that arises in mobile wireless communications. We show that an exact algorithm based on intelligent preprocessing, cutting planes and symmetry-breaking is capable of solving small- and medium-size instances to proven optimality, and providing strong lower bounds for larger instances.
Group divisible (K_4-e)-packings with any minimum leave
Published
• View Publication
• BIB
A decomposition of $K_{n(g)}\setminus L$, the complete n-partite equipartite graph with a subgraph L (called the leave) removed, into edge disjoint copies of a graph G is called a maximum group divisible packing of $K_{n(g)}$ with G if L contains as few edges as possible. We examine all possible minimum leaves for maximum group divisible $(K_4-e)$-packings. Necessary and sufficient conditions are established for their existences.
Characterizing path-like trees from linear configurations
Assume that we embed the path $P_n$ as a subgraph of a $2$-dimensional grid, namely, $P_k \times P_l$. Given such an embedding, we consider the ordered set of subpaths $L_1, L_2, \ldots , L_m$ which are maximal straight segments in the embedding, and such that the end of $L_i$ is the beginning of $L_{i+1}$. Suppose that $L_i\cong P_2$, for some $i$ and that some vertex $u$ of $L_{i-1}$ is at distance $1$ in the grid to a vertex $v$ of $L_{i+1}$. An elementary transformation of the path consists in replacing the edge of $L_i$ by a new edge $uv$. A tree $T$ of order $n$ is said to be a path-like tree, when it can be obtained from some embedding of $P_n$ in the $2$-dimensional grid, by a sequence of elementary transformations. Thus, the maximum degree of a path-like tree is at most $4$.
Intuitively speaking, a tree admits a linear configuration if it can be described by a sequence of paths in such a way that only vertices from two consecutive paths, which are at the same distance of the end vertices are adjacent. In this paper, we characterize path-like trees of maximum degree $3$, with an even number of vertices of degree $3$, from linear configurations.
More Circulant Graphs exhibiting Pretty Good State Transfer
Published in Discrete Mathematics, 341(4): pp.889-895 (2018)
• View Publication
• BIB
The transition matrix of a graph $G$ corresponding to the adjacency matrix $A$ is defined by $H(t):=\exp{\left(-itA\right)},$ where $t\in\mathbb{R}$. The graph is said to exhibit pretty good state transfer between a pair of vertices $u$ and $v$ if there exists a sequence $\left\lbrace t_k\right\rbrace$ of real numbers such that $\lim\limits_{k\rightarrow\infty} H(t_k) {\bf e}_u=γ{\bf e}_v$, where $γ$ is a complex number of unit modulus. We classify some circulant graphs exhibiting or not exhibiting pretty good state transfer. This generalize several pre-existing results on circulant graphs admitting pretty good state transfer.