Showing 20 papers (Total: 83342 papers, 48132 authors in database)
The minimum crossing number and minimum size of maximal 1-plane graphs with given connectivity
A 1-planar graph is a graph which has a drawing on the plane such that each edge is crossed at most once. If a 1-planar graph is drawn in that way, the drawing is called a {\it 1-plane graph}. A graph is maximal 1-plane (or 1-planar) if no additional edge can be added without violating 1-planarity or simplicity. It is known that any maximal 1-plane graph is $k$-connected for some $k$ with $2\le k\le 7$. Recently, Huang et al. proved that any maximal 1-plane graph with $n$ ($\ge 5$) vertices has at least $\lceil\frac{7}{3}n\rceil-3$ edges, which is tight for all integers $n\ge 5$. In this paper, we study $k$-connected maximal 1-plane graphs for each $k$ with $3\le k\le 7$, and establish a lower bound for their crossing numbers and a lower bound for their edge numbers, respectively.
Efficient Decomposition of Forman-Ricci Curvature on Vietoris-Rips Complexes and Data Applications
Discrete Forman-Ricci curvature (FRC) is an efficient tool that characterizes essential geometrical features and associated transitions of real-world networks, extending seamlessly to higher-dimensional computations in simplicial complexes. In this article, we provide two major advancements: First, we give a decomposition for FRC, enabling local computations of FRC. Second, we construct a set-theoretical proof enabling an efficient algorithm for the local computation of FRC in Vietoris-Rips (VR) complexes.Strikingly, this approach reveals critical information and geometric insights often overlooked by conventional classification techniques. Our findings open new avenues for geometric computations in VR complexes and highlight an essential yet under-explored aspect of data classification: the geometry underpinning statistical patterns.
Cycles of lengths 3 and n-1 in digraphs under a Bang-Jensen-Gutin-Li type conditon
Published
• View Publication
• BIB
Bang-Jensen-Gutin-Li type conditions are the conditions for hamiltonicity of digraphs which impose degree restrictions on nonadjacent vertices which have a common in-neighbor or a common out-neighbor. They can be viewed as an extension of Fan type conditions in undirected graphs, as well as generalization of locally (in-, out-)semicomplete digraphs. Since their first appearance in 1996, various Bang-Jensen-Gutin-Li type conditions for hamitonicity have come forth. In this paper we establish a condition of Bang-Jensen-Gutin-Li type which implies not only a hamiltonian cycle but also a 3-cycle and an (n-1)-cycle, with well-characterized exceptional graphs. We conjecture that this condition implies the existence of cycle of every length.
Path Extendable Tournaments
Published
• View Publication
• BIB
A digraph $D$ is called \emph{path extendable} if for every nonhamiltonian (directed) path $P$ in $D$, there exists another path $P^\prime$ with the same initial and terminal vertices as $P$, and $V(P^\prime) = V (P)\cup \{w\}$ for a vertex $w \in V(D)\setminus V(P)$. Hence, path extendability implies paths of continuous lengths between every vertex pair. In earlier works of C. Thomassen and K. Zhang, it was shown that the condition of small $i(T)$ or positive $π_2(T)$ implies paths of continuous lengths between every vertex pair in a tournament $T$, where $i(T)$ is the irregularity of $T$ and $π_2(T)$ denotes for the minimum number of paths of length $2$ from $u$ to $v$ among all vertex pairs $\{u,v\}$. Motivated by these results, we study sufficient conditions in terms of $i(T)$ and $π_2(T)$ that guarantee a tournament $T$ is path extendable. We prove that (1) a tournament $T$ is path extendable if $i(T)< 2π_2(T)-(|T|+8)/6$, and (2) a tournament $T$ is path extendable if $π_2(T) > (7|T|-10)/36$. As an application, we deduce that almost all random tournaments are path extendable.
The inequality on the number of $1$-hooks, $2$-hooks and $3$-hooks in $t$-regular partitions
Let $b_{n,k}$ denote the number of hooks of length $k$ in all the $t$-regular partitions of $n$. Singh and Barman raised the question of finding the relation between $b_{t,2}(n)$ and $b_{t,1}(n)$. Kim showed that there exists $N$ such that $b_{t,2}(n)\ge b_{t,1}(n)$ and $b_{t,2}(n) \geq b_{t,3}(n)$ for $n>N$. In this paper, we find an explicit bound of $N=O(t^5)$ for $b_{t,2}(n)\geq b_{t,1}(n)$ and show that $b_{t,2}(n) \geq b_{t,3}(n)$ for all $n\ge 4$.
Asymptotic diameter of preferential attachment model
Published
• View Publication
• BIB
We study the asymptotic diameter of the preferential attachment model $\operatorname{PA}\!_n^{(m,δ)}$ with parameters $m \ge 2$ and $δ> 0$. Building on the recent work \cite{VZ25}, we prove that the diameter of $G_n \sim \operatorname{PA}\!_n^{(m,δ)}$ is $(1+o(1))\log_νn$ with high probability, where $ν$ is the exponential growth rate of the local weak limit of $G_n$. Our result confirms the conjecture in \cite{VZ25} and closes the remaining gap in understanding the asymptotic diameter of preferential attachment graphs with general parameters $m \ge 1$ and $δ>-m$. Our proof follows a general recipe that relates the diameter of a random graph to its typical distance, which we expect to have applicability in a broader range of models.
Bounded powers of edge ideals: Gorenstein toric rings
Published
• View Publication
• BIB
Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I \subset S$ a monomial ideal. Given a vector $\mathfrak{c}\in\mathbb{N}^n$, the ideal $I_{\mathfrak{c}}$ is the ideal generated by those monomials belonging to $I$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Let $δ_{\mathfrak{c}}(I)$ be the largest integer $q$ for which $(I^q)_{\mathfrak{c}}\neq 0$. For a finite graph $G$, its edge ideal is denoted by $I(G)$. Let $\mathcal{B}(\mathfrak{c},G)$ be the toric ring which is generated by the monomials belonging to the minimal system of monomial generators of $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$. In a previous work, the authors proved that $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$ is a polymatroidal ideal. It follows that $\mathcal{B}(\mathfrak{c},G)$ is a normal Cohen--Macaulay domain. In this paper, we study the Gorenstein property of $\mathcal{B}(\mathfrak{c},G)$.
Girth in $GF(q)$-representable matroids
Published
• View Publication
• BIB
We prove a conjecture of Geelen, Gerards, and Whittle that for any finite field $GF(q)$ and any integer $t$, every cosimple $GF(q)$-representable matroid with sufficiently large girth contains either $M(K_t)$ or $M(K_t)^*$ as a minor.
Enumeration of minimum weight codewords of affine Cartesian codes
Affine Cartesian codes were first discussed by Geil and Thomsen in 2013 in a broader framework and were formally introduced by López, Rentería-Márquez and Villarreal in 2014. These are linear error-correcting codes obtained by evaluating polynomials at points of a Cartesian product of subsets of the given finite field. They can be viewed as a vast generalization of Reed-Muller codes. In 1970, Delsarte, Goethals and MacWilliams gave a %characterization of minimum weight codewords of Reed-Muller codes and also formula for the minimum weight codewords of Reed-Muller codes. Carvalho and Neumann in 2020 considered affine Cartesian codes in a special setting where the subsets in the Cartesian product are nested subfields of the given finite field, and gave a characterization of their minimum weight codewords. We use this to give an explicit formula for the number of minimum weight codewords of affine Cartesian codes in the case of nested subfields. This is seen to unify the known formulas for the number of minimum weight codewords of Reed-Solomon codes and Reed-Muller codes.
Local Weak Degeneracy of Planar Graphs
Thomassen showed that planar graphs are 5-list-colourable, and that planar graphs of girth at least five are 3-list-colourable. An easy degeneracy argument shows that planar graphs of girth at least four are 4-list-colourable. In 2022, Postle and Smith-Roberge proved a common strengthening of these three results: with $g(v)$ denoting the length of a shortest cycle containing a vertex $v$, they showed that if $G$ is a planar graph and $L$ a list assignment for $G$ where $|L(v)| \geq \max\{3,8-g(v)\}$ for all $v \in V(G)$, then $G$ is $L$-colourable. Moreover, they conjectured that an analogous theorem should hold for correspondence colouring. We prove this conjecture; in fact, our main theorem holds in the still more restrictive setting of weak degeneracy, and moreover acts as a joint strengthening of the fact that planar graphs are weakly 4-degenerate (originally due to Bernshteyn, Lee, and Smith-Roberge), and that planar graphs of girth at least five are weakly 2-degenerate (originally due to Han et al.).
Pancyclicity in hypergraphs with large uniformity
A Berge cycle of length $\ell$ in a hypergraph $\mathcal{H}$ is a sequence of alternating vertices and edges $v_0e_0v_1e_1...v_\ell e_\ell v_0$ such that $\{v_i,v_{i+1}\}\subseteq e_i$ for all $i$, with indices taken modulo $\ell$.
For $n$ sufficiently large and $r\geq \lfloor\frac{n-1}{2}\rfloor-1$ we prove exact minimum degree conditions for an $n$-vertex, $r$-uniform hypergraph to contain Berge cycles of every length between $2$ and $n$. In conjunction with previous work, this provides sharp Dirac-type conditions for pancyclicity in $r$-uniform hypergraphs for all $3\leq r\leq n$ when $n$ is sufficiently large.
Maximal independent sets in the middle two layers of the Boolean lattice
Let $B(2d-1, d)$ be the subgraph of the hypercube $\mathcal{Q}_{2d-1}$ induced by its two largest layers. Duffus, Frankl and Rödl proposed the problem of finding the asymptotics for the logarithm of the number of maximal independent sets in $B(2d-1, d)$. Ilinca and Kahn determined the logarithmic asymptotics and reiterated the question of what their order of magnitude is. We show that the number of maximal independent sets in $B(2d-1,d)$ is \[ \left(1+o(1)\right)(2d-1)\exp\left(\frac{(d-1)^2}{2^{2d-1}}\binom{2d-2}{d-1}\right)\cdot 2^{\binom{2d-2}{d-1}}, \] and describe their typical structure. The proof uses a new variation of Sapozhenko's Graph Container Lemma, a new isoperimetric lemma, a theorem of Hujter and Tuza on the number of maximal independent sets in triangle-free graphs and a stability version of their result by Kahn and Park, among other tools.
Tanglegrams with a Unique 1-Crossing-Critical Subtanglegram have Tangle Crossing Number 1
A tanglegram of size n is a graph formed from two rooted binary trees with n leaves each and a perfect matching between their leaf sets. Tanglegrams are used to model co-evolution in various settings. A tanglegram layout is a straight line drawing where the two trees are drawn as plane trees with their leaf-sets on two parallel lines, and only the edges of the matching may cross. The tangle crossing number of a tanglegram is the minimum crossing number among its layouts. It is known that tanglegrams have crossing number at least one precisely when they contain one of two size 4 subtanglegrams, which we refer to as cross-inducing subtanglegrams. We show here that a tanglegram with exactly one cross inducing subtanglegram must have tangle crossing number exactly one, and ask the question whether the tangle-crossing number of tanglegrams with exactly k cross-inducing subtanglegrams is bounded for every k.
Hypergraph Characterization of Fusion Rings
We present a correspondence between multiplicity-free, self-dual,
fusion rings and a digraph, hypergraph pair $(D,H)$. This
correspondence is used to provide a complete characterization of all
fusion rings corresponding to graphical properties of $D$. Further,
we exploit this correspondence to provide a complete list of all
non-isomorphic,
self-dual, multiplicity-free fusion rings of rank at most 8.
On graphs without four-vertex induced subgraphs
Published
• View Publication
• BIB
Given a family F of graphs, a graph G is F-free if it does not contain any graph in F as an induced subgraph. The problem of determining the complexity of colouring (claw, 4K1)- free graphs is a well-known open problem. In this paper we solve the colouring problem for a subclass of (claw, 4K1)-free graphs. We design a polynomial-time algorithm to colour (claw, 4K1, bridge, C4-twin)-free graphs. This algorithm is derived from a structural theorem on (claw, 4K1, bridge, C4-twin)-free graphs.
Approximately Dominating Sets in Elections
Published
• View Publication
• BIB
Condorcet's paradox is a fundamental result in social choice theory which states that there exist elections in which, no matter which candidate wins, a majority of voters prefer a different candidate. In fact, even if we can select any $k$ winners, there still may exist another candidate that would beat each of the winners in a majority vote. That is, elections may require arbitrarily large dominating sets.
We show that approximately dominating sets of constant size always exist. In particular, for every $\varepsilon > 0$, every election (irrespective of the number of voters or candidates) can select $O(\frac{1}{\varepsilon ^2})$ winners such that no other candidate beats each of the winners by a margin of more than $\varepsilon$ fraction of voters.
Our proof uses a simple probabilistic construction using samples from a maximal lottery, a well-studied distribution over candidates derived from the Nash equilibrium of a two-player game. In stark contrast to general approximate equilibria, which may require support logarithmic in the number of pure strategies, we show that maximal lotteries can be approximated with constant support size. These approximate maximal lotteries may be of independent interest.
On the structure of (dart, odd hole)-free graphs
A hole is a chordless cycle with at least four vertices. A hole is odd if it has an odd number of vertices. A dart is a graph which vertices $a, b, c, d, e$ and edges $ab, bc, bd, be, cd, de$. Dart-free graphs have been actively studied in the literature. We prove that a (dart, odd hole)-free graph is perfect, or does not contain a stable set on three vertices, or is the join or co-join of two smaller graphs. Using this structure result, we design a polynomial-time algorithm for finding an optimal colouring of (dart, odd hole)-free graphs. A graph $G$ is perfectly divisible if every induced subgraph $H$ of $G$ contains a set $X$ of vertices such that $X$ meets all largest cliques of $H$, and $X$ induces a perfect graph. The chromatic number of a perfectly divisible graph $G$ is bounded by $ω^2$ where $ω$ denotes the number of vertices in a largest clique of $G$. We prove that (dart, odd hole)-free graphs are perfectly divisible.
Extremal Trees With Prescribed Burning Numbers
Graph burning is motivated by the spread of social influence, and the burning number measures the speed of the spread. Given that the smallest burning number among the spanning trees of a graph determines the burning number of a connected graph, trees are the main objects of investigation in graph burning. Given a prescribed burning number, our study focuses on identifying the corresponding extremal trees with respect to order up to graph homeomorphism. In this work, we propose the concept of admissible sequences over a homeomorphically irreducible tree in addition to developing a general framework. We then determine whether an admissible sequence induces an extremal tree with a specified burning number. Additionally, we obtain some results on the smallest attainable diameter for extremal $n$-spiders with a prescribed burning number.
On the minimum constant resistance curvature conjecture of graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph with $n$ vertices. The resistance distance $Ω_{G}(i,j)$ between any two vertices $i$ and $j$ of $G$ is defined as the effective resistance between them in the electrical network constructed from $G$ by replacing each edge with a unit resistor. The resistance matrix of $G$, denoted by $R_G$, is an $n \times n$ matrix whose $(i,j)$-entry is equal to $Ω_{G}(i,j)$. The resistance curvature $κ_i$ in the vertex $i$ is defined as the $i$-th component of the vector $(R_G)^{-1}\mathbf{1}$, where $\mathbf{1}$ denotes the all-one vector. If all the curvatures in the vertices of $G$ are equal, then we say that $G$ has constant resistance curvature. Recently, Devriendt, Ottolini and Steinerberger \cite{kde} conjectured that the cycle $C_n$ is extremal in the sense that its curvature is minimum among graphs with constant resistance curvature. In this paper, we confirm the conjecture. As a byproduct, we also solve an open problem proposed by Xu, Liu, Yang and Das \cite{kxu} in 2016. Our proof mainly relies on the characterization of maximum value of the sum of resistance distances from a given vertex to all the other vertices in 2-connected graphs.
Randomstrasse101: Open Problems of 2024
$\texttt{Randomstrasse101}$ is a blog dedicated to Open Problems in Mathematics, with a focus on Probability Theory, Computation, Combinatorics, Statistics, and related topics. This manuscript serves as a stable record of the Open Problems posted in 2024, with the goal of easing academic referencing. The blog can currently be accessed at $\texttt{randomstrasse101.math.ethz.ch}$.