sequence
7073 papers tagged with this keyword
The index of a string consisting of 4 blocks
Generalized Fibonacci cube $Q_{d}(f)$, introduced by Ilić, Klavžar and Rho, is the graph obtained from the $d$-hypercube $Q_{d}$ by removing all vertices that contain $f$ as a substring. The smallest integer $d$ such that $Q_{d}(f)$ is not an isometric subgraph of $Q_{d}$ is called the index of $f$. A non-extendable sequence of contiguous equal digits in a string $μ$ is called a block of $μ$. The question that determine the index of a string consisting of at most 3 blocks is solved by Ilić, Klavžar and Rho. This question is further studied and the index of a string consisting of 4 blocks is determined, and the necessity of a string being good is also given for the strings with even blocks.
Proofs of two conjectures on generalized Fibonacci cubes
Published
• View Publication
• BIB
A binary string $f$ is a factor of string $u$ if $f$ appears as a sequence of $|f|$ consecutive bits of $u$, where $|f|$ denotes the length of $f$. Generalized Fibonacci cube $Q_{d}(f)$ is the graph obtained from the $d$-cube $Q_{d}$ by removing all vertices that contain a given binary string $f$ as a factor. A binary string $f$ is called good if $Q_{d}(f)$ is an isometric subgraph of $Q_{d}$ for all $d\geq1$, it is called bad otherwise. The index of a binary string $f$, denoted by $B(f)$, is the smallest integer $d$ such that $Q_{d}(f)$ is not an isometric subgraph of $Q_{d}$. Ilić, Klavžar and Rho conjectured that $B(f)<2|f|$ for any bad string $f$. They also conjectured that if $Q_{d}(f)$ is an isometric subgraph of $Q_{d}$, then $Q_{d}(ff)$ is an isometric subgraph of $Q_{d}$. We confirm the two conjectures by obtaining a basic result: if there exist $p$-critical words for $Q_{B(f)}(f)$, then $p$=2 or $p=3$.
The number of unit-area triangles in the plane: Theme and variations
Published
• View Publication
• BIB
We show that the number of unit-area triangles determined by a set $S$ of $n$ points in the plane is $O(n^{20/9})$, improving the earlier bound $O(n^{9/4})$ of Apfelbaum and Sharir [Discrete Comput. Geom., 2010]. We also consider two special cases of this problem: (i) We show, using a somewhat subtle construction, that if $S$ consists of points on three lines, the number of unit-area triangles that $S$ spans can be $Ω(n^2)$, for any triple of lines (it is always $O(n^2)$ in this case). (ii) We show that if $S$ is a {\em convex grid} of the form $A\times B$, where $A$, $B$ are {\em convex} sets of $n^{1/2}$ real numbers each (i.e., the sequences of differences of consecutive elements of $A$ and of $B$ are both strictly increasing), then $S$ determines $O(n^{31/14})$ unit-area triangles.
Breaking of ensemble equivalence in networks
Published in Phys. Rev. Lett. 115, 268701 (2015)
• View Publication
• BIB
It is generally believed that, in the thermodynamic limit, the microcanonical description as a function of energy coincides with the canonical description as a function of temperature. However, various examples of systems for which the microcanonical and canonical ensembles are not equivalent have been identified. A complete theory of this intriguing phenomenon is still missing. Here we show that ensemble nonequivalence can manifest itself also in random graphs with topological constraints. We find that, while graphs with a given number of links are ensemble-equivalent, graphs with a given degree sequence are not. This result holds irrespective of whether the energy is nonadditive (as in unipartite graphs) or additive (as in bipartite graphs). In contrast with previous expectations, our results show that: (1) physically, nonequivalence can be induced by an extensive number of local constraints, and not necessarily by long-range interactions or nonadditivity; (2) mathematically, nonquivalence is determined by a different large-deviation behaviour of microcanonical and canonical probabilities for a single microstate, and not necessarily for almost all microstates. The latter criterion, which is entirely local, is not restricted to networks and holds in general.
A graph theoretic encoding of Lucas sequences
Published
• View Publication
• BIB
Some well-known results of Prodinger and Tichy are that the number of independent sets in the $n$-vertex path graph is $F_{n+2}$, and that the number of independent sets in the $n$-vertex cycle graph is $L_n$. We generalize these results by introducing new classes of graphs whose independent set structures encode the Lucas sequences of both the first and second kind. We then use this class of graphs to provide new combinatorial interpretations of the terms of Dickson polynomials of the first and second kind.
Limits, Regularity and Removal for Finite Structures
Our work builds on known results for k-uniform hypergraphs including the existence of limits, a Regularity Lemma and a Removal Lemma. Our main tool here is a theory of measures on ultraproduct spaces which establishes a correspondence between ultraproduct spaces and Euclidean spaces. First we show the existence of a limit object for convergent sequences of relational structures and as a special case, we retrieve the known limits for graphs and digraphs. Then we extend this notion to finite models of a fixed universal theory. We also state and prove a Regularity Lemma and a Removal Lemma. We will discuss connections between our work and Razborov's flag algebras as well.
Distance Regular Colorings of $n$-Dimensional Rectangular Grid
We study the infinite graph of $n$-dimensional rectangular grid that doesn't appear distance regular and the distance regular colorings of this graph, which are defined as the distance colorings with respect to completely regular codes. It is proved that the elements of the parameter matrix of an arbitrary distance regular coloring form two monotonic sequences. It is shown that every irreducible distance regular coloring of the $n$-dimensional rectangular grid has at most $2n+1$ colors.
On the asymptotic behavior of unimodal rank generating functions
Published
• View Publication
• BIB
In a recent paper, J. Lovejoy and the second author conjectured that ranks for four types of unimodal like sequences satisfy certain inequalities. In this paper, we prove these conjectures asymptotically. For this, we extend Wright's Circle Method and analyze the asymptotic behavior of certain general partial theta functions.
A New Lower Bound for the Distinct Distance Constant
Published in Journal of Integer Sequences, volume 18 (2015), issue 4, article 8
• Search Publication
The reciprocal sum of Zhang sequence is not equal to the Distinct Distance Constant. This note introduces a $B_2$-sequence with larger reciprocal sum, and provides a more precise estimation of the reciprocal sums of Mian-Chowla sequence and Zhang sequence.
A relation for a class of Racah polynomials
In this paper we derive a relation for a class of Racah polynomials that appear in a conjecture of Kresch and Tamvakis. The relation follows from an inversion formula for a transformation of a discrete sequence of complex numbers $\{ x_n \}_{n=0}^{\infty}$. As a result of our inversion formula, we also obtain other combinatorial identities.
The switch Markov chain for sampling irregular graphs
Published
• View Publication
• BIB
The problem of efficiently sampling from a set of(undirected) graphs with a given degree sequence has many applications. One approach to this problem uses a simple Markov chain, which we call the switch chain, to perform the sampling. The switch chain is known to be rapidly mixing for regular degree sequences. We prove that the switch chain is rapidly mixing for any degree sequence with minimum degree at least 1 and with maximum degree $d_{\max}$ which satisfies $3\leq d_{\max}\leq \frac{1}{4}\, \sqrt{M}$, where $M$ is the sum of the degrees. The mixing time bound obtained is only an order of $n$ larger than that established in the regular case, where $n$ is the number of vertices.
On uniform recurrence of morphic sequences
Published
• View Publication
• BIB
We describe a shorter algorithm for HD0L uniform recurrence problem
On Erdős-Ko-Rado for random hypergraphs I
Published
• View Publication
• BIB
A family of sets is intersecting if no two of its members are disjoint, and has the Erdős-Ko-Rado property (or is EKR) if each of its largest intersecting subfamilies has nonempty intersection.
Denote by $\mathcal{H}_k(n,p)$ the random family in which each $k$-subset of $\{1\dots n\}$ is present with probability $p$, independent of other choices. A question first studied by Balogh, Bohman and Mubayi asks: \[ \mbox{for what $p=p(n,k)$ is $\mathcal{H}_k(n,p)$ likely to be EKR?} \] Here, for fixed $c<1/4$, and $k< \sqrt{cn\log n}$ we give a precise answer to this question, characterizing those sequences $p=p(n,k)$ for which $$ \Pr(\mathcal{H}_k(n,p) \textrm{ is EKR}) \rightarrow 1 \textrm{ as } n\rightarrow \infty. $$
Maximal-clique partitions and the Roller Coaster Conjecture
Published
• View Publication
• BIB
A graph $G$ is {\em well-covered} if every maximal independent set has the same cardinality $q$. Let $i_k(G)$ denote the number of independent sets of cardinality $k$ in $G$. Brown, Dilcher, and Nowakowski conjectured that the independence sequence $(i_0(G), i_1(G), \ldots, i_q(G))$ was unimodal for any well-ordered graph $G$ with independence number $q$. Michael and Traves disproved this conjecture. Instead they posited the so-called ``Roller Coaster" Conjecture: that the terms \[
i_{\left\lceil\frac{q}2\right\rceil}(G), i_{\left\lceil\frac{q}2\right\rceil+1}(G), \ldots, i_q(G) \] could be in any specified order for some well-covered graph $G$ with independence number $q$. Michael and Traves proved the conjecture for $q<8$ and Matchett extended this to $q<12$.
In this paper, we prove the Roller Coaster Conjecture using a construction of graphs with a property related to that of having a maximal-clique partition. In particular, we show, for all pairs of integers $1\le k<q$ and positive integers $m$, that there is a well-covered graph $G$ with independence number $q$ for which every independent set of size $k+1$ is contained in a unique maximal independent set, but each independent set of size $k$ is contained in at least $m$ distinct independent sets.
Maximal Green Sequences for Cluster Algebras Associated to the n-Torus
Published
• View Publication
• BIB
Given a marked surface (S,M) we can add arcs to the surface to create a triangulation, T, of that surface. For each triangulation, T, we can associate a cluster algebra. In this paper we will consider the torus of genus n with two interior marked points (called punctures). We will construct a specific triangulation of this surface which yeilds a specific quiver. Then in the sense of work by Keller we will produce a maximal green sequence for this quiver.
A Combinatorial Model for Exceptional Sequences in Type A
Published
• View Publication
• BIB
Exceptional sequences are certain ordered sequences of quiver representations. We use noncrossing edge-labeled trees in a disk with boundary vertices (expanding on T. Araya's work) to classify exceptional sequences of representations of Q, the linearly-ordered quiver with n vertices. We also show how to use variations of this model to classify c-matrices of Q, to interpret exceptional sequences as linear extensions, and to give a simple bijection between exceptional sequences and certain chains in the lattice of noncrossing partitions. In the case of c-matrices, we also give an interpretation of c-matrix mutation in terms of our noncrossing trees with directed edges.
On degree sequences forcing the square of a Hamilton cycle
Published
• View Publication
• BIB
A famous conjecture of Pósa from 1962 asserts that every graph on $n$ vertices and with minimum degree at least $2n/3$ contains the square of a Hamilton cycle. The conjecture was proven for large graphs in 1996 by Komlós, Sárközy and Szemerédi. In this paper we prove a degree sequence version of Pósa's conjecture: Given any $η>0$, every graph $G$ of sufficiently large order $n$ contains the square of a Hamilton cycle if its degree sequence $d_1\leq \dots \leq d_n$ satisfies $d_i \geq (1/3+η)n+i$ for all $i \leq n/3$. The degree sequence condition here is asymptotically best possible. Our approach uses a hybrid of the Regularity-Blow-up method and the Connecting-Absorbing method.
Enumeration of m-Endomorphisms
Published in Involve 9 (2016) 423-435
• View Publication
• BIB
An m-endomorphism of a free semigroup is an endomorphism that sends every generator to a word of length at most m. Two m-endomorphisms are combinatorially equivalent if they are conjugate under an automorphism of the semigroup. In this paper, we specialize an argument of N. G. de Bruijn to produce a formula for the number of combinatorial equivalence classes of m-endomorphisms on a rank-n semigroup. From this formula, we derive several little-known integer sequences.
The Generating Functions Enumerating 12..d-Avoiding Words with r occurrences of each of 1,2, ... , n are D-finite for all d and all r
In this article, dedicated with admiration and gratitude to guru Neil Sloane on his 75-th birthday, we observe that the generating functions for multi-set permutations that do not contain an increasing subsequence of length d, and where every letter appears the same number of times, say r, are always D-finite, (for every d and every r), and we actually crank out the first few terms of quite a few of them, many of whom are not yet in the OEIS. We also state a conjectured asymptotic formula for these sequences, that reduces to Amitai Regev's famous formula when r=1, and pledge a 100 dollar donation to the OEIS in honor of the first one to prove our conjecture. We pledge another 100 dollars for extending Ira Gessel's spectacular Bessel determinant, from the r=1 case to general r.
Polynomialité des coefficients de structure des algèbres de doubles-classes
In this thesis we studied the structure coefficients and especially their dependence on $n$ in the case of a sequence of double-class algebras. The first chapter is dedicated to the study of the structure coefficients in the general cases of centers of group algebras and double-class algebras. We recall in it the representation theory of finite groups and its link with structure coefficients. We show also that the study of the structure coefficients of double-class algebras is related to the theory of Gelfand pairs and zonal spherical functions by giving, in the case of Gelfand pairs, a theorem similar to that of Frobenius which writes the structure coefficients of the double-class algebra associated to a Gelfand pair in terms of zonal spherical functions. In the second chapter, we recall the Farahat and Higman's theorem about the polynomiality of the structure coefficients of the center of the symmetric group algebra as well as the Ivanov and Kerov's approach to prove this theorem. We give a combinatorial proof to the polynomiality property of the structure coefficients of the Hecke algebra of the pair $(S_{2n},B_n)$ in the third chapter. Our proof uses a universal algebra which projects on the Hecke algebra of $(S_{2n}, B_n)$ for each $n.$ We show that this universal algebra is isomorphic to the algebra of $2$-shifted symmetric functions. In the fourth and last chapter we build a general framework which gives us the form of the structure coefficients in the case of a sequence of double-class algebras. This framework implies the polynomiality property of the structure coefficients of both the center of the symmetric group algebra and the Hecke algebra of $(S_{2n},B_n).$ In addition, we give a polynomiality property for the structure coefficients of both the center of the hyperoctahedral group algebra and the double-class algebra of $diag(S_{n-1})$ in $S_n\times S_{n-1}^{opp}.$