Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Majorization and Rényi Entropy Inequalities via Sperner Theory
Published in Discrete Mathematics (AEGT 2017 Special issue edited by S. Cioaba, R. Coulter, E. Fiorini, Q. Xiang, F. Pfender), vol. 342, no. 10, pp. 2911-2923, October 2019
• View Publication
• BIB
A natural link between the notions of majorization and strongly Sperner posets is elucidated. It is then used to obtain a variety of consequences, including new Rényi entropy inequalities for sums of independent, integer-valued random variables.
Multi-coloured jigsaw percolation on random graphs
Published
• View Publication
• BIB
The jigsaw percolation process, introduced by Brummitt, Chatterjee, Dey and Sivakoff, was inspired by a group of people collectively solving a puzzle. It can also be seen as a measure of whether two graphs on a common vertex set are "jointly connected". In this paper we consider the natural generalisation of this process to an arbitrary number of graphs on the same vertex set. We prove that if these graphs are random, then the jigsaw percolation process exhibits a phase transition in terms of the product of the edge probabilities. This generalises a result of Bollobás, Riordan, Slivken and Smith.
Rooted Tree Maps
Published
• View Publication
• BIB
Based on Hopf algebra of rooted trees introduced by Connes and Kreimer, we construct a class of linear maps on noncommutative polynomial algebra in two indeterminates, namely rooted tree maps. We also prove that their maps induce a class of relations among multiple zeta values.
A Continuous Family of Marked Poset Polytopes
Published
• View Publication
• BIB
For any marked poset we define a continuous family of polytopes, parametrized by a hypercube, generalizing the notions of marked order and marked chain polytopes. By providing transfer maps, we show that the vertices of the hypercube parametrize an Ehrhart equivalent family of lattice polytopes. The combinatorial type of the polytopes is constant when the parameters vary in the relative interior of each face of the hypercube. Moreover, with the help of a subdivision arising from a tropical hyperplane arrangement associated to the marked poset, we give an explicit description of the vertices of the polytope for generic parameters.
The Game of Blocking Pebbles
Published
• View Publication
• BIB
Graph Pebbling is a well-studied single-player game on graphs. We introduce the game of Blocking Pebbles which adapts Graph Pebbling into a two-player strategy game in order to examine it within the context of Combinatorial Game Theory. Positions with game values matching all integers, all nimbers, and many infinitesimals and switches are found.
Multi-directed graph complexes and quasi-isomorphisms between them II: Sourced graphs
We prove that the inclusion from oriented graph complex into graph complex with at least one source is a quasi-isomorphism, showing that homology of the "sourced" graph complex is also equal to the homology of standard Kontsevich's graph complex. This result may have applications in theory of multi-vector fields $T_{\rm poly}^{\geq 1}$ of degree at least one, and to the hairy graph complex which computes the rational homotopy of the space of long knots. The result is generalized to multi-directed graph complexes, showing that all such graph complexes are quasi-isomorphic. These complexes play a key role in the deformation theory of multi-oriented props recently invented by Sergei Merkulov. We also develop a theory of graph complexes with arbitrary edge types.
Refining the Two-Dimensional Signed Small Ball Inequality
Published
• View Publication
• BIB
The two-dimensional signed small ball inequality states that for all possible choices of signs, $$ \left\| \sum_{|R| = 2^{-n}}{ \varepsilon_R h_R} \right\|_{L^{\infty}} \gtrsim n,$$ where the summation runs over all dyadic rectangles in the unit square and $h_R$ denotes the associated Haar function. This inequality first appeared in the work of Talagrand, and alternative proofs are due to Temlyakov and Bilyk & Feldheim (who showed that the supremum equals $n+1$ in all cases). We prove that for all integers $0\leq k \leq n+1$ and all possible choices of signs, $$ \left| \left\{ x \in [0,1)^2: \sum_{|R| = 2^{-n}}{ \varepsilon_R h_R} = n + 1 - 2k\right\} \right| = \frac{1}{2^{n+1}}\binom{n+1}{k}.$$
Efficiently sampling the realizations of irregular, but linearly bounded bipartite and directed degree sequences
Published in PLOS ONE, 2018, 13(8): e0201995
• View Publication
• BIB
Since 1997 a considerable effort has been spent on the study of the swap (switch) Markov chains on graphic degree sequences. Several results were proved on rapidly mixing Markov chains on regular simple, on regular directed, on half-regular directed and on half-regular bipartite degree sequences. In this paper, the main result is the following: Let $U$ and $V$ be disjoint finite sets, and let $0 < c_1 \le c_2 < |U|$ and $0 < d_1 \le d_2 < |V|$ be integers. Furthermore, assume that the bipartite degree sequence on $U \cup V$ satisfies $c_1 \le d(v) \le c_2\ : \ \forall v\in V$ and $d_1 \le d(u) \le d_2 \ : \ \forall u\in U$. Finally assume that $(c_2-c_1 -1)(d_2 -d_1 -1) < 1 + \max \{c_1(|V| -d_2), d_1(|V|- c_2) \}$. Then the swap Markov chain on this bipartite degree sequence is rapidly mixing. The technique applies on directed degree sequences as well, with very similar parameter values.
These results are germane to the recent results of Greenhill and Sfragara about fast mixing MCMC processes on simple and directed degree sequences, where the maximum degrees are $O(\sqrt{\# \mbox{ of edges}})$. The results are somewhat comparable on directed degree sequences: while the GS results are better applicable for degree sequences developed under some scale-free random process, our new results are better fitted to degree sequences developed under the Erdős -- Rényi model. For example our results cover all regular degree sequences, the GS model is not applicable when the average degree is $ > n/16.$
A variation on bisecting the binomial coefficients
In this paper, we present an algorithm which allows us to search for all the bisections for the binomial coefficients $\{\binom{n}{k} \}_{k=0,...,n}$ and include a table with the results for all $n\le 154$. Connections with previous work on this topic is included. We conjecture that the probability of having only trivial solutions is $5/6$. \end{abstract}
Exponential Generalised Network Descriptors
In communication networks theory the concepts of networkness and network surplus have recently been defined. Together with transmission and betweenness centrality, they were based on the assumption of equal communication between vertices. Generalised versions of these four descriptors were presented, taking into account that communication between vertices $u$ and $v$ is decreasing as the distance between them is increasing. Therefore, we weight the quantity of communication by $λ^{d(u,v)}$ where $λ\in \left\langle0,1 \right\rangle$. Extremal values of these descriptors are analysed.
The algebraic geometry of Kazhdan-Lusztig-Stanley polynomials
Published
• View Publication
• BIB
Kazhdan-Lusztig-Stanley polynomials are a combinatorial generalization of Kazhdan-Lusztig polynomials of for Coxeter groups that include g-polynomials of polytopes and Kazhdan-Lusztig polynomials of matroids. In the cases of Weyl groups, rational polytopes, and realizable matroids, one can count points over finite fields on flag varieties, toric varieties, or reciprocal planes to obtain cohomological interpretations of these polynomials. We survey these results and unite them under a single geometric framework.
Asymptotic properties of random unlabelled block-weighted graphs
Published
• View Publication
• BIB
We study the asymptotic shape of random unlabelled graphs subject to certain subcriticality conditions. The graphs are sampled with probability proportional to a product of Boltzmann weights assigned to their $2$-connected components. As their number of vertices tends to infinity, we show that they admit the Brownian tree as Gromov--Hausdorff--Prokhorov scaling limit, and converge in a strengthened Benjamini--Schramm sense toward an infinite random graph. We also consider a family of random graphs that are allowed to be disconnected. Here a giant connected component emerges and the small fragments converge without any rescaling towards a finite random limit graph.
Extending linear and quadratic functions from high rank varieties
Let $k$ be a field, $V$ be a $k$-vector space and $X\subset V$ an algebraic irreducible subvariety.
We say that a function $f:X(k) \to k$ is weakly linear if its restriction to any two-dimensional linear subspace $W$ of $V$ contained in $X$ is linear and that it is weakly quadratic if its restriction to any three-dimensional linear subspace $W$ of $V$ contained in $X$ is quadratic.
We say that $X$ is admissible if any weakly linear function on $X$ is a restriction of a linear function on $V$ and any weakly quadratic function on $X$ is a restriction of a quadratic function on $V$.
The main result in the paper concerns the case when the field $k$ is a finite. We show that for any $d,L\geq 1$ there exists $r=r(d,L,k)\in \mathbb Z _+$ such that any complete intersection $X\in V$ in a vector space $V$ of codimension $L$, degree $d$ and rank $\geq r$ is admissible.
Moreover we show the existence of a function $r(d,L)$ such that one can take $r(d,L,k)=r(d,L)$ for all finite fields $k$ of characteristic $>d$.
The proof of the admissibility for finite fields $k$ is based on bounds on the number of $k$-points on ancillary varieties $E(X)$. These results allow us to bound the dimension of varieties $E(X)$. Using these results we were able to prove the admissibility of complex homogeneous varieties of high rank.
Using the results of \cite{br} one can extend our proofs to show the admissibility of varieties of high rank over local non-archimedian fields. Also using Corollary $4.3$ of \cite{cmpv} one can dispense with the assumption that $X$ is a complete intersection.
Three-dimensional maps and subgroup growth
Published in Manuscripta Math. (2021)
• View Publication
• BIB
In this paper we derive a generating series for the number of cellular complexes known as pavings or three-dimensional maps, on $n$ darts, thus solving an analogue of Tutte's problem in dimension three.
The generating series we derive also counts free subgroups of index $n$ in $Δ^+ = \mathbb{Z}_2*\mathbb{Z}_2*\mathbb{Z}_2$ via a simple bijection between pavings and finite index subgroups which can be deduced from the action of $Δ^+$ on the cosets of a given subgroup. We then show that this generating series is non-holonomic. Furthermore, we provide and study the generating series for isomorphism classes of pavings, which correspond to conjugacy classes of free subgroups of finite index in $Δ^+$.
Computational experiments performed with software designed by the authors provide some statistics about the topology and combinatorics of pavings on $n\leq 16$ darts.
Digraph Polynomials for Counting Cycles and Paths
Many polynomial invariants are defined on graphs for encoding the combinatorial information and researching them algebraically. In this paper, we introduce the cycle polynomial and the path polynomial of directed graphs for counting cycles and paths, respectively. They satisfy recurrence relations with respect to elementary edge or vertex operations. They are related to other polynomials and can also be generalized to the bivariate cycle polynomial, the bivariate path polynomial and the trivariate cycle-path polynomial. And a most general digraph polynomial satisfying such a linear recurrence relation is recursively defined and shown to be co-reducible to the trivariate cycle-path polynomial. We also give an explicit expression of this polynomial.
Some extremal ratios of the distance and subtree problems in binary trees
Published
• View Publication
• BIB
Among many topological indices of trees the sum of distances $σ(T)$ and the number of subtrees $F(T)$ have been a long standing pair of graph invariants that are well known for their negative correlation. That is, among various given classes of trees, the extremal structures maximizing one usually minimize the other, and vice versa. By introducing the "local" versions of these invariants, $σ_T(v)$ for the sum of distance from $v$ to all other vertices and $F_T(v)$ for the number of subtrees containing $v$, extremal problems can be raised and studied for vertices within a tree. This leads to the concept of "middle parts" of a tree with respect to different indices. A challenging problem is to find extremal values of the ratios between graph indices and corresponding local functions at middle parts or leaves. This problem also provides new opportunities to further verify the the correlation between different indices such as $σ(T)$ and $F(T)$. Such extremal ratios, along with the extremal structures, were studied and compared for the distance and subtree problems for general trees In this paper this study is extended to binary trees, a class of trees with numerous practical applications in which the extremal ratio problems appear to be even more complicated. After justifying some basic properties on the distance and subtree problems in trees and binary trees, characterizations are provided for the extremal structures achieving two extremal ratios in binary trees of given order. The generalization of this work to $k$-ary trees is also briefly discussed. The findings are compared with the previous established extremal structures in general trees. Lastly some potential future work is mentioned.
Toric Codes and Lattice Ideals
Published in Finite Fields Appl. 52, 2018, 243-260
• View Publication
• BIB
Let $X$ be a complete simplicial toric variety over a finite field $\mathbb{F}_q$ with homogeneous coordinate ring $S=\mathbb{F}_q[x_1,\dots,x_r]$ and split torus $T_X\cong (\mathbb{F}^*_q)^n$. We prove that vanishing ideal of a subset $Y$ of the torus $T_X$ is a lattice ideal if and only if $Y$ is a subgroup. We show that these subgroups are exactly those subsets that are parameterized by Laurents monomials. We give an algorithm for determining this parametrization if the subgroup is the zero locus of a lattice ideal in the torus. We also show that vanishing ideals of subgroups of $T_X$ are radical homogeneous lattice ideals of dimension $r-n$. We identify the lattice corresponding to a degenerate torus in $X$ and completely characterize when its lattice ideal is a complete intersection. We compute dimension and length of some generalized toric codes defined on these degenerate tori.
Distinguishing critical graphs
Published
• View Publication
• BIB
The distinguishing number $D(G)$ of a graph $G$ is the least integer $d$ such that $G$ has a vertex labeling with $d$ labels that is preserved only by a trivial automorphism. We say that a graph $G$ is $d$-distinguishing critical, if $D(G)=d$ and $D(H)\neq D(G)$, for every proper induced subgraph $H$ of $G$. This generalizes the usual definition of a $d$-chromatic critical graph. While the investigation of $d$-critical graphs is a well established part of coloring theory, not much is known about $d$-distinguishing critical graphs. In this paper we determine all $d$-distinguishing critical graphs for $d= 1,2,3$ and observe that all of these kind of graphs are $k$-regular graph for some $k\leq d$. Also, we show that the disconnected $d$-distinguishing critical graph with $c$ connected components such that $c\geq \frac{d}{2}$, is a regular graph.
A Generalized Turán Problem and its Applications
Published
• View Publication
• BIB
The investigation of conditions guaranteeing the appearance of cycles of certain lengths is one of the most well-studied topics in graph theory. In this paper we consider a problem of this type which asks, for fixed integers ${\ell}$ and $k$, how many copies of the $k$-cycle guarantee the appearance of an $\ell$-cycle? Extending previous results of Bollobás--Győri--Li and Alon--Shikhelman, we fully resolve this problem by giving tight (or nearly tight) bounds for all values of $\ell$ and $k$.
We also present a somewhat surprising application of the above mentioned estimates to the study of the graph removal lemma. Prior to this work, all bounds for removal lemmas were either polynomial or there was a tower-type gap between the best known upper and lower bounds. We fill this gap by showing that for every super-polynomial function $f(\varepsilon)$, there is a family of graphs ${\cal F}$, such that the bounds for the ${\cal F}$ removal lemma are precisely given by $f(\varepsilon)$. We thus obtain the first examples of removal lemmas with tight super-polynomial bounds. A special case of this result resolves a problem of Alon and the second author, while another special case partially resolves a problem of Goldreich.
A Polyhedral Proof of a Wreath Product Identity
Published
• View Publication
• BIB
In 2013, Beck and Braun proved and generalized multiple identities involving permutation statistics via discrete geometry. Namely, they recognized the identities as specializations of integer point transform identities for certain polyhedral cones. They extended many of their proof techniques to obtain identities involving wreath products, but some identities were resistant to their proof attempts. In this article, we provide a geometric justification of one of these wreath product identities, which was first established by Biagioli and Zeng.