Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Topological recursion for irregular spectral curves
Published
• View Publication
• BIB
We study topological recursion on the irregular spectral curve $xy^2-xy+1=0$, which produces a weighted count of dessins d'enfant. This analysis is then applied to topological recursion on the spectral curve $xy^2=1$, which takes the place of the Airy curve $x=y^2$ to describe asymptotic behaviour of enumerative problems associated to irregular spectral curves. In particular, we calculate all one-point invariants of the spectral curve $xy^2=1$ via a new three-term recursion for the number of dessins d'enfant with one face.
Maximum Cardinality Neighbourly Sets in Quadrilateral Free Graphs
Published in J Comb Optim 33(2): 422-444 (2017)
• View Publication
• BIB
Neighbourly set of a graph is a subset of edges which either share an end point or are joined by an edge of that graph. The maximum cardinality neighbourly set problem is known to be NP-complete for general graphs. Mahdian (M.Mahdian, On the computational complexity of strong edge coloring, Discrete Applied Mathematics, 118:239-248, 2002) proved that it is in polynomial time for quadrilateral-free graphs and proposed an O(n^{11}) algorithm for the same (along with a note that by a straightforward but lengthy argument it can be proved to be solvable in O(n^5) running time). In this paper we propose an O(n^2) time algorithm for finding a maximum cardinality neighbourly set in a quadrilateral-free graph.
Odd graph and its applications to the strong edge coloring
Published in Applied Mathematics and Computation, 325 (2018), 246--251
• View Publication
• BIB
A strong edge coloring of a graph is a proper edge coloring in which every color class is an induced matching. The strong chromatic index $χ_s'(G)$ of a graph $G$ is the minimum number of colors in a strong edge coloring of $G$. Let $Δ\geq 4$ be an integer. In this note, we study the odd graphs and show the existence of some special walks. By using these results and Chang's ideas in [Discuss. Math. Graph Theory 34 (4) (2014) 723--733], we show that every planar graph with maximum degree at most $Δ$ and girth at least $10 Δ- 4$ has a strong edge coloring with $2Δ- 1$ colors. In addition, we prove that if $G$ is a graph with girth at least $2Δ- 1$ and mad$(G) < 2 + \frac{1}{3Δ- 2}$, where $Δ$ is the maximum degree and $Δ\geq 4$, then $χ_s'(G) \leq 2Δ- 1$, if $G$ is a subcubic graph with girth at least $8$ and mad$(G) < 2 + \frac{2}{23}$, then $χ_s'(G) \leq 5$.
An Empirical Method for Solving (rigorously!) Algebraic Functional Equations Of the Form F(P(x,t), P(x,1),x,t)=0
Published in Exclusively published in the Personal Journal of Shalosh B. Ekhad and Doron Zeilberger (Dec. 28, 2014), Ira Gessel's website, and this arxiv
• Search Publication
We present an empirical-yet-rigorous approach for solving a wide class of functional equations, thereby automating many results that previously required considerable human ingenuity and human labor.
Yes, the "missing axiom" of matroid theory is lost forever
Published
• View Publication
• BIB
We prove there is no sentence in the monadic second-order language MS0 that characterises when a matroid is representable over at least one field, and no sentence that characterises when a matroid is K-representable, for any infinite field K. By way of contrast, because Rota's Conjecture is true, there is a sentence that characterises F-representable matroids, for any finite field F.
Reconstruction of the geometric structure of a set of points in the plane from its geometric tree graph
Published
• View Publication
• BIB
Let P be a finite set of points in general position in the plane. The structure of the complete graph K(P) as a geometric graph includes, for any pair [a,b],[c,d] of vertex-disjoint edges, the information whether they cross or not.
The simple (i.e., non-crossing) spanning trees (SSTs) of K(P) are the vertices of the so-called Geometric Tree Graph of P, G(P). Two such vertices are adjacent in G(P) if they differ in exactly two edges, i.e., if one can be obtained from the other by deleting an edge and adding another edge.
In this paper we show how to reconstruct from G(P) (regarded as an abstract graph) the structure of K(P) as a geometric graph. We first identify within G(P) the vertices that correspond to spanning stars. Then we regard each star S(z) with center z as the representative in G(P) of the vertex z of K(P). (This correspondence is determined only up to an automorphism of K(P) as a geometric graph.) Finally we determine for any four distinct stars S(a), S(b), S(c), and S(d), by looking at their relative positions in G(P), whether the corresponding segments cross.
Square Integer Heffter Arrays with Empty Cells
Published
• View Publication
• BIB
A Heffter array $H(m,n;s,t)$ is an $m \times n$ matrix with nonzero entries from $\mathbb{Z}_{2ms+1}$ such that $i)$ each row contains $s$ filled cells and each column contains $t$ filled cells, $ii)$ every row and column sum to 0, and $iii)$ no element from $\{x,-x\}$ appears twice. Heffter arrays are useful in embedding the complete graph $K_{2nm+1}$ on an orientable surface where the embedding has the property that each edge borders exactly one $s-$cycle and one $t-$cycle. Archdeacon, Boothby and Dinitz proved that these arrays can be constructed in the case when $s=m$, i.e. every cell is filled. In this paper we concentrate on square arrays with empty cells where every row sum and every column sum is $0$ in $\mathbb{Z}$. We solve most of the instances of this case.
An Upper Bound on the Sizes of Multiset-Union-Free Families
Published
• View Publication
• BIB
Let $\mathcal{F}_1$ and $\mathcal{F}_2$ be two families of subsets of an $n$-element set. We say that $\mathcal{F}_1$ and $\mathcal{F}_2$ are multiset-union-free if for any $A,B\in \mathcal{F}_1$ and $C,D\in \mathcal{F}_2$ the multisets $A\uplus C$ and $B\uplus D$ are different, unless both $A = B$ and $C= D$. We derive a new upper bound on the maximal sizes of multiset-union-free pairs, improving a result of Urbanke and Li.
On the number of hyperbolic manifolds of complexity n
We consider hyperbolic manifolds with boundary, which admit an ideal triangulation with n ideal triangles and one edge. We prove that the number of these manifolds is $\exp(n\ln(n)+O(n))$.
Graph colouring and the total Betti number
The total Betti number of the independence complex of a graph is an intriguing graph invariant. Kalai and Meshulam have raised the question on its relation to cycles and the chromatic number of a graph, and a recent conjecture on that theme was proved by Bonamy, Charbit and Thomasse. We show an upper bound on the total Betti number in terms of the number of vertex disjoint cycles in a graph. The main technique is discrete Morse theory and building poset maps. Ramanujan graphs with arbitrary chromatic number and girth log(n) is a classical construction. We show that any subgraph of them with less than n^0.003 vertices have smaller total Betti number than some planar graph of the same order, although it is part of a graph with high chromatic number.
Acyclic Orientations and Spanning Trees
We introduce polytopal cell complexes associated with partial acyclic orientations of a simple graph, which generalize acyclic orientations. Using the theory of cellular resolutions, two of these polytopal cell complexes are observed to minimally resolve certain special combinatorial polynomial ideals related to acyclic orientations. These ideals are explicitly found to be Alexander dual, which relative to comparable results in the literature, generalizes in a cleaner and more illuminating way the well-known duality between permutohedron and tree ideals. The combinatorics underlying these results naturally leads to a canonical way to represent rooted spanning forests of a labelled simple graph as non-crossing trees, and these representations are observed to carry a plethora of information about generalized tree ideals and acyclic orientations of a graph, and about non-crossing partitions of a totally ordered set. A small sample of the enumerative and structural consequences of collecting and organizing this information are studied in detail. Applications of this combinatorial miscellanea are then introduced and explored, namely: Stochastic processes on state space equal to the set of all acyclic orientations of a simple graph, including irreducible Markov chains, which exhibit stationary distributions ranging from linear extensions-based to uniform; a surprising formula for the expected number of acyclic orientations of a random graph; and a purely algebraic presentation of the main problem in bootstrap percolation, likely making it tractable to explore the set of all percolating sets of a graph with a computer.
More on energy and Randic energy of specific graphs
Let $G$ be a simple graph of order $n$. The energy $E(G)$ of the graph $G$ is the sum of the absolute values of the eigenvalues of $G$. The Randić matrix of $G$, denoted by $R(G)$, is defined as the $n\times n$ matrix whose $(i,j)$-entry is $(d_id_j)^{\frac{-1}{2}}$ if $v_i$ and $v_j$ are adjacent and $0$ for another cases. The Randić energy $RE$ of $G$ is the sum of absolute values of the eigenvalues of $R(G)$. In this paper we compute the energy and Randić energy for certain graphs. Also we propose a conjecture on Randić energy.
Counting the number of weakly connected dominating sets of graphs
Let $G=(V(G),E(G))$ be a simple graph. A non-empty set $S\subseteq V (G)$ is a weakly connected dominating set in $G$, if the subgraph obtained from $G$ by removing all edges each joining any two vertices in $V (G)\setminus S$ is connected. In this paper, we consider some graphs and study the number of their weakly connected dominating sets.
Growth rate of binary matroids with no $P_9^*$-minor
We prove that the non-regular binary matroids with no $P_9^*$-minor have linear growth rate and the maximum size binary matroids with no $P_9^*$-minor are graphic. The main technique in the proof is the Strong Splitter Theorem using which we find the precise infinite families of 3-connected binary matroids with no $P_9^*$-minor.
Extremal results on intersection graphs of boxes in $R^d$
The main purpose of this paper is to study extremal results on the intersection graphs of boxes in $\R^d$. We calculate exactly the maximal number of intersecting pairs in a family $\F$ of $n$ boxes in $\R^d$ with the property that no $k+1$ boxes in $\F$ have a point in common. This allows us to improve the known bounds for the fractional Helly theorem for boxes. We also use the Fox-Gromov-Lafforgue-Naor-Pach results to derive a fractional Erdős-Stone theorem for semi-algebraic graphs in order to obtain a second proof of the fractional Helly theorem for boxes.
A generalized FKG-inequality for compositions
Published
• View Publication
• BIB
We prove a Fortuin-Kasteleyn-Ginibre-type inequality for the lattice of compositions of the integer n with at most r parts. As an immediate application we get a wide generalization of the classical Alexandrov-Fenchel inequality for mixed volumes and of Teissier's inequality for mixed covolumes.
A New Upper Bound on Total Domination Number of Bipartite Graphs
Let $ G $ be a graph. A subset $S \subseteq V(G) $ is called a total dominating set if every vertex of $G$ is adjacent to at least one vertex of $S$. The total domination number, $γ_{t}$($G$), is the minimum cardinality of a total dominating set of $G$. In this paper using a greedy algorithm we provide an upper bound for $γ_{t}$($G$), whenever $G$ is a bipartite graph and $δ(G)$ $\geq$ $k$. More precisely, we show that if $k$ > 1 is a natural number, then for every bipartite graph $G$ of order $n$ and $δ(G) \ge k$, $ $$γ_{t}$($G$) $\leq$ $n(1- \frac{k!}{\prod_{i=0}^{k-1}(\frac{k}{k-1}+i)}).$
Graph functions maximized on a path
Published
• View Publication
• BIB
Given a connected graph $G\ $of order $n$ and a nonnegative symmetric matrix $A=\left[ a_{i,j}\right] $ of order $n,$ define the function $F_{A}\left( G\right) $ as% \[ F_{A}\left( G\right) =\sum_{1\leq i<j\leq n}d_{G}\left( i,j\right) a_{i,j}, \] where $d_{G}\left( i,j\right) $ denotes the distance between the vertices $i$ and $j$ in $G.$
In this note it is shown that $F_{A}\left( G\right) \leq F_{A}\left( P\right) \,$for some path of order $n.$ Moreover, if each row of $A$ has at most one zero off-diagonal entry, then $F_{A}\left( G\right) <F_{A}\left( P\right) \,$for some path of order $n,$ unless $G$ itself is a path.
In particular, this result implies two conjectures of Aouchiche and Hansen:
- the spectral radius of the distance Laplacian of a connected graph $G$ of order $n$ is maximal if and only if $G$ is a path;
- the spectral radius of the distance signless Laplacian of a connected graph $G$ of order $n$ is maximal if and only if $G$ is a path.
Hopf Algebras and Markov Chains
This thesis introduces a way to build Markov chains out of Hopf algebras. The transition matrix of a "Hopf-power Markov chain" is (the transpose of) the matrix of the coproduct-then-product operator on a combinatorial Hopf algebra with respect to a suitable basis. These chains describe the breaking-then-recombining of the combinatorial objects in the Hopf algebra. The motivating example is the famous Gilbert-Shannon-Reeds model of riffle-shuffling of a deck of cards, which arises in this manner from the shuffle algebra.
The primary reason for constructing Hopf-power Markov chains, or for rephrasing familiar chains through this lens, is that much information about them comes simply from translating well-known facts on the underlying Hopf algebra. For example, there is an explicit formula for the stationary distribution (Theorem 4.5.1), and constructing quotient algebras show that certain statistics on a Hopf-power Markov chain are themselves Markov chains (Theorem 4.7.1). Perhaps the pinnacle is Theorem 2.5.1, a collection of algorithms for a full left and right eigenbasis in many common cases where the underlying Hopf algebra is commutative or cocommutative. This arises from a cocktail of the Poincare-Birkhoff-Witt theorem, the Cartier-Milnor-Moore theorem, Reutenauer's structure theory of the free Lie algebra, and Patras's Eulerian idempotent theory.
Since Hopf-power Markov chains can exhibit very different behaviour depending on the structure of the underlying Hopf algebra and its distinguished basis, one must restrict attention to certain styles of Hopf algebras in order to obtain stronger results. This thesis will focus respectively on a free-commutative basis, which produces "independent breaking" chains, and a cofree basis; there will be both general statements and in-depth examples.
Rota-Baxter type operators, rewriting systems and Gröbner-Shirshov bases
Published in Journal of Symbolic Computation (2018)
• View Publication
• BIB
In this paper we apply the methods of rewriting systems and Gröbner-Shirshov bases to give a unified approach to a class of linear operators on associative algebras. These operators resemble the classic Rota-Baxter operator, and they are called {\it Rota-Baxter type operators}. We characterize a Rota-Baxter type operator by the convergency of a rewriting system associated to the operator. By associating such an operator to a Gröbner-Shirshov basis, we obtain a canonical basis for the free algebras in the category of associative algebras with that operator. This construction include as special cases several previous ones for free objects in similar categories, such as those of Rota-Baxter algebras and Nijenhuis algebras.