sequence
6845 papers tagged with this keyword
On the structure of spikes
Published
• View Publication
• BIB
Spikes are an important class of 3-connected matroids. For an integer $r\geq 3$, there is a unique binary r-spike denoted by $Z_{r}$. When a circuit-hyperplane of $Z_{r}$ is relaxed, we obtain another spike and repeating this procedure will produce other non-binary spikes. The $es$-splitting operation on a binary spike of rank $r$, may not yield a spike. In this paper, we give a necessary and sufficient condition for the $es$-splitting operation to construct $Z_{r+1}$ directly from $Z_{r}$. Indeed, all binary spikes and many of non-binary spikes of each rank can be derived from the spike $Z_{3}$ by a sequence of The $es$-splitting operations and circuit-hyperplane relaxations.
A tangent method derivation of the arctic curve for q-weighted paths with arbitrary starting points
Published in J. Phys. A: Math. Theor. 52 115205 (2019)
• View Publication
• BIB
We use a tangent method approach to obtain the arctic curve in a model of non-intersecting lattice paths within the first quadrant, including a q-dependent weight associated with the area delimited by the paths. Our model is characterized by an arbitrary sequence of starting points along the positive horizontal axis, whose distribution involves an arbitrary piecewise differentiable function. We give an explicit expression for the arctic curve in terms of this arbitrary function and of the parameter q. A particular emphasis is put on the deformation of the arctic curve upon varying q, and on its limiting shapes when q tends to 0 or infinity. Our analytic results are illustrated by a number of detailed examples.
On the unimodality of convolutions of sequences of binomial coefficients
Published in J. Integer Seq. 22 (2019) Article 19.2.8
• Search Publication
We provide necessary and sufficient conditions on the unimodality of a convolution of two sequences of binomial coefficients preceded by a finite number of ones. These convolution sequences arise as as rank sequences of posets of vertex-induced subtrees for a particular class of trees. The number of such trees whose poset of vertex-induced subgraphs containing the root is not rank unimodal is determined for a fixed number of vertices $i$.
A note on the asymptotics of the number of O-sequences of given length
Published in Discrete Math. 342 (2019), no. 7, 2033--2034
• View Publication
• BIB
We look at the number $L(n)$ of $O$-sequences of length $n$. Recall that an $O$-sequence can be defined algebraically as the Hilbert function of a standard graded $k$-algebra, or combinatorially as the $f$-vector of a multicomplex. The sequence $L(n)$ was first investigated in a recent paper by commutative algebraists Enkosky and Stone, inspired by Huneke. In this note, we significantly improve both of their upper and lower bounds, by means of a very short partition-theoretic argument. In particular, it turns out that, for suitable positive constants $c_1$ and $c_2$ and all $n>2$, $$e^{c_1\sqrt{n}}\le L(n)\le e^{c_2\sqrt{n}\log n}.$$ It remains an open problem to determine an exact asymptotic estimate for $L(n)$.
Structure and enumeration results of matchable Lucas cubes
Published
• View Publication
• BIB
A lucasene is a hexagon chain that is similar to a fibonaccene, an $L$-fence is a poset the Hasse diagram of which is isomorphic to the directed inner dual graph of the corresponding lucasene. A new class of cubes, which named after matchable Lucas cubes according to the number of its vertices (or elements), are a series of directed or undirected Hasse diagrams of filter lattices of $L$-fences. The basic properties and several classes of polynomials, e.g.\ rank generating functions, cube polynomials and degree sequence polynomials, of matchable Lucas cubes are obtained. Some special conclusions on binomial coefficients and Lucas triangle are given.
Stability of the potential function
Published in SIAM J. Discrete Math. 32(3) (2018), 2313--2331
• View Publication
• BIB
A graphic sequence $π$ is potentially $H$-graphic if there is some realization of $π$ that contains $H$ as a subgraph. The Erdős-Jacobson-Lehel problem asks to determine $σ(H,n)$, the minimum even integer such that any $n$-term graphic sequence $π$ with sum at least $σ(H,n)$ is potentially $H$-graphic. The parameter $σ(H,n)$ is known as the potential function of $H$, and can be viewed as a degree sequence variant of the classical extremal function ${\rm ex}(n,H)$. Recently, Ferrara, LeSaulnier, Moffatt and Wenger [On the sum necessary to ensure that a degree sequence is potentially $H$-graphic, Combinatorica 36 (2016), 687--702] determined $σ(H,n)$ asymptotically for all $H$, which is analogous to the Erdős-Stone-Simonovits Theorem that determines ${\rm ex}(n,H)$ asymptotically for nonbipartite $H$.
In this paper, we investigate a stability concept for the potential number, inspired by Simonovits' classical result on the stability of the extremal function. We first define a notion of stability for the potential number that is a natural analogue to the stability given by Simonovits. However, under this definition, many families of graphs are not $σ$-stable, establishing a stark contrast between the extremal and potential functions. We then give a sufficient condition for a graph $H$ to be stable with respect to the potential function, and characterize the stability of those graphs $H$ that contain an induced subgraph of order $α(H)+1$ with exactly one edge.
Constructing sparse Davenport-Schinzel sequences
Published
• View Publication
• BIB
For any sequence $u$, the extremal function $Ex(u, j, n)$ is the maximum possible length of a $j$-sparse sequence with $n$ distinct letters that avoids $u$. We prove that if $u$ is an alternating sequence $a b a b \dots$ of length $s$, then $Ex(u, j, n) = Θ(s n^{2})$ for all $j \geq 2$ and $s \geq n$, answering a question of Wellman and Pettie [Lower Bounds on Davenport-Schinzel Sequences via Rectangular Zarankiewicz Matrices, Disc. Math. 341 (2018), 1987--1993] and extending the result of Roselle and Stanton that $Ex(u, 2, n) = Θ(s n^2)$ for any alternation $u$ of length $s \geq n$ [Some properties of Davenport-Schinzel sequences, Acta Arithmetica 17 (1971), 355--362].
Wellman and Pettie also asked how large must $s(n)$ be for there to exist $n$-block $DS(n, s(n))$ sequences of length $Ω(n^{2-o(1)})$. We answer this question by showing that the maximum possible length of an $n$-block $DS(n, s(n))$ sequence is $Ω(n^{2-o(1)})$ if and only if $s(n) = Ω(n^{1-o(1)})$. We also show related results for extremal functions of forbidden 0-1 matrices with any constant number of rows and extremal functions of forbidden sequences with any constant number of distinct letters.
A New Characterization of $\mathcal{V}$-Posets
Published
• View Publication
• BIB
In 2016, Hasebe and Tsujie gave a recursive characterization of the set of induced $N$-free and bowtie-free posets; Misanantenaina and Wagner studied these orders further, naming them "$\mathcal{V}$-posets". Here we offer a new characterization of $\mathcal{V}$-posets by introducing a property we refer to as autonomy. A poset $\cP$ is said to be autonomous if there exists a directed acyclic graph $D$ (with adjacency matrix $U$) whose transitive closure is $\cP$, with the property that any total ordering of the vertices of $D$ so that Gaussian elimination of $U^TU$ proceeds without row swaps is a linear extension of $\cP$. Autonomous posets arise from the theory of pressing sequences in graphs, a problem with origins in phylogenetics. The pressing sequences of a graph can be partitioned into families corresponding to posets; because of the interest in enumerating pressing sequences, we investigate when this partition has only one block, that is, when the pressing sequences are all linear extensions of a single autonomous poset. We also provide an efficient algorithm for recognition of autonomy using structural information and the forbidden subposet characterization, and we discuss a few open questions that arise in connection with these posets.
On omega-categorical structures with few finite substructures
We establish new results on the possible growth rates for the sequence (f_n) counting the number of orbits of a given oligomorphic group on unordered sets of size n. Macpherson showed that for primitive actions, the growth is at least exponential (if the sequence is not constant equal to 1). The best lower bound previously known for the base of the exponential was obtained by Merola. We establishing the optimal value of 2 in the case where the structure is unstable. This allows us to improve on Merola's bound and also obtain the optimal value for structures homogeneous in a finite relational language. Finally, we show that the study of sequences (f_n) of sub-exponential growth reduces to the omega-stable case.
Geometry of the minimal spanning tree of a random $3$-regular graph
Published
• View Publication
• BIB
The global structure of the minimal spanning tree (MST) is expected to be universal for a large class of underlying random discrete structures. However, very little is known about the intrinsic geometry of MSTs of most standard models, and so far the scaling limit of the MST viewed as a metric measure space has only been identified in the case of the complete graph [5]. In this work, we show that the MST constructed by assigning i.i.d. continuous edge-weights to either the random (simple) $3$-regular graph or the $3$-regular configuration model on $n$ vertices, endowed with the tree distance scaled by $n^{-1/3}$ and the uniform probability measure on the vertices, converges in distribution with respect to Gromov-Hausdorff-Prokhorov topology to a random compact metric measure space. Further, this limiting space has the same law as the scaling limit of the MST of the complete graph identified in [5] up to a scaling factor of $6^{1/3}$. Our proof relies on a novel argument that proceeds via a comparison between a $3$-regular configuration model and the largest component in the critical Erdős-Rényi random graph. The techniques of this paper can be used to establish the scaling limit of the MST in the setting of general random graphs with given degree sequences provided two additional technical conditions are verified.
Formal inverses of the generalized Thue-Morse sequences and variations of the Rudin-Shapiro sequence
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 1, Automata, Logic and Semantics (May 25, 2020) dmtcs:4954
• View Publication
• BIB
A formal inverse of a given automatic sequence (the sequence of coefficients of the composition inverse of its associated formal power series) is also automatic. The comparison of properties of the original sequence and its formal inverse is an interesting problem. Such an analysis has been done before for the Thue{Morse sequence. In this paper, we describe arithmetic properties of formal inverses of the generalized Thue-Morse sequences and formal inverses of two modifications of the Rudin{Shapiro sequence. In each case, we give the recurrence relations and the automaton, then we analyze the lengths of strings of consecutive identical letters as well as the frequencies of letters. We also compare the obtained results with the original sequences.
Stable Cluster Variables
Richard Eager and Sebastian Franco introduced a change of basis transformation on the F-polynomials of Fomin and Zelevinsky, corresponding to rewriting them in the basis given by fractional brane charges rather than quiver gauge groups. This transformation seems to display a surprising stabilization property, apparently causing the first few terms of the polynomials at each step of the mutation sequence to coincide. Eager and Franco conjecture that this transformation will always cause the polynomials to converge to a formal power series as the number of mutations goes to infinity, at least for quivers possessing certain symmetries and along periodic mutation sequences respecting such symmetries. In this paper, we verify this convergence in the case of the Kronecker and Conifold quivers. We also investigate convergence in the $F_0$ quiver. We provide a combinatorial interpretation for the stable cluster variables in each appropriate case.
Graph reconstruction and generation from one card and the degree sequence
Many degree sequences can only be realised in graphs that contain a `ds-completable card', defined as a vertex-deleted subgraph in which the erstwhile neighbours of the deleted vertex can be identified from their degrees, if one knows the degree sequence of the original graph. We obtain conditions on the degree sequence, such that graphs whose degree sequence satisfies one of the conditions must contain such a card. The methods allow all such sequences on graphs of order up to 10 to be identified, and some fraction of the sequences for larger graphs. Among other applications, this can be used to reduce the computational task of generating graphs of a given degree sequence without duplicates.
Grundy dominating sequences on $X$-join product
In this paper we study the Grundy domination number on the $X$-join product $G\hookleftarrow \mathcal R$ of a graph $G$ and a family of graphs $\mathcal R=\{G_v: v\in V(G)\}$. The results led us to extend the few known families of graphs where this parameter can be efficiently computed. We prove that if, for all $v\in V(G)$, the Grundy domination number of $G_v$ is given, and $G$ is a power of a cycle, a power of a path, or a split graph, computing the Grundy domination number of $G\hookleftarrow \mathcal R$ can be done in polynomial time. In particular, the results for power of cycles and paths are derived from a polynomial reduction to the Maximum Weight Independent Set problem on these graphs.
As a consequence, we derive closed formulas to compute the Grundy domination number of the lexicographic product $G\circ H$ when $G$ is a power of a cycle, a power of a path or a split graph, generalizing the results on cycles and paths given by Bresar et al. in 2016. Moreover, the results on the $X$-join product when $G$ is a split graph also provide polynomial-time algorithms to compute the Grundy domination number for $(q,q-4)$ graphs, partner limited graphs and extended $P_4$-laden graphs, graph classes which are high in the hierarchy of few $P_4$'s graphs.
Reconfiguring Graph Homomorphisms on the Sphere
Published in European J. Combin. 86 (2020) 103086
• View Publication
• BIB
Given a loop-free graph $H$, the reconfiguration problem for homomorphisms to $H$ (also called $H$-colourings) asks: given two $H$-colourings $f$ of $g$ of a graph $G$, is it possible to transform $f$ into $g$ by a sequence of single-vertex colour changes such that every intermediate mapping is an $H$-colouring? This problem is known to be polynomial-time solvable for a wide variety of graphs $H$ (e.g. all $C_4$-free graphs) but only a handful of hard cases are known. We prove that this problem is PSPACE-complete whenever $H$ is a $K_{2,3}$-free quadrangulation of the $2$-sphere (equivalently, the plane) which is not a $4$-cycle. From this result, we deduce an analogous statement for non-bipartite $K_{2,3}$-free quadrangulations of the projective plane. This include several interesting classes of graphs, such as odd wheels, for which the complexity was known, and $4$-chromatic generalized Mycielski graphs, for which it was not.
If we instead consider graphs $G$ and $H$ with loops on every vertex (i.e. reflexive graphs), then the reconfiguration problem is defined in a similar way except that a vertex can only change its colour to a neighbour of its current colour. In this setting, we use similar ideas to show that the reconfiguration problem for $H$-colourings is PSPACE-complete whenever $H$ is a reflexive $K_{4}$-free triangulation of the $2$-sphere which is not a reflexive triangle. This proof applies more generally to reflexive graphs which, roughly speaking, resemble a triangulation locally around a particular vertex. This provides the first graphs for which $H$-Recolouring is known to be PSPACE-complete for reflexive instances.
On non-repetitive sequences of arithmetic progressions:the cases $k \in \{4,5,6,7,8\}$
Published
• View Publication
• BIB
A $d$-subsequence of a sequence $\varphi = x_1\dots x_n$ is a subsequence $x_i x_{i+d} x_{i+2d} \dots$, for any positive integer $d$ and any $i$, $1 \le i \le n$. A \textit{$k$-Thue sequence} is a sequence in which every $d$-subsequence, for $1 \le d \le k$, is non-repetitive, i.e. it contains no consecutive equal subsequences. In 2002, Grytczuk proposed a conjecture that for any $k$, $k+2$ symbols are enough to construct a $k$-Thue sequences of arbitrary lengths. So far, the conjecture has been confirmed for $k \in \{1,2,3,5\}$. Here, we present two different proving techniques, and confirm it for all $k$, with $2 \le k \le 8$.
Central Values for Clebsch-Gordan coefficients
Published in Combinatorial and additive number theory III. Springer Proc. in Math. and Stat. 297, 75-100, Springer, NY (2019)
• View Publication
• BIB
We develop further properties of the matrices $M(m, n, k)$ defined by the author and W. G. Kim in a previous work. In particular, we continue an alternative approach to the theory of Clebsch-Gordan coefficients in terms of combinatorics and convex geometry. New features include a censorship rule for zeros, a sequence of 36-pointed stars of zeros, and another proof of Dixon's Identity. As a major application, we reinterpret the work of Raynal {\it et al.} on vanishing Clebsch-Gordan coefficients as a "middle-out" approach to computing $M(m, n, k).$
Covering the Plane by a Sequence of Circular Disks with a Constraint
Published in Computational Geometry, Volume 91, December 2020, 101680
• View Publication
• BIB
We are interested in the following problem of covering the plane by a sequence of congruent circular disks with a constraint on the distance between consecutive disks. Let $(\mathcal{D}_n)_{n \in \mathbb N}$ be a sequence of closed unit circular disks such that $\cup_{n \in \mathbb{N}} \mathcal{D}_n = \mathbb {R}^2$ with the condition that for $n \ge 2$, the center of the disk $\mathcal{D}_n$ lies in $\mathcal{D}_{n-1}$. What is a "most economical" or an optimal way of placing $\mathcal{D}_n$ for all $n \in \mathbb{N}$? We answer this question in the case where no "sharp" turn is allowed, i.e. if $C_n$ is the center of the disk $\mathcal{D}_n$, then for all $n \ge 2$, % $\angle C_{n-1}C_nC_{n+1}$ is not very small.
We also consider a related problem. We wish to find out an optimal way to cover the plane with unit circular disks with the constraint that each disk contains the centers of at least two other disks. We find out the answer in the case when the centers of the disks form a two-dimensional lattice.
A sequence of quasipolynomials arising from random numerical semigroups
A numerical semigroup is a subset of the non-negative integers that is closed under addition. For a randomly generated numerical semigroup, the expected number of minimum generators can be expressed in terms of a doubly-indexed sequence of integers, denoted $h_{n, i}$, that count generating sets with certain properties. We prove a recurrence that implies the sequence $h_{n,i}$ is eventually quasipolynomial when the second parameter is fixed.
Partitioning The Edge Set of a Hypergraph Into Almost Regular Cycles
Published in Journal of Combinatorial Designs, Volume 26, Issue 10, October 2018, Pages 465-479
• View Publication
• BIB
A cycle of length $t$ in a hypergraph is an alternating sequence $v_1,e_1,v_2\dots,v_t,e_t$ of distinct vertices $v_i$ and distinct edges $e_i$ so that $\{v_i,v_{i+1}\}\subseteq e_i$ (with $v_{t+1}:=v_1$). Let $λK_n^h$ be the $λ$-fold $n$-vertex complete $h$-graph. Let $\mathcal G=(V,E)$ be a hypergraph all of whose edges are of size at least $h$, and $2\leq c_1\leq \dots\leq c_k\leq |V|$. In order to partition the edge set of $\mathcal G$ into cycles of specified lengths $c_1, \dots, c_k$, an obvious necessary condition is that $\sum_{i=1}^k c_i=|E|$. We show that this condition is sufficient in the following cases:
(i) $h\geq \max\{c_k, \lceil n/2 \rceil+1\}$;
(ii) $\mathcal G=λK_n^h$, $h\geq \lceil n/2 \rceil+2$;
(iii) $\mathcal G=K_n^h$, $c_1= \dots=c_k:=c$, $c|n(n-1), n\geq 85$.
In (ii), we guarantee that each cycle is almost regular. In (iii), we also solve the case where a "small" subset $L$ of edges of $K_n^h$ is removed.