Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Fast computation of Bernoulli, Tangent and Secant numbers
Published in Springer Proceedings in Mathematics and Statistics, Vol. 50, 2013, 127-142
• View Publication
• BIB
We consider the computation of Bernoulli, Tangent (zag), and Secant (zig or Euler) numbers. In particular, we give asymptotically fast algorithms for computing the first n such numbers in O(n^2.(log n)^(2+o(1))) bit-operations. We also give very short in-place algorithms for computing the first n Tangent or Secant numbers in O(n^2) integer operations. These algorithms are extremely simple, and fast for moderate values of n. They are faster and use less space than the algorithms of Atkinson (for Tangent and Secant numbers) and Akiyama and Tanigawa (for Bernoulli numbers).
Optimal realisations of two-dimensional, totally-decomposable metrics
Published
• View Publication
• BIB
A realisation of a metric $d$ on a finite set $X$ is a weighted graph $(G,w)$ whose vertex set contains $X$ such that the shortest-path distance between elements of $X$ considered as vertices in $G$ is equal to $d$. Such a realisation $(G,w)$ is called optimal if the sum of its edge weights is minimal over all such realisations. Optimal realisations always exist, although it is NP-hard to compute them in general, and they have applications in areas such as phylogenetics, electrical networks and internet tomography. In [Adv. in Math. 53, 1984, 321-402] A.~Dress showed that the optimal realisations of a metric $d$ are closely related to a certain polytopal complex that can be canonically associated to $d$ called its tight-span. Moreover, he conjectured that the (weighted) graph consisting of the zero- and one-dimensional faces of the tight-span of $d$ must always contain an optimal realisation as a homeomorphic subgraph. In this paper, we prove that this conjecture does indeed hold for a certain class of metrics, namely the class of totally"=decomposable metrics whose tight-span has dimension two. As a corollary, it follows that the minimum Manhattan network problem is a special case of finding optimal realisations of two-dimensional totally-decomposable metrics.
A new lower bound based on Gromov's method of selecting heavily covered points
Published
• View Publication
• BIB
Boros and Furedi (for d=2) and Barany (for abritrary d) proved that there exists a positive real number c_d such that for every set P of n points in R^d in general position, there exists a point of R^d contained in at least c_d n!/(d+1)!(n-d-1)! d-simplices with vertices at the points of P. Gromov improved the lower bound on c_d by topological means. Using methods from extremal combinatorics, we improve one of the quantities appearing in Gromov's approach and thereby provide a new stronger lower bound on c_d for arbitrary d. In particular, we improve the lower bound on c_3 from 0.06332 to more than 0.07480; the best upper bound known on c_3 being 0.09375.
Noise Sensitivity in Continuum Percolation
Published in Israel Journal of Mathematics, 201(2): 847-899, 2014
• View Publication
• BIB
We prove that the Poisson Boolean model, also known as the Gilbert disc model, is noise sensitive at criticality. This is the first such result for a Continuum Percolation model, and the first for which the critical probability p_c \ne 1/2. Our proof uses a version of the Benjamini-Kalai-Schramm Theorem for biased product measures. A quantitative version of this result was recently proved by Keller and Kindler. We give a simple deduction of the non-quantitative result from the unbiased version. We also develop a quite general method of approximating Continuum Percolation models by discrete models with p_c bounded away from zero; this method is based on an extremal result on non-uniform hypergraphs.
Integer compositions with part sizes not exceeding k
We study the compositions of an integer n whose part sizes do not exceed a fixed integer k. We use the methods of analytic combinatorics to obtain precise asymptotic formulas for the number of such compositions, the total number of parts among all such compositions, the expected number of parts in such a composition, the total number of times a particular part size appears among all such compositions, and the expected multiplicity of a given part size in such a composition. Along the way we also obtain recurrences and generating functions for calculating several of these quantities. Our results also apply to questions about certain kinds of tilings and rhythm patterns.
Transitive A_6-invariant k-arcs in PG(2,q)
Published
• View Publication
• BIB
For $q=p^r$ with a prime $p\ge 7$ such that $q \equiv 1$ or $19\pmod {30},$ the desarguesian projective plane $PG(2,q)$ of order $q$ has a unique conjugacy class of projectivity groups isomorphic to the alternating group $A_6$ of degree 6. For a projectivity group $Γ\cong A_6$ of $PG(2,q)$, we investigate the geometric properties of the (unique) $Γ$-orbit $\mathcal{O}$ of size 90 such that the 1-point stabilizer of $Γ$ in $\mathcal O$ is a cyclic group of order 4. Here $\mathcal O$ lies either in $PG(2,q)$ or in $PG(2,q^2)$ according as 3 is a square or a non-square element in $GF(q)$. We show that if $q\geq 349$ and $q\neq 421$, then $\mathcal O$ is a 90-arc, which turns out to be complete for $q=349, 409, 529, 601,661.$ Interestingly, $\mathcal O$ is the smallest known complete arc in $PG(2,601)$ and in $PG(2,661).$ Computations are carried out by MAGMA.
Mixing times are hitting times of large sets
Published
• View Publication
• BIB
We consider irreducible reversible discrete time Markov chains on a finite state space. Mixing times and hitting times are fundamental parameters of the chain. We relate them by showing that the mixing time of the lazy chain is equivalent to the maximum over initial states x and large sets A of the hitting time of A starting from x. We also prove that the first time when averaging over two consecutive time steps is close to stationarity is equivalent to the mixing time of the lazy version of the chain.
Toric Topology. Chapter 3: Commutative and homological algebra of face rings
This is the third chapter in our "Toric Topology" book project. Further chapters are coming. Comments and suggestions are very welcome.
On the Complexity of Planar Covering of Small Graphs
The problem Cover(H) asks whether an input graph G covers a fixed graph H (i.e., whether there exists a homomorphism G to H which locally preserves the structure of the graphs). Complexity of this problem has been intensively studied. In this paper, we consider the problem PlanarCover(H) which restricts the input graph G to be planar.
PlanarCover(H) is polynomially solvable if Cover(H) belongs to P, and it is even trivially solvable if H has no planar cover. Thus the interesting cases are when H admits a planar cover, but Cover(H) is NP-complete. This also relates the problem to the long-standing Negami Conjecture which aims to describe all graphs having a planar cover. Kratochvil asked whether there are non-trivial graphs for which Cover(H) is NP-complete but PlanarCover(H) belongs to P.
We examine the first nontrivial cases of graphs H for which Cover(H) is NP-complete and which admit a planar cover. We prove NP-completeness of PlanarCover(H) in these cases.
A Note on Even Cycles and Quasi-Random Tournaments
Published
• View Publication
• BIB
A cycle C={v_1,v_2,....,v_1} in a tournament T is said to be even, if when walking along C, an even number of edges point in the wrong direction, that is, they are directed from v_{i+1} to v_i. In this short paper, we show that for every fixed even integer k >= 4, if close to half of the k-cycles in a tournament T are even, then T must be quasi-random. This resolves an open question raised in 1991 by Chung and Graham
The Hopf algebra of odd symmetric functions
Published in Advances in Mathematics 231 (2), 965--999, 2012
• View Publication
• BIB
We consider a q-analogue of the standard bilinear form on the commutative ring of symmetric functions. The q=-1 case leads to a Z-graded Hopf superalgebra which we call the algebra of odd symmetric functions. In the odd setting we describe counterparts of the elementary and complete symmetric functions, power sums, Schur functions, and combinatorial interpretations of associated change of basis relations.
The 1/3-2/3 conjecture for $N$-free ordered sets
Published
• View Publication
• BIB
A balanced pair in a finite ordered set $P=(V,\leq)$ is a pair $(x,y)$ of elements of $V$ such that the proportion of linear extensions of $P$ that put $x$ before $y$ is in the real interval $[1/3, 2/3]$. We prove that every finite $N$-free ordered set which is not totally ordered has a balanced pair.
Specified Intersections
Published
• View Publication
• BIB
Let M be a subset of {0, .., n} and F be a family of subsets of an n element set such that the size of A intersection B is in M for every A, B in F. Suppose that l is the maximum number of consecutive integers contained in M and n is sufficiently large. Then we prove that
|F| < min {1.622^n 100^l, 2^{n/2+l log^2 n}}.
The first bound complements the previous bound of roughly (1.99)^n due to Frankl and the second author which applies even when M={0, 1,.., n} - {n/4}. For small l, the second bound above becomes better than the first bound. In this case, it yields 2^{n/2+o(n)} and this can be viewed as a generalization (in an asymptotic sense) of the famous Eventown theorem of Berlekamp.
Our second result complements the result of Frankl-Rodl in a different direction. Fix eps>0 and eps n < t < n/5 and let M={0, 1, .., n)-(t, t+n^{0.525}). Then, in the notation above, we prove that for n sufficiently large,
|F| < n{n \choose (n+t)/2}.
This is essentially sharp aside from the multiplicative factor of n. The short proof uses the Frankl-Wilson theorem and results about the distribution of prime numbers.
Tilings by $(0.5,n)$-Crosses and Perfect Codes
Published
• View Publication
• BIB
The existence question for tiling of the $n$-dimensional Euclidian space by crosses is well known. A few existence and nonexistence results are known in the literature. Of special interest are tilings of the Euclidian space by crosses with arms of length one, known also as Lee spheres with radius one. Such a tiling forms a perfect code. In this paper crosses with arms of length half are considered. These crosses are scaled by two to form a discrete shape. We prove that an integer tiling for such a shape exists if and only if $n=2^t-1$ or $n=3^t-1$, $t>0$. A strong connection of these tilings to binary and ternary perfect codes in the Hamming scheme is shown.
Perfect Codes for Uniform Chains Poset Metrics
The class of poset metrics is very large and contains some interesting families of metrics. A family of metrics, based on posets which are formed from disjoint chains which have the same size, is examined. A necessary and sufficient condition, for the existence of perfect single-error-correcting codes for such poset metrics, is proved.
Collapsibility of CAT(0) spaces
Published
• View Publication
• BIB
Collapsibility is a combinatorial strengthening of contractibility. We relate this property to metric geometry by proving the collapsibility of any complex that is CAT(0) with a metric for which all vertex stars are convex. This strengthens and generalizes a result by Crowley. Further consequences of our work are:
(1) All CAT(0) cube complexes are collapsible.
(2) Any triangulated manifold admits a CAT(0) metric if and only if it admits collapsible triangulations.
(3) All contractible d-manifolds ($d \ne 4$) admit collapsible CAT(0) triangulations. This discretizes a classical result by Ancel--Guilbault.
Maximum spectral radius of graphs with given connectivity and minimum degree
Published
• View Publication
• BIB
Shiu, Chan and Chang [On the spectral radius of graphs with connectivity at most $k$, J. Math. Chem., 46 (2009), 340-346] studied the spectral radius of graphs of order $n$ with $κ(G) \leq k$ and showed that among those graphs, the maximum spectral radius is obtained uniquely at $K_k^n$, which is the graph obtained by joining $k$ edges from $k$ vertices of $K_{n-1}$ to an isolated vertex. In this paper, we study the spectral radius of graphs of order $n$ with $κ(G)\leq k$ and minimum degree $δ(G)\geq k $. We show that among those graphs, the maximum spectral radius is obtained uniquely at $K_{k}+(K_{δ-k+1}\cup K_{n-δ-1})$.
Edge-coloring series-parallel multigraphs
We give a simpler proof of Seymour's Theorem on edge-coloring series-parallel multigraphs and derive a linear-time algorithm to check whether a given series-parallel multigraph can be colored with a given number of colors.
Invariant number triangles, eigentriangles and Somos-4 sequences
Using the language of Riordan arrays, we look at two related iterative processes on matrices and determine which matrices are invariant under these processes. In a special case, the invariant sequences that arise are conjectured to have Hankel transforms that obey Somos-4 recurrences. A notion of eigentriangle for a number triangle emerges and examples are given, including a construction of the Takeuchi numbers.
The adjacency matroid of a graph
Published in Electron. J. Combin. 20 (3) (2013), #P27
• View Publication
• BIB
If $G$ is a looped graph, then its adjacency matrix represents a binary matroid $M_{A}(G)$ on $V(G)$. $M_{A}(G)$ may be obtained from the delta-matroid represented by the adjacency matrix of $G$, but $M_{A}(G)$ is less sensitive to the structure of $G$. Jaeger proved that every binary matroid is $M_{A}(G)$ for some $G$ [Ann. Discrete Math. 17 (1983), 371-376].
The relationship between the matroidal structure of $M_{A}(G)$ and the graphical structure of $G$ has many interesting features. For instance, the matroid minors $M_{A}(G)-v$ and $M_{A}(G)/v$ are both of the form $M_{A}(G^{\prime}-v)$ where $G^{\prime}$ may be obtained from $G$ using local complementation. In addition, matroidal considerations lead to a principal vertex tripartition, distinct from the principal edge tripartition of Rosenstiehl and Read [Ann. Discrete Math. 3 (1978), 195-226]. Several of these results are given two very different proofs, the first involving linear algebra and the second involving set systems or delta-matroids. Also, the Tutte polynomials of the adjacency matroids of $G$ and its full subgraphs are closely connected to the interlace polynomial of Arratia, Bollobás and Sorkin [Combinatorica 24 (2004), 567-584].