Showing 20 papers (Total: 81756 papers, 47371 authors in database)
An Experimental Mathematics Perspective on the Old, and still Open, Question of When To Stop?
Published
• View Publication
• BIB
In a recent article in American Scientist, Theodore Hill described a coin-tossing game whose pay-off is the number of heads over the total number of throws. Suppose that at a given point during the game you have 5 heads and 3 tails, should you stop and get 5/8, or should you keep playing, hoping to get a better score? This is still an open problem. In the present article, we explore different strategies to this game from the Experimental Mathematics perspective.
The distribution of longest run lengths in integer compositions
Published
• View Publication
• BIB
We find the generating function for $C(n,k,r)$, the number of compositions of $n$ into $k$ positive parts all of whose runs (contiguous blocks of constant parts) have lengths less than $r$, using recent generalizations of the method of Guibas and Odlyzko for finding the number of words that avoid a given list of subwords.
Sperner's Lemma, Brouwer's fixed-point theorem, and cohomology
The proof of Brouwer's fixed-point theorem based on Sperner's lemma is often presented as an elementary combinatorial alternative to advanced proofs based on algebraic topology. The goal of this note is to show that: (i) the combinatorial proof of Sperner's Lemma can be considered as a cochain-level version, written in the combinatorial language, of a standard cohomological argument; (ii) the standard deduction of Brouwer's theorem from Sperner's lemma is similar to the usual deduction of Brouwer's theorem from the no-retraction theorem and is closely related to the notion of a simplicial approximation. In order to make these connections transparent, we included the above mentioned standard arguments, so the note is self-contained modulo some basic ideas of combinatorial topology.
Randić index, diameter and the average distance
The Randić index of a graph $G$, denoted by $R(G)$, is defined as the sum of $1/\sqrt{d(u)d(v)}$ over all edges $uv$ of $G$, where $d(u)$ denotes the degree of a vertex $u$ in $G$. In this paper, we partially solve two conjectures on the Randić index $R(G)$ with relations to the diameter $D(G)$ and the average distance $μ(G)$ of a graph $G$. We prove that for any connected graph $G$ of order $n$ with minimum degree $δ(G)$, if $δ(G)\geq 5$, then $R(G)-D(G)\geq \sqrt 2-\frac{n+1} 2$; if $δ(G)\geq n/5$ and $n\geq 15$, $\frac{R(G)}{D(G)} \geq \frac{n-3+2\sqrt 2}{2n-2}$ and $R(G)\geq μ(G)$. Furthermore, for any arbitrary real number $\varepsilon \ (0<\varepsilon<1)$, if $δ(G)\geq \varepsilon n$, then $\frac{R(G)}{D(G)} \geq \frac{n-3+2\sqrt 2}{2n-2}$ and $R(G)\geq μ(G)$ hold for sufficiently large $n$.
Representation theory of the higher order peak algebras
Published in J. Algebraic Combin. 32 (2010), 465-495
• View Publication
• BIB
The representation theory (idempotents, quivers, Cartan invariants and Loewy series) of the higher order unital peak algebras is investigated. On the way, we obtain new interpretations and generating functions for the idempotents of descent algebras introduced in [F. Saliola, J. Algebra 320 (2008) 3866.]
Normality of cut polytopes of graphs is a minor closed property
Published in Discrete Mathematics 310 (2010), 1160--1166
• View Publication
• BIB
Sturmfels-Sullivant conjectured that the cut polytope of a graph is normal if and only if the graph has no K_5 minor. In the present paper, it is proved that the normality of cut polytopes of graphs is a minor closed property. By using this result, we have large classes of normal cut polytopes. Moreover, it turns out that, in order to study the conjecture, it is enough to consider 4-connected plane triangulations.
On signed diagonal flip sequences
Published
• View Publication
• BIB
Eliahou \cite{2} and Kryuchkov \cite{9} conjectured a proposition that Gravier and Payan \cite{4} proved to be equivalent to the Four Color Theorem. It states that any triangulation of a polygon can be transformed into another triangulation of the same polygon by a sequence of signed diagonal flips. It is well known that any pair of polygonal triangulations are connected by a sequence of (non-signed) diagonal flips. In this paper we give a sufficient and necessary condition for a diagonal flip sequence to be a signed diagonal flip sequence.
An Asymptotic Version of a Theorem of Knuth
Published
• View Publication
• BIB
Let $S(d,N)$ denote the number of permutations in the symmetric group on $[N]$ which have no decreasing subsequence of length $d+1.$ We prove that $S(d,dn)$ is asymptotically equal to the number of standard Young tableaux of rectangular shape $R(d,2n)$ in the limit $n \to \infty,$ with $d$ fixed.
Multicommodity Flow in Polynomial Time
Published in Optimization Letters, 5:13--25, 2011
• Search Publication
The multicommodity flow problem is NP-hard already for two commodities over bipartite graphs. Nonetheless, using our recent theory of n-fold integer programming and extensions developed herein, we are able to establish the surprising polynomial time solvability of the problem in two broad situations.
Large cycles in 4-connected graphs
Published
• View Publication
• BIB
Every 4-connected graph $G$ with minimum degree $δ$ and connectivity $κ$ either contains a cycle of length at least $4δ-κ-4$ or every longest cycle in $G$ is a dominating cycle.
Distance statistics in quadrangulations with a boundary, or with a self-avoiding loop
Published in J. Phys. A: Math. Theor. 42 (2009) 465208
• View Publication
• BIB
We consider quadrangulations with a boundary and derive explicit expressions for the generating functions of these maps with either a marked vertex at a prescribed distance from the boundary, or two boundary vertices at a prescribed mutual distance in the map. For large maps, this yields explicit formulas for the bulk-boundary and boundary-boundary correlators in the various encountered scaling regimes: a small boundary, a dense boundary and a critical boundary regime. The critical boundary regime is characterized by a one-parameter family of scaling functions interpolating between the Brownian map and the Brownian Continuum Random Tree. We discuss the cases of both generic and self-avoiding boundaries, which are shown to share the same universal scaling limit. We finally address the question of the bulk-loop distance statistics in the context of planar quadrangulations equipped with a self-avoiding loop. Here again, a new family of scaling functions describing critical loops is discovered.
On the difference between solutions of discrete tomography problems II
We consider the problem of reconstructing binary images from their horizontal and vertical projections. It is known that the projections do not necessarily determine the image uniquely. In a previous paper it was shown that the symmetric difference between two solutions (binary images that satisfy the projections) is at most 4A times the square root of 2N. Here N is the sum of the projections in one direction (i.e. the size of the image) and A is a parameter depending on the projections. In this paper we give a lower bound: for each set of projections that has at least two solutions, we construct two solutions that have a symmetric difference of at least 2A+2. We also show that this is the best possible.
An Upper Bound on the Minimum Weight of Type II $\ZZ_{2k}$-Codes
Published in J. Combin. Theory Ser. A 118 (2010), 190-196
• View Publication
• BIB
In this paper, we give a new upper bound on the minimum Euclidean weight of Type II $\ZZ_{2k}$-codes and the concept of extremality for the Euclidean weights when $k=3,4,5,6$. Together with the known result, we demonstrate that there is an extremal Type II $\ZZ_{2k}$-code of length $8m$ $(m \le 8)$ when $k=3,4,5,6$.
The Laplacian energy of random graphs
Published
• View Publication
• BIB
Gutman {\it et al.} introduced the concepts of energy $\En(G)$ and Laplacian energy $\EnL(G)$ for a simple graph $G$, and furthermore, they proposed a conjecture that for every graph $G$, $\En(G)$ is not more than $\EnL(G)$. Unfortunately, the conjecture turns out to be incorrect since Liu {\it et al.} and Stevanović {\it et al.} constructed counterexamples. However, So {\it et al.} verified the conjecture for bipartite graphs. In the present paper, we obtain, for a random graph, the lower and upper bounds of the Laplacian energy, and show that the conjecture is true for almost all graphs.
Critical independent sets and Konig--Egervary graphs
Published
• View Publication
• BIB
Let alpha(G) be the cardinality of a independence set of maximum size in the graph G, while mu(G) is the size of a maximum matching. G is a Konig--Egervary graph if its order equals alpha(G) + mu(G). The set core(G) is the intersection of all maximum independent sets of G (Levit & Mandrescu, 2002). The number def(G)=|V(G)|-2*mu(G) is the deficiency of G (Lovasz & Plummer, 1986). The number d(G)=max{|S|-|N(S)|:S in Ind(G)} is the critical difference of G. An independent set A is critical if |A|-|N(A)|=d(G), where N(S) is the neighborhood of S (Zhang, 1990). In 2009, Larson showed that G is Konig--Egervary graph if and only if there exists a maximum independent set that is critical as well. In this paper we prove that: (i) d(G)=|core(G)|-|N(core(G))|=alpha(G)-mu(G)=def(G) for every Konig--Egervary graph G; (ii) G is Konig--Egervary graph if and only if every maximum independent set of G is critical.
Asymptotics for the number of walks in a Weyl chamber of type B
Published
• View Publication
• BIB
We consider lattice walks in $\R^k$ confined to the region $0<x_1<x_2...<x_k$ with fixed (but arbitrary) starting and end points. The walks are required to be "reflectable", that is, we assume that the number of paths can be counted using the reflection principle. The main results are asymptotic formulas for the total number of walks of length $n$ with either a fixed or a free end point for a general class of walks as $n$ tends to infinity. As applications, we find the asymptotics for the number of $k$-non-crossing tangled diagrams on the set $\{1,2,...,n\}$ as $n$ tends to infinity, and asymptotics for the number of $k$-vicious walkers subject to a wall restriction in the random turns model as well as in the lock step model. Asymptotics for all of these objects were either known only for certain special cases, or have only been partially determined or were completely unknown.
Diameter of reduced words
Published
• View Publication
• BIB
For finite reflection groups of types A and B, we determine the diameter of the graph whose vertices are reduced words for the longest element and whose edges are braid relations. This is deduced from a more general theorem that applies to supersolvable hyperplane arrangements.
A Short Proof of Gamas's Theorem
Published in Linear Algebra and its Applications Volume 430, Issues 2-3, 15 January 2009, Pages 791-794
• View Publication
• BIB
If χ^λis the irreducible character of the symmetric group S_n corresponding to the partition λof n then we may symmetrize a tensor v_1 \otimes ... \otimes v_n by χ^λ. Gamas's theorem states that the result is not zero if and only if we can partition the set {v_i} into linearly independent sets whose sizes are the parts of the transpose of λ. We give a short and self-contained proof of this fact.
Products of Linear Forms and Tutte Polynomials
Published in Euro. J. Comb. Vol. 31, No. 7, pp. 1924-1935
• View Publication
• BIB
Let Δbe a finite sequence of n vectors from a vector space over any field. We consider the subspace of \operatorname{Sym}(V) spanned by \prod_{v \in S} v, where S is a subsequence of Δ. A result of Orlik and Terao provides a doubly indexed direct sum of this space. The main theorem is that the resulting Hilbert series is the Tutte polynomial evaluation T(Δ;1+x,y). Results of Ardila and Postnikov, Orlik and Terao, Terao, and Wagner are obtained as corollaries.
Sumset and inverse sumset theorems for Shannon entropy
Published in Combin. Probab. Comput. 19 (2010), no. 4, 603-639
• View Publication
• BIB
Let $G = (G,+)$ be an additive group. The sumset theory of Plünnecke and Ruzsa gives several relations between the size of sumsets $A+B$ of finite sets $A, B$, and related objects such as iterated sumsets $kA$ and difference sets $A-B$, while the inverse sumset theory of Freiman, Ruzsa, and others characterises those finite sets $A$ for which $A+A$ is small. In this paper we establish analogous results in which the finite set $A \subset G$ is replaced by a discrete random variable $X$ taking values in $G$, and the cardinality $|A|$ is replaced by the Shannon entropy $\mathrm{Ent}(X)$. In particular, we classify the random variable $X$ which have small doubling in the sense that $\mathrm{Ent}(X_1+X_2) = \mathrm{Ent}(X)+O(1)$ when $X_1,X_2$ are independent copies of $X$, by showing that they factorise as $X = U+Z$ where $U$ is uniformly distributed on a coset progression of bounded rank, and $\mathrm{Ent}(Z) = O(1)$.
When $G$ is torsion-free, we also establish the sharp lower bound $\mathrm{Ent}(X+X) \geq \mathrm{Ent}(X) + {1/2} \log 2 - o(1)$, where $o(1)$ goes to zero as $\mathrm{Ent}(X) \to \infty$.