Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Spectra of the subdivision-vertex and subdivision-edge coronae
The subdivision graph $\mathcal{S}(G)$ of a graph $G$ is the graph obtained by inserting a new vertex into every edge of $G$. Let $G_1$ and $G_2$ be two vertex disjoint graphs. The \emph{subdivision-vertex corona} of $G_1$ and $G_2$, denoted by $G_1\odot G_2$, is the graph obtained from $\mathcal{S}(G_1)$ and $|V(G_1)|$ copies of $G_2$, all vertex-disjoint, by joining the $i$th vertex of $V(G_1)$ to every vertex in the $i$th copy of $G_2$. The \emph{subdivision-edge corona} of $G_1$ and $G_2$, denoted by $G_1\circleddash G_2$, is the graph obtained from $\mathcal{S}(G_1)$ and $|I(G_1)|$ copies of $G_2$, all vertex-disjoint, by joining the $i$th vertex of $I(G_1)$ to every vertex in the $i$th copy of $G_2$, where $I(G_1)$ is the set of inserted vertices of $\mathcal{S}(G_1)$. In this paper we determine the adjacency spectra, the Laplacian spectra and the signless Laplacian spectra of $G_1\odot G_2$ (respectively, $G_1\circleddash G_2$) in terms of the corresponding spectra of $G_1$ and $G_2$. As applications, the results on the spectra of $G_1\odot G_2$ (respectively, $G_1\circleddash G_2$) enable us to construct infinitely many pairs of cospectral graphs. The adjacency spectra of $G_1\odot G_2$ (respectively, $G_1\circleddash G_2$) help us to construct many infinite families of integral graphs. By using the Laplacian spectra, we also obtain the number of spanning trees and Kirchhoff index of $G_1\odot G_2$ and $G_1\circleddash G_2$, respectively.
Continued Fractions of Quadratic Numbers
Published in Acta Polytechnica, 53(4) (2013), 322-328
• View Publication
• BIB
In this paper, we will first summarize known results concerning continued fractions. Then we will limit our consideration to continued fractions of quadratic numbers. The second author described periods and sometimes precise form of continued fractions of $\sqrt{N}$, where $N$ is a natural number. In cases where we were able to find such results in literature, we recall the original authors, however many results seem to be new.
Dual Equivalence Graphs Revisited and the Explicit Schur Expansion of a Family of LLT Polynomials
Published
• View Publication
• BIB
In 2007 Sami Assaf introduced dual equivalence graphs as a method for demonstrating that a quasisymmetric function is Schur positive. The method involves the creation of a graph whose vertices are weighted by Ira Gessel's fundamental quasisymmetric functions so that the sum of the weights of a connected component is a single Schur function. In this paper, we improve on Assaf's axiomatization of such graphs, giving locally testable criteria that are more easily verified by computers. We further advance the theory of dual equivalence graphs by describing a broader class of graphs that correspond to an explicit Schur expansion in terms of Yamanouchi words. Along the way, we demonstrate several symmetries in the structure of dual equivalence graphs. We then apply these techniques to give explicit Schur expansions for a family of Lascoux-Leclerc-Thibon polynomials. This family properly contains the previously known case of polynomials indexed by two skew shapes, as was described in a 1995 paper by Christophe Carré and Bernard Leclerc. As an immediate corollary, we gain an explicit Schur expansion for a family of modified Macdonald polynomials in terms of Yamanouchi words. This family includes all polynomials indexed by shapes with at most three cells in the first row and at most two cells in the second row, providing an extension to the combinatorial description of the two column case described in 2005 by James Haglund, Mark Haiman, and Nick Loehr.
Cohen-Macaulay-ness in codimension for bipartite graphs
Published
• View Publication
• BIB
Let $G$ be an unmixed bipartite graph of dimension $d-1$. Assume that $K_{n,n}$, with $n\ge 2$, is a maximal complete bipartite subgraph of $G$ of minimum dimension. Then $G$ is Cohen-Macaulay in codimension $d-n+1$. This generalizes a characterization of Cohen-Macaulay bipartite graphs by Herzog and Hibi and a result of Cook and Nagel on unmixed Buchsbaum graphs. Furthermore, we show that any unmixed bipartite graph $G$ which is Cohen-Macaulay in codimension $t$, is obtained from a Cohen-Macaulay graph by replacing certain edges of $G$ with complete bipartite graphs. We provide some examples.
Simplicial vertices in graphs with no induced four-edge path or four-edge antipath, and the $H_6$-conjecture
Published in J. Graph Theory 76(4) (2014), 249-261
• View Publication
• BIB
Let $\mathcal{G}$ be the class of all graphs with no induced four-edge path or four-edge antipath. Hayward and Nastos \cite{MS} conjectured that every prime graph in $\mathcal{G}$ not isomorphic to the cycle of length five is either a split graph or contains a certain useful arrangement of simplicial and antisimplicial vertices. In this paper we give a counterexample to their conjecture, and prove a slightly weaker version. Additionally, applying a result of the first author and Seymour \cite{grow} we give a short proof of Fouquet's result \cite{C5} on the structure of the subclass of bull-free graphs contained in $\mathcal{G}$.
Excluding four-edge paths and their complements
We prove that a graph G contains no induced four-edge path and no induced complement of a four-edge path if and only if G is obtained from five-cycles and split graphs by repeatedly applying the following operations: substitution, split graph unification, and split graph unification in the complement ("split graph unification" is a new class-preserving operation that is introduced in this paper).
The shuffle relation of fractions from multiple zeta values
Published in Ramanujan Jour. 25 (2011) 307-317
• View Publication
• BIB
Partial fraction methods play an important role in the study of multiple zeta values. One class of such fractions is related to the integral representations of MZVs. We show that this class of fractions has a natural structure of shuffle algebra. This finding conceptualizes the connections among the various methods of stuffle, shuffle and partial fractions in the study of MZVs. This approach also gives an explicit product formula of the fractions.
Some combinatorial interpretations in perturbative quantum field theory
Published
• View Publication
• BIB
This paper will describe how combinatorial interpretations can help us understand the algebraic structure of two aspects of perturbative quantum field theory, namely analytic Dyson-Schwinger equations and periods of scalar Feynman graphs. The particular examples which will be looked at are, a better reduction to geometric series for Dyson-Schwinger equations, a subgraph which yields extra denominator reductions in scalar Feynman integrals, and an explanation of a trick of Brown and Schnetz to get one extra step in the denominator reduction of an important particular graph.
The Last Digit of $\binom{2n}{n}$ and $\sum\binom{n}{i}\binom{2n-2i}{n-i}$
Let $f_{n}=\sum_{i=0}^n \binom{n}{i}\binom{2n-2i}{n-i}$, $g_{n}= \sum_{i=1}^n \binom{n}{i}\binom{2n-2i}{n-i}$. Let $\{a_k\}_{k=1}$ be the set of all positive integers n, in increasing order, for which $\binom{2n}{n}$ is not divisible by 5, and let $\{b_k\}_{k=1}$ be the set of all positive integers n, in increasing order, for which $g_n$ is not divisible by 5. This note finds simple formulas for $a_k$, $b_k$, $\binom{2n}{n}\ mod\ 10$, $ f_{n}\ mod\ 10$, and $ g_{n}\ mod\ 10$.
Combinatorial rules for three bases of polynomials
Published in Seminaire Lotharingien de Combinatoire 74 (2015), Article B74a, 11pp
• Search Publication
We present combinatorial rules (one theorem and two conjectures) concerning three bases of Z[x1,x2,....]. First, we prove a "splitting" rule for the basis of key polynomials [Demazure '74], thereby establishing a new positivity theorem about them. Second, we introduce an extension of [Kohnert '90]'s "moves" to conjecture the first combinatorial rule for a certain deformation [Lascoux '01] of the key polynomials. Third, we use the same extension to conjecture a new rule for the Grothendieck polynomials [Lascoux-Schutzenberger '82].
Impartial games whose rulesets produce given continued fractions
Published
• View Publication
• BIB
We study 2-player impartial games of the form take-away which produce P-positions (second player winning positions) corresponding to complementary Beatty sequences, given by the continued fractions (1;k,1,k,1,...) and (k+1;k,1,k,1,...). Our problem is the opposite of the main field of research in this area, which is to, given a game, understand its set of P-positions. We are rather given a set of (candidate) P-positions and look for "simple" rules. Our rules satisfy two criteria, they are given by a closed formula and they are invariant, that is, the available moves do not depend on the position played from (for all options with non-negative coordinates).
Critical Sets for Sudoku and General Graphs
Published
• View Publication
• BIB
We discuss the problem of finding critical sets in graphs, a concept which has appeared in a number of guises in the combinatorics and graph theory literature. The case of the Sudoku graph receives particular attention, because critical sets correspond to minimal fair puzzles. We define four parameters associated with the sizes of extremal critical sets and (a) prove several general results about these parameters' properties, including their computational intractability, (b) compute their values exactly for some classes of graphs, (c) obtain bounds for generalized Sudoku graphs, and (d) offer a number of open questions regarding critical sets and the aforementioned parameters.
Products of Young symmetrizers and ideals in the generic tensor algebra
Published in J. Algebraic Combin. 39, no. 2:247-270, 2014
• View Publication
• BIB
We describe a formula for computing the product of the Young symmetrizer of a Young tableau with the Young symmetrizer of a subtableau, generalizing the classical quasi-idempotence of Young symmetrizers. We derive some consequences to the structure of ideals in the generic tensor algebra and its partial symmetrizations. Instances of these generic algebras appear in the work of Sam and Snowden on twisted commutative algebras, as well as in the work of the author on the defining ideals of secant varieties of Segre-Veronese varieties, and in joint work of Oeding and the author on the defining ideals of tangential varieties of Segre-Veronese varieties.
Constructing, sampling and counting graphical realizations of restricted degree sequences
Published in PLOS ONE 2015. e0131300
• View Publication
• BIB
With the current burst of network theory (especially in connection with social and biological networks) there is a renewed interest on realizations of given degree sequences. In this paper we propose an essentially new degree sequence problem: we want to find graphical realizations of a given degree sequence on labeled vertices, where certain would-be edges are {\em forbidden}. Then we want to sample uniformly and efficiently all these possible realizations. (This problem can be considered as a special case of Tutte's $f$-factor problem, however it has a favorable sampling speed.)
We solve this {\em restricted degree sequence} (or RDS for short) problem completely if the forbidden edges form a bipartite graph, which consist of the union of a (not necessarily maximal) 1-factor and a (possible empty) star. Then we show how one can sample the space of all realizations of these RDSs uniformly and efficiently when the degree sequence describes a {\em half-regular} bipartite graph. Our result contains, as special cases, the well-known result of Kannan, Tetali and Vempala on sampling regular bipartite graphs and a recent result of Greenhill on sampling regular directed graphs (so it also provides new proofs of them).
The RDS problem descried above is self-reducible, therefore our {\em fully polynomial almost uniform sampler} (a.k.a. FPAUS) on the space of all realizations also provides a {\em fully polynomial randomized approximation scheme} (a.k.a. FPRAS) for approximate counting of all realizations.
The random graph
Published
• View Publication
• BIB
Erdős and Rényi showed the paradoxical result that there is a unique (and highly symmetric) countably infinite random graph. This graph, and its automorphism group, form the subject of the present survey.
A Note On Edge Connectivity and Parity Factor
Published
• View Publication
• BIB
In this paper, we investigate some parity factors by using Lovász's (g,f)-parity theorem. Let $m>0$ be an integer. Firstly, we obtain a sufficient and necessary condition for some graphs to have a parity factor with restricted minimum degree. Secondly, we obtain some sufficient conditions for a graph to have a parity factor with minimum degree $m$ in term of edge connectivity.
The Third Proof of Lovász's Cathedral Theorem
Published
• View Publication
• BIB
A graph $G$ with a perfect matching is called saturated if $G+e$ has more perfect matchings than $G$ for any edge $e$ that is not in $G$. Lovász gave a characterization of the saturated graphs called the cathedral theorem, with some applications to the enumeration problem of perfect matchings, and later Szigeti gave another proof. In this paper, we give a new proof with our preceding works which revealed canonical structures of general graphs with perfect matchings. Here, the cathedral theorem is derived in quite a natural way, providing more refined or generalized properties. Moreover, the new proof shows that it can be proved without using the Gallai-Edmonds structure theorem.
Exact algorithms for dominating induced matchings
Published
• View Publication
• BIB
Say that an edge of a graph G dominates itself and every other edge adjacent to it. An edge dominating set of a graph G = (V,E) is a subset of edges E' of E which dominates all edges of G. In particular, if every edge of G is dominated by exactly one edge of E' then E' is a dominating induced matching. It is known that not every graph admits a dominating induced matching, while the problem to decide if it does admit is NP-complete. In this paper we consider the problem of finding a minimum weighted dominating induced matching, if any, of a graph with weighted edges. We describe two exact algorithms for general graphs. The algorithms are efficient in the cases where G admits a known vertex dominating set of small size, or when G contains a polynomial number of maximal independent sets.
Minuscule Schubert Varieties and Mirror Symmetry
Published in SIGMA 13 (2017), 067, 25 pages
• View Publication
• BIB
We consider smooth complete intersection Calabi-Yau 3-folds in minuscule Schubert varieties, and study their mirror symmetry by degenerating the ambient Schubert varieties to Hibi toric varieties. We list all possible Calabi-Yau 3-folds of this type up to deformation equivalences, and find a new example of smooth Calabi-Yau 3-folds of Picard number one; a complete intersection in a locally factorial Schubert variety ${\boldsymbolΣ}$ of the Cayley plane ${\mathbb{OP}}^2$. We calculate topological invariants and BPS numbers of this Calabi-Yau 3-fold and conjecture that it has a non-trivial Fourier-Mukai partner.
Medial symmetry type graphs
Published
• View Publication
• BIB
A $k$-orbit map is a map with its automorphism group partitioning the set of flags into $k$ orbits. Recently $k$-orbit maps were studied by Orbani\' c, Pellicer and Weiss, for $k \leq 4$. In this paper we use symmetry type graphs to extend such study and classify all the types of $5$-orbit maps, as well as all self-dual, properly and improperly, symmetry type of $k$-orbit maps with $k\leq 7$. Moreover, we determine, for small values of $k$, all types of $k$-orbits maps that are medial maps. Self-dualities constitute an important tool in this quest.