Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On the self-intersection time of non-backtracking random walks
We study the self-intersection time of the non-backtracking random walk on connected undirected graphs. For every fixed $Δ\geq 3$ we show that the expected self-intersection time is $O(\sqrt{n} \log n)$ on $n$-vertex graphs with minimum degree at least $3$ and maximum degree at most $Δ$. For regular graphs with a uniform spectral gap, we improve this to $O(\sqrt{n})$. We also show an $Ω(\sqrt{n})$ lower bound on a class of regular expanders. Our upper bound on the expected self-intersection time implies an improved mixing time bound on Glauber dynamics for the Ising model on $Δ$-regular graphs at the tree uniqueness threshold.
On the weighted hard-core model and Rado's covering problem for congruent Euclidean balls
Let $B^d$ denote the Euclidean unit ball in $\mathbb{R}^d$ and $f(B^d)$ denote the largest constant $c$ such that every finite collection of congruent Euclidean balls contains a pairwise disjoint subcollection whose total volume is at least $c$ times the volume of the union of the original collection. The classical Vitali covering lemma gives $f(B^d)\geq3^{-d}$. In this paper, we establish two improvements. First, by a purely combinatorial argument, we prove that $$ f(B^d)\geq \frac{2}{3^d + 2^d} $$ for every integer $d \geq1$. This improves the Vitali bound by a factor tending to $2$ as d tends to infinity. Second, using a weighted hard-core model together with a weighted geometric estimate for intersections of Euclidean balls, we show that, for all sufficiently large $d$, $$ f(B^d)\geq
\left(
\log\frac{3}{1+\sqrt3}
-O\left(\frac{\log d}{d}\right)
\right)d\,3^{-d}.
$$ Thus, the classical lower bound is improved by a factor of order $d$.
A proof of a conjecture on permutation polynomials
In this paper, we use finite fields and linear algebra methods to resolve a conjecture by T. Zhang, L. Zheng, H. Wang, J. Peng and Y. Li (Finite Fields Appl. 110 (2026) 102743) concerning permutation pentanomials.
Caged subsequences in permutations
Given a sequence $\mathfrak{a}:=(a_1,\ldots,a_n)$ of reals, a subsequence $\mathfrak{b}=(a_{i_1},\ldots,a_{i_k})$ is said to be "caged" if the largest and smallest among the members of $\mathfrak{b}$ are $a_{i_1}$ and $a_{i_k}$, though not necessarily in that order. In this paper, we consider the problem of maximal caged sequences in permutations $π\in S_n$. We also consider the same problem for a random permutation, both when the permutation is chosen uniformly at random and also when it is picked uniformly at random from among the permutations of rectangular shape, via the RSK correspondence.
On B-Colorings in Planar Graphs
Gyárfás and Sárközy [Studia Sci. Math. Hungar., 2023] defined a B-coloring of a graph to be a proper coloring of the edge set in which any $C_4$ is totally multicolored. Let $q_B(G)$ denote the minimum number of colors sufficient for a B-coloring of a graph $G$. In this paper, we prove that any planar graph $G$ with $Δ=Δ(G)$ and $Δ_2=Δ_2(G)$ has $q_B(G)\leqΔ+\max\{Δ_2,38\}$, refining a bound by Kong, Wang, and Zheng [J. Graph Theory, 2026].
On a conjecture of Kolokolnikov on algebraic connectivity
For a graph $G$, let $α(G)$ be the second smallest eigenvalue of the Laplacian matrix of $G$, also known as the algebraic connectivity. Algebraic connectivity plays an important role in characterizing the connectivity of graphs and convergence properties of networks. Kolokolnikov conjectured that among all graphs on $n$ vertices with exactly $2n-4$ edges, $α(G)\leq 2$ and one of the maximizers is the complete bipartite graph whose two parts have sizes two and $n-2$, respectively. In this paper, we completely resolve this conjecture.
Blocking codimension-one simplices on the moment curve
We study $b_d(n)$, the minimum number of points needed to meet the relative interior of every $(d-1)$-simplex spanned by an $n$-point set in general position in $\mathbb{R}^d$. In the plane, this is the parameter from the Blocking Conjecture. We improve the best known general planar lower bound to $
b_2(n)\ge \frac{41}{13}n-O\left(\frac{n}{\log n}\right)$. For $n$ points on the moment curve in even dimension $2r$, we prove that at least $\frac{1}{r!}n^r\log n-O_r(n^r)$ points are needed to pierce the relative interior of all its codimension-one simplices, which exceeds the number of codimension-one faces in a triangulation by a $\log n$ factor. For equally spaced points on the moment curve in odd dimensions, we construct an optimal blocking set whose size equals the maximum number of codimension-one faces in a triangulation.
Grothendieck weights and K-theoretic positivity for matroids
We introduce a method for studying $K$-theoretic positivity on permutohedral toric varieties through the topology of spaces arising in tropical geometry. The key ingredient is the theory of Grothendieck weights developed by the author.
We prove two positivity results using this method. The first result is the positivity of the Euler characteristics of tautological bundles associated with an arbitrary matroid and twisted by a nef line bundle. This gives numerical evidence for a conjectural vanishing theorem.
The second result generalizes the external activity complex of Berget--Fink, originally defined for a pair of matroids, to the case of any tuple of matroids with no common loop. We deduce a formula for its graded $K$-polynomial in terms of exterior powers of the dual tautological quotient classes of the matroids. After a change of variables, its coefficients alternate in sign. We also prove the Cohen--Macaulayness of each such complex using the vanishing theorems for combinatorial geometries developed by Eur--Fink--Larson. This proof is new even in the case of a pair of matroids. As an application, we interpret certain Chern numbers of tautological quotient classes as counts of facets, partially answering a question of Berget--Eur--Spink--Tseng.
The Cycle Rank Threshold: Perfect Matchings and Property (P) in Bipartite Graphs
We determine the maximum cycle rank for which property~(P) is equivalent to the existence of a perfect matching in bipartite graphs. It is known that this equivalence holds for bipartite graphs of cycle rank at most \(3\)~\cite{puja}. In this paper, we extend the equivalence to bipartite graphs of cycle rank \(4\) and show that this bound is sharp.
Maximizing the algebraic connectivity of graphs of given order and size: a proof of a conjecture of Kolokolnikov
The algebraic connectivity of a graph $G$ is a well studied graph invariant that is related to other properties of the graph such as connectivity and expansion. Given $n$ and $m$, $α(n,m)$ is the maximum algebraic connectivity of a graph with $n$ vertices with $m$ edges. In 2015, Kolokolnikov conjectured that $α(n,2n-4)=2$ for $n\geq 3$, and verified this claim computationally for $n \le 12$. In this paper, we prove Kolokolnikov's conjecture.
Superlinear Lower Bounds for Monochromatic Path Partitions
In 1989, Gyárfás conjectured that the vertex set of every $r$-edge-coloured complete graph can be partitioned into at most $r$ vertex-disjoint monochromatic paths. Erdős, Gyárfás, and Pyber subsequently proposed the analogous conjecture for monochromatic cycles. Pokrovskiy proved Gyárfás's conjecture for $r=3$, while disproving the conjecture of Erdős, Gyárfás, and Pyber for every $r\ge3$ by constructing colourings that require at least $r+1$ monochromatic cycles. In this paper, we disprove Gyárfás's conjecture in a quantitatively strong superlinear form: for every sufficiently large $r$, there exists an $r$-edge-coloured complete graph that requires at least $(1-o(1))r\log\log r$ vertex-disjoint monochromatic paths. Consequently, the monochromatic cycle-partition number is also superlinear in $r$. Our construction also extends to the balanced bipartite setting, disproving a conjecture of Pokrovskiy.
New results on the domain of analyticity of the free energy for the Ising model
We investigate the analyticity of the free energy of the Ising model in the presence of a non-zero external magnetic field, at high temperature, and at low temperature. Using the Fernandez--Procacci convergence criterion for cluster expansions, together with generating-function techniques and graph-theoretical methods, we derive improved convergence conditions in all three regimes. In particular, the generating-function approach yields sharper estimates for polymers and contours in the strong-field and low-temperature regimes, while a new high-temperature expansion based on Veblen's theorem provides a substantially larger analyticity region than the classical results in the literature.
Optimal Finite Interval Discrepancy via Binary Refinement
DeLeo, Henderschedt, and Wells introduced a finite-horizon version of the classical de Bruijn--Erdos interval discrepancy problem. Starting from the unit interval, one repeatedly splits an existing interval into two until $n$ intervals are present, and one minimizes the largest ratio between the longest and shortest intervals over all intermediate partitions. They constructed the lex-merge strategy, whose discrepancy is $2^{1-1/\lceil n/2\rceil}$, and conjectured that this value is optimal for every $n$. We prove the conjecture. More generally, we establish a sharp lower bound for arbitrary binary refinement processes of positive masses: any process that starts with one positive mass, repeatedly replaces one mass by two positive masses with the same total, and terminates with $n$ masses must at some stage have largest-to-smallest ratio at least $2^{1-1/\lceil n/2\rceil}$. The proof tracks the minimum mass under refinement and uses the forced survival of a piece near the midpoint of the process. We also record the corresponding universal lower bound for $r$-ary refinements.
Proper $\{a,b\}$-edge-weightings of trees
Let $a$ and $b$ be distinct real weights. An $\{a,b\}$-edge-weighting of a tree assigns one of these weights to each edge and is proper if adjacent vertices have different sums of incident edge weights. For every such pair, we give an explicit structural characterization of the trees that do not admit a proper $\{a,b\}$-edge-weighting. If $ab(a+b)\neq0$, then $K_2$ is the only tree without such a weighting. If $a+b=0$, then a tree has no proper $\{a,b\}$-edge-weighting exactly when every vertex has degree $1$ or $3$ and the subgraph induced by the degree-$3$ vertices has a perfect matching. For the remaining case $ab=0$, form the spanning forest consisting of the edges whose deletion leaves two odd-order components. A tree $T$ has no proper $\{a,b\}$-edge-weighting exactly when both bipartition classes have odd order and every component of this forest satisfies two conditions. First, every component satisfies the preceding degree-and-matching condition. Second, within each component, the degree of a vertex $v$ in the forest plus twice the number of incident edges $e$ outside the forest for which the component of $T-e$ not containing $v$ has an odd number of vertices from each bipartition class is independent of $v$. For every fixed pair of distinct real weights, the proofs yield a linear-time algorithm that decides whether a proper $\{a,b\}$-edge-weighting exists and constructs one when it does.
A counterexample to the Etzion-Silberstein conjecture
The Etzion-Silberstein conjecture asserts that the Singleton-type upper bound for linear Ferrers-diagram rank-metric codes is attained for every Ferrers diagram, minimum rank distance, and finite field. Let $E$ be the Ferrers diagram with column heights $(5,5,5,5,1,1)$. The bound for minimum rank distance $3$ is $12$. We prove that every binary linear code supported on $E$ with minimum rank distance $3$ has dimension at most $11$, and we give an explicit code of dimension $11$. Thus the optimum is exactly $11$, disproving the conjecture. The nonexistence proof reduces a hypothetical dimension-$12$ code to one of the three equivalence classes of binary $[4\times 4,12,2]$ MRD codes. A rank-distribution argument eliminates two classes and leaves four kernel orbits in the field class; all four exact lift systems are unsatisfiable. Independently written verifiers reproduce the result, including a raw enumeration of all $8,382,465$ kernels without orbit reduction. We also prove an exact row-cone propagation identity. Iterating it produces binary counterexamples with bound $12$ and optimum $11$ at every minimum rank distance $d \geq 3$.
Some new results for Andrews' Kimberling partitions
George E. Andrews (2016) introduced the Kimberling index, $K(π)$, of a partition $π$ of a positive integer $n$, which is defined as
$$K(π) = (\text{largest part of } π) - (\text{least part of } π) - (\text{number of parts of } π).$$
Based on Kimberling index, Andrews defined five partition functions, $K_>(n),$ $K_<(n),$ $K_\leq(n),$ $K_=(n),$ and $K_\geq(n)$, called Kimberling partition functions, which count the numbers of partitions of a positive integer $n$ for which the Kimberling index $K(π) $ is $>0$, $<0$, $\leq0$, $=0$ and $\geq 0$, respectively. He also gave the generating functions for $K_\le(n),$ $K_<(n),$ and $K_>(n)$ and established some relations connecting Kimberling partitions and other partition functions. Since then, the Kimberling partition functions and their generating functions remained unexplored. In this paper, we derive generating functions for $K_=(n),$ and $K_\geq(n)$, and establish some congruence relations of the five Kimberling partition functions by using the method of $q$-series identities.
Seven Exact Finite Zarankiewicz Numbers from a Single 13 x 18 Core
We present a unified proof and certificate package establishing seven exact finite Zarankiewicz values for the forbidden graph $K_{3,3}$: $z(12,18;3)=108$, $z(13,17;3)=110$, $z(13,18;3)=116$, $z(14,17;3)=118$, $z(14,18;3)=124$, $z(15,17;3)=126$, and $z(15,18;3)=132$.
The witnesses form a connected family generated by an explicit $13 \times 18$ matrix with 116 ones. Deleting one row or one column and adding either of exactly two admissible weight-eight rows for this fixed labeled core produces the remaining witnesses. The exceptional upper-bound closure, $z(12,18;3)\leq108$, combines the published uniqueness of the extremal $12 \times 17$ graph with 103 edges and an exhaustive rejection of all $\binom{12}{6}=924$ possible degree-six column extensions. The supplement contains all witnesses, a portable verifier, a machine-readable report, and integrity hashes. Prior numerical ingredients and the role of the present work are separated cell by cell.
Ramsey-Turán Anti-Directed Cycle Factors in Oriented Graphs
Let $C_{2s}^{\mathrm{ad}}$ be the anti-directed cycle of length $2s$, where $s\geq2$. We prove that, for every $μ>0$, every sufficiently large $n$-vertex oriented graph $D$ with $2s\mid n$, \[ δ^0(D)\geq\left(\frac14+μ\right)n \qquad\text{and}\qquad α(D)=o(n) \] contains a $C_{2s}^{\mathrm{ad}}$-factor. The minimum semidegree threshold is asymptotically tight. The proof develops Ramsey--Turán-type lattice-absorption lemmas with a transferral arising from the small-independence condition by virtue of a fork-type structure.
Forcing Quasirandomness via Rooted F-Densities
Let $F$ be a finite graph with at least one edge, and let $W$ be a graphon. We show that if the density of $F$ rooted at each edge is almost everywhere constant, then either $t(F,W)=0$ or $W$ is constant. For edge-transitive $F$, one rooted equation suffices. This recovers the edge-rooted triangle theorem of Reiher and Schacht. In their terminology, our result also shows that every clique is $2$-forcing, answering a question they posed. We give an explicit stability estimate when $W$ is bounded away from zero. Our proof has two steps: an entropy argument turns constant rooted densities into an additive identity for $\log W$, and a Hoeffding decomposition determines all solutions of that identity. The same method gives exact classifications and quantitative stability estimates for symmetric uniform hyperkernels, dissociated Aldous--Hoover hypergraphons, directed kernels, and tournamentons.
Weighted bond posets and a new chromatic symmetric function
The classical bond lattice of a graph was used in a formula of Whitney to compute the chromatic polynomial. In this paper, we use weighted versions of the bond lattice, to introduce and study a new polynomial and a new symmetric function invariant of a graph. Examples of the new polynomial invariant include the classical Narayana polynomials (for the path graph), the tree-Eulerian polynomials (for the complete graph), and the binomial-Eulerian polynomials (for the star graph). These examples suggest an interesting connection to $h$-polynomials of general graph-associahedra. We prove that for any chordal graph, our polynomial graph invariant is $γ$-positive.
Multiweighted bond posets yield a symmetric function graph invariant that is an analog of the chromatic polynomial. The highest degree homogeneous component of this symmetric function is of particular interest. The parking function symmetric function introduced by Haiman arises as an example, as do symmetric functions studied by the first author in connection with multibracketed Lie algebras and with colored exterior algebras. The $γ$-positivity result mentioned above is a specialization of an $e$-positivity result for the highest degree homogeneous component, which we prove for any chordal graph using the theory of lexicographic shellability. We conjecture that this symmetric function is Schur-log-concave, which specializes to Huh's log-concavity theorem for the chromatic polynomial.