Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Monotone Cumulant-Moment Formula and Schröder Trees
Published in SIGMA 18 (2022), 073, 22 pages
• View Publication
• BIB
We prove a formula to express multivariate monotone cumulants of random variables in terms of their moments by using a Hopf algebra of decorated Schröder trees.
Knödel walks in a Böhm-Hornik environment
Ideas of Knödel and Böhm-Hornik about walks in certain graphs, resembling the classical symmetric random walk on the integers, are combined. All the relevant generating functions (although occasionally quite involved) are made fully explicit.
On $k$-dprime Divisor Function Graph
Let $p$ and $q$ be distinct primes. The \textit{semiprime divisor function graph} denoted by $G_{D(pq)}$, is the graph with vertex set $V(G_{D(pq)})=\{1,p,q,pq\}$ and edge set $E(G_{D(pq)})=\{\{1,p\}, \{1,q\},\{1,pq\},\{p,pq\},\{q,pq\}\}$. The semiprime divisor function graph is a special type of divisor function graph $G_{D(n)}$ in which $n=pq$. Recently, the energy and some indices of semiprime divisor function graph have been determined. In this paper, we introduce a natural extension to the semiprime divisor function graph which we call the \textit{$k$-dprime divisor function graph}. Moreover, we present results on some distance-based and degree-based topological indices of $k$-dprime divisor function graph. We end the paper by giving some open problems.
Inverse algorithm and triple point diagrams
Dimer models (also known as brane tilings) are special bipartite graphs on a torus $\mathbb{T}^2$. They encode the structure of the 4d $\mathcal{N} = 1$ worldvolume theories of D3 branes probing toric affine Calabi-Yau singularities. Constructing dimer models from a singularity can in principle be done via the so-called inverse algorithm, however it is hard to implement in practice. We discuss how combinatorial objects called triple point diagrams systematize the inverse algorithm, and show how they can be used to construct dimer models satisfying some symmetry or containing particular substructures. We present the construction of the Octagon dimer model which satisfies both types of constraints. Eventually we present a new criterion concerning possible implementations of symmetries in dimer models, in order to illustrate how the use of triple point diagrams could strengthen such statements.
Totally $2$-closed finite groups with trivial Fitting subgroup
Published
• View Publication
• BIB
A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ which leaves invariant each of the $G$-orbits for the induced action on $Ω\times Ω$. We prove that there are precisely $47$ finite totally $2$-closed groups with trivial Fitting subgroup. Each of these groups is a direct product of pairwise non-isomorphic sporadic simple groups, with the direct factors coming from the Janko groups $\mathrm{J}_1, \mathrm{J}_3$ and $\mathrm{J}_4$, together with $\mathrm{Ly}, \mathrm{Th}$ and the Monster $\mathbb{M}$. These are the first known examples of insoluble totally $2$-closed groups. As a by-product of our methods, we develop several tools for studying $2$-closures of transitive permutation groups -- a vital tool in the study of representations of finite groups as automorphism groups of digraphs. We also prove a dual to a 1939 theorem of Frucht from Algebraic Graph Theory.
A pithy look at the Polytope Algebra
This is a hands on introduction to McMullen's Polytope Algebra. More than interesting on its own, this algebra was McMullen's tool to give a combinatorial proof of the g-theorem.
An Improved Bound of Acyclic Vertex-Coloring
The acyclic chromatic number of a graph is the least number of colors needed to properly color its vertices so that none of its cycles has only two colors. We show that for all $α>2^{-1/3}$ there exists an integer $Δ_α$ such that if the maximum degree $Δ$ of a graph is at least $Δ_α$, then the acyclic chromatic number of the graph is at most $\lceilαΔ^{4/3} \rceil +Δ+ 1$. The previous best bound, due to Gonçalves et al (2020), was $(3/2) Δ^{4/3} + O(Δ)$.
Weakly saturated hypergraphs and a conjecture of Tuza
Published
• View Publication
• BIB
Given a fixed hypergraph $H$, let $\mbox{wsat}(n,H)$ denote the smallest number of edges in an $n$-vertex hypergraph $G$, with the property that one can sequentially add the edges missing from $G$, so that whenever an edge is added, a new copy of $H$ is created. The study of $\mbox{wsat}(n,H)$ was introduced by Bollobás in 1968, and turned out to be one of the most influential topics in extremal combinatorics. While for most $H$ very little is known regarding $\mbox{wsat}(n,H)$, Alon proved in 1985 that for every graph $H$ there is a limiting constant $C_H$ so that $\mbox{wsat}(n,H)=(C_H+o(1))n$. Tuza conjectured in 1992 that Alon's theorem can be (appropriately) extended to arbitrary $r$-uniform hypergraphs. In this paper we prove this conjecture.
Generalized Integer Splines on Arbitrary Graphs
Published
• View Publication
• BIB
Generalized integer splines on a graph $G$ with integer edge weights are integer vertex labelings such that if two vertices share an edge in $G$, the vertex labels are congruent modulo the edge weight. We introduce collapsing operations that reduce any simple graph to a single vertex, carrying with it the edge weight information. This corresponds to a sequence of surjective maps between the associated spline modules, leading to an explicit construction of a module basis in terms of the edge weights.
On the clique behavior of graphs of low degree
Published
• View Publication
• BIB
To any simple graph $G$, the clique graph operator $K$ associates the graph $K(G)$ which is the intersection graph of the maximal complete subgraphs of $G$. The iterated clique graphs are defined by $K^{0}(G)=G$ and $K^{n}(G)=K(K^{n-1}(G))$ for $n\geq 1$. If there are $m<n$ such that $K^{m}(G)$ is isomorphic to $K^{n}(G)$ we say that $G$ is convergent, otherwise, $G$ is divergent. The first example of a divergent graph was shown by Neumann-Lara in the 1970s, and is the graph of the octahedron. In this paper, we prove that among the connected graphs with maximum degree 4, the octahedron is the only one that is divergent.
Shadow sequences of integers, from Fibonacci to Markov and back
Published
• View Publication
• BIB
The following general idea looks crazy. What if another integer sequence follows each integer sequence like a shadow? I will demonstrate that this is indeed the case, perhaps not for every integer sequence, but for many of them.
Burning Graph Classes
Published
• View Publication
• BIB
The Burning Number Conjecture, that a graph on $n$ vertices can be burned in at most $\lceil \sqrt{n} \ \rceil$ rounds, has been of central interest for the past several years. Much of the literature toward its resolution focuses on two directions: tightening a general upper bound for the burning number, and proving the conjecture for specific graph classes. In the latter, most of the developments work within a specific graph class and exploit the intricacies particular to it. In this article, we broaden this approach by developing systematic machinery that can be used as test beds for asserting that graph classes satisfy the conjecture. We show how to use these to resolve the conjecture for several classes of graphs including triangle-free graphs with degree lower bounds, graphs with certain linear lower bounds on $r$-neighborhood sizes, all trees whose non-leaf vertices have degree at least $4$, trees whose non-leaf vertices have degree at least $3$ (on at least $81$ vertices), trees whose non-leaf vertices are less than $\frac{2}{3}$ concentrated in degree $2$, and trees with a low concentration of high degree non-leaf vertices (the last two results holding for sufficiently many non-leaf vertices).
Ramsey numbers of graphs with most degrees bounded in random graphs
For graphs $F$ and $G$, let $F\to G$ signify that any red/blue edge coloring of $F$ contains a monochromatic $G$. Denote by ${\cal G}(N,p)$ the random graph space of order $N$ and edge probability $p$. Using the regularity method, one can show that for any fixed $p\in (0,1]$, almost all graphs $F\in{\cal G}(cn,p)$ have $F\to G$ for any graph $G$ of order $n$ and all but at most $m$ degrees bounded, where $c$ is an integer depending on $p$ and $m$. Note that $r(K_{m,n})\sim 2^m n$ and $r(K_m+\overline{K}_n)\sim 2^m n$ as $n\to\infty$, for which we investigate the relation between $c$ and $p$. Let $N=\lfloor c\,2^m n\rfloor$ with $c>1$ and $p_u,p_\ell=\frac{1}{c^{1/m}}(1\pm \sqrt{\frac{M\log n}{n}}\,)$, where $M=M(c,m)>0$. It is shown that $p_u$ and $p_\ell$ are Ramsey thresholds of $K_{m,n}$ in ${\cal G}(N,p)$. Namely, almost all $F\in{\cal G}(N,p_u)$ and almost no $F\in{\cal G}(N,p_\ell)$ have $F\to K_{m,n}$, respectively. Moreover, it is shown that $p_u$ and $p_\ell$ are (ordinary) upper threshold and lower threshold of $K_m+\overline{K}_n$ to appear in ${\cal G}(N,p/2)$, respectively. We show that ${\cal G}(N,p/2)$ can be identified as the set of red (or blue) graphs obtained from $F\in{\cal G}(N,p)$ by red/blue edge coloring of $F$ with probability $1/2$ for each color, which leads to the definition of the weak Ramsey thresholds.
Unfoldings and Nets of Regular Polytopes
Published
• View Publication
• BIB
Over a decade ago, it was shown that every edge unfolding of the Platonic solids was without self-overlap, yielding a valid net. We consider this property for regular polytopes in arbitrary dimensions, notably the simplex, cube, and orthoplex. It was recently proven that all unfoldings of the $n$-cube yield nets. We show this is also true for the $n$-simplex and the $4$-orthoplex but demonstrate its surprising failure for any orthoplex of higher dimension.
Spectral radius and $[a,b]$-factors in graphs
Published
• View Publication
• BIB
An $[a,b]$-factor of a graph $G$ is a spanning subgraph $H$ such that $a\leq d_{H}(v)\leq b$ for each $v\in V(G)$. In this paper, we provide spectral conditions for the existence of an odd $[1,b]$-factor in a connected graph with minimum degree $δ$ and the existence of an $[a,b]$-factor in a graph, respectively. Our results generalize and improve some previous results on perfect matchings of graphs. For $a=1$, we extend the result of O\cite{S.O} to obtain an odd $[1,b]$-factor and further improve the result of Liu, Liu and Feng\cite{W.L} for $a=b=1$. For $n\geq 3a+b-1$, we confirm the conjecture of Cho, Hyun, O and Park\cite{E.C}. We conclude some open problems in the end.
Arithmetic subtrees in large subsets of products of trees
Published
• View Publication
• BIB
Furstenberg-Weiss have extended Szemerédi's theorem on arithmetic progressions to trees by showing that a large subset of the tree contains arbitrarily long arithmetic subtrees. We study higher dimensional versions that analogously extend the multidimensional Szemerédi theorem by demonstrating the existence of certain arithmetic structures in large subsets of a cartesian product of trees.
Controlling centrality: The Inverse ranking problem for spectral centralities of complex networks
Published
• View Publication
• BIB
In this paper some results about the controllability of spectral centrality in a complex network are presented. In particular, the inverse problem of designing an unweigthed graph with a prescribed centrality is considered, by showing that for every possible ranking eventually with ties, an unweighted directed/undirected complex network can be found whose PageRank or eigenvector centrality gives the ranking considered. Different families of networks are presented in order to analytically solve this problem either for directed and undirected graphs with and without loops.
Transfinite game values in infinite games
The object of this study are countably infinite games with perfect information that allow players to choose among arbitrarily many moves in a turn; in particular, we focus on the generalisations of the finite board games of Hex and Draughts.
In chapter 1 we develop the theory of transfinite ordinal game values for open infinite games following Evans and Hamkins (arXiv:1302.4377), and we focus on the properties of the omega one, that is the supremum of the possible game values, of classes of open games; we moreover design the class of climbing-through-T games as a tool to study the omega one of given game classes.
The original contributions of this research are presented in the following two chapters.
In chapter 2 we prove classical results about finite Hex and present Infinite Hex, a well-defined infinite generalisation of Hex. We then introduce the class of stone-placing games, which captures the key features of Infinite Hex and further generalises the class of positional games already studied in the literature within the finite setting of Combinatorial Game Theory. The main result of this research is the characterization of open stone-placing games in terms of the property of essential locality, which leads to the conclusion that the omega one of any class of open stone-placing games is at most $ω$. In particular, we obtain that the class of open games of Infinite Hex has the smallest infinite omega one, that is $ω_1^{\rm Hex}=ω$.
In chapter 3 we show a dual result; we define the class of games of Infinite Draughts and explicitly construct open games of arbitrarily high game value with the tools of chapter 1, concluding that the omega one of the class of open games of Infinite Draughts is as high as possible, that is $ω_1^{\rm Draughts}=ω_1$.
The set of stable indices of 0-1 matrices with a given order
Published
• View Publication
• BIB
The stable index of a 0-1 matrix $A$ is defined to be the smallest integer $k$ such that $A^{k+1}$ is not a 0-1 matrix if such an integer exists; otherwise the stable index of $A$ is defined to be infinity. We characterize the set of stable indices of 0-1 matrices with a given order.
Irregular triads in 3-uniform hypergraphs
Over the past several years, numerous authors have explored model theoretically motivated combinatorial conditions that ensure that a graph has an efficient regular decomposition in the sense of Szemerédi. In this paper we set out a research program that explores a corresponding set of questions for 3-uniform hypergraphs, a setting in which useful notions of regularity are significantly more intricate.
The main results in this paper concern certain combinatorial properties which arose as natural higher-order generalizations of the order property in parallel work of the authors in the arithmetic setting. Interpreted in the context of 3-uniform hypergraphs, these are tightly connected to the nature of irregular triads. Specifically, we show that a hereditary property of 3-uniform hypergraphs admits regular decompositions with so-called "linear error" if and only if it does not have the functional order property.
Along the way, we show that a hereditary property of 3-uniform hypergraphs is homogeneous (i.e. all regular triads have density near $0$ or near $1$) if and only it has bounded $\textrm{VC}_2$-dimension. This provides a quantitative version of a recent result of Chernikov and Towsner.
We also address several questions arising from prior work on tame regularity in hypergraphs. In particular, we characterize the hereditary properties of $3$-uniform hypergraphs admitting the type of regular partitions appearing in work of Fox et al. as those that have bounded slicewise $\textrm{VC}$-dimension. This is again analogous to a recent non-quantitative result of Chernikov and Towsner.