Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Weakly saturated random graphs
Published in Random Struct. Algorithms 65, No. 1, 131-148 (2024)
• View Publication
• BIB
As introduced by Bollobás, a graph $G$ is weakly $H$-saturated if the complete graph $K_n$ is obtained by iteratively completing copies of $H$ minus an edge. For all graphs $H$, we obtain an asymptotic lower bound for the critical threshold $p_c$, at which point the Erdős--Rényi graph ${\mathcal G}_{n,p}$ is likely to be weakly $H$-saturated. We also prove an upper bound for $p_c$, for all $H$ which are, in a sense, strictly balanced. In particular, we improve the upper bound by Balogh, Bollob{á}s and Morris for $H=K_r$, and we conjecture that this is sharp up to constants.
Squaring within the Colless index yields a better balance index
Published
• View Publication
• BIB
The Colless index for bifurcating phylogenetic trees, introduced by Colless (1982), is defined as the sum, over all internal nodes $v$ of the tree, of the absolute value of the difference of the sizes of the clades defined by the children of $v$. It is one of the most popular phylogenetic balance indices, because, in addition to measuring the balance of a tree in a very simple and intuitive way, it turns out to be one of the most powerful and discriminating phylogenetic shape indices. But it has some drawbacks. On the one hand, although its minimum value is reached at the so-called maximally balanced trees, it is almost always reached also at trees that are not maximally balanced. On the other hand, its definition as a sum of absolute values of differences makes it difficult to study analytically its distribution under probabilistic models of bifurcating phylogenetic trees. In this paper we show that if we replace in its definition the absolute values of the differences of clade sizes by the squares of these differences, all these drawbacks are overcome and the resulting index is still more powerful and discriminating than the original Colless index.
Some Game Theoretic Remarks on Two-Player Generalized Cops and Robbers Games
Published
• View Publication
• BIB
In this paper we study the two-player generalized Cops and Robber (GCR) games introduced by Bonato and MacGillivray. Our main goal is to present a full, self-contained game theoretic analysis of such games.
Chess Billiards
Published
• View Publication
• BIB
We show the chess billiard map, which was introduced in [HM] in order to study a generalization of the $n$-Queens problem in chess, is a circle homeomorphism. We give a survey of some of the known results on circle homeomorphisms, and apply them to this map. We prove a number of new results which give answers to some of the open questions posed in [HM].
The Brown-Erdős-Sós Conjecture for hypergraphs of large uniformity
Published
• View Publication
• BIB
We prove the well-known Brown-Erdős-Sós Conjecture for hypergraphs of large uniformity in the following form: any dense linear $r$-graph $G$ has $k$ edges spanning at most $(r-2)k+3$ vertices, provided the uniformity $r$ of $G$ is large enough given the linear density of $G$, and the number of vertices of $G$ is large enough given $r$ and $k$.
Constructing Partial MDS Codes from Reducible Curves
Published
• View Publication
• BIB
We propose reducible algebraic curves as a mechanism to construct Partial MDS (PMDS) codes geometrically. We obtain new general existence results, new explicit constructions and improved estimates on the smallest field sizes over which such codes can exist. Our results are obtained by combining ideas from projective algebraic geometry, combinatorics and probability theory.
Gain-line graphs via $G$-phases and group representations
Published in Linear Algebra and its Applications 613 (2021), 241-270
• View Publication
• BIB
Let $G$ be an arbitrary group. We define a gain-line graph for a gain graph $(Γ,ψ)$ through the choice of an incidence $G$-phase matrix inducing $ψ$. We prove that the switching equivalence class of the gain function on the line graph $L(Γ)$ does not change if one chooses a different $G$-phase inducing $ψ$ or a different representative of the switching equivalence class of $ψ$. In this way, we generalize to any group some results proven by N. Reff in the abelian case. The investigation of the orbits of some natural actions of $G$ on the set $\mathcal H_Γ$ of $G$-phases of $Γ$ allows us to characterize gain functions on $Γ$, gain functions on $L(Γ)$, their switching equivalence classes and their balance property. The use of group algebra valued matrices plays a fundamental role and, together with the matrix Fourier transform, allows us to represent a gain graph with Hermitian matrices and to perform spectral computations. Our spectral results also provide some necessary conditions for a gain graph to be a gain-line graph.
On the constructions of $n$-cycle permutations
Published
• View Publication
• BIB
Any permutation polynomial is an $ n $-cycle permutation. When $n$ is a specific small positive integer, one can obtain efficient permutations, such as involutions, triple-cycle permutations and quadruple-cycle permutations. These permutations have important applications in cryptography and coding theory. Inspired by the AGW Criterion, we propose criteria for $ n $-cycle permutations, which mainly are of the form $ x^rh(x^s) $. We then propose unified constructing methods including recursive ways and a cyclotomic way for $ n $-cycle permutations of such form. We demonstrate our approaches by constructing three classes of explicit triple-cycle permutations with high index and two classes of $ n $-cycle permutations with low index.
Isoresidual fibration and resonance arrangements
Published
• View Publication
• BIB
The stratum $\mathcal{H}(a,-b_{1},\dots,-b_{p})$ of meromorphic $1$-forms with a zero of order $a$ and poles of orders $b_{1},\dots,b_{p}$ on the Riemann sphere has a map, the isoresidual fibration, defined by assigning to any differential its residues at the poles. We show that above the complement of a hyperplane arrangement, the resonance arrangement, the isoresidual fibration is an unramified cover of degree $\frac{a!}{(a+2-p)!}$. Moreover, the monodromy of the fibration is computed for strata with at most three poles and a system of generators and relations is given for all strata. These results are obtained by associating to special differentials of the strata a tree, and by studying the relationship between the geometric properties of the differentials and the combinatorial properties of these trees.
Stieltjes moment properties and continued fractions from combinatorial triangles
Published
• View Publication
• BIB
Many combinatorial numbers can be placed in the following generalized triangular array $[T_{n,k}]_{n,k\ge 0}$ satisfying the recurrence relation: \begin{equation*} T_{n,k}=λ(a_0n+a_1k+a_2)T_{n-1,k}+(b_0n+b_1k+b_2)T_{n-1,k-1}+\frac{d(da_1-b_1)}λ(n-k+1)T_{n-1,k-2} \end{equation*} with $T_{0,0}=1$ and $T_{n,k}=0$ unless $0\le k\le n$ for suitable $a_0,a_1,a_2,b_0,b_1,b_2,d$ and $λ$. For $n\geq0$, denote by $T_n(q)$ the generating function of the $n$-th row. In this paper, we develop various criteria for $\textbf{x}$-Stieltjes moment property and $3$-$\textbf{x}$-log-convexity of $T_n(q)$ based on the Jacobi continued fraction expression of $\sum_{n\geq0}T_n(q)t^n$, where $\textbf{x}$ is a set of indeterminates consisting of $q$ and those parameters occurring in the recurrence relation. With the help of a criterion of Wang and Zhu [Adv. in Appl. Math. (2016)], we show that the corresponding linear transformation of $T_{n,k}$ preserves Stieltjes moment properties of sequences. Finally, we present some related examples including factorial numbers, Whitney numbers, Stirling permutations, minimax trees and peak statistics.
Robbins and Ardila meet Berstel
Published
• View Publication
• BIB
In 1996, Neville Robbins proved the amazing fact that the coefficient of $X^n$ in the Fibonacci infinite product $$ \prod_{n \geq 2} (1-X^{F_n}) = (1-X)(1-X^2)(1-X^3)(1-X^5)(1-X^8) \cdots = 1-X-X^2+X^4 + \cdots$$ is always either $-1$, $0$, or $1$. The same result was proved later by Federico Ardila using a different method.
Meanwhile, in 2001, Jean Berstel gave a simple 4-state transducer that converts an "illegal" Fibonacci representation into a "legal" one. We show how to obtain the Robbins-Ardila result from Berstel's with almost no work at all, using purely computational techniques that can be performed by existing software.
Edge-colouring graphs with local list sizes
Published
• View Publication
• BIB
The famous List Colouring Conjecture from the 1970s states that for every graph $G$ the chromatic index of $G$ is equal to its list chromatic index. In 1996 in a seminal paper, Kahn proved that the List Colouring Conjecture holds asymptotically. Our main result is a local generalization of Kahn's theorem. More precisely, we show that, for a graph $G$ with sufficiently large maximum degree $Δ$ and minimum degree $δ\geq \ln^{25} Δ$, the following holds: for every assignment of lists of colours to the edges of $G$, such that $|L(e)| \geq (1+o(1)) \cdot \max\left\{\rm{deg}(u),\rm{deg}(v)\right\}$ for each edge $e=uv$, there is an $L$-edge-colouring of $G$. Furthermore, Kahn showed that the List Colouring Conjecture holds asymptotically for linear, $k$-uniform hypergraphs, and recently Molloy generalized Kahn's original result to correspondence colouring as well as its hypergraph generalization. We prove local versions of all of these generalizations by showing a weighted version that simultaneously implies all of our results.
Tutte polynomial, complete invariant, and theta series
Published
• View Publication
• BIB
In this study, we present two results that relate Tutte polynomials. First, we provide new and complete polynomial invariants for graphs. We note that the number of variables of our polynomials is one. Second, let L_1 and L_2 be two non-isomorphic lattices. We state that L_1 and L_2 are theta series equivalent if those theta series are the same. The problem of identifying theta series equivalent lattices is discussed in Prof.~Conway's book The Sensual (Quadratic) Form with the title "Can You Hear the Shape of a Lattice?" In this study, we present a method to find theta series equivalent lattices using matroids and their Tutte polynomials.
Bounding the number of arithmetical structures on graphs
Published in Discrete Mathematics, 344(9):112494, 2021
• View Publication
• BIB
Let $G$ be a connected undirected graph on $n$ vertices with no loops but possibly multiedges. Given an arithmetical structure $(\textbf{r}, \textbf{d})$ on $G$, we describe a construction which associates to it a graph $G'$ on $n-1$ vertices and an arithmetical structure $(\textbf{r}', \textbf{d}')$ on $G'$. By iterating this construction, we derive an upper bound for the number of arithmetical structures on $G$ depending only on the number of vertices and edges of $G$. In the specific case of complete graphs, possibly with multiple edges, we refine and compare our upper bounds to those arising from counting unit fraction representations.
Book Embeddings of Graph Products
A $k$-stack layout (also called a $k$-page book embedding) of a graph consists of a total order of the vertices, and a partition of the edges into $k$ sets of non-crossing edges with respect to the vertex order. The stack number (book thickness, page number) of a graph is the minimum $k$ such that it admits a $k$-stack layout. A $k$-queue layout is defined similarly, except that no two edges in a single set may be nested.
It was recently proved that graphs of various non-minor-closed classes are subgraphs of the strong product of a path and a graph with bounded treewidth. Motivated by this decomposition result, we explore stack layouts of graph products. We show that the stack number is bounded for the strong product of a path and (i) a graph of bounded pathwidth or (ii) a bipartite graph of bounded treewidth and bounded degree. The results are obtained via a novel concept of simultaneous stack-queue layouts, which may be of independent interest.
Almost avoiding permutations
Published in Discrete Math. 309 (2009), 6626--6631
• View Publication
• BIB
We investigate the notion of almost avoiding a permutation: $π$ almost avoids $β$ if one can remove a single entry from $π$ to obtain a $β$-avoiding permutation.
Minors of a skew symmetric matrix: A combinatorial approach
Published
• View Publication
• BIB
We use Knuth's combinatorial approach to Pfaffians to reprove and clarify a century-old formula, due to Brill. It expresses arbitrary minors of a skew symmetric matrix in terms of Pfaffians.
On the connectivity of the disjointness graph of segments of point sets in general position in the plane
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Combinatorics (May 6, 2022) dmtcs:6678
• View Publication
• BIB
Let $P$ be a set of $n\geq 3$ points in general position in the plane. The edge disjointness graph $D(P)$ of $P$ is the graph whose vertices are all the closed straight line segments with endpoints in $P$, two of which are adjacent in $D(P)$ if and only if they are disjoint. We show that the connectivity of $D(P)$ is at least $\binom{\lfloor\frac{n-2}{2}\rfloor}{2}+\binom{\lceil\frac{n-2}{2}\rceil}{2}$, and that this bound is tight for each $n\geq 3$.
Pairing strategies for the Maker-Breaker game on the hypercube with subcubes as winning sets
Published
• View Publication
• BIB
We consider the Maker-Breaker positional game on the vertices of the $n$-dimensional hypercube $\{0,1\}^n$ with $k$-dimensional subcubes as winning sets. We describe a pairing strategy which allows Breaker to win if $n$ is a power of 4 and $k \ge n/4 +1$. Our results also imply that for all $n \geq 3$ there is a Breaker's win pairing strategy if $k \ge \left\lfloor\frac{3}{7}n\right\rfloor +1$.
Bounds on antipodal spherical designs with few angles
Published
• View Publication
• BIB
A finite subset $X$ on the unit sphere $\mathbb{S}^{d-1}$ is called an $s$-distance set with strength $t$ if its angle set $A(X):=\{\langle \mathbf{x},\mathbf{y}\rangle : \mathbf{x},\mathbf{y}\in X,\mathbf{x}\neq\mathbf{y} \}$ has size $s$, and $X$ is a spherical $t$-design but not a spherical $(t+1)$-design. In this paper, we consider to estimate the maximum size of such antipodal set for small $s$. First, we improve the known bound on $|X|$ for each even integer $s\in[\frac{t+5}{2}, t+1]$ when $t\geq 3$. We next focus on two special cases: $s=3,\ t=3$ and $s=4,\ t=5$. Estimating the size of $X$ for these two cases is equivalent to estimating the size of real equiangular tight frames (ETFs) and Levenstein-equality packings, respectively. We first improve the previous estimate on the size of real ETFs and Levenstein-equality packings. This in turn gives a bound on $|X|$ when $s=3,\ t=3$ and $s=4,\ t=5$, respectively.