Showing 20 papers (Total: 83502 papers, 48219 authors in database)
On generalized Ramsey numbers of Erdős and Rogers
Published
• View Publication
• BIB
Extending the concept of Ramsey numbers, Erd{\H o}s and Rogers introduced the following function. For given integers $2\le s<t$ let $$ f_{s,t}(n)=\min \{\max \{|W| : W\subseteq V(G) {and} G[W] {contains no} K_s\} \}, $$ where the minimum is taken over all $K_t$-free graphs $G$ of order $n$. In this paper, we show that for every $s\ge 3$ there exist constants $c_1=c_1(s)$ and $c_2=c_2(s)$ such that $f_{s,s+1}(n) \le c_1 (\log n)^{c_2} \sqrt{n}$. This result is best possible up to a polylogarithmic factor. We also show for all $t-2 \geq s \geq 4$, there exists a constant $c_3$ such that $f_{s,t}(n) \le c_3 \sqrt{n}$. In doing so, we partially answer a question of Erdős by showing that $\lim_{n\to \infty} \frac{f_{s+1,s+2}(n)}{f_{s,s+2}(n)}=\infty$ for any $s\ge 4$.
On Totally Positive Matrices and Geometric Incidences
Published
• View Publication
• BIB
A matrix is called totally positive if every minor of it is positive. Such matrices are well studied and have numerous applications in Mathematics and Computer Science. We study how many times the value of a minor can repeat in a totally positive matrix and show interesting connections with incidence problems in combinatorial geometry. We prove that the maximum possible number of repeated $d \times d$-minors in a $d \times n$ totally-positive matrix is $O(n^{d-\frac{d}{d+1}})$. For the case $d=2$ we also show that our bound is optimal. We consider some special families of totally postive matrices to show non-trivial lower bounds on the number of repeated minors. In doing so, we arrive at a new interesting problem: How many unit-area and axis-parallel rectangles can be spanned by two points in a set of $n$ points in the plane? This problem seems to be interesting in its own right especially since it seem to have a flavor of additive combinatorics and relate to interesting incidence problems where considering only the topology of the curves involved is not enough. We prove an upper bound of $O(n^{\frac{4}{3}})$ and provide a lower bound of $n^{1+\frac{1}{O(\log\log n)}}$.
Hypergeometric Functions I
This is the typewritten version of a handwritten manuscript which was completed by Ian G. Macdonald in 1987 or 1988. The manuscript is a very informal working paper, never intended for formal publication. Nevertheless, copies of the manuscript have circulated widely, giving rise to quite a few citations in the subsequent 25 years. Therefore it seems justified to make the manuscript available for the whole mathematical community. The author kindly gave his permission that a typewritten version be posted on arXiv.
Proof of two conjectures of Ciucu and Krattenthaler on the enumeration of lozenge tilings of hexagons with cut off corners
Published
• View Publication
• BIB
In their 2002 paper, Ciucu and Krattenthaler proved several product formulas for the number of lozenge tilings of various regions obtained from a centrally symmetric hexagon on the triangular lattice by removing maximal staircase regions from two non-adjacent corners. For the case when the staircases are removed from adjacent corners of the hexagon, they presented two conjectural formulas, whose proofs, as they remarked, seemed at the time "a formidable task". In this paper we prove those two conjectures. Our proofs proceed by first generalizing the conjectures, and then proving them by induction, using Kuo's graphical condensation method.
Set Systems Containing Many Maximal Chains
Published in Combinator. Probab. Comp. 24 (2015) 480-485
• View Publication
• BIB
The purpose of this short problem paper is to raise an extremal question on set systems which seems to be natural and appealing. Our question is: which set systems of a given size maximise the number of $(n+1)$-element chains in the power set $\mathcal{P}(\{1,2,\dots,n\})$? We will show that for each fixed $α>0$ there is a family of $α2^n$ sets containing $(α+o(1))n!$ such chains, and that this is asymptotically best possible. For smaller set systems we are unable to answer the question. We conjecture that a `tower of cubes' construction is extremal. We finish by mentioning briefly a connection to an extremal problem on posets and a variant of our question for the grid graph.
DNA origami and the complexity of Eulerian circuits with turning costs
Published
• View Publication
• BIB
Building a structure using self-assembly of DNA molecules by origami folding requires finding a route for the scaffolding strand through the desired structure. When the target structure is a 1-complex (or the geometric realization of a graph), an optimal route corresponds to an Eulerian circuit through the graph with minimum turning cost. By showing that it leads to a solution to the 3-SAT problem, we prove that the general problem of finding an optimal route for a scaffolding strand for such structures is NP-hard. We then show that the problem may readily be transformed into a Traveling Salesman Problem (TSP), so that machinery that has been developed for the TSP may be applied to find optimal routes for the scaffolding strand in a DNA origami self-assembly process. We give results for a few special cases, showing for example that the problem remains intractable for graphs with maximum degree 8, but is polynomial time for 4-regular plane graphs if the circuit is restricted to following faces. We conclude with some implications of these results for related problems, such as biomolecular computing and mill routing problems.
SEFE with No Mapping via Large Induced Outerplane Graphs in Plane Graphs
Published
• View Publication
• BIB
We show that every $n$-vertex planar graph admits a simultaneous embedding with no mapping and with fixed edges with any $(n/2)$-vertex planar graph. In order to achieve this result, we prove that every $n$-vertex plane graph has an induced outerplane subgraph containing at least $n/2$ vertices. Also, we show that every $n$-vertex planar graph and every $n$-vertex planar partial 3-tree admit a simultaneous embedding with no mapping and with fixed edges.
Overlap Cycles for Permutations: Necessary and Sufficient Conditions
Published
• View Publication
• BIB
Universal cycles are generalizations of de Bruijn cycles and Gray codes that were introduced originally by Chung, Diaconis, and Graham in 1992. They have been developed by many authors since, for various combinatorial objects such as strings, subsets, permutations, partitions, vector spaces, and designs. One generalization of universal cycles, which require almost complete overlap of consecutive words, is $s$-overlap cycles, which relax such a constraint. In this paper we study permutations and some closely related class of strings, namely juggling sequences and functions. We prove the existence of $s$-overlap cycles for these objects, as they do not always lend themselves to the universal cycle structure.
Equivalence Classes of Permutations Modulo Replacements Between 123 and Two-Integer Patterns
Published
• View Publication
• BIB
We explore a new type of replacement of patterns in permutations, suggested by James Propp, that does not preserve the length of permutations. In particular, we focus on replacements between 123 and a pattern of two integer elements. We apply these replacements in the classical sense; that is, the elements being replaced need not be adjacent in position or value. Given each replacement, the set of all permutations is partitioned into equivalence classes consisting of permutations reachable from one another through a series of bi-directional replacements. We break the eighteen replacements of interest into four categories by the structure of their classes and fully characterize all of their classes.
Normal 0-1 polytopes
We study the question of when 0-1 polytopes are normal or, equivalently, having the integer decomposition property. In particular, we shall associate to each 0-1 polytope a labeled hypergraph, and examine the equality between its Ehrhart and polytopal rings via the combinatorial structures of the labeled hypergraph.
Abelian complexity function of the Tribonacci word
Published in J. Integer Seq. 18 (2015), Article 15.3.4
• Search Publication
According to a result of Richomme, Saari and Zamboni, the abelian complexity of the Tribonacci word satisfies $ρ^{\mathrm{ab}}(n)\in\{3,4,5,6,7\}$ for each $n\in\mathbb{N}$. In this paper we derive an automaton that evaluates the function $ρ^{\mathrm{ab}}(n)$ explicitly. The automaton takes the Tribonacci representation of $n$ as its input; therefore, $(ρ^{\mathrm{ab}}(n))_{n\in\mathbb{N}}$ is an automatic sequence in a generalized sense. Since our evaluation of $ρ^{\mathrm{ab}}(n)$ uses $\mathcal{O}(\log n)$ operations, it is fast even for large values of $n$. Our result also leads to a solution of an open problem proposed by Richomme et al. concerning the characterization of those $n$ for which $ρ^{\mathrm{ab}}(n)=c$ with $c$ belonging to $\{4,5,6,7\}$. In addition, we apply the same approach on the $4$-bonacci word. In this way we find a description of the abelian complexity of the $4$-bonacci word, too.
Concentration of the Stationary Distribution on General Random Directed Graphs
We consider a random model for directed graphs whereby an arc is placed from one vertex to another with a prescribed probability which may vary from arc to arc. Using perturbation bounds as well as Chernoff inequalities, we show that the stationary distribution of a Markov process on a random graph is concentrated near that of the "expected" process under mild conditions. These conditions involve the ratio between the minimum and maximum in- and out-degrees, the ratio of the minimum and maximum entry in the stationary distribution, and the smallest singu- lar value of the transition matrix. Lastly, we give examples of applications of our results to well-known models such as PageRank and G(n, p).
Numerical Stability and Catalan Numbers
To predict allowable time-step size for the fully discretized nonlinear differential equations, a stability theory is developed using exact determination of an infinite perturbation series. Mathematical induction is used to determine the coefficients of the series. It is discovered that the closed-form equation for the nonlinear shift of generic polynomial non-linearity can be written as a series expansion where the coefficients are the Pfaff-Fuss-Catalan numbers in Combinatorics. This reveals criteria which can be used to analytically determine the allowable time step. It is shown that stability region decreases when the nonlinearity of the differential equation increases. Therefore, the maximum allowable time step is severely limited by the nonlinearity even if an unconditionally stable scheme (in a linear sense) is used. The theory is applied to general system of time-dependent nonlinear Partial Differential Equations.
Plane partitions with 2-periodic weights
Published
• View Publication
• BIB
We study scaling limits of skew plane partitions with periodic weights under several boundary conditions. We compute the correlation kernel of the limiting point process in the bulk and near turning points on the frozen boundary. The turning points that appear in the homogeneous case split in our model into pairs of turning points macroscopically separated by a "semi-frozen" region. As a result the point process at a turning point is not the GUE minor process, but rather a pair of GUE minor processes, non-trivially correlated.
We also study an intermediate regime when the weights are periodic but all converge to 1. In this regime the limit shape and correlations in the bulk are the same as in the case of homogeneous weights and periodicity is not visible in the bulk. However, the process at turning points is still not the GUE minor process.
A neighborhood condition for fractional ID-[a,b]-factor-critical graphs
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$, and let $a$ and $b$ be two integers with $1\leq a\leq b$. Let $h: E(G)\rightarrow [0,1]$ be a function. If $a\leq\sum_{e\ni x}h(e)\leq b$ holds for any $x\in V(G)$, then we call $G[F_h]$ a fractional $[a,b]$-factor of $G$ with indicator function $h$ where $F_h=\{e\in E(G): h(e)>0\}$. A graph $G$ is fractional independent-set-deletable $[a,b]$-factor-critical (in short, fractional ID-$[a,b]$-factor-critical) if $G-I$ has a fractional $[a,b]$-factor for every independent set $I$ of $G$. In this paper, it is proved that if $n\geq\frac{(a+2b)(2a+2b-3)+1}{b}$, $δ(G)\geq\frac{bn}{a+2b}+a$ and $|N_G(x)\cup N_G(y)|\geq\frac{(a+b)n}{a+2b}$ for any two nonadjacent vertices $x,y\in V(G)$, then $G$ is fractional ID-$[a,b]$-factor-critical. Furthermore, it is shown that this result is best possible in some sense.
The cogrowth series for $\mathrm{BS}(N,N)$ is D-finite
Published in International Journal of Algebra and Computation 24 (2014) Issue 2 pages 171-187
• View Publication
• BIB
We compute the cogrowth series for Baumslag-Solitar groups $\mathrm{BS}(N,N) = < a,b | a^N b = b a^N > $, which we show to be D-finite. It follows that their cogrowth rates are algebraic numbers.
Equal Entries in Totally Positive Matrices
Published
• View Publication
• BIB
We show that the maximal number of equal entries in a totally positive (resp. totally nonsingular) $n\textrm{-by-}n$ matrix is $Θ(n^{4/3})$ (resp. $Θ(n^{3/2}$)). Relationships with point-line incidences in the plane, Bruhat order of permutations, and $TP$ completability are also presented. We also examine the number and positionings of equal $2\textrm{-by-}2$ minors in a $2\textrm{-by-}n$ $TP$ matrix, and give a relationship between the location of equal $2\textrm{-by-}2$ minors and outerplanar graphs.
Positivity properties of Jacobi-Stirling numbers and generalized Ramanujan polynomials
Published
• View Publication
• BIB
Generalizing recent results of Egge and Mongelli, we show that each diagonal sequence of the Jacobi-Stirling numbers $\js(n,k;z)$ and $\JS(n,k;z)$ is a Pólya frequency sequence if and only if $z\in [-1, 1]$ and study the $z$-total positivity properties of these numbers. Moreover, the polynomial sequences $$\biggl\{\sum_{k=0}^n\JS(n,k;z)y^k\biggr\}_{n\geq 0}\quad \text{and} \quad \biggl\{\sum_{k=0}^n\js(n,k;z)y^k\biggr\}_{n\geq 0}$$ are proved to be strongly $\{z,y\}$-log-convex. In the same vein, we extend a recent result of Chen et al. about the Ramanujan polynomials to Chapoton's generalized Ramanujan polynomials. Finally, bridging the Ramanujan polynomials and a sequence arising from the Lambert $W$ function, we obtain a neat proof of the unimodality of the latter sequence, which was proved previously by Kalugin and Jeffrey.
Monomial bases for free pre-Lie algebras
Published
• View Publication
• BIB
In this paper, we study the concept of free pre-Lie algebra generated by a (non-empty) set. We review the construction of A. Agrachev and R. Gamkrelidze of monomial bases in free pre-Lie algebras. We describe the matrix of the monomial basis vectors in terms of the rooted trees basis exhibited by F. Chapoton and M. Livernet. We also show that this matrix is unipotent and we find an explicit expression for its coefficients.
Complexities of relational structures
Published
• View Publication
• BIB
The relational complexity, introduced by G. Cherlin, G. Martin, and D. Saracino, is a measure of ultrahomogeneity of a relational structure. It provides an information on minimal arity of additional invariant relations needed to turn given structure into an ultrahomogeneous one. The original motivation was group theory. This work focuses more on structures and provides an alternative approach. Our study is motivated by related concept of lift complexity studied by Hubicka and Nesetril.