Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Clustering coefficient of random intersection graphs with infinite degree variance
Published
• View Publication
• BIB
For a random intersection graph with a power law degree sequence having a finite mean and an infinite variance we show that the global clustering coefficient admits a tunable asymptotic distribution.
On 132-representable Graphs
A graph $G = (V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy$ is an edge in $E$. Word-representable graphs are the subject of a long research line in the literature initiated in \cite{KP}, and they are the main focus in the recently published book \cite{KL}. A word $w=w_1\cdots w_{n}$ avoids the pattern $132$ if there are no $1\leq i_1<i_2<i_3\leq n$ such that $w_{i_1}<w_{i_3}<w_{i_2}$. The theory of patterns in words and permutations is a fast growing area discussed in \cite{HM,Kit}.
A research direction suggested in \cite{KL} is in merging the theories of word-representable graphs and patterns in words. Namely, given a class of pattern-avoiding words, can we describe the class of graphs represented by the words? Our paper provides the first non-trivial results in this direction. We say that a graph is 132-representable if it can be represented by a 132-avoiding word. We show that each 132-representable graph is necessarily a circle graph. Also, we show that any tree and any cycle graph are 132-representable, which is a rather surprising fact taking into account that most of these graphs are non-representable in the sense specified, as a generalization of the notion of a word-representable graph, in \cite{JKPR}. Finally, we provide explicit 132-avoiding representations for all graphs on at most five vertices, and also describe all such representations, and enumerate them, for complete graphs.
The Survival Complex
We introduce a new way to associate a simplicial complex called the \emph{survival complex} to a commutative semigroup with zero. Restricting our attention to the semigroup of monomials arising from an Artinian monomial ring, we determine that any such complex has an isolated point. Indeed, we show that there is exactly one isolated point essentially only in the case where the monomial ideal is generated purely by powers of the variables. This allows us to recover Beintema's result that an Artinian monomial ring is Gorenstein if and only if it is a complete intersection. A key ingredient of the translation between the pure power result and Beintema's result is given by the one-to-one correspondence we show between the so-called \emph{truly isolated} points of our complex and the generators of the socle of the defining ideal. In another relation between the geometry of the complex and the algebra of the ring, we essentially give a correspondence between the nontrivial connected components of the complex and the factors of a fibre product representation of the ring. Finally, we explore algorithms for building survival complexes from specified isolated points. That is, we work to build the ring out of a description of the socle.
Simsun permutations, simsun successions and simsun patterns
In this paper, we introduce the definitions of simsun succession, simsun cycle succession and simsun pattern. In particular, the ordinary simsun permutations are permutations avoiding simsun pattern 321. We study the descent and peak statistics on permutations avoiding simsun successions. We give a combinatorial interpretation of the q-Eulerian polynomials introduced by Brenti (J. Combin. Theory Ser. A 91 (2000), 137-170). We also present a bijection between permutations avoiding simsun pattern 132 and set partitions.
Elliptic Hypergeometric Summations by Taylor Series Expansion and Interpolation
Published in SIGMA 12 (2016), 039, 21 pages
• View Publication
• BIB
We use elliptic Taylor series expansions and interpolation to deduce a number of summations for elliptic hypergeometric series. We extend to the well-poised elliptic case results that in the $q$-case have previously been obtained by Cooper and by Ismail and Stanton. We also provide identities involving S. Bhargava's cubic theta functions.
On the Generalised Colouring Numbers of Graphs that Exclude a Fixed Minor
Published
• View Publication
• BIB
The generalised colouring numbers $\mathrm{col}_r(G)$ and $\mathrm{wcol}_r(G)$ were introduced by Kierstead and Yang as a generalisation of the usual colouring number, and have since then found important theoretical and algorithmic applications. In this paper, we dramatically improve upon the known upper bounds for generalised colouring numbers for graphs excluding a fixed minor, from the exponential bounds of Grohe et al. to a linear bound for the $r$-colouring number $\mathrm{col}_r$ and a polynomial bound for the weak $r$-colouring number $\mathrm{wcol}_r$. In particular, we show that if $G$ excludes $K_t$ as a minor, for some fixed $t\ge4$, then $\mathrm{col}_r(G)\le\binom{t-1}{2}\,(2r+1)$ and $\mathrm{wcol}_r(G)\le\binom{r+t-2}{t-2}\cdot(t-3)(2r+1)\in\mathcal{O}(r^{\,t-1})$. In the case of graphs $G$ of bounded genus $g$, we improve the bounds to $\mathrm{col}_r(G)\le(2g+3)(2r+1)$ (and even $\mathrm{col}_r(G)\le5r+1$ if $g=0$, i.e. if $G$ is planar) and $\mathrm{wcol}_r(G)\le\Bigl(2g+\binom{r+2}{2}\Bigr)\,(2r+1)$.
Symmetril Moulds, Generic Group Schemes, Resummation of Mzvs
Published
• View Publication
• BIB
The present article deals with various generating series and group schemes (not necessarily affine ones) associated with MZVs. Our developments are motivated by Ecalle's mould calculus approach to the latter. We propose in particular a Hopf algebra--type encoding of symmetril moulds and introduce a new resummation process for MZVs.
Continuous Analogues for the Binomial Coefficients and the Catalan Numbers
Published
• View Publication
• BIB
Using techniques from the theories of convex polytopes, lattice paths, and indirect influences on directed manifolds, we construct continuous analogues for the binomial coefficients and the Catalan numbers. Our approach for constructing these analogues can be applied to a wide variety of combinatorial sequences. As an application we develop a continuous analogue for the binomial distribution.
On the real-rootedness of the Veronese construction for rational formal power series
Published
• View Publication
• BIB
We study real sequences $\{a_{n}\}_{n\in \mathbb{N}}$ that eventually agree with a polynomial. We show that if the numerator polynomial of its rational generating series is of degree $s$ and has only nonnegative coefficients, then the numerator polynomial of the subsequence $\{ a_{rn+i}\}_{n\in \mathbb{N}}$, $0\leq i<r$, has only nonpositive, real roots for all $r\geq s-i$. We apply our results to combinatorially positive valuations on polytopes and to Hilbert functions of Veronese submodules of graded Cohen-Macaulay algebras. In particular, we prove that the Ehrhart $h^\ast$-polynomial of the $r$-th dilate of a $d$-dimensional polytope has only distinct, negative, real roots if $r\geq \min \{s+1,d\}$. This proves a conjecture of Beck and Stapledon (2010).
Algebraic Method in Tilings
In this paper we introduce a new algebraic method in tilings. Combining this method with Hilbert's Nullstellensatz we obtain a necessary condition for tiling $n$-space by translates of a cluster of cubes. Further, the polynomial method will enable us to show that if there exists a tiling of $n$-space by translates of a cluster $V$ of prime size then there is a lattice tiling by $V$ as well. Finally, we provide supporting evidence for a conjecture that each tiling by translates of a prime size cluster $V$ is lattice if $V$ generates $n$-space.
Anchored Rectangle and Square Packings
Published
• View Publication
• BIB
For points $p_1,\ldots , p_n$ in the unit square $[0,1]^2$, an \emph{anchored rectangle packing} consists of interior-disjoint axis-aligned empty rectangles $r_1,\ldots , r_n\subseteq [0,1]^2$ such that point $p_i$ is a corner of the rectangle $r_i$ (that is, $r_i$ is \emph{anchored} at $p_i$) for $i=1,\ldots, n$. We show that for every set of $n$ points in $[0,1]^2$, there is an anchored rectangle packing of area at least $7/12-O(1/n)$, and for every $n\in \mathbf{N}$, there are point sets for which the area of every anchored rectangle packing is at most $2/3$. The maximum area of an anchored \emph{square} packing is always at least $5/32$ and sometimes at most $7/27$.
The above constructive lower bounds immediately yield constant-factor approximations, of $7/12 -\varepsilon$ for rectangles and $5/32$ for squares, for computing anchored packings of maximum area in $O(n\log n)$ time. We prove that a simple greedy strategy achieves a $9/47$-approximation for anchored square packings, and $1/3$ for lower-left anchored square packings. Reductions to maximum weight independent set (MWIS) yield a QPTAS and a PTAS for anchored rectangle and square packings in $n^{O(1/\varepsilon)}$ and $\exp({\rm poly}(\log (n/\varepsilon)))$ time, respectively.
Topologically Distinct Sets of Non-intersecting Circles in the Plane
Nested parentheses are forms in an algebra which define orders of evaluations. A class of well-formed sets of associated opening and closing parentheses is well studied in conjunction with Dyck paths and Catalan numbers. Nested parentheses also represent cuts through circles on a line. These become topologies of non-intersecting circles in the plane if the underlying algebra is commutative.
This paper generalizes the concept and answers quantitatively - as recurrences and generating functions of matching rooted forests - the questions: how many different topologies of nested circles exist in the plane if (i) pairs of circles may intersect, or (ii) even triples of circles may intersect. That analysis is driven by examining the symmetry properties of the inner regions of the fundamental type(s) of the intersecting pairs and triples.
On the Potts antiferromagnet on random graphs
Published in Electronic Journal of Combinatorics 23 (2016)#P4.3
• View Publication
• BIB
Extending a prior result of Contucci et al (Comm. Math. Phys. 2013), we determine the free energy of the Potts antiferromagnet on the Erdös-Rényi random graph at all temperatures for average degrees $d \le (2k-1)\ln k - 2 - k^{-1/2}$. In particular, we show that for this regime of $d$ there does not occur a phase transition.
The distribution of the number of parts of $m$-ary partitions modulo $m$
Published
• View Publication
• BIB
We investigate the number of parts modulo $m$ of $m$-ary partitions of a positive integer $n$. We prove that the number of parts is equidistributed modulo $m$ on a special subset of $m$-ary partitions. As consequences, we explain when the number of parts is equidistributed modulo $m$ on the entire set of partitions, and we provide an alternate proof of a recent result of Andrews, Fraenkel, and Sellers about the number of $m$-ary partitions modulo $m$.
Shuffle and Faà di Bruno Hopf Algebras in the Center Problem for Ordinary Differential Equations
Published
• View Publication
• BIB
In this paper we describe the Hopf algebra approach to the center problem for the differential equation $\frac{dv}{dx}=\sum_{i=1}^{\infty}a_{i}(x)v^{i+1}$, $x\in [0,T]$, and study some combinatorial properties of the first return map of this equation. The paper summarizes and extends previously developed approaches to the center problem due to Devlin and the author.
Interval k-Graphs and Orders
Published
• View Publication
• BIB
An interval $k$-graph is the intersection graph of a family $\mathcal{I}$ of intervals of the real line partitioned into at most $k$ classes with vertices adjacent if and only if their corresponding intervals intersect and belong to different classes. In this paper we discuss the interval $k$-graphs that are the incomparability graphs of orders; i.e., cocomparability interval $k$-graphs or interval $k$-orders. Interval $2$-orders have been characterized in many ways, but we show that analogous characterizations do not carry over to interval $k$-orders, for $k > 2$. We describe the structure of interval $k$-orders, for any $k$, characterize the interval $3$-orders (cocomparability interval $3$-graphs) via one forbidden suborder (subgraph), and state a conjecture for interval $k$-orders (any $k$) that would characterize them via two forbidden suborders.
Combinatorial properties of poly-Bernoulli relatives
In this note we augment the poly-Bernoulli family with two new combinatorial objects. We derive formulas for the relatives of the poly-Bernoulli numbers using the appropriate variations of combinatorial interpretations. Our goal is to show connections between the different areas where poly-Bernoulli numbers and their relatives appear and give examples how the combinatorial methods can be used for deriving formulas between integer arrays.
Leading log expansion of combinatorial Dyson Schwinger equations
We study combinatorial Dyson Schwinger equations, expressed in the Hopf algebra of words with a quasi shuffle product. We map them into an algebra of polynomials in one indeterminate L and show that the leading log expansion one obtains with such a mapping are simple power law like expression
The Erdős-Hajnal hypergraph Ramsey problem
Published
• View Publication
• BIB
Given integers $2\le t \le k+1 \le n$, let $g_k(t,n)$ be the minimum $N$ such that every red/blue coloring of the $k$-subsets of $\{1, \ldots, N\}$ yields either a $(k+1)$-set containing $t$ red $k$-subsets, or an $n$-set with all of its $k$-subsets blue. Erdős and Hajnal proved in 1972 that for fixed $2\le t \le k$, there are positive constants $c_1$ and $c_2$ such that $$ 2^{c_1 n} < g_k(t, n) < twr_{t-1} (n^{c_2}),$$ where $twr_{t-1}$ is a tower of 2's of height $t-2$. They conjectured that the tower growth rate in the upper bound is correct. Despite decades of work on closely related and special cases of this problem by many researchers, there have been no improvements of the lower bound for $2<t<k$. Here we settle the Erdős-Hajnal conjecture in almost all cases in a strong form, by determining the correct tower growth rate, and in half of the cases we also determine the correct power of $n$ within the tower. Specifically, we prove that if $2<t<k-1$ and $k - t$ is even, then $$g_k(t, n) = twr_{t-1} (n^{k-t+1 + o(1)}).$$ Similar results are proved for $k - t$ odd.
Free subgroup numbers modulo prime powers: the non-periodic case
Published in J. Combin. Theory Ser. A 154 (2018), 49-76
• View Publication
• BIB
In [J. Algebra 452 (2016), 372-389], we characterise when the sequence of free subgroup numbers of a finitely generated virtually free group $Γ$ is ultimately periodic modulo a given prime power. Here, we show that, in the remaining cases, in which the sequence of free subgroup numbers is not ultimately periodic modulo a given prime power, the number of free subgroups of index~$λ$ in $Γ$ is - essentially - congruent to a binomial coefficient times a rational function in $λ$ modulo a power of a prime that divides a certain invariant of the group $Γ$, respectively to a binomial sum involving such numbers. These results, apart from their intrinsic interest, in particular allow for a much more efficient computation of congruences for free subgroup numbers in these cases compared to the direct recursive computation of these numbers implied by the generating function results in [J. London Math. Soc. (2) 44 (1991), 75-94].