Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Computing discrete residues of rational functions
Published in Proceedings of ISSAC 2024 (2024), pp. 65-73
• View Publication
• BIB
In 2012 Chen and Singer introduced the notion of discrete residues for rational functions as a complete obstruction to rational summability. More explicitly, for a given rational function f(x), there exists a rational function g(x) such that f(x) = g(x+1) - g(x) if and only if every discrete residue of f(x) is zero. Discrete residues have many important further applications beyond summability: to creative telescoping problems, thence to the determination of (differential-)algebraic relations among hypergeometric sequences, and subsequently to the computation of (differential) Galois groups of difference equations. However, the discrete residues of a rational function are defined in terms of its complete partial fraction decomposition, which makes their direct computation impractical due to the high complexity of completely factoring arbitrary denominator polynomials into linear factors. We develop a factorization-free algorithm to compute discrete residues of rational functions, relying only on gcd computations and linear algebra.
The Tutte polynomials of genus $g$
In the paper [Proceedings of the Japan Academy, Ser. A Mathematical Sciences, 95(10) 111-113], the authors introduce the concept of the Tutte polynomials of genus $g$ and announce that each matroid $M$ can be reconstructed from its Tutte polynomial of genus $|\mathcal{B}(M)|$, where $\mathcal{B}(M)$ denotes the family of bases of $M$. In that paper, we also announced that, for all $g$, there exist inequivalent matroids that have the same Tutte polynomial of genus $g$. In this paper, we prove these theorems.
A note on strong blocking sets and higgledy-piggledy sets of lines
Published
• View Publication
• BIB
This paper studies {\em strong blocking sets} in the $N$-dimensional finite projective space $\mathrm{PG}(N,q)$. We first show that certain unions of blocking sets cannot form strong blocking sets, which leads to a new lower bound on the size of a strong blocking set in $\mathrm{PG}(N,q)$.
Our second main result shows that, for $q>\frac{2}{ln(2)}(N+1)$, there exists a subset of $2N-2$ lines of a Desarguesian line spread in $\mathrm{PG}(N,q)$, $N$ odd, in {\em higgledy-piggledy arrangement}; thus giving rise to a strong blocking set of size $(2N-2)(q+1)$.
Partial duality for ribbon graphs
Published
• View Publication
• BIB
This is an expository paper extending the tutorial talk at the MATRIX Workshop on Uniqueness and Discernment in Graph Polynomials in October 2023. The explanation is mainly based on the paper "Partial Duality of Hypermaps" by S.Chmutov and F.Vignes-Tourneret with maximal possible simplifications.
Triple Roman Domination in Graphs
Published in applied math and computation, 391 (2021)
• View Publication
• BIB
The Roman domination in graphs is well-studied in graph theory. The topic is related to a defensive strategy problem in which the Roman legions are settled in some secure cities of the Roman Empire. The deployment of the legions around the Empire is designed in such a way that a sudden attack to any undefended city could be quelled by a legion from a strong neighbour. There is an additional condition: no legion can move if doing so leaves its base city defenceless. In this manuscript we start the study of a variant of Roman domination in graphs: the triple Roman domination. We consider that any city of the Roman Empire must be able to be defended by at least three legions. These legions should be either in the attacked city or in one of its neighbours. We determine various bounds on the triple Roman domination number for general graphs, and we give exact values for some graph families. Moreover, complexity results are also obtained.
Maximal double Roman domination in graphs
Published in Applied Mathematics and Computation 414 (2022) 126662
• View Publication
• BIB
A maximal double Roman dominating function (MDRDF) on a graph $G=(V,E)$ is a function $f:V(G)\rightarrow \{0,1,2,3\}$ such that \textrm{(i) }every vertex $v$ with $f(v)=0$ is adjacent to least two vertices { assigned $2$ or to at least one vertex assigned $3,$} \textrm{(ii) }every vertex $v$ with $f(v)=1$ is adjacent to at least one { vertex assigned $2$ or $3$} and \textrm{(iii) }the set $\{w\in V|~f(w)=0\}$ is not a dominating set of $G $. The weight of a MDRDF is the sum of its function values over all vertices, and the maximal double Roman domination number $γ_{dR}^{m}(G) $ is the minimum weight of an MDRDF on $G$. {In this paper, we initiate the study of maximal double Roman domination. We first show that the problem of determining }$γ_{dR}^{m}(G)$ {is NP-complete for bipartite, chordal and planar graphs. But it is solvable in linear time for bounded clique-width graphs including trees, cographs and distance-hereditary graphs. Moreover, we establish various relationships relating }$γ_{dR}^{m}(G)$ to some domination parameters. {For the class of trees, we show that for every tree }$T$ {of order }$n\geq 4,$ $γ_{dR}^{m}(T)\leq \frac{5}{4}n$ {and we characterize all trees attaining the bound. Finally, the exact values of }$γ_{dR}^{m}(G) $ {are given for paths and cycles.
On the outer independent total double Roman dominating functions
Published in Mediterranean Journal of Mathematics (2023) 20:171
• View Publication
• BIB
Let $\{0,1,\dots, t\}$ be abbreviated by $[t].$ A double Roman dominating function (DRDF) on a graph $Γ=(V,E)$ is a map $l:V\rightarrow [3]$ satisfying \textrm{(i)} if $l(r)=0$ then there must be at least two neighbors labeled 2 under $l$ or a neighbor $r'$ with $l(r')=3$; and \textrm{(ii)} if $l(r)=1$ then $r$ must be adjacent to a vertex $r'$ such that $l(r')\geq2$. A DRDF is an outer-independent total double Roman dominating function (OITDRDF) on $Γ$ if the set of vertices labeled $0$ induces an edgeless subgraph and the subgraph induced by the vertices with a non-zero label has no isolated vertices. The weight of an OITDRDF is the sum of its map values over all vertices, and the outer independent total Roman dominating number $γ_{tdR}^{oi}(Γ)$ is the minimum weight of an OITDRDF on $Γ$. First, we prove that the problem of determining $γ_{tdR}^{oi}(Γ)$ is NP-complete for bipartite and chordal graphs, after that, we prove that it is solvable in linear time when we are restricting to bounded clique-width graphs. Moreover, we present some tight bounds on $γ_{tdR}^{oi}(Γ)$ as well as the exact values for several graph families.
The $k$-Opt algorithm for the Traveling Salesman Problem has exponential running time for $k \ge 5$
The $k$-Opt algorithm is a local search algorithm for the Traveling Salesman Problem. Starting with an initial tour, it iteratively replaces at most $k$ edges in the tour with the same number of edges to obtain a better tour. Krentel (FOCS 1989) showed that the Traveling Salesman Problem with the $k$-Opt neighborhood is complete for the class PLS (polynomial time local search) and that the $k$-Opt algorithm can have exponential running time for any pivot rule. However, his proof requires $k \gg 1000$ and has a substantial gap. We show the two properties above for a much smaller value of $k$, addressing an open question by Monien, Dumrauf, and Tscheuschner (ICALP 2010). In particular, we prove the PLS-completeness for $k \geq 17$ and the exponential running time for $k \geq 5$.
Hamiltonicity of Sparse Pseudorandom Graphs
Published in Combinator. Probab. Comp. 34 (2025) 596-620
• View Publication
• BIB
We show that every $(n,d,λ)$-graph contains a Hamilton cycle for sufficiently large $n$, assuming that $d\geq \log^{6}n$ and $λ\leq cd$, where $c=\frac{1}{70000}$. This significantly improves a recent result of Glock, Correia and Sudakov, who obtained a similar result for $d$ that grows polynomially with $n$. The proof is based on a new result regarding the second largest eigenvalue of the adjacency matrix of a subgraph induced by a random subset of vertices, combined with a recent result on connecting designated pairs of vertices by vertex-disjoint paths in $(n,d,λ)$-graphs. We believe that the former result is of independent interest and will have further applications.
Canonical labelling of Latin squares in average-case polynomial time
Published
• View Publication
• BIB
A Latin square of order $n$ is an $n\times n$ matrix in which each row and column contains each of $n$ symbols exactly once. For $ε>0$, we show that with high probability a uniformly random Latin square of order $n$ has no proper subsquare of order larger than $n^{1/2}\log^{1/2+ε}n$. Using this fact we present a canonical labelling algorithm for Latin squares of order $n$ that runs in average time bounded by a polynomial in $n$.
The algorithm can be used to solve isomorphism problems for many combinatorial objects that can be encoded using Latin squares, including quasigroups, Steiner triple systems, Mendelsohn triple systems, $1$-factorisations, nets, affine planes and projective planes.
Local $h$-polynomials, uniform triangulations and real-rootedness
Published in Combinatorica 45 (2025), Article no 36, 22pp
• View Publication
• BIB
The local $h$-polynomial was introduced by Stanley as a fundamental enumerative invariant of a triangulation $Δ$ of a simplex. This polynomial is known to have nonnegative and symmetric coefficients and is conjectured to be $γ$-positive when $Δ$ is flag. This paper shows that the local $h$-polynomial has the stronger property of being real-rooted when $Δ$ is the barycentric subdivision of an arbitrary geometric triangulation $Γ$ of the simplex. An analogous result for edgewise subdivisions is proven. The proofs are based on a new combinatorial formula for the local $h$-polynomial of $Δ$, which is valid when $Δ$ is any uniform triangulation of $Γ$. A combinatorial interpretation of the local $h$-polynomial of the second barycentric subdivision of the simplex is deduced.
Mizuno's rank three Nahm sums I: identities of index $(1,1,2)$
Mizuno provided 19 examples of generalized rank three Nahm sums with symmetrizer $\mathrm{diag}(1,1,2)$ which are conjecturally modular. We confirm their modularity by establishing Rogers--Ramanujan type identities of index $(1,1,2)$ for these examples. We first reduce these Nahm sums to some double sums or single sums, and then we use known results or apply the theory of Bailey pairs to prove the desired identities. Meanwhile, we generalize some triple sum identities to general multi-sum identities.
Diameter reduction via arc reversal
The diameter of a directed graph is the maximum distance between any pair of vertices. We study a problem that generalizes \textsc{Oriented Diameter}: For a given directed graph and a positive integer $d$, what is the minimum number of arc reversals required to obtain a graph with diameter at most $d$? We investigate variants of this problem, considering the number of arc reversals and the target diameter as parameters. We show hardness results under certain parameter restrictions, and give polynomial time algorithms for planar and cactus graphs. This work is partly motivated by the relation between oriented diameter and the volume of directed edge polytopes, which we show to be independent.
Spectra of infinite Cayley graphs, examples with pure band spectra
It is shown that there are groups $Γ$ with finite generating sets $S$ such that the adjacency operator of the Cayley graph ${\rm Cay}(Γ,S)$ is a disjoint union of $N$ intervals, for arbitrarily large integers $N$.
Transversal matroids and the half plane property
We focus on checking the validity of the half-plane property on two prominent classes of transversal matroids, namely lattice path matroids and bicircular matroids. We show that lattice path matroids satisfy the half-plane property. Subsequently, we show an explicit example of a bicircular matroid that is not a positroid and discuss the negative correlation properties of bases of transversal matroids. We prove that sparse paving matroids do not satisfy the Rayleigh property, which helps us gain new perspectives about conjectures on negative correlation in basis elements of matroids in general.
Graphs without a 3-connected subgraph are 4-colorable
Published in Electronic Journal of Combinatorics, 32(1):#1.26, 2025
• View Publication
• BIB
In 1972, Mader showed that every graph without a 3-connected subgraph is 4-degenerate and thus 5-colorable}. We show that the number 5 of colors can be replaced by 4, which is best possible.
Dense and nondense limits for uniform random intersection graphs
Published
• View Publication
• BIB
We obtain the scaling limits of random graphs drawn uniformly in three families of intersection graphs: permutation graphs, circle graphs, and unit interval graphs. The two first families typically generate dense graphs, in these cases we prove a.s. convergence to an explicit deterministic graphon. Uniform unit interval graphs are nondense and we prove convergence in the sense of Gromov-Prokhorov after normalization of the distances: the limiting object is the interval $[0,1]$ endowed with a random metric defined through a Brownian excursion. Asymptotic results for the number of cliques of size $k$ ($k$ fixed) in a uniform random graph in each of these three families are also given.
In all three cases, an important ingredient of the proof is that, for indecomposable graphs in each class (where the notion of indecomposability depends on the class), the combinatorial object defining the graph (permutation, matching, or intervals) is essentially unique.
Finding hardness reductions automatically using SAT solvers
In this article, we show that the completion problem, i.e. the decision problem whether a partial structure can be completed to a full structure, is NP-complete for many combinatorial structures. While the gadgets for most reductions in literature are found by hand, we present an algorithm to construct gadgets in a fully automated way. Using our framework which is based on SAT, we present the first thorough study of the completion problem on sign mappings with forbidden substructures by classifying thousands of structures for which the completion problem is NP-complete. Our list in particular includes interior triple systems, which were introduced by Knuth towards an axiomatization of planar point configurations. Last but not least, we give an infinite family of structures generalizing interior triple system to higher dimensions for which the completion problem is NP-complete.
Uniformly sampling random directed hypergraphs with fixed degrees
Published
• View Publication
• BIB
Many complex systems show non-pairwise interactions, which can be captured by hypergraphs. In this work, we propose an edge-swapping method to sample random directed hypergraphs with fixed vertex and hyperarc degrees, which can be applied to different classes of directed hypergraphs (containing self-loops, degenerate hyperarcs and/or multi-hyperarcs). We prove that this method indeed samples uniformly from the classes with self-loops and multi-hyperarcs, and that the method may not sample uniformly from classes without self-loops, or with self-loops and degenerate hyperarcs but without multi-hyperarcs. We present a partial result on the class with self-loops, but without degenerate hyperarcs or multi-hyperarcs.
Flip graphs of coloured triangulations of convex polygons
Published
• View Publication
• BIB
A triangulation of a polygon is a subdivision of it into triangles, using diagonals between its vertices. Two different triangulations of a polygon can be related by a sequence of flips: a flip replaces a diagonal by the unique other diagonal in the quadrilateral it defines. In this paper, we study coloured triangulations and coloured flips. In this more general situation, it is no longer true that any two triangulations can be linked by a sequence of (coloured) flips. In this paper, we study the connected components of the coloured flip graphs of triangulations. The motivation for this is a result of Gravier and Payan proving that the Four-Colour Theorem is equivalent to the connectedness of the flip graph of 2-coloured triangulations.