Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Under recurrence in the Khintchine recurrence theorem
Published
• View Publication
• BIB
The Khintchine recurrence theorem asserts that on a measure preserving system, for every set $A$ and $\varepsilon>0$, we have $μ(A\cap T^{-n}A)\geq μ(A)^2-\varepsilon$ for infinitely many $n\in \mathbb{N}$. We show that there are systems having under-recurrent sets $A$, in the sense that the inequality $μ(A\cap T^{-n}A)< μ(A)^2$ holds for every $n\in \mathbb{N}$. In particular, all ergodic systems of positive entropy have under-recurrent sets. On the other hand, answering a question of V.~Bergelson, we show that not all mixing systems have under-recurrent sets. We also study variants of these problems where the previous strict inequality is reversed, and deduce that under-recurrence is a much more rare phenomenon than over-recurrence. Finally, we study related problems pertaining to multiple recurrence and derive some interesting combinatorial consequences.
On the number of cliques in graphs with a forbidden minor
Published
• View Publication
• BIB
Reed and Wood and independently Norine, Seymour, Thomas, and Wollan proved that for each positive integer $t$ there is a constant $c(t)$ such that every graph on $n$ vertices with no $K_t$-minor has at most $c(t)n$ cliques. Wood asked in 2007 if we can take $c(t) = c^t$ for some absolute constant $c$. This question was recently answered affirmatively by Lee and Oum. In this paper, we determine the exponential constant. We prove that every graph on $n$ vertices with no $K_t$-minor has at most $3^{2t/3+o(t)}n$ cliques. This bound is tight for $n \geq 4t/3$. More generally, let $H$ be a connected graph on $t$ vertices, and $x$ denote the size (i.e., the number edges) of the largest matching in the complement of $H$. We prove that every graph on $n$ vertices with no $H$-minor has at most $\max(3^{2t/3-x/3+o(t)}n,2^{t+o(t)}n)$ cliques, and this bound is tight for $n \geq \max (4t/3-2x/3,t)$ by a simple construction. Even more generally, we determine explicitly the exponential constant for the maximum number of cliques an $n$-vertex graph can have in a minor-closed family of graphs which is closed under disjoint union.
The number of direct-sum decompositions of a finite vector space
Published
• View Publication
• BIB
The theory of q-analogs develops many combinatorial formulas for finite vector spaces over a finite field with q elements--all in analogy with formulas for finite sets (which are the special case of q=1). A direct-sum decomposition of a finite vector space is the vector space analogue of a set partition. This paper develops the formulas for the number of direct-sum decompositions that are the q-analogs of the formulas for: (1) the number of set partitions with a given number partition signature; (2) the number of set partitions of an n-element set with m blocks (the Stirling numbers of the second kind); and (3) for the total number of set partitions of an n-element set (the Bell numbers).
A unifying combinatorial approach to refined little Göllnitz and Capparelli's companion identities
Published in Adv. Appl. Math. 98 (2018): 127-154
• View Publication
• BIB
Berkovich-Uncu have recently proved a companion of the well-known Capparelli's identities as well as refinements of Savage-Sills' new little Göllnitz identities. Noticing the connection between their results and Boulet's earlier four-parameter partition generating functions, we discover a new class of partitions, called $k$-strict partitions, to generalize their results. By applying both horizontal and vertical dissections of Ferrers' diagrams with appropriate labellings, we provide a unified combinatorial treatment of their results and shed more lights on the intriguing conditions of their companion to Capparelli's identities.
Analytical results on the polymerisation random graph model
Published in Journal of Mathematical Chemistry, (56) 1, 140-157 (2018)
• View Publication
• BIB
The step-growth polymerisation of a mixture of arbitrary-functional monomers is viewed as a time-continuos random graph process with degree bounds that are not necessarily the same for different vertices. The sequence of degree bounds acts as the only input parameter of the model. This parameter entirely defines the timing of the phase transition. Moreover, the size distribution of connected components features a rich temporal dynamics that includes: switching between exponential and algebraic asymptotes and acquiring oscillations. The results regarding the phase transition and the expected size of a connected component are obtained in a closed form. An exact expression for the size distribution is resolved up to the convolution power and is computable in subquadratic time. The theoretical results are illustrated on a few special cases, including a comparison with Monte Carlo simulations.
Analytic number theory for 0-cycles
Published in Math. Proc. Camb. Phil. Soc. 166 (2019) 123-146
• View Publication
• BIB
There is a well-known analogy between integers and polynomials over $F_q$, and a vast literature on analytic number theory for polynomials. From a geometric point of view, polynomials are equivalent to effective 0-cycles on the affine line. This leads one to ask: Can the analogy between integers and polynomials be extended to 0-cycles on more general varieties? In this paper we study prime factorization of effective 0-cycles on an arbitrary connected variety $V$ over $F_q$, emphasizing the analogy between integers and 0-cycles. For example, inspired by the works of Granville and Rhoades, we prove that the prime factors of 0-cycles are typically Poisson distributed.
$(D+1)$-Colored Graphs - a Review of Sundry Properties
Published in SIGMA 12 (2016), 076, 27 pages
• View Publication
• BIB
We review the combinatorial, topological, algebraic and metric properties supported by $(D+1)$-colored graphs, with a focus on those that are pertinent to the study of tensor model theories. We show how to extract a limiting continuum metric space from this set of graphs and detail properties of this limit through the calculation of exponents at criticality.
Heredity for generalized power domination
Published
• View Publication
• BIB
In this paper, we study the behaviour of the generalized power domination number of a graph by small changes on the graph, namely edge and vertex deletion and edge contraction. We prove optimal bounds for $γ\_{p,k}(G-e)$, $γ\_{p,k}(G/e)$ and for $γ\_{p,k}(G-v)$ in terms of $γ\_{p,k}(G)$, and give examples for which these bounds are tight. We characterize all graphs for which $γ\_{p,k}(G-e) = γ\_{p,k}(G)+1$ for any edge $e$. We also consider the behaviour of the propagation radius of graphs by similar modifications.
Peeling and Nibbling the Cactus: Subexponential-Time Algorithms for Counting Triangulations and Related Problems
Given a set of $n$ points $S$ in the plane, a triangulation $T$ of $S$ is a maximal set of non-crossing segments with endpoints in $S$. We present an algorithm that computes the number of triangulations on a given set of $n$ points in time $n^{(11+ o(1))\sqrt{n} }$, significantly improving the previous best running time of $O(2^n n^2)$ by Alvarez and Seidel [SoCG 2013]. Our main tool is identifying separators of size $O(\sqrt{n})$ of a triangulation in a canonical way. The definition of the separators are based on the decomposition of the triangulation into nested layers ("cactus graphs"). Based on the above algorithm, we develop a simple and formal framework to count other non-crossing straight-line graphs in $n^{O(\sqrt{n})}$ time. We demonstrate the usefulness of the framework by applying it to counting non-crossing Hamilton cycles, spanning trees, perfect matchings, $3$-colorable triangulations, connected graphs, cycle decompositions, quadrangulations, $3$-regular graphs, and more.
Special divisors on marked chains of cycles
Published in J. Combin. Theory Ser. A 150 (2017), 182-207
• View Publication
• BIB
We completely describe all Brill-Noether loci on metric graphs consisting of a chain of g cycles with arbitrary edge lengths, generalizing work of Cools, Draisma, Payne, and Robeva. The structure of these loci is determined by displacement tableaux on rectangular partitions, which we define. More generally, we fix a marked point on the rightmost cycle, and completely analyze the loci of divisor classes with specified ramification at the marked point, classifying them using displacement tableaux. Our results give a tropical proof of the generalized Brill-Noether theorem for general marked curves, and serve as a foundation for the analysis of general algebraic curves of fixed gonality.
Tangles and the Mona Lisa
We show how an image can, in principle, be described by the tangles of the graph of its pixels.
The tangle-tree theorem provides a nested set of separations that efficiently distinguish all the distinguishable tangles in a graph. This translates to a small data set from which the image can be reconstructed.
The tangle duality theorem says that a graph either has a certain-order tangle or a tree-structure witnessing that this cannot exist. This tells us the maximum resolution at which the image contains meaningful information.
Some Ree and Suzuki curves are not Galois covered by the Hermitian curve
Published
• View Publication
• BIB
The Deligne-Lusztig curves associated to the algebraic groups of type $^2A_2$, $^2B_2$, and $^2G_2$ are classical examples of maximal curves over finite fields. The Hermitian curve $\mathcal H_q$ is maximal over $\mathbb F_{q^2}$, for any prime power $q$, the Suzuki curve $\mathcal S_q$ is maximal over $\mathbb F_{q^4}$, for $q=2^{2h+1}$, $h\geq1$ and the Ree curve $\mathcal R_q$ is maximal over $\mathbb F_{q^6}$, for $q=3^{2h+1}$, $h\geq0$. In this paper we show that $\mathcal S_8$ is not Galois covered by $\mathcal H_{64}$. We also give a proof for an unpublished result due to Rains and Zieve stating that $\mathcal R_3$ is not Galois covered by $\mathcal H_{27}$. Furthermore, we determine the spectrum of genera of Galois subcovers of $\mathcal H_{27}$, and we point out that some Galois subcovers of $\mathcal R_3$ are not Galois subcovers of $\mathcal H_{27}$.
A Liouville hyperbolic souvlaki
Published
• View Publication
• BIB
We construct a transient bounded-degree graph no transient subgraph of which embeds in any surface of finite genus.
Moreover, we construct a transient, Liouville, bounded-degree, Gromov--hyperbolic graph with trivial hyperbolic boundary that has no transient subtree. This answers a question of Benjamini. This graph also yields a (further) counterexample to a conjecture of Benjamini and Schramm.
On subsets of the normal rational curve
Published
• View Publication
• BIB
A normal rational curve of the $(k-1)$-dimensional projective space over ${\mathbb F}_q$ is an arc of size $q+1$, since any $k$ points of the curve span the whole space. In this article we will prove that if $q$ is odd then a subset of size $3k-6$ of a normal rational curve cannot be extended to an arc of size $q+2$. In fact, we prove something slightly stronger. Suppose that $q$ is odd and $E$ is a $(2k-3)$-subset of an arc $G$ of size $3k-6$. If $G$ projects to a subset of a conic from every $(k-3)$-subset of $E$ then $G$ cannot be extended to an arc of size $q+2$. Stated in terms of error-correcting codes we prove that a $k$-dimensional linear maximum distance separable code of length $3k-6$ over a field ${\mathbb F}_q$ of odd characteristic, which can be extended to a Reed-Solomon code of length $q+1$, cannot be extended to a linear maximum distance separable code of length $q+2$.
Cyclic Coloring of Plane Graphs with Maximum Face Size 16 and 17
Plummer and Toft conjectured in 1987 that the vertices of every 3-connected plane graph with maximum face size D can be colored using at most D+2 colors in such a way that no face is incident with two vertices of the same color. The conjecture has been proven for D=3, D=4 and D>=18. We prove the conjecture for D=16 and D=17.
The matroid secretary problem for minor-closed classes and random matroids
Published
• View Publication
• BIB
We prove that for every proper minor-closed class $M$ of matroids representable over a prime field, there exists a constant-competitive matroid secretary algorithm for the matroids in $M$. This result relies on the extremely powerful matroid minor structure theory being developed by Geelen, Gerards and Whittle.
We also note that for asymptotically almost all matroids, the matroid secretary algorithm that selects a random basis, ignoring weights, is $(2+o(1))$-competitive. In fact, assuming the conjecture that almost all matroids are paving, there is a $(1+o(1))$-competitive algorithm for almost all matroids.
A new expander and improved bounds for $A(A+A)$
The main result in this paper concerns a new five-variable expander. It is proven that for any finite set of real numbers $A$, $$|\{(a_1+a_2+a_3+a_4)^2+\log a_5 :a_1,a_2,a_3,a_4,a_5 \in A \}| \gg \frac{|A|^2}{\log |A|}.$$ This bound is optimal, up to logarithmic factors. The paper also gives new lower bounds for $|A(A-A)|$ and $|A(A+A)|$, improving on results from arXiv:1312.6438. The new bounds are $$|A(A-A)| \gtrapprox |A|^{3/2+\frac{1}{34}}$$ and $$|A(A+A)| \gtrapprox |A|^{3/2+\frac{5}{242}}.$$
Cops, Robber and Medianwidth Parameters
In previous work, we introduced median decompositions, a generalisation of tree decompositions where a graph can be modelled after any median graph, along with a hierarchy of $i$-medianwidth parameters $(mw_i)_{i\geq 1}$ starting from treewidth and converging to the clique number.
We introduce another graph parameter based on the concept of median decompositions, to be called $i$-latticewidth and denoted by $lw_i$, for which we restrict the modelling median graph of a decomposition to be isometrically embeddable into the Cartesian product of $i$ paths. The sequence $(lw_i)_{i\geq 1}$ gives rise to a hierarchy of parameters starting from pathwidth and converging to the clique number. We characterise the $i$-latticewidth of a graph in terms of maximal intersections of bags of $i$ path decompositions of the graph.
We study a generalisation of the classical Cops and Robber game, where the robber plays against not just one, but $i$ cop players. Depending on whether the robber is visible or not, we show a direct connection to $i$-medianwidth or $i$-latticewidth, respectively.
The First Time KE is Broken up
A relevant collection is a collection, $F$, of sets, such that each set in $F$ has the same cardinality, $α(F)$. A Konig Egervary (KE) collection is a relevant collection $F$, that satisfies $|\bigcup F|+|\bigcap F|=2α(F)$. An hke (hereditary KE) collection is a relevant collection such that all of his non-empty subsets are KE collections. In \cite{jlm} and \cite{dam}, Jarden, Levit and Mandrescu presented results concerning graphs, that give the motivation for the study of hke collections. In \cite{hke}, Jarden characterize hke collections.
Let $Γ$ be a relevant collection such that $Γ-\{S\}$ is an hke collection, for every $S \in Γ$. We study the difference between $|\bigcap Γ_1-\bigcup Γ_2|$ and $|\bigcap Γ_2-\bigcup Γ_1|$, where $\{Γ_1,Γ_2\}$ is a partition of $Γ$. We get new characterizations for an hke collection and for a KE graph.
Solving generic nonarchimedean semidefinite programs using stochastic game algorithms
Published in Journal of Symbolic Computation, volume 85, pages 25-54, 2018
• View Publication
• BIB
A general issue in computational optimization is to develop combinatorial algorithms for semidefinite programming. We address this issue when the base field is nonarchimedean. We provide a solution for a class of semidefinite feasibility problems given by generic matrices. Our approach is based on tropical geometry. It relies on tropical spectrahedra, which are defined as the images by the valuation of nonarchimedean spectrahedra. We establish a correspondence between generic tropical spectrahedra and zero-sum stochastic games with perfect information. The latter have been well studied in algorithmic game theory. This allows us to solve nonarchimedean semidefinite feasibility problems using algorithms for stochastic games. These algorithms are of a combinatorial nature and work for large instances.