Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Cutting Mutually Congruent Pieces from Convex Regions
What is the shape of the 2D convex region P from which, when 2 mutually congruent convex pieces with maximum possible area are cut out, the highest fraction of the area of P is left over? When P is restricted to the set of all possible triangular shapes, our computational search yields an approximate upper bound of 5.6% on the area wasted when any triangle is given its best (most area utilizing) partition into 2 convex pieces. We then produce evidence for the general convex region which wastes the most area for its best convex 2-partition not being a triangle and briefly discuss some further generalizations of the question.
Maximum union-free subfamilies
Published
• View Publication
• BIB
An old problem of Moser asks: how large of a union-free subfamily does every family of m sets have? A family of sets is called union-free if there are no three distinct sets in the family such that the union of two of the sets is equal to the third set. We show that every family of m sets contains a union-free subfamily of size at least \lfloor \sqrt{4m+1}\rfloor - 1 and that this bound is tight. This solves Moser's problem and proves a conjecture of Erdős and Shelah from 1972. More generally, a family of sets is a-union-free if there are no a+1 distinct sets in the family such that one of them is equal to the union of a others. We determine up to an absolute multiplicative constant factor the size of the largest guaranteed a-union-free subfamily of a family of m sets. Our result verifies in a strong form a conjecture of Barat, Füredi, Kantor, Kim and Patkos.
On sums involving products of three binomial coefficients
Published in Acta Arith. 156(2012), 123-141
• View Publication
• BIB
In this paper we mainly employ the Zeilberger algorithm to study congruences for sums of terms involving products of three binomial coefficients. Let $p>3$ be a prime. We prove that $$\sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{2k}{k+d}}{64^k}\equiv 0\pmod{p^2}$$ for all $d\in\{0,\ldots,p-1\}$ with $d\equiv (p+1)/2\pmod2$. If $p\equiv 1\pmod4$ and $p=x^2+y^2$ with $x\equiv 1\pmod4$ and $y\equiv 0\pmod2$, then we show $$\sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{2k}{k+1}}{(-8)^k}\equiv 2p-2x^2\pmod{p^2}\ \ \mbox{and}\ \ \sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{2k}{k+1}^2}{(-8)^k}\equiv-2p\pmod{p^2}$$ by means of determining $x$ mod $p^2$ via $$(-1)^{(p-1)/4}\,x\equiv\sum_{k=0}^{(p-1)/2}\frac{k+1}{8^k}\binom{2k}k^2\equiv\sum_{k=0}^{(p-1)/2}\frac{2k+1}{(-16)^k}\binom{2k}k^2\pmod{p^2}.$$ We also solve the remaining open cases of Rodriguez-Villegas' conjectural congruences on $$\sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{3k}k}{108^k},\ \ \sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{4k}{2k}}{256^k}, \ \ \sum_{k=0}^{p-1}\frac{\binom{2k}{k}\binom{3k}k\binom{6k}{3k}}{12^{3k}}$$ modulo $p^2$.
There are only finitely many distance-regular graphs with valency k at least three, fixed ratio k2/k and large diameter
Published
• View Publication
• BIB
In this paper, we show that for given positive integer C, there are only finitely many distance-regular graphs with valency k at least three, diameter D at least six and k2/k<=C. This extends a conjecture of Bannai and Ito.
Nordhaus-Gaddum-type theorem for rainbow connection number of graphs
Published
• View Publication
• BIB
An edge-colored graph $G$ is rainbow connected if any two vertices are connected by a path whose edges have distinct colors. The rainbow connection number of $G$, denoted $rc(G)$, is the minimum number of colors that are used to make $G$ rainbow connected. In this paper we give a Nordhaus-Gaddum-type result for the rainbow connection number. We prove that if $G$ and $\bar{G}$ are both connected, then $4\leq rc(G)+rc(\bar{G})\leq n+2$. Examples are given to show that the upper bound is sharp for all $n\geq 4$, and the lower bound is sharp for all $n\geq 8$. For the rest small $n=4,5,6,7,$ we also give the sharp bounds.
A solution to a conjecture on the rainbow connection number
For a graph $G$, Chartrand et al. defined the rainbow connection number $rc(G)$ and the strong rainbow connection number $src(G)$ in "G. Charand, G.L. John, K.A. Mckeon, P. Zhang, Rainbow connection in graphs, Mathematica Bohemica, 133(1)(2008) 85-98". They raised the following conjecture: for two given positive $a$ and $b$, there exists a connected graph $G$ such that $rc(G)=a$ and $src(G)=b$ if and only if $a=b\in\{1,2\}$ or $ 3\leq a\leq b$". In this short note, we will show that the conjecture is true.
Dense locally testable codes cannot have constant rate and distance
Published
• View Publication
• BIB
A q-query locally testable code (LTC) is an error correcting code that can be tested by a randomized algorithm that reads at most q symbols from the given word. An important question is whether there exist LTCs that have the ccc-property: constant relative rate, constant relative distance, and that can be tested with a constant number of queries. Such codes are sometimes referred to as "asymptotically good".
We show that dense LTCs cannot be ccc. The density of a tester is roughly the average number of distinct local views in which a coordinate participates. An LTC is dense if it has a tester with density >> 1.
More precisely, we show that a 3-query locally testable code with a tester of density >> 1 cannot be ccc. Moreover, we show that a q-query locally testable code (q>3) with a tester of density >> n^{q-2} cannot be ccc. Our results hold when the tester has the following two properties: 1) "no weights": Every q-tuple of queries occurs with the same probability. 2) "last-one-fixed": In every `test' of the tester, the value to any q-1 of the symbols determines the value of the last symbol. (Linear codes have constraints of this type).
We also show that several natural ways to quantitatively improve our results would already resolve the general ccc-question, i.e. also for non-dense LTCs.
Packing directed circuits exactly
Published
• View Publication
• BIB
We give an "excluded minor" and a "structural" characterization of digraphs D that have the property that for every subdigraph H of D, the maximum number of disjoint circuits in H is equal to the minimum cardinality of a subset T of V(H) such that H\T is acyclic.
The Discrete Fundamental Group of the Associahedron, and the Exchange Module
Published
• View Publication
• BIB
The associahedron is an object that has been well studied and has numerous applications, particularly in the theory of operads, the study of non-crossing partitions, lattice theory and more recently in the study of cluster algebras. We approach the associahedron from the point of view of discrete homotopy theory. We study the abelianization of the discrete fundamental group, and show that it is free abelian of rank $\binom{n+2}{4}$. We also find a combinatorial description for a basis of this rank. We also introduce the exchange module of the type $A_n$ cluster algebra, used to model the relations in the cluster algebra. We use the discrete fundamental group to the study of exchange module, and show that it is also free abelian of rank $\binom{n+2}{3}$.
Exponentially many perfect matchings in cubic graphs
Published in Adv. Math. 227 (2011), 1646-1664
• View Publication
• BIB
We show that every cubic bridgeless graph G has at least 2^(|V(G)|/3656) perfect matchings. This confirms an old conjecture of Lovasz and Plummer.
This version of the paper uses a different definition of a burl from the journal version of the paper and a different proof of Lemma 18 is given. This simplifies the exposition of our arguments throughout the whole paper.
Proof of Andrews' conjecture on a_4φ_3 summation
Published
• View Publication
• BIB
We give a new proof of a_4φ_3 summation due to G.E. Andrews and confirm another_4φ_3 summation conjectured by him recently. Some variations of these two_4φ_3 summations are also given.
Algebraic arctic curves in the domain-wall six-vertex model
Published in J. Phys. A: Math. Theor. 44 (2011) 195201
• View Publication
• BIB
The arctic curve, i.e. the spatial curve separating ordered (or `frozen') and disordered (or `temperate) regions, of the six-vertex model with domain wall boundary conditions is discussed for the root-of-unity vertex weights. In these cases the curve is described by algebraic equations which can be worked out explicitly from the parametric solution for this curve. Some interesting examples are discussed in detail. The upper bound on the maximal degree of the equation in a generic root-of-unity case is obtained.
Expected Crossing Numbers
Published
• View Publication
• BIB
The expected value for the weighted crossing number of a randomly weighted graph is studied. A variation of the Crossing Lemma for expectations is proved. We focus on the case where the edge-weights are independent random variables that are uniformly distributed on [0,1].
Contracting planar graphs to contractions of triangulations
For every graph $H$, there exists a polynomial-time algorithm deciding if a planar input graph $G$ can be contracted to~$H$. However, the degree of the polynomial depends on the size of $H$. In this paper, we identify a class of graphs $\cal C$ such that for every $H \in \cal C$, there exists an algorithm deciding in time $f(|V(H)|) \cdot |V(G)|^{\bigO{1}}$ whether a planar graph $G$ can be contracted to~$H$. (The function $f(\cdot)$ does not depend on $G$.) The class $\cal C$ is the closure of planar triangulated graphs under taking of contractions. In fact, we prove that a graph $H \in \cal C$ if and only if there exists a constant $c_H$ such that if the tree-width of a graph is at least $c_H$, it contains $H$ as a contraction. We also provide a characterization of $\cal C$ in terms of minimal forbidden contractions.
Packing spanning trees and the $k$-tree protocol
We provide a structural description of, and invariants for, maximum spanning tree-packable graphs, i.e. those graphs G for which the edge connectivity of G is equal to the maximum number of edge-disjoint spanning trees in G. These graphs are of interest for the k-tree protocol of Itai and Rodeh [Inform. and Comput. 79 (1988), 43-59].
Pseudocyclic and non-amorphic fusion schemes of the cyclotomic association schemes
Published
• View Publication
• BIB
We construct twelve infinite families of pseudocyclic and non-amorphic association schemes, in which each nontrivial relation is a strongly regular graph. Three of the twelve families generalize the counterexamples to A. V. Ivanov's conjecture by Ikuta and Munemasa [15].
Triangulations of nearly convex polygons
Counting Euclidean triangulations with vertices in a finite set $\C$ of the convex hull $\conv(\C)$ of $\C$ is difficult in general, both algorithmically and theoretically. The aim of this paper is to describe nearly convex polygons, a class of configurations for which this problem can be solved to some extent. Loosely speaking, a nearly convex polygon is an infinitesimal perturbation of a weakly convex polygon (a convex polygon with edges subdivided by additional points). Our main result shows that the triangulation polynomial, enumerating all triangulations of a nearly convex polygon, is defined in a straightforward way in terms of polynomials associated to the ``perturbed'' edges.
Combinatorial methods of character enumeration for the unitriangular group
Published in J. Algebra 345 (2011), 295-323
• View Publication
• BIB
Let $\UT_n(q)$ denote the group of unipotent $n\times n$ upper triangular matrices over a field with $q$ elements. The degrees of the complex irreducible characters of $\UT_n(q)$ are precisely the integers $q^e$ with $0\leq e\leq \lfloor \frac{n}{2} \rfloor \lfloor \frac{n-1}{2} \rfloor$, and it has been conjectured that the number of irreducible characters of $\UT_n(q)$ with degree $q^e$ is a polynomial in $q-1$ with nonnegative integer coefficients (depending on $n$ and $e$). We confirm this conjecture when $e\leq 8$ and $n$ is arbitrary by a computer calculation. In particular, we describe an algorithm which allows us to derive explicit bivariate polynomials in $n$ and $q$ giving the number of irreducible characters of $\UT_n(q)$ with degree $q^e$ when $n>2e$ and $e\leq 8$. When divided by $q^{n-e-2}$ and written in terms of the variables $n-2e-1$ and $q-1$, these functions are actually bivariate polynomials with nonnegative integer coefficients, suggesting an even stronger conjecture concerning such character counts. As an application of these calculations, we are able to show that all irreducible characters of $\UT_n(q)$ with degree $\leq q^8$ are Kirillov functions. We also discuss some related results concerning the problem of counting the irreducible constituents of individual supercharacters of $\UT_n(q)$.
Asymptotic Distribution Of The Roots Of The Ehrhart Polynomial Of The Cross-Polytope
We use the method of steepest descents to study the root distribution of the Ehrhart polynomial of the $d$-dimensional cross-polytope, namely $\mathcal{L}_{d}$, as $d\rightarrow \infty$. We prove that the distribution function of the roots, approximately, as $d$ grows, by variation of argument of the generating function $\sum_{m\geq 0}\mathcal{L}_{d}(m)t^{m+x-1}=(1+t)^{d}(1-t)^{-d-1}t^{x-1}$, as $t$ varies appropriately on the segment of the imaginary line contained inside the unit disk.
Singularity of Random Matrices over Finite Fields
Let $A$ be an $n \times n$ random matrix with iid entries over a finite field of order $q$. Suppose that the entries do not take values in any additive coset of the field with probability greater than $1 - α$ for some fixed $0 < α< 1$. We show that the singularity probability converges to the uniform limit with an exponentially small error depending only on $α$. We also show that the distribution of the determinant of $A$ converges to its limiting distribution at an exponential rate.