Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Cops and robbers on $P_5$-free graphs
Published in SIAM Journal on Discrete Mathematics, 38(1):845-856, March 2024
• View Publication
• BIB
We prove that every connected $P_5$-free graph has cop number at most two, solving a conjecture of Sivaraman. In order to do so, we first prove that every connected $P_5$-free graph $G$ with independence number at least three contains a three-vertex induced path with vertices $a \hbox{-} b \hbox{-} c$ in order, such that every neighbour of $c$ is also adjacent to one of $a,b$.
Partitioned Matching Games for International Kidney Exchange
Published
• View Publication
• BIB
We introduce partitioned matching games as a suitable model for international kidney exchange programmes, where in each round the total number of available kidney transplants needs to be distributed amongst the participating countries in a "fair" way. A partitioned matching game $(N,v)$ is defined on a graph $G=(V,E)$ with an edge weighting $w$ and a partition $V=V_1 \cup \dots \cup V_n$. The player set is $N = \{1, \dots, n\}$, and player $p \in N$ owns the vertices in $V_p$. The value $v(S)$ of a coalition $S \subseteq N$ is the maximum weight of a matching in the subgraph of $G$ induced by the vertices owned by the players in $S$. If $|V_p|=1$ for all $p\in N$, then we obtain the classical matching game. Let $c=\max\{|V_p| \; |\; 1\leq p\leq n\}$ be the width of $(N,v)$. We prove that checking core non-emptiness is polynomial-time solvable if $c\leq 2$ but co-NP-hard if $c\leq 3$. We do this via pinpointing a relationship with the known class of $b$-matching games and completing the complexity classification on testing core non-emptiness for $b$-matching games. With respect to our application, we prove a number of complexity results on choosing, out of possibly many optimal solutions, one that leads to a kidney transplant distribution that is as close as possible to some prescribed fair distribution.
Localised graph Maclaurin inequalities
The Maclaurin inequalities for graphs are a broad generalisation of the classical theorems of Turán and Zykov. In a nutshell they provide an asymptotically sharp answer to the following question: what is the maximum number of cliques of size $q$ in a $K_{r+1}$-free graph with a given number of cliques of size $s$? We prove an extensions of the graph Maclaurin inequalities with a weight function that captures the local structure of the graph. As a corollary, we settle a recent conjecture of Kirsch and Nir, which simultaneously encompass the previous localised results of Bradač, Malec and Tompkins and of Kirsch and Nir.
A Safety Framework for Flow Decomposition Problems via Integer Linear Programming
Published
• View Publication
• BIB
Many important problems in Bioinformatics (e.g., assembly or multi-assembly) admit multiple solutions, while the final objective is to report only one. A common approach to deal with this uncertainty is finding safe partial solutions (e.g., contigs) which are common to all solutions. Previous research on safety has focused on polynomially-time solvable problems, whereas many successful and natural models are NP-hard to solve, leaving a lack of "safety tools" for such problems. We propose the first method for computing all safe solutions for an NP-hard problem, minimum flow decomposition. We obtain our results by developing a "safety test" for paths based on a general Integer Linear Programming (ILP) formulation. Moreover, we provide implementations with practical optimizations aimed to reduce the total ILP time, the most efficient of these being based on a recursive group-testing procedure.
Results: Experimental results on the transcriptome datasets of Shao and Kingsford (TCBB, 2017) show that all safe paths for minimum flow decompositions correctly recover up to 90% of the full RNA transcripts, which is at least 25% more than previously known safe paths, such as (Caceres et al. TCBB, 2021), (Zheng et al., RECOMB 2021), (Khan et al., RECOMB 2022, ESA 2022). Moreover, despite the NP-hardness of the problem, we can report all safe paths for 99.8% of the over 27,000 non-trivial graphs of this dataset in only 1.5 hours. Our results suggest that, on perfect data, there is less ambiguity than thought in the notoriously hard RNA assembly problem.
Availability: https://github.com/algbio/mfd-safety
Graph-codes
Published
• View Publication
• BIB
The symmetric difference of two graphs $G_1,G_2$ on the same set of vertices $[n]=\{1,2, \ldots ,n\}$ is the graph on $[n]$ whose set of edges are all edges that belong to exactly one of the two graphs $G_1,G_2$. Let $H$ be a fixed graph with an even (positive) number of edges, and let $D_H(n)$ denote the maximum possible cardinality of a family of graphs on $[n]$ containing no two members whose symmetric difference is a copy of $H$. Is it true that $D_H(n)=o(2^{n \choose 2})$ for any such $H$? We discuss this problem, compute the value of $D_H(n)$ up to a constant factor for stars and matchings, and discuss several variants of the problem including ones that have been considered in earlier work.
On a family of 2-automatic sequences generating algebraic continued fractions in characteristic 2
Published
• View Publication
• BIB
We present family of automatic sequences that define algebraic continued fractions in characteristic 2. This family is constructed from ultimately period words and contains the period-doubling sequence.
An almost strong relation
Published in Bulletin of the Belgian Mathematical Society - Simon Stevin, vol. 30 (4), pp. 456-467, December 2023
• View Publication
• BIB
Let $μ$ be a strong limit singular cardinal. We prove that if $2^μ > μ^+$ then $\binom{μ^+}μ\to \binomτμ_{<{\rm cf}(μ)}$ for every ordinal $τ<μ^+$. We obtain an optimal positive relation under $2^μ= μ^+$, as after collapsing $2^μ$ to $μ^+$ this positive relation is preserved.
Pascal Determinantal Arrays and a Generalization of Rahimpour's Determinantal Identity
We introduce a new infinite family of arrays, the \emph{Pascal determinantal arrays} of order $k$, denoted $PD_k$, which generalize the classical Pascal array via determinantal constructions. We present a recursive algorithm for generating $PD_k$, establish its correctness using Dodgson's condensation and a weighted sliding-cross rule, and provide a geometric interpretation of the entries $P^{(k)}_{i,j}$ as weighted double sticks in the Pascal plane. Our main result proves a conjecture that generalizes Rahimpour's identity: for all $i,j,k \ge 0$, \[ P^{(k)}_{i,j} = P^{(j)}_{i,k}, \] where $P^{(k)}_{i,j}$ is the determinant of the $k \times k$ subarray of the Pascal array starting at $(i,j)$. The proof combines algebraic recurrence techniques with a visual, geometry-based argument that reveals the intrinsic symmetry of determinantal Pascal structures.
New partition identities for odd w odd
Published
• View Publication
• BIB
In this note we conjecture Rogers-Ramanujan type colored partition identities for an array with odd number of rows w such that the first and the last row consist of even positive integers. In a strange way this is different from the partition identities for the array with odd number of rows w such that the first and the last row consist of odd positive integers -- the partition identities conjectured by S. Capparelli, A. Meurman, A. Primc and the author and related to standard representations of the affine Lie algebra of type $C^{(1)}_\ell$ for $w=2\ell+1$. The conjecture is based on numerical evidence.
Free Fermionic Schur Functions
Published
• View Publication
• BIB
We introduce a new family of Schur functions $s_{λ/μ;a,b}(x/y)$ that depend on two sets of variables and two sequences of parameters. These free fermionic Schur functions have a hidden symmetry between the two sets of parameters that allows us to generalize and unify factorial, supersymmetric, and dual Schur functions from literature.
We then prove that these functions satisfy the supersymmetric Cauchy identity $$
\sum_λs_{λ;a,b}(x/y)\widehat{s}_{λ;a,b}(z/w) = \prod_{i,j}\frac{1+y_iz_j}{1-x_iz_j}\frac{1+x_iw_j}{1-y_iw_j}, $$ where $\widehat{s}_{λ;a,b}(z/w) = s_{λ';b',a'}(w/z)$ are the dual functions.
Our approach is based on the integrable six vertex model with free fermionic Boltzmann weights. We show that these weights satisfy the \textit{refined Yang-Baxter equation}, which allows us to prove well-known properties of Schur functions: supersymmetry, combinatorial descriptions, the Jacobi-Trudi identity, the Nägelsbach-Kostka formula, the Giambelli formula, the Ribbon formula, the Weyl determinant formula, the Berele-Regev factorization, dual Cauchy identity, the flagged determinant formula, and many others. We emphasize that many of these results are novel even in special cases.
On Tribonacci Sequences
Let a tribonacci sequence be a sequence of integers satisfying $a_k=a_{k-1}+a_{k-2}+a_{k-3}$ for all $k\ge 4$. For any positive integers $k$ and $n$, denote by $f_k(n)$ the number of tribonacci sequences with $a_1, a_2, a_3>0$ and with $a_k=n$. For all $n$, there is a maximum $k$ such that $f_k(n)$ is non-zero. Answering a question of Spiro \cite{Spiro}, we show that there is a finite upper bound (we specifically prove 561001) on $f_k(n)$ for any positive integer $n\ge 3$ and this maximum $k$. We do this by showing that $f_k(n)$ has transitions in $n$ around constant multiples of $φ^{3k/2}$ (where $φ$ is the real root of $φ^3=φ^2+φ+1$): there exists a constant $C$ such that $f_k(n)>0$ whenever $n>Cφ^{3k/2}$ and for any constant $T$, the values of $f_k(n)$ with $n<Tφ^{3k/2}$ have an upper bound independent of $k$.
Deep lattice points in zonotopes, lonely runners, and lonely rabbits
Published in International Mathematics Research Notices 2024, no. 8, 6553-6578
• View Publication
• BIB
Let $K \subseteq \mathbb{R}^d$ be a convex body and let $\mathbf{w} \in \operatorname{int}(K)$ be an interior point of $K$. The coefficient of asymmetry $\operatorname{ca}(K,\mathbf{w}) := \min\{ λ\geq 1 : \mathbf{w} - K \subseteq λ(K - \mathbf{w}) \}$ has been studied extensively in the realm of Hensley's conjecture on the maximal volume of a $d$-dimensional lattice polytope that contains a fixed positive number of interior lattice points. We study the coefficient of asymmetry for lattice zonotopes, i.e., Minkowski sums of line segments with integer endpoints. Our main result gives the existence of an interior lattice point whose coefficient of asymmetry is bounded above by an explicit constant in $Θ(d \log\log d)$, for any lattice zonotope that has an interior lattice point. Our work is both inspired by and feeds on Wills' lonely runner conjecture from Diophantine approximation: we make intensive use of a discrete version of this conjecture, and reciprocally, we reformulate the lonely runner conjecture in terms of the coefficient of asymmetry of a zonotope.
A characterization of regular partial cubes whose all convex cycles have the same lengths
Published in J. Graph Theory.2024;107:550-558
• View Publication
• BIB
Partial cubes are graphs that can be isometrically embedded into hypercubes. Convex cycles play an important role in the study of partial cubes. In this paper, we prove that a regular partial cube is a hypercube (resp., a Doubled Odd graph, an even cycle of length $2n$ where $n\geqslant 4$) if and only if all its convex cycles are 4-cycles (resp., 6-cycles, $2n$-cycles). In particular, the partial cubes whose all convex cycles are 4-cycles are equivalent to almost-median graphs. Therefore, we conclude that regular almost-median graphs are exactly hypercubes, which generalizes the result by Mulder [J. Graph Theory, 4 (1980) 107--110] -- regular median graphs are hypercubes.
Fully complementary higher dimensional partitions
Published
• View Publication
• BIB
We introduce a symmetry class for higher dimensional partitions - fully complementary higher dimensional partitions (FCPs) - and prove a formula for their generating function. By studying symmetry classes of FCPs in dimension 2, we define variations of the classical symmetry classes for plane partitions. As a by-product we obtain conjectures for three new symmetry classes of plane partitions and prove that another new symmetry class, namely quasi transpose complementary plane partitions are equinumerous to symmetric plane partitions.
Proof of a conjecture of Krawchuk and Rampersad
We prove a 2018 conjecture of Krawchuk and Rampersad on the extremal behavior of $c(n)$, where $c(n)$ counts the number of length-$n$ factors of the Thue-Morse word $\mathbf{t}$, up to cyclic rotation.
Defective acyclic colorings of planar graphs
Published
• View Publication
• BIB
This paper studies two variants of defective acyclic coloring of planar graphs. For a graph $G$ and a coloring $\varphi$ of $G$, a 2CC transversal is a subset $E'$ of $E(G)$ that intersects every 2-colored cycle. Let $k$ be a positive integer. We denote by $m_k(G)$ the minimum integer $m$ such that $G$ has a proper $k$-coloring which has a 2CC transerval of size $m$, and by $m'_k(G)$ the minimum size of a subset $E'$ of $E(G)$ such that $G-E'$ is acyclic $k$-colorable. We prove that for any $n$-vertex $3$-colorable planar graph $G$, $m_3(G) \le n - 3$ and for any planar graph $G$, $m_4(G) \le n - 5$ provided that $n \ge 5$. We show that these upper bounds are sharp: there are infinitely many planar graphs attaining these upper bounds. Moreover, the minimum 2CC transversal $E'$ can be chosen in such a way that $E'$ induces a forest. We also prove that for any planar graph $G$, $m'_3(G) \le (13n - 42) / 10$ and $m'_4(G) \le (3n - 12) / 5$.
Laplacian polytopes of simplicial complexes
Given a (finite) simplicial complex, we define its $i$-th Laplacian polytope as the convex hull of the columns of its $i$-th Laplacian matrix. This extends Laplacian simplices of finite simple graphs, as introduced by Braun and Meyer. After studying basic properties of these polytopes, we focus on the $d$-th Laplacian polytope of the boundary of a $(d+1)$-simplex $\partial(σ_{d+1})$. If $d$ is odd, then as for graphs, the $d$-th Laplacian polytope turns out to be a $(d+1)$-simplex in this case. If $d$ is even, we show that the $d$-th Laplacian polytope of $\partial(σ_{d+1})$ is combinatorially equivalent to a $d$-dimensional cyclic polytope on $d+2$ vertices. Moreover, we provide an explicit regular unimodular triangulation for the $d$-th Laplacian polytope of $\partial(σ_{d+1})$. This enables us to to compute the normalized volume and to show that the $h^\ast$-polynomial is real-rooted and unimodal, if $d$ is odd and even, respectively.
Decompositions into two linear forests of bounded lengths
Published
• View Publication
• BIB
For some $k \in \mathbb{Z}_{\geq 0}\cup \infty$, we call a linear forest $k$-bounded if each of its components has at most $k$ edges. We will say a $(k,\ell)$-bounded linear forest decomposition of a graph $G$ is a partition of $E(G)$ into the edge sets of two linear forests $F_k,F_\ell$ where $F_k$ is $k$-bounded and $F_\ell$ is $\ell$-bounded. We show that the problem of deciding whether a given graph has such a decomposition is NP-complete if both $k$ and $\ell$ are at least $2$, NP-complete if $k\geq 9$ and $\ell =1$, and is in P for $(k,\ell)=(2,1)$. Before this, the only known NP-complete cases were the $(2,2)$ and $(3,3)$ cases. Our hardness result answers a question of Bermond et al. from 1984. We also show that planar graphs of girth at least nine decompose into a linear forest and a matching, which in particular is stronger than $3$-edge-colouring such graphs.
Some double series for $π$ and their $q$-analogues
Published
• View Publication
• BIB
By applying the partial derivative operator to several summation formulas for hypergeometric series, we prove several double series for $π$ in this paper. Similarly, we also establish several $q$-analogues of them.
Dispersed graph labellings
A $k$-dispersed labelling of a graph $G$ on $n$ vertices is a labelling of the vertices of $G$ by the integers $1, \dots , n$ such that $d(i,i+1) \geq k$ for $1 \leq i \leq n-1$. $DL(G)$ denotes the maximum value of $k$ such that $G$ has a $k$-dispersed labelling. In this paper, we study upper and lower bounds on $DL(G)$. Computing $DL(G)$ is NP-hard. However, we determine the exact values of $DL(G)$ for cycles, paths, grids, hypercubes and complete binary trees. We also give a product construction and we prove a degree-based bound.