Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Labeled Packing of Non Star Tree into its Fifth Power and Sixth Power
In this paper we prove that we can find a labeled packing of a non star tree $T$ into $T^6$ with $m_T+\lceil\frac{n-m_T}{5}\rceil$ labels, where $n$ is the number of vertices of $T$ and $m_T$ is the maximum number of leaves that can be removed from $T$ in such a way that the obtained graph is a non star tree. Also, we prove that we can find a labeled packing of a non star tree $T$ into $T^5$ with $m_T+1$ labels and a labeled packing of a path $P_n$, $n\geq 4$, into $P_n^4$ with $\lceil \frac{n}{4}\rceil$ labels.
A special class of Hankel determinants
In this expository paper we compute Hankel determinants of some sequences whose generating functions are given by C-fractions and derive orthogonality properties for associated polynomials.
Recurrences for some sequences of binomial sums II: A simpler approach
Due to some results by John P. D Angelo and Dusty Grundmeier about CR- mappings the main results of my 2001 paper about recurrences for some sequences of binomial sums can be simplified.
On a generalization of Kelly's combinatorial lemma
Published
• View Publication
• BIB
Kelly's combinatorial lemma is a basic tool in the study of Ulam's reconstruction conjecture. A generalization in terms of a family of t-elements subsets of a v-element set was given by Pouzet. We consider a version of this generalization modulo a prime p. We give illustrations to graphs and tournaments.
Additive and multiplicative structure of c$^{\star}$-sets
It is known that for an IP${^\star}$ set $A$ in $\mathbb{N}$ and a sequence $< x_{n}>_{n=1}^{\infty}$ there exists a sum subsystem $< y_{n}>_{n=1}^{\infty}$ of $< x_{n}>_{n=1}^{\infty}$ such that
$FS(< y_n>_{n=1}^\infty)\cup FP(< y_n>_{n=1}^\infty)\subseteq A$. Similar types of results also have been proved for central* sets where the sequences have been taken from the class of minimal sequences. In this present work we will prove some analogues results for C$^{\star}$-sets for a more general class of sequences.
Probabilistic existence of regular combinatorial structures
Published in Geom. Funct. Anal. 27 (2017), 919-972
• View Publication
• BIB
We show the existence of regular combinatorial objects which previously were not known to exist. Specifically, for a wide range of the underlying parameters, we show the existence of non-trivial orthogonal arrays, t-designs, and t-wise permutations. In all cases, the sizes of the objects are optimal up to polynomial overhead. The proof of existence is probabilistic. We show that a randomly chosen structure has the required properties with positive yet tiny probability. Our method allows also to give rather precise estimates on the number of objects of a given size and this is applied to count the number of orthogonal arrays, t-designs and regular hypergraphs. The main technical ingredient is a special local central limit theorem for suitable lattice random walks with finitely many steps.
Weak abelian periodicity of infinite words
Published
• View Publication
• BIB
We say that an infinite word w is weak abelian periodic if it can be factorized into finite words with the same frequencies of letters. In the paper we study properties of weak abelian periodicity, its relations with balance and frequency. We establish necessary and sufficient conditions for weak abelian periodicity of fixed points of uniform binary morphisms. Also, we discuss weak abelian periodicity in minimal subshifts.
Transfinite game values in infinite chess
We investigate the transfinite game values arising in infinite chess, providing both upper and lower bounds on the supremum of these values---the omega one of chess---with two senses depending on whether one considers only finite positions or also positions with infinitely many pieces. For lower bounds, we present specific infinite positions with transfinite game values of omega, omega^2, omega^2 times k, and omega^3. By embedding trees into chess, we show that there is a computable infinite chess position that is a win for white if the players are required to play according to a deterministic computable strategy, but which is a draw without that restriction. Finally, we prove that every countable ordinal arises as the game value of a position in infinite three-dimensional chess, and consequently the omega one of infinite three-dimensional chess is as large as it can be, namely, true omega one.
f-vectors implying vertex decomposability
Published in Discrete & Computational Geometry 49 (2013), no. 2, 296-301
• View Publication
• BIB
We prove that if a pure simplicial complex of dimension d with n facets has the least possible number of (d-1)-dimensional faces among all complexes with n faces of dimension d, then it is vertex decomposable. This answers a question of J. Herzog and T. Hibi. In fact we prove a generalization of their theorem using combinatorial methods.
Bounding the distinguishing number of infinite graphs
Published
• View Publication
• BIB
A group of permutations G of a set V is k-distinguishable if there exists a partition of V into k parts such that only the identity permutation in G fixes setwise all of the cells of the partition. The least cardinal number k such that (G,V) is k-distinguishable is its distinguishing number. In particular, a graph X is k-distinguishable if its automorphism group Aut(X) has distinguishing number at most k in its action on the vertices of X.
Various results in the literature demonstrate that when an infinite graph fails to have some property, then often some finite subgraph is similarly deficient. In this paper we show that whenever an infinite connected graph X is not k-distinguishable (for a given cardinal k), then it contains a ball B of finite radius whose distinguishing number is at least k. Moreover, this lower bound cannot be sharpened, since for any integer k greater than 3 there exists an infinite, locally finite, connected graph X that is not k-distinguishable but in which every ball of finite radius is k-distinguishable.
In the second half of this paper we show that a large distinguishing number for an imprimitive graph X is traceable to a high distinguishing number either of a block of imprimitivity or of the induced action of Aut(X) on the corresponding system of imprimitivity. The distinguishing numbers of infinite primitive graphs have been examined in detail in a previous paper by the authors together with Tom W. Tucker.
Quaternary matroids are vf-safe
Binary delta-matroids are closed under vertex flips, which consist of the natural operations of twist and loop complementation. In this note we provide an extension of this result from GF(2) to GF(4). As a consequence, quaternary matroids are "safe" under vertex flips (vf-safe for short). As an application, we find that the matroid of a bicycle space of a quaternary matroid is independent of the chosen representation. This extends a result of Vertigan [J. Comb. Theory B (1998)] concerning the bicycle dimension of quaternary matroids.
Every totally real algebraic integer is a tree eigenvalue
Published
• View Publication
• BIB
Graph eigenvalues are examples of totally real algebraic integers, i.e. roots of real-rooted monic polynomials with integer coefficients. Conversely, the fact that every totally real algebraic integer occurs as an eigenvalue of some finite graph is a deep result, conjectured forty years ago by Hoffman, and proved seventeen years later by Estes. This short paper provides an independent and elementary proof of a stronger statement, namely that the graph may actually be chosen to be a tree. As a by-product, our result implies that the atoms of the limiting spectrum of $n\times n$ symmetric matrices with independent Bernoulli$\,\left(\frac{c}{n}\right)$ entries ($c>0$ is fixed as $n\to\infty$) are exactly the totally real algebraic integers. This settles an open problem raised by Ben Arous (2010).
Cores of Vertex Transitive Graphs
Published
• View Publication
• BIB
A core of a graph X is a vertex minimal subgraph to which X admits a homomorphism. Hahn and Tardif have shown that for vertex transitive graphs, the size of the core must divide the size of the graph. This motivates the following question: when can the vertex set of a vertex transitive graph be partitioned into sets each of which induce a copy of its core? We show that normal Cayley graphs and vertex transitive graphs with cores half their size always admit such partitions. We also show that the vertex sets of vertex transitive graphs with cores less than half their size do not, in general, have such partitions.
Free but not recursively free arrangements
Published
• View Publication
• BIB
We construct counterexamples to the conjecture that every free arrangement is recursively free in characteristic zero. The intersection lattice of our smallest example has a realization over a finite field which is recursively free, thus recursive freeness is not a combinatorial property of the intersection lattice of an arrangement.
Pattern Count on Multiply Restricted Permutations
Previous work has studied the pattern count on singly restricted permutations. In this work, we focus on patterns of length 3 in multiply restricted permutations, especially for double and triple pattern-avoiding permutations. We derive explicit formulae or generating functions for various occurrences of length 3 patterns on multiply restricted permutations, as well as some combinatorial interpretations for non-trivial pattern relationships.
An analogue to the Witt identity
Published
• View Publication
• BIB
In this paper we solve combinatorial and algebraic problems associated with a multivariate identity first considered by S. Sherman wich he called an analog to the Witt identity. We extend previous results obtained for the univariante case.
Some Remarks on Graphical Sequences for Graphs and Bipartite Graphs
For finite sequence $\underbar{\em d}$ of positive integers, we consider graphs that have $\underbar{\em d}$ as their list of vertex degrees, and bipartite graphs for which each part has $\underbar{\em d}$ as its list of vertex degrees. In particular, we make a connection between a result for bipartite graphs by Alon, Ben-Shimon and Krivelevich and a result of Zverovich and Zverovich for graphs, and we give an improvement of a result of Zverovich and Zverovich. We show that the bipartite graphs with vertex degree sequences $(\underbar{\em d},\underbar{\em d}\,)$ are in one to one correspondence with graphs with loops with reduced degree sequence $\underbar{\em d}$, where the reduced degree of a vertex is defined to be the number of edges incident to the vertex, with loops counted only once. We also give two Erdős--Gallai type theorems for graphs with loops.
Arithmetic properties of the $\ell$-regular partitions
Published
• View Publication
• BIB
For a given prime $p$, we study the properties of the $p$-dissection identities of Ramanujan's theta functions $ψ(q)$ and $f(-q)$, respectively. Then as applications, we find many infinite family of congruences modulo 2 for some $\ell$-regular partition functions, especially, for $\ell=2,4,5,8,13,16$. Moreover, based on the classical congruences for $p(n)$ given by Ramanujan, we obtain many more congruences for some $\ell$-regular partition functions.
The number of binary rotation words
Published in RAIRO-Theor. Inf. Appl. 48 (2014) 453-465
• View Publication
• BIB
We consider binary rotation words generated by partitions of the unit circle to two intervals and give a precise formula for the number of such words of length n. We also give the precise asymptotics for it, which happens to be O(n^4). The result continues the line initiated by the formula for the number of all Sturmian words obtained by Lipatov in 1982, then independently by Berenstein, Kanal, Lavine and Olson in 1987, Mignosi in 1991, and then with another technique by Berstel and Pocchiola in 1993.
Variations of the Morse-Hedlund Theorem for $k$-Abelian Equivalence
In this paper we investigate local to global phenomena for a new family of complexity functions of infinite words indexed by $k \in \Ni \cup \{+\infty\}$ where $\Ni$ denotes the set of positive integers. Two finite words $u$ and $v$ in $A^*$ are said to be $k$-Abelian equivalent if for all $x \in A^*$ of length less than or equal to $k$, the number of occurrences of $x$ in $u$ is equal to the number of occurrences of $x$ in $v$. This defines a family of equivalence relations $\sim_k$ on $A^*$, bridging the gap between the usual notion of Abelian equivalence (when $k = 1$) and equality (when $k = +\infty$). Given an infinite word $w \in A^ω$, we consider the associated complexity function $\mathcal P^{(k)}_w : \Ni \rightarrow \Ni$ which counts the number of $k$-Abelian equivalence classes of factors of $w$ of length $n$. As a whole, these complexity functions have a number of common features: Each gives a characterization of periodicity in the context of bi-infinite words, and each can be used to characterize Sturmian words in the framework of aperiodic one-sided infinite words. Nevertheless, they also exhibit a number of striking differences, the study of which is one of the main topics of our paper.