arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83190 papers, 48060 authors in database)
2018-06-27
Product irregularity strength of graphs with small clique cover number
Published • View Publication • BIB
For a graph $X$ without isolated vertices and without isolated edges, a product-irregular labelling $ω:E(X)\rightarrow \{1,2,\ldots,s\}$, first defined by Anholcer in 2009, is a labelling of the edges of $X$ such that for any two distinct vertices $u$ and $v$ of $X$ the product of labels of the edges incident with $u$ is different from the product of labels of the edges incident with $v$. The minimal $s$ for which there exist a product irregular labeling is called the product irregularity strength of $X$ and is denoted by $ps(X)$. Clique cover number of a graph is the minimum number of cliques that partition its vertex-set. In this paper we prove that connected graphs with clique cover number $2$ or $3$ have the product-irregularity strength equal to $3$, with some small exceptions.
Multiple zeta star values on 3-2-1 indices
Published • View Publication • BIB
In 2008, Muneta found explicit evaluation of the multiple zeta star value $ζ^\star(\{3, 1\}^d)$, and in 2013, Yamamoto proved a sum formula for multiple zeta star values on 3-2-1 indices. In this paper, we provide another way of deriving the formulas mentioned above. It is based on our previous work on generating functions for multiple zeta star values and also on constructions of generating functions for restricted sums of alternating Euler sums. As a result, the formulas obtained are simpler and computationally more effective than the known ones. Moreover, we give explicit evaluations of $ζ^\star(\{\{2\}^m, 3, \{2\}^m, 1\bigr\}^d)$ and $ζ^\star(\{\{2\}^m, 3, \{2\}^m, 1\}^d, \{2\}^{m+1})$ in two ways. The first is based on computation of product of generating functions, while the second uses properties of Bell polynomials.
$2$-Neighbour-Transitive Codes with Small Blocks of Imprimitivity
Published • View Publication • BIB
A code $C$ in the Hamming graph $\varGamma=H(m,q)$ is $2\it{\text{-neighbour-transitive}}$ if ${\rm Aut}(C)$ acts transitively on each of $C=C_0$, $C_1$ and $C_2$, the first three parts of the distance partition of $V\varGamma$ with respect to $C$. Previous classifications of families of $2$-neighbour-transitive codes leave only those with an affine action on the alphabet to be investigated. Here, $2$-neighbour-transitive codes with minimum distance at least $5$ and that contain "small" subcodes as blocks of imprimitivity are classified. When considering codes with minimum distance at least $5$, completely transitive codes are a proper subclass of $2$-neighbour-transitive codes. Thus, as a corollary of the main result, completely transitive codes satisfying the above conditions are also classified.
2018-06-27 v3
Subgroup growth of virtually cyclic right-angled Coxeter groups and their free products
Published • View Publication • BIB
We determine the asymptotic number of index $n$ subgroups in virtually cyclic right-angled Coxeter groups and their free products as $n\to\infty$.
2018-06-26 v7
Weighted Hurwitz numbers and topological recursion
Published in Commun. Math. Phys, 375, 237-305 (2020) • View Publication • BIB
The KP and 2D Toda tau-functions of hypergeometric type that serve as generating functions for weighted single and double Hurwitz numbers are related to the topological recursion programme. A graphical representation of such weighted Hurwitz numbers is given in terms of weighted constellations. The associated classical and quantum spectral spectral curves are derived, and these are interpreted combinatorially in terms of the graphical model. The pair correlators are given a finite Christoffel-Darboux representation and determinantal expressions are obtained for the multipair correlators. The genus expansion of the multicurrent correlators is shown to provide generating series for weighted Hurwitz numbers of fixed ramification profile lengths. The WKB series for the Baker function is derived and used to deduce the loop equations and the topological recursion relations in the case of polynomial weight functions.
2018-06-26 v4
$r$-strongly vertex-distinguishing total coloring of graphs
Inspired by the phenomenon of co-channel interference in communication network, a novel graph parameter, called $r$-vertex-strongly-distinguishing total coloring (abbreviate as $D(r)$-VSDTC), is proposed in this paper. Given a graph $G$, an $r$-VSDTC is an assignment of $k$ colors to $V(G)\cup E(G)$ such that any two adjacent or incident elements receive different colors and any two vertices with distance at most $r$ have distinct color-set, where the color-set of a vertex $u$ is the set of colors assigned on $u$ and its neighborhoods and incident edges. The \emph{$r$-vertex-strongly-distinguishing total chromatic number} of $G$, denoted by $χ_{r-vsdt}(G)$, is the minimum integer $k$ for which $G$ admits a $k$-$D(r)$-VSDTC. We show that $χ_{1-vsdt}(G)\leq 4Δ(G)$ for every graph $G$ without isolated edges and $χ_{1-vsdt}(G)\le kΔ(G)+3$ for a $k$-degenerated graph $G$ without isolated edges, where $1\le k\le 3$.
2018-06-26
The normalized Laplacian spectra of subdivision vertex-edge neighbourhood vertex(edge)-corona for graphs
In this paper, we introduce two new graph operations, namely, the subdivision vertex-edge neighbourhood vertex-corona and the subdivision vertex-edge neighbourhood edge-corona on graphs $G_1$, $G_2$ and $G_3$, and the resulting graphs are denoted by $G_1^S\bowtie (G_2^V\cup G_3^E)$ and $G_1^S\diamondsuit(G_2^V\cup G_3^E)$, respectively. Whereafter, the normalized Laplacian spectra of $G_1^S\bowtie (G_2^V\cup G_3^E)$ and $G_1^S\diamondsuit(G_2^V\cup G_3^E)$ are respectively determined in terms of the corresponding normalized Laplacian spectra of the connected regular graphs $G_{1}$, $G_{2}$ and $G_{3}$, which extend the corresponding results of [A. Das, P. Panigrahi, Linear Multil. Algebra, 2017, 65(5): 962-972]. As applications, these results enable us to construct infinitely many pairs of normalized Laplacian cospectral graphs. Moreover, we also give the number of the spanning trees, the multiplicative degree-Kirchhoff index and Kemeny's constant of $G_1^S\bowtie (G_2^V\cup G_3^E)$ (resp. $G_1^S\diamondsuit(G_2^V\cup G_3^E)$).
2018-06-26 v3
On the maximum number of odd cycles in graphs without smaller odd cycles
Published • View Publication • BIB
We prove that for each odd integer $k \geq 7$, every graph on $n$ vertices without odd cycles of length less than $k$ contains at most $(n/k)^k$ cycles of length $k$. This generalizes the previous results on the maximum number of pentagons in triangle-free graphs, conjectured by Erdős in 1984, and asymptotically determines the generalized Turán number $\mathrm{ex}(n,C_k,C_{k-2})$ for odd $k$. In contrary to the previous results on the pentagon case, our proof is not computer-assisted.
2018-06-26
Finding a Maximum-Weight Convex Set in a Chordal Graph
Published • View Publication • BIB
We consider a natural combinatorial optimization problem on chordal graphs, the class of graphs with no induced cycle of length four or more. A subset of vertices of a chordal graph is (monophonically) convex if it contains the vertices of all chordless paths between any two vertices of the set. The problem is to find a maximum-weight convex subset of a given vertex-weighted chordal graph. It generalizes previously studied special cases in trees and split graphs. It also happens to be closely related to the closure problem in partially ordered sets and directed graphs. We give the first polynomial-time algorithm for the problem.
Graphs determined by signless Laplacian spectra
Published in AKCE International Journal of Graphs and Combinatorics, 2018 • View Publication • BIB
In the past decades, graphs that are determined by their spectrum have received more attention, since they have been applied to several fields, such as randomized algorithms, combinatorial optimization problems and machine learning. An important part of spectral graph theory is devoted to determining whether given graphs or classes of graphs are determined by their spectra or not. So, finding and introducing any class of graphs which are determined by their spectra can be an interesting and important problem. A graph is said to be DQS if there is no other non-isomorphic graph with the same signless Laplacian spectrum. For a DQS graph G, we show that G[rK1 [sK2 is DQS under certain conditions, where r, s are natural numbers and K1 and K2 denote the complete graphs on one vertex and two vertices, respectively. Applying these results, some DQS graphs with independent edges and isolated vertices are obtained
2018-06-26 v2
Cokernels of adjacency matrices of random $r$-regular graphs
We study the distribution of the cokernels of adjacency matrices (the Smith groups) of certain models of random $r$-regular graphs and directed graphs, using recent mixing results of Mészáros. We explain how convergence of such distributions to a limiting probability distribution implies asymptotic nonsingularity of the matrices, giving another perspective on recent results of Huang and Mészáros on asymptotic nonsingularity of adjacency matrices of random regular directed and undirected graphs, respectively. We also remark on the new distributions on finite abelian groups that arise, in particular in the $p$-group aspect when $p\mid r$.
2018-06-26 v3
Semistable subcategories for tiling algebras
Published • View Publication • BIB
Semistable subcategories were introduced in the context of Mumford's GIT and interpreted by King in terms of representation theory of finite dimensional algebras. Ingalls and Thomas later showed that for finite dimensional algebras of Dynkin and affine type, the poset of semistable subcategories is isomorphic to the corresponding poset of noncrossing partitions. We show that semistable subcategories defined by tiling algebras, introduced by Coelho Sim{õ}es and Parsons, are in bijection with noncrossing tree partitions, introduced by the second author and McConville. Moreover, this bijection defines an isomorphism of the posets on these objects. Our work recovers that of Ingalls and Thomas in Dynkin type $A$.
Maximum Likelihood Estimation for Totally Positive Log-Concave Densities
Published • View Publication • BIB
We study nonparametric maximum likelihood estimation for two classes of multivariate distributions that imply strong forms of positive dependence; namely log-supermodular (MTP$_2$) distributions and log-$L^\#$-concave (LLC) distributions. In both cases we also assume log-concavity in order to ensure boundedness of the likelihood function. Given $n$ independent and identically distributed random vectors in $\mathbb R^d$ from one of our distributions, the maximum likelihood estimator (MLE) exists a.s. and is unique a.e. with probability one when $n\geq 3$. This holds independently of the ambient dimension $d$. We conjecture that the MLE is always the exponential of a tent function. We prove this result for samples in $\{0,1\}^d$ or in $\mathbb{R}^2$ under MTP$_2$, and for samples in $\mathbb{Q}^d$ under LLC. Finally, we provide a conditional gradient algorithm for computing the maximum likelihood estimate.
2018-06-26
An Improved Algorithm for Counting Graphical Degree Sequences
Published • View Publication • BIB
We present an improved version of a previous efficient algorithm that computes the number $D(n)$ of zero-free graphical degree sequences of length $n$. A main ingredient of the improvement lies in a more efficient way to compute the function $P(N,k,l,s)$ of Barnes and Savage. We further show that the algorithm can be easily adapted to compute the $D(i)$ values for all $i\le n$ in a single run. Theoretical analysis shows that the new algorithm to compute all $D(i)$ values for $i\le n$ is a constant times faster than the previous algorithm to compute a single $D(n)$. Experimental evaluations show that the constant of improvement is about 10. We also perform simulations to estimate the asymptotic order of $D(n)$ by generating uniform random samples from the set of $E(n)$ integer partitions of fixed length $n$ with even sum and largest part less than $n$ and computing the proportion of them that are graphical degree sequences. The known numerical results of $D(n)$ for $n\le 290$ together with the known bounds of $D(n)$ and simulation results allow us to make an informed guess about its unknown asymptotic order. The techniques for the improved algorithm can be applied to compute other similar functions that count the number of graphical degree sequences of various classes of graphs of order $n$ and that all involve the function $P(N,k,l,s)$.
Ohno type relations for classical and finite multiple zeta-star values
Published • View Publication • BIB
Ohno's relation is a generalization of both the sum formula and the duality formula for multiple zeta values. Oyama gave a similar relation for finite multiple zeta values, defined by Kaneko and Zagier. In this paper, we prove relations of similar nature for both multiple zeta-star values and finite multiple zeta-star values. Our proof for multiple zeta-star values uses the linear part of Kawashima's relation.
2018-06-25
The Tutte's condition in terms of graph factors
Let $G$ be a connected general graph of even order, with a function $f\colon V(G)\to\Z^+$. We obtain that $G$ satisfies the Tutte's condition \[ o(G-S)\le \sum_{v\in S}f(v)\qquad\text{for any nonempty set $S\subset V(G)$}, \] with respect to $f$ if and only if $G$ contains an $H$-factor for any function $H\colon V(G)\to 2^\N$ such that $H(v)\in \{J_f(v),\,J_f^+(v)\}$ for each $v\in V(G)$, where the set $J_f(v)$ consists of the integer $f(v)$ and all positive odd integers less than $f(v)$, and the set $J^+_f(v)$ consists of positive odd integers less than or equal to $f(v)+1$. We also obtain a characterization for graphs of odd order satisfying the Tutte's condition with respect to a function.
On the Circumference of Essentially 4-connected Planar Graphs
Published • View Publication • BIB
A planar graph is essentially $4$-connected if it is 3-connected and every of its 3-separators is the neighborhood of a single vertex. Jackson and Wormald proved that every essentially 4-connected planar graph $G$ on $n$ vertices contains a cycle of length at least $\frac{2n+4}{5}$, and this result has recently been improved multiple times. In this paper, we prove that every essentially 4-connected planar graph $G$ on $n$ vertices contains a cycle of length at least $\frac{5}{8}(n+2)$. This improves the previously best-known lower bound $\frac{3}{5}(n+2)$.
2018-06-25
Encoding shortest paths in graphs assuming the code is queried using bit-wise comparison
One model of message delivery in a computer network is based on labelling each edge by a subset of a (reasonably small) universal set, and then encoding a path as the union of the labels of its edges. Earlier work suggested using random edge labels, and that approach has a disadvantage of producing errors (false positives). We demonstrate that if we make an assumption about the shape of the network (in this paper we consider networks with a dense core and a tree-like periphery) and assume that messages are delivered along shortest paths, we can label edges in a way which prevents any false positives.
2018-06-25 v4
The number of valid factorizations of Fibonacci prefixes
Published • View Publication • BIB
We establish several recurrence relations and an explicit formula for V(n), the number of factorizations of the length-n prefix of the Fibonacci word into a (not necessarily strictly) decreasing sequence of standard Fibonacci words. In particular, we show that the sequence V(n) is the shuffle of the ceilings of two linear functions of n.
2018-06-25 v2
Computation and Bounding of Folkman Numbers
Published • View Publication • BIB
PhD Thesis under the supervision of Professor Nedyalko Nenov.