sequence
6966 papers tagged with this keyword
Shortest Dominating Set Reconfiguration under Token Sliding
In this paper, we present novel algorithms that efficiently compute a shortest reconfiguration sequence between two given dominating sets in trees and interval graphs under the Token Sliding model. In this problem, a graph is provided along with its two dominating sets, which can be imagined as tokens placed on vertices. The objective is to find a shortest sequence of dominating sets that transforms one set into the other, with each set in the sequence resulting from sliding a single token in the previous set. While identifying any sequence has been well studied, our work presents the first polynomial algorithms for this optimization variant in the context of dominating sets.
Examples and counterexamples in Ehrhart theory
Published
• View Publication
• BIB
This article provides a comprehensive exposition about inequalities that the coefficients of Ehrhart polynomials and $h^*$-polynomials satisfy under various assumptions. We pay particular attention to the properties of Ehrhart positivity as well as unimodality, log-concavity and real-rootedness for $h^*$-polynomials.
We survey inequalities that arise when the polytope has different normality properties. We include statements previously unknown in the Ehrhart theory setting, as well as some original contributions in this topic. We address numerous variations of the conjecture asserting that IDP polytopes have a unimodal $h^*$-polynomial, and construct concrete examples that show that these variations of the conjecture are false. Explicit emphasis is put on polytopes arising within algebraic combinatorics.
Furthermore, we describe and construct polytopes having pathological properties on their Ehrhart coefficients and roots, and we indicate for the first time a connection between the notions of Ehrhart positivity and $h^*$-real-rootedness. We investigate the log-concavity of the sequence of evaluations of an Ehrhart polynomial at the non-negative integers. We conjecture that IDP polytopes have a log-concave Ehrhart series. Many additional problems and challenges are proposed.
How long can $k$-Göbel sequences remain integers?
Published
• View Publication
• BIB
Inspired by Episode 3 of the Japanese manga "Seisu-tan" by Doom Kobayashi and Shin-ichiro Seki, we investigate the $k$-Göbel sequence $(g_{k,n})_n$ named after Fritz Göbel. Although the sequence is generally defined as rational, quite a few initial terms behave like an integer sequence. This article addresses a question raised in Seisu-tan and shows that $g_{k,n}$ is always an integer for any $k \geq 2$ and $0 \leq n \leq 18$.
A note on Borsuk's problem in Minkowski spaces
Published in Doklady Mathematics, 2024, Vol. 109, No. 1, pp. 80--83
• View Publication
• BIB
In 1993, Kahn and Kalai famously constructed a sequence of finite sets in $d$-dimensional Euclidean spaces that cannot be partitioned into less than $(1.203\ldots+o(1))^{\sqrt{d}}$ parts of smaller diameter. Their method works not only for the Euclidean, but for all $\ell_p$-spaces as well. In this short note, we observe that the larger the value of $p$, the stronger this construction becomes.
Monochromatic Sums and Products over $\mathbb{Q}$
Hindman's finite sums theorem states that in any finite coloring of the naturals, there is an infinite sequence all of whose finite subset sums are the same color. In 1979, Hindman showed that there is a finite coloring of the naturals so that no infinite sequence has all of its pairwise sums and pairwise products the same color. Hindman conjectured that for any $n$, a finite coloring of the naturals contains $n$ numbers all of whose subset sums and subset products are the same color. In this paper we prove the version of this statement where we color the rationals instead of the integers. In other words, we show that the pattern $\{ \sum_{i \in S}x_i, \prod_{i \in S}x_i \}$, where $S$ ranges over all nonempty subsets of $[n]$, is partition regular over the rationals.
MaxCut in graphs with sparse neighborhoods
Published
• View Publication
• BIB
Let $G$ be a graph with $m$ edges and let $\mathrm{mc}(G)$ denote the size of a largest cut of $G$. The difference $\mathrm{mc}(G)-m/2$ is called the surplus $\mathrm{sp}(G)$ of $G$. A fundamental problem in MaxCut is to determine $\mathrm{sp}(G)$ for $G$ without specific structure, and the degree sequence $d_1,\ldots,d_n$ of $G$ plays a key role in getting lower bounds of $\mathrm{sp}(G)$. A classical example, given by Shearer, is that $\mathrm{sp}(G)=Ω(\sum_{i=1}^n\sqrt d_i)$ for triangle-free graphs $G$, implying that $\mathrm{sp}(G)=Ω(m^{3/4})$. It was extended to graphs with sparse neighborhoods by Alon, Krivelevich and Sudakov. In this paper, we establish a novel and stronger result for a more general family of graphs with sparse neighborhoods.
Our result can derive many well-known bounds on surplus of $H$-free graphs for different $H$, such as triangles, even cycles, graphs having a vertex whose removal makes them acyclic, or complete bipartite graphs $K_{s,t}$ with $s\in \{2,3\}$. It can also deduce many new (tight) bounds on $\mathrm{sp}(G)$ in $H$-free graphs $G$ when $H$ is any graph having a vertex whose removal results in a bipartite graph with relatively small Turán number, especially the even wheel. This contributes to a conjecture raised by Alon, Krivelevich and Sudakov. Moreover, we obtain new families of graphs $H$ such that $\mathrm{sp}(G)=Ω(m^{3/4+ε(H)})$ for some constant $ε(H)>0$ in $H$-free graphs $G$, giving evidences to a conjecture suggested by Alon, Bollobás, Krivelevich and Sudakov.
The sequence of higher order Mersenne numbers and associated binomial transforms
In this article, we introduce and study a new integer sequence referred to as the higher order Mersenne sequence. The proposed sequence is analogous to the higher order Fibonacci numbers and closely associated with the Mersenne numbers. Here, we discuss various algebraic properties such as Binet's formula, Catalan's identity, d'Ocagne's identity, generating functions, finite and binomial sums, etc. of this new sequence, and some inter-relations with Mersenne and Jacobsthal numbers. Moreover, we study the sequence generated from the binomial transforms of the higher order Mersenne numbers and present the recurrence relation and algebraic properties of them. Lastly, we give matrix generators and tridiagonal matrix representation for higher order Mersenne numbers.
Sequences Derived from The Symmetric Powers of $\{1,2,\ldots,k\}$
Published in Journal of Integer Sequences, Vol. 26 (2023), Article 23.7.5
• Search Publication
For a fixed integer $k$, we define a sequence $A_k=(a_k(n))_{n\geq0}$ and a corresponding sparse subsequence $S_k$ using the cardinality of the $n$-th symmetric power of the set $\{1,2,\ldots, k\}$. For $k\in\{2,\dots,8\}$, we find recursive formulas for $S_k$, and show that the values $a_{k}(0)$, $a_{k}(1)$, and $a_{k}(3)$ are sufficient for constructing $A_{k}$.
Minimum Separator Reconfiguration
Published
• View Publication
• BIB
We study the problem of reconfiguring one minimum $s$-$t$-separator $A$ into another minimum $s$-$t$-separator $B$ in some $n$-vertex graph $G$ containing two non-adjacent vertices $s$ and $t$. We consider several variants of the problem as we focus on both the token sliding and token jumping models. Our first contribution is a polynomial-time algorithm that computes (if one exists) a minimum-length sequence of slides transforming $A$ into $B$. We additionally establish that the existence of a sequence of jumps (which need not be of minimum length) can be decided in polynomial time (by an algorithm that also outputs a witnessing sequence when one exists). In contrast, and somewhat surprisingly, we show that deciding if a sequence of at most $\ell$ jumps can transform $A$ into $B$ is an $\textsf{NP}$-complete problem. To complement this negative result, we investigate the parameterized complexity of what we believe to be the two most natural parameterized counterparts of the latter problem; in particular, we study the problem of computing a minimum-length sequence of jumps when parameterized by the size $k$ of the minimum \stseps and when parameterized by the number of jumps $\ell$. For the first parameterization, we show that the problem is fixed-parameter tractable, but does not admit a polynomial kernel unless $\textsf{NP} \subseteq \textsf{coNP/poly}$. We complete the picture by designing a kernel with $\mathcal{O}(\ell^2)$ vertices and edges for the length $\ell$ of the sequence as a parameter.
On arithmetic sums of Cantor-type sequences of integers
We are looking for integer sets that resemble classical Cantor set and investigate the structure of their sum sets. Especially we investigate $FS(B)$ the subset sum of sequence type $B=\{\lfloor p^nα\rfloor\}^\infty_{n=0}$. When $p=2$, then we prove $FS(B)+FS(B)=\N$ by analogy with the Cantor set, and some structure theorem for $p>2$
Universal lower bound for community structure of sparse graphs
We prove new lower bounds on the modularity of graphs. Specifically, the modularity of a graph $G$ with average degree $\bar d$ is $Ω(\bar{d}^{-1/2})$, under some mild assumptions on the degree sequence of $G$. The lower bound $Ω(\bar{d}^{-1/2})$ applies, for instance, to graphs with a power-law degree sequence or a near-regular degree sequence.
It has been suggested that the relatively high modularity of the Erdős-Rényi random graph $G_{n,p}$ stems from the random fluctuations in its edge distribution, however our results imply high modularity for any graph with a degree sequence matching that typically found in $G_{n,p}$.
The proof of the new lower bound relies on certain weight-balanced bisections with few cross-edges, which build on ideas of Alon [Combinatorics, Probability and Computing (1997)] and may be of independent interest.
Whitney Twins, Whitney Duals, and Operadic Partition Posets
We say that a pair of nonnegative integer sequences $(\{a_k\}_{k\geq 0},\{b_k\}_{k\geq 0})$ is Whitney-realizable if there exists a poset $P$ for which (the absolute values) of the Whitney numbers of the first and second kind are given by the numbers $a_k$ and $b_k$ respectively. The pair is said to be Whitney-dualizable if, in addition, there exists another poset $Q$ for which their Whitney numbers of the first and second kind are instead given by $b_k$ and $a_k$ respectively. In this case, we say that $P$ and $Q$ are Whitney duals. We use results on Whitney duality, recently developed by the first two authors, to exhibit a family of sequences which allows for multiple realizations and Whitney-dual realizations. More precisely, we study edge labelings for the families of posets of pointed partitions $Π_n^{\bullet}$ and weighted partitions $Π_n^{w}$ which are associated to the operads $\mathcal{P}erm$ and $\mathcal{C}om^2$ respectively. The first author and Wachs proved that these two families of posets share the same pair of Whitney numbers. We find EW-labelings for $Π_n^{\bullet}$ and $Π_n^{w}$ and use them to show that they also share multiple nonisomorphic Whitney dual posets.
In addition to EW-labelings, we also find two new EL-labelings for $Π_n^\bullet$ answering a question of Chapoton and Vallette. Using these EL-labelings of $Π_n^\bullet$, and an EL-labeling of $Π_n^w$ introduced by the first author and Wachs, we give combinatorial descriptions of bases for the operads $\mathcal{P}re\mathcal{L}ie, \mathcal{P}erm,$ and $\mathcal{C}om^2$. We also show that the bases for $\mathcal{P}erm$ and $\mathcal{C}om^2$ are PBW bases.
Exhaustive Generation of Linear Orthogonal Cellular Automata
We consider the problem of exhaustively visiting all pairs of linear cellular automata which give rise to orthogonal Latin squares, i.e., linear Orthogonal Cellular Automata (OCA). The problem is equivalent to enumerating all pairs of coprime polynomials over a finite field having the same degree and a nonzero constant term. While previous research showed how to count all such pairs for a given degree and order of the finite field, no practical enumeration algorithms have been proposed so far. Here, we start closing this gap by addressing the case of polynomials defined over the field $\F_2$, which corresponds to binary CA. In particular, we exploit Benjamin and Bennett's bijection between coprime and non-coprime pairs of polynomials, which enables us to organize our study along three subproblems, namely the enumeration and count of: (1) sequences of constant terms, (2) sequences of degrees, and (3) sequences of intermediate terms. In the course of this investigation, we unveil interesting connections with algebraic language theory and combinatorics, obtaining an enumeration algorithm and an alternative derivation of the counting formula for this problem.
(k-2)-linear connected components in hypergraphs of rank k
Published
• View Publication
• BIB
We define a $q$-linear path in a hypergraph $H$ as a sequence $(e_1,\ldots,e_L)$ of edges of $H$ such that $|e_i \cap e_{i+1}| \in [\![1,q]\!]$ and $e_i \cap e_j=\varnothing$ if $|i-j|>1$. In this paper, we study the connected components associated to these paths when $q=k-2$ where $k$ is the rank of $H$. If $k=3$ then $q=1$ which coincides with the well-known notion of linear path or loose path. We describe the structure of the connected components, using an algorithmic proof which shows that the connected components can be computed in polynomial time. We then mention two consequences of our algorithmic result. The first one is that deciding the winner of the Maker-Breaker game on a hypergraph of rank 3 can be done in polynomial time. The second one is that tractable cases for the NP-complete problem of "Paths Avoiding Forbidden Pairs" in a graph can be deduced from the recognition of a special type of line graph of a hypergraph.
Induced subgraphs density. IV. New graphs with the Erdős-Hajnal property
Erdős and Hajnal conjectured that for every graph $H$, there exists $c>0$ such that every $H$-free graph $G$ has a clique or a stable set of size at least $|G|^c$ (a graph is $H$-free if it has no induced subgraph isomorphic to $H$). Alon, Pach, and Solymosi reduced the Erdős-Hajnal conjecture to the case when $H$ is {\em prime} (that is, $H$ cannot be obtained by vertex-substitution from smaller graphs); but until now, it was not shown for any prime graph with more than five vertices.
We will provide infinitely many prime graphs that satisfy the conjecture. Let $H$ be a graph with the property that for every prime induced subgraph $G'$ with $|G'|\ge 3$, $G'$ has a vertex of degree one and a vertex of degree $|G'|-2$. We will prove that every graph $H$ with this property satisfies the Erdős-Hajnal conjecture, and infinitely many graphs with this property are prime. More generally, say a graph is {\em buildable} if every prime induced subgraph with at least three vertices has a vertex of degree one. We prove that if $H_1$ and $\overline{H_2}$ are buildable, there exists $c>0$ such that every graph $G$ that is both $H_1$-free and $H_2$-free has a clique or a stable set of size at least $|G|^c$.
Our proof uses a new technique of ``iterative sparsification'', where we pass to a sequence of successively more restricted induced subgraphs. This approach also extends to ordered graphs and to tournaments. For ordered graphs, we obtain a theorem which significantly extends a recent result of Pach and Tomon about excluding monotone paths; and for tournaments, we obtain infinitely many new prime tournaments that satisfy the Erdős-Hajnal conjecture (in tournament form).
Log-concavity for unimodal sequences
Published
• View Publication
• BIB
In this paper, we prove that the number of unimodal sequences of size $n$ is log-concave. These are coefficients of a mixed false modular form and have a Rademacher-type exact formula due to recent work of the second author and Nazaroglu on false theta functions. Log-concavity and higher Turán inequalities have been well-studied for (restricted) partitions and coefficients of weakly holomorphic modular forms, and analytic proofs generally require precise asymptotic series with error term. In this paper, we proceed from the exact formula for unimodal sequences to carry out this calculation. We expect our method applies to other exact formulas for coefficients of mixed mock/false modular objects.
Words fixing the kernel network and maximum independent sets in graphs
The simple greedy algorithm to find a maximal independent set of a graph can be viewed as a sequential update of a Boolean network, where the update function at each vertex is the conjunction of all the negated variables in its neighbourhood. In general, the convergence of the so-called kernel network is complex. A word (sequence of vertices) fixes the kernel network if applying the updates sequentially according to that word. We prove that determining whether a word fixes the kernel network is coNP-complete. We also consider the so-called permis, which are permutation words that fix the kernel network. We exhibit large classes of graphs that have a permis, but we also construct many graphs without a permis.
Twin-width of graphs on surfaces
Twin-width is a width parameter introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS'20, JACM'22], which has many structural and algorithmic applications. We prove that the twin-width of every graph embeddable in a surface of Euler genus $g$ is $18\sqrt{47g}+O(1)$, which is asymptotically best possible as it asymptotically differs from the lower bound by a constant multiplicative factor. Our proof also yields a quadratic time algorithm to find a corresponding contraction sequence. To prove the upper bound on twin-width of graphs embeddable in surfaces, we provide a stronger version of the Product Structure Theorem for graphs of Euler genus $g$ that asserts that every such graph is a subgraph of the strong product of a path and a graph with a tree-decomposition with all bags of size at most eight with a single exceptional bag of size $\max\{8,32g-27\}$.
The tree-child network problem for line trees and the shortest common supersequences for permutations
Published
• View Publication
• BIB
One strategy for reconstruction of phylogenetic networks is to solve the phylogenetic network problem, which involves inferring phylogenetic trees first and subsequently computing the smallest phylogenetic network that displays all the trees. This approach capitalizes on exceptional tools available for inferring phylogenetic trees from biomolecular sequences. Since the vast space of phylogenetic networks poses difficulties in obtaining comprehensive sampling, the researchers switch their attention to inferring tree-child networks from multiple phylogenetic trees, where in a tree-child network each non-leaf node must have at least one child that is an indegree-one node.
Two results are obtained: (1) The tree-child network inference problem for multiple line trees remains NP-hard by a reduction from the shortest common supersequence problem for permutations and proving that the latter is NP-hard. (2) The tree-child networks with the least reticulate nodes that display all the line trees are the same as that display all the binary trees, whose hybridization number is $Θ(n^3)$ for $n (> 7)$ taxa.
Off-Diagonal Commonality of Graphs via Entropy
Published
• View Publication
• BIB
A graph $H$ is common if the limit as $n\to\infty$ of the minimum density of monochromatic labelled copies of $H$ in an edge colouring of $K_n$ with red and blue is attained by a sequence of quasirandom colourings. We apply an information-theoretic approach to show that certain graphs obtained from odd cycles and paths via gluing operations are common. In fact, for every pair $(H_1,H_2)$ of such graphs, there exists $p\in(0,1)$ such that an appropriate linear combination of red copies of $H_1$ and blue copies of $H_2$ is minimized by a quasirandom colouring in which $p\binom{n}{2}$ edges are red; such a pair $(H_1,H_2)$ is said to be $(p,1-p)$-common. Our approach exploits a strengthening of the common graph property for odd cycles that was recently proved using Schur convexity. We also exhibit a $(p,1-p)$-common pair $(H_1,H_2)$ such that $H_2$ is uncommon.