Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Hankel determinants of harmonic numbers and related topics
We give an overview of known results about Hilbert matrices from the point of view of orthogonal polynomials and compute Hankel determinants of harmonic numbers and related topics.
Renormalized asymptotic enumeration of Feynman diagrams
Published in Annals of Physics, Volume 385, October 2017, Pages 95-135
• View Publication
• BIB
A method to obtain all-order asymptotic results for the coefficients of perturbative expansions in zero-dimensional quantum field is described. The focus is on the enumeration of the number of skeleton or primitive diagrams of a certain QFT and its asymptotics. The procedure heavily applies techniques from singularity analysis and is related to resurgence. To utilize singularity analysis, a representation of the zero-dimensional path integral as a generalized hyperelliptic curve is deduced. As applications the full asymptotic expansions of the number of disconnected, connected, 1PI and skeleton Feynman diagrams in various theories are given.
On the minimum trace norm of (0,1)-matrices
Published
• View Publication
• BIB
The trace norm of a matrix is the sum of its singular values. This paper presents results on the minimum trace norm $ψ_{n}\left( m\right) $ of $\left( 0,1\right) $-matrices of size $n\times n$ with exactly $m$ ones. It is shown that:
(1) if $n\geq2$ and $n<m\leq2n,$ then $ψ_{n}\left( m\right) \leq \sqrt{m+\sqrt{2\left( m-1\right) }}$ , with equality if and only if $m$ is a prime;
(2) if $n\geq4$ and $2n<m\leq3n,$ then $ψ_{n}\left( m\right) \leq \sqrt{m+2\sqrt{2\left\lfloor m/3\right\rfloor }}$ , with equality if and only if $m$ is a prime or a double of a prime;
(3) if $3n<m\leq4n,$ then $ψ_{n}\left( m\right) \leq\sqrt{m+2\sqrt{m-2}}% $ , with equality if and only if there is an integer $k\geq1$ such that $m=12k\pm2$ and $4k\pm1,6k\pm1,12k\pm1$ are primes.
Gowers norms control diophantine inequalities
Published in Alg. Number Th. 14 (2020) 1457-1536
• View Publication
• BIB
A central tool in the study of systems of linear equations with integer coefficients is the Generalised von Neumann Theorem of Green and Tao. This theorem reduces the task of counting the weighted solutions of these equations to that of counting the weighted solutions for a particular family of forms, the Gowers norms $\Vert f \Vert_{U^{s+1}[N]}$ of the weight $f$. In this paper we consider systems of linear inequalities with real coefficients, and show that the number of solutions to such weighted diophantine inequalities may also be bounded by Gowers norms. Furthermore, we provide a necessary and sufficient condition for a system of real linear forms to be governed by Gowers norms in this way. We present applications to cancellation of the Möbius function over certain sequences.
The machinery developed in this paper can be adapted to the case in which the weights are unbounded but suitably pseudorandom, with applications to counting the number of solutions to diophantine inequalities over the primes. Substantial extra difficulties occur in this setting, however, and we have prepared a separate paper on these issues.
A splitter theorem for connected clutters
A clutter consists of a finite set and a collection of pairwise incomparable subsets. Clutters are natural generalisations of matroids, and they have similar operations of deletion and contraction. We introduce a notion of connectivity for clutters that generalises that of connectivity for matroids. We prove a splitter theorem for connected clutters that has the splitter theorem for connected matroids as a special case: if $M$ and $N$ are connected clutters, and $N$ is a proper minor of $M$, then there is an element in $E(M)$ that can be deleted or contracted to produce a connected clutter with $N$ as a minor.
The Hilton--Zhao Conjecture is True for Graphs with Maximum Degree 4
Published in SIAM Journal on Discrete Math. 33(3), 2019, pp. 1228-1241
• View Publication
• BIB
A simple graph $G$ is \emph{overfull} if $|E(G)|>Δ\lfloor|V(G)|/2\rfloor$. By the pigeonhole principle, every overfull graph $G$ has $χ'(G)>Δ$. The \emph{core} of a graph, denoted $G_Δ$, is the subgraph induced by its vertices of degree $Δ$. Vizing's Adjacency Lemma implies that if $χ'(G)>Δ$, then $G_Δ$ contains cycles. Hilton and Zhao conjectured that if $G_Δ$ has maximum degree 2 and $Δ\ge 4$, then $χ'(G)>Δ$ precisely when $G$ is overfull. We prove this conjecture for the case $Δ=4$.
The weighted poset metrics and directed graph metrics
Etzion et al. introduced metrics on $\mathbb{F}_2^n$ based on directed graphs on $n$ vertices and developed some basic coding theory on directed graph metric spaces. In this paper, we consider the problem of classifying directed graphs which admit the extended Hamming codes to be a perfect code. We first consider weighted poset metrics as a natural generalization of poset metrics and investigate interrelation between weighted poset metrics and directed graph based metrics. In the next, we classify weighted posets on a set with eight elements and directed graphs on eight vertices which admit the extended Hamming code $\widetilde{\mathcal{H}}_3$ to be a $2$-perfect code. We also construct some families of such structures for any $k \geq 3$. Those families enable us to construct packing or covering codes of radius 2 under certain maps.
A uniformness conjecture of the Kolakoski sequence, graph connectivity, and correlations
The Kolakoski sequence is the unique infinite sequence with values in $\{1,2\}$ and first term $1$ which equals the sequence of run-lengths of itself, we call this $K(1,2).$ We define $K(m,n)$ similarly. A well-known conjecture is that the limiting density of $K(1,2)$ is one-half. We state a natural generalization, the "generalized uniformness conjecture" (GUC). The GUC seems intractable, but we prove a partial result. The GUC implies that members of a certain family of directed graphs $G_{m,n,k}$ are all strongly connected. We prove this unconditionally.
For $d>0,$ let $cf(m,n,d)$ be the density of indices $i$ such that $K(m, n)_i=K(m, n)_{i+d}.$ Essentially, $cf(m, n, d)$ is the autocorrelation function of a stationary stochastic process with random variables $\{X_t\}_{t\in\mathbb{Z}}$ whereby a sample of a finite window of this process is formed by copying as many consecutive terms of $K(m,n)$ starting from a "uniformly random index" $i\in\mathbb{Z}_+.$ Assuming the GUC, we prove that we can compute $cf(m,n,d)$ exactly for quite large $d$ by constructing a periodic sequence $S$ of period around $10^{8.5}$ such that for $d$ not too large, the correlation frequency at distance $d$ in $K(m,n)$ equals that in $S.$ We efficiently compute correlations in $S$ using polynomial multiplication via FFT.
We plot our estimates $cf(m,n,d)$ for several small values of $(m,n)$ and $d\le10^5$ or $10^6$. We note many suggested patterns. For example, for the three pairs $(m,n)\in\{(1,2),(2,3),(3,4)\},$ the function $cf(m,n,d)$ behaves very differently as we restrict $d$ to the $m+n$ residue classes $\text{mod}$ $m+n.$ The plots of the three functions $cf(1,2,d),cf(2,3,d),$ and $cf(3,4,d)$ resemble waves which have common nodes. We consider this very unusual behavior for an autocorrelation function. The pairs $(m,n)\in\{(1,4),(1,6),(2,5)\}$ show wave-like patterns with much more noise.
Algorithms and Bounds for Very Strong Rainbow Coloring
Published
• View Publication
• BIB
A well-studied coloring problem is to assign colors to the edges of a graph $G$ so that, for every pair of vertices, all edges of at least one shortest path between them receive different colors. The minimum number of colors necessary in such a coloring is the strong rainbow connection number ($\src(G)$) of the graph. When proving upper bounds on $\src(G)$, it is natural to prove that a coloring exists where, for \emph{every} shortest path between every pair of vertices in the graph, all edges of the path receive different colors. Therefore, we introduce and formally define this more restricted edge coloring number, which we call \emph{very strong rainbow connection number} ($\vsrc(G)$).
In this paper, we give upper bounds on $\vsrc(G)$ for several graph classes, some of which are tight. These immediately imply new upper bounds on $\src(G)$ for these classes, showing that the study of $\vsrc(G)$ enables meaningful progress on bounding $\src(G)$. Then we study the complexity of the problem to compute $\vsrc(G)$, particularly for graphs of bounded treewidth, and show this is an interesting problem in its own right. We prove that $\vsrc(G)$ can be computed in polynomial time on cactus graphs; in contrast, this question is still open for $\src(G)$. We also observe that deciding whether $\vsrc(G) = k$ is fixed-parameter tractable in $k$ and the treewidth of $G$. Finally, on general graphs, we prove that there is no polynomial-time algorithm to decide whether $\vsrc(G) \leq 3$ nor to approximate $\vsrc(G)$ within a factor $n^{1-\varepsilon}$, unless P$=$NP.
Improvements on Spectral Bisection
Published
• View Publication
• BIB
We investigate combinatorial properties of certain configurations of a graph partition which are related to the minimality of a cut. We show that such configurations are related to the third eigenvector of the Laplacian matrix. It is well known that the second eigenvector encodes structural information, and that can be used to approximate a minimum bisection. In this paper, we show that the third eigenvector carries structural information as well. We then provide a new spectral bisection algorithm using both eigenvectors. The new algorithm is guaranteed to return a cut that is smaller or equal to the one returned by the classic spectral bisection. Also, we provide a spectral algorithm that can refine a given partition and produce a smaller cut.
Smaller subgraphs of minimum degree k
Published
• View Publication
• BIB
In 1990 Erdős, Faudree, Rousseau and Schelp proved that for $k\geq 2$, every graph with $n\geq k+1$ vertices and $(k-1)(n-k+2)+\binom{k-2}{2}+1$ edges contains a subgraph of minimum degree $k$ on at most $n-\sqrt{n}/\sqrt{6k^3}$ vertices. They conjectured that it is possible to remove at least $ε_k n$ many vertices and remain with a subgraph of minimum degree $k$, for some $ε_k>0$. We make progress towards their conjecture by showing that one can remove at least $Ω(n/\log n)$ many vertices.
A general 2-part Erd\H os-Ko-Rado theorem
Published
• View Publication
• BIB
A two-part extension of the famous Erdős-Ko-Rado Theorem is proved. The underlying set is partitioned into $X_1$ and $X_2$. Some positive integers $k_i, \ell_i (1\leq i\leq m)$ are given. We prove that if ${\cal F}$ is an intersecting family containing members $F$ such that $|F\cap X_1|=k_i, |F\cap X_2|=\ell_i$ holds for one of the values $i (1\leq i\leq m)$ then $|{\cal F}|$ cannot exceed the size of the largest subfamily containing one element.
On the self-convolution of generalized Fibonacci numbers
Published
• View Publication
• BIB
We focus on a family of equalities pioneered by Zhang and generalized by Zao and Wang and hence by Mansour which involves self convolution of generalized Fibonacci numbers. We show that all these formulas are nicely stated in only one equation involving a bivariate ordinary generating function and we give also a formula for the coefficients appearing in that context. As a consequence, we give the general forms for the equalities of Zhang, Zao-Wang and Mansour.
Non-existence of two types of partial difference sets
Published
• View Publication
• BIB
In this note we prove the non-existence of two types of partial difference sets in Abelian groups of order 216. This finalizes the classification of parameters for which a partial difference set of size at most 100 exists in an Abelian group.
Distant total irregularity strength of graphs via random vertex ordering
Published in Discrete Math. 341(4) (2018) 1098-1102
• View Publication
• BIB
Let $c:V\cup E\to\{1,2,\ldots,k\}$ be a (not necessarily proper) total colouring of a graph $G=(V,E)$ with maximum degree $Δ$. Two vertices $u,v\in V$ are sum distinguished if they differ with respect to sums of their incident colours, i.e. $c(u)+\sum_{e\ni u}c(e)\neq c(v)+\sum_{e\ni v}c(e)$. The least integer $k$ admitting such colouring $c$ under which every $u,v\in V$ at distance $1\leq d(u,v)\leq r$ in $G$ are sum distinguished is denoted by ${\rm ts}_r(G)$. Such graph invariants link the concept of the total vertex irregularity strength of graphs with so called 1-2-Conjecture, whose concern is the case of $r=1$. Within this paper we combine probabilistic approach with purely combinatorial one in order to prove that ${\rm ts}_r(G)\leq (2+o(1))Δ^{r-1}$ for every integer $r\geq 2$ and each graph $G$, thus improving the previously best result: ${\rm ts}_r(G)\leq 3Δ^{r-1}$.
A note on asymptotically optimal neighbour sum distinguishing colourings
Published in European J. Comb. 77 (2019) 49-56
• View Publication
• BIB
The least $k$ admitting a proper edge colouring $c:E\to\{1,2,\ldots,k\}$ of a graph $G=(V,E)$ without isolated edges such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every $uv\in E$ is denoted by $χ'_Σ(G)$. It has been conjectured that $χ'_Σ(G)\leq Δ+ 2$ for every connected graph of order at least three different from the cycle $C_5$, where $Δ$ is the maximum degree of $G$. It is known that $χ'_Σ(G) = Δ+ O(Δ^\frac{5}{6}\ln^\frac{1}{6}Δ)$ for a graph $G$ without isolated edges. We improve this upper bound to $χ'_Σ(G) = Δ+ O(Δ^\frac{1}{2})$ using a simpler approach involving a combinatorial algorithm enhanced by the probabilistic method. The same upper bound is provided for the total version of this problem as well.
A Polynomial Method Approach to Zero-Sum Subsets in $\mathbb{F}_{p}^{2}$
Published
• View Publication
• BIB
In this paper we prove that every subset of $\mathbb{F}_p^2$ meeting all $p+1$ lines passing through the origin has a zero-sum subset. This is motivated by a result of Gao, Ruzsa and Thangadurai which states that $OL(\mathbb{F}_{p}^{2})=p+OL(\mathbb{F}_{p})-1$, for sufficiently large primes $p$. Here $OL(G)$ denotes the so-called Olson constant of the additive group $G$ and represents the smallest integer such that no subset of cardinality $OL(G)$ is zero-sum-free. Our proof is in the spirit of the Combinatorial Nullstellensatz.
Chvátal's conjecture for downsets of small rank
A starting point in the investigation of intersecting systems of subsets of a finite set is the elementary observation that the size of a family of pairwise intersecting subsets of a finite set [n]={1,...,n}, denoted by 2^{[n]}, is at most 2^{n-1}, with one of the extremal structures being the family comprised of all subsets of [n] containing a fixed element, called as a star. A longstanding conjecture of Chvátal aims to generalize this simple observation for all downsets of 2^{[n]}. In this note, we prove this conjecture for all downsets where every subset contains at most 3 elements.
Factors of alternating sums of powers of $q$-Narayana numbers
Published
• View Publication
• BIB
The $q$-Narayana numbers $N_q(n,k)$ and $q$-Catalan numbers $C_n(q)$ are respectively defined by $$ N_q(n,k)=\frac{1-q}{1-q^n}{n\brack k}{n\brack k-1}\quad\text{and}\quad C_n(q)=\frac{1-q}{1-q^{n+1}}{2n\brack n}, $$ where ${n\brack k}=\prod_{i=1}^{k}\frac{1-q^{n-i+1}}{1-q^i}$. We prove that, for any positive integers $n$ and $r$, there holds \begin{align*} \sum_{k=-n}^{n}(-1)^{k}q^{jk^2+{k\choose 2}}N_q(2n+1,n+k+1)^r \equiv 0 \pmod{C_n(q)}, \end{align*} where $0\leqslant j\leqslant 2r-1$. We also propose several related conjectures.
The Bressoud-Göllnitz-Gordon Theorem for Overpartitions of even moduli
Published
• View Publication
• BIB
We give an overpartition analogue of Bressoud's combinatorial generalization of the Göllnitz-Gordon theorem for even moduli in general case. Let $\widetilde{O}_{k,i}(n)$ be the number of overpartitions of $n$ whose parts satisfy certain difference condition and $\widetilde{P}_{k,i}(n)$ be the number of overpartitions of $n$ whose non-overlined parts satisfy certain congruence condition. We show that $\widetilde{O}_{k,i}(n)=\widetilde{P}_{k,i}(n)$ for $1\leq i<k$.