Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Rook theoretic proofs of some identities related to Spivey's Bell number formula
We use rook placements to prove Spivey's Bell number formula and other identities related to it, in particular, some convolution identities involving Stirling numbers and relations involving Bell numbers. To cover as many special cases as possible, we work on the generalized Stirling numbers that arise from the rook model of Goldman and Haglund. An alternative combinatorial interpretation for the Type II generalized $q$-Stirling numbers of Remmel and Wachs is also introduced in which the method used to obtain the earlier identities can be adapted easily.
Extreme problems of circle packings on a sphere and irreducible contact graphs
Published in Proceedings of the Steklov Institute of Mathematics, 2015, Vol. 288, pp. 117-131
• View Publication
• BIB
Recently, we enumerate up to isometry, all locally rigid circle packings on the unit sphere with number of circles N<12. This problem is equivalent to the enumeration of irreducible contact graphs. In this paper we show that by using the list of irreducible graphs can solve various problems of extreme packings such as the Tammes problem for the sphere and the projective plane, the maximal contacts problem, Danzer's and other problems on irreducible contact graphs.
The maximum forcing number of polyomino
The forcing number of a perfect matching $M$ of a graph $G$ is the cardinality of the smallest subset of $M$ that is contained in no other perfect matchings of $G$. For a planar embedding of a 2-connected bipartite planar graph $G$ which has a perfect matching, the concept of Clar number of hexagonal system had been extended by Abeledo and Atkinson as follows: a spanning subgraph $C$ of is called a Clar cover of $G$ if each of its components is either an even face or an edge, the maximum number of even faces in Clar covers of $G$ is called Clar number of $G$, and the Clar cover with the maximum number of even faces is called the maximum Clar cover. It was proved that if $G$ is a hexagonal system with a perfect matching $M$ and $K'$ is a set of hexagons in a maximum Clar cover of $G$, then $G-K'$ has a unique 1-factor. Using this result, Xu {\it et. at.} proved that the maximum forcing number of the elementary hexagonal system are equal to their Clar numbers, and then the maximum forcing number of the elementary hexagonal system can be computed in polynomial time. In this paper, we show that an elementary polyomino has a unique perfect matching when removing the set of tetragons from its maximum Clar cover. Thus the maximum forcing number of elementary polyomino equals to its Clar number and can be computed in polynomial time. Also, we have extended our result to the non-elementary polyomino and hexagonal system.
On consecutive edge magic total labeling of connected bipartite graphs
Published
• View Publication
• BIB
Since Sedlá$\breve{\mbox{c}}$ek introduced the notion of magic labeling of a graph in 1963, a variety of magic labelings of a graph have been defined and studied. In this paper, we study consecutive edge magic labelings of a connected bipartite graph. We make a very useful observation that there are only four possible values of $b$ for which a connected bipartite graph has a $b$-edge consecutive magic labeling. On the basis of this fundamental result, we deduce various interesting results on consecutive edge magic labelings of bipartite graphs, especially caterpillars and lobsters, which extends the results given by Sugeng and Miller.
Almost-toric Hypersurfaces
Published in Beiträge zur Algebra und Geometrie 56 (2015):1-17
• View Publication
• BIB
An almost-toric hypersurface is parameterized by monomials multiplied by polynomials in one extra variable. We determine the Newton polytope of such a hypersurface, and apply this to give an algorithm for computing the implicit equation.
New results on torus cube packings and tilings
We consider sequential random packing of integral translate of cubes $[0,N]^n$ into the torus $Z^n / 2NZ^n$. Two special cases are of special interest:
(i) The case $N=2$ which corresponds to a discrete case of tilings (considered in \cite{cubetiling,book})
(ii) The case $N=\infty$ corresponds to a case of continuous tilings (considered in \cite{combincubepack,book})
Both cases correspond to some special combinatorial structure and we describe here new developments.
Equitable partition of graphs into induced forests
Published in Discrete Math. 338(8) (2015), 1481-1483
• View Publication
• BIB
An equitable partition of a graph $G$ is a partition of the vertex-set of $G$ such that the sizes of any two parts differ by at most one. We show that every graph with an acyclic coloring with at most $k$ colors can be equitably partitioned into $k-1$ induced forests. We also prove that for any integers $d\ge 1$ and $k\ge 3^{d-1}$, any $d$-degenerate graph can be equitably partitioned into $k$ induced forests.
Each of these results implies the existence of a constant $c$ such that for any $k \ge c$, any planar graph has an equitable partition into $k$ induced forests. This was conjectured by Wu, Zhang, and Li in 2013.
Graphs with no induced five-vertex path or antipath
Published in J. Graph Theory 84(3) (2017), 221-232
• View Publication
• BIB
We prove that a graph $G$ contains no induced $5$-vertex path and no induced complement of a $5$-vertex path if and only if $G$ is obtained from $5$-cycles and split graphs by repeatedly applying the following operations: substitution, split unification, and split unification in the complement, where split unification is a new class-preserving operation introduced here.
Frobenius complexes and the homotopy colimit of a diagram of posets over a poset
An affine monoid is an additive monoid which is cancellative, pointed and finitely generated. An affine monoid $Λ$ has the partial order defined by $λ\le λ+ μ$. The Frobenius complex is the order complex of an open interval of $Λ$ with respect to this partial order. The reduced homology of the Frobenius complex is related to the torsion group of the monoid algebra $K[Λ]$. In this paper, we pay attention to homotopy types of Frobenius complexes, and we express the homotopy types of the Frobenius complexes of $Λ$ in terms of those of $Λ_1$ and $Λ_2$ when $Λ$ is an affine monoid obtained by gluing two affine monoids $Λ_1$ and $Λ_2$ with one relation. We also state an application to the Poincaré series of the torsion group of the monoid algebra.
Characterizing binary matroids with no $P_9$-minor
Published
• View Publication
• BIB
In this paper, we give a complete characterization of binary matroids with no $P_9$-minor. A 3-connected binary matroid $M$ has no $P_9$-minor if and only if $M$ is one of the internally 4-connected non-regular minors of a special 16-element matroid $Y_{16}$, a 3-connected regular matroid, a binary spike with rank at least four, or a matroid obtained by 3-summing copies of the Fano matroid to a 3-connected cographic matroid $M^*(K_{3, n})$, $M^*(K_{3, n}^{\prime})$, $M^*(K_{3, n}^{\prime\prime})$, or $M^*(K_{3, n}^{\prime\prime\prime})$ ($n\ge 2$). Here the simple graphs $K_{3, n}^{\prime}, K_{3, n}^{\prime\prime}$, and $K_{3, n}^{\prime\prime\prime}$ are obtained from $K_{3, n}$ by adding one, two, or three edges in the color class of size three, respectively.
On a family of symmetric rational functions
Published
• View Publication
• BIB
This paper is about a family of symmetric rational functions that form a one-parameter generalization of the classical Hall-Littlewood polynomials. We introduce two sets of (skew and non-skew) functions that are akin to P and Q Hall-Littlewood polynomials. We establish (a) a combinatorial formula that represents our functions as partition functions for certain path ensembles in the square grid; (b) symmetrization formulas for non-skew functions; (c) identities of Cauchy and Pieri type; (d) explicit formulas for principal specializations; (e) two types of orthogonality relations for non-skew functions.
Our construction is closely related to the half-infinite volume, finite magnon sector limit of the higher spin six-vertex (or XXZ) model, with both sets of functions representing higher spin six-vertex partition functions and/or transfer-matrices for certain domains.
Almost Empty Monochromatic Triangles in Planar Point Sets
Published
• View Publication
• BIB
For positive integers $c, s \geq 1$, let $M_3(c, s)$ be the least integer such that any set of at least $M_3(c, s)$ points in the plane, no three on a line and colored with $c$ colors, contains a monochromatic triangle with at most $s$ interior points. The case $s=0$, which corresponds to empty monochromatic triangles, has been studied extensively over the last few years. In particular, it is known that $M_3(1, 0)=3$, $M_3(2, 0)=9$ and $M_3(c, 0)=\infty$, for $c\geq 3$. In this paper we extend these results when $c \geq 2$ and $s \geq 1$. We prove that the least integer $λ_3(c)$ such that $M_3(c, λ_3(c))< \infty$ satisfies: $$\left\lfloor\frac{c-1}{2}\right\rfloor \leqλ_3(c)\leq c-2,$$ where $c \geq 2$. Moreover, the exact values of $M_3(c, s)$ are determined for small values of $c$ and $s$. We also conjecture that $λ_3(4)=1$, and verify it for sufficiently large Horton sets.
Cycles with consecutive odd lengths
Published
• View Publication
• BIB
It is proved that there exists an absolute constant c > 0 such that for every natural number k, every non-bipartite 2-connected graph with average degree at least ck contains k cycles with consecutive odd lengths. This implies the existence of the absolute constant d > 0 that every non-bipartite 2-connected graph with minimum degree at least dk contains cycles of all lengths modulo k, thus providing an answer (in a strong form) to a question of Thomassen. Both results are sharp up to the constant factors.
Multicolored Isomorphic Spanning Trees in Complete Graphs
Published in Ars Combinatoria, 122 (2015) 423-430
• Search Publication
In this paper, we first prove that if the edges of $K_{2m}$ are properly colored by $2m-1$ colors in such a way that any two colors induce a 2-factor of which each component is a 4-cycle, then $K_{2m}$ can be decomposed into $m$ isomorphic multicolored spanning trees. Consequently, we show that there exist three disjoint isomorphic multicolored spanning trees in any properly (2$m-$1)-edge-colored $K_{2m}$ for $m\geq 14$.
A fractional Helly theorem for boxes
Published in Computational Geometry: Theory and Applications 48 (2015), no. 3, 221-224
• View Publication
• BIB
Let $\mathcal{F}$ be a family of $n$ axis-parallel boxes in $\mathbb{R}^d$ and $α\in (1-1/d,1]$ a real number. There exists a real number $β(α)>0$ such that if there are $α{n\choose 2}$ intersecting pairs in $\mathcal{F}$, then $\mathcal{F}$ contains an intersecting subfamily of size $βn$. A simple example shows that the above statement is best possible in the sense that if $α\leq 1-1/d$, then there may be no point in $\mathbb{R}^d$ that belongs to more than $d$ elements of $\mathcal{F}$.
Unicity Concepts for Sudoku
This paper deals with a generalized Sudoku problem and investigates the unicity of a given solution. We introduce constraint sets, which is a generalization of the rows, columns and blocks of a classical Sudoku puzzle. The unicity property is characterized by three different properties. We describe unicity by permutations, by unicity cells and by rectangles. These terms are defined in this paper and are illustrated with examples. Throughout this paper we are not concerned with the existence of a solution.
Automated conjecturing of Frobenius numbers via grammatical evolution
Published in Exp. Math. 26 (2017), no. 2, 247-252
• View Publication
• BIB
Conjecturing formulas and other symbolic relations occurs frequently in number theory and combinatorics. If we could automate conjecturing, we could benefit not only from speeding up, but also from finding conjectures previously out of our grasp. Grammatical evolution, a genetic programming technique, can be used for automated conjecturing in mathematics. Concretely, this work describes how one can interpret the Frobenius problem as a symbolic regression problem, and then apply grammatical evolution to it. In this manner, a few formulas for Frobenius numbers of specific quadruples were found automatically. The sketch of the proof for one conjectured formula, using lattice point enumeration method, is provided as well.
Same method can easily be used on other problems to speed up and enhance the research process.
Deterministic Conditions for Subspace Identifiability from Incomplete Sampling
Published
• View Publication
• BIB
Consider a generic $r$-dimensional subspace of $\mathbb{R}^d$, $r<d$, and suppose that we are only given projections of this subspace onto small subsets of the canonical coordinates. The paper establishes necessary and sufficient deterministic conditions on the subsets for subspace identifiability.
Crossing numbers of complete tripartite and balanced complete multipartite graphs
Published
• View Publication
• BIB
The crossing number cr(G) of a graph G is the minimum number of crossings in a nondegenerate planar drawing of G. The rectilinear crossing number cr'(G) of G is the minimum number of crossings in a rectilinear nondegenerate planar drawing (with edges as straight line segments) of G. Zarankiewicz proved in 1952 that cr'(K_{n_1,n_2})\le Z(n_1,n_2):= n_1/2*(n_1-1)/2*n_2/2*(n_2-1)/2. We define an analogous bound A(n_1,n_2,n_3) for the complete tripartite graph K_{n_1,n_2,n_3}, and prove that cr'(K_{n_1,n_2,n_3})\le A({n_1,n_2,n_3}). We also show that for n large enough, 0.973 A(n,n,n) \le cr'(K_{n,n,n}) and 0.666 A(n,n,n)\le cr(K_{n,n,n}), with the tighter rectilinear lower bound established through the use of flag algebras. A complete multipartite graph is balanced if the partite sets all have the same cardinality. We study asymptotic behavior of the crossing number of the balanced complete r-partite graph. Richter and Thomassen proved in 1997 that the limit as n\to\infty of cr(K_{n,n}) over the maximum number of crossings in a drawing of K_{n,n} exists and is at most 1/4. We define z(r)=3(r^2-r)/8(r^2+r-3) and show that for a fixed r and the balanced complete r-partite graph, z(r) is an upper bound to the limit superior of the crossing number divided by the maximum number of crossings in a drawing.
Dual immaculate creation operators and a dendriform algebra structure on the quasisymmetric functions
Published in Canad. J. Math. 69(2017), 21-53 (published version is version 5 without ancillary file)
• View Publication
• BIB
The dual immaculate functions are a basis of the ring QSym of quasisymmetric functions, and form one of the most natural analogues of the Schur functions. The dual immaculate function corresponding to a composition is a weighted generating function for immaculate tableaux in the same way as a Schur function is for semistandard Young tableaux; an "immaculate tableau" is defined similarly to a semistandard Young tableau, but the shape is a composition rather than a partition, and only the first column is required to strictly increase (whereas the other columns can be arbitrary; but each row has to weakly increase). Dual immaculate functions have been introduced by Berg, Bergeron, Saliola, Serrano and Zabrocki in arXiv:1208.5191, and have since been found to possess numerous nontrivial properties.
In this note, we prove a conjecture of Mike Zabrocki which provides an alternative construction for the dual immaculate functions in terms of certain "vertex operators". The proof uses a dendriform structure on the ring QSym; we discuss the relation of this structure to known dendriform structures on the combinatorial Hopf algebras FQSym and WQSym.