Showing 20 papers (Total: 83190 papers, 48060 authors in database)
The Ramsey number of books
Published in Advances in Combinatorics, 2019:3, 12 pp
• View Publication
• BIB
We show that in every two-colouring of the edges of the complete graph $K_N$ there is a monochromatic $K_k$ which can be extended in at least $(1 + o_k(1))2^{-k}N$ ways to a monochromatic $K_{k+1}$. This result is asymptotically best possible, as may be seen by considering a random colouring. Equivalently, defining the book $B_n^{(k)}$ to be the graph consisting of $n$ copies of $K_{k+1}$ all sharing a common $K_k$, we show that the Ramsey number $r(B_n^{(k)}) = 2^k n + o_k(n)$. In this form, our result answers a question of Erdős, Faudree, Rousseau and Schelp and establishes an asymptotic version of a conjecture of Thomason.
On the depth and Stanley depth of integral closure of powers of monomial ideals
Published
• View Publication
• BIB
Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Assume that $G$ is a graph with edge ideal $I(G)$. We prove that the modules $S/\overline{I(G)^k}$ and $\overline{I(G)^k}/\overline{I(G)^{k+1}}$ satisfy Stanley's inequality for every integer $k\gg 0$. If $G$ is a non-bipartite graph, we show that the ideals $\overline{I(G)^k}$ satisfy Stanley's inequality for all $k\gg 0$. For every connected bipartite graph $G$ (with at least one edge), we prove that ${\rm sdepth}(I(G)^k)\geq 2$, for any positive integer $k\leq {\rm girth}(G)/2+1$. This result partially answers a question asked in [20]. For any proper monomial ideal $I$ of $S$, it is shown that the sequence $\{{\rm depth}(\overline{I^k}/\overline{I^{k+1}})\}_{k=0}^{\infty}$ is convergent and $\lim_{k\rightarrow\infty}{\rm depth}(\overline{I^k}/\overline{I^{k+1}})=n-\ell(I)$, where $\ell(I)$ denotes the analytic spread of $I$. Furthermore, it is proved that for any monomial ideal $I$, there exists an integer $s$ such that $${\rm depth} (S/I^{sm}) \leq {\rm depth} (S/\overline{I}),$$for every integer $m\geq 1$. We also determine a value $s$ for which the above inequality holds. If $I$ is an integrally closed ideal, we show that ${\rm depth}(S/I^m)\leq {\rm depth}(S/I)$, for every integer $m\geq 1$. As a consequence, we obtain that for any integrally closed monomial ideal $I$ and any integer $m\geq 1$, we have ${\rm Ass}(S/I)\subseteq {\rm Ass}(S/I^m)$. \end{abstract}
Divisibility of some binomial sums
Published
• View Publication
• BIB
With help of $q$-congruence, we prove the divisibility of some binomial sums. For example, for any integers $ρ,n\geq 2$, $$\sum_{k=0}^{n-1}(4k+1) \binom{2k}{k}^ρ\cdot (-4)^{ρ(n-1-k)} \equiv 0\pmod{2^{ρ-2}n\binom{2n}{n}}.$$
Temporal starvation in multi-channel CSMA networks: an analytical framework
Published
• View Publication
• BIB
In this paper we consider a stochastic model for a frequency-agile CSMA protocol for wireless networks where multiple orthogonal frequency channels are available. Even when the possible interference on the different channels is described by different conflict graphs, we show that the network dynamics can be equivalently described as that of a single-channel CSMA algorithm on an appropriate virtual network. Our focus is on the asymptotic regime in which the network nodes try to activate aggressively in order to achieve maximum throughput. Of particular interest is the scenario where the number of available channels is not sufficient for all nodes of the network to be simultaneously active and the well-studied temporal starvation issues of the single-channel CSMA dynamics persist. For most networks we expect that a larger number of available channels should alleviate these temporal starvation issues. However, we prove that the aggregate throughput is a non-increasing function of the number of available channels. To investigate this trade-off that emerges between aggregate throughput and temporal starvation phenomena, we propose an analytical framework to study the transient dynamics of multi-channel CSMA networks by means of first hitting times. Our analysis further reveals that the mixing time of the activity process does not always correctly characterize the temporal starvation in the multi-channel scenario and often leads to pessimistic performance estimates.
The existence of square non-integer Heffter arrays
Published
• View Publication
• BIB
A Heffter array $H(n;k)$ is an $n\times n$ matrix such that each row and column contains $k$ filled cells, each row and column sum is divisible by $2nk+1$ and either $x$ or $-x$ appears in the array for each integer $1\leq x\leq nk$. Heffter arrays are useful for embedding the graph $K_{2nk+1}$ on an orientable surface. An integer Heffter array is one in which each row and column sum is $0$. Necessary and sufficient conditions (on $n$ and $k$) for the existence of an integer Heffter array $H(n;k)$ were verified by Archdeacon, Dinitz, Donovan and Yazıcı\ (2015) and Dinitz and Wanless (2017). In this paper we consider square Heffter arrays that are not necessarily integer. We show that such Heffter arrays exist whenever $3\leq k<n$.
Power domination in regular claw-free graphs
Published
• View Publication
• BIB
In this paper, we first show that the power domination number of a connected $4$-regular claw-free graph on $n$ vertices is at most $\frac{n+1}{5}$, and the bound is sharp. The statement partly disprove the conjecture presented by Dorbec et al. in SIAM J. Discrete Math., 27:1559-1574, 2013. Then we present a dynamic programming style linear-time algorithm for weighted power domination problem in trees.
Efficient Methods in Counting Generalized Necklaces
It is shown in [7] by Venkaiah in 2015 that a category of the number of generalized can be computed using the expression \begin{equation*} e(n, q) = \frac{1}{(q-1) ord(λ) n} \sum^{ord(λ)n}_{\substack{t \in \mathbb{F}_q \setminus \{0\}, i=1 \\ t^{\frac{n}{\gcd(n, i)}} λ^{\frac{i}{\gcd(n,i)}} = 1}}(q^{\gcd(n,i)} - 1) + 1 \end{equation*} where $q$ (number of colors) is the size of the prime field $\mathbb{F}_q$, $λ$ is the constant of the consta-cyclic shift, $n$ is the length of the necklace. However, direct evaluation of this expression requires, apart from the $\gcd$ computations, $2*(q-1)*Ord(λ)*n$ exponentiations and $(q-1)*Ord(λ)*n$ multiplications, at most $(q-1)*Ord(λ)*n$ exponentiations and at most $2*(q-1)*Ord(λ)*n$ additions and hence computationally intensive. This note discusses various other ways of evaluating the expression and tries to throw some light on amortizing the amount of computation.
Suitable sets of permutations, packings of triples, and Ramsey's theorem
Published
• View Publication
• BIB
A set of $N$ permutations of $\{1,2,\ldots,v\}$ is $t$-suitable, if each symbol precedes each subset of $t-1$ others in at least one permutation. The extremal problem of determining the smallest size $N$ of such sets for given $v$ and $t$ was the subject of classical studies by Dushnik in 1950 and Spencer in 1971. Colbourn recently introduced the concept of suitable cores as equivalent objects of suitable sets of permutations, and studied the dual problem of determining the largest $v=\text{SCN}(t,N)$ such that a suitable core exists for given $t$ and $N$. Chan and Jedwab showed that when $N=\lfloor\frac{t+1}{2}\rfloor\lceil\frac{t+1}{2}\rceil+l$, the value of SCN$(t,N)$ is asymptotically $\lfloor\frac{t}{2}\rfloor+2$ if $l$ is a fixed integer. In this paper, we improve this result by showing that it is also true when $l=O(\ln t)$ using Ramsey theory. When $v$ is bigger than $\lfloor\frac{t}{2}\rfloor+2$, we give new explicit constructions of suitable cores from packings of triples, and random constructions from extended Ramsey colorings.
Permutation patterns in genome rearrangement problems
Published
• View Publication
• BIB
In the context of the genome rearrangement problem, we analyze two well known models, namely the block transposition and the prefix block transposition models, by exploiting the connection with the notion of permutation pattern. More specifically, for any $k$, we provide a characterization of the set of permutations having distance $\leq k$ from the identity (which is known to be a permutation class) in terms of what we call generating permutations and we describe some properties of its basis, which allow to compute such a basis for small values of $k$.
Connected $k$-factors in bipartite graphs
Published
• View Publication
• BIB
Let $k,l$ be two positive integers. An $S_{k,l}$ is a graph obtained from disjoint $K_{1,k}$ and $K_{1,l}$ by adding an edge between the $k$-degree vertex in $K_{1,k}$ and the $l$-degree vertex in $K_{1,l}$. An {\em $S_{k,l}$-free} graph is a graph containing no induced subgraph isomorphic to $S_{k,l}$. In this note, we show that, for any positive integers $k,l$ with $2\leqslant k\leqslant l$, there exists a constant $c=c(k,l)$ such that every connected balanced $S_{k,l}$-free bipartite graph with minimum degree at least $c$ contains a connected $k$-factor.
Analogies of the Qi formula for some Dowling type numbers
In the paper, the authors establish explicit formulas for the Dowling numbers and their generalizations in terms of generalizations of the Lah numbers and the Stirling numbers of the second kind. These results gen- eralize the Qi formula for the Bell numbers in terms of the Lah numbers and the Stirling numbers of the second kind.
Transfinite fractal dimension of trees and hierarchical scale-free graphs
Published in Journal of Complex Networks, cnz005, 2019
• View Publication
• BIB
In this paper, we introduce a new concept: the transfinite fractal dimension of graph sequences motivated by the notion of fractality of complex networks proposed by Song et al. We show that the definition of fractality cannot be applied to networks with `tree-like' structure and exponential growth rate of neighborhoods. However, we show that the definition of fractal dimension could be modified in a way that takes into account the exponential growth, and with the modified definition, the fractal dimension becomes a proper parameter of graph sequences. We find that this parameter is related to the growth rate of trees. We also generalize the concept of box dimension further and introduce the transfinite Cesaro fractal dimension. Using rigorous proofs we determine the optimal box-covering and transfinite fractal dimension of various models: the hierarchical graph sequence model introduced by Komjáthy and Simon, Song-Havlin-Makse model, spherically symmetric trees, and supercritical Galton-Watson trees.
Packing colouring of some classes of cubic graphs
The packing chromatic number $χ$ $ρ$ (G) of a graph G is the smallest integer k such that its set of vertices V (G) can be partitioned into k disjoint subsets V 1 ,. .. , V k , in such a way that every two distinct vertices in V i are at distance greater than i in G for every i, 1 $\le$ i $\le$ k. Recently, Balogh, Kostochka and Liu proved that $χ$ $ρ$ is not bounded in the class of subcubic graphs [Packing chromatic number of subcubic graphs, Discrete Math. 341 (2018), 474483], thus answering a question previously addressed in several papers. However, several subclasses of cubic or subcubic graphs have bounded packing chromatic number. In this paper, we determine the exact value of, or upper and lower bounds on, the packing chromatic number of some classes of cubic graphs, namely circular ladders, and so-called H-graphs and generalised H-graphs.
An Improved Bound for Weak Epsilon-Nets in the Plane
Published
• View Publication
• BIB
We show that for any finite set $P$ of points in the plane and $ε>0$ there exist $\displaystyle O\left(\frac{1}{ε^{3/2+γ}}\right)$ points in ${\mathbb{R}}^2$, for arbitrary small $γ>0$, that pierce every convex set $K$ with $|K\cap P|\geq ε|P|$. This is the first improvement of the bound of $\displaystyle O\left(\frac{1}{ε^2}\right)$ that was obtained in 1992 by Alon, Bárány, Füredi and Kleitman for general point sets in the plane.
New lower bounds on the size of (n,r)-arcs in PG(2,q)
Published
• View Publication
• BIB
An (n,r)-arc in PG(2,q) is a set of n points such that each line contains at most r of the selected points. It is well-known that (n,r)-arcs in PG(2,q) correspond to projective linear codes. Let m_r(2,q) denote the maximal number n of points for which an (n,r)-arc in PG(2,q) exists. In this paper we obtain improved lower bounds on m_r(2,q) by explicitly constructing (n,r)-arcs. Some of the constructed (n,r)-arcs correspond to linear codes meeting the Griesmer bound. All results are obtained by integer linear programming.
Limit Laws of Planar Maps with Prescribed Vertex Degrees
Published in Comb. Probab. Comput. 28 (4) (Special Issue on Analysis of Algorithms), 2019, 519-541
• View Publication
• BIB
We prove a general multi-dimensional central limit theorem for the expected number of vertices of a given degree in the family of planar maps whose vertex degrees are restricted to an arbitrary (finite or infinite) set of positive integers $D$. Our results rely on a classical bijection with mobiles (objects exhibiting a tree structure), combined with refined analytic tools to deal with the systems of equations on infinite variables that arise. We also discuss possible extensions to maps of higher genus and to weighted maps.
Strong Subgraph Connectivity of Digraphs: A Survey
Published
• View Publication
• BIB
In this survey we overview known results on the strong subgraph $k$-connectivity and strong subgraph $k$-arc-connectivity of digraphs. After an introductory section, the paper is divided into four sections: basic results, algorithms and complexity, sharp bounds for strong subgraph $k$-(arc-)connectivity, minimally strong subgraph $(k, \ell)$-(arc-) connected digraphs. This survey contains several conjectures and open problems for further study.
On lexicographic representatives in braid monoids
Published
• View Publication
• BIB
The language of maximal lexicographic representatives of elements in the positive braid monoid $A_n$ with $n$ generators is a regular language. We describe with great detail the smallest Finite State Automaton accepting such language, and study the proportion of elements of length $k$ whose maximal lexicographic representative finishes with the first generator. This proportion tends to some number $P_{n,1}$, as $k$ tends to infinity, and we show that $P_{n,1}\geq \frac{1}{8}$ for every $n\geq 1$. We also provide an explicit formula, based on the Fibonacci numbers, for the number of states of the automaton.
On the Number of Acyclic Orientations of Complete $k$-Partite Graphs
Building on previous work by Cameron et al. in [3], we give a recurrence for computing the number of acyclic orientations of complete $k$-partite graphs, which can be implemented to obtain a dynamic programming algorithm running in time $n^{O(k)}$, where $n$ is the number of vertices in the graph. We prove our result by using a relationship between the number of acyclic orientations and the number of Hamiltonian paths in complete $k$-partite graphs and providing a recurrence for the latter quantity. We give a simple extension of our algorithm to the situation when we are an edge removal away from having a complete $k$-partite graph.
Exotic matrix models: the Albert algebra and the spin factor
Published
• View Publication
• BIB
The matrix models attached to real symmetric matrices and the complex/quaternionic Hermitian matrices have been studied by many authors. These models correspond to three of the simple formally real Jordan algebras over R. Such algebras were classified by Jordan, von Neumann, and Wigner in the 30s, and apart from these three there are two others: (i) the spin factor L_{1,n}, an algebra built on R^{n+1}, and (ii) the Albert algebra A of 3 by 3 Hermitian matrices over the octonions. In this paper we investigate the matrix models attached to these remaining cases.