Showing 20 papers (Total: 82432 papers, 47671 authors in database)
On the Crossing Number of Complete Graphs with an Uncrossed Hamiltonian Cycle
We prove new lower bounds on the crossing number of a complete graphs assuming that it is drawn in such a way that it contains a Hamiltonian cycle with no crossings.
The Average Sensitivity of an Intersection of Half Spaces
Published
• View Publication
• BIB
We prove new bounds on the average sensitivity of the indicator function of an intersection of $k$ halfspaces. In particular, we prove the optimal bound of $O(\sqrt{n\log(k)})$. This generalizes a result of Nazarov, who proved the analogous result in the Gaussian case, and improves upon a result of Harsha, Klivans and Meka. Furthermore, our result has implications for the runtime required to learn intersections of halfspaces.
On Hall-Littlewood polynomials
An observation on Hall-Littlewood polynomials.
On configurations where the Loomis-Whitney inequality is nearly sharp and applications to the Furstenberg set problem
Published in Mathematika 61 (2015) 145-161
• View Publication
• BIB
In this paper, we consider the so-called "Furstenberg set problem" in high dimensions. First, following Wolff's work on the two dimensional real case, we provide "reasonable" upper bounds for the problem for $\mathbb{R}$ or $\mathbb{F}_p$. Next we study the "critical" case and improve the "trivial" exponent by $Ω(\frac{1}{n^2})$ for $\mathbb{F}_p^n$. Our key tool to obtain this lower bound is a theorem about how things behave when the Loomis-Whitney inequality is nearly sharp, as it helps us to reduce the problem down to dimension two.
Extending Partial Representations of Circle Graphs
Published
• View Publication
• BIB
The partial representation extension problem is a recently introduced generalization of the recognition problem. A circle graph is an intersection graph of chords of a circle. We study the partial representation extension problem for circle graphs, where the input consists of a graph $G$ and a partial representation $\cal R'$ giving some pre-drawn chords that represent an induced subgraph of $G$. The question is whether one can extend $\cal R'$ to a representation $\cal R$ of the entire graph $G$, i.e., whether one can draw the remaining chords into a partially pre-drawn representation to obtain a representation of $G$. Our main result is an $O(n^3)$ time algorithm for partial representation extension of circle graphs, where $n$ is the number of vertices. To show this, we describe the structure of all representations of a circle graph using split decomposition. This can be of independent interest.
The Limit Shape of a Stochastic Bulgarian Solitaire
We consider a stochastic version of Bulgarian solitaire: A number of cards are distributed in piles; in every round a new pile is formed by cards from the old piles, and each card is picked independently with a fixed probability. This game corresponds to a multi-square birth-and-death process on Young diagrams of integer partitions. We prove that this process converges in a strong sense to an exponential limit shape as the number of cards tends to infinity. Furthermore, we bound the probability of deviation from the limit shape and relate this to the number of rounds played in the solitaire.
On the uniqueness of solutions for the Fubuki game
We discuss the problem of uniqueness of solutions for the Fubuki game when the diagonal is prescribed.
Computing and Analyzing Recoverable Supports for Sparse Reconstruction
Published
• View Publication
• BIB
Designing computational experiments involving $\ell_1$ minimization with linear constraints in a finite-dimensional, real-valued space for receiving a sparse solution with a precise number $k$ of nonzero entries is, in general, difficult. Several conditions were introduced which guarantee that, for small $k$ and for certain matrices, simply placing entries with desired characteristics on a randomly chosen support will produce vectors which can be recovered by $\ell_1$ minimization.
In this work, we consider the case of large $k$ and propose both a methodology to quickly check whether a given vector is recoverable, and to construct vectors with the largest possible support. Moreover, we gain new insights in the recoverability in a non-asymptotic regime. The theoretical results are illustrated with computational experiments.
Enumeration of the adjunctive hierarchy of hereditarily finite sets
Published
• View Publication
• BIB
Hereditarily finite sets (sets which are finite and have only hereditarily finite sets as members) are basic mathematical and computational objects, and also stand at the basis of some programming languages. This raises the need for efficient representation of such sets, for example by numbers. In 2008, Kirby proposed an adjunctive hierarchy of hereditarily finite sets, based on the fact that they can also be seen as built up from the empty set by repeated adjunction, that is, by the addition of a new single element drawn from the already existing sets to an already existing set. Determining the cardinality $a_n$ of each level of this hierarchy, problem crucial in establishing whether the natural adjunctive hierarchy leads to an efficient encoding by numbers, was left open.
In this paper we solve this problem. Our results can be generalized to hereditarily finite sets with atoms, or can be further refined by imposing restrictions on rank, on cardinality, or on the maximum level from where the new adjoined element can be drawn. We also show that $a_n$ satisfies the asymptotic formula $a_n = C^{2^n} + O(C^{2^{n-1}})$, for a constant $C \approx 1.3399$, which is a too fast asymptotic growth for practical purposes. We thus propose a very natural variant of the adjunctive hierarchy, whose asymptotic behavior we prove to be $Θ(2^n)$. To our knowledge, this is the first result of this kind.
Forbidden vertices
Published
• View Publication
• BIB
In this work, we introduce and study the forbidden-vertices problem. Given a polytope P and a subset X of its vertices, we study the complexity of linear optimization over the subset of vertices of P that are not contained in X. This problem is closely related to finding the k-best basic solutions to a linear problem. We show that the complexity of the problem changes significantly depending on the encoding of both P and X. We provide additional tractability results and extended formulations when P has binary vertices only. Some applications and extensions to integral polytopes are discussed.
The minimum number of nonnegative edges in hypergraphs
Published
• View Publication
• BIB
An r-unform n-vertex hypergraph H is said to have the Manickam-Miklós-Singhi (MMS) property if for every assignment of weights to its vertices with nonnegative sum, the number of edges whose total weight is nonnegative is at least the minimum degree of H. In this paper we show that for n>10r^3, every r-uniform n-vertex hypergraph with equal codegrees has the MMS property, and the bound on n is essentially tight up to a constant factor. This result has two immediate corollaries. First it shows that every set of n>10k^3 real numbers with nonnegative sum has at least $\binom{n-1}{k-1}$ nonnegative k-sums, verifying the Manickam-Miklós-Singhi conjecture for this range. More importantly, it implies the vector space Manickam-Miklós-Singhi conjecture which states that for n >= 4k and any weighting on the 1-dimensional subspaces of F_q^n with nonnegative sum, the number of nonnegative k-dimensional subspaces is at least ${n-1 \brack k-1}_q$. We also discuss two additional generalizations, which can be regarded as analogues of the Erdős-Ko-Rado theorem on k-intersecting families.
Cyclic Subsets and Barnette's Conjecture
In this paper, the concept of cyclic subsets in graph theory is introduced. An interesting theorem which relates to the collective Hamiltonicity of these cyclic subsets in graphs is also presented. This paper uses this theorem to construct an inductive proof of Barnette's long-standing conjecture, which asks whether every cubic, polyhedral, bipartite graph is Hamiltonian. Finding a class of graphs that are certain to be Hamiltonian is one of the biggest unsolved problems in Hamiltonian graph theory today.
Greedy bases in rank 2 generalized cluster algebras
In this note we extend the notion of greedy bases developed by Lee, Li, and Zelevinsky to rank two generalized cluster algebras, i.e. binomial exchange relations are replaced by polynomial exchange relations. In the process we give a combinatorial construction in terms of a refined notion of compatible pairs on a maximal Dyck path.
Complete Valuations on Finite Distributive Lattices
We characterize the finite distributive lattices which admit a complete valuation, that is bijective over a set of consecutive natural numbers, with the additional conditions of completeness (Definition 2.3). We prove that such lattices are downset lattices of finite posets of dimension at most two, and determine a realizer through a recursive relation between weights on the poset associated to valuation. The relation shows that the weights count chains in the complementary poset. Conversely, we prove that a valuation defined on a poset of dimension at most two, through the weight function which counts chains in the complementary poset, is complete.
A note about combinatorial sequences and Incomplete Gamma function
In this short note we present a set of interesting and useful properties of a one-parameter family of sequences including factorial and subfactorial, and their relations to the Gamma function and the incomplete Gamma function.
Uniqueness of maximum three-distance sets in the three-dimensional Euclidean space
A subset $X$ in the $d$-dimensional Euclidean space is called a $k$-distance set if there are exactly $k$ distances between two distinct points in $X$. Einhorn and Schoenberg conjectured that the vertices of the regular icosahedron is the only 12-point three-distance set in $\mathbb{R}^3$ up to isomorphism. In this paper, we prove the uniqueness of 12-point three-distance sets in $\mathbb{R}^3$.
On three theorems of Folsom, Ono and Rhoades
Published in Proc. Amer. Math. Soc. 143:4 (2015) 1471--1476
• View Publication
• BIB
In his deathbed letter to Hardy, Ramanujan gave a vague definition of a mock modular function: at each root of unity its asymptotics matches the one of a modular form, though a choice of the modular function depends on the root of unity. Recently Folsom, Ono and Rhoades have proved an elegant result about the match for a general family related to Dyson's rank (mock theta) function and the Andrews--Garvan crank (modular) function---the match with explicit formulae for implied $O(1)$ constants. In this note we give another elementary proof of Ramanujan's original claim and outline some heuristics which may be useful for obtaining a new proof of the general Folsom--Ono--Rhoades theorem.
Discrete q-Hermite polynomials: An elementary approach
We present a simple approach to discrete q-Hermite polynomials with special emphasis on analogies with the classical case.
On wheel-free graphs
A wheel is a graph formed by a chordless cycle and a vertex that has at least three neighbors in the cycle. We prove that every 3-connected graph that does not contain a wheel as a subgraph is in fact minimally 3-connected. We give a new proof of a theorem of Thomassen and Toft: every graph that does not contain a wheel as a subgraph is 3-colorable.
Square-Free Shuffles of Words
Published
• View Publication
• BIB
Let $u \shuffle v$ denote the set of all shuffles of the words $u$ and $v$. It is shown that for each integer $n \geq 3$ there exists a square-free ternary word $u$ of length $n$ such that $u\shuffle u$ contains a square-free word. This property is then shown to also hold for infinite words, i.e., there exists an infinite square-free word $u$ on three letters such that $u$ can be shuffled with itself to produce an infinite square-free word $w \in u \shuffle u$.