Showing 20 papers (Total: 83133 papers, 48023 authors in database)
The generalized connectivity of $(n,k)$-bubble-sort graphs
Published
• View Publication
• BIB
Let $S\subseteq V(G)$ and $κ_{G}(S)$ denote the maximum number $r$ of edge-disjoint trees $T_1, T_2, \cdots, T_r$ in $G$ such that $V(T_i)\bigcap V(T_{j})=S$ for any $i, j \in \{1, 2, \cdots, r\}$ and $i\neq j$. For an integer $k$ with $2\leq k\leq n$, the {\em generalized $k$-connectivity} of a graph $G$ is defined as $κ_{k}(G)= min\{κ_{G}(S)|S\subseteq V(G)$ and $|S|=k\}$. The generalized $k$-connectivity is a generalization of the traditional connectivity. In this paper, the generalized $3$-connectivity of the $(n,k)$-bubble-sort graph $B_{n,k}$ is studied for $2\leq k\leq n-1$. By proposing an algorithm to construct $n-1$ internally disjoint paths in $B_{n-1,k-1}$, we show that $κ_{3}(B_{n,k})=n-2$ for $2\leq k\leq n-1$, which generalizes the known result about the bubble-sort graph $B_{n}$ [Applied Mathematics and Computation 274 (2016) 41-46] given by Li $et$ $al.$, as the bubble-sort graph $B_{n}$ is the special $(n,k)$-bubble-sort graph for $k=n-1$.
On the maximum number of maximum independent sets
Published
• View Publication
• BIB
We give a very short and simple proof of Zykov's generalization of Turán's theorem, which implies that the number of maximum independent sets of a graph of order $n$ and independence number $α$ with $α<n$ is at most $\left\lceil\frac{n}α\right\rceil^{n\,{\rm mod}\,α} \left\lfloor\frac{n}α\right\rfloor^{α-(n\,{\rm mod}\,α)}$. Generalizing a result of Zito, we show that the number of maximum independent sets of a tree of order $n$ and independence number $α$ is at most $2^{n-α-1}+1$, if $2α=n$, and, $2^{n-α-1}$, if $2α>n$, and we also characterize the extremal graphs. Finally, we show that the number of maximum independent sets of a subcubic tree of order $n$ and independence number $α$ is at most $\left(\frac{1+\sqrt{5}}{2}\right)^{2n-3α+1}$, and we provide more precise results for extremal values of $α$.
Non-Monochromatic and Conflict-Free Coloring on Tree Spaces and Planar Network Spaces
Published
• View Publication
• BIB
It is well known that any set of n intervals in $\mathbb{R}^1$ admits a non-monochromatic coloring with two colors and a conflict-free coloring with three colors. We investigate generalizations of this result to colorings of objects in more complex 1-dimensional spaces, namely so-called tree spaces and planar network spaces.
Capturing points with a rotating polygon (and a 3D extension)
Published in Theory of Computing Systems 63:3 (2019), 543-566
• View Publication
• BIB
We study the problem of rotating a simple polygon to contain the maximum number of elements from a given point set in the plane. We consider variations of this problem where the rotation center is a given point or lies on a line segment, a line, or a polygonal chain. We also solve an extension to 3D where we rotate a polyhedron around a given point to contain the maximum number of elements from a set of points in the space.
Anti-van der Waerden Numbers of Graph Products
In this paper, anti-van der Waerden numbers on Cartesian products of graphs are investigated and a conjecture made by Schulte, et al (see arXiv:1802.01509) is answered. In particular, the anti-van der Waerden number of the Cartesian product of two graphs has an upper bound of four. This result is then used to determine the anti-van der Waerden number for any Cartesian product of two paths.
A Ramsey theorem for pairs in trees
Published
• View Publication
• BIB
We prove a sharp structural result concerning finite colorings of pairs in well-founded trees.
On integral structure types
Published
• View Publication
• BIB
We introduce integral structure types as a categorical analogue of virtual combinatorial species. Integral structure types then categorify power series with possibly negative coefficients in the same way that combinatorial species categorify power series with non-negative rational coefficients. The notion of an operator on combinatorial species naturally extends to integral structure types, and in light of their `negativity' we define the notion of the commutator of two operators on integral structure types. We then extend integral structure types to the setting of stuff types as introduced by Baez and Dolan, and then conclude by using integral structure types to give a combinatorial description for Chern classes of projective hypersurfaces.
Criticality, The List Color Function, and List Coloring the Cartesian Product of Graphs
Published
• View Publication
• BIB
We introduce a notion of color-criticality in the context of chromatic-choosability. We define a graph $G$ to be strong $k$-chromatic-choosable if $χ(G) = k$ and every $(k-1)$-assignment for which $G$ is not list-colorable has the property that the lists are the same for all vertices. That is the usual coloring is, in some sense, the obstacle to list-coloring. We prove basic properties of strongly chromatic-choosable graphs such as chromatic-choosability and vertex-criticality, and we construct infinite families of strongly chromatic-choosable graphs. We derive a sufficient condition for the existence of at least two list colorings of strongly chromatic-choosable graphs and use it to show that: if $M$ is a strong $k$-chromatic-choosable graph with $|E(M)| \leq |V(M)|(k-2)$ and $H$ is a graph that contains a Hamilton path, $w_1, w_2, \ldots, w_m$, such that $w_i$ has at most $ρ\geq 1$ neighbors among $w_1, \ldots, w_{i-1}$, then $χ_{\ell}(M \square H) \le k+ ρ- 1$. We show that this bound is sharp for all $ρ\ge 1$ by generalizing the theorem to apply to $H$ that are $(M,ρ)$-Cartesian accommodating which is a notion we define with the help of the list color function, $ P_{\ell}(G,k)$, the list analogue of the chromatic polynomial. We also use the list color function to determine the list chromatic number of certain star-like graphs: $χ_{\ell}(M \square K_{1,s}) =$ $k \; \text{if } s < P_{\ell}(M,k)$, or $k+1 \; \text{if } s \geq P_{\ell}(M,k)$, where $M$ is a strong $k$-chromatic-choosable graph. We show that $ P_{\ell}(M,k)$ equals $P(M,k)$, the chromatic polynomial, when $M$ is an odd cycle, complete graph, or the join of an odd cycle with a complete graph.
Tree-like distance colouring for planar graphs of sufficient girth
Published
• View Publication
• BIB
Given a multigraph $G$ and a positive integer $t$, the distance-$t$ chromatic index of $G$ is the least number of colours needed for a colouring of the edges so that every pair of distinct edges connected by a path of fewer than $t$ edges must receive different colours. Let $π'_t(d)$ and $τ'_t(d)$ be the largest values of this parameter over the class of planar multigraphs and of (simple) trees, respectively, of maximum degree $d$. We have that $π'_t(d)$ is at most and at least a non-trivial constant multiple larger than $τ'_t(d)$. (We conjecture $\limsup_{d\to\infty}π'_2(d)/τ'_2(d) =9/4$ in particular.) We prove for odd $t$ the existence of a quantity $g$ depending only on $t$ such that the distance-$t$ chromatic index of any planar multigraph of maximum degree $d$ and girth at least $g$ is at most $τ'_t(d)$ if $d$ is sufficiently large. Such a quantity does not exist for even $t$. We also show a related, similar phenomenon for distance vertex-colouring.
On the Erdős-Burgess constant of the multiplicative semigroup of a factor ring of $\mathbb{F}_q[x]$
Published
• View Publication
• BIB
Let $\mathcal{S}$ be a commutative semigroup endowed with a binary associative operation $+$. An element $e$ of $\mathcal{S}$ is said to be idempotent if $e+e=e$. The {\sl Erdős-Burgess constant} of $\mathcal{S}$ is defined as the smallest $\ell\in \mathbb{N}\cup \{\infty\}$ such that any sequence $T$ of terms from $S$ and of length $\ell$ contains a nonempty subsequence the sum of whose terms is idempotent. Let $q$ be a prime power, and let $\F_q[x]$ be the polynomial ring over the finite field $\F_q$. Let $R=\F_q[x]\diagup K$ be a quotient ring of $\F_q[x]$ modulo any ideal $K$. We gave a sharp lower bound of the Erdős-Burgess constant of the multiplicative semigroup of the ring $R$, in particular, we determined the Erdős-Burgess constant in the case when $K$ is the power of a prime ideal or a product of pairwise distinct prime ideals in $\F_q[x]$.
A new approach to gross error detection for GPS networks
Published
• View Publication
• BIB
We present a new matrix-based approach to detect and correct gross errors in GPS geodetic control networks. The study is carried out by introducing a new matrix, whose entries are powers of a (real or complex) variable, which fully represents the network.
Sidorenko's conjecture for higher tree decompositions
This is a companion note to our paper 'Some advances on Sidorenko's conjecture', elaborating on a remark in that paper that the approach which proves Sidorenko's conjecture for strongly tree-decomposable graphs may be extended to a broader class, comparable to that given in work of Szegedy, through further iteration.
Identities involving Narayana numbers
Narayana's cows problem is a problem similar to the Fibonacci's rabbit problem. We define the numbers which are the solutions of this problem as Narayana's cows numbers. Narayana's cows sequence satisfies the third order recurrence relation $N_{r}=N_{r-1}+N_{r-3}$ ($r\geq3$) with initial condition $N_{0} =0$, $N_{1} = N_{2}= 1$. In this paper, the $ar+b$ subscripted Narayana numbers will be expressed by three $a$ step apart Narayana numbers for any $1\leq b\leq a$ ($a\in \mathbb{Z}$). Furthermore, we study the sum $S_{N,r}^{(4,b)}=\sum_{k=0}^{r}N_{4k+b}$ of $4$ step apart Narayana numbers for any $1\leq b\leq 4$.
Semi-random graph process
Published
• View Publication
• BIB
We introduce and study a novel semi-random multigraph process, described as follows. The process starts with an empty graph on $n$ vertices. In every round of the process, one vertex $v$ of the graph is picked uniformly at random and independently of all previous rounds. We then choose an additional vertex (according to a strategy of our choice) and connect it by an edge to $v$.
For various natural monotone increasing graph properties $P$, we prove tight upper and lower bounds on the minimum (extended over the set of all possible strategies) number of rounds required by the process to obtain, with high probability, a graph that satisfies $P$. Along the way, we show that the process is general enough to approximate (using suitable strategies) several well-studied random graph models.
On the $f$-Matrices of Pascal-like Triangles Defined by Riordan Arrays
We define and characterize the $f$-matrices associated to Pascal-like matrices that are defined by ordinary and exponential Riordan arrays. These generalize the face matrices of simplices and hypercubes. Their generating functions can be expressed simply in terms of continued fractions, which are shown to be transformations of the generating functions of the corresponding $γ$- and $h$-matrices.
Proto-exact categories of matroids, Hall algebras, and K-theory
Published
• View Publication
• BIB
This paper examines the category $\mathbf{Mat}_{\bullet}$ of pointed matroids and strong maps from the point of view of Hall algebras. We show that $\mathbf{Mat}_{\bullet}$ has the structure of a finitary proto-exact category - a non-additive generalization of exact category due to Dyckerhoff-Kapranov. We define the algebraic K-theory $K_* (\mathbf{Mat}_{\bullet})$ of $\mathbf{Mat}_{\bullet}$ via the Waldhausen construction, and show that it is non-trivial, by exhibiting injections $$π^s_n (\mathbb{S}) \hookrightarrow K_n (\mathbf{Mat}_{\bullet})$$ from the stable homotopy groups of spheres for all $n$. Finally, we show that the Hall algebra of $\mathbf{Mat}_{\bullet}$ is a Hopf algebra dual to Schmitt's matroid-minor Hopf algebra.
Unique rectification in $d$-complete posets: towards the $K$-theory of Kac-Moody flag varieties
Published in Electronic Journal of Combinatorics 25(4), 2018, 1-35
• View Publication
• BIB
The jeu-de-taquin-based Littlewood-Richardson rule of H. Thomas and A. Yong (2009) for minuscule varieties has been extended in two orthogonal directions, either enriching the cohomology theory or else expanding the family of varieties considered. In one direction, A. Buch and M. Samuel (2016) developed a combinatorial theory of "unique rectification targets" in minuscule posets to extend the Thomas-Yong rule from ordinary cohomology to $K$-theory. Separately, P.-E. Chaput and N. Perrin (2012) used the combinatorics of R. Proctor's "$d$-complete posets" to extend the Thomas-Yong rule from minuscule varieties to a broader class of Kac-Moody structure constants. We begin to address the unification of these theories. Our main result is the existence of unique rectification targets in a large class of $d$-complete posets. From this result, we obtain conjectural positive combinatorial formulas for certain $K$-theoretic Schubert structure constants in the Kac-Moody setting.
Beyond the Lovasz Local Lemma: Point to Set Correlations and Their Algorithmic Applications
Published
• View Publication
• BIB
Following the groundbreaking algorithm of Moser and Tardos for the Lovasz Local Lemma (LLL), there has been a plethora of results analyzing local search algorithms for various constraint satisfaction problems. The algorithms considered fall into two broad categories: resampling algorithms, analyzed via different algorithmic LLL conditions; and backtracking algorithms, analyzed via entropy compression arguments. This paper introduces a new convergence condition that seamlessly handles resampling, backtracking, and hybrid algorithms, i.e., algorithms that perform both resampling and backtracking steps. Unlike all past LLL work, our condition replaces the notion of a dependency or causality graph by quantifying point-to-set correlations between bad events. As a result, our condition simultaneously: (i)~captures the most general algorithmic LLL condition known as a special case; (ii)~significantly simplifies the analysis of entropy compression applications; (iii)~relates backtracking algorithms, which are conceptually very different from resampling algorithms, to the LLL; and most importantly (iv)~allows for the analysis of hybrid algorithms, which were outside the scope of previous techniques. We give several applications of our condition, including a new hybrid vertex coloring algorithm that extends the recent breakthrough result of Molloy for coloring triangle-free graphs to arbitrary graphs.
Bivariate representation and conjugacy class zeta functions associated to unipotent group schemes, II: Groups of type F, G, and H
Published in Internat. J. Algebra Comput. (2020), online ready
• View Publication
• BIB
This is the second of two papers introducing and investigating two bivariate zeta functions associated to unipotent group schemes over rings of integers of number fields. In the first part, we proved some of their properties such as rationality and functional equations. Here, we calculate such bivariate zeta functions of three infinite families of nilpotent groups of class 2 generalising the Heisenberg group of three by three unitriangular matrices over rings of integers of number fields. The local factors of these zeta functions are also expressed in terms of sums over finite hyperoctahedral groups, which provides formulae for joint distributions of three statistics on such groups.
On planar bipartite biregular degree sequences
Published
• View Publication
• BIB
A pair of sequences of natural numbers is called planar if there exists a simple, bipartite, planar graph for which the given sequences are the degree sequences of its parts. For a pair to be planar, the sums of the sequences have to be equal and Euler's inequality must be satisfied. Pairs that verify these two necessary conditions are called Eulerian. We prove that a pair of constant sequences is planar if and only if it is Eulerian (such pairs can be easily listed) and is different from $(3^5 \, | \, 3^5)$ and $(3^{25} \, | \, 5^{15})$.