sequence
6845 papers tagged with this keyword
Reconfiguration of colorings in triangulations of the sphere
In 1973, Fisk proved that any $4$-coloring of a $3$-colorable triangulation of the $2$-sphere can be obtained from any $3$-coloring by a sequence of Kempe-changes. On the other hand, in the case where we are only allowed to recolor a single vertex in each step, which is a special case of a Kempe-change, there exists a $4$-coloring that cannot be obtained from any $3$-coloring. In this paper, we present a characterization of a $4$-coloring of a $3$-colorable triangulation of the $2$-sphere that can be obtained from a $3$-coloring by a sequence of recoloring operations at single vertices, and a criterion for a $3$-colorable triangulation of the $2$-sphere that all $4$-colorings can be obtained from a $3$-coloring by such a sequence. Moreover, our first result can be generalized to a high-dimensional case, in which ``$4$-coloring,'' ``$3$-colorable,'' and ``$2$-sphere'' above are replaced with ``$k$-coloring,'' ``$(k-1)$-colorable,'' and ``$(k-2)$-sphere'' for $k \geq 4$, respectively. In addition, we show that the problem of deciding whether, for given two $(k+1)$-colorings, one can be obtained from the other by such a sequence is PSPACE-complete for any fixed $k \geq 4$. Our results above can be rephrased as new results on the computational problems named {\sc $k$-Recoloring} and {\sc Connectedness of $k$-Coloring Reconfiguration Graph}, which are fundamental problems in the field of combinatorial reconfiguration.
On the smallest gap in a sequence with Poisson pair correlations
Published in Combinator. Probab. Comp. 34 (2025) 283-297
• View Publication
• BIB
We prove that any increasing sequence of real numbers with average gap $1$ and Poisson pair correlations has some gap that is at least $3/2+10^{-9}$. This improves upon a result of Aistleitner, Blomer, and Radziwill.
A bijection between rooted planar maps and generalized fighting fish
The class of fighting fish is a recently introduced model of branching surfaces generalizing parallelogram polyominoes. We can alternatively see them as gluings of cells, walks on the square lattice confined to the quadrant or shuffle of Dyck words. With these different points of view, we introduce a natural extension of fighting fish that we call \emph{generalized fighting fish}. We show that generalized fighting fish are exactly the Mullin codes of rooted planar maps endowed with their unique rightmost depth-first search spanning tree, also known as Lehman-Lenormand code. In particular, this correspondence gives a bijection between fighting fish and nonseparable rooted planar maps, enriching the garden of bijections between classes of objects enumerated by the sequence $\frac{2}{(n+1)(2n+1)} \binom{3n}{n}$.
Circular Costas maps: a multidimensional analog of circular Costas sequences
Published
• View Publication
• BIB
A unifying theoretical framework is presented, in which the connections among Costas sequences, circular Costas sequences, Costas polynomials, the shifting property, and Welch sequences are extended to the multidimensional context. Several conjectures on multidimensional periodic Costas arrays by J. Ortiz-Ubarri et al. are proved. Furthermore, a conjecture on Costas polynomials over extension fields presented by Muratovic-Ribic et al. is showed to be a multidimensional extension of a conjecture by Golomb and Moreno on circular Costas sequences. A weaker version of said conjecture is proved by considering a multidimensional extension of the shifting Costas property defined by O. Moreno.
Additive and multiplicative Gower's Ramsey theorem
W. T. Gower generalized Hindman's Finite sum theorem over $X_{k}=\left\{ \left(n_{1},n_{2},\ldots,n_{k}\right):n_{1}\neq0\right\} $ by showing that for any finite coloring of $X_{k}$ there exists a sequence such that the Gower subspace generated by that sequence is monochromatic. For $k=1,$ this immediately gives the finite sum theorem. In this article we will show that for any finite coloring of $X_{k}$ there exist two sequences $\left\{ \mathbf{n_{i}}:i\in I\right\} $ and $\left\{ \mathbf{m_{i}}:i\in I\right\} $ such that the Gower subspace generated by $\left\{ \mathbf{n_{i}}:i\in I\right\} $ and set of all finite products of $\left\{ \mathbf{m_{i}}:i\in I\right\} $ are in a single color. This immediately generalize a result of V. Bergelson and N. Hindman which says that for any finite coloring of $\mathbb{N}$, there exist two sequences $\left(x_{n}\right)_{n}$ and $\left(y_{n}\right)_{n}$ such that the finite sum and product generated by $\left(x_{n}\right)_{n}$ and $\left(y_{n}\right)_{n}$ are in a same color.
On the existence of tripartite graphs and n-partite graphs
Published
• View Publication
• BIB
The degree sequence of a graph is the sequence of the degrees of its vertices. If $π$ is a degree sequence of a graph $G$, then $G$ is a realization of $π$ and $G$ realizes $π$. Determining when a sequence of positive integers is realizable as a degree sequence of a simple graph has received much attention. One of the early results, by Erdös and Gallai, characterized degree sequences of graphs. The result was strengthened by Hakimi and Havel. Another generalization is derived by Cai et al. Hoogeveen and Sierksma listed seven criteria and gave a uniform proof. In addition, Gale and Ryser independently established a characterization by using network flows. We extend Gale and Ryser's results from bipartite graphs to tripartite graphs and even $n$-partite graphs. As corollaries, we give a necessary condition and a sufficient condition for the triple $(σ_1, σ_2, σ_3)$ to be realizable by a tripartite graph, where $σ_1$, $σ_2$ and $σ_3$ are all non-increasing sequences of nonnegative integers. We also give a stronger necessary condition for $(σ_1, σ_2, σ_3)$ to be realizable by a tripartite graph.
Composite Ramsey theorems via trees
We prove a theorem ensuring that the compositions of certain Ramsey families are still Ramsey. As an application, we show that in any finite coloring of $\mathbb{N}$ there is an infinite set $A$ and an as large as desired finite set $B$ with $(A+B)\cup (AB)$ monochromatic, answering a question from a recent paper of Kra, Moreira, Richter, and Robertson. In fact, we prove an iterated version of this result that also generalizes a Ramsey theorem of Bergelson and Moreira that was previously only known to hold for fields. Our main new technique is an extension of the color focusing method that involves trees rather than sequences.
On a variant of Flory model
We consider a one-dimensional variant of a recently introduced settlement planning problem in which houses can be built on finite portions of the rectangular integer lattice subject to certain requirements on the amount of insolation they receive. In our model, each house occupies a unit square on a $1 \times n$ strip, with the restriction that at least one of the neighboring squares must be free. We are interested mostly in situations in which no further building is possible, i.e. in maximal configurations of houses in the strip. We reinterpret the problem as a problem of restricted packing of vertices in a path graph and then apply the transfer matrix method in order to compute the bivariate generating functions for the sequences enumerating all maximal configurations of a given length with respect to the number of houses. This allows us to determine the asymptotic behavior of the enumerating sequences and to compute some interesting statistics. Along the way, we establish close connections between our maximal configurations and several other types of combinatorial objects, including restricted permutations and walks on certain small oriented graphs. In all cases we provide combinatorial proofs. We then generalize our results in several directions by considering multi-story houses, by varying the insolation restrictions, and, finally, by considering strips of width 2 and 3. At the end we comment on several possible directions of future research.
Direction-Critical Configurations in Noncentral General Position
In 1982, Ungar proved that the connecting lines of a set of $n$ noncollinear points in the plane determine at least $2\lfloor n/2 \rfloor$ directions (slopes). Sets achieving this minimum for $n$ odd (even) are called \emph{direction-(near)-critical} and their full classification is still open. To date, there are four known infinite families and over 100 sporadic critical configurations. Jamison conjectured that any direction-critical configuration with at least 50 points belongs to those four infinite families. Interestingly, except for a handful of sporadic configurations, all these configurations are centrally symmetric. We prove Jamison's conjecture, and extend it to the near-critical case, for centrally symmetric configurations in \emph{noncentral general position}, where only the connecting lines through the center of symmetry may pass through more than two points. As in Ungar's proof, our results are proved in the more general setting of \emph{allowable sequences}. We show that, up to equivalence, the \emph{central signature} of a set uniquely determines a centrally symmetric direction-(near)-critical allowable sequence in noncentral general position, and classify such allowable sequences that are geometrically realizable.
The appearance function for paper-folding words
We provide a complete characterisation of the appearance function for paper-folding sequences for factors of any length. We make use of the software package {\tt Walnut} to establish these results.
Groups having 12 cyclic subgroups
Published
• View Publication
• BIB
A finite group is said to be $n$-cyclic if it contains $n$ cyclic subgroups. For a finite group $G$, the ratio of the number of cyclic subgroups to the number of subgroups is known as the cyclicity degree of the group $G$ and is denoted by $cdeg (G)$. In this paper, we classify all $12$-cyclic groups. We also prove that the set of cyclicity degrees for all the finite groups is dense in $[0,1]$, which gives a solution to the problem asked by Tărnăuceanu and Tóth in [20] "For every $a\in [0, 1]$, does there exist a sequence $(G_n)$ of finite groups such that $\lim_{n\to\infty} cdeg(G_n)=a$ "?
The sequence reconstruction problem for permutations with the Hamming distance
Published
• View Publication
• BIB
V. Levenshtein first proposed the sequence reconstruction problem in 2001. This problem studies the model where the same sequence from some set is transmitted over multiple channels, and the decoder receives the different outputs. Assume that the transmitted sequence is at distance $d$ from some code and there are at most $r$ errors in every channel. Then the sequence reconstruction problem is to find the minimum number of channels required to recover exactly the transmitted sequence that has to be greater than the maximum intersection between two metric balls of radius $r$, where the distance between their centers is at least $d$. In this paper, we study the sequence reconstruction problem of permutations under the Hamming distance. In this model we define a Cayley graph over the symmetric group, study its properties and find the exact value of the largest intersection of its two metric balls for $d=2r$. Moreover, we give a lower bound on the largest intersection of two metric balls for $d=2r-1$.
Identities and periodic oscillations of divide-and-conquer recurrences splitting at half
Published
• View Publication
• BIB
We study divide-and-conquer recurrences of the form \begin{equation*}
f(n)
= αf(\lfloor \tfrac n2\rfloor)
+ βf(\lceil \tfrac n2\rceil)
+ g(n) \qquad(n\ge2), \end{equation*} with $g(n)$ and $f(1)$ given, where $α,β\ge0$ with $α+β>0$; such recurrences appear often in analysis of computer algorithms, numeration systems, combinatorial sequences, and related areas. We show that the solution satisfies always the simple \emph{identity} \begin{equation*}
f(n)
= n^{\log_2(α+β)} P(\log_2n) - Q(n) \end{equation*} under an optimum (iff) condition on $g(n)$. This form is not only an identity but also an asymptotic expansion because $Q(n)$ is of a smaller order. Explicit forms for the \emph{continuity} of the periodic function $P$ are provided, together with a few other smoothness properties. We show how our results can be easily applied to many dozens of concrete examples collected from the literature, and how they can be extended in various directions. Our method of proof is surprisingly simple and elementary, but leads to the strongest types of results for all examples to which our theory applies.
Limits of action convergent graph sequences with unbounded $(p,q)$-norms
The recently developed notion of action convergence by Backhausz and Szegedy unifies and generalises the dense (graphon) and local-global (graphing) convergences of graph sequences. This is done through viewing graphs as operators and examining their dynamical properties. Suppose $(A_n)_n^\infty$ is a sequence of operators representing graphs, Cauchy with respect to the action metric. If $(A_n)_n^\infty$ has uniformly bounded $(p,q)$-norms where $(p,q)$ is any pair in $[1,\infty)\times(1,\infty)$, then Backhausz and Szegedy prove that $(A_n)_n^\infty$ has a limit operator which, moreover, must be self-adjoint and positivity-preserving. In the present work, we construct a large class of graph sequences whose only uniformly bounded $(p,q)$-norm is the $(\infty,1)$-norm, but which converge nonetheless. We show that the limit operators in this case are not unique, not self-adjoint, and need not be positivity-preserving. In particular, in the action convergence language, this means that the space of graphops is not compact. By identifying these multiple limits, we also demonstrate that $c$-regularity is not invariant under weak equivalence, where $c$ is the eigenvalue of the identity function, when the identity function is an eigenfunction.
Symmetric generating functions and Euler-Stirling statistics on permutations
Published
• View Publication
• BIB
We present (bi-)symmetric generating functions for the joint distributions of Euler-Stirling statistics on permutations, including the number of descents ($\mathsf{des}$), inverse descents ($\mathsf{ides}$), the number of left-to-right maxima ($\mathsf{lmax}$), the number of right-to-left maxima ($\mathsf{rmax}$) and the number of left-to-right minima ($\mathsf{lmin}$). We also show how they recover the classical symmetric generating function of permutations due to Carlitz, Roselle and Scoville (1966).
Our proofs exploit three different recursive constructions of inversion sequences, bijections on the multiple equidistributions of Euler-Stirling statistics over permutations and transformation formulas of basic hypergeometric series. Furthermore, we establish a new quadruple equidistribution of Euler-Stirling statistics over inversion sequences, as progress towards a conjecture proposed by Schlosser and the author (2020).
Recurrence algorithms of waiting time for the success run of length $k$ in relation to generalized Fibonacci sequences
Let $V(k)$ denote the waiting time, the number of trials needed to get a consecutive $k$ ones. We propose recurrence algorithms for the probability distribution function (pdf) and the probability generating function (pgf) of $V(k)$ in sequences of independent and Markov dependent Bernoulli trials using generalized Fibonacci sequences of order $k$. Maximum likelihood estimation (MLE) methods for the probability distributions are presented in both cases with simulation examples.
Algebraic and arithmetic properties of the cogrowth sequence of nilpotent groups
We prove that congruences of the cogrowth sequence in a unitriangular group UT$(m, \Bbb Z)$ are undecidable. This is in contrast with abelian groups, where the congruences of the cogrowth sequence are decidable. As an application, we conclude that there is no algorithm to present the cogrowth series as the diagonal of a rational function.
Log-concavity of level Hilbert functions and pure $O$-sequences
Published in J. Commut. Algebra 16 (2024), no. 2, 245--256
• View Publication
• BIB
We investigate log-concavity in the context of level Hilbert functions and pure $O$-sequences, two classes of numerical sequences introduced by Stanley in the late Seventies whose structural properties have since been the object of a remarkable amount of interest in combinatorial commutative algebra. However, a systematic study of the log-concavity of these sequences began only recently, thanks to a paper by Iarrobino.
The goal of this note is to address two general questions left open by Iarrobino's work: 1) Given the integer pair $(r,t)$, are all level Hilbert functions of codimension $r$ and type $t$ log-concave? 2) How about pure $O$-sequences with the same parameters?
Iarrobino's main results consisted of a positive answer to 1) for $r=2$ and any $t$, and for $(r,t)=(3,1)$. Further, he proved that the answer to 1) is negative for $(r,t)=(4,1)$.
Our chief contribution to 1) is to provide a negative answer in all remaining cases, with the exception of $(r,t)=(3,2)$, which is still open in any characteristic. We then propose a few detailed conjectures specifically on level Hilbert functions of codimension 3 and type 2.
As for question 2), we show that the answer is positive for all pairs $(r,1)$; negative for $(r,t)=(3,4)$; and negative for any pair $(r,t)$ with $r\ge 4$ and $2\le t\le r+1$. Interestingly, the main case that remains open is again $(r,t)=(3,2)$. Further, we conjecture that, in analogy with the behavior of arbitrary level Hilbert functions, log-concavity fails for pure $O$-sequences of any codimension $r\ge 3$ and type $t$ large enough.
Twin-width of Planar Graphs is at most 8, and some Related Bounds
Twin-width is a structural width parameter introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS 2020], and has interesting applications in the areas of logic on graphs and in parameterized algorithmics. Very briefly, the essence of twin-width is in a gradual reduction (a contraction sequence) of the given graph down to a single vertex while maintaining limited difference of neighbourhoods of the vertices, and it can be seen as widely generalizing several other traditional structural parameters. While for many natural graph classes it is known that their twin-width is bounded, published upper bounds on the twin-width in non-trivial cases are very often "astronomically large".
We focus on planar graphs, which are known to have bounded twin-width already since the introduction of it, but it took some time for the first explicit "non-astronomical" upper bounds to come. Namely, in the order of preprint appearance, it was the bound of at most 183 by Jacob and Pilipczuk [arXiv, January 2022], and 583 by Bonnet, Kwon and Wood [arXiv, February 2022]. Subsequent arXiv manuscripts in 2022 improved the bound down to 37 (Bekos et al.), 11 and 9 (both by Hliněný). We further elaborate on the approach used in the latter manuscripts, proving that the twin-width of every planar graph is at most 8, and construct a witnessing contraction sequence in linear time. Note that the currently best lower-bound planar example is of twin-width 7, by Král and Lamaison [arXiv, September 2022]. We also prove small explicit upper bounds on the twin-width of bipartite planar and 1-planar graphs (6 and 16), and of map graphs (38). The common denominator of all these results is the use of a novel specially crafted recursive decomposition of planar graphs, which may be found useful also in other areas.
Enumerating moves in the optimal solution of the Tower of Hanoi
In the Tower of Hanoi problem, there is six types of moves between the three pegs. The main purpose of the present paper is to find out the number of each of these six elementary moves in the optimal sequence of moves. We present a recursive function based on indicator functions, which counts the number of each elementary move, we investigate some of its properties including combinatorial identities, recursive formulas and generating functions. Also we found and interesting sequence that is strongly related to counting each type of these elementary moves that we'll establish some if its properties as well.