Showing 20 papers (Total: 81756 papers, 47371 authors in database)
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.
Resolution of Unmixed Bipartite Graphs
Published
• View Publication
• BIB
For an unmixed bipartite graph $G$ we consider the lattice of vertex covers $\mathcal{L}_G$ and compute depth, projective dimension and extremal Betti-numbers of $R/I(G)$ in terms of this lattice.
Mixed sums of primes and other terms
Published
• View Publication
• BIB
In this paper we study mixed sums of primes and linear recurrences. We show that if m=2(mod 4) and m+1 is a prime then $(m^{2^n-1}-1)/(m-1)\not=m^n+p^a$ for any n=3,4,... and prime power p^a. We also prove that if a>1 is an integer, u_0=0, u_1=1 and u_{i+1}=au_i+u_{i-1} for i=1,2,3,..., then all the sums u_m+au_n (m,n=1,2,3,...) are distinct. One of our conjectures states that any integer n>4 can be written as the sum of an odd prime, an odd Fibonacci number and a positive Fibonacci number.
Simplices and spectra of graphs, continued
Published
• View Publication
• BIB
In this note we show that the n-2-dimensional volumes of codimension 2 faces of an n-dimensional simplex are algebraically independent quantities of the volumes of its edge-lengths. The proof involves computation of the eigenvalues of Kneser graphs. We also construct families of non-congurent simplices not determined by their codimension-2 areas.
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.
On Roman, Global and Restrained Domination in Graphs
Published
• View Publication
• BIB
In this paper, we present new upper bounds for the global domination and Roman domination numbers and also prove that these results are asymptotically best possible. Moreover, we give upper bounds for the restrained domination and total restrained domination numbers for large classes of graphs, and show that, for almost all graphs, the restrained domination number is equal to the domination number, and the total restrained domination number is equal to the total domination number. A number of open problems are posed.
On orthogonal matrices maximizing the 1-norm
Published in Indiana Univ. Math. J. 59 (2010), no. 3, 839-856
• View Publication
• BIB
For $U\in O(N)$ we have $||U||_1\leq N\sqrt{N}$, with equality if and only if $U=H/\sqrt{N}$, with $H$ Hadamard matrix. Motivated by this remark, we discuss in this paper the algebraic and analytic aspects of the computation of the maximum of the 1-norm on O(N). The main problem is to compute the $k$-th moment of the 1-norm, with $k\to\infty$, and we present a number of general comments in this direction.
How the work of Gian Carlo Rota had influenced my group research and life
One outlines here in brief how the work of $Gian Carlo Rota$ had influenced my group research and life, starting from the end of the last century up to present time state of $The Internet Gian Carlo Rota Polish Seminar$. This note has been written for the $Rota Memorial Conference$ to be held on 16-18 Feb 2009, Milan, Italy.
An inverse theorem for the uniformity seminorms associated with the action of $F^ω$
Published in Geom. Funct. Anal. 19 (2010), No. 6, 1539-1596
• View Publication
• BIB
Let $\F$ a finite field. We show that the universal characteristic factor for the Gowers-Host-Kra uniformity seminorm $U^k(\X)$ for an ergodic action $(T_g)_{g \in \F^ω}$ of the infinite abelian group $\F^ω$ on a probability space $X = (X,\B,μ)$ is generated by phase polynomials $φ: X \to S^1$ of degree less than $C(k)$ on $X$, where $C(k)$ depends only on $k$. In the case where $k \leq \charac(\F)$ we obtain the sharp result $C(k)=k$. This is a finite field counterpart of an analogous result for $\Z$ by Host and Kra. In a companion paper to this paper, we shall combine this result with a correspondence principle to establish the inverse theorem for the Gowers norm in finite fields in the high characteristic case $k \leq \charac(\F)$, with a partial result in low characteristic.
Some Open Problems in Combinatorial Physics
We point out four problems which have arisen during the recent research in the domain of Combinatorial Physics.
On homotopy types of Alexandroff spaces
We generalise some results of R. E. Stong concerning finite spaces to wider subclasses of Alexandroff spaces. These include theorems on function spaces, cores and homotopy type. In particular, we characterize pairs of spaces X,Y such that the compact-open topology on C(X,Y) is Alexandroff, introduce the classes of finite-paths and bounded-paths spaces and show that every bounded-paths space and every countable finite-paths space has a core as its strong deformation retract. Moreover, two bounded-paths or countable finite-paths spaces are homotopy equivalent if and only if their cores are homeomorphic. Some results are proved concerning cores and homotopy type of locally finite spaces and spaces of height 1. We also discuss a mistake found in an article of F.G. Arenas on Alexandroff spaces.
It is noted that some theorems of G. Minian and J. Barmak concerning the weak homotopy type of finite spaces and the results of R. E. Stong on finite H-spaces and maps from compact polyhedrons to finite spaces do hold for wider classes of Alexandroff spaces.
Since the category of T_0 Alexandroff spaces is equivalent to the category of posets, our results may lead to a deeper understanding of the notion of a core of an infinite poset.
Converting between quadrilateral and standard solution sets in normal surface theory
Published in Algebr. Geom. Topol. 9 (2009) 2121-2174
• View Publication
• BIB
The enumeration of normal surfaces is a crucial but very slow operation in algorithmic 3-manifold topology. At the heart of this operation is a polytope vertex enumeration in a high-dimensional space (standard coordinates). Tollefson's Q-theory speeds up this operation by using a much smaller space (quadrilateral coordinates), at the cost of a reduced solution set that might not always be sufficient for our needs. In this paper we present algorithms for converting between solution sets in quadrilateral and standard coordinates. As a consequence we obtain a new algorithm for enumerating all standard vertex normal surfaces, yielding both the speed of quadrilateral coordinates and the wider applicability of standard coordinates. Experimentation with the software package Regina shows this new algorithm to be extremely fast in practice, improving speed for large cases by factors from thousands up to millions.
On the Three Colorability of Planar Graphs
The chromatic number of an planar graph is not greater than four and this is known by the famous four color theorem and is equal to two when the planar graph is bipartite. When the planar graph is even-triangulated or all cycles are greater than three we know by the Heawood and the Grotszch theorems that the chromatic number is three. There are many conjectures and partial results on three colorability of planar graphs when the graph has specific cycles lengths or cycles with three edges (triangles) have special distance distributions. In this paper we have given a new three colorability criteria for planar graphs that can be considered as an generalization of the Heawood and the Grotszch theorems with respect to the triangulation and cycles of length greater than 3. We have shown that an triangulated planar graph with disjoint holes is 3-colorable if and only if every hole satisfies the parity symmetric property, where a hole is a cycle (face boundary) of length greater than 3.
On the Constant of Homothety for Covering a Convex Set with Its Smaller Copies
Let $H_d$ denote the smallest integer $n$ such that for every convex body $K$ in $\Re^d$ there is a $0<λ< 1$ such that $K$ is covered by $n$ translates of $λK$. In the book \emph{Research problems in discrete geometry.} by Brass, Moser and Pach, the following problem was posed: Is there a $0<λ_d<1$ depending on $d$ only with the property that every convex body $K$ in $\Re^d$ is covered by $H_d$ translates of $λ_d K$? We prove the affirmative answer to the question and hence show that the Gohberg--Markus--Boltyanski--Hadwiger Conjecture (according to which $H_d\leq 2^d$) holds if, and only if, a formally stronger version of it holds.
On Non-central Stirling Numbers of the First Kind
It is shown in this note that non-central Stirling numbers s(n,k,a) of the first kind naturally appear in the expansion of derivatives of the product of a power function and a logarithn function. We first obtain a recurrence relation for these numbers, and then, using Leibnitz rule we obtain an explicit formula for these numbers. We also obtain an explicit formula for s(n,1,a), and then derive several combinatorial identities related to these numbers.
Projectional entropy and the electrical wire shift
Published
• View Publication
• BIB
In this paper we present an extendible, block gluing $\mathbb Z^3$ shift of finite type $W^{\text{el}}$ in which the topological entropy equals the $L$-projectional entropy for a two-dimensional sublattice $L:=\mathbb Z \vec{e}_1+\mathbb Z\vec{e}_2\subsetneq\mathbb Z^3$, even so $W^{\text{el}}$ is not a full $\mathbb Z$ extension of $W^{\text{el}}_L$. In particular this example shows that Theorem 4.1 of [3] does not generalize to $r$-dimensional sublattices $L$ for $r>1$. Nevertheless we are able to reprove and extend the result about one-dimensional sublattices for general (non-SFT) $\mathbb Z^d$ shifts under the same mixing assumption as in [3] and by posing a stronger mixing condition we also obtain the corresponding statement for higher-dimensional sublattices.
Extensions to the Method of Multiplicities, with applications to Kakeya Sets and Mergers
Published
• View Publication
• BIB
We extend the "method of multiplicities" to get the following results, of interest in combinatorics and randomness extraction. (A) We show that every Kakeya set (a set of points that contains a line in every direction) in $\F_q^n$ must be of size at least $q^n/2^n$. This bound is tight to within a $2 + o(1)$ factor for every $n$ as $q \to \infty$, compared to previous bounds that were off by exponential factors in $n$. (B) We give improved randomness extractors and "randomness mergers". Mergers are seeded functions that take as input $Λ$ (possibly correlated) random variables in $\{0,1\}^N$ and a short random seed and output a single random variable in $\{0,1\}^N$ that is statistically close to having entropy $(1-δ) \cdot N$ when one of the $Λ$ input variables is distributed uniformly. The seed we require is only $(1/δ)\cdot \log Λ$-bits long, which significantly improves upon previous construction of mergers. (C) Using our new mergers, we show how to construct randomness extractors that use logarithmic length seeds while extracting $1 - o(1)$ fraction of the min-entropy of the source.
The "method of multiplicities", as used in prior work, analyzed subsets of vector spaces over finite fields by constructing somewhat low degree interpolating polynomials that vanish on every point in the subset {\em with high multiplicity}. The typical use of this method involved showing that the interpolating polynomial also vanished on some points outside the subset, and then used simple bounds on the number of zeroes to complete the analysis. Our augmentation to this technique is that we prove, under appropriate conditions, that the interpolating polynomial vanishes {\em with high multiplicity} outside the set. This novelty leads to significantly tighter analyses.
On the rotation distance between binary trees
Published
• View Publication
• BIB
We develop combinatorial methods for computing the rotation distance between binary trees, i.e., equivalently, the flip distance between triangulations of a polygon. As an application, we prove that, for each n, there exist size n trees at distance 2n - O(sqrt(n)).
On Free Knots
We prove that for some knot-like objects one can easily recognize non-equivalence w.r.t. all Reidemeister moves by studying some equivalence classes modulo only 2nd Reidemeister moves.
There are applications to virtual knots, graph-links and looped graphs.
The Circular Chromatic Number of the Mycielskian of Mt(Kn)
As a natural generalization of chromatic number of a graph, the circular chromatic number of graphs (or the star chromatic number) was introduced by A.Vince in 1988. Let $M^t(G)$ denote the $t$th iterated Mycielski graph of $G$. It was conjectured by Chang, Huang and Zhu(Discrete mathematics,205(1999), 23-37) that for all $n \ge t+2, χ_c(M^t(K_n))=χ(M^t(K_n))=n+t.$ In 2004, D.D.F. Liu proved the conjecture when $t\ge 2$, $n\ge 2^{t-1}+2t-2$. In this paper,we show that the result can be strengthened to the following: if $t\ge 4$, $n\ge {11/12}2^{t-1}+2t+{1/3}$, then $χ_c(M^t(K_n))=χ(M^t(K_n))$.