Showing 20 papers (Total: 84253 papers, 48533 authors in database)
$p$-adic analogues of hypergeometric identities
We prove some supercongruences for the truncated hypergeometric series.
Formulae of $\imath$-divided powers in ${\mathbf U}_q(\mathfrak{sl}_2)$
Published in Journal of Pure and Applied Alg. 222 (2018), 2667-2702
• View Publication
• BIB
The existence of the $\imath$-canonical basis (also known as the $\imath$-divided powers) for the coideal subalgebra of the quantum $\mathfrak{sl}_2$ were established by Bao and Wang, with conjectural explicit formulae. In this paper we prove the conjectured formulae of these $\imath$-divided powers. This is achieved by first establishing closed formulae of the $\imath$-divided powers in basis for quantum $\mathfrak{sl}_2$ and then formulae for the $\imath$-canonical basis in terms of Lusztig's divided powers in each finite-dimensional simple module of quantum $\mathfrak{sl}_2$. These formulae exhibit integrality and positivity properties.
Coloring ($P_6$, diamond, $K_4$)-free graphs
We show that every ($P_6$, diamond, $K_4$)-free graph is $6$-colorable. Moreover, we give an example of a ($P_6$, diamond, $K_4$)-free graph $G$ with $χ(G) = 6$. This generalizes some known results in the literature.
The generalized k-resultant modulus set problem in finite fields
Published
• View Publication
• BIB
Let $\mathbb F_q^d$ be the $d$-dimensional vector space over the finite field $\mathbb F_q$ with $q$ elements. Given $k$ sets $E_j\subset \mathbb F_q^d$ for $j=1,2,\ldots, k$, the generalized $k$-resultant modulus set, denoted by $Δ_k(E_1,E_2, \ldots, E_k)$, is defined by $$ Δ_k(E_1,E_2, \ldots, E_k)=\left\{\|{\bf x}^1+{\bf x}^2+\cdots+{\bf x}^k\|\in \mathbb F_q:{\bf x}^j\in E_j,\, j=1,2,\ldots, k\right\},$$ where $\|{\bf y}\|={\bf y}_1^2+ \cdots + {\bf y}_d^2$ for ${\bf y}=({\bf y}_1, \ldots, {\bf y}_d)\in \mathbb F_q^d.$ We prove that if $\prod\limits_{j=1}^3 |E_j| \ge C q^{3\left(\frac{d+1}{2} -\frac{1}{6d+2}\right)}$ for $d=4,6$ with a sufficiently large constant $C>0$, then $|Δ_3(E_1,E_2,E_3)|\ge cq$ for some constant $0<c\le 1,$ and if $\prod\limits_{j=1}^4 |E_j| \ge C q^{4\left(\frac{d+1}{2} -\frac{1}{6d+2}\right)}$ for even $d\ge 8,$ then $|Δ_4(E_1,E_2,E_3, E_4)|\ge cq.$ This generalizes the previous result in \cite{CKP16}. We also show that if $\prod\limits_{j=1}^3 |E_j| \ge C q^{3\left(\frac{d+1}{2} -\frac{1}{9d-18}\right)}$ for even $d\ge 8,$ then $|Δ_3(E_1,E_2,E_3)|\ge cq.$ This result improves the previous work in \cite{CKP16} by removing $\varepsilon>0$ from the exponent.
Vertex-quasiprimitive $2$-arc-transitive digraphs
Published
• View Publication
• BIB
We study vertex-quasiprimitive $2$-arc-transitive digraphs, reducing the problem of vertex-primitive $2$-arc-transitive digraphs to almost simple groups. This includes a complete classification of vertex-quasiprimitive $2$-arc-transitive digraphs where the action on vertices has O'Nan-Scott type SD or CD.
Rationality of the zeta function of the subgroups of abelian $p$-groups
Published in Pub. Math. Debrecen, vol 90, pp 91--105 (2017)
• View Publication
• BIB
Given a finite abelian $p$-group $F$, we prove an efficient recursive formula for $σ_a(F)=\sum_{\substack{H\leq F}}|H|^a$ where $H$ ranges over the subgroups of $F$. We infer from this formula that the $p$-component of the corresponding zeta-function on groups of $p$-rank bounded by some constant $r$ is rational with a simple denominator. We also provide two explicit examples in rank $r=3$ and $r=4$ as well as a closed formula for $σ_a(F)$.
On automorphisms and fixing number of co-normal product of graphs
Published
• View Publication
• BIB
An automorphism of a graph describes its structural symmetry and the concept of fixing number of a graph is used for breaking its symmetries (except the trivial one). In this paper, we evaluate automorphisms of the co-normal product graph $G_1\ast G_2$ of two simple graphs $G_1$ and $G_2$ and give sharp bounds on the order of its automorphism group. We study the fixing number of $G_1\ast G_2$ and prove sharp bounds on it. Moreover, we compute the fixing number of the co-normal product of some families of graphs.
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.