Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Dual trees must share their ends
Published
• View Publication
• BIB
We extend to infinite graphs the matroidal characterization of finite graph duality, that two graphs are dual iff they have complementary spanning trees in some common edge set. The naive infinite analogue of this fails.
The key in an infinite setting is that dual trees must share between them not only the edges of their host graphs but also their ends: the statement that a set of edges is acyclic and connects all the vertices in one of the graphs iff the remaining edges do the same in its dual will hold only once each of the two graphs' common ends has been assigned to one graph but not the other, and 'cycle' and 'connected' are interpreted topologically in the space containing the respective edges and precisely the ends thus assigned.
This property characterizes graph duality: if, conversely, the spanning trees of two infinite graphs are complementary in this end-sharing way, the graphs form a dual pair.
4-critical wheel graphs of higher order
4-critical wheel graphs of higher order are considered concerning their belonging to free-planar or free-Hadwiger classes.
Symplectic degenerate flag varieties
Published in Can. J. Math.-J. Can. Math. 66 (2014) 1250-1286
• View Publication
• BIB
Let $\SF^a_λ$ be the degenerate symplectic flag variety. These are projective singular irreducible $\bG_a^M$ degenerations of the classical flag varieties for symplectic group $Sp_{2n}$. We give an explicit construction for the varieties $\SF^a_λ$ and construct their desingularizations, similar to the Bott-Samelson resolutions in the classical case. We prove that $\SF^a_\la$ are normal locally complete intersections with terminal and rational singularities. We also show that these varieties are Frobenius split. Using the above mentioned results, we prove an analogue of the Borel-Weil-Bott theorem and obtain a $q$-character formula for the characters of irreducible $Sp_{2n}$-modules via the Atiyah-Bott-Lefschetz fixed points formula.
On the adjoint representation of $\mathfrak{sl}_n$ and the Fibonacci numbers
Published
• View Publication
• BIB
We decompose the adjoint representation of $\mathfrak{sl}_{r+1}=\mathfrak {sl}_{r+1}(\mathbb C)$ by a purely combinatorial approach based on the introduction of a certain subset of the Weyl group called the \emph{Weyl alternation set} associated to a pair of dominant integral weights. The cardinality of the Weyl alternation set associated to the highest root and zero weight of $\mathfrak {sl}_{r+1}$ is given by the $r^{th}$ Fibonacci number. We then obtain the exponents of $\mathfrak {sl}_{r+1}$ from this point of view.
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.