Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Borel version of the Local Lemma
We prove a Borel version of the local lemma, i.e. we show that, under suitable assumptions, if the set of variables in the local lemma has a structure of a Borel space, then there exists a satisfying assignment which is a Borel function. The main tool which we develop for the proof, which is of independent interest, is a parallel version of the Moser-Tardos algorithm which uses the same random bits to resample clauses that are far enough in the dependency graph.
Product of simplices and sets of positive upper density in $\mathbb{R}^d$
Published
• View Publication
• BIB
We establish that any subset of $\mathbb{R}^d$ of positive upper Banach density necessarily contains an isometric copy of all sufficiently large dilates of any fixed two-dimensional rectangle provided $d\geq4$.
We further present an extension of this result to configurations that are the product of two non-degenerate simplices; specifically we show that if $Δ_{k_1}$ and $Δ_{k_2}$ are two fixed non-degenerate simplices of $k_1+1$ and $k_2+1$ points respectively, then any subset of $\mathbb{R}^d$ of positive upper Banach density with $d\geq k_1+k_2+6$ will necessarily contain an isometric copy of all sufficiently large dilates of $Δ_{k_1}\timesΔ_{k_2}$.
A new direct proof of the fact that any subset of $\mathbb{R}^d$ of positive upper Banach density necessarily contains an isometric copy of all sufficiently large dilates of any fixed non-degenerate simplex of $k+1$ points provided $d\geq k+1$, a result originally due to Bourgain, is also presented.
Wilf classification of triples of 4-letter patterns
Published
• View Publication
• BIB
We determine all 242 Wilf classes of triples of 4-letter patterns by showing that there are 32 non-singleton Wilf classes. There are 317 symmetry classes of triples of 4-letter patterns and after computer calculation of initial terms, the problem reduces to showing that counting sequences that appear to be the same (agree in the first 16 terms) are in fact identical. The insertion encoding algorithm (INSENC) accounts for many of these and some others have been previously counted; in this paper, we find the generating function for each of the remaining 36 triples and it turns out to be algebraic in every case. Our methods are both combinatorial and analytic, including decompositions by left-right maxima and by initial letters. Sometimes this leads to an algebraic equation for the generating function, sometimes to a functional equation or a multi-index recurrence that succumbs to the kernel method. A particularly nice so-called cell decomposition is used in one case and a bijection is used for another.
Periods of Feynman Diagrams and GKZ D-Modules
We study differential equations for Feynman amplitudes and we show that the corresponding D-module is isomorphic to a GKZ D-modules. We show that the sheaf of solutions to the D-module is isomorphic to a certain relative homology and the amplitudes are periods of a relative motive. Using these ideas, we develop a method of regularization which specializes to dimensional regularization and analytic regularization.
Decomposition Methods for Nonlinear Optimization and Data Mining
We focus on two central themes in this dissertation. The first one is on decomposing polytopes and polynomials in ways that allow us to perform nonlinear optimization. We start off by explaining important results on decomposing a polytope into special polyhedra. We use these decompositions and develop methods for computing a special class of integrals exactly. Namely, we are interested in computing the exact value of integrals of polynomial functions over convex polyhedra. We present prior work and new extensions of the integration algorithms. Every integration method we present requires that the polynomial has a special form. We explore two special polynomial decomposition algorithms that are useful for integrating polynomial functions. Both polynomial decompositions have strengths and weaknesses, and we experiment with how to practically use them.
After developing practical algorithms and efficient software tools for integrating a polynomial over a polytope, we focus on the problem of maximizing a polynomial function over the continuous domain of a polytope. This maximization problem is NP-hard, but we develop approximation methods that run in polynomial time when the dimension is fixed. Moreover, our algorithm for approximating the maximum of a polynomial over a polytope is related to integrating the polynomial over the polytope. We show how the integration methods can be used for optimization.
The second central topic in this dissertation is on problems in data science. We first consider a heuristic for mixed-integer linear optimization. We show how many practical mixed-integer linear have a special substructure containing set partition constraints. We then describe a nice data structure for finding feasible zero-one integer solutions to systems of set partition constraints. Finally, we end with an applied project using data science methods in medical research.
On the Number of Rainbow Spanning Trees in Edge-Colored Complete Graphs
Published
• View Publication
• BIB
A spanning tree of a properly edge-colored complete graph, $K_n$, is rainbow provided that each of its edges receives a distinct color. In 1996, Brualdi and Hollingsworth conjectured that if $K_{2m}$ is properly $(2m-1)$-edge-colored, then the edges of $K_{2m}$ can be partitioned into $m$ rainbow spanning trees except when $m=2$. By means of an explicit, constructive approach, in this paper we construct $\lfloor \sqrt{6m+9}/3 \rfloor$ mutually edge-disjoint rainbow spanning trees for any positive value of $m$. Not only are the rainbow trees produced, but also some structure of each rainbow spanning tree is determined in the process. This improves upon best constructive result to date in the literature which produces exactly three rainbow trees.
Permutation groups, pattern involvement, and Galois connections
Published in Acta Sci. Math. (Szeged) 83 (2017) 355-375
• View Publication
• BIB
There is a connection between permutation groups and permutation patterns: for any subgroup $G$ of the symmetric group $S_\ell$ and for any $n \geq \ell$, the set of $n$-permutations involving only members of $G$ as $\ell$-patterns is a subgroup of $S_n$. Making use of the monotone Galois connection induced by the pattern avoidance relation, we characterize the permutation groups that arise via pattern avoidance as automorphism groups of relations of a certain special form. We also investigate a related monotone Galois connection for permutation groups and describe its closed sets and kernels as automorphism groups of relations.
Solutions of First Order Linear Partial Differential Equations Related to Urn Models and Central Limit Theorems
We study first order linear partial differential equations that appear, for example, in the analysis of dimishing urn models with the help of the method of characteristics and formulate sufficient conditions for a central limit theorem.
The bellows conjecture for small flexible polyhedra in non-Euclidean spaces
Published in Mosc. Math. J., 17:2 (2017), 269-290
• View Publication
• BIB
The bellows conjecture claims that the volume of any flexible polyhedron of dimension 3 or higher is constant during the flexion. The bellows conjecture was proved for flexible polyhedra in the Euclidean spaces of dimensions 3 and higher, and for bounded flexible polyhedra in the odd-dimensional Lobachevsky spaces. Counterexamples to the bellows conjecture are known in all open hemispheres of dimensions 3 and higher. The aim of this paper is to prove that, nonetheless, the bellows conjecture is true for all flexible polyhedra in either spheres or Lobachevsky spaces of dimensions greater than or equal to 3 with sufficiently small edge lengths.
Relating Domination, Exponential Domination, and Porous Exponential Domination
Published
• View Publication
• BIB
The domination number $γ(G)$ of a graph $G$, its exponential domination number $γ_e(G)$, and its porous exponential domination number $γ_e^*(G)$ satisfy $γ_e^*(G)\leq γ_e(G)\leq γ(G)$. We contribute results about the gaps in these inequalities as well as the graphs for which some of the inequalities hold with equality. Relaxing the natural integer linear program whose optimum value is $γ_e^*(G)$, we are led to the definition of the fractional porous exponential domination number $γ_{e,f}^*(G)$ of a graph $G$. For a subcubic tree $T$ of order $n$, we show $γ_{e,f}^*(T)=\frac{n+2}{6}$ and $γ_e(T)\leq 2γ_{e,f}^*(T)$. We characterize the two classes of subcubic trees $T$ with $γ_e(T)=γ_{e,f}^*(T)$ and $γ(T)=γ_e(T)$, respectively. Using linear programming arguments, we establish several lower bounds on the fractional porous exponential domination number in more general settings.
Small subgraphs in the trace of a random walk
Published in Electronic Journal of Combinatorics 24 (2017), no. 1, Paper 28
• View Publication
• BIB
We consider the combinatorial properties of the trace of a random walk on the complete graph and on the random graph $G(n,p)$. In particular, we study the appearance of a fixed subgraph in the trace. We prove that for a subgraph containing a cycle, the threshold for its appearance in the trace of a random walk of length $m$ is essentially equal to the threshold for its appearance in the random graph drawn from $G(n,m)$. In the case where the base graph is the complete graph, we show that a fixed forest appears in the trace typically much earlier than it appears in $G(n,m)$.
Small sumsets in real line : a continuous 3k-4 theorem
We prove a continuous Freiman's $3k-4$ theorem for small sumsets in $\mathbb{R}$ by using some ideas from Ruzsa's work on measure of sumsets in $\mathbb{R}$ as well as some graphic representation of density functions of sets. We thereby get some structural properties of $A$, $B$ and $A+B$ when $λ(A+B)<λ(A)+λ(B)+\min(λ(A),λ(B))$. We also give some structural information for sets of large density with small sumset and characterize the extremal sets for which equality holds in the lower bounds for $λ(A+B)$.
Every planar graph is $1$-defective $(9,2)$-paintable
Published
• View Publication
• BIB
Assume $L$ is a $k$-list assignment of a graph $G$. A $d$-defective $m$-fold $L$-colouring $φ$ of $G$ assigns to each vertex $v$ a set $φ(v)$ of $m$ colours, so that $φ(v) \subseteq L(v)$ for each vertex $v$, and for each colour $i$, the set $\{v: i \in φ(v)\}$ induces a subgraph of maximum degree at most $d$. In this paper, we consider on-line list $d$-defective $m$-fold colouring of graphs, where the list assignment $L$ is given on-line, and the colouring is constructed on-line. To be precise, the $d$-defective $(k,m)$-painting game on a graph $G$ is played by two players: Lister and Painter. Initially, each vertex has $k$ tokens and is uncoloured. In each round, Lister chooses a set $M$ of vertices and removes one token from each chosen vertex. Painter colours a subset $X$ of $M$ which induces a subgraph $G[X]$ of maximum degree at most $d$. A vertex $v$ is fully coloured if $v$ has received $m$ colours. Lister wins if at the end of some round, there is a vertex with no more tokens left and is not fully coloured. Otherwise, at some round, all vertices are fully coloured and Painter wins. We say $G$ is $d$-defective $(k,m)$-paintable if Painter has a winning strategy in this game. This paper proves that every planar graph is $1$-defective $(9,2)$-paintable.
L-Borderenergetic graphs
The energy of a graph is defined as the sum the absolute values of the eigenvalues of its adjacency matrix. A graph G on n vertices is said to be borderenergetic if its energy equals the energy of the complete graph Kn. In this paper, we promote this concept for the Laplacian matrix, introduced by Gutman and Zhou [5]. We say G to be L-borderenergetic if LE(G) = LE(Kn). Several classes of L-borderenergetic graphs are obtained including result that for each positive integer r; there are 2r +1 graphs, of order n = 4r + 4; pairwise L-noncospectral and L-bordernergetic graphs.
An Elementary Integrality Proof of Rothblum's Stable Matching Formulation
Published
• View Publication
• BIB
In this paper we provide a short new proof for the integrality of Rothblum's linear description of the convex hull of incidence vectors of stable matchings in bipartite graphs. In the spirit of iterative rounding proofs, the key feature of our proof is to show that extreme points of the formulation must have a 0, 1-component.
A Note on $4$-colorings of Quadrangulations
Let $G$ be a quadrangulation on an orientable surface and let $g$ be a proper vertex-$4$-coloring of $G$. A face $F$ of $G$ is said to be a rainbow-face if all four distinct colors appear on its boundary. A $(c_1,c_2,c_3,c_4)$-face in $G$ is a rainbow face with colors $c_i$, $i=1,2,3,4$ on the boundary in clockwise order. We show that the number of $(c_1,c_2,c_3,c_4)$-faces in $G$ equals the number of $(c_4,c_3,c_2,c_1)$-faces. This implies in particular that the number of rainbow-faces of $G$ is even.
Partial Dehn twists of free groups relative to local Dehn twists - a dichotomy
A criterion for quadratic or higher growth of group automorphisms is established which are represented by graph-of-groups automorphisms with certain well specified properties.
As a consequence, it is derived (using results of a previous paper of the author) that every partial Dehn twist automorphism of $\FN$ relative to local Dehn twist automorphisms is either an honest Dehn twist automorphism, or else has quadratic growth.
On the exponential decay of the characteristic function of the quicksort distribution
We prove that the characteristic function of the quicksort distribution is exponentially decreasing at infinity. As a consequence it follows that the density of the quicksort distribution can be analytically extended to the vicinity of the real line.
Young tableaux and representations of Hecke algebras of type ADE
Published in J. Comb. Algebra 1 (2017), no. 4, 371--423
• Search Publication
We introduce and study some affine Hecke algebras of type ADE, generalising the affine Hecke algebras of GL. We construct irreducible calibrated representations and describe the calibrated spectrum. This is done in terms of new families of combinatorial objects equipped with actions of the corresponding Weyl groups. These objects are built from and generalise the usual standard Young tableaux, and are controlled by the considered affine Hecke algebras. By restriction and limiting procedure, we obtain several combinatorial models for representations of finite Hecke algebras and Weyl groups of type ADE. Representations are constructed by explicit formulas, in a seminormal form.
Vertex Degrees in Planar Maps
Published in Proceedings of the 27th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA '16), 2016, 42-57
• Search Publication
We prove a general multi-dimensional central limit theorem for the expected number of vertices of a given degree in the family of planar maps whose vertex degrees are restricted to an arbitrary (finite or infinite) set of positive integers D. Our results rely on a classical bijection with mobiles (objects exhibiting a tree structure), combined with refined analytic tools to deal with the systems of equations on infinite variables that arise. We also discuss some possible extension to maps of higher genus.