sequence
6845 papers tagged with this keyword
Self-complementary (Pseudo-)Split Graphs
Published
• View Publication
• BIB
We are concerned with split graphs and pseudo-split graphs whose complements are isomorphic to themselves. These special subclasses of self-complementary graphs are actually the core of self-complementary graphs. Indeed, we show that all self-complementary graphs with forcibly self-complementary degree sequences are pseudo-split graphs. We also give formulas to calculate the number of self-complementary (pseudo-)split graphs of a given order, and show that Trotignon's conjecture holds for all self-complementary split graphs.
On the Complexity of Simultaneous Geometric Embedding for Edge-Disjoint Graphs
Simultaneous Geometric Embedding (SGE) asks whether, for a given collection of graphs on the same vertex set V, there is an embedding of V in the plane that admits a crossing-free drawing with straightline edges for each of the given graphs. It is known that SGE is $\exists\mathbb{R}$-complete, that is, the problem is polynomially equivalent to deciding whether a system of polynomial equations and inequalities with integer coefficients has a real solution. We prove that SGE remains $\exists\mathbb{R}$-complete for edge-disjoint input graphs, that is, for collections of graphs without so-called public edges.
As an intermediate result, we prove that it is $\exists\mathbb{R}$-complete to decide whether a directional walk without repeating edges is realizable. Here, a directional walk consists of a sequence of not-necessarily distinct vertices (a walk) and a function prescribing for each inner position whether the walk shall turn left or shall turn right. A directional walk is realizable, if there is an embedding of its vertices in the plane such that the embedded walk turns according to the given directions. Previously it was known that realization is $\exists\mathbb{R}$-complete to decide for directional walks repeating each edge at most 336 times.
This answers two questions posed by Schaefer ["On the Complexity of Some Geometric Problems With Fixed Parameters", JGAA 2021].
The Leaf Function of Penrose P2 Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Discrete Algorithms (September 20, 2025) dmtcs:13662
• View Publication
• BIB
We study a graph-theoretic problem in the Penrose P2-graphs which are the dual graphs of Penrose tilings by kites and darts. Using substitutions, local isomorphism and other properties of Penrose tilings, we construct a family of arbitrarily large induced subtrees of Penrose graphs with the largest possible number of leaves for a given number $n$ of vertices. These subtrees are called fully leafed induced subtrees. We denote their number of leaves $L_{P2}(n)$ for any non-negative integer $n$, and the sequence $\left(L_{P2}(n)\right)_{n\in\mathbb{N}}$ is called the leaf function of Penrose P2-graphs. We present exact and recursive formulae for $L_{P2}(n)$, as well as an infinite sequence of fully leafed induced subtrees, which are caterpillar graphs. In particular, our proof relies on the construction of a finite graded poset of 3-internal-regular subtrees.
Linear independence of series related to the Thue--Morse sequence along powers
Published
• View Publication
• BIB
The Thue--Morse sequence $\{t(n)\}_{n\geqslant 1}$ is the indicator function of the parity of the number of ones in the binary expansion of positive integers $n$, where $t(n)=1$ (resp. $=0$) if the binary expansion of $n$ has an odd (resp. even) number of ones. In this paper, we generalize a recent result of E.~Miyanohara by showing that, for a fixed Pisot or Salem number $β>\sqrt{\varphi}=1.272019649\ldots$, the set of the numbers $$ 1,\quad \sum_{n\geqslant 1}\frac{t(n)}{β^{n}},\quad \sum_{n\geqslant 1}\frac{t(n^2)}{β^{n}},\quad \dots, \quad \sum_{n\geqslant 1}\frac{t(n^k)}{β^{n}},\quad \dots $$ is linearly independent over the field $\mathbb{Q}(β)$, where $\varphi:=(1+\sqrt{5})/2$ is the golden ratio. Our result implies that for any $k\geqslant 1$ and for any $a_1,a_2,\ldots,a_k\in\mathbb{Q}(β)$, not all zero, the sequence \{$a_1t(n)+a_2t(n^2)+\cdots+a_kt(n^k)\}_{n\geqslant 1}$ cannot be eventually periodic.
Extremal results on degree powers in some classes of graphs
Let $G$ be a simple graph of order $n$ with degree sequence $(d_1,d_2,\cdots,d_n)$. For an integer $p>1$, let $e_p(G)=\sum_{i=1}^n d^{p}_i$ and let $ex_p(n,H)$ be the maximum value of $e_p(G)$ among all graphs with $n$ vertices that do not contain $H$ as a subgraph (known as $H$-free graphs). Caro and Yuster proposed the problem of determining the exact value of $ex_2(n,C_4)$, where $C_4$ is the cycle of length $4$. In this paper, we show that if $G$ is a $C_4$-free graph having $n\geq 4$ vertices and $m\leq \lfloor 3(n-1)/2\rfloor$ edges and no isolated vertices, then $e_p(G)\leq e_p(F_n)$, with equality if and only if $G$ is the friendship graph $F_n$. This yields that for $n\geq 4$, $ex_p(n,\mathcal{C}^*)=e_p(F_n)$ and $F_n$ is the unique extremal graph, which is an improved complement of Caro and Yuster's result on $ex_p(n,\mathcal{C}^*)$, where $\mathcal{C}^*$ denotes the family of cycles of even lengths. We also determine the maximum value of $e_p(\cdot)$ among all minimally $t$-(edge)-connected graphs with small $t$ or among all $k$-degenerate graphs, and characterize the corresponding extremal graphs. A key tool in our approach is majorization.
On sporadic sequences
Published in Monatshefte für Mathematik 205 (2024), no. 2, 217-234
• View Publication
• BIB
In this note, we prove the last remaining case of the original 15 two-term supercongruence conjectures for sporadic sequences. The proof utilizes a new representation for this sequence (due to Gorodetsky) as the constant term of powers of a Laurent polynomial.
Asymptotics for partitions over the Fibonacci numbers and related sequences
Published
• View Publication
• BIB
In this paper, harkening back to ideas of Hardy and Ramanujan, Mahler and de Bruijn, with the addition of more recent results on the Fibonacci Dirichlet series, we determine the asymptotic number of ways $p_F(n)$ to write an integer as the sum of non-distinct Fibonacci numbers. This appears to be the first such asymptotic result concerning non-distinct partitions over Fibonacci numbers. As well, under weak conditions, we prove analogous results for a general linear recurrences.
Screw discrete dynamical systems and their applications to exact slow NIM
Published
• View Publication
• BIB
Given integers $n,k,\ell$ such that $0<k<n, \; 1<\ell$ and an integer vector $x = (x_1,\ldots,x_n)$; denote by $m = m(x)$ the number of entries of $x$ that are multiple of $\ell$. Choose $n-k$ entries of $x$ as follows: if $n-k \leq m(x)$, take $n-k$ smallest entries of $x$ multiple of $\ell$; if $n-k > m(x)$, take all $m$ such entries, if any, and add remaining $n-k-m$ entries arbitrarily, for example, take the largest ones. In one step, the chosen $n-k$ entries (bears) keep their values, while the remaining $k$ (bulls) are reduced by 1. Repeat such steps getting the sequence $S = S(n,k,\ell,x^0) = (x^0 \to x^1 \to \ldots \to x^j \to \ldots)$. It is ``quasi-periodic". More precisely, there is a function $N = N(n,k,\ell,x^0)$ such that for all $j \geq N$ we have $m(x^j) \geq n-k$ and $range(x^j) \leq \ell$, where $range(x) = (\max(x_i \mid i \in [n]) - \min(x_i \mid i \in [n])$. Furthermore, $N$ is a polynomial in $n,k,\ell,$ and $range(x^0)$ and can be computed in time linear in $n,k,\ell$, and $\log(1 + range(x^0))$. After $N$ steps, the system moves ``like a screw". Assuming that $x_1 \leq \dots \leq x_n$, introduce the cyclical order on $[n] = \{1, \ldots, n\}$ considering 1 and $n$ as neighbors. Then, bears and bulls partition $[n]$ into two intervals, rotating by the angle $2 πk /n$ with every $\ell$ steps. Furthermore, after every $p = \ell n / GCD(n,k) = \ell LCM(n,k) / k$ steps all entries of $x$ are reduced by the same value $δ= pk/n$, that is, $x_i^{j+p} - x_i^j = δ$ for all $i \in [n]$ and $j \geq N$. We provide an algorithm computing $N$ (and $x^j$) in time linear in $n,k,\ell, \log(1 + range(x^0))$ (and $\log (1+j)$). In case $k=n-1$ and $\ell = 2$ such screw dynamical system are applicable to impartial games.
A note on forcing triples with no forcing pairs
Chung, Graham and Wilson defined a set of graphs $\mathcal{H}$ to be forcing, if any sequence of graphs $\{G_n\}_{n \geq 0}$ with $|G_n| = n$ must be quasirandom, whenever $hom(H, G_n)= (p^{|E(H)|}+o(1))n^{|V(H)|}$ for every $H \in \mathcal{H}$ and some constant $p \in (0, 1)$. Answering a question of Horn, attributed to Graham, a forcing set of three graphs is constructed such that no two of the three graphs are forcing as a pair.
Bijection between positive clusters and projectively signed exceptional sequences
Published in Communications in Algebra (2024)
• View Publication
• BIB
In 2017, Igusa and Todorov gave a bijection between signed exceptional sequences and ordered partial clusters. In this paper, we show that every term in an exceptional sequence is either relatively projective or relatively injective or both and we refine this bijection to one between projectively signed exceptional sequences and ordered partial positive clusters. We also give a characterization of relatively projective/injective objects in terms of supports of the objects in the exceptional sequence.
Everything is possible: constructing spectrahedra with prescribed facial dimensions
Given any finite set of nonnegative integers, there exists a closed convex set whose facial dimension signature coincides with this set of integers, that is, the dimensions of its nonempty faces comprise exactly this set of integers. In this work, we show that such sets can be realised as solution sets of systems of finitely many convex quadratic inequalities, and hence are representable via second-order cone programming problems, and are, in particular, spectrahedral. It also follows that these sets are facially exposed, in contrast to earlier constructions. We obtain a lower bound on the minimum number of convex quadratic inequalities needed to represent a closed convex set with prescribed facial dimension signature, and show that our bound is tight for some special cases. Finally, we relate the question of finding efficient representations with indecomposability of integer sequences and other topics, and discuss a substantial number of open questions.
Parking on trees with a (random) given degree sequence and the Frozen configuration model
Consider a rooted tree on the top of which we let cars arrive on its vertices. Each car tries to park on its arriving vertex but if it is already occupied, it drives towards the root of the tree and parks as soon as possible. In this article, we establish a natural coupling between the parking process on trees with prescribed degrees and an oriented configuration model. As a consequence, we recover the location of the phase transition for parking on critical Bienaymé--Galton--Watson trees already proven by Curien and Hénard, and Contat.
Coxeter interchange graphs
Published in Ann. Comb. (2025)
• View Publication
• BIB
Brualdi and Li introduced tournament interchange graphs. In such a graph, each vertex represents a tournament. Traversing an edge corresponds to reversing a cyclically directed triangle. Such a triangle is neutral, in that its reversal does not affect the score sequence. An interchange graph encodes the combinatorics of the set of tournaments with a given score sequence, or equivalently, of a given fiber of the classical permutahedron from discrete geometry.
Coxeter tournaments were introduced by the first author and Sanchez, in relation to the Coxeter permutahedra in Ardila, Castillo, Eur and Postnikov. Coxeter tournaments have collaborative and solitaire games, in addition to the usual competitive games in classical tournaments.
We introduce Coxeter interchange graphs. These graphs are more intricate, as there are multiple neutral structures at play, which interact with one another. Our main result shows that the Coxeter interchange graphs are regular, and we describe the degree geometrically, in terms of distances in the Coxeter permutahedra. We also characterize the set of score sequences of Coxeter tournaments, generalizing a classical result of Landau.
A Turing Incomputable Coloring Function
This paper describes a sequence of natural numbers that grows faster than any Turing computable function. This sequence is generated from a version of the tiling problem, called a coloring system. In our proof that generates the sequence, we use the notions of a chain and an unbounded sequence property, which resemble the methods of point set topology. From this sequence, we define a Turing incomputable coloring function.
Predicting Horizontal Gene Transfers with Perfect Transfer Networks
Horizontal gene transfer inference approaches are usually based on gene sequences: parametric methods search for patterns that deviate from a particular genomic signature, while phylogenetic methods use sequences to reconstruct the gene and species trees. However, it is well-known that sequences have difficulty identifying ancient transfers since mutations have enough time to erase all evidence of such events. In this work, we ask whether character-based methods can predict gene transfers. Their advantage over sequences is that homologous genes can have low DNA similarity, but still have retained enough important common motifs that allow them to have common character traits, for instance the same functional or expression profile. A phylogeny that has two separate clades that acquired the same character independently might indicate the presence of a transfer even in the absence of sequence similarity. We introduce perfect transfer networks, which are phylogenetic networks that can explain the character diversity of a set of taxa under the assumption that characters have unique births, and that once a character is gained it is rarely lost. Examples of such traits include transposable elements, biochemical markers and emergence of organelles, just to name a few. We study the differences between our model and two similar models: perfect phylogenetic networks and ancestral recombination networks. Our goals are to initiate a study on the structural and algorithmic properties of perfect transfer networks. We then show that in polynomial time, one can decide whether a given network is a valid explanation for a set of taxa, and show how, for a given tree, one can add transfer edges to it so that it explains a set of taxa. We finally provide lower and upper bounds on the number of transfers required to explain a set of taxa, in the worst case.
Vertex and edge orbits in nut graphs
A nut graph is a simple graph for which the adjacency matrix has a single zero eigenvalue such that all non-zero kernel eigenvectors have no zero entry. If the isolated vertex is excluded as trivial, nut graphs have seven or more vertices; they are connected, non-bipartite, and have no leaves. It is shown that a nut graph $G$ always has at least one more edge orbit than it has vertex orbits: $o_e(G) \geq o_v(G) + 1$, with the obvious corollary that edge transitive nut graphs do not exist. We give infinite familes of vertex-transitive nut graphs with two orbits of edges, and infinite families of nut graphs with two orbits of vertices and three of edges. Several constructions for nut graphs from smaller starting graphs are known: double subdivision of a bridge, four-fold subdivision of an edge, a construction for extrusion of a vertex with preservation of the degree sequence. To these we add multiplier constructions that yield nut graphs from regular (not necessarily nut graph) parents. In general, constructions can have different effects on automorphism group and counts of vertex and edge orbits, but in the case where the automorphism group is `preserved', they can be used in a predictable way to control vertex and edge orbit numbers.
An algebraic combinatorial approach to Sylvester's denumerant
For a positive integer sequence $\boldsymbol{a}=(a_1, \dots, a_{N+1})$, Sylvester's denumerant $E(\boldsymbol{a}; t)$ counts the number of nonnegative integer solutions to $\sum_{i=1}^{N+1} a_i x_i = t$ for a nonnegative integer $t$. It has been extensively studied and a well-known result asserts that $E(\boldsymbol{a}; t)$ is a quasi-polynomial in $t$ of degree $N$. A milestone is Baldoni et al.'s polynomial algorithm in 2015 for computing the top $k$ coefficients when $k$ is fixed. Their development uses heavily lattice point counting theory in computational geometry. In this paper, we explain their work in the context of algebraic combinatorics and simplify their computation. Our work is based on constant term method, Barvinok's unimodular cone decomposition, and recent results on fast computation of generalized Todd polynomials. We develop the algorithm \texttt{CT-Knapsack}, together with an implementation in \texttt{Maple}. Our algorithm avoids plenty of repeated computations and is hence faster.
On tournament inversion
An {\it inversion} of a tournament $T$ is obtained by reversing the direction of all edges with both endpoints in some set of vertices. Let ${\rm inv}_k(T)$ be the minimum length of a sequence of inversions using sets of size at most $k$ that result in the transitive tournament. Let ${\rm inv}_k(n)$ be the maximum of ${\rm inv}_k(T)$ taken over $n$-vertex tournaments. It is well-known that ${\rm inv}_2(n)=(1+o(1))n^2/4$ and it was recently proved by Alon et al. that ${\rm inv}(n):={\rm inv}_{n}(n)=n(1+o(1))$. In these two extreme cases ($k=2$ and $k=n$), random tournaments are asymptotically extremal objects. It is proved that the random tournament {\em does not} asymptotically attain ${\rm inv}_k(n)$ when $k \ge k_0$ and conjectured that ${\rm inv}_3(n)$ is (only) attained by (quasi) random tournaments. It is further proved that $(1+o(1)){\rm inv}_3(n)/n^2 \in [\frac{1}{12}, 0.0992)$ and $(1+o(1)){\rm inv}_k(n)/n^2 \in [\frac{1}{2k(k-1)}+δ_k, \frac{1}{2 \lfloor k^2/2 \rfloor}-ε_k]$ where $ε_k > 0$ for all $k \ge 3$ and $δ_k > 0$ for all $k \ge k_0$.
The reachability homology of a directed graph
Published in International Mathematics Research Notices, 2025(3):1-18, 2025
• Search Publication
The last decade has seen the development of path homology and magnitude homology -- two homology theories of directed graphs, each satisfying classic properties such as Kunneth and Mayer-Vietoris theorems. Recent work of Asao has shown that magnitude homology and path homology are related, appearing in different pages of a certain spectral sequence. Here we study the target of that spectral sequence, which we call reachability homology. We prove that it satisfies appropriate homotopy invariance, Kunneth, excision, and Mayer-Vietoris theorems, these all being stronger than the corresponding properties for either magnitude or path homology.
Dense, irregular, yet always graphic $3$-uniform hypergraph degree sequences
A $3$-uniform hypergraph is a generalization of simple graphs where each hyperedge is a subset of vertices of size $3$. The degree of a vertex in a hypergraph is the number of hyperedges incident with it. The degree sequence of a hypergraph is the sequence of the degrees of its vertices. The degree sequence problem for $3$-uniform hypergraphs is to decide if a $3$-uniform hypergraph exists with a prescribed degree sequence. Such a hypergraph is called a realization. Recently, Deza \emph{et al.} proved that the degree sequence problem for $3$-uniform hypergraphs is NP-complete. Some special cases are easy; however, polynomial algorithms have been known so far only for some very restricted degree sequences. The main result of our research is the following. If all degrees are between $\frac{2n^2}{63}+O(n)$ and $\frac{5n^2}{63}-O(n)$ in a degree sequence $D$, further, the number of vertices is at least $45$, and the degree sum can be divided by $3$, then $D$ has a $3$-uniform hypergraph realization. Our proof is constructive and in fact, it constructs a hypergraph realization in polynomial time for any degree sequence satisfying the properties mentioned above. To our knowledge, this is the first polynomial running time algorithm to construct a $3$-uniform hypergraph realization of a highly irregular and dense degree sequence.