Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Young Graphs: 1089 et al
Published in Journal of Integer Sequences, 18.9 (2015)
• Search Publication
This paper deals with those positive integers N such that, for given integers g and k with 1< k<g, the base-g digits of N and kN appear in reverse order. Such N are called (g, k) reverse multiples. Anne Ludington Young, in 1992, developed a kind of tree reflecting properties of these numbers; N. J. A. Sloane, in 2013, modified these trees into directed graphs and introduced certain combinatoric methods to determine from these graphs the number of reverse multiples for given values of g and k with a given number of digits. We extend their work, proving Sloane's isomorphism conjectures for 1089 graphs and complete graphs, furthering his study of cyclic graphs, and proving a minor result on isomorphism.
Some observations about super Catalan numbers, corresponding orthogonal polynomials, and their q-analogues
In this note we give a survey about polynomials whose moments are multiples of super Catalan numbers and explore two different kinds of q-analogues.
A Full Characterization of Irrelevant Components in Diameter Constrained Reliability
In classical network reliability analysis, the system under study is a network with perfect nodes but imperfect link, that fail stochastically and independently. There, the goal is to find the probability that the resulting random graph is connected, called \emph{reliability}. Although the exact reliability computation belongs to the class of $\mathcal{NP}$-Hard problems, the literature offers three exact methods for exact reliability computation, to know, Sum of Disjoint Products (SDPs), Inclusion-Exclusion and Factorization.
Inspired in delay-sensitive applications in telecommunications, Héctor Cancela and Louis Petingi defined in 2001 the diameter-constrained reliability, where terminals are required to be connected by $d$ hops or less, being $d$ a positive integer, called diameter.
Factorization theory in classical network reliability is a mature area. However, an extension to the diameter-constrained context requires at least the recognition of irrelevant links, and an extension of deletion-contraction formula. In this paper, we fully characterize the determination of irrelevant links. Diameter-constrained reliability invariants are presented, which, together with the recognition of irrelevant links, represent the building-blocks for a new factorization theory. The paper is closed with a discussion of trends for future work.
Disjunctive Total Domination in Graphs
Published
• View Publication
• BIB
Let $G$ be a graph with no isolated vertex. In this paper, we study a parameter that is a relaxation of arguably the most important domination parameter, namely the total domination number, $γ_t(G)$. A set $S$ of vertices in $G$ is a disjunctive total dominating set of $G$ if every vertex is adjacent to a vertex of $S$ or has at least two vertices in $S$ at distance2 from it. The disjunctive total domination number, $γ^d_t(G)$, is the minimum cardinality of such a set. We observe that $γ^d_t(G) \le γ_t(G)$. We prove that if $G$ is a connected graph of order$n \ge 8$, then $γ^d_t(G) \le 2(n-1)/3$ and we characterize the extremal graphs. It is known that if $G$ is a connected claw-free graph of order$n$, then $γ_t(G) \le 2n/3$ and this upper bound is tight for arbitrarily large$n$. We show this upper bound can be improved significantly for the disjunctive total domination number. We show that if $G$ is a connected claw-free graph of order$n > 10$, then $γ^d_t(G) \le 4n/7$ and we characterize the graphs achieving equality in this bound.
Supersolvability and the Koszul property of root ideal arrangements
Published
• View Publication
• BIB
A root ideal arrangement $A_I$ is the set of reflecting hyperplanes corresponding to the roots in an order ideal $I$ of the root poset on the positive roots of a finite crystallographic root system. A characterisation of supersolvable root ideal arrangements is obtained. Namely, $A_I$ is supersolvable if and only if $I$ is chain peelable, meaning that it is possible to reach the empty poset from $I$ by in each step removing a maximal chain which is also an order filter. In particular, supersolvability is preserved under taking subideals. We identify the minimal ideals that correspond to non-supersolvable arrangements. There are essentially two such ideals, one in type $D_4$ and one in type $F_4$. By showing that $A_I$ is not line-closed if $I$ contains one of these, we deduce that the Orlik-Solomon algebra $OS(A_I)$ has the Koszul property if and only if $A_I$ is supersolvable.
A Density Version of the Corradi-Hajnal Theorem
For every positive integer $k$, we show that every graph of order $n$ at least $3k$ with more than $$\max\{{2k-1\choose 2}+(2k-1)(n-(2k-1)),{3k-1\choose 2}+(n-(3k-1))\}$$ edges has $k$ vertex disjoint cycles, which is a best possible density version of a theorem of Corrádi and Hajnal.
On Maximum Signless Laplacian Estrada Index of Graphs with Given Parameters II
Published
• View Publication
• BIB
Recently Ayyaswamy [1] have introduced a novel concept of the signless Laplacian Estrada index (after here $SLEE$) associated with a graph $G$. After works, we have identified the unique graph with maximum $SLEE$ with a given parameter such as: number of cut vertices, (vertex) connectivity and edge connectivity. In this paper we continue out characterization for two further parameters; diameter and number of cut vertices.
Egge triples and unbalanced Wilf-equivalence
Egge conjectured that permutations avoiding the set of patterns $\{2143,3142,τ\}$, where $τ\in\{246135,254613,263514,524361,546132\}$, are enumerated by the large Schröder numbers. Consequently, $\{2143,3142,τ\}$ with $τ$ as above is Wilf-equivalent to the set of patterns $\{2413,3142\}$. Burstein and Pantone proved the case of $τ=246135$. We prove the remaining four cases. As a byproduct of our proof, we also enumerate the case $τ=4132$.
A continuum of expanders
Published
• View Publication
• BIB
A regular equivalence between two graphs $Γ,Γ'$ is a pair of uniformly proper Lipschitz maps $VΓ\to VΓ'$ and $VΓ'\to VΓ$. Using separation profiles we prove that there are $2^{\aleph_0}$ regular equivalence classes of expander graphs, and of finitely generated groups with a representative which isometrically contains expanders.
An abstract approach to polychromatic coloring: shallow hitting sets in ABA-free hypergraphs and pseudohalfplanes
Published
• View Publication
• BIB
The goal of this paper is to give a new, abstract approach to cover-decomposition and polychromatic colorings using hypergraphs on ordered vertex sets. We introduce an abstract version of a framework by Smorodinsky and Yuditsky, used for polychromatic coloring halfplanes, and apply it to so-called ABA-free hypergraphs, which are a generalization of interval graphs. Using our methods, we prove that (2k-1)-uniform ABA-free hypergraphs have a polychromatic k-coloring, a problem posed by the second author. We also prove the same for hypergraphs defined on a point set by pseudohalfplanes. These results are best possible. We could only prove slightly weaker results for dual hypergraphs defined by pseudohalfplanes, and for hypergraphs defined by pseudohemispheres. We also introduce another new notion that seems to be important for investigating polychromatic colorings and epsilon-nets, shallow hitting sets. We show that all the above hypergraphs have shallow hitting sets, if their hyperedges are containment-free.
Grundy values of Fibonacci nim
Published
• View Publication
• BIB
In this article, we investigate the Grundy values of the popular game of Fibonacci nim. The winning strategy, which amounts to understanding positions of Grundy value 0, was known since Whinihan in 1963. In this paper, we extend Whinihan's analysis by computing all the positions of Grundy value at most 3. Furthermore, we show that, when we delete the Fibonacci numbers (which have Grundy value 0), the Grundy values of the starting positions are increasing, and we give upper and lower bounds on the growth rate.
On three measures of non-convexity
Published in Israel Journal of Mathematics 218 (2017), Issue 1, 331-369
• View Publication
• BIB
The invisibility graph $I(X)$ of a set $X \subseteq \mathbb{R}^d$ is a (possibly infinite) graph whose vertices are the points of $X$ and two vertices are connected by an edge if and only if the straight-line segment connecting the two corresponding points is not fully contained in $X$. We consider the following three parameters of a set $X$: the clique number $ω(I(X))$, the chromatic number $χ(I(X))$ and the convexity number $γ(X)$, which is the minimum number of convex subsets of $X$ that cover $X$. We settle a conjecture of Matoušek and Valtr claiming that for every planar set $X$, $γ(X)$ can be bounded in terms of $χ(I(X))$. As a part of the proof we show that a disc with $n$ one-point holes near its boundary has $χ(I(X)) \ge \log\log(n)$ but $ω(I(X))=3$. We also find sets $X$ in $\mathbb{R}^5$ with $χ(X)=2$, but $γ(X)$ arbitrarily large.
Hopf Algebras in Combinatorics
These notes -- originating from a one-semester class by their second author at the University of Minnesota -- survey some of the most important Hopf algebras appearing in combinatorics. After introducing coalgebras, bialgebras and Hopf algebras in general, we study the Hopf algebra of symmetric functions, including Zelevinsky's axiomatic characterization of it as a "positive self-adjoint Hopf algebra" and its application to the representation theory of symmetric and (briefly) finite general linear groups. The notes then continue with the quasisymmetric and the noncommutative symmetric functions, some Hopf algebras formed from graphs, posets and matroids, and the Malvenuto-Reutenauer Hopf algebra of permutations. Among the results surveyed are the Littlewood-Richardson rule and other symmetric function identities, Zelevinsky's structure theorem for PSHs, the antipode formula for P-partition enumerators, the Aguiar-Bergeron-Sottile universal property of QSym, the theory of Lyndon words, the Gessel-Reutenauer bijection, and Hazewinkel's polynomial freeness of QSym. The notes are written with a graduate student reader in mind, being mostly self-contained but requiring a good familiarity with multilinear algebra and -- for the representation-theory applications -- basic group representation theory.
Analytic Description of the Phase Transition of Inhomogeneous Multigraphs
Published
• View Publication
• BIB
We introduce a new model of random multigraphs with colored vertices and weighted edges. It is similar to the "inhomogeneous random graph model" of Söderberg (2002), extended by Bollobás, Janson and Riordan (2007). By means of analytic combinatorics, we then analyze the birth of "complex components", which are components with at least two cycles.
We apply those results to give a complete picture of the finite size scaling and the critical exponents associated to a rather broad family of decision problems. As applications, we derive new proofs of known results on the 2-colorability problem, already investigated by Pittel and Yeum (2010), and on the enumeration of properly q-colored multigraphs, analyzed by Wright (1972). We also obtain new results on the phase transition of the satisfiability of quantified 2-Xor-formulas, a problem introduced by Creignou, Daudé and Egly (2007).
Order-preserving Freiman isomorphisms
An order-preserving Freiman 2-isomorphism is a map $φ:X \rightarrow \mathbb{R}$ such that $φ(a) < φ(b)$ if and only if $a < b$ and $φ(a)+φ(b) = φ(c)+φ(d)$ if and only if $a+b=c+d$ for any $a,b,c,d \in X$. We show that for any $A \subseteq \mathbb{Z}$, if $|A+A| \le K|A|$, then there exists a subset $A' \subseteq A$ such that the following holds: $|A'| \gg_K |A|$ and there exists an order-preserving Freiman 2-isomorphism $φ: A' \rightarrow [-c|A|,c|A|] \cap \mathbb{Z}$ where $c$ depends only on $K$. Several applications are also presented.
The polytope of Tesler matrices
Published in B. Sel. Math. New Ser. (2017) 23: 425
• View Publication
• BIB
We introduce the Tesler polytope Tes_n(a_1,a_2,...,a_n), whose integer points are the Tesler matrices of size n with nonnegative integer hook sums a_1,a_2,...,a_n. We show that Tes_n(a) is a flow polytope and therefore the number of Tesler matrices is counted by the type A_n Kostant partition function evaluated at (a_1,a_2,...,a_n,-a_1-...-a_n). We describe the faces of this polytope in terms of "Tesler tableaux" and characterize when the polytope is simple. We prove that the h-vector of Tes_n(a) when all a_i>0 is given by the Mahonian numbers and calculate the volume of Tes_n(1,1,...,1) to be a product of consecutive Catalan numbers multiplied by the number of standard Young tableaux of staircase shape.
Generalizations of Tucker-Fan-Shashkin lemmas
Published in Arnold Math. J., 2:3 (2016), 299-308
• View Publication
• BIB
Tucker and Ky Fan's lemma are combinatorial analogs of the Borsuk-Ulam theorem (BUT). In 1996, Yu. A. Shashkin proved a version of Fan's lemma, which is a combinatorial analog of the odd mapping theorem (OMT). We consider generalizations of these lemmas for BUT-manifolds, i.e. for manifolds that satisfy BUT. Proofs rely on a generalization of the OMT and on a lemma about the doubling of manifolds with boundaries that are BUT-manifolds.
Strong Turán stability
Published
• View Publication
• BIB
We study the behaviour of $K_{r+1}$-free graphs $G$ of almost extremal size, that is, typically, $e(G)=ex(n,K_{r+1})-O(n)$. We show that such graphs must have a large amount of 'symmetry', in particular that all but very few vertices of $G$ must have twins. As a corollary, we obtain a new, short proof of a theorem of Simonovits on the structure of extremal graphs with $ω(G)\leq r$ and $χ(G)\geq k$ for fixed $k \geq r \geq 2$.
Positive formulae for K-types of SL_3(R)-irreps and a Blattner formula for smooth K-orbit closures
We prove a version of Blattner's conjecture, for irreducible subquotients of principal series representations with integral infinitesimal character of a real reductive Lie group whose Beilinson-Bernstein D-module is supported on a K-orbit with smooth closure. (The cases usually considered are closed orbits, or their preimages along G/B -> G/P.) We apply this to G_R = SL_3(R), where all four K-orbits on G/B have smooth closure, and refine the resulting alternating-sum formulae to ones with only positive terms.
Better 3-coloring algorithms: excluding a triangle and a seven vertex path
Published in Theoretical Computer Science 850, 2021, 98-115
• View Publication
• BIB
We present an algorithm to color a graph $G$ with no triangle and no induced $7$-vertex path (i.e., a $\{P_7,C_3\}$-free graph), where every vertex is assigned a list of possible colors which is a subset of $\{1,2,3\}$. While this is a special case of the problem solved in [Combinatorica 38(4):779--801, 2018], that does not require the absence of triangles, the algorithm here is both faster and conceptually simpler. The complexity of the algorithm is $O(|V(G)|^5(|V(G)|+|E(G)|))$, and if $G$ is bipartite, it improves to $O(|V(G)|^2(|V(G)|+|E(G)|))$.
Moreover, we prove that there are finitely many minimal obstructions to list 3-coloring $\{P_t,C_3\}$-free graphs if and only if $t \leq 7$. This implies the existence of a polynomial time certifying algorithm for list 3-coloring in $\{P_7,C_3\}$-free graphs. We furthermore determine other cases of $t, \ell$, and $k$ such that the family of minimal obstructions to list $k$-coloring in $\{P_t,C_{\ell}\}$-free graphs is finite.