Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Induced minors and subpolynomial treewidth
Given a family $\mathcal{H}$ of graphs, we say that a graph $G$ is $\mathcal{H}$-induced-minor-free if no induced minor of $G$ is isomorphic to a member of $\mathcal{H}$, We denote by $W_{t\times t}$ the $t$-by-$t$ hexagonal grid, and by $K_{t,t}$ the complete bipartite graph with both sides of the bipartition of size $t$. We show that the class of $\{K_{t,t},W_{t\times t}\}$-induced minor-free graphs with bounded clique number has subpolynomial treewidth. Specifically, we prove that for every integer $t$ there exist $ε\in (0,1]$ and $c \in \mathbb{N}$ such that every $n$-vertex $\{K_{t,t},W_{t\times t}\}$-induced minor-free graph with no clique of size $t$ has treewidth at most $2^{c\log^{1-ε}n}$.
The Grünbaum--Rigby configuration as a special Kárteszi configuration
In 1990, Branko Grünbaum and John Rigby presented a 4-configuration, known today as the \emph{Grünbaum--Rigby configuration}; it is denoted by $\mathrm{GR}(21_4)$. Independently and earlier, in 1986, Ferenc Kárteszi published a paper in which he proved a theorem in real geometry that gives rise to a series of 4-configurations $\mathrm{K}(n;\ell,m)$. In an even earlier paper from 1964, he presented a figure which is essentially the same as that given by Grünbaum and Rigby. In this paper, we explore some properties of the \emph{Kárteszi configurations} and in particular show that $\mathrm{GR}(21_4)$ is isomorphic to $\mathrm{K}(7;2,3)$. We present a theorem that gives necessary and sufficient conditions on parameters $n,\ell,m$ such that the corresponding configuration $\mathrm{K}(n;\ell,m)$ is realisable as a geometric polycyclic configuration with $n$-fold rotational symmetry and no extra incidences.
Is there a smooth lattice polytope which does not have the integer decomposition property?
Published in Snapshots of Modern Mathematics from Oberwolfach, Mathematisches Forschungsinstitut Oberwolfach, SNAP-2025-008-EN (2025)
• View Publication
• BIB
We introduce Tadao Oda's famous question on lattice polytopes which was originally posed at Oberwolfach in 1997 and, although simple to state, has remained unanswered. The question is motivated by a discussion of the two-dimensional case - including a proof of Pick's Theorem, which elegantly relates the area of a lattice polygon to the number of lattice points it contains in its interior and on its boundary.
On the Ban-Linial Conjecture
Let $G$ be a graph and let $\{X_0,X_1\}$ be a partition of $V(G)$. This partition is called external or unfriendly if every $x \in X_i$ has at least as many neighbours in $X_{1-i}$ as in $X_i$. Every maximum edge-cut gives rise to an external partition, so these partitions are always guaranteed to exist. However, it remains a challenge to find such partitions with additional restrictions. Ban and Linial have conjectured that in the case when $G$ is cubic, there always exists an external partition $\{X_0,X_1\}$ for which $-2 \le |X_0| - |X_1| \le 2$. We prove this in two special cases: whenever $G$ can be decomposed into a cycle and a tree, and whenever $G$ has a cubic tree $T$ for which $G - E(T)$ is bipartite.
Nowhere-zero 8-flows in 3-edge-connected signed graphs
In 1983, A. Bouchet extended W.T. Tutte's notion of nowhere-zero flows to signed graphs, and conjectured that every flow-admissible signed graph has a nowhere-zero 6-flow. In this paper we prove that every flow-admissible signed graph that is 3-edge-connected has a nowhere-zero 8-flow. This is a continuation of a previous paper where we proved the same conclusion under stronger assumptions.
Alternating Power Difference and Matrix Symmetry: Closed-Form Formulas for the First Appearance Degree $m_1$
This paper focuses on an integer-valued function $f_A(σ) := \operatorname{tr}(A P_σ)$ defined uniformly from a specific square matrix $A$ of order $n$ and a permutation $σ$ on the symmetric group $S_n$. The main objective of this study is to investigate in detail the algebraic behavior of the Alternating Power Difference (APD), denoted as $APD_m(f_A)$, and its first appearance degree $m_1(f_A)$ for this function $f_A$ across various matrix classes. Specifically, we address special matrices such as shifted $r$-th power lattices, Vandermonde matrices, and circulant matrices, analyzing the phenomenon where the value of $APD_m(A)$ remains zero as $m$ increases until a specific degree (the first appearance phenomenon). In particular, we explore closed-form formulas for the first appearance degree $m_1(A)$ and the first appearance value $APD_{m_1}(A)$, presenting Conjectures that hold across multiple matrix classes. These results suggest a deep relationship between the structure of matrices and the analytical properties of functions on the symmetric group, providing new perspectives in matrix theory and combinatorics.
On suprema of convolutions on discrete cubes
We find the optimal constant $C$ such that \begin{equation*} \|f_1*f_2*\dots*f_{k}\|_{\infty}\geq C\prod_{i=1}^{k}\|f_i\|_1 \end{equation*} for functions $f_i:\{0,1\}^d\to\mathbb{R}$. As applications, we derive bounds for Sidon sets on hypercubes, and, we also obtain bounds for the continuous analogue problem.
Fibonacci and Lucas numbers arising from two-component spanning forests of wheel graphs
In this paper, we present a constructive bijection between a conditioned spanning forest of the wheel graph $W_{n+1}$ and a spanning tree of the fan graph $F_n$. In addition, by applying the effective resistance formula obtained by Bapat and Gupta \cite{bapat-gupta}, we derive an explicit formula for the number of two-component spanning forests of $W_{n+1}$ in which two specified vertices $u$ and $v$ lie in distinct components. Based on this result, we obtain explicit formulas for the following three conditioned two-component spanning forests $F_{W_{n+1}}(v_1\mid v_2)$, $F_{W_{n+1}}(v_1\mid v_3)$, and $F_{W_{n+1}}(v_1\mid v_c)$. These formulas are $F_{W_{n+1}}(v_1\mid v_2)=2(f_{2n-1}-1)$, $F_{W_{n+1}}(v_1\mid v_3)=2(\ell_{2n-2}-3)$, $F_{W_{n+1}}(v_1\mid v_c)=f_{2n}$, where $f_i$ and $\ell_j$ denote the $i$-th Fibonacci number and $j$-th Lucas number, respectively. As these identities show, the enumerations naturally lead to formulas involving Fibonacci numbers and Lucas numbers. Taken together, these two approaches show a unified perspective. One is the constructive combinatorial bijection, and the other is the analytic method based on effective resistance. Together they provide a new integrated framework for studying the structure of spanning forests on $W_{n+1}$.
Strong Central 2-Trees with Tail Degrees {2, 3}: Structural Characterization and Uniqueness Criteria
We study strong $r$-central $2$-trees whose non-central vertices have degrees in $\{2,3\}$, focusing on the cases $r=1,2,3$. For each $r$, we derive exact degree constraints relating the maximum degree $Δ$ to the numbers of degree-$3$ and degree-$2$ tail vertices. In the unicentral case ($r=1$), we prove that the fan graph is the unique realization for all $n\ge 3$. For bicentral $2$-trees ($r=2$), we show that the number of degree-$3$ vertices is always even, establish sharp uniqueness results for $x\in\{0,2\}$, prove existence for all feasible values of $Δ$, and obtain linear lower bounds on the number of non-isomorphic realizations. For tricentral $2$-trees ($r=3$), we characterize extremal configurations, establish a divisibility constraint on the tail parameters, and prove a quadratic lower bound on the number of non-isomorphic graphs for infinitely many values of $n$. These results provide a unified structural framework for central $2$-trees with bounded tail degrees and highlight sharp transitions between rigidity and combinatorial growth.
A cop-robber game on metric graphs
We study a variant of the classical cop-robber game played on compact metric graphs, where each edge is assigned a positive length and identified with a real interval of corresponding length. In this setting, both the cop and the robber move continuously along the edges, subject to upper bounds on their speeds. The cop has no knowledge of the robber's location and must choose a continuous path through the graph that is guaranteed to intersect the robber's trajectory at some point in time. We show that for every compact metric graph, there exists a constant s > 0 such that if the cop's speed exceeds s times the robber's speed, then the cop can guarantee capture.
Canonical tree-decompositions of chordal graphs
Halin characterised the chordal locally finite graphs as those that admit a tree-decomposition into cliques. We show that these tree-decompositions can be chosen to be canonical, that is, so that they are invariant under all the graph's automorphisms. As an application, we show that a locally finite, connected graph $G$ is $r$-locally chordal (that is, its $r/2$-balls are chordal) if and only if the unique canonical graph-decomposition $\mathcal{H}_r(G)$ of $G$ which displays its $r$-global structure is into cliques. Our results also serve as tools for further characterisations of $r$-locally chordal graphs.
Quasipolynomial behavior via constructibility in multigraded algebra
Piecewise quasipolynomial growth of Presburger counting functions combines with tame persistent homology module theory to conclude piecewise quasipolynomial behavior of constructible families of finely graded modules over constructible commutative semigroup rings. Functorial preservation of constructibility for families under local cohomology, $\operatorname{Tor}$, and $\operatorname{Ext}$ yield piecewise quasipolynomial, quasilinear, or quasiconstant growth statements for length of local cohomology, $a$-invariants, regularity, depth; length of $\operatorname{Tor}$ and Betti numbers; length of $\operatorname{Ext}$ and Bass numbers; associated primes via $v$-invariants; and extended degrees, including the usual degree, Hilbert-Samuel multiplicity, arithmetic degree, and homological degree.
Generalized diagram categories and monoids, and their representations
Classical diagram categories and monoids, including the Temperley--Lieb, Brauer, and partition cases, arise as special instances of the category of two dimensional cobordisms and admit additional twists that produce a large new family of diagram categories and monoids. In this paper we introduce this family and develop a unified approach to their representation theory.
Proof of a conjecture of Baruah and Sarma on sign patterns of certain infinite products
Let \[ \sum_{n=0}^{\infty}A(n)q^{n} := \frac{(q^{2};q^{5})_{\infty}^{5}(q^{3};q^{5})_{\infty}^{5}}{(q;q^{5})_{\infty}^{5}(q^{4};q^{5})_{\infty}^{5}}, \] \[ \sum_{n=0}^{\infty} B(n)q^{n} := \frac{(q;q^{5})_{\infty}^{5} (q^{4};q^{5})_{\infty}^{5}} {(q^{2};q^{5})_{\infty}^{5}(q^{3}; q^{5})_{\infty}^{5}}, \] and \[ \sum_{n=0}^{\infty} D(n)q^{n} := \frac{(q^{5};q^{25})_{\infty}(q^{20}; q^{25})_{\infty}} {(q^{10};q^{25})_{\infty}(q^{15}; q^{25})_{\infty}} \frac{(q^{2}; q^{5})_{\infty}^{5}(q^{3};q^{5})_{\infty}^{5}} {(q;q^{5})_{\infty}^{5} (q^{4};q^{5})_{\infty}^{5}} \] where $(a;q)_{\infty} := \prod_{k=0}^{\infty}(1-aq^{k})$ and $|q|<1.$ These sequences are closely related to the celebrated Rogers-Ramanujan continued fraction.
In this paper, we study the sign behavior o of the coefficients $A(n),B(n)$ and $D(n).$ We prove that for all integers $n\geq0,$ \begin{align*} A(5n)<0\quad(n\neq0),\qquad B(5n) < 0\quad(n\neq0),\qquad D(5n+1)>0. \end{align*} This confirms a recent conjecture of Baruah and Sarma. Our proof is different from the previous method of Baruah and Sarma, and combines asymptotic coefficient analysis with symbolic computation for finite case verification.
Enumeration of multipartite series-reduced trees
We obtain a generating function for the degree sequences and colors of rooted multipartite labeled series-reduced trees. As an application of this result, we determine the number of symbolic ultrametrics (introduced by Böcker and Dress) and increasingly labeled processes. We also find that the number of multipartite labeled series-reduced trees and the colored chain-increasing binary trees are the same. We obtain the number of rooted multipartite unlabeled series-reduced trees. We also find a refinement of the result of Riordan and Shannon.
An Induced $A$-Path Theorem
Given a graph $G$ and $\mathcal{A}\subseteq V(G)$, a classical theorem of Gallai (1964) states that for every positive integer $k$, the graph $G$ contains $k$ pairwise vertex-disjoint $\mathcal{A}$-paths, or a set $Z\subseteq V(G)$ of size at most $2(k-1)$ such that $G-Z$ contains no $\mathcal{A}$-paths. We generalise Gallai's theorem to the induced setting: We prove that $G$ contains $k$ pairwise anti-complete $\mathcal{A}$-paths, or a set $Z$ of size at most $78(k-1)$ such that, after removing the closed neighbourhood of $Z$, the resulting graph has no $\mathcal{A}$-path. Here, two paths are anti-complete if they are vertex disjoint and there is no edge in $G$ having one endpoint in each of them.
We further show that the bound $78(k-1)$ on the size of $Z$ can be reduced to $4(k-1)$ if one removes the balls of radius $4$ around the vertices of $Z$ (instead of radius $1$), which is within a factor $2$ of optimal. We also establish analogous results for long induced $\mathcal{A}$-paths.
Quasiprimitive and bi-quasiprimitive highly-arc-transitive digraphs and finite simple groups
We extend the notion of an $H$-normal quotient digraph of an $H$-vertex-transitive digraph to that of an $H$-subnormal quotient digraph. Using these concepts, together with bipartite halves of bipartite digraphs, we show that, for each finite connected $H$-vertex-transitive, $(H,s)$-arc-transitive digraph with $s\geqslant6$, either some $H$-normal quotient is a directed cycle of length at least $3$, or there is an $(L,t)$-arc-transitive digraph with $t\geqslant (s-3)/2$, and $L$ a vertex-quasiprimitive almost simple group with socle a composition factor of $H$. This connection demonstrates that, to understand finite $s$-arc-transitive digraphs with large $s$, those admitting a vertex-quasiprimitive almost simple $s$-arc-transitive subgroup of automorphisms play a central role. We show that for each $s$ and each odd valency $k$, there are infinitely many $(H,s)$-arc-transitive digraphs of valency $k$ with $H$ a finite alternating group.
In addition we discovered a novel construction which takes as input a connected non-bipartite $H$-vertex-transitive, $(H,s)$-arc-transitive digraph, and outputs a connected bipartite $G$-vertex-transitive, $(G,2s)$-arc-transitive digraph with $G=(H\times H).2$. This leads to construction of vertex-bi-quasiprimitive $s$-arc-transitive digraphs, for arbitrarily large $s$. Our investigations yield several new open problems.
Quadratic Embedding Constants of Corona Graphs
Published
• View Publication
• BIB
The quadratic embedding constant (QEC) of a connected graph is defined to be the maximum of the quadratic function associated with its distance matrix on a certain unit sphere of codimension two. In this paper we derive a formula for the QEC of a corona graph $G\odot H$. It is shown that $\mathrm{QEC}(G\odot H)=ψ_{H*}^{-1}(\mathrm{QEC}(G))$ holds under some spectral assumptions on $H$, where $ψ_{H*}^{-1}$ is the inverse function of the most right branch of the analytic function $ψ_H$ defined by means of the main eigenvalues of the adjacency matrix of $H$. Moreover, if $H$ is a regular graph of which the adjacency matrix has the smallest eigenvalue $-2$, then the formula is written down explicitly.
Nowhere-zero flow reconfiguration
We initiate the study of nowhere-zero flow reconfiguration. The natural question is whether any two nowhere-zero $k$-flows of a given graph $G$ are connected by a sequence of nowhere-zero $k$-flows of $G$, such that any two consecutive flows in the sequence differ only on a cycle of $G$. We conjecture that any two nowhere-zero 5-flows in any 2-edge-connected graph are connected in this way. This can be seen as a reconfiguration variant of Tutte's 5-flow conjecture.
We study this problem in the setting of integer flows and group flows, and show that the structure of groups affects the answer, contrary to the existence of nowhere-zero flows. We also highlight a duality with recoloring in planar graphs and deduce that any two nowhere-zero 7-flows in a planar graph are connected, among other results. Finally we show that for any graph $G$, there is an abelian group $A$ such that all nowhere-zero $A$-flows in $G$ are connected, which is a weak form of our original conjecture. We conclude with several problems and conjectures.
Forbidding just one intersection for short integer sequences
In this paper, we study the famous Erdős--Sós forbidden intersection problem for words over an alphabet of size $m$: what is the maximal size of a subfamily $\mathcal{F}$ of $[m]^n$ that does not contain two vectors $x, y$ coinciding on exactly $t - 1$ coordinates? We answer this question provided $m \ge \operatorname{poly}(t)$ and $n \ge \operatorname{poly}(t)$ for some polynomial function $\operatorname{poly}(\cdot)$ of $t$, greatly extending the recent result of Keevash, Lifshitz, Long and Minzer. Our proof combines some of the recently developed methods in extremal combinatorics, including the spread approximation technique of Kupavskii and Zakharov and the hypercontractivity approach developed in a series of works by Keevash, Keller, Lifshitz, Long, Marcus and Minzer.