Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Determinants and Perfect Matchings
Published in Journal of Combinatorial Theory A 120 (2013) 304-314
• View Publication
• BIB
We give a combinatorial interpretation of the determinant of a matrix as a generating function over Brauer diagrams in two different but related ways. The sign of a permutation associated to its number of inversions in the Leibniz formula for the determinant is replaced by the number of crossings in the Brauer diagram. This interpretation naturally explains why the determinant of an even antisymmetric matrix is the square of a Pfaffian.
A Combinatorial Formula for Rank 2 Cluster Variables
Published
• View Publication
• BIB
Let $r$ be any positive integer, and let $x_1, x_2$ be indeterminates. We consider the sequence $\{x_n\}$ defined by the recursive relation $$ x_{n+1} =(x_n^r +1)/{x_{n-1}} $$ for any integer $n$. Finding a combinatorial expression for $x_n$ as a rational function of $x_1$ and $x_2$ has been an open problem since 2001. We give a direct elementary formula for $x_n$ in terms of subpaths of a specific lattice path in the plane. The formula is manifestly positive, providing a new proof of a result by Nakajima and Qin.
$k$-quasi planar graphs
Published
• View Publication
• BIB
A topological graph is \emph{$k$-quasi-planar} if it does not contain $k$ pairwise crossing edges. A topological graph is \emph{simple} if every pair of its edges intersect at most once (either at a vertex or at their intersection). In 1996, Pach, Shahrokhi, and Szegedy \cite{pach} showed that every $n$-vertex simple $k$-quasi-planar graph contains at most $O(n(\log n)^{2k-4})$ edges. This upper bound was recently improved (for large $k$) by Fox and Pach \cite{fox} to $n(\log n)^{O(\log k)}$. In this note, we show that all such graphs contain at most $(n\log^2n)2^{α^{c_k}(n)}$ edges, where $α(n)$ denotes the inverse Ackermann function and $c_k$ is a constant that depends only on $k$.
A New Approach to Generalized Fractional Derivatives
Published in Bulletin of Mathematical Analysis and Applications, Vol 6, Issue 4, 2014, p.1-15
• View Publication
• BIB
The author \mbox{(Appl. Math. Comput. 218(3):860-865, 2011)} introduced a new fractional integral operator given by, \[ \big({}^ρ\mathcal{I}^α_{a+}f\big)(x) = \frac{ρ^{1- α}}{Γ(α)} \int^x_a \frac{τ^{ρ-1} f(τ) }{(x^ρ- τ^ρ)^{1-α}}\, dτ, \] which generalizes the well-known Riemann-Liouville and the Hadamard fractional integrals. In this paper we present a new fractional derivative which generalizes the familiar Riemann-Liouville and the Hadamard fractional derivatives to a single form. We also obtain two representations of the generalized derivative in question. An example is given to illustrate the results.
The Cyclic Sieving Phenomenon for non-crossing forests
Published
• View Publication
• BIB
In this paper we prove that the set of non-crossing forests together with a cyclic group acting on it by rotation and a natural q-analogue of the formula for their number exhibits the cyclic sieving phenomenon, as conjectured by Alan Guo.
The leading root of the partial theta function
Published in Adv. Math. 229, 2603-2621 (2012)
• View Publication
• BIB
I study the leading root x_0(y) of the partial theta function Θ_0(x,y) = \sum_{n=0}^\infty x^n y^{n(n-1)/2}, considered as a formal power series. I prove that all the coefficients of -x_0(y) are strictly positive. Indeed, I prove the stronger results that all the coefficients of -1/x_0(y) after the constant term 1 are strictly negative, and all the coefficients of 1/x_0(y)^2 after the constant term 1 are strictly negative except for the vanishing coefficient of y^3.
The distinguishing numbers of merged Johnson graphs
Published in The Bulletin of the Korean Math. Soc. 52(2) (2015) 395-408
• View Publication
• BIB
In present article, we determine the distinguishing number of the merged Johnson graphs which are generalization of both the Kneser graphs and of the Johnson graphs.
Bohman-Frieze processes at criticality and emergence of the giant component
The evolution of the usual Erdős-Rényi random graph model on n vertices can be described as follows: At time 0 start with the empty graph, with n vertices and no edges. Now at each time k, choose 2 vertices uniformly at random and attach an edge between these two vertices. Let \bfG_n(k) be the graph obtained at step k. Refined analysis in random graph theory now shows that for fixed t\in \Rbold, when k(n) = n/2+ n^{2/3} t/2, the sizes of the components in \bfG_n(k(n)) scale like n^{2/3} and rescaled component sizes converge to the standard multiplicative coalescent at time $t$. The last decade has seen variants of this process introduced, under the name Achlioptas processes, to understand the effect of simple changes in the edge formation scheme on the emergence of the giant component. Stimulated by a question of Achlioptas, one of the simplest and most popular of such models is the Bohman Frieze (BF) model wherein at each stage $k$, 2 edges e_1(k)=(v_1,v_2) and e_2(k) = (v_3, v_4) are chosen uniformly at random. If at this time v_1, v_2 are both isolated then this edge is added, otherwise e_2 is added. Then \cite{bohman2001avoiding} (and further analysis in \cite{spencer2007birth}) show that once again there is a critical parameter, which is larger than 1, above and below which the asymptotic behavior is as in the Erdős-Rényi setting. While an intense study for this and related models seems to suggest that at criticality, this model should be in the same universality class as the original Erdős-Rényi process, a precise mathematical treatment of the dynamics in the critical window has to date escaped analysis. In this work we study the component structure of the BF model in the critical window and show that at criticality the sizes of components properly rescaled and re-centered converge to the standard multiplicative coalescent.
On the minimal monochromatic K4-density
We use Razborov's flag algebra method to show a new asymptotic lower bound for the minimal density $m_4$ of monochromatic $K_4$'s in any 2-coloring of the edges of the complete graph $K_n$ on $n$ vertices. The hitherto best known lower bound was obtained by Giraud, who proved that m_4>1/46, whereas the best known upper bound by Thomason states that m_4<1/33. We can show that m_4>1/35.
A graph-theoretical axiomatization of oriented matroids
Published
• View Publication
• BIB
We characterize which systems of sign vectors are the cocircuits of an oriented matroid in terms of the cocircuit graph.
Universal Properties of Some Quivers
In this paper, I characterize four particular classes of directed multigraphs, or quivers, as images under left and right adjoints to the natural vertex and edge functors. In particular, the following notions coincide: (1) independent sets of vertices with a left adjoint functor to the vertex functor, (2) independent sets of edges with a left adjoint functor to the edge functor, (3) complete digraphs with a right adjoint functor to the vertex functor, (4) bouquets with a right adjoint functor to the edge functor.
Counting Lattice Animals in High Dimensions
Published in J. Stat. Mech. P09026 (2011)
• View Publication
• BIB
We present an implementation of Redelemeier's algorithm for the enumeration of lattice animals in high dimensional lattices. The implementation is lean and fast enough to allow us to extend the existing tables of animal counts, perimeter polynomials and series expansion coefficients in $d$-dimensional hypercubic lattices for $3 \leq d\leq 10$. From the data we compute formulas for perimeter polynomials for lattice animals of size $n\leq 11$ in arbitrary dimension $d$. When amended by combinatorial arguments, the new data suffices to yield explicit formulas for the number of lattice animals of size $n\leq 14$ and arbitrary $d$. We also use the enumeration data to compute numerical estimates for growth rates and exponents in high dimensions that agree very well with Monte Carlo simulations and recent predictions from field theory.
On the Edge-balanced Index Sets of Complete Bipartite Graphs
Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$, and $f$ be a 0-1 labeling of $E(G)$ so that the absolute difference in the number of edges labeled 1 and 0 is no more than one. Call such a labeling $f$ \emph{edge-friendly}. The \emph{edge-balanced index set} of the graph $G$, $EBI(G)$, is defined as the absolute difference between the number of vertices incident to more edges labeled 1 and the number of vertices incident to more edges labeled 0 over all edge-friendly labelings $f$. In 2009, Lee, Kong, and Wang \cite{LeeKongWang} found the $EBI(K_{l,n})$ for $l=1,2,3,4,5$ as well as $l=n$. We continue the investigation of the $EBI$ of complete bipartite graphs of other orders.
New results on path-decompositions and their down-links
Published in Utilitas Mathematica, 90: 369-382 (2013), ISSN: 0315-3681
• Search Publication
In (arXiv:1004.4127) the concept of down-link from a (K_v, G)-design B to a (K_n, G')-design B' has been introduced. In the present paper the spectrum problems for G'= P4 are studied. General results on the existence of path-decompositions and embeddings between path- decompositions playing a fundamental role for the construction of down-links are also presented
On edge-group choosability of graphs
In this paper, we study the concept of edge-group choosability of graphs. We say that G is edge k-group choosable if its line graph is k-group choosable. An edge-group choosability version of Vizing conjecture is given. The evidence of our claim are graphs with maximum degree less than 4, planar graphs with maximum degree at least 11, planar graphs without small cycles, outerplanar graphs and near-outerplanar graphs.
Sudoku Symmetry Group
The mathematical aspects of the popular logic game Sudoku incorporate a significant number of the group theory concepts. In this note, we describe all symmetric transformations of the Sudoku grid. We do not intend to obtain a new strategy of solving Sudoku and do not describe basic ideas of the game which can be found in numerous other sources.
Algebraic and combinatorial Brill-Noether theory
Published
• View Publication
• BIB
The interplay between algebro-geometric and combinatorial Brill-Noether theory is studied. The Brill-Noether variety of a graph shown to be non-empty if the Brill-Noether number is non-negative, as a consequence of the analogous fact for smooth projective curves. Similarly, the existence of a graph for which the Brill-Noether variety is empty implies the emptiness of the corresponding Brill-Noether variety for a general curve. The main tool is a refinement of Baker's Specialization Lemma.
The Continuum Limit of Toda Lattices for Random Matrices with Odd Weights
Published
• View Publication
• BIB
This paper is concerned with the asymptotic behavior of the free energy for a class of Hermitean random matrix models, with odd degree polynomial potential, in the large N limit. It continues an investigation initiated and developed in a sequence of prior works whose ultimate aim is to reveal and understand, in a rigorous way, the deep connections between correlation functions for eigenvalues of these random matrix ensembles on the one hand and the enumerative interpretations of their matrix moments in terms of map combinatorics (a branch of graph theory) on the other. In doing this we make essential use of the link between the asymptotics of the random matrix partition function and orthogonal polynomials with exponential weight equal to the random matrix potential. Along the way we develop and analyze the continuum limits of both the hierarchy of Toda lattice equations and the hierarchy of difference string equations associated to these orthogonal polynomials. The former are found to have the structure of a hierarchy of near-conservation laws universal in the potential; the latter are a novel semi-classical extension of the traditional string equations. Our methods apply to regular maps of both even and odd valence, however we focus on the latter since that is the relevant case for this paper. These methods enable us to rigorously determine closed form expressions for the generating functions that enumerate trivalent maps, in general implicitly, but also explictly in a number of cases.
Domination in Functigraphs
Published in Discuss. Math. Graph Theory, Vol. 32 (2012) pp. 299-319
• View Publication
• BIB
Let $G_1$ and $G_2$ be disjoint copies of a graph $G$, and let $f: V(G_1) \rightarrow V(G_2)$ be a function. Then a \emph{functigraph} $C(G, f)=(V, E)$ has the vertex set $V=V(G_1) \cup V(G_2)$ and the edge set $E=E(G_1) \cup E(G_2) \cup \{uv \mid u \in V(G_1), v \in V(G_2), v=f(u)\}$. A functigraph is a generalization of a \emph{permutation graph} (also known as a \emph{generalized prism}) in the sense of Chartrand and Harary. In this paper, we study domination in functigraphs. Let $γ(G)$ denote the domination number of $G$. It is readily seen that $γ(G) \le γ(C(G,f)) \le 2 γ(G)$. We investigate for graphs generally, and for cycles in great detail, the functions which achieve the upper and lower bounds, as well as the realization of the intermediate values.
Infinite symmetric group and combinatorial descriptions of semigroups of double cosets
Published in Zap. Nauchn. Sem. POMI, 462 (2017), 65-92 (a version of the paper)
• View Publication
• BIB
We show that double cosets of the infinite symmetric group with respect to some special subgroups admit natural structures of semigroups. We interpret elements of such semigroups in combinatorial terms (chips, colored graphs, two-dimensional surfaces with polygonal tiling) and describe explicitly the multiplications.