Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A Proposed Algorithm for Minimum Vertex Cover Problem and its Testing
The paper presents an algorithm for minimum vertex cover problem, which is an NP-Complete problem. The algorithm computes a minimum vertex cover of each input simple graph. Tested by the attached MATLAB programs, Stage 1 of the algorithm is applicable to, i.e., yields a proved minimum vertex cover for, about 99.99% of the tested 610,000 graphs of order 16 and 99.67% of the tested 1,200 graphs of order 32, and Stage 2 of the algorithm is applicable to all of the above tested graphs. All of the tested graphs are randomly generated graphs of random "edge density" or in other words, random probability of each edge. It is proved that Stage 1 and Stage 2 of the algorithm run in $O(n^{5+logn})$ and $O(n^{3(5+logn)/2})$ time respectively, where $n$ is the order of input graph. Because there is no theoretical proof yet that Stage 2 is applicable to all graphs, further stages of the algorithm are proposed, which are in a general form that is consistent with Stages 1 and 2.
Conditions on square geometric graphs
For any metric $d$ on $\mathbb{R}^2$, an ($\mathbb{R}^2,d$)-geometric graph is a graph whose vertices are points in $\mathbb{R}^2$, and two vertices are adjacent if and only if their distance is at most 1. If $d=\|.\|_{\infty}$, the metric derived from the $L_{\infty}$ norm, then $(\mathbb{R} ^2,\|.\|_{\infty})$-geometric graphs are precisely those graphs that are the intersection of two unit interval graphs. We refer to $(\mathbb{R}^2,\|.\|_{\infty})$-geometric graphs as square geometric graphs. We represent a characterization of square geometric graphs. Using this characterization we provide necessary conditions for the class of square geometric $B_{a,b}$-graphs, a generalization of cobipartite graphs. Then by applying some restrictions on these necessary conditions we obtain sufficient conditions for $B_{a,b}$-graphs to be square geometric.
Strongly robust toric ideals in codimension 2
Published
• View Publication
• BIB
A homogeneous ideal is robust if its universal Gröbner basis is also a minimal generating set. For toric ideals, one has the stronger definition: A toric ideal is strongly robust if its Graver basis equals the set of indispensable binomials. We characterize the codimension 2 strongly robust toric ideals by their Gale diagrams. This gives a positive answer to a question of Petrovic, Thoma, and Vladoiu in the case of codimension 2 toric ideals.
"Weak yet strong" restrictions of Hindman's Finite Sums Theorem
Published
• View Publication
• BIB
We present a natural restriction of Hindman's Finite Sums Theorem that admits a simple combinatorial proof (one that does not also prove the full Finite Sums Theorem) and low computability-theoretic and proof-theoretic upper bounds, yet implies the existence of the Turing Jump, thus realizing the only known lower bound for the full Finite Sums Theorem. This is the first example of this kind. In fact we isolate a rich family of similar restrictions of Hindman's Theorem with analogous properties.
Asymptotics of the number of standard Young tableaux of skew shape
Published
• View Publication
• BIB
We give new bounds and asymptotic estimates on the number of standard Young tableaux of skew shape in a variety of special cases. Our approach is based on Naruse's hook-length formula. We also compare our bounds with the existing bounds on the numbers of linear extensions of the corresponding posets.
A robust quantitative local central limit theorem with applications to enumerative combinatorics and random combinatorial structures
A useful heuristic in the understanding of large random combinatorial structures is the Arratia-Tavare principle, which describes an approximation to the joint distribution of component-sizes using independent random variables. The principle outlines conditions under which the total variation distance between the true joint distribution and the approximation should be small, and was successfully exploited by Pittel in the cases of integer partitions and set partitions. We provide sufficient conditions for this principle to be true in a general context, valid for certain discrete probability distributions which are $\textit{perturbed log-concave}$, via a quantitative local central limit theorem. We then use it to generalize some classical asymptotic statistics in combinatorial theory, as well as assert some new ones.
Counting Zeros of Cosine Polynomials: On a Problem of Littlewood
Published
• View Publication
• BIB
We show that if $A$ is a finite set of non-negative integers then the number of zeros of the function \[ f_A(θ) = \sum_{a \in A} \cos(aθ), \] in $[0,2π]$, is at least $(\log \log \log |A|)^{1/2-\varepsilon}$. This gives the first unconditional lower bound on a problem of Littlewood, solves a conjecture of Borwein, Erdélyi, Ferguson and Lockhart and improves upon work of Borwein and Erdélyi. We also prove a result that applies to more general cosine polynomials with "few" distinct rational coefficients. One of the main ingredients in the proof is perhaps of independent interest: we show that if $f$ is an exponential polynomial with "few" distinct integer coefficients and $f$ "correlates" with a low-degree exponential polynomial $P$, then $f$ has a very particular structure.
The first Cheeger constant of a simplex
Published
• View Publication
• BIB
The coboundary expansion generalizes the classical graph expansion to the case of the general simplicial complexes, and allows the definition of the higher-dimensional Cheeger constants $h_k(X)$ for an arbitrary simplicial complex $X$, and any $k\geq 0$. In this paper we investigate the value of $h_1(Δ^{[n]})$ - the first Cheeger constant of a simplex with $n$ vertices. It is known, due to the pioneering work of Meshulam and Wallach, that \[\lceil n/3\rceil\geq h_1(Δ^{[n]})\geq n/3, \textrm{ for all } n,\] and that the equality $h_1(Δ^{[n]})=n/3$ is achieved when $n$ is divisible by $3$.
Here we expand on these results. First, we show that \[h_1(Δ^{[n]})=n/3, \textrm{ whenever }n\textrm{ is not a power of }2.\] So the sharp equality holds on a set whose density goes to $1$. Second, we show that \[h_1(Δ^{[n]})=n/3+O(1/n),\textrm{ when }n\textrm{ is a power of }2.\] In other words, as $n$ goes to infinity, the value $h_1(Δ^{[n]})-n/3$ is either $0$ or goes to $0$ very rapidly.
Our methods include recasting the original question in purely graph-theoretic language, followed by a detailed investigation of a specific graph family, the so-called {\it staircase graphs}. These are defined by associating a graph to every partition, and appear to be especially suited to gain information about the first Cheeger constant of a simplex.
On Zermelo's theorem
A famous result in game theory known as Zermelo's theorem says that "in chess either White can force a win, or Black can force a win, or both sides can force at least a draw". The present paper extends this result to the class of all finite-stage two-player games of complete information with alternating moves. It is shown that in any such game either the first player has a winning strategy, or the second player has a winning strategy, or both have unbeatable strategies.
Colouring simplicial complexes via the Lechuga-Murillo's model
L. Lechuga and A. Murillo showed that a non-oriented, simple, connected, finite graph $G$ is $k$-colourable if and only if a certain pure Sullivan algebra associated to $G$ and $k$ is not elliptic. In this paper, we extend this result to simplicial complexes by means of several notions of colourings of these objects.
Colouring of (P3UP2)-free graphs
Published in Graphs and Combinatorics, Vol. 34, No. 1 (2018) 97-107
• View Publication
• BIB
The class of 2K2-free graphs and its various subclasses have been studied in a variety of contexts. In this paper, we are concerned with the colouring of (P3UP2)-free graphs, a super class of 2K2-free graphs. We derive a O(w^3) upper bound for the chromatic number of (P3UP2)-free graphs, and sharper bounds for (P3UP2), diamond)-free graphs, where w denotes the clique number. By applying similar proof techniques we obtain chromatic bounds for (2K2, diamond)-free graphs. The last two classes are perfect if w >=5 and >= 4 respectively.
On the general solution of the Heideman-Hogan family of recurrences
Published
• View Publication
• BIB
We consider a family of nonlinear rational recurrences of odd order which was introduced by Heideman and Hogan. All of these recurrences have the Laurent property, implying that for a particular choice of initial data (all initial values set to 1) they generate an integer sequence. For these particular sequences, Heideman and Hogan gave a direct proof of integrality by showing that the terms of the sequence also satisfy a linear recurrence relation with constant coefficients. Here we present an analogous result for the general solution of each of these recurrences.
Distinguishing number and distinguishing index of Kronecker product of two graphs
Published
• View Publication
• BIB
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. The Kronecker product $G\times H$ of two graphs $G$ and $H$ is the graph with vertex set $V (G)\times V (H)$ and edge set $\{\{(u, x), (v, y)\} | \{u, v\} \in E(G) ~and ~\{x, y\} \in E(H)\}$. In this paper we study the distinguishing number and the distinguishing index of Kronecker product of two graphs.
On the maximum number of colorings of a graph
Published in Journal of Combinatorics, Vol 9, No. 3 (2018), pp. 489-497
• View Publication
• BIB
Let $\mathcal{C}_k(n)$ be the family of all connected $k$-chromatic graphs of order $n$. Given a natural number $x\geq k$, we consider the problem of finding the maximum number of $x$-colorings among graphs in $\mathcal{C}_k(n)$. When $k\leq 3$ the answer to this problem is known, and when $k\geq 4$ the problem is wide open. For $k\geq 4$ it was conjectured that the maximum number of $x$-colorings is $x(x-1)\cdots (x-k+1)\,x^{n-k}$. In this article, we prove this conjecture under the additional condition that the independence number of the graphs is at most $2$.
Eulerian polynomials and descent statistics
Published in Adv. in Appl. Math. 90: 86-144, 2017
• View Publication
• BIB
We prove several identities expressing polynomials counting permutations by various descent statistics in terms of Eulerian polynomials, extending results of Stembridge, Petersen, and Brändén. Additionally, we find $q$-exponential generating functions for $q$-analogues of these descent statistic polynomials that also keep track of the inversion number or inverse major index. We also present identities relating several of these descent statistic polynomials to refinements of type B Eulerian polynomials and flag descent polynomials by the number of negative letters of a signed permutation. Our methods include permutation enumeration techniques involving noncommutative symmetric functions, Brändén's modified Foata-Strehl action, and a group action of Petersen on signed permutations. Notably, the modified Foata-Strehl action yields an analogous relation between Narayana polynomials and the joint distribution of the peak number and descent number over 231-avoiding permutations, which we also interpret in terms of binary trees and Dyck paths.
Maximizing the number of $x$-colorings of $4$-chromatic graphs
Published in Discrete Mathematics, 341(5) (2018), 1419-1431
• View Publication
• BIB
Let $\mathcal{C}_4(n)$ be the family of all connected $4$-chromatic graphs of order $n$. Given an integer $x\geq 4$, we consider the problem of finding the maximum number of $x$-colorings of a graph in $\mathcal{C}_4(n)$. It was conjectured that the maximum number of $x$-colorings is equal to $(x)_{\downarrow 4}(x-1)^{n-4}$ and the extremal graphs are those which have clique number $4$ and size $n+2$.
In this article, we reduce this problem to a \textit{finite} family of graphs. We show that there exist a finite family $\mathcal{F}$ of connected $4$-chromatic graphs such that if the number of $x$-colorings of every graph $G$ in $\mathcal{F}$ is less than $(x)_{\downarrow 4}(x-1)^{|V(G)|-4}$ then the conjecture holds to be true.
Distance signless Laplacian spectral radius and Hamiltonian properties of graphs
Published
• View Publication
• BIB
In this paper, first, we establish a sufficient condition for a bipartite graph to be Hamilton-connected. Furthermore, we also give two sufficient conditions on distance signless Laplacian spectral radius for a graph to be Hamilton-connected and traceable from every vertex, respectively. Last, we obtain a sufficient condition for a graph to be Hamiltonian in terms of the distance signless Laplacian spectral radius of $G^{C}$.
P_3-Games on Chordal Bipartite Graphs
Let G=(V,E) be a connected graph. A set U subseteq V is convex if G[U] is connected and all vertices of V\U have at most one neighbor in U. Let sigma(W) denote the unique smallest convex set that contains W subseteq V. Two players play the following game. Consider a convex set U and call it the `playground.' Initially, U = emptyset. When U=V, the player to move loses the game. Otherwise, that player chooses a vertex x in V\U which is at distance at most two from U. The effect of the move is that the playground U changes into sigma(U cup {x}) and the opponent is presented with this new playground.
A graph is chordal bipartite if it is bipartite and has no induced cycle of length more than four. In this paper we show that, when G is chordal bipartite, there is a polynomial-time algorithm that computes the Grundy number of the P_3-game played on G. This implies that there is an efficient algorithm to decide whether the first player has a winning strategy.
A statistical approach to covering lemmas
Published in Eur. J. Comb. 48 (2015), 19-33
• View Publication
• BIB
We discuss a statistical variant of Ruzsa's covering lemma and use it to show that if G is an Abelian group of bounded exponent and A in G has |A+A| < K|A| then the subgroup generated by A has size at most exp(O(K log^22K))|A|, where the constant in the big-O depends on the exponent of the group only.
Minimal Skew energy of oriented bicyclic graphs with a given diameter
Let $S(G^σ)$ be the skew-adjacency matrix of the oriented graph $G^σ$, which is obtained from a simple undirected graph $G$ by assigning an orientation $σ$ to each of its edges. The skew energy of an oriented graph $G^σ$ is defined as the sum of absolute values of all eigenvalues of $S(G^σ)$. For any positive integer $d$ with $3\leq d\leq n-3$, we determine the graph with minimal skew energy among all oriented bicyclic graphs that contain no vertex disjoint odd cycle of lengths $s$ and $l$ with $s+l\equiv 2(mod 4)$ on $n$ vertices with a given diameter $d$.