sequence
6845 papers tagged with this keyword
A fancy way to obtain the binary digits of $759250125\sqrt{2}$
Published
• View Publication
• BIB
R. L. Graham and H. O. Pollak observed that the sequence $$u_1=1,\qquad u_{n+1}=\lfloor \sqrt{2} (u_n+1/2)\rfloor, \quad n\geq 1,$$ has the curious property that the sequence of numbers $(u_{2n+1}-2u_{2n-1})_{n\geq 1}$ denotes the binary digits of $\sqrt{2}$. We present an extension of Graham--Pollak's sequence which allows to get -- in a fancy way -- the binary digits of $759250125\sqrt{2}$ and other numbers.
On the cardinality constrained matroid polytope
Published
• View Publication
• BIB
Given a combinatorial optimization problem $Π$ and an increasing finite sequence $c$ of natural numbers, we obtain a cardinality constrained version $Π_c$ of $Π$ by permitting only those feasible solutions of $Π$ whose cardinalities are members of $c$. We are interested in polyhedra associated with those problems, in particular in inequalities that cut off solutions of forbidden cardinality. Maurras (1977) and Camion and Maurras (1982) introduced a family of inequalities, that we call forbidden set inequalities, which can be used to cut off those solutions. However, these inequalities are in general not facet defining for the polyhedron associated with $Π_c$. Kaibel and Stephan (2007) showed how one can combine integer characterizations for cycle and path polytopes and a modified form of forbidden set inequalities to give facet defining integer representations for the cardinality restricted versions of these polytopes. Motivated by this work, we apply the same approach on the matroid polytope. It is well known that the so-called rank inequalities together with the nonnegativity constraints provide a complete linear description of the matroid polytope (see Edmonds (1971). By essentially adding the forbidden set inequalities in an appropriate form, we obtain a complete linear description of the cardinality constrained matroid polytope which is the convex hull of the incidence vectors of those independent sets that have a feasible cardinality. Moreover, we show how the separation problem for the forbidden set inequalities can be reduced to that for the rank inequalities. We also give necessary and sufficient conditions for a forbidden set inequality to be facet defining.
The Identity Correspondence Problem and its Applications
Published in P. C. Bell, I. Potapov, On the Undecidability of the Identity Correspondence Problem and its Applications for Word and Matrix Semigroups, International Journal of Foundations of Computer Science, World Scientific, Vol. 21, Issue 6, 2010
• View Publication
• BIB
In this paper we study several closely related fundamental problems for words and matrices. First, we introduce the Identity Correspondence Problem (ICP): whether a finite set of pairs of words (over a group alphabet) can generate an identity pair by a sequence of concatenations. We prove that ICP is undecidable by a reduction of Post's Correspondence Problem via several new encoding techniques.
In the second part of the paper we use ICP to answer a long standing open problem concerning matrix semigroups: "Is it decidable for a finitely generated semigroup S of square integral matrices whether or not the identity matrix belongs to S?". We show that the problem is undecidable starting from dimension four even when the number of matrices in the generator is 48. From this fact, we can immediately derive that the fundamental problem of whether a finite set of matrices generates a group is also undecidable. We also answer several question for matrices over different number fields. Apart from the application to matrix problems, we believe that the Identity Correspondence Problem will also be useful in identifying new areas of undecidable problems in abstract algebra, computational questions in logic and combinatorics on words.
Random Graphons and a Weak Positivstellensatz for Graphs
In an earlier paper the authors proved that limits of convergent graph sequences can be described by various structures, including certain 2-variable real functions called graphons, random graph models satisfying certain consistency conditions, and normalized, multiplicative and reflection positive graph parameters. In this paper we show that each of these structures has a related, relaxed version, which are also equivalent. Using this, we describe a further structure equivalent to graph limits, namely probability measures on countable graphs that are ergodic with respect to the group of permutations of the nodes.
As an application, we prove an analogue of the Positivstellensatz for graphs: We show that every linear inequality between subgraph densities that holds asymptotically for all graphs has a formal proof in the following sense: it can be approximated arbitrarily well by another valid inequality that is a "sum of squares" in the algebra of partially labeled graphs.
Elementary properties of circle map sequences
Published in Nihonkai Math. Journal, Vol.19(2008), p.85-104
• Search Publication
We study the combinatorial and structural properties of the circle map sequences. We introduce an embedding procedure which gives a map from the hull(closure of the set of translates) to the sequence of embedding operations through which we study the structure of the hull. We also study the set of admissible words and classify them in terms of their appearance.
Carries, shuffling, and symmetric functions
Published
• View Publication
• BIB
The "carries" when n random numbers are added base b form a Markov chain with an "amazing" transition matrix determined by Holte. This same Markov chain occurs in following the number of descents or rising sequences when n cards are repeatedly riffle shuffled. We give generating and symmetric function proofs and determine the rate of convergence of this Markov chain to stationarity. Similar results are given for type B shuffles. We also develop connections with Gaussian autoregressive processes and the Veronese mapping of commutative algebra.
Restrictions of $m$-Wythoff Nim and $p$-complementary Beatty Sequences
Published
• View Publication
• BIB
Fix a positive integer $m$. The game of \emph{$m$-Wythoff Nim} (A.S. Fraenkel, 1982) is a well-known extension of \emph{Wythoff Nim}, a.k.a 'Corner the Queen'. Its set of $P$-positions may be represented by a pair of increasing sequences of non-negative integers. It is well-known that these sequences are so-called \emph{complementary homogeneous}
\emph{Beatty sequences}, that is they satisfy Beatty's theorem. For a positive integer $p$, we generalize the solution of $m$-Wythoff Nim to a pair of \emph{$p$-complementary}---each positive integer occurs exactly $p$ times---homogeneous Beatty sequences $a = (a_n)_{n\in \M}$ and $b = (b_n)_{n\in \M}$, which, for all $n$, satisfies $b_n - a_n = mn$. By the latter property, we show that $a$ and $b$ are unique among \emph{all} pairs of non-decreasing $p$-complementary sequences. We prove that such pairs can be partitioned into $p$ pairs of complementary Beatty sequences. Our main results are that $\{\{a_n,b_n\}\mid n\in \M\}$ represents the solution to three new '$p$-restrictions' of $m$-Wythoff Nim---of which one has a \emph{blocking maneuver} on the \emph{rook-type} options. C. Kimberling has shown that the solution of Wythoff Nim satisfies the \emph{complementary equation} $x_{x_n}=y_n - 1$. We generalize this formula to a certain '$p$-complementary equation' satisfied by our pair $a$ and $b$. We also show that one may obtain our new pair of sequences by three so-called \emph{Minimal EXclusive} algorithms. We conclude with an Appendix by Aviezri Fraenkel.
The p-adic valuations of sequences counting alternating sign matrices
The p-adic valuations of a sequence of integers T(n) counting alternating sign matrices is examined for p=2 and p=3. Symmetry properties of their graphs produce a new proof of the result that characterizes the indices for which T(n) is odd.
A note on embedding hypertrees
Published
• View Publication
• BIB
A classical result from graph theory is that every graph with chromatic number χ> t contains a subgraph with all degrees at least t, and therefore contains a copy of every t-edge tree. Bohman, Frieze, and Mubayi recently posed this problem for r-uniform hypergraphs. An r-tree is an r-uniform hypergraph with no pair of edges intersecting in more than one vertex, and no sequence of distinct vertices and edges (v_1, e_1, ..., v_k, e_k) with all e_i \ni {v_i, v_{i+1}}, where we take v_{k+1} to be v_1. Bohman, Frieze, and Mubayi proved that χ> 2rt is sufficient to embed every r-tree with t edges, and asked whether the dependence on r was necessary. In this note, we completely solve their problem, proving the tight result that χ> t is sufficient to embed any r-tree with t edges.
Average-case analysis of perfect sorting by reversals
Published in CPM'09, Lille : France (2009)
• View Publication
• BIB
A sequence of reversals that takes a signed permutation to the identity is perfect if at no step a common interval is broken. Determining a parsimonious perfect sequence of reversals that sorts a signed permutation is NP-hard. Here we show that, despite this worst-case analysis, with probability one, sorting can be done in polynomial time. Further, we find asymptotic expressions for the average length and number of reversals in commuting permutations, an interesting sub-class of signed permutations.
The cut metric, random graphs, and branching processes
Published in J. Statistical Physics 140 (2010), 289--335
• View Publication
• BIB
In this paper we study the component structure of random graphs with independence between the edges. Under mild assumptions, we determine whether there is a giant component, and find its asymptotic size when it exists. We assume that the sequence of matrices of edge probabilities converges to an appropriate limit object (a kernel), but only in a very weak sense, namely in the cut metric. Our results thus generalize previous results on the phase transition in the already very general inhomogeneous random graph model we introduced recently, as well as related results of Bollobás, Borgs, Chayes and Riordan, all of which involve considerably stronger assumptions. We also prove corresponding results for random hypergraphs; these generalize our results on the phase transition in inhomogeneous random graphs with clustering.
Coideals of block sequences
We extend the well known notion of \textit{coideal} on $\mathbb{N}$ to families of block sequences on $FIN_k$ and prove that if a coideal of block sequences is \textit{semiselective} and satisfies a local version of Gowers' theorem \cite{Gow} then the local Ramsey property relative to it can be characterized in terms of the abstract Baire property, and the family of all sets having the local Ramsey property relative to one such coideal is closed under the Suslin operation. We also prove that these coideals satisfy a sort of \emph{canonical partition property} in the sense of Taylor \cite{taylor}, López-Abad \cite{jordi} and Blass \cite{blass}. This results give us an idea of the conditions to be considered in an abstract study of the local Ramsey property in the context of topological Ramsey spaces (see \cite{todo}).
Counting Bipartite, k-Colored and Directed Acyclic Multi Graphs Through F-nomial coefficients
F-nomial coefficients encompass among others well-known binomial coefficients or Gaussian coefficients that count subsets of finite set and subspaces of finite vector space respectively. Here, the so called F-cobweb tiling sequences N(a) are considered. For such specific sequences a new interpretation with respect to Kwasniewski general combinatorial interpretation of F-nomial coefficients is unearhed.
Namely, for tiling sequences F = N(a)$ the F-nomial coefficients are equal to the number of labeled special bipartite multigraphs denoted here as a-multigraphs G(a,n,k).
An explicit relation between the number of k-colored a-multigraphs and multi N(a)-nomial coefficients is established. We also prove that the unsigned values of the first row of inversion matrix for N(a) -nomial coefficients considered here are equal to the numbers of directed acyclic a-multigraphs with n nodes.
A Characterization On Potentially $K_6-C_4$-graphic Sequences
For given a graph $H$, a graphic sequence $π=(d_1,d_2,...,d_n)$ is said to be potentially $H$-graphic if there exists a realization of $π$ containing $H$ as a subgraph. Let $K_m-H$ be the graph obtained from $K_m$ by removing the edges set $E(H)$ where $H$ is a subgraph of $K_m$. In this paper, we characterize the potentially $K_6-C_4$-graphic sequences. This characterization implies a theorem due to Hu and Lai [7].
A Characterization On Potentially $K_{2,5}$-graphic Sequences
For given a graph $H$, a graphic sequence $π=(d_1,d_2,...,d_n)$ is said to be potentially $H$-graphic if there exists a realization of $π$ containing $H$ as a subgraph. Let $K_m-H$ be the graph obtained from $K_m$ by removing the edges set $E(H)$ where $H$ is a subgraph of $K_m$. In this paper, we characterize potentially $K_{2,5}$-graphic sequences. This characterization implies a special case of a theorem due to Yin et al. [26].
Seifert cohomology of trees
To every tree we associate a filtered cochain complex. Its cohomology and the corresponding spectral sequence have clear combinatorial description. If a tree is the Dynkin diagram of a simple plane curve singularity, the graded Euler characteristic of this complex coincides with the Alexander polynomial of the link. In this case we also point the relation to the Heegard-Floer homology theory, constructed by P. Ozsvath and Z. Szabo.
Confirming Two Conjectures of Su and Wang
Published in Adv. in Appl. Math. 43 (2009) 317--322
• View Publication
• BIB
Two conjectures of Su and Wang (2008) concerning binomial coefficients are proved. For $n\geq k\geq 0$ and $b>a>0$, we show that the finite sequence $C_j=\binom{n+ja}{k+jb}$ is a Pólya frequency sequence. For $n\geq k\geq 0$ and $a>b>0$, we show that there exists an integer $m\geq 0$ such that the infinite sequence $\binom{n+ja}{k+jb}, j=0, 1,...$, is log-concave for $0\leq j\leq m$ and log-convex for $j\geq m$. The proof of the first result exploits the connection between total positivity and planar networks, while that of the second uses a variation-diminishing property of the Laplace transform.
Lower bounds for weak epsilon-nets and stair-convexity
Published in Israel Journal of Mathematics, 182:199-228, 2011
• View Publication
• BIB
A set N is called a "weak epsilon-net" (with respect to convex sets) for a finite set X in R^d if N intersects every convex set that contains at least epsilon*|X| points of X. For every fixed d>=2 and every r>=1 we construct sets X in R^d for which every weak (1/r)-net has at least Omega(r log^{d-1} r) points; this is the first superlinear lower bound for weak epsilon-nets in a fixed dimension.
The construction is a "stretched grid", i.e., the Cartesian product of d suitable fast-growing finite sequences, and convexity in this grid can be analyzed using "stair-convexity", a new variant of the usual notion of convexity.
We also consider weak epsilon-nets for the diagonal of our stretched grid in R^d, d>=3, which is an "intrinsically 1-dimensional" point set. In this case we exhibit slightly superlinear lower bounds (involving the inverse Ackermann function), showing that upper bounds by Alon, Kaplan, Nivasch, Sharir, and Smorodinsky (2008) are not far from the truth in the worst case.
Using the stretched grid we also improve the known upper bound for the so-called "second selection lemma" in the plane by a logarithmic factor: We obtain a set T of t triangles with vertices in an n-point set in the plane such that no point is contained in more than O(t^2 / (n^3 log (n^3/t))) triangles of T.
On potentially $K_6-C_5$ graphic sequences
For given a graph $H$, a graphic sequence $π=(d_1,d_2,...,d_n)$ is said to be potentially $H$-graphic if there exists a realization of $π$ containing $H$ as a subgraph. In this paper, we characterize the potentially $K_6-C_5$ -graphic sequences.
On the Bose-Einstein distribution and Bose condensation
For a system of identical Bose particles sitting on integer energy levels, we give sharp estimates for the convergence of the sequence of occupation numbers to the Bose-Einstein distribution and for the Bose condensation effect.