Showing 20 papers (Total: 83133 papers, 48023 authors in database)
An output-sensitive Algorithm to partition a Sequence of Integers into Subsets with equal Sums
Published in Discrete Mathematics & Theoretical Computer Science, vol. 20 no. 2, Discrete Algorithms (January 24, 2019) dmtcs:4994
• View Publication
• BIB
We present a polynomial time algorithm, which solves a nonstandard Variation of the well-known PARTITION-problem: Given positive integers $n, k$ and $t$ such that $t \geq n$ and $k \cdot t = {n+1 \choose 2}$, the algorithm partitions the elements of the set $I_n = \{1, \ldots, n\}$ into $k$ mutually disjoint subsets $T_j$ such that $\cup_{j=1}^k T_j = I_n$ and $\sum_{x \in T_{j}} x = t$ for each $j \in \{1,2, \ldots, k\}$. The algorithm needs $\mathcal{O}(n \cdot ( \frac{n}{2k} + \log \frac{n(n+1)}{2k} ))$ steps to insert the $n$ elements of $I_n$ into the $k$ sets $T_j$.
Counting the Number of Quasiplatonic Topological Actions of the Cyclic Group on Surfaces
Published
• View Publication
• BIB
Define $QC(n)$ to be the number of quasiplatonic topological actions of the cyclic group $C_n$ on surfaces of genus at least two. We use formulas of Benim and Wootton to give an explicit formula for $QC(n)$. In addition, we relate the number of quasiplatonic topological actions of $C_n$ to the number of regular dessins d'enfants having $C_n$ as a group of automorphisms.
Pure $\mathcal{O}$-sequences arising from $2$-dimensional PS ear-decomposable simplicial complexes
Published
• View Publication
• BIB
We show that the $h$-vector of a $2$-dimensional PS ear-decomposable simplicial complex is a pure $\mathcal{O}$-sequence. This provides a strengthening of Stanley's conjecture for matroid $h$-vectors in rank $3$. Our approach modifies the approach of combinatorial shifting for arbitrary simplicial complexes to the setting of $2$-dimensional PS ear-decomposable complexes, which allows us to greedily construct a corresponding pure multicomplex.
A note on simultaneous representation problem for interval and circular-arc graphs
In this short note, we show two NP-completeness results regarding the \emph{simultaneous representation problem}, introduced by Lubiw and Jampani. The simultaneous representation problem for a given class of intersection graphs asks if some $k$ graphs can be represented so that every vertex is represented by the same interval in each representation. We prove that it is NP-complete to decide this for the class of interval and circular-arc graphs in the case when $k$ is a part of the input and graphs are not in a sunflower position.
Enumeration of lattice polytopes by their volume
Published
• View Publication
• BIB
A well known result by Lagarias and Ziegler states that there are finitely many equivalence classes of d-dimensional lattice polytopes having volume at most K, for fixed constants d and K. We describe an algorithm for the complete enumeration of such equivalence classes for arbitrary constants d and K. The algorithm, which gives another proof of the finiteness result, is implemented for small values of K, up to dimension six. The resulting database contains and extends several existing ones, and has been used to correct mistakes in other classifications. When specialized to three-dimensional smooth polytopes, it extends previous classifications by Bogart et al., Lorenz and Lundman. Moreover, we give a structure theorem for smooth polytopes with few lattice points that proves that they have a quadratic triangulation and that we use, together with the classification, to describe smooth polytopes having small volume in arbitrary dimension. In dimension three we enumerate all the simplices having up to 11 interior lattice points and we use them to conjecture a set of sharp inequalities for the coefficients of the Ehrhart h*-polynomials, unifying several existing conjectures. Finally, we extract and discuss minimal interesting examples from the classification, and we study the frequency of properties such as being spanning, very ample, IDP, and having a unimodular cover or triangulation. In particular, we find the smallest polytopes which are very ample but not IDP, and with a unimodular cover but without a unimodular triangulation.
The biclique covering number of grids
Published
• View Publication
• BIB
We determine the exact value of the biclique covering number for all grid graphs.
Dual Circumference and Collinear Sets
We show that, if a $n$-vertex triangulation $T$ of maximum degree $Δ$ has a dual that contains a cycle of length $\ell$, then $T$ has a non-crossing straight-line drawing in which some \emph{collinear set} of $Ω(\ell/Δ^4)$ vertices lie on a line. Using the current lower bounds on the length of longest cycles in 3-regular 3-connected graphs, this implies that every $n$-vertex planar graph of maximum degree $Δ$ has a collinear set of size $Ω(n^{0.8}/Δ^4)$. Very recently, Dujmović et. al. (SODA 2019) showed that, if $S$ is a collinear set in a triangulation $T$ then, for any point set $X\subset\mathbb{R}^2$ with $|X|=|S|$, $T$ has a non-crossing straight-line drawing in which the vertices of $S$ are drawn on the points in $X$. Because of this, collinear sets have numerous applications in graph drawing and related areas.
Every Collinear Set in a Planar Graph Is Free
Published in Discrete and Computational Geometry 65 (2021), 999-1027
• View Publication
• BIB
We show that if a planar graph $G$ has a plane straight-line drawing in which a subset $S$ of its vertices are collinear, then for any set of points, $X$, in the plane with $|X|=|S|$, there is a plane straight-line drawing of $G$ in which the vertices in $S$ are mapped to the points in $X$. This solves an open problem posed by Ravsky and Verbitsky in 2008. In their terminology, we show that every collinear set is free.
This result has applications in graph drawing, including untangling, column planarity, universal point subsets, and partial simultaneous drawings.
On Hamilton cycles in Erdős-Rényi subgraphs of large graphs
Published
• View Publication
• BIB
Given a graph $Γ= (V, E)$ on $n$ vertices and $m$ edges, we define the Erdős-Rényi graph process with host $Γ$ as follows. A permutation $e_1,\dots,e_m$ of $E$ is chosen uniformly at random, and for $t\leq m$ we let $Γ_t = (V, \{e_1,\dots,e_t\})$. Suppose the minimum degree of $Γ$ is $δ(Γ) \geq (1/2 + \varepsilon)n$ for some constant $\varepsilon > 0$. Then with high probability, $Γ_t$ becomes Hamiltonian at the same moment that its minimum degree becomes at least two.
Given $0\leq p\leq 1$ we let $Γ_p$ be the Erdős-Rényi subgraph of $Γ$, obtained by retaining each edge independently with probability $p$. When $δ(Γ)\geq (1/2 + \varepsilon)n$, we provide a threshold function $p_0$ for Hamiltonicity, such that if $(p-p_0)n\to -\infty$ then $Γ_p$ is not Hamiltonian whp, and if $(p-p_0)n\to\infty$ then $Γ_p$ is Hamiltonian whp.
A Local Limit Theorem for Cliques in G(n,p)
We prove a local limit theorem the number of $r$-cliques in $G(n,p)$ for $p\in(0,1)$ and $r\ge 3$ fixed constants. Our bounds hold in both the $\ell^\infty$ and $\ell^1$ metric. The main work of the paper is an estimate for the characteristic function of this random variable. This is accomplished by introducing a new technique for bounding the characteristic function of constant degree polynomials in independent Bernoulli random variables, combined with a decoupling argument.
On the Erdős Covering Problem: the density of the uncovered set
Published
• View Publication
• BIB
Since their introduction by Erdős in 1950, covering systems (that is, finite collections of arithmetic progressions that cover the integers) have been extensively studied, and numerous questions and conjectures have been posed regarding the existence of covering systems with various properties. In particular, Erdős asked if the moduli can be distinct and all arbitrarily large, Erdős and Selfridge asked if the moduli can be distinct and all odd, and Schinzel conjectured that in any covering system there exists a pair of moduli, one of which divides the other.
Another beautiful conjecture, proposed by Erdős and Graham in 1980, states that if the moduli are distinct elements of the interval $[n,Cn]$, and $n$ is sufficiently large, then the density of integers uncovered by the union is bounded below by a constant (depending only on $C$). This conjecture was confirmed (in a strong form) by Filaseta, Ford, Konyagin, Pomerance and Yu in 2007, who moreover asked whether the same conclusion holds if the moduli are distinct and sufficiently large, and $\sum_{i=1}^k \frac{1}{d_i} < C$. Although this condition turns out not to be sufficiently strong to imply the desired conclusion, as the main result of this paper we will give an essentially best possible condition which is sufficient.
Our method has a number of further applications. Most importantly, we prove the conjecture of Schinzel stated above, which was made in 1967. We moreover give an alternative (somewhat simpler) proof of a breakthrough result of Hough, who resolved Erdős' minimum modulus problem, with an improved bound on the smallest difference. Finally, we make further progress on the problem of Erdős and Selfridge.
An Answer to a Question of Zeilberger and Zeilberger about Fractional Counting of Partitions
We answer a question of Zeilberger and Zeilberger about certain partition statistics.
Investigating First Returns: The Effect of Multicolored Vectors
By definition, a first return is the immediate moment that a path, using vectors in the Cartesian plane, touches the $x$-axis after leaving it previously from a given point; the initial point is often the origin. In this case, using certain diagonal and horizontal vectors while restricting the movements to the first quadrant will cause almost every first return to end at the point $(2n,0)$, where $2n$ counts the equal number of up and down steps in a path. The exception will be explained further in the sections below.
Using the first returns of Catalan, Schröder, and Motzkin numbers, which resulted from the lattice paths formed using a combination of diagonal and/or horizontal vectors, we then investigated the effect that coloring select vectors will have on each of the original generating functions.
The Relationship Between Pascal's Triangle and Random Walks
Random walks are a series of up, down, and level steps that enumerate distinct paths from $(0,0)$ to $(2n,0)$, where $n$ is the semi-length of the path. We used these paths to analyze Catalan, Schröder, and Motzkin number sequences through a combination of matrix operations, quadratic functions, and inductive reasoning. Our results revealed a number of distinct patterns, some unnamed, between these number sequences and Pascal's triangle that can be explained through generating functions, first returns, group theory, and the Riordan matrix.
Various proofs and properties of these number sequences are provided, including each generating function, their respective first returns, and matrix properties. These findings lead to a deeper understanding of combinatorics and graph theory.
Combinatorics of cluster structures in Schubert varieties
We give an explicit combinatorial description of cluster structures in Schubert varieties of the Grassmannian in terms of (target labelings of) Postnikov's plabic graphs. This description is a natural generalization of the description given by (Scott 2006) for the Grassmannian and has been believed by experts essentially since (Scott 2006), though the statement was not formally written down until (Müller-Speyer 2016). To prove this conjecture we use a result of (Leclerc 2016), who used the module category of the preprojective algebra to prove that coordinate rings of many Richardson varieties in the complete flag variety admit cluster structures. We also adapt a construction of (Karpman 2016) to build cluster seeds associated to reduced expressions. Further, we explicitly describe cluster structures in skew Schubert varieties using plabic graphs whose boundary vertices need not be labeled in cyclic order.
Static Data Structure Lower Bounds Imply Rigidity
Published
• View Publication
• BIB
We show that static data structure lower bounds in the group (linear) model imply semi-explicit lower bounds on matrix rigidity. In particular, we prove that an explicit lower bound of $t \geq ω(\log^2 n)$ on the cell-probe complexity of linear data structures in the group model, even against arbitrarily small linear space $(s= (1+\varepsilon)n)$, would already imply a semi-explicit ($\bf P^{NP}\rm$) construction of rigid matrices with significantly better parameters than the current state of art (Alon, Panigrahy and Yekhanin, 2009). Our results further assert that polynomial ($t\geq n^δ$) data structure lower bounds against near-optimal space, would imply super-linear circuit lower bounds for log-depth linear circuits (a four-decade open question). In the succinct space regime $(s=n+o(n))$, we show that any improvement on current cell-probe lower bounds in the linear model would also imply new rigidity bounds. Our results rely on a new connection between the "inner" and "outer" dimensions of a matrix (Paturi and Pudlak, 2006), and on a new reduction from worst-case to average-case rigidity, which is of independent interest.
On the degree pairs of a graph
Let G be a simple graph without isolated vertices. For a vertex i in G, the degree d_i is the number of vertices adjacent to i and the average 2-degree m_i is the mean of the degrees of the vertices which are adjacent to i. The sequence of pairs (d_i, m_i) is called the sequence of degree pairs of G. We provide some necessary conditions for a sequence of real pairs (a_i, b_i) of length n to be the degree pairs of a graph of order n. A graph G is called pseudo k-regular if m_i=k for every vertex i while d_i is not a constant. Let N(k) denote the minimum number of vertices in a pseudo k-regular graph. We utilize the above necessary conditions to find all pseudo 3-regular graphs of orders no more than 10, and all pseudo $k$-regular graphs of order N(k) for k up to 7. We give bounds of N(k) and show that N(k) is at most k+6.
DP-4-colorability of two classes of planar graphs
Published
• View Publication
• BIB
DP-coloring (also known as correspondence coloring) is a generalization of list coloring introduced recently by Dvořák and Postle (2017). In this paper, we prove that every planar graph $G$ without $4$-cycles adjacent to $k$-cycles is DP-$4$-colorable for $k=5$ and $6$. As a consequence, we obtain two new classes of $4$-choosable planar graphs. We use identification of verticec in the proof, and actually prove stronger statements that every pre-coloring of some short cycles can be extended to the whole graph.
A Tight Analysis of Bethe Approximation for Permanent
Published
• View Publication
• BIB
We prove that the permanent of nonnegative matrices can be deterministically approximated within a factor of $\sqrt{2}^n$ in polynomial time, improving upon the previous deterministic approximations. We show this by proving that the Bethe approximation of the permanent, a quantity computable in polynomial time, is at least as large as the permanent divided by $\sqrt{2}^{n}$. This resolves a conjecture of Gurvits. Our bound is tight, and when combined with previously known inequalities lower bounding the permanent, fully resolves the quality of Bethe approximation for permanent. As an additional corollary of our methods, we resolve a conjecture of Chertkov and Yedidia, proving that fractional belief propagation with fractional parameter $γ=-1/2$ yields an upper bound on the permanent.
On the Minimal Edge Density of $K_4$-free 6-critical Graphs
Kostochka and Yancey resolved a famous conjecture of Ore on the asymptotic density of $k$-critical graphs by proving that every $k$-critical graph $G$ satisfies $|E(G)| \geq (\frac{k}{2} - \frac{1}{k-1})|V(G)| - \frac{k(k-3)}{2(k-1)}$. The class of graphs for which this bound is tight, $k$-Ore graphs, contain a notably large number of $K_{k-2}$-subgraphs. Subsequent work attempted to determine the asymptotic density for $k$-critical graphs that do \emph{not} contain large cliques as subgraphs, but only partial progress has been made on this problem. The second author showed that if $G$ is 5-critical and has no $K_3$-subgraphs, then for $\varepsilon = 1/84$, $|E(G)| \geq (\frac{9}{4} + \varepsilon)|V(G)| - \frac{5}{4}$. It has also been shown that for all $k \geq 33$, there exists $\varepsilon_k > 0$ such that $k$-critical graphs with no $K_{k-2}$-subgraphs satisfy $|E(G)| \geq (\frac{k}{2} - \frac{1}{k-1} + \varepsilon_k)|V(G)| - \frac{k(k-3)}{2(k-1)}$. In this work, we develop general structural results that are applicable to resolving the remaining difficult cases $6 \leq k \leq 32$. We apply our results to carefully analyze the structure of 6-critical graphs and use a discharging argument to show that for $\varepsilon_6 = 1/1050$, 6-critical graphs with no $K_4$ subgraph satisfy $|E(G)| \geq ( \frac{k}{2} - \frac{1}{k-1} + \varepsilon_6 ) |V(G)| - \frac{k(k-3)}{2(k-1)}$.