Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Some possible numbers of edge coverings of a bipartite graph or shortest paths with fixed ends in a space of compact sets in $R^n$
Published
• View Publication
• BIB
In this paper we provide a method of finding possible numbers of shortest paths between two points in a space of compact sets in Euclidean space with Hausdorff distance. We also prove that there cannot be some of the numbers of shortest paths, thus expanding previous works [1][2]
Enumeration of Grothendieck's dessins and KP hierarchy
Published
• View Publication
• BIB
Branched covers of the complex projective line ramified over $0,1$ and $\infty$ (Grothendieck's {\em dessins d'enfant}) of fixed genus and degree are effectively enumerated. More precisely, branched covers of a given ramification profile over $\infty$ and given numbers of preimages of $0$ and $1$ are considered. The generating function for the numbers of such covers is shown to satisfy a PDE that determines it uniquely modulo a simple initial condition. Moreover, this generating function satisfies an infinite system of PDE's called the KP (Kadomtsev-Petviashvili) hierarchy. A specification of this generating function for certain values of parameters generates the numbers of {\em dessins} of given genus and degree, thus providing a fast algorithm for computing these numbers.
The Chen-Chvátal conjecture for metric spaces induced by distance-hereditary graphs
Published in European J. Combin. 43 (2015), 1-7
• View Publication
• BIB
A special case of a theorem of De Bruijn and Erdős asserts that any noncollinear set of $n$ points in the plane determines at least $n$ distinct lines. Chen and Chvátal conjectured a generalization of this result to arbitrary finite metric spaces, with a particular definition of lines in a metric space. We prove it for metric spaces induced by connected distance-hereditary graphs -- a graph $G$ is called distance-hereditary if the distance between two vertices $u$ and $v$ in any connected induced subgraph $H$ of $G$ is equal to the distance between $u$ and $v$ in $G$.
Median eigenvalues of bipartite graphs
Published
• View Publication
• BIB
For a graph $G$ of order $n$ and with eigenvalues $λ_1\geqslant\cdots\geqslantλ_n$, the HL-index $R(G)$ is defined as $R(G) ={\max}\left\{|λ_{\lfloor(n+1)/2\rfloor}|, |λ_{\lceil(n+1)/2\rceil}|\right\}.$ We show that for every connected bipartite graph $G$ with maximum degree $Δ\geqslant3$, $R(G)\leqslant\sqrt{Δ-2}$ unless $G$ is the the incidence graph of a projective plane of order $Δ-1$. We also present an approach through graph covering to construct infinite families of bipartite graphs with large HL-index.
Tables, bounds and graphics of the smallest known sizes of complete arcs in the plane $\mathrm{PG}(2,q)$ for all $q\le160001$ and sporadic $q$ in the interval $[160801\ldots 430007]$
In the projective planes $\mathrm{PG}(2,q)$, we collect the smallest known sizes of complete arcs for the regions \begin{align*} &\mbox{all } q\le160001,~~ q \mbox{ prime power};\\ &Q_{4}=\{34 \mbox{ sporadic }q'\mbox{s in the interval }[160801\ldots430007], \mbox{ see Table 3}\}. \end{align*}
For $q\le160001$, the collection of arc sizes is complete in the sense that arcs for all prime powers are considered. This proves new upper bounds on the smallest size $t_{2}(2,q)$ of a complete arc in $\mathrm{PG}(2,q)$, in particular \begin{align*} t_{2}(2,q)&<0.998\sqrt{3q\ln q}<1.729\sqrt{q\ln q}&\mbox{ for }&&7&\le q\le160001;~~(1) \\ t_{2}(2,q)&<\sqrt{q}\ln^{0.7295}q&\mbox{ for }&&109&\le q\le160001;~~(2)\\ t_{2}(2,q)&<\sqrt{q}\ln^{c_{up}(q)}q,~~c_{up}(q)=\frac{0.27}{\ln q}+0.7,&\mbox{ for }&&19&\le q\le160001;~~(3)\\ t_{2}(2,q)&<0.6\sqrt{q}\ln^{\varphi_{up}(q;0.6)} q,~~\varphi_{up}(q;0.6)=\frac{1.5}{\ln q}+0.802,&\mbox{ for }&&19&\le q\le160001.~~(4) \end{align*} Moreover, the bounds (2) -- (4) hold also for $q\in Q_{4}$. Also, \begin{align*} t_{2}(2,q)&<1.006\sqrt{3q\ln q}<1.743\sqrt{q\ln q}&\mbox{ for }&&q\in Q_{4}.~~(5) \end{align*} Our investigations and results allow to conjecture that the bounds (2) -- (5) hold for all $q\geq109$.
A Class of Kazhdan-Lusztig R-Polynomials and q-Fibonacci Numbers
Let $S_n$ denote the symmetric group on $\{1,2,\ldots,n\}$. For two permutations $u, v\in S_n$ such that $u\leq v$ in the Bruhat order, let $R_{u,v}(q)$ and $\R_{u,v}(q)$ denote the Kazhdan-Lusztig $R$-polynomial and $\R$-polynomial, respectively. Let $v_n=34\cdots n\, 12$, and let $σ$ be a permutation such that $σ\leq v_n$. We obtain a formula for the $\R$-polynomials $\R_{σ,v_n}(q)$ in terms of the $q$-Fibonacci numbers depending on a parameter determined by the reduced expression of $σ$. When $σ$ is the identity $e$, this reduces to a formula obtained by Pagliacci. In another direction, we obtain a formula for the $\R$-polynomial $\R_{e,\,v_{n,i}}(q)$, where $v_{n,i} = 3 4\cdots i\,n\, (i+1)\cdots (n-1)\, 12$. In a more general context, we conjecture that for any two permutations $σ,τ\in S_n$ such that $σ\leq τ\leq v_n$, the $\R$-polynomial $\R_{σ,τ}(q)$ can be expressed as a product of $q$-Fibonacci numbers multiplied by a power of $q$.
Stanley's Lemma and Multiple Theta Functions
Published
• View Publication
• BIB
We present an algorithmic approach to the verification of identities on multiple theta functions in the form of products of theta functions $[(-1)^δa_1^{α_1}a_2^{α_2}\cdots a_r^{α_r}q^{s}; q^{t}]_\infty$, where $α_i$ are integers, $δ=0$ or $1$, $s\in \mathbb{Q}$, $t\in \mathbb{Q}^{+}$, and the exponent vectors $(α_1,α_2,\ldots,α_r)$ are linearly independent over $\mathbb{Q}$. For an identity on such multiple theta functions, we provide an algorithmic approach for computing a system of contiguous relations satisfied by all the involved multiple theta functions. Using Stanley's Lemma on the fundamental parallelepiped, we show that a multiple theta function can be determined by a finite number of its coefficients. Thus such an identity can be reduced to a finite number of simpler relations. Many classical multiple theta function identities fall into this framework, including Riemann's addition formula and the extended Riemann identity.
On Kinetic Delaunay Triangulations: A Near Quadratic Bound for Unit Speed Motions
Published
• View Publication
• BIB
Let $P$ be a collection of $n$ points in the plane, each moving along some straight line at unit speed. We obtain an almost tight upper bound of $O(n^{2+ε})$, for any $ε>0$, on the maximum number of discrete changes that the Delaunay triangulation $\mathbb{DT}(P)$ of $P$ experiences during this motion. Our analysis is cast in a purely topological setting, where we only assume that (i) any four points can be co-circular at most three times, and (ii) no triple of points can be collinear more than twice; these assumptions hold for unit speed motions.
Supercongruences for sporadic sequences
Published in Proceedings of the Edinburgh Mathematical Society (2) 59 (2016), no. 2, 503-518
• View Publication
• BIB
We prove two-term supercongruences for generalizations of recently discovered sporadic sequences of Cooper. We also discuss recent progress and future directions concerning other types of supercongruences.
Construct Graph Logic
In this paper, author uses set theory to construct a logic model of abstract figure from binary relation. Based on the uniform quantified structure, author gives two logic system for graph traversal and graph coloring respectively, moreover shows a new method of cutting graph. Around this model, there are six algorithms in this paper including exact graph traversal, Algebra calculation of natural number, graph partition and graph coloring.
A Stability Result for Sparse Convolutions
We will establish in this note a stability result for sparse convolutions on torsion-free additive (discrete) abelian groups. Sparse convolutions on torsion-free groups are free of cancellations and hence admit stability, i.e. injectivity with a universal lower bound $α=α(s,f)$, only depending on the cardinality $s$ and $f$ of the supports of both input sequences. More precisely, we show that $α$ depends only on $s$ and $f$ and not on the ambient dimension. This statement follows from a reduction argument which involves a compression into a small set preserving the additive structure of the supports.
Invariant games and non-homogeneous Beatty sequences
We characterize all the pairs of complementary non-homogenous Beatty sequences $(A_n)_{n\ge 0}$ and $(B_n)_{n\ge 0}$ for which there exists an invariant game having exactly $\{(A_n,B_n)\mid n\ge 0\}\cup \{(B_n,A_n)\mid n\ge 0\}$ as set of $\mathcal{P}$-positions. Using the notion of Sturmian word and tools arising in symbolic dynamics and combinatorics on words, this characterization can be translated to a decision procedure relying only on a few algebraic tests about algebraicity or rational independence. Given any four real numbers defining the two sequences, up to these tests, we can therefore decide whether or not such an invariant game exists.
Edge-disjoint spanning trees and eigenvalues of regular graphs
Published in Linear Algebra Appl. 437 (2012), no. 2, 630--647
• Search Publication
Partially answering a question of Paul Seymour, we obtain a sufficient eigenvalue condition for the existence of $k$ edge-disjoint spanning trees in a regular graph, when $k\in \{2,3\}$. More precisely, we show that if the second largest eigenvalue of a $d$-regular graph $G$ is less than $d-\frac{2k-1}{d+1}$, then $G$ contains at least $k$ edge-disjoint spanning trees, when $k\in \{2,3\}$. We construct examples of graphs that show our bounds are essentially best possible. We conjecture that the above statement is true for any $k<d/2$.
The spectrum and toughness of regular graphs
In 1995, Brouwer proved that the toughness of a connected $k$-regular graph $G$ is at least $k/λ-2$, where $λ$ is the maximum absolute value of the non-trivial eigenvalues of $G$. Brouwer conjectured that one can improve this lower bound to $k/λ-1$ and that many graphs (especially graphs attaining equality in the Hoffman ratio bound for the independence number) have toughness equal to $k/λ$. In this paper, we improve Brouwer's spectral bound when the toughness is small and we determine the exact value of the toughness for many strongly regular graphs attaining equality in the Hoffman ratio bound such as Lattice graphs, Triangular graphs, complements of Triangular graphs and complements of point-graphs of generalized quadrangles. For all these graphs with the exception of the Petersen graph, we confirm Brouwer's intuition by showing that the toughness equals $k/(-λ_{min})$, where $λ_{min}$ is the smallest eigenvalue of the adjacency matrix of the graph.
Cyclically consecutive permutation avoidance
Published
• View Publication
• BIB
We give an explicit formula for the number of permutations avoiding cyclically a consecutive pattern in terms of the spectrum of the associated operator of the consecutive pattern. As an example, the number of cyclically consecutive $123$-avoiding permutations in ${\mathfrak S}_{n}$ is given by $n!$ times the convergent series ${\displaystyle \sum_{k=-\infty}^{\infty} \left(\frac{\sqrt{3}}{2π(k+1/3)}\right)^{n}}$ for $n \geq 2$.
k-Marked Dyson Symbols and Congruences for Moments of Cranks
By introducing $k$-marked Durfee symbols, Andrews found a combinatorial interpretation of $2k$-th symmetrized moment $η_{2k}(n)$ of ranks of partitions of $n$. Recently, Garvan introduced the $2k$-th symmetrized moment $μ_{2k}(n)$ of cranks of partitions of $n$ in the study of the higher-order spt-function $spt_k(n)$. In this paper, we give a combinatorial interpretation of $μ_{2k}(n)$. We introduce $k$-marked Dyson symbols based on a representation of ordinary partitions given by Dyson, and we show that $μ_{2k}(n)$ equals the number of $(k+1)$-marked Dyson symbols of $n$. We then introduce the full crank of a $k$-marked Dyson symbol and show that there exist an infinite family of congruences for the full crank function of $k$-marked Dyson symbols which implies that for fixed prime $p\geq 5$ and positive integers $r$ and $k\leq (p-1)/2$, there exist infinitely many non-nested arithmetic progressions $An+B$ such that $μ_{2k}(An+B)\equiv 0\pmod{p^r}$.
The Ramsey numbers of paths versus wheels: a complete solution
Published in Electron. J. Combin. 21 (2014), no. 4, Paper 4.41, 30 pp
• View Publication
• BIB
Let $G_1$ and $G_2$ be two given graphs. The Ramsey number $R(G_1,G_2)$ is the least integer $r$ such that for every graph $G$ on $r$ vertices, either $G$ contains a $G_1$ or $\overline{G}$ contains a $G_2$. We denote by $P_n$ the path on $n$ vertices and $W_m$ the wheel on $m+1$ vertices. Chen et al. and Zhang determined the values of $R(P_n,W_m)$ when $m\leq n+1$ and when $n+2\leq m\leq 2n$, respectively. In this paper we determine all the values of $R(P_n,W_m)$ for the left case $m\geq 2n+1$. Together with Chen et al's and Zhang's results, we give a complete solution to the problem of determining the Ramsey numbers of paths versus wheels.
Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3
Published
• View Publication
• BIB
A clique of a graph is a maximal set of vertices of size at least 2 that induces a complete graph. A $k$-clique-colouring of a graph is a colouring of the vertices with at most $k$ colours such that no clique is monochromatic. Défossez proved that the 2-clique-colouring of perfect graphs is a $Σ_2^P$-complete problem [J. Graph Theory 62 (2009) 139--156]. We strengthen this result by showing that it is still $Σ_2^P$-complete for weakly chordal graphs. We then determine a hierarchy of nested subclasses of weakly chordal graphs whereby each graph class is in a distinct complexity class, namely $Σ_2^P$-complete, $\mathcal{NP}$-complete, and $\mathcal{P}$. We solve an open problem posed by Kratochvíl and Tuza to determine the complexity of 2-clique-colouring of perfect graphs with all cliques having size at least 3 [J. Algorithms 45 (2002), 40--54], proving that it is a $Σ_2^P$-complete problem. We then determine a hierarchy of nested subclasses of perfect graphs with all cliques having size at least 3 whereby each graph class is in a distinct complexity class, namely $Σ_2^P$-complete, $\mathcal{NP}$-complete, and $\mathcal{P}$.
Uniformly resolvable decompositions of $K_v$ into $P_3$ and $K_3$ graphs
In this paper we consider the uniformly resolvable decompositions of the complete graph $K_v$, or the complete graph minus a 1-factor as appropriate, into subgraphs such that each resolution class contains only blocks isomorphic to the same graph. We completely determine the spectrum for the case in which all the resolution classes are either $P_3$ or $K_3$.
Critical groups of generalized de Bruijn and Kautz graphs and circulant matrices over finite fields: an extended abstract
Published in in Proceedings of EuroComb 2013, Publications of the Scuola Normale Superiore, vol. 16, 2013
• View Publication
• BIB
We determine the critical groups of the generalized de Bruijn graphs DB$(n,d)$ and generalized Kautz graphs Kautz$(n,d)$, thus extending and completing earlier results for the classical de Bruijn and Kautz graphs. Moreover, for a prime $p$ the critical groups of DB$(n,p)$ are shown to be in close correspondence with groups of $n\times n$ circulant matrices over $\mathbb{F}_p$, which explains numerical data in [OEIS:A027362], and suggests the possibility to construct normal bases in $\mathbb{F}_{p^n}$ from spanning trees in DB$(n,p)$.