Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Clique decompositions of multipartite graphs and completion of Latin squares
Published
• View Publication
• BIB
Our main result essentially reduces the problem of finding an edge-decomposition of a balanced r-partite graph of large minimum degree into r-cliques to the problem of finding a fractional r-clique decomposition or an approximate one. Together with very recent results of Bowditch and Dukes as well as Montgomery on fractional decompositions into triangles and cliques respectively, this gives the best known bounds on the minimum degree which ensures an edge-decomposition of an r-partite graph into r-cliques (subject to trivially necessary divisibility conditions). The case of triangles translates into the setting of partially completed Latin squares and more generally the case of r-cliques translates into the setting of partially completed mutually orthogonal Latin squares.
Rich square-free words
Published
• View Publication
• BIB
A word w is rich if it has |w|+1 many distinct palindromic factors, including the empty word. A word is square-free if it does not have a factor uu, where u is a non-empty word.
Pelantová and Starosta (Discrete Math. 313 (2013)) proved that every infinite rich word contains a square. We will give another proof for that result. Pelantová and Starosta denoted by r(n) the length of a longest rich square-free word on an alphabet of size n. The exact value of r(n) was left as an open question. We will give an upper and a lower bound for r(n), and make a conjecture that our lower bound is exact.
We will also generalize the notion of repetition threshold for a limited class of infinite words. The repetition thresholds for episturmian and rich words are left as an open question.
A spectral sequence for stratified spaces and configuration spaces of points
Published in Geom. Topol. 21 (2017) 2527-2555
• View Publication
• BIB
We construct a spectral sequence associated to a stratified space, which computes the compactly supported cohomology groups of an open stratum in terms of the compactly supported cohomology groups of closed strata and the reduced cohomology groups of the poset of strata. Several familiar spectral sequences arise as special cases. The construction is sheaf-theoretic and works both for topological spaces and for the étale cohomology of algebraic varieties. As an application we prove a very general representation stability theorem for configuration spaces of points.
Permutation polynomials of the form x+c*Tr(x^k)
Published
• View Publication
• BIB
Let F_{q^n} be the field of order q^n, and let Tr be the trace map from F_{q^n} to its q-element subfield. We exhibit nine sequences of polynomials of the form f(x):=x+c*Tr(x^k), with c in F_{q^n}, such that for each polynomial the function F_{q^n}-->F_{q^n} given by c-->f(c) is a permutation of F_{q^n}. We also computed all permutation polynomials of this form over finite fields of size less than 5000, and found that our examples comprise all examples with n>1 except for some simple cases where the polynomial induces a homomorphism of the additive group of F_{q^n}, along with a few sporadic examples. One intriguing feature is that our proofs of the different sequences use various different methods, including a new variant of Dobbertin's method among others.
The Orlik-Terao algebra and the cohomology of configuration space
Published
• View Publication
• BIB
We give a recursive algorithm for computing the Orlik-Terao algebra of the Coxeter arrangement of type A_{n-1} as a graded representation of S_n, and we give a conjectural description of this representation in terms of the cohomology of the configuration space of n points in SU(2) modulo translation. We also give a version of this conjecture for more general graphical arrangements.
Remarks on Frankl's conjecture
First a few reformulations of Frankl's conjecture are given, in terms of reduced families or matrices, or analogously in terms of lattices. These lead naturally to a stronger conjecture with a neat formulation which might be easier to attack than Frankl's. To this end we prove an inequality which might help in proving the stronger conjecture.
An improvement on the Rado bound for the centerline depth
Published
• View Publication
• BIB
Let $μ$ be a Borel probability measure in $\mathbb R^d$. For a $k$-flat $α$ consider the value $\inf μ(H)$, where $H$ runs through all half-spaces containing $α$. This infimum is called the half-space depth of $α$.
Bukh, Matoušek and Nivasch conjectured that for every $μ$ and every $0 \leq k < d$ there exists a $k$-flat with the depth at least $\tfrac{k + 1}{k + d + 1}$. The Rado Centerpoint Theorem implies a lower bound of $\tfrac{1}{d + 1 - k}$ (the Rado bound), which is, in general, much weaker. Whenever the Rado bound coincides with the bound conjectured by Bukh, Matoušek and Nivasch, i.e., for $k = 0$ and $k = d - 1$, it is known to be optimal.
In this paper we show that for all other pairs $(d, k)$ one can improve on the Rado bound. If $k = 1$ and $d \geq 3$ we show that there is a 1-dimensional line with the depth at least $\tfrac{1}{d} + \tfrac{1}{3d^3}$. As a corollary, for all $(d, k)$ satisfying $0 < k < d - 1$ there exists a $k$-flat with depth at least $\tfrac{1}{d + 1 - k} + \tfrac{1}{3(d + 1 - k)^3}$.
Generating asymptotics for factorially divergent sequences
Published in Electronic Journal of Combinatorics, Volume 25, Issue 4, October 2018, P4.1
• View Publication
• BIB
The algebraic properties of formal power series, whose coefficients show factorial growth and admit a certain well-behaved asymptotic expansion, are discussed. It is shown that these series form a subring of $\mathbb{R}[[x]]$. This subring is also closed under composition and inversion of power series. An 'asymptotic derivation' is defined which maps a power series to the asymptotic expansion of its coefficients. Product and chain rules for this derivation are deduced. With these rules asymptotic expansions of the coefficients of implicitly defined power series can be obtained. The full asymptotic expansions of the number of connected chord diagrams and the number of simple permutations are given as examples.
Computing Linear Systems on Metric Graphs
Published in Journal of Symbolic Computation 87 (2018):54-67
• View Publication
• BIB
The linear system $|D|$ of a divisor $D$ on a metric graph has the structure of a cell complex. We introduce the anchor divisors and anchor cells in it - they serve as the landmarks for us to compute the f-vector of the complex and find all cells in the complex. A linear system can also be identified as a tropical convex hull of rational functions. We compute its extremal generators using the landmarks. We apply these methods to some examples - namely the canonical linear systems of some small trivalent graphs.
Flag-transitive point-primitive non-symmetric 2-(v,k,2) designs with alternating socle
Published
• View Publication
• BIB
This paper studies flag-transitive point-primitive non-symmetric $2$-($v,k,2$) designs. We prove that if $\mathcal{D}$ is a non-trivial non-symmetric $2$-$(v,k,2)$ design admitting a flag-transitive point-primitive automorphism group $G$ with $Soc(G)=A_{n}$ for $n\geq5$, then $\mathcal{D}$ is a $2$-$(6,3,2)$ or $2$-$(10,4,2)$ design.
Construction of schemoids from posets
A schemoid is a generalization of association schemes from the point of view of small categories. In this article, we discuss schemoid structures for two kinds of small categories; the canonical small category defined by a poset, and another small category which arises a poset. We also discuss the schemoid algebra, that is an analogue of the Bose--Mesner algebra for an association scheme, for them.
Weighted distribution of points on cyclic covers of the projective line over finite fields
Published
• View Publication
• BIB
Given a finite field $\mathbb{F}_{q}$, we study the distribution of the number of $\mathbb{F}_{q}$-points on (possibly singular) affine curves given by the polynomial equations of the form $C_{f} : y^{m} = f(x)$, where $f$ is randomly chosen from a fixed collection $\mathcal{F}(\mathbb{F}_{q})$ of polynomials in $\mathbb{F}_{q}[x]$ with fixed $m \geq 2$. Under some conditions, these equations are affine models of cyclic $m$-covers of the projective line. Previously, different authors obtained asymptotic results about distributions of points on curves associated to certain collections of polynomials $f$ defined by large degree of $f$ or large genus of the smooth, projective, and geometrically irreducible curves $\tilde{C}_{f}$ obtained from the affine equations $C_{f}$, when the degree or genus goes to infinity. We summarize their strategies as a lemma, which gives a sufficient condition on the number of polynomials in a fixed collection $\mathcal{F}(\mathbb{F}_{q})$ with prescribed values, that automatically gives the distribution of points on the affine curves associated to the collection. We give infinitely many new examples of collections $\mathcal{F}(\mathbb{F}_{q})$ which satisfy the sufficient condition and hence produce infinitely many new distributions when a certain invariant goes to infinity. The main object of this paper is to demonstrate how changing the invariant that one takes to infinity changes the resulting distribution of points on curves.
Mapping class group orbits of curves with self-intersections
Published
• View Publication
• BIB
We study mapping class group orbits of homotopy and isotopy classes of curves with self-intersections. We exhibit the asymptotics of the number of such orbits of curves with a bounded number of self-intersections, as the complexity of the surface tends to infinity. We also consider the minimal genus of a subsurface that contains the curve. We determine the asymptotic number of orbits of curves with a fixed minimal genus and a bounded self-intersection number, as the complexity of the surface tends to infinity. As a corollary of our methods, we obtain that most curves that are homotopic are also isotopic. Furthermore, using a theorem by Basmajian, we get a bound on the number of mapping class group orbits on a given a hyperbolic surface that can contain short curves. For a fixed length, this bound is polynomial in the signature of the surface. The arguments we use are based on counting embeddings of ribbon graphs.
Shortest Paths and Convex Hulls in 2D Complexes with Non-Positive Curvature
Published
• View Publication
• BIB
Globally non-positively curved, or CAT(0), polyhedral complexes arise in a number of applications, including evolutionary biology and robotics. These spaces have unique shortest paths and are composed of Euclidean polyhedra, yet many algorithms and properties of shortest paths and convex hulls in Euclidean space fail to transfer over. We give an algorithm, using linear programming, to compute the convex hull of a set of points in a 2-dimensional CAT(0) polyhedral complex with a single vertex. We explore the use of shortest path maps to answer single-source shortest path queries in 2-dimensional CAT(0) polyhedral complexes, and we unify efficient solutions for 2-manifold and rectangular cases.
Order nine MMIK graphs
Published
• View Publication
• BIB
We show that there are exactly eight MMIK (minor minimal intrinsically knotted) graphs of order nine.
The $K_{n+5}$ and $K_{3^2,1^n}$ families are obstructions to $n$-apex
Published
• View Publication
• BIB
We give evidence in support of a conjecture that the $\nabla$Y$\nabla$ families of $K_{n+5}$ and $K_{3^2,1^n}$ are obstructions for the $n$-apex property.
Extremal results for random discrete structures
Published in Annals of Mathematics 184(2), 2016, 333-365
• View Publication
• BIB
We study thresholds for extremal properties of random discrete structures. We determine the threshold for Szemerédi's theorem on arithmetic progressions in random subsets of the integers and its multidimensional extensions and we determine the threshold for Turán-type problems for random graphs and hypergraphs. In particular, we verify a conjecture of Kohayakawa, Łuczak, and Rödl for Turán-type problems in random graphs. Similar results were obtained by Conlon and Gowers.
Asymptotic joint distribution of the extremities of a random Young diagram and enumeration of graphical partitions
Published
• View Publication
• BIB
An integer partition of $n$ is a decreasing sequence of positive integers that add up to $[n]$. Back in $1979$ Macdonald posed a question about the limit value of the probability that two partitions chosen uniformly at random, and independently of each other, are comparable in terms of the dominance order. In $1982$ Wilf conjectured that the uniformly random partition is a size-ordered degree sequence of a simple graph with the limit probability $0$. In $1997$ we showed that in both, seemingly unrelated, cases the limit probabilities are indeed zero, but our method left open the problem of convergence rates. The main result in this paper is that each of the probabilities is $e^{-0.11\log n/\log\log n}$, at most. A key element of the argument is a local limit theorem, with convergence rate, for the joint distribution of the $[n^{1/4-\varepsilon}]$ tallest columns and the $[n^{1/4-\varepsilon}]$ longest rows of the Young diagram representing the random partition.
Polynomial Assignments for Bott-Samelson manifolds
Polynomial assignments for a torus $T$-action on a smooth manifold $M$ were introduced by Ginzburg, Guillemin, and Karshon in 1999; they form a module over $\mathbb{S}(\mathfrak{t}^*)$, the algebra of polynomial functions on $\mathfrak{t}$, the Lie algebra of $T$. In this paper we describe the assignment module $\mathcal{A}_T(M)$ for a natural $T$-action on a Bott-Samelson manifold $M = BS^I$ and present a method for computing generators.
On a certain family of U(b)-modules
Published
• View Publication
• BIB
We report on results of Kraśkiewicz and the author, and Watanabe on KP modules materializing Schubert polynomials, and filtrations having KP modules as their subquotients. We discuss applications of KP filtrations and ample KP bundles to positivity, due respectively to Watanabe and Fulton. The article corresponds to the talk given by the author at the conference "IMPANGA 15" in April 2015.