sequence
6966 papers tagged with this keyword
The Minimality of the Georges-Kelmans Graph
Published
• View Publication
• BIB
In 1971, Tutte wrote in an article that "it is tempting to conjecture that every 3-connected bipartite cubic graph is hamiltonian". Motivated by this remark, Horton constructed a counterexample on 96 vertices. In a sequence of articles by different authors several smaller counterexamples were presented. The smallest of these graphs is a graph on 50 vertices which was discovered independently by Georges and Kelmans. In this article we show that there is no smaller counterexample. As all non-hamiltonian 3-connected bipartite cubic graphs in the literature have cyclic 4-cuts -- even if they have girth 6 -- it is natural to ask whether this is a necessary prerequisite. In this article we answer this question in the negative and give a construction of an infinite family of non-hamiltonian cyclically 5-connected bipartite cubic graphs.
In 1969, Barnette gave a weaker version of the conjecture stating that 3-connected planar bipartite cubic graphs are hamiltonian. We show that Barnette's conjecture is true up to at least 90 vertices. We also report that a search of small non-hamiltonian 3-connected bipartite cubic graphs did not find any with genus less than 4.
Sidon sets for linear forms
Published in Journal of Number Theory 239 (2022), 207--227
• View Publication
• BIB
Let $\varphi(x_1,\ldots, x_h) = c_1 x_1 + \cdots + c_h x_h $ be a linear form with coefficients in a field $\mathbf{F}$, and let $V$ be a vector space over $\mathbf{F}$. A nonempty subset $A$ of $V$ is a $\varphi$-Sidon set if, for all $h$-tuples $(a_1,\ldots, a_h) \in A^h$ and $ (a'_1,\ldots, a'_h) \in A^h$, the relation $\varphi(a_1,\ldots, a_h) = \varphi(a'_1,\ldots, a'_h)$ implies $(a_1,\ldots, a_h) = (a'_1,\ldots, a'_h)$. There exist infinite Sidon sets for the linear form $\varphi$ if and only if the set of coefficients of $\varphi$ has distinct subset sums. In a normed vector space with $\varphi$-Sidon sets, every infinite sequence of vectors is asymptotic to a $\varphi$-Sidon set of vectors. Results on $p$-adic perturbations of $\varphi$-Sidon sets of integers and bounds on the growth of $\varphi$-Sidon sets of integers are also obtained.
Recurrence Ranks and Moment Sequences
Published
• View Publication
• BIB
We introduce the "moment rank" and "unitary rank" of numerical sequences, close relatives of linear-recursive order. We show that both parameters can be characterized by a broad set of criteria involving moments of measures, types of recurrence relations, Hankel matrix factorizations, Waring rank, analytic properties of generating functions, and algebraic properties of polynomial ideals. In the process, we solve the "complex finite-atomic" and "integral finite-atomic" moment problems: which sequences arise as the moments of a finite-atomic complex-/integer-valued measures on $\mathbb{C}$?
String of columns rewriting and confluence of the jeu de taquin
Schützenberger's jeu de taquin is an algorithm on the structure of tableaux, which transforms a skew tableau into a Young one by local transformation rules on the columns of the tableaux. This algorithm defines an equivalence relation on tableaux compatible with the plactic congruence, and gives a proof of the Littlewood-Richardson rule on Schur polynomials. In this article, we introduce the notion of string of columns rewriting system as mechanism of transformations of glued sequences of columns. We describe the execution of the jeu de taquin algorithm as rewriting paths of a string of columns rewriting. We deduce algebraic properties on the plastic congruence and we relate the jeu de taquin to insertion algorithms on tableaux.
Elliptic solutions of dynamical Lucas sequences
Published
• View Publication
• BIB
We study two types of dynamical extensions of Lucas sequences and give elliptic solutions for them. The first type concerns a level-dependent (or discrete time-dependent) version involving commuting variables. We show that a nice solution for this system is given by elliptic numbers. The second type involves a non-commutative version of Lucas sequences which defines the non-commutative (or abstract) Fibonacci polynomials introduced by Johann Cigler. If the non-commuting variables are specialized to be elliptic-commuting variables the abstract Fibonacci polynomials become non-commutative elliptic Fibonacci polynomials. Some properties we derive for these include their explicit expansion in terms of normalized monomials and a non-commutative elliptic Euler--Cassini identity.
Symmetric Fibonaccian distributive lattices and representations of the special linear Lie algebras
Published in Involve 16 (2023) 201-226
• View Publication
• BIB
We present a family of rank symmetric diamond-colored distributive lattices that are naturally related to the Fibonacci sequence and certain of its generalizations. These lattices re-interpret and unify descriptions of some un- or differently-colored lattices found variously in the literature. We demonstrate that our symmetric Fibonaccian lattices naturally realize certain (often reducible) representations of the special linear Lie algebras, with weight basis vectors realized as lattice elements and Lie algebra generators acting along the covering digraph edges of each lattice. We present evidence that each such weight basis possesses certain distinctive extremal properties. We provide new descriptions of the lattice cardinalities and rank generating functions and offer several conjectures/open problems. Throughout, we make connections with integer sequences from the OEIS.
Sign-alternating Gibonacci polynomials
Published
• View Publication
• BIB
We consider various properties and manifestations of some sign-alternating univariate polynomials borne of right-triangular integer arrays related to certain generalizations of the Fibonacci sequence. Using a theory of the root geometry of polynomial sequences developed by J. L. Gross, T. Mansour, T. W. Tucker, and D. G. L. Wang, we show that the roots of these `sign-alternating Gibonacci polynomials' are real and distinct, and we obtain explicit bounds on these roots. We also derive Binet-type closed expressions for the polynomials. Some of these results are applied to resolve finiteness questions pertaining to a one-player combinatorial game (or puzzle) modelled after a well-known puzzle we call the `Networked-numbers Game.' Elsewhere, the first- and second-named authors, in collaboration with A. Nance, have found rank symmetric `diamond-colored' distributive lattices naturally related to certain representations of the special linear Lie algebras. Those lattice cardinalities can be computed using sign-alternating Fibonacci polynomials, and the lattice rank generating functions correspond to the rows of some new and easily defined triangular integer arrays. Here, we present Gibonaccian, and in particular Lucasian, versions of those symmetric Fibonaccian lattices/results, but without the algebraic context of the latter.
The structure of generic automorphisms of the random poset
We examine properties of generic automorphisms of the random poset, with the goal of explicitly characterizing them. We associate to each automorphism an auxiliary first-order structure, consisting of the random poset equipped with an infinite sequence of binary relations which encode the action of the automorphism. We then explicitly characterize generic automorphisms in terms of properties of this structure. Two notable such properties are ultrahomogeneity, and universality for a certain class of finite structures in this language. As this auxiliary structure seems to be new, we also address some model-theoretic questions. In particular, this structure fails to be saturated, and its theory neither is $ω$-categorical nor admits quantifier-elimination, in contrast to many known ultrahomogeneous structures in finite languages. We also examine orbitals -- order-convex hulls of orbits -- and their use in describing automorphisms. In particular, we introduce and use new orders on the space of orbitals.
Maximal discrete sets
Published in Set Theory and Infinity, RIMS Kôkyûroku No.2164, 2019
• Search Publication
We survey results regarding the definability and size of maximal discrete sets in analytic hypergraphs. Our main examples include maximal almost disjoint (or mad) families, $\mathcal I$-mad families, maximal eventually different families, and maximal cofinitary groups. We discuss the non-increasing sequence of cardinal characteristics $\mathfrak a_ξ$, for $ξ<ω_1$ as well as the notions of spectra of characteristics and optimal projective witnesses. We give an account of Zhang's forcing to add generic cofinitary permutations, and of a version of this forcing with built-in coding.
On the growth of the wallpaper groups
Published
• View Publication
• BIB
We develop further Cannon's method of cone types for finding the growth function of a group, which can also be used to find the coordination sequences of certain infinite graphs. We then apply this method to compute the growth functions and series of the wallpaper groups (the 2 dimensional crystallographic groups). The paper has a number of illustrating colored figures and tables summarizing the results.
The combinatorial equivalence of a computability theoretic question
We show that a question of Miller and Solomon -- that whether there exists a coloring $c:d^{<ω}\rightarrow k$ that does not admit a $c$-computable variable word infinite solution, is equivalent to a natural, nontrivial combinatorial question. The combinatorial question asked whether there is an infinite sequence of integers such that each of its initial segment satisfies a Ramsian type property. This is the first computability theoretic question known to be equivalent to a natural, nontrivial question that does not concern complexity notions. It turns out that the negation of the combinatorial question is a generalization of Hales-Jewett theorem. We solve some special cases of the combinatorial question and obtain a generalization of Hales-Jewett theorem on some particular parameters.
On the Conditions of Absorption Property for Morphological Opening and Closing
This paper aims to establish the theoretical foundation for shift inclusion in mathematical morphology. In this paper, we prove that the morphological opening and closing concerning structuring elements of shift inclusion property would preserve the ordering of images, while this property is important in granulometric analysis and related image processing tasks. Furthermore, we proposed a systematic way, called the decomposition theorem for shift inclusion, to construct sequences of structuring elements with shift inclusion property. Moreover, the influences of the image domain are discussed and the condition named weak shift inclusion is defined, which is proved as an equivalent condition for ensuring the order-preserving property.
Tropical Clemens-Schmid sequence and existence of tropical cycles with a given cohomology class
This is a sequel to our work in tropical Hodge theory. Our aim here is to prove a tropical analogue of the Clemens-Schmid exact sequence in asymptotic Hodge theory. As an application of this result, we prove the tropical Hodge conjecture for smooth projective tropical varieties which are rationally triangulable. This provides a partial answer to a question of Kontsevich who suggested the validity of the tropical Hodge conjecture could be used as a test for the validity of the Hodge conjecture.
The Characterization of Finite Elasticities
Published
• View Publication
• BIB
Our motivating goal is factorization in Krull Domains $H$ with finitely generated class group $G$. The elasticity $ρ(H)$ is the maximal number of atoms in any re-factorization of a product of $k$ atoms. The elasticities are the same as those of a combinatorial monoid of zero-sum sequences $B(G_0)$, where $G_0\subseteq G$ are the classes with height one primes. We characterize when finite elasticity holds for any Krull Domain with finitely generated class group. Our results are valid for the more general class of Transfer Krull Monoids (over a subset $G_0$ of a finitely generated abelian group $G$). We show there is a minimal $s\leq (d+1)m$, where $d$ is the torsion free rank and $m$ is the torsion exponent, such that $ρ_s(H)<\infty$ implies $ρ_k(H)<\infty$ for all $k\geq 1$. This ensures $ρ(H)<\infty$ if and only if $ρ_{(d+1)m}(H)<\infty$. Our characterization is in terms of a simple combinatorial obstruction to infinite elasticity: there existing a subset $G_0^\diamond\subseteq G_0$ and bound $N$ such that there are no nontrivial zero-sum sequences with terms from $G_0^\diamond$, and every minimal zero-sum sequence has at most $N$ terms from $G_0\setminus G_0^\diamond$. We give an explicit description of $G_0^\diamond$ in terms of the Convex Geometry of $G_0$ modulo the torsion subgroup $G_T\leq G$, and show finite elasticity is equivalent to there being no positive linear combination of the elements of this explicitly defined subset equal to $0$ modulo $G_T$. We use our results to show finite elasticity implies the set of distances $Δ(H)$, the catenary degree $\mathsf c(H)$ (for Krull Monoids) and a weakened tame degree (for Krull Monoids) are all also finite, and that the Structure Theorem for Unions holds. Our results for factorization in Transfer Krull Monoids are accomplished by developing an extensive theory in Convex Geometry generalizing positive bases.
A triangle process on regular graphs
Published
• View Publication
• BIB
Switches are operations which make local changes to the edges of a graph, usually with the aim of preserving the vertex degrees. We study a restricted set of switches, called triangle switches. Each triangle switch creates or deletes at least one triangle. Triangle switches can be used to define Markov chains which generate graphs with a given degree sequence and with many more triangles (3-cycles) than is typical in a uniformly random graph with the same degrees. We show that the set of triangle switches connects the set of all $d$-regular graphs on $n$ vertices, for all $d\geq 3$. Hence, any Markov chain which assigns positive probability to all triangle switches is irreducible on these graphs. We also investigate this question for 2-regular graphs.
Derangements and Continued Fractions for $e$
Published
• View Publication
• BIB
Several continued fraction expansions for $e$ have been produced by an automated conjecture generator (ACG) called \emph{The Ramanujan Machine}. Some of these were already known, some have recently been proved and some remain unproven. While an ACG can produce interesting putative results, it gives very limited insight into their significance. In this paper, we derive an elegant continued fraction expansion, equivalent to a result from the Ramanujan Machine, using the sequence of ratios of factorials to subfactorials or derangement numbers.
Discrete Mathematics
The purpose of the present work is to provide short and supple teaching notes for a $30$ hours introductory course on elementary \textit{Enumerative Algebraic Combinatorics}. We fully adopt the \textit{Rota way}. The themes are organized into a suitable sequence that allows us to derive any result from the preceding ones by elementary processes. Definitions of \textit{combinatorial coefficients} are just by their \textit{combinatorial meaning}. The derivation techniques of formulae/results are founded upon constructions and two general and elementary principles/methods:
- The \textit{bad element} method (for \textit{recursive} formulae). As the reader should recognize, the bad element method might be regarded as a combinatorial companion of the idea of \textit{conditional probability}.
- The \textit{overcounting} principle (for \textit{close form} formulae).
Therefore, \textit{no computation} is required in \textit{proofs}: \textit{computation formulae are byproducts of combinatorial constructions}. We tried to provide a self-contained presentation: the only prerequisite is standard high school mathematics. We limited ourselves to the \textit{combinatorial point of view}: we invite the reader to draw the (obvious) \textit{probabilistic interpretations}.
Recoloring graphs of treewidth 2
Published
• View Publication
• BIB
Two (proper) colorings of a graph are adjacent if they differ on exactly one vertex. Jerrum proved that any $(d + 2)$-coloring of any d-degenerate graph can be transformed into any other via a sequence of adjacent colorings. A result of Bonamy et al. ensures that a shortest transformation can have a quadratic length even for $d = 1$. Bousquet and Perarnau proved that a linear transformation exists for between $(2d + 2)$-colorings. It is open to determine if this bound can be reduced. In this note, we prove that it can be reduced for graphs of treewidth 2, which are 2-degenerate. There exists a linear transformation between 5-colorings. It completes the picture for graphs of treewidth 2 since there exist graphs of treewidth 2 such a linear transformation between 4-colorings does not exist.
On Grundy and b-chromatic number of some families of graphs: a comparative study
Published in Graphs and Combinatorics 37, 605--620 (2021)
• View Publication
• BIB
The Grundy and the {\rm b}-chromatic number of graphs are two important chromatic parameters. The Grundy number of a graph $G$, denoted by $Γ(G)$ is the worst case behavior of greedy (First-Fit) coloring procedure for $G$ and the {\rm b}-chromatic number ${\rm{b}}(G)$ is the maximum number of colors used in any color-dominating coloring of $G$. Because the nature of these colorings are different they have been studied widely but separately in the literature. This paper presents a comparative study of these coloring parameters. There exists a sequence $\{G_n\}_{n\geq 1}$ with limited {\rm b}-chromatic number but $Γ(G_n)\rightarrow \infty$. We obtain families of graphs $\mathcal{F}$ such that for some adequate function $f(.)$, $Γ(G)\leq f({\rm{b}}(G))$, for each graph $G$ from the family. This verifies a previous conjecture for these families.
K-core in percolated dense graph sequences
Published
• View Publication
• BIB
We determine the size of $k$-core in a large class of dense graph sequences. Let $G_n$ be a sequence of undirected, $n$-vertex graphs with edge weights $\{a^n_{i,j}\}_{i,j \in [n]}$ that converges to a kernel $W:[0,1]^2\to [0,+\infty)$ in the cut metric. Keeping an edge $(i,j)$ of $G_n$ with probability $\min \{ {a^n_{i,j}}/{n},1 \}$ independently, we obtain a sequence of random graphs $G_n(\frac{1}{n})$. Denote by $\mathcal{A}$ the property of a branching process that the initial particle has at least $k$ children, each of which has at least $k-1$ children, each of which has at least $k-1$ children, and so on. Using branching process and the theory of dense graph limits, under mild assumptions we obtain the size of $k$-core of random graphs $G_n(\frac{1}{n})$, \begin{align*} \text{size of $k$-core of } G_n\left(\frac{1}{n}\right) =n \mathbb{P}_{X^W}\left(\mathcal{A}\right) +o_p(n). \end{align*} Our result can also be used to obtain the threshold of appearance of a $k$-core of order $n$.