Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Limit theorems for statistics of non-crossing partitions
We study the distribution of several statistics of large non-crossing partitions. First, we prove the Gaussian limit theorem for the number of blocks of a given fixed size. In contrast to the properties of usual set partitions, we show that the number of blocks of different sizes are negatively correlated, even for large partitions. In addition, we show that the sizes of blocks in a given large non-crossing partition are distributed according to a geometric distribution and not Poisson, as in the case of usual set partitions. Next, we show that the size of the largest block concentrates at $\log_2 n$, and that after an appropriate rescaling, it can be described by the double exponential distribution. Finally, we show that the width of a large non-crossing partition converges to the Theta-distribution which arises in the theory of Brownian excursions.
Formality morphism as the mechanism of $\star$-product associativity: how it works
Published in Collection of works Inst. Math., Kyiv (2019) Vol.16, n.1, 22--43
• Search Publication
The formality morphism $\boldsymbol{\mathcal{F}}=\{\mathcal{F}_n$, $n\geqslant1\}$ in Kontsevich's deformation quantization is a collection of maps from tensor powers of the differential graded Lie algebra (dgLa) of multivector fields to the dgLa of polydifferential operators on finite-dimensional affine manifolds. Not a Lie algebra morphism by its term $\mathcal{F}_1$ alone, the entire set $\boldsymbol{\mathcal{F}}$ is an $L_\infty$-morphism instead. It induces a map of the Maurer-Cartan elements, taking Poisson bi-vectors to deformations $μ_A\mapsto\star_{A[[\hbar]]}$ of the usual multiplication of functions into associative noncommutative $\star$-products of power series in $\hbar$. The associativity of $\star$-products is then realized, in terms of the Kontsevich graphs which encode polydifferential operators, by differential consequences of the Jacobi identity. The aim of this paper is to illustrate the work of this algebraic mechanism for the Kontsevich $\star$-products (in particular, with harmonic propagators). We inspect how the Kontsevich weights are correlated for the orgraphs which occur in the associator for $\star$ and in its expansion using Leibniz graphs with the Jacobi identity at a vertex.
Random Simplicial Complexes in the Medial Regime
Published
• View Publication
• BIB
We describe topology of random simplicial complexes in the lower and upper models in the medial regime, i.e. under the assumption that the probability parameters $p_σ$ approach neither $0$ nor $1$. We show that nontrivial Betti numbers of typical lower and upper random simplicial complexes in the medial regime lie in a narrow range of dimensions. For instance, an upper random simplicial complex $Y$ on $n$ vertices in the medial regime with high probability has non-vanishing Betti numbers $b_{j}(Y)$ only for $k+c <n-j<k+\log_2 k +c'$ where $k=\log_2 \ln n$ and $c, c' $ are constants. A lower random simplicial complex on $n$ vertices in the medial regime is with high probability $(k+a)$-connected and its dimension $d$ satisfies $d\sim k+\log_2 k+ a'$ where $a, \, a'$ are constants. The paper develops a new technique, based on Alexander duality, which relates the lower and upper models.
Binary expression of ancestors in the Collatz graph
The Collatz graph is a directed graph with natural number nodes and where there is an edge from node $x$ to node $T(x)=T_0(x)=x/2$ if $x$ is even, or to node $T(x)=T_1(x)=\frac{3x+1}{2}$ if $x$ is odd. Studying the Collatz graph in binary reveals complex message passing behaviors based on carry propagation which seem to capture the essential dynamics and complexity of the Collatz process. We study the set $\mathcal{E} \text{Pred}_k(x)$ that contains the binary expression of any ancestor $y$ that reaches $x$ with a limited budget of $k$ applications of $T_1$. The set $\mathcal{E} \text{Pred}_k(x)$ is known to be regular, Shallit and Wilson [EATCS 1992].
In this paper, we find that the geometry of the Collatz graph naturally leads to the construction of a regular expression, $\texttt{reg}_k(x)$, which defines $\mathcal{E} \text{Pred}_k(x)$. Our construction, is exponential in $k$ which improves upon the doubly exponentially construction of Shallit and Wilson. Furthermore, our result generalises Colussi's work on the $x = 1$ case [TCS 2011] to any natural number $x$, and gives mathematical and algorithmic tools for further exploration of the Collatz graph in binary.
On Characterizations for Subclasses of Directed Co-Graphs
Published
• View Publication
• BIB
Undirected co-graphs are those graphs which can be generated from the single vertex graph by disjoint union and join operations. Co-graphs are exactly the P_4-free graphs (where P_4 denotes the path on 4 vertices). Co-graphs itself and several subclasses haven been intensively studied. Among these are trivially perfect graphs, threshold graphs, weakly quasi threshold graphs, and simple co-graphs.
Directed co-graphs are precisely those digraphs which can be defined from the single vertex graph by applying the disjoint union, order composition, and series composition. By omitting the series composition we obtain the subclass of oriented co-graphs which has been analyzed by Lawler in the 1970s and the restriction to linear expressions was recently studied by Boeckner. There are only a few versions of subclasses of directed co-graphs until now. By transmitting the restrictions of undirected subclasses to the directed classes, we define the corresponding subclasses for directed co-graphs. We consider directed and oriented versions of threshold graphs, simple co-graphs, co-simple co-graphs, trivially perfect graphs, co-trivially perfect graphs, weakly quasi threshold graphs and co-weakly quasi threshold graphs. For all these classes we provide characterizations by finite sets of minimal forbidden induced subdigraphs. Further we analyze relations between these graph classes.
Transmission of perfect trees and rooted powers of graphs
We give exact formulas for the transmission (i.e. the sum of all distances between vertices) of perfect trees and rooted powers of (connected finite) graphs.
Induced subgraphs of hypercubes and a proof of the Sensitivity Conjecture
Published
• View Publication
• BIB
In this paper, we show that every $(2^{n-1}+1)$-vertex induced subgraph of the $n$-dimensional cube graph has maximum degree at least $\sqrt{n}$. This result is best possible, and improves a logarithmic lower bound shown by Chung, Füredi, Graham and Seymour in 1988. As a direct consequence, we prove that the sensitivity and degree of a boolean function are polynomially related, solving an outstanding foundational problem in theoretical computer science, the Sensitivity Conjecture of Nisan and Szegedy.
Spanning eulerian subdigraphs avoiding k prescribed arcs in tournaments
Published
• View Publication
• BIB
A digraph is {\bf eulerian} if it is connected and every vertex has its in-degree equal to its out-degree. Having a spanning eulerian subdigraph is thus a weakening of having a hamiltonian cycle. A digraph is {\bf semicomplete} if it has no pair of non-adjacent vertices. A {\bf tournament} is a semicomplete digraph without directed cycles of length 2. Fraise and Thomassen \cite{fraisseGC3} proved that every $(k+1)$-strong tournament has a hamiltonian cycle which avoids any prescribed set of $k$ arcs. In \cite{bangsupereuler} the authors demonstrated that a number of results concerning vertex-connectivity and hamiltonian cycles in tournaments and have analogues when we replace vertex connectivity by arc-connectivity and hamiltonian cycles by spanning eulerian subdigraphs. They showed the existence of a smallest function $f(k)$ such that every $f(k)$-arc-strong semicomplete digraph has a spanning eulerian subdigraph which avoids any prescribed set of $k$ arcs. They proved that $f(k)\leq \frac{(k+1)^2}{4}+1$ and also proved that $f(k)=k+1$ when $k=2,3$. Based on this they conjectured that $f(k)=k+1$ for all $k\geq 0$. In this paper we prove that $f(k)\leq (\lceil\frac{6k+1}{5}\rceil)$.
Kazhdan-Lusztig R-polynomials for pircons
Published in Journal of Algebra, Volume 534 (2019), Pages 245-272
• View Publication
• BIB
The purpose of this work is to provide a common combinatorial framework for some of the analogues and generalizations of Kazhdan-Lusztig R-polynomials that have appeared since the introduction of these remarkable polynomials (e.g., parabolic Kazhdan-Lusztig R-polynomials, Kazhdan-Lusztig R-polynomials of zircons, and Kazhdan-Lusztig-Vogan polynomials for fixed point free involutions).
Thirty-six Officers and their Code
This note presents a short proof of Euler's 36 officer conjecture. This implies that there is no affine plane of order $6$, but we also give a direct proof.
Independent sets in the hypercube revisited
Published
• View Publication
• BIB
We revisit Sapozhenko's classic proof on the asymptotics of the number of independent sets in the discrete hypercube $\{0,1\}^d$ and Galvin's follow-up work on weighted independent sets. We combine Sapozhenko's graph container methods with the cluster expansion and abstract polymer models, two tools from statistical physics, to obtain considerably sharper asymptotics and detailed probabilistic information about the typical structure of (weighted) independent sets in the hypercube. These results refine those of Korshunov and Sapozhenko and Galvin, and answer several questions of Galvin.
Intersection patterns of planar sets
Published
• View Publication
• BIB
Let $\mathcal A=\{A_1,\ldots,A_n\}$ be a family of sets in the plane. For $0 \leq i < n$, denote by $f_i$ the number of subsets $σ$ of $\{1,\ldots,n\}$ of cardinality $i+1$ that satisfy $\bigcap_{i \in σ} A_i \neq \emptyset$. Let $k \geq 2$ be an integer. We prove that if each $k$-wise and $(k+1)$-wise intersection of sets from $\mathcal A$ is empty, or a single point, or both open and path-connected, then $f_{k+1}=0$ implies $f_k \leq cf_{k-1}$ for some positive constant $c$ depending only on $k$. Similarly, let $b \geq 2, k > 2b$ be integers. We prove that if each $k$-wise or $(k+1)$-wise intersection of sets from $\mathcal A$ has at most $b$ path-connected components, which all are open, then $f_{k+1}=0$ implies $f_k \leq cf_{k-1}$ for some positive constant $c$ depending only on $b$ and $k$. These results also extend to two-dimensional compact surfaces.
Trimming Graphs Using Clausal Proof Optimization
Published
• View Publication
• BIB
We present a method to gradually compute a smaller and smaller unsatisfiable core of a propositional formula by minimizing proofs of unsatisfiability. The goal is to compute a minimal unsatisfiable core that is relatively small compared to other minimal unsatisfiable cores of the same formula. We try to achieve this goal by postponing deletion of arbitrary clauses from the formula as long as possible---in contrast to existing minimal unsatisfiable core algorithms. We applied this method to reduce the smallest known unit-distance graph with chromatic number 5 from 553 vertices and 2720 edges to 529 vertices and 2670 edges.
Turán theorems for unavoidable patterns
We prove Turán-type theorems for two related Ramsey problems raised by Bollobás and by Fox and Sudakov. First, for $t \ge 3$, we show that any two-colouring of the complete graph on $n$ vertices that is $δ$-far from being monochromatic contains an \emph{unavoidable $t$-colouring} when $δ\gg n^{-1/t}$, where an unavoidable $t$-colouring is any two-colouring of a clique of order $2t$ in which one colour forms either a clique of order $t$ or two disjoint cliques of order $t$. Next, for $ t\ge 3$, we show that any tournament on $n$ vertices that is $δ$-far from being transitive contains an \emph{unavoidable $t$-tournament} when $δ\gg n^{-1/\lceil t/2 \rceil}$, where an unavoidable $t$-tournament is the blow-up of a cyclic triangle obtained by replacing each vertex of the triangle by a transitive tournament of order $t$. Conditional on a well-known conjecture about bipartite Turán numbers, both results are sharp up to implied constants and hence determine the order of magnitude of the corresponding off-diagonal Ramsey numbers.
Enumeration of Preferred Extensions in Almost Oriented Digraphs
In this paper, we present enumeration algorithms to list all preferred extensions of an argumentation framework. This task is equivalent to enumerating all maximal semikernels of a directed graph. For directed graphs on $n$ vertices, all preferred extensions can be enumerated in $O^*(3^{n/3})$ time and there are directed graphs with $Ω(3^{n/3})$ preferred extensions. We give faster enumeration algorithms for directed graphs with at most $0.8004\cdot n$ vertices occurring in $2$-cycles. In particular, for oriented graphs (digraphs with no 2-cycles) one of our algorithms runs in time $O(1.2321^n)$, and we show that there are oriented graphs with $Ω(3^{n/6}) > Ω(1.2009^n)$ preferred extensions.
A combination of three algorithms leads to the fastest enumeration times for various proportions of the number of vertices in $2$-cycles. The most innovative one is a new 2-stage sampling algorithm, combined with a new parameterized enumeration algorithm, analyzed with a combination of the recent monotone local search technique (STOC 2016) and an extension thereof (ICALP 2017).
Finite free convolutions via Weingarten calculus
Published in Random Matrices Theory Appl. 10 (2021), no. 4, Paper No. 2150038
• View Publication
• BIB
We consider the three finite free convolutions for polynomials studied in a recent paper by Marcus, Spielman, and Srivastava. Each can be described either by direct explicit formulae or in terms of operations on randomly rotated matrices. We present an alternate approach to the equivalence between these descriptions, based on combinatorial Weingarten methods for integration over the unitary and orthogonal groups. A key aspect of our approach is to identify a certain \emph{quadrature property}, which is satisfied by some important series of subgroups of the unitary groups (including the groups of unitary, orthogonal, and signed permutation matrices), and which yields the desired convolution formulae.
$ω$-Lyndon words
Published
• View Publication
• BIB
Let $\A$ be a finite non-empty set and $\preceq $ a total order on $\A^\nats$ verifying the following lexicographic like condition: For each $n\in \nats$ and $u, v\in \A^n,$ if $u^ω\prec v^ω$ then $ux\prec vy$ for all $x, y \in \A^\nats.$ A word $x\in \A^\nats$ is called $ω$-Lyndon if $x\prec y$ for each proper suffix $y$ of $x.$ A finite word $w\in \A^+$ is called $ω$-Lyndon if $w^ω\prec v^ω$ for each proper suffix $v$ of $w.$ In this note we prove that every infinite word may be written uniquely as a non-increasing product of $ω$-Lyndon words.
On the generation of rank 3 simple matroids with an application to Terao's freeness conjecture
Published
• View Publication
• BIB
In this paper we describe a parallel algorithm for generating all non-isomorphic rank $3$ simple matroids with a given multiplicity vector. We apply our implementation in the HPC version of GAP to generate all rank $3$ simple matroids with at most $14$ atoms and a splitting characteristic polynomial. We have stored the resulting matroids alongside with various useful invariants in a publicly available, ArangoDB-powered database. As a byproduct we show that the smallest divisionally free rank $3$ arrangement which is not inductively free has $14$ hyperplanes and exists in all characteristics distinct from $2$ and $5$. Another database query proves that Terao's freeness conjecture is true for rank $3$ arrangements with $14$ hyperplanes in any characteristic.
The independent set problem is FPT for even-hole-free graphs
The class of even-hole-free graphs is very similar to the class of perfect graphs, and was indeed a cornerstone in the tools leading to the proof of the Strong Perfect Graph Theorem. However, the complexity of computing a maximum independent set (MIS) is a long-standing open question in even-hole-free graphs. From the hardness point of view, MIS is W[1]-hard in the class of graphs without induced 4-cycle (when parameterized by the solution size). Halfway of these, we show in this paper that MIS is FPT when parameterized by the solution size in the class of even-hole-free graphs. The main idea is to apply twice the well-known technique of augmenting graphs to extend some initial independent set.
Minimal bricks
Published in J. Combin. Theory Ser. B 96 (2006), 505-513
• View Publication
• BIB
A brick is a 3-connected graph such that the graph obtained from it by deleting any two distinct vertices has a perfect matching. A brick is minimal if for every edge e the deletion of e results in a graph that is not a brick. We prove a generation theorem for minimal bricks and two corollaries: (1) for n>4, every minimal brick on 2n vertices has at most 5n-7 edges, and (2) every minimal brick has at least three vertices of degree three.