sequence
6966 papers tagged with this keyword
A Modification of the Random Cutting Model
Published
• View Publication
• BIB
We propose a modification to the random destruction of graphs: Given a finite network with a distinguished set of sources and targets, remove (cut) vertices at random, discarding components that do not contain a source node. We investigate the number of cuts required until all targets are removed, and the size of the remaining graph. This model interpolates between the random cutting model going back to Meir and Moon and site percolation. We prove several general results, including that the size of the remaining graph is a tight family of random variables for compatible sequences of expander-type graphs, and determine limiting distributions for binary caterpillar trees and complete binary trees.
Weak ascent sequences and related combinatorial structures
In this paper we introduce {\em weak ascent sequences}, a class of number sequences that properly contains ascent sequences. We show how these sequences uniquely encode each of the following objects: permutations avoiding a particular length-4 bivincular pattern; upper-triangular binary matrices that satisfy a column-adjacency rule; factorial posets that are weakly (3+1)-free. We also show how weak ascent sequences are related to a class of pattern avoiding inversion sequences that has been a topic of recent research by Auli and Elizalde. Finally, we consider the problem of enumerating these new sequences and give a closed form expression for the number of weak ascent sequences having a prescribed length and number of weak ascents.
Generalized Integer Splines on Arbitrary Graphs
Published
• View Publication
• BIB
Generalized integer splines on a graph $G$ with integer edge weights are integer vertex labelings such that if two vertices share an edge in $G$, the vertex labels are congruent modulo the edge weight. We introduce collapsing operations that reduce any simple graph to a single vertex, carrying with it the edge weight information. This corresponds to a sequence of surjective maps between the associated spline modules, leading to an explicit construction of a module basis in terms of the edge weights.
Shadow sequences of integers, from Fibonacci to Markov and back
Published
• View Publication
• BIB
The following general idea looks crazy. What if another integer sequence follows each integer sequence like a shadow? I will demonstrate that this is indeed the case, perhaps not for every integer sequence, but for many of them.
On a Problem of Steinhaus
Published
• View Publication
• BIB
Let $N$ be a positive integer. A sequence $X=(x_1,x_2,\ldots,x_N)$ of points in the unit interval $[0,1)$ is piercing if $\{x_1,x_2,\ldots,x_n\}\cap \left[\frac{i}{n},\frac{i+1}{n} \right) \neq\emptyset$ holds for every $n=1,2,\ldots, N$ and every $i=0,1,\ldots,n-1$. In 1958 Steinhaus asked whether piercing sequences can be arbitrarily long. A negative answer was provided by Schinzel, who proved that any such sequence may have at most $74$ elements. This was later improved to the best possible value of $17$ by Warmus, and independently by Berlekamp and Graham.
In this paper we study a more general variant of piercing sequences. Let $f(n)\geq n$ be an infinite nondecreasing sequence of positive integers. A sequence $X=(x_1,x_2,\ldots,x_{f(N)})$ is $f$-piercing if $\{x_1,x_2,\ldots,x_{f(n)}\}\cap \left[\frac{i}{n},\frac{i+1}{n} \right) \neq\emptyset$ holds for every $n=1,2,\ldots, N$ and every $i=0,1,\ldots,n-1$. A special case of $f(n)=n+d$, with $d$ a fixed nonnegative integer, was studied by Berlekamp and Graham. They noticed that for each $d\geq 0$, the maximum length of any $(n+d)$-piercing sequence is finite. Expressing this maximum length as $s(d)+d$, they obtained an exponential upper bound on the function $s(d)$, which was later improved to $s(d)=O(d^3)$ by Graham and Levy. Recently, Konyagin proved that $2d\leqslant s(d)< 200d$ holds for all sufficiently big $d$.
Using a different technique based on the Farey fractions and stick-breaking games, we prove here that the function $s(d)$ satisfies $\left\lfloor{}c_1d\right\rfloor{}\leqslant s(d)\leqslant c_2d+o(d)$, where $c_1=\frac{\ln 2}{1-\ln 2}\approx2.25$ and $c_2=\frac{1+\ln2}{1-\ln2}\approx5.52$. We also prove that there exists an infinite $f$-piercing sequence with $f(n)= γn+o(n)$ if and only if $γ\geq\frac{1}{\ln 2}\approx 1.44$.
Recolouring Homomorphisms to triangle-free reflexive graphs
Published in J Algebr Comb, 57, (2022) pp. 53--73
• View Publication
• BIB
For a graph $H$, the $H$-recolouring problem $\operatorname{Recol}(H)$ asks, for two given homomorphisms from a given graph $G$ to $H$, if one can get between them by a sequence of homomorphisms of $G$ to $H$ in which consecutive homomorphisms differ on only one vertex. We show that, if $G$ and $H$ are reflexive and $H$ is triangle-free, then this problem can be solved in polynomial time. This shows, at the same time, that the closely related $H$-reconfiguration problem $\operatorname{Recon}(H)$ of deciding whether two given homomorphisms from a given graph $G$ to $H$ are in the same component of the Hom-graph $\operatorname{Hom}(G,H)$, can be solved in polynomial time for triangle-free reflexive graphs $H$.
Springer Numbers and Arnold Families Revisited
Published
• View Publication
• BIB
For the calculation of Springer numbers (of root systems) of type $B_n$ and $D_n$, Arnold introduced a signed analogue of alternating permutations, called $β_n$-snakes, and derived recurrence relations for enumerating the $β_n$-snakes starting with $k$. The results are presented in the form of double triangular arrays ($v_{n,k}$) of integers, $1\le |k|\le n$. An Arnold family is a sequence of sets of such objects as $β_n$-snakes that are counted by $(v_{n,k})$. As a refinement of Arnold's result, we give analogous arrays of polynomials, defined by recurrence, for the calculation of the polynomials associated with successive derivatives of $\tan x$ and $\sec x$, established by Hoffman. Moreover, we provide some new Arnold families of combinatorial objects that realize the polynomial arrays, which are signed variants of André permutations and Simsun permutations.
Flag Codes: Distance Vectors and Cardinality Bounds
Published
• View Publication
• BIB
Given $\mathbb{F}_q$ the finite field with $q$ elements and an integer $n\geq 2$, a flag is a sequence of nested subspaces of $\mathbb{F}_q^n$ and a flag code is a nonempty set of flags. In this context, the distance between flags is the sum of the corresponding subspace distances. Hence, a given flag distance value might be obtained by many different combinations. To capture such a variability, in the paper at hand, we introduce the notion of distance vector as an algebraic object intrinsically associated to a flag code that encloses much more information than the distance parameter itself. Our study of the flag distance by using this new tool allows us to provide a fine description of the structure of flag codes as well as to derive bounds for their maximum possible size once the minimum distance and dimensions are fixed.
Pattern-avoiding ascent sequences of length 3
Published
• View Publication
• BIB
Pattern-avoiding ascent sequences have recently been related to set-partition problems and stack-sorting problems. While the generating functions for several length-3 pattern-avoiding ascent sequences are known, those avoiding 000, 100, 110, 120 are not known. We have generated extensive series expansions for these four cases, and analysed them in order to conjecture the asymptotic behaviour.
We provide polynomial time algorithms for the 000 and 110 cases, and exponential time algorithms for the 100 and 120 cases. We also describe how the 000 polynomial time algorithm was detected somewhat mechanically given an exponential time algorithm.
For 120-avoiding ascent sequences we find that the generating function has stretched-exponential behaviour and prove that the growth constant is the same as that for 201-avoiding ascent sequences, which is known.
The other three generating functions have zero radius of convergence, which we also prove. For 000-avoiding ascent sequences we give what we believe to be the exact growth constant. We give the conjectured asymptotic behaviour for all four cases.
Revisiting $k$-tuple dominating sets with emphasis on small values of $k$
Published in Bulletin of the Malaysian Mathematical Sciences Society (2022)
• View Publication
• BIB
For any graph $G$ of order $n$ with degree sequence $d_{1}\geq\cdots\geq d_{n}$, we define the double Slater number $s\ell_{\times2}(G)$ as the smallest integer $t$ such that $t+d_{1}+\cdots+d_{t-e}\geq2n-p$ in which $e$ and $p$ are the number of end-vertices and penultimate vertices of $G$, respectively. We show that $γ_{\times2}(G)\geq s\ell_{\times2}(G)$, where $γ_{\times2}(G)$ is the well-known double domination number of a graph $G$ with no isolated vertices. We prove that the problem of deciding whether the equality holds for a given graph is NP-complete even when restricted to $4$-partite graphs. We also prove that the problem of computing $γ_{\times2}(G)$ in NP-hard even for comparability graphs of diameter two. Some results concerning these two parameters are given in this paper improving and generalizing some earlier results on double domination in graphs. We give an upper bound on the $k$-tuple domatic number of graphs with characterization of all graphs attaining the bound. Finally, we characterize the family of all full graphs, leading to a solution to an open problem given in a paper by Cockayne and Hedetniemi ($1977$).
Twin-width VI: the lens of contraction sequences
Published
• View Publication
• BIB
A contraction sequence of a graph consists of iteratively merging two of its vertices until only one vertex remains. The recently introduced twin-width graph invariant is based on contraction sequences. More precisely, if one puts red edges between two vertices representing non-homogeneous subsets, the twin-width is the minimum integer $d$ such that a contraction sequence keeps red degree at most $d$. By changing the condition imposed on the trigraphs (i.e., graphs with some edges being red) and possibly slightly tweaking the notion of contractions, we show how to characterize the well-established bounded rank-width, tree-width, linear rank-width, path-width, and proper minor-closed classes by means of contraction sequences. As an application we give a transparent alternative proof of the celebrated Courcelle's theorem (actually of its generalization by Courcelle, Makowsky, and Rotics), that MSO$_2$ (resp. MSO$_1$) model checking on graphs with bounded tree-width (resp. bounded rank-width) is fixed-parameter tractable in the size of the input sentence.
We then explore new avenues along the general theme of contraction sequences both in order to refine the landscape between bounded tree-width and bounded twin-width (via spanning twin-width) and to capture more general classes than bounded twin-width. To this end, we define an oriented version of twin-width, where appearing red edges are oriented away from the newly contracted vertex, and the mere red out-degree should remain bounded. Surprisingly, classes of bounded oriented twin-width coincide with those of bounded twin-width. Finally we examine, from an algorithmic standpoint, the concept of partial contraction sequences, where, instead of terminating on a single-vertex graph, the sequence ends when reaching a particular target class.
Polyhedral realizations for $B(\infty)$ and extended Young diagrams, Young walls of type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$, ${\rm D}^{(2)}_{n}$
Published
• View Publication
• BIB
The crystal bases are quite useful combinatorial tools to study the representations of quantized universal enveloping algebras $U_q(\mathfrak{g})$. The polyhedral realization for $B(\infty)$ is a combinatorial description of the crystal base, which is defined as an image of embedding $Ψ_ι:B(\infty)\hookrightarrow \mathbb{Z}^{\infty}_ι$, where $ι$ is an infinite sequence of indices and $\mathbb{Z}^{\infty}_ι$ is an infinite $\mathbb{Z}$-lattice with a crystal structure associated with $ι$. It is a natural problem to find an explicit form of the polyhedral realization ${\rm Im}(Ψ_ι)$. In this article, supposing that $\mathfrak{g}$ is of affine type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$ or ${\rm D}^{(2)}_{n}$ and $ι$ satisfies the condition of `adaptedness', we describe ${\rm Im}(Ψ_ι)$ by using several combinatorial objects such as extended Young diagrams and Young walls.
Parametric transformation functions in the Kaprekar routine I
The Kaprekar transformation is uniquely determined by parameters based on differences between symmetric values in the ordered numeric sequence. The parametric analysis of the iteration of the process requires developing Ki functions that provide the parameters of the transformed number. This is the objective of this work. As application examples we use these functions to deduce constants and cycles. But its main utility is to study the algebraic architecture of the transformation trees that we develop in the second part of this work.
On radiuses of convergence of q-metallic numbers and related q-rational numbers
Published in Research in Number Theory, 8(3), Sep, 2022
• View Publication
• BIB
The q-rational numbers and the q-irrational numbers are introduced by S. Morier-Genoud and V. Ovsienko. In this paper, we focus on q-real quadratic irrational numbers, especially q-metallic numbers and q-rational sequences which converge to q-metallic numbers, and consider the radiuses of convergence of them when we assume that q is a complex number. We construct two sequences given by recurrence formula as a generalization of the q-deformation of Fibonacci numbers and Pell numbers which are introduced by S. Morier-Genoud and V. Ovsienko. We give an estimation of radiuses of convergence of them, and we solve on conjecture of the lower bound expected which is introduced by L. Leclere, S. Morier-Genoud, V. Ovsienko, and A. Veselov for the metallic numbers and its convergence rational sequence. In addition, we obtain a relationship between the radius of convergence of the [n,n,...,n,...]_q and [n,n,...,n]_q in the case of n=3 and n=4.
On the Enumeration and Asymptotic Analysis of Fibonacci Compositions
We study Fibonacci compositions, which are compositions of natural numbers that only use Fibonacci numbers, in two different contexts. We first prove inequalities comparing the number of Fibonacci compositions to regular compositions where summands have a maximum possible value. Then, we consider asymptotic properties of Fibonacci compositions, comparing them to compositions whose terms come from positive linear recurrence sequences. Finally, we consider analogues of these results where we do not allow the use of a certain number of consecutive Fibonacci numbers starting from $F_2 = 1$.
Orbit configuration space of standard action and cellular methods of poset
We extend the existing idea of "cellular poset", introduce a collection of "cellular methods" for the computation of homology of intersection lattice of a complicated subspace arrangement, and for the computation of multiplicative structure induced by intersection. As an application, we give a presentation of cohomology ring of orbit configuration space of standard action by cellular methods and a spectral sequence associated with Grothendieck fibration of poset.
On some combinatorial sequences associated to invariant theory
Published in European Journal of Combinatorics (2022)
• View Publication
• BIB
We study the enumerative and analytic properties of some sequences constructed using tensor invariant theory. The octant sequences are constructed from the exceptional Lie group $G_2$ and the quadrant sequences from the special linear group $SL(3)$. In each case we show that the corresponding sequences are related by binomial transforms. The first three octant sequences and the first four quadrant sequences are listed in the On-Line Encyclopedia of Integer Sequences (OEIS). These sequences all have interpretations as enumerating two-dimensional lattice walks but for the octant sequences the boundary conditions are unconventional. These sequences are all P-recursive and we give the corresponding recurrence relations. In all cases the associated differential operators are of third order and have the remarkable property that they can be solved to give closed formulae for the ordinary generating functions in terms of classical Gaussian hypergeometric functions. Moreover, we show that the octant sequences and the quadrant sequences are related by the branching rules for the inclusion of $SL(3)$ in $G_2$.
Universal sequences of lines in $\mathbb R^d$
One of the most important and useful examples in discrete geometry is a finite sequence of points on the moment curve $γ(t)=(t,t^2,t^3,\dots ,t^d)$ or, more generally, on a {\it strictly monotone curve} in $\mathbb R^d$. These sequences as well as the ambient curve itself can be described in terms of {\it universality properties} and we will study the question: "What is a universal sequence of oriented and unoriented lines in $d$-space''
We give partial answers to this question, and to the analogous one for $k$-flats. Given a large integer $n$, it turns out that, like the case of points the number of universal configurations is bounded by a function of $d$, but unlike the case for points, there are a large number of distinct universal finite sequences of lines. We show that their number is at least $2^{d-1}-2$ and at most $(d-1)!$. However, like for points, in all dimensions except $d=4$, there is essentially a unique {\em continuous} example of a universal family of lines. The case $d=4$ is left as an open question.
Monotone edge flips to an orientation of maximum edge-connectivity à la Nash-Williams
Published
• View Publication
• BIB
We initiate the study of $k$-edge-connected orientations of undirected graphs through edge flips for $k \geq 2$. We prove that in every orientation of an undirected $2k$-edge-connected graph, there exists a sequence of edges such that flipping their directions one by one does not decrease the edge-connectivity, and the final orientation is $k$-edge-connected. This yields an ``edge-flip based'' new proof of Nash-Williams' theorem: an undirected graph $G$ has a $k$-edge-connected orientation if and only if $G$ is $2k$-edge-connected. As another consequence of the theorem, we prove that the edge-flip graph of $k$-edge-connected orientations of an undirected graph $G$ is connected if $G$ is $(2k+2)$-edge-connected. This has been known to be true only when $k=1$.
Eventual log-concavity of $k$-rank statistics for integer partitions
Published
• View Publication
• BIB
Let $N_k(m,n)$ denote the number of partitions of $n$ with Garvan $k$-rank $m$. It is well-known that Andrews-Garvan-Dyson's crank and Dyson's rank are the $k$-rank for $k=1$ and $k=2$, respectively. In this paper, we prove that the sequence $\{N_k(m,n)\}_{|m|\le n-k-71}$ is log-concave for all sufficiently large $n$ and each integer $k$. In particular, we partially solve the log-concavity conjecture for Andrews-Garvan-Dyson's crank and Dyson's rank, which was independently proposed by Bringmann-Jennings-Shaffer-Mahlburg and Ji-Zang.