Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Paths, cycles and sprinkling in random hypergraphs
Published
• View Publication
• BIB
We prove a lower bound on the length of the longest $j$-tight cycle in a $k$-uniform binomial random hypergraph for any $2 \le j \le k-1$. We first prove the existence of a $j$-tight path of the required length. The standard "sprinkling" argument is not enough to show that this path can be closed to a $j$-tight cycle -- we therefore show that the path has many extensions, which is sufficient to allow the sprinkling to close the cycle.
Tiling edge-coloured graphs with few monochromatic bounded-degree graphs
Published
• View Publication
• BIB
We prove that for all integers $Δ,r \geq 2$, there is a constant $C = C(Δ,r) >0$ such that the following is true for every sequence $\mathcal{F} = \{F_1, F_2, \ldots\}$ of graphs with $v(F_n) = n$ and $Δ(F_n) \leq Δ$, for each $n \in \mathbb{N}$. In every $r$-edge-coloured $K_n$, there is a collection of at most $C$ monochromatic copies from $\mathcal{F}$ whose vertex-sets partition $V(K_n)$. This makes progress on a conjecture of Grinshpun and Sárközy.
Matroid stratifications of hypergraph varieties, their realization spaces, and discrete conditional independence models
Published in International Mathematics Research Notices Volume 2023 (2023), 18958--19019
• View Publication
• BIB
We study varieties associated to hypergraphs from the point of view of projective geometry and matroid theory. We describe their decompositions into matroid varieties, which may be reducible and can have arbitrary singularities by the Mnëv--Sturmfels universality theorem. We focus on various families of hypergraph varieties for which we explicitly compute an irredundant irreducible decomposition. Our main findings in this direction are threefold: (1) we describe minimal matroids of such hypergraphs; (2) we prove that the varieties of these matroids are irreducible and their union is the hypergraph variety; and (3) we show that every such matroid is realizable over real numbers. As corollaries, we give conceptual decompositions of various, previously-studied, varieties associated with graphs, hypergraphs, and adjacent minors of generic matrices. In particular, our decomposition strategy gives immediate matroid interpretations of the irreducible components of multiple families of varieties associated to conditional independence (CI) models in statistical theory and unravels their symmetric structures which hugely simplifies the computations.
Boundary of the boundary for random walks on groups
We study fine structure related to finitely supported random walks on infinite finitely generated discrete groups, largely motivated by dimension group techniques. The unfaithful extreme harmonic functions (defined only on proper space-time cones), aka unfaithful pure traces, can be represented on systems of finite support, avoiding dead ends. This motivates properties of the random walk (WC) and of the group (SWC) which become of interest in their own right. While all abelian groups satisfy WC, the do not satisfy SWC; however some abelian by finite groups do satisfy the latter, and we characterize when this occurs. In general, we determine the maximal order ideals, aka, maximal proper space-time subcones of that generated by the group element $1$ at time zero), and show that the corresponding quotients are stationary simple dimension groups, and that all such can occur for the free group on two generators. We conclude with a case study of the discrete Heisenberg group, determining among other things, the pure traces (these are the unfaithful ones, not arising from characters).
On the scramble number of graphs
Published
• View Publication
• BIB
The scramble number of a graph is an invariant recently developed to aid in the study of divisorial gonality. In this paper we prove that scramble number is NP-hard to compute, also providing a proof that computing gonality is NP-hard even for simple graphs, as well as for metric graphs. We also provide general lower bounds for the scramble number of a Cartesian product of graphs, and apply these to compute gonality for many new families of product graphs.
Divides with cusps and Kirby diagrams for line arrangements
Published
• View Publication
• BIB
The complement of a complexified real line arrangement is an affine surface. It is classically known that such a space has a handle decomposition up to $2$-handles. We will describe the handle decomposition induced from Lefschetz hyperplane section theorem for such a space. To describe the Kirby diagram, we introduce the notion of the divide with cusps which is a generalization of the divide introduced by A'Campo.
Polychrony as Chinampas
Published in Algorithms 2023, 16(4), 193
• View Publication
• BIB
In this paper, we study the flow of signals through linear paths with the nonlinear condition that a node emits a signal when it receives external stimuli or when two incoming signals from other nodes arrive coincidentally with a combined amplitude above a fixed threshold. Sets of such nodes form a polychrony group and can sometimes lead to cascades. In the context of this work, cascades are polychrony groups in which the number of nodes activated as a consequence of other nodes is greater than the number of externally activated nodes. The difference between these two numbers is the so-called profit.
Given the initial conditions, we predict the conditions for a vertex to activate at a prescribed time and provide an algorithm to efficiently reconstruct a cascade. We develop a dictionary between polychrony groups and graph theory. We call the graph corresponding to a cascade a chinampa. This link leads to a topological classification of chinampas. We enumerate the chinampas of profits zero and one and the description of a family of chinampas isomorphic to a family of partially ordered sets, which implies that the enumeration problem of this family is equivalent to computing the Stanley-order polynomials of those partially ordered sets.
Sharp bounds on the zeroth-order general Randić index of trees in terms of domination number
Published
• View Publication
• BIB
The zeroth-order general Randić index of graph $G=(V_G,E_G)$, denoted by $^0R_α(G)$, is the sum of items $(d_{v})^α$ over all vertices $v\in V_G$, where $α$ is a pertinently chosen real number. In this paper, we obtain the sharp upper and lower bounds on $^0R_α$ of trees with a domination number $γ$, in intervals $α\in(-\infty,0)\cup(1,\infty)$ and $α\in(0,1)$, respectively. The corresponding extremal graphs of these bounds are also characterized.
Quadratic starlike trees
Published
• View Publication
• BIB
In this paper, we introduce the notion of the quadratic graph, that is a graph whose eigenvalues are integral or quadratic algebraic integral, and determine nine infinite families of quadratic starlike trees, which are just all the quadratic starlike trees including integral starlike trees. Thus the quadratic starlike trees are completely characterized, and moreover, the display expressions for the characteristic polynomials of the quadratic starlike trees are also given.
Outerspatial 2-complexes: Extending the class of outerplanar graphs to three dimensions
Published
• View Publication
• BIB
We introduce the class of outerspatial 2-complexes as the natural generalisation of the class of outerplanar graphs to three dimensions. Answering a question of O-joung Kwon, we prove that a locally 2-connected 2-complex is outerspatial if and only if it does not contain a surface of positive genus as a subcomplex and does not have a space minor that is a generalised cone over $K_4$ or $K_{2,3}$.
This is applied to nested plane embeddings of graphs; that is, plane embeddings constrained by conditions placed on a set of cycles of the graph.
A generalization of Kruskal's theorem on tensor decomposition
Published in Forum of Mathematics, Sigma, Volume 11, 2023, e27
• View Publication
• BIB
Kruskal's theorem states that a sum of product tensors constitutes a unique tensor rank decomposition if the so-called k-ranks of the product tensors are large. We prove a "splitting theorem" for sets of product tensors, in which the k-rank condition of Kruskal's theorem is weakened to the standard notion of rank, and the conclusion of uniqueness is relaxed to the statement that the set of product tensors splits (i.e. is disconnected as a matroid). Our splitting theorem implies a generalization of Kruskal's theorem. While several extensions of Kruskal's theorem are already present in the literature, all of these use Kruskal's original permutation lemma, and hence still cannot certify uniqueness when the k-ranks are below a certain threshold. Our generalization uses a completely new proof technique, contains many of these extensions, and can certify uniqueness below this threshold. We obtain several other useful results on tensor decompositions as consequences of our splitting theorem. We prove sharp lower bounds on tensor rank and Waring rank, which extend Sylvester's matrix rank inequality to tensors. We also prove novel uniqueness results for non-rank tensor decompositions.
Feynman graphs and Hyperplane arrangements defined over $\mathbb{F}_1$
Published
• View Publication
• BIB
Motivated by some computations of Feynman integrals and certain conjectures on mixed Tate motives, Bejleri and Marcolli posed questions about the $\mathbb{F}_1$-structure (in the sense of torification) on the complement of a hyperplane arrangement, especially for an arrangement defined in the space of cycles of a graph. In this paper, we prove that an arrangement has an $\mathbb{F}_1$-structure if and only if it is Boolean. We also prove that the arrangement in the cycle space of a graph is Boolean if and only if the cycle space has a basis consisting of cycles such that any two of them do not share edges.
A central limit theorem for singular graphons
We associate to a graphon $γ$ the sequence of $W$-random graphs $(G_n(γ))_{n \geq 1}$. We say that the graphon is singular if, for any finite graph $F$, the homomorphism density $t(F,G_n(γ))$ has a variance of order $O(n^{-2})$. This behavior is singular because generically, the density of a fixed finite graph $F$ in a $W$-random graph has a variance of order $O(n^{-1})$. We conjecture that the only singular graphons are the constant graphons $γ_p$ with $p \in [0,1]$, corresponding to the Erdős-Rényi random graphs $G(n,p)$. In this paper, we investigate the general properties of the singular graphons, and we show that they share many properties with the Erdős-Rényi random graphs. In particular, if $γ$ is a singular graphon, then the scaled densities $n(t(F,G_n(γ))-\mathbb{E}[t(F,G_n(γ))])$ converge in joint distribution. This generalises the central limit theorem satisfied by the Erdős-Rényi random graphs $G(n,p)$; however, the limiting distribution might be non-Gaussian if the conjecture does not hold. We also establish an equation satisfied by the characteristic polynomial of the Laplacian of the graph $G_n(γ)$ associated to a singular graphon; this opens the way to a spectral approach of the conjecture.
Enumeration of fully parked trees
We enumerate a class of fully parked trees. In a probabilistic context, this means computing the partition function $F(x,y)$ of the parking process where an i.i.d. number of cars arrives at each vertex of a Galton-Watson tree with a geometric offspring distribution, conditioned to leave no vertex unoccupied at the end. The variables $x$ and $y$ count the number of vertices in the tree and the number of cars exiting from the root, respectively.
For any car arrival distribution $\mathbf b$, we obtain an explicit parametric expression of $F(x,y)$ in terms of the probability generating function $B(y)$ of $\mathbf b$. We show that the model has a generic phase where the singular behavior of $F(x,y)$ is essentially independent of $B(y)$, and a non-generic phase where it depends sensitively on the singular behavior of $B(y)$. The non-generic phase is further divided into two cases, which we call dilute and dense. We give a simple algebraic description of the phase diagram, and, under mild additional assumptions on $\mathbf b$, carry out detailed singularity analysis of $F(x,y)$ in the generic and the dilute phases. The singularity analysis uses the classical transfer theorem, as well as its generalization for bivariate asymptotics. In the process, we develop a variational method for locating the dominant singularity of the inverse of an analytic function, which is of independent interest.
The phases defined in this paper are closely related to, but not the same as, the phases in the transition of macroscopic runoff described in arxiv:1912.06012 and related works.
Philippe Flajolet's early work in combinatorics
Published
• View Publication
• BIB
Some of Philippe Flajolet's combinatorial contributions that he wrote between 1976 and 1995, say, are described. In most of Flajolet's papers, asymptotic/analytic considerations play a major role. To be true to the spirit of the journal ECA, the emphasis is on the \emph{combinatorial} part.
Covered are Register function of binary trees, approximate counting, digital search trees and the Rice formula, probabilistic counting, adding a new slice, Ramanujan's influence, finite differences and harmonic numbers, Digits and the Mellin-Perron formula.
Hamiltonian and exclusion statistics approach to discrete forward-moving paths
Published in Phys. Rev. E 104, 014143 (2021)
• View Publication
• BIB
We use a Hamiltonian (transition matrix) description of height-restricted Dyck paths on the plane in which generating functions for the paths arise as matrix elements of the propagator to evaluate the length and area generating function for paths with arbitrary starting and ending points, expressing it as a rational combination of determinants. Exploiting a connection between random walks and quantum exclusion statistics that we previously established, we express this generating function in terms of grand partition functions for exclusion particles in a finite harmonic spectrum and present an alternative, simpler form for its logarithm that makes its polynomial structure explicit.
An upper bound on the size of Sidon sets
Published
• View Publication
• BIB
In this entry point into the subject, combining two elementary proofs, we decrease the gap between the upper and lower bounds by $0.2\%$ in a classical combinatorial number theory problem. We show that the maximum size of a Sidon set of $\{ 1, 2, \ldots, n\}$ is at most $\sqrt{n}+ 0.998n^{1/4}$ for sufficiently large $n$.
Differential algebras on digraphs and parametrized homology
The theory of path homology for digraphs was developed by Alexander Grigor'yan, Yong Lin, Yuri Muranov, and Shing-Tung Yau. In this paper, we consider the differential algebras on digraphs and define the parametrized homology of digraphs as an analog of the path homology. We prove the functoriality of the parametrized homology of digraphs in Theorem 4.2. We also prove some Kunneth-type formulae for the parametrized homology of digraphs in Theorem 4.4.
Posets with $k$-outerplanar cover graphs have bounded dimension
In 2015, Felsner, Trotter, and Wiechert showed that posets with outerplanar cover graphs have bounded dimension. We generalise this result to posets with $k$-outerplanar cover graphs. Namely, we show that posets with $k$-outerplanar cover graph have dimension $\mathcal{O}(k^3)$. As a consequence, we show that every poset with a planar cover graph and height $h$ has dimension $\mathcal{O}(h^3)$. This improves the previously best known bound of $\mathcal{O}(h^6)$ by Kozik, Micek and Trotter.
Frobenius allowable gaps of Generalized Numerical Semigroups
Published
• View Publication
• BIB
A generalised numerical semigroup (GNS) is a submonoid $S$ of $\mathbb{N}^d$ for which the complement $\mathbb{N}^d\setminus S$ is finite. The points in the complement $\mathbb{N}^d\setminus S$ are called gaps. A gap $F$ is considered Frobenius allowable if there is some relaxed monomial ordering on $\mathbb{N}^d$ with respect to which $F$ is the largest gap. We characterise the Frobenius allowable gaps of a GNS. A GNS that has only one Frobenius allowable gap is called a Frobenius GNS. We estimate the number of Frobenius GNS with a given Frobenius gap $F=(F^{(1)},\dots,F^{(d)})\in\mathbb{N}^d$ and show that it is close to $\sqrt{3}^{(F^{(1)}+1)\cdots (F^{(d)}+1)}$ for large $d$. We define notions of quasi-irreducibility and quasi-symmetry for GNS. While in the case of $d=1$ these notions coincide with irreducibility and symmetry of GNS, they are distinct in higher dimensions.