Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Parametrised Algorithms for Directed Modular Width
Published
• View Publication
• BIB
Many well-known NP-hard algorithmic problems on directed graphs resist efficient parametrisations with most known width measures for directed graphs, such as directed treewidth, DAG-width, Kelly-width and many others. While these focus on measuring how close a digraph is to an oriented tree resp. a directed acyclic graph, in this paper, we investigate directed modular width as a parameter, which is closer to the concept of clique-width. We investigate applications of modular decompositions of directed graphs to a wide range of algorithmic problems and derive FPT-algorithms for several well-known digraph-specific NP-hard problems, namely minimum (weight) directed feedback vertex set, minimum (weight) directed dominating set, digraph colouring, directed Hamiltonian path/cycle, partitioning into paths, (capacitated) vertex-disjoint directed paths, and the directed subgraph homeomorphism problem. The latter yields a polynomial-time algorithm for detecting topological minors in digraphs of bounded directed modular width. Finally we illustrate that also other structural digraph parameters, such as the directed pathwidth and the cycle-rank can be computed efficiently using directed modular width as a parameter.
Spanning Trees and Domination in Hypercubes
Published
• View Publication
• BIB
Let $L(G)$ denote the maximum number of leaves in any spanning tree of a connected graph $G$. We show the (known) result that for the $n$-cube $Q_n$, $L(Q_n) \sim 2^n = |V(Q_n)|$ as $n\rightarrow \infty$. Examining this more carefully, consider the minimum size of a connected dominating set of vertices $γ_c(Q_n)$, which is $2^n-L(Q_n)$ for $n\ge2$. We show that $γ_c(Q_n)\sim 2^n/n$. We use Hamming codes and an "expansion" method to construct leafy spanning trees in $Q_n$.
Combinatorial anti-concentration inequalities, with applications
Published in Math. Proc. Camb. Phil. Soc. 171 (2021) 227-248
• View Publication
• BIB
We prove several different anti-concentration inequalities for functions of independent Bernoulli-distributed random variables. First, motivated by a conjecture of Alon, Hefetz, Krivelevich and Tyomkyn, we prove some "Poisson-type" anti-concentration theorems that give bounds of the form 1/e + o(1) for the point probabilities of certain polynomials. Second, we prove an anti-concentration inequality for polynomials with nonnegative coefficients which extends the classical Erdős-Littlewood-Offord theorem and improves a theorem of Meka, Nguyen and Vu for polynomials of this type. As an application, we prove some new anti-concentration bounds for subgraph counts in random graphs.
Leaves for packings with block size four
We consider maximum packings of edge-disjoint $4$-cliques in the complete graph $K_n$. When $n \equiv 1$ or $4 \pmod{12}$, these are simply block designs. In other congruence classes, there are necessarily uncovered edges; we examine the possible `leave' graphs induced by those edges. We give particular emphasis to the case $n \equiv 0$ or $3 \pmod{12}$, when the leave is $2$-regular. Colbourn and Ling settled the case of Hamiltonian leaves in this case. We extend their construction and use several additional direct and recursive constructions to realize a variety of $2$-regular leaves. For various subsets $S \subseteq \{3,4,5,\dots\}$, we establish explicit lower bounds on $n$ to guarantee the existence of maximum packings with any possible leave whose cycle lengths belong to $S$.
Bipartite partition-connected factors with small degrees
In this paper, we show that every $2m$-partition-connected graph $G$ has a bipartite $m$-partition-connected factor $H$ such that for each vertex $v$, $d_H(v)\le \lceil \frac{3}{4}d_G(v)\rceil$. A graph $H$ is said to be $m$-partition-connected, if it contains $m$ edge-disjoint spanning trees. As an application, we conclude that tough enough graphs with appropriate number of vertices have a bipartite $m$-partition-connected factor with maximum degree at most $3m+1$. Finally, we prove that tough enough graphs of order at least $3k$ admit a bipartite connected factor whose degrees lie in the set $\{k,2k,3k,4k\}$.
Bounding and approximating minimum maximal matchings in regular graphs
Published
• View Publication
• BIB
The edge domination number $γ_e(G)$ of a graph $G$ is the minimum size of a maximal matching in $G$. It is well known that this parameter is computationally very hard, and several approximation algorithms and heuristics have been studied. In the present paper, we provide best possible upper bounds on $γ_e(G)$ for regular and non-regular graphs $G$ in terms of their order and maximum degree. Furthermore, we discuss algorithmic consequences of our results and their constructive proofs.
Recurrence relations for Wronskian Laguerre polynomials
Published in Integral Transforms and Special Functions 32:5-8 (2021), 395-406
• View Publication
• BIB
The 3-term recurrence relation for Hermite polynomials was recently generalized to a recurrence relation for Wronskians of Hermite polynomials. In this note, a similar generalization for Laguerre polynomials is obtained.
Critical graphs for the chromatic edge-stability number
The chromatic edge-stability number ${\rm es}_χ(G)$ of a graph $G$ is the minimum number of edges whose removal results in a spanning subgraph $G'$ with $χ(G')=χ(G)-1$. Edge-stability critical graphs are introduced as the graphs $G$ with the property that ${\rm es}_χ(G-e) < {\rm es}_χ(G)$ holds for every edge $e\in E(G)$. If $G$ is an edge-stability critical graph with $χ(G)=k$ and ${\rm es}_χ(G)=\ell$, then $G$ is $(k,\ell)$-critical. Graphs which are $(3,2)$-critical and contain at most four odd cycles are classified. It is also proved that the problem of deciding whether a graph $G$ has $χ(G)=k$ and is critical for the chromatic number can be reduced in polynomial time to the problem of deciding whether a graph is $(k,2)$-critical.
Combinatorics and their evolution in resolution of embedded algebroid surfaces
Published
• View Publication
• BIB
The seminal concept of characteristic polygon of an embedded algebroid surface, first developed by Hironaka, seems well suited for combinatorially (perhaps even effectively) tracking of a resolution process. However, the way this object evolves through the resolution of singularities was not really well understood, as some references had pointed out. The aim of this paper is to explain, in a clear way, how this object changes as the surface gets resolved. In order to get a precise description of the phenomena involved, we need to use different techniques and ideas. Eventually, some effective results regarding the number of blow-ups needed to decrease the multiplicity are obtained as a side product.
Separators - a new statistic for permutations
A digit $π_j$ in a permutation $π=[π_1,\ldots,π_n]\in S_n$ is defined to be a separator of $π$ if by omitting it from $π$ we get a new $2-$block. In this work we introduce a new statistic, the number of separators, on the symmetric group $S_n$ and calculate its distribution over $S_n$. We also provide some enumerative and asymptotic results regarding this statistic.
Twenty-Vertex model with domain wall boundaries and domino tilings
Published in Electronic Journal of Combinatorics 27(2) (2020), #P2.13
• View Publication
• BIB
We consider the triangular lattice ice model (20-Vertex model) with four types of domain-wall type boundary conditions. In types 1 and 2, the configurations are shown to be equinumerous to the quarter-turn symmetric domino tilings of an Aztec-like holey square, with a central cross-shaped hole. The proof of this statement makes extensive use of integrability and of a connection to the 6-Vertex model. The type 3 configurations are conjectured to be in same number as domino tilings of a particular triangle. The four enumeration problems are reformulated in terms of four types of Alternating Phase Matrices with entries 0 and sixth roots of unity, subject to suitable alternation conditions. Our result is a generalization of the ASM-DPP correspondence. Several refined versions of the above correspondences are also discussed.
On the Clique-Width of Unigraphs
Clique-width is a well-studied graph parameter. For graphs of bounded clique-width, many problems that are NP-hard in general can be polynomial-time solvable. The fact motivates several studies to investigate whether the clique-width of graphs in a certain class is bounded or not. We focus on unigraphs, that is, graphs that are uniquely determined by their degree sequences up to isomorphism. We show that every unigraph has clique-width at most 4. It follows that many problems that are NP-hard in general are polynomial-time solvable for unigraphs.
Oriented coloring of graphs with low maximum degree
Duffy et al. [C. Duffy, G. MacGillivray, and É. Sopena, Oriented colourings of graphs with maximum degree three and four, Discrete Mathematics, 342(4), p. 959--974, 2019] recently considered the oriented chromatic number of connected oriented graphs with maximum degree $3$ and $4$, proving it is at most $9$ and $69$, respectively. In this paper, we improve these results by showing that the oriented chromatic number of non-necessarily connected oriented graphs with maximum degree $3$ (resp. $4$) is at most $9$ (resp. $26$). The bound of $26$ actually follows from a general result which determines properties of a target graph to be universal for graphs of bounded maximum degree. This generalization also allows us to get the upper bound of $90$ (resp. $306$, $1322$) for the oriented chromatic number of graphs with maximum degree $5$ (resp. $6$, $7$).
Anticoncentration for subgraph counts in random graphs
Published
• View Publication
• BIB
Fix a graph $H$ and some $p\in (0,1)$, and let $X_H$ be the number of copies of $H$ in a random graph $G(n,p)$. Random variables of this form have been intensively studied since the foundational work of Erdős and Rényi. There has been a great deal of progress over the years on the large-scale behaviour of $X_H$, but the more challenging problem of understanding the small-ball probabilities has remained poorly understood until now. More precisely, how likely can it be that $X_H$ falls in some small interval or is equal to some particular value? In this paper we prove the almost-optimal result that if $H$ is connected then for any $x\in \mathbb{N}$ we have $\Pr(X_H=x)\le n^{1-v(H)+o(1)}$. Our proof proceeds by iteratively breaking $X_H$ into different components which fluctuate at "different scales", and relies on a new anticoncentration inequality for random vectors that behave "almost linearly".
Circle graphs are quadratically $χ$-bounded
Published
• View Publication
• BIB
We prove that the chromatic number of a circle graph with clique number $ω$ is at most $7ω^2$.
Generalized power domination in claw-free regular graphs
Published
• View Publication
• BIB
In this paper, we give a series of couterexamples to negate a conjecture and hence answer an open question on the $k$-power domination of regular graphs (see [P. Dorbec et al., SIAM J. Discrete Math., 27 (2013), pp. 1559-1574]). Furthermore, we focus on the study of $k$-power domination of claw-free graphs. We show that for $l\in\{2,3\}$ and $k\ge l$, the $k$-power domination number of a connected claw-free $(k+l+1)$-regular graph on $n$ vertices is at most $\frac{n}{k+l+2}$, and this bound is tight.
Ramsey and Gallai-Ramsey number for wheels
Published
• View Publication
• BIB
Given a graph $G$ and a positive integer $k$, define the \emph{Gallai-Ramsey number} to be the minimum number of vertices $n$ such that any $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $G$. Much like graph Ramsey numbers, Gallai-Ramsey numbers have gained a reputation as being very difficult to compute in general. As yet, still only precious few sharp results are known. In this paper, we obtain bounds on the Gallai-Ramsey number for wheels and the exact value for the wheel on $5$ vertices.
Note on a generalization of Gallai-Ramsey numbers
A colored complete graph is said to be Gallai-colored if it contains no rainbow triangle. This property has been shown to be equivalent to the existence of a partition of the vertices (of every induced subgraph) in which at most two colors appear on edges between the parts and at most one color appears on edges in between each pair of parts. We extend this notion by defining a coloring of a complete graph to be $k$-Gallai if every induced subgraph has a nontrivial partition of the vertices such that there are at most $k$ colors present in between parts of the partition. The generalized $(k, \ell)$ Gallai-Ramsey number of a graph $H$ is then defined to be the minimum number of vertices $N$ such that every $k$-Gallai coloring of a complete graph $K_{n}$ with $n \geq N$ using at most $\ell$ colors contains a monochromatic copy of $H$. We prove bounds on these generalized $(k, \ell)$ Gallai-Ramsey numbers based on the structure of $H$, extending recent results for Gallai colorings.
On Collapsing Prefix Normal Words
Published
• View Publication
• BIB
Prefix normal words are binary words in which each prefix has at least the same number of $\so$s as any factor of the same length. Firstly introduced by Fici and Lipták in 2011, the problem of determining the index of the prefix equivalence relation is still open. In this paper, we investigate two aspects of the problem, namely prefix normal palindromes and so-called collapsing words (extending the notion of critical words). We prove characterizations for both the palindromes and the collapsing words and show their connection. Based on this, we show that still open problems regarding prefix normal words can be split into certain subproblems.
Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture
Published in Fundamenta Informaticae, Volume 195, Issues 1-4: Relational and Algebraic Methods in Computer Science 2024 (December 27, 2025) fi:12328
• View Publication
• BIB
In this paper, we consider relational structures arising from Comer's finite field construction, where the cosets need not be sum free. These Comer schemes generalize the notion of a Ramsey scheme and may be of independent interest. As an application, we give the first finite representation of $34_{65}$. This leaves $33_{65}$ as the only remaining relation algebra in the family $N_{65}$ with a flexible atom that is not known to be finitely representable. Motivated by this, we complement our upper bounds with some lower bounds. Using a SAT solver, we show that $33_{65}$ is not finitely representable on fewer than $24$ points, and that $33_{65}$ does not admit a cyclic group representation on fewer than $120$ points. We also employ a SAT solver to show that $34_{65}$ is not representable on fewer than $24$ points.