Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Counting minimal cutsets and $p_c<1$
Published in Forum of Mathematics, Pi 13 (2025) e23
• View Publication
• BIB
We prove two results concerning percolation on general graphs.
- We establish the converse of the classical Peierls argument: if the critical parameter for (uniform) percolation satisfies $p_c<1$, then the number of minimal cutsets of size $n$ separating a given vertex from infinity is bounded above exponentially in $n$. This resolves a conjecture of Babson and Benjamini from 1999.
- We prove that $p_c<1$ for every uniformly transient graph. This solves a problem raised by Duminil-Copin, Goswami, Raoufi, Severo and Yadin, and provides a new proof that $p_c<1$ for every transitive graph of superlinear growth.
Low-degree functions without non-essential arguments
For the Hamming graph $H(n,q)$, where a $q$ is a constant prime power and $n$ grows, we construct perfect colorings without non-essential arguments such that $n$ depends exponentially on the off-diagonal part of the quotient matrix. In particular, we construct unbalanced Boolean ($q=2$) functions such that the number of essential arguments depends exponentially on the degree of the function.
Differential operators, anisotropy, and simplicial spheres
Published
• View Publication
• BIB
We find identities involving differential operators in the generic artinian reduction of the Stanley-Reisner ring of a simplicial sphere in any positive characteristic. These identities generalize the characteristic 2 identities used by Papadakis and Petrotou to give a proof of the algebraic g-conjecture. We show that these identities are a shadow of an identity on the degree map, and we use them to prove the anisotropy of certain forms on the generic artinian reduction of the Stanley--Reisner ring and to prove weak Lefschetz results.
Asymptotics of the partial $n$-fold dimer model
Published
• View Publication
• BIB
We study a model of colored multiwebs, which generalizes the dimer model to allow each vertex to be adjacent to \(n_v\) edges. These objects can be formulated as a random tiling of a graph with partial dimer covers. We examine the case of a cycle graph, and in particular we describe the local correlations of tiles in this setting.
Schubert polynomials and patterns in permutations
Published
• View Publication
• BIB
This paper investigates the number of supports of the Schubert polynomial $\mathfrak{S}_w(x)$ indexed by a permutation $w$. This number also equals the number of lattice points in the Newton polytope of $\mathfrak{S}_w(x)$. We establish a lower bound for this number in terms of the occurrences of patterns in $w$. The analysis is carried out in the general framework of dual characters of flagged Weyl modules. Our result considerably improves the bounds for principal specializations of Schubert polynomials or dual flagged Weyl characters previously obtained by Weigandt, Gao, and M{é}sz{á}ros--St. Dizier--Tanjaya. Some problems and conjectures are discussed.
Partitioning Theorems for Sets of Semi-Pfaffian Sets, with Applications
Published in Forum of Mathematics, Sigma 14 (2026) e5
• View Publication
• BIB
We generalize the seminal polynomial partitioning theorems of Guth and Katz to a set of semi-Pfaffian sets. Specifically, given a set $Γ\subseteq \mathbb{R}^n$ of $k$-dimensional semi-Pfaffian sets, where each $γ\in Γ$ is defined by a fixed number of Pfaffian functions, and each Pfaffian function is in turn defined with respect to a Pfaffian chain $\vec{q}$ of length $r$, for any $D \ge 1$, we prove the existence of a polynomial $P \in \mathbb{R}[X_1, \ldots, X_n]$ of degree at most $D$ such that each connected component of $\mathbb{R}^n \setminus Z(P)$ intersects at most $\sim \frac{|Γ|}{D^{n - k - r}}$ elements of $Γ$. Also, under some mild conditions on $\vec{q}$, for any $D \ge 1$, we prove the existence of a Pfaffian function $P'$ of degree at most $D$ defined with respect to $\vec{q}$, such that each connected component of $\mathbb{R}^n \setminus Z(P')$ intersects at most $\sim \frac{|Γ|}{D^{n-k}}$ elements of $Γ$. To do so, given a $k$-dimensional semi-Pfaffian set $\mathcal{X} \subseteq \mathbb{R}^n$, and a polynomial $P \in \mathbb{R}[X_1, \ldots, X_n]$ of degree at most $D$, we establish a uniform bound on the number of connected components of $\mathbb{R}^n \setminus Z(P)$ that $\mathcal{X}$ intersects; that is, we prove that the number of connected components of $(\mathbb{R}^n \setminus Z(P)) \cap \mathcal{X}$ is at most $\sim D^{k+r}$. Finally as applications, we derive Pfaffian versions of Szemerédi-Trotter type theorems, and also prove bounds on the number of joints between Pfaffian curves.
Visibility polynomials, dual visibility spectrum, and characterization of total mutual-visibility sets
Published in Aequationes Math. 99 (2025) 1883-1901
• View Publication
• BIB
Mutual-visibility sets were motivated by visibility in distributed systems and social networks, and intertwine with several classical mathematical areas. Monotone properties of the variety of mutual-visibility sets, and restrictions of such sets to convex and isometric subgraphs are studied. Dual mutual-visibility sets are shown to be intrinsically different from other types of mutual-visibility sets. It is proved that for every finite subset $Z$ of positive integers there exists a graph $G$ that has a dual mutual-visibility set of size $i$ if and only if $i\in Z\cup \{0\}$, while for the other types of mutual-visibility such a set consists of consecutive integers. Visibility polynomials are introduced and their properties derived. As a surprise, every polynomial with nonnegative integer coefficients and with a constant term $1$ is a dual visibility polynomial of some graph. Characterizations are given for total mutual-visibility sets, for graphs with total mutual-visibility number $1$, and for sets which are not total mutual-visibility sets, yet every proper subset is such. Along the way an earlier result from the literature is corrected.
Complete homogeneous symmetric polynomials with repeating variables
Published in Mathematics 2025, 13(1), 34
• View Publication
• BIB
We consider polynomials of the form $\operatorname{h}_m(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]})$, where $\operatorname{h}_m$ is the complete homogeneous polynomial of degree $m$ and $y_j^{[\varkappa_j]}$ denotes $y_j$ repeated $\varkappa_j$ times. Using the decomposition of the generating function into partial fractions we represent such polynomials in the form \[ \operatorname{h}_m(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]}) =\sum_{j=1}^n \sum_{r=1}^{\varkappa_j} \binom{r+m-1}{r-1} A_{y,\varkappa,j,r} y_j^m, \] where $A_{y,\varkappa,j,r}$ are some coefficients that do not depend on $m$. We also provide an alternative proof using the inverse of the confluent Vandermonde matrix.
Generalized rank functions and quilts of alternating sign matrices
Published
• View Publication
• BIB
In this paper, we present new objects, quilts of alternating sign matrices with respect to two given posets. Quilts generalize several commonly used concepts in mathematics. For example, the rank function on submatrices of a matrix gives rise to a quilt with respect to two Boolean lattices. When the two posets are chains, a quilt is equivalent to an alternating sign matrix and its corresponding corner sum matrix. Quilts also generalize the monotone Boolean functions counted by the Dedekind numbers. Quilts form a distributive lattice with many beautiful properties and contain many classical and well-known sublattices, such as the lattice of matroids of a given rank and ground set. While enumerating quilts is hard in general, we prove two major enumerative results, when one of the posets is an antichain and when one of them is a chain. We also give some bounds for the number of quilts when one poset is the Boolean lattice.
The strong vertex span of trees
The strong vertex (edge) span of a given graph $G$ is the maximum distance that two players can maintain at all times while visiting all vertices (edges) of $G$ and moving either to an adjacent vertex or staying in the current position independently of each other. We introduce the notions of switching walks and triod size of a tree, which are used to determine the strong vertex and the strong edge span of an arbitrary tree. The obtained results are used in an algorithm that computes the strong vertex (edge) span of the input tree in linear time.
Recovery of cyclic words by their subwords
Published
• View Publication
• BIB
A problem of reconstructing words from their subwords involves determining the minimum amount of information needed, such as multisets of scattered subwords of a specific length or the frequency of scattered subwords from a given set, in order to uniquely identify a word. In this paper we show that a cyclic word on a binary alphabet can be reconstructed by its scattered subwords of length $\frac34n+4$, and for each $n$ one can find two cyclic words of length $n$ which have the same set of scattered subwords of length $\frac34n-\frac32$.
Infinite grids in digraphs
Published
• View Publication
• BIB
Halin proved that every graph with an end $ω$ containing infinitely many pairwise disjoint rays admits a subdivision of the infinite quarter-grid as a subgraph where all rays from that subgraph belong to $ω$. We will prove a corresponding statement for digraphs, that is, we will prove that every digraph that has an end with infinitely many pairwise disjoint directed rays contains a subdivision of a grid-like digraph all of whose directed rays belong to that end.
On arborescence packing augmentation in hypergraphs
Published
• View Publication
• BIB
We deepen the link between two classic areas of combinatorial optimization: augmentation and packing arborescences. We consider the following type of questions: What is the minimum number of arcs to be added to a digraph so that in the resulting digraph there exists some special kind of packing of arborescences? We answer this question for two problems: $h$-regular \textsf{M}-independent-rooted $(f,g)$-bounded $(α, β)$-limited packing of mixed hyperarborescences and $h$-regular $(\ell, \ell')$-bordered $(α, β)$-limited packing of $k$ hyperbranchings. We also solve the undirected counterpart of the latter, that is the augmentation problem for $h$-regular $(\ell, \ell')$-bordered $(α, β)$-limited packing of $k$ rooted hyperforests. Our results provide a common generalization of a great number of previous results.
Augmenting a hypergraph to have a matroid-based $(f,g)$-bounded $(α,β)$-limited packing of rooted hypertrees
Published
• View Publication
• BIB
The aim of this paper is to further develop the theory of packing trees in a graph. We first prove the classic result of Nash-Williams \cite{NW} and Tutte \cite{Tu} on packing spanning trees by adapting Lovász' proof \cite{Lov} of the seminal result of Edmonds \cite{Egy} on packing spanning arborescences in a digraph. Our main result on graphs extends the theorem of Katoh and Tanigawa \cite{KT} on matroid-based packing of rooted trees by characterizing the existence of such a packing satisfying the following further conditions: for every vertex $v$, there are a lower bound $f(v)$ and an upper bound $g(v)$ on the number of trees rooted at $v$ and there are a lower bound $α$ and an upper bound $β$ on the total number of roots. We also answer the hypergraphic version of the problem. Furthermore, we are able to solve the augmentation version of the latter problem, where the goal is to add a minimum number of edges to have such a packing. The methods developed in this paper to solve these problems may have other applications in the future.
Scarf's Algorithm on Arborescence Hypergraphs
Scarf's algorithm--a pivoting procedure that finds a dominating extreme point in a down-monotone polytope--can be used to show the existence of a fractional stable matching in hypergraphs. The problem of finding a fractional stable matching in a hypergraph, however, is PPAD-complete. In this work, we study the behavior of Scarf's algorithm on arborescence hypergraphs, the family of hypergraphs in which hyperedges correspond to the paths of an arborescence. For arborescence hypergraphs, we prove that Scarf's algorithm can be implemented to find an integral stable matching in polynomial time. En route to our result, we uncover novel structural properties of bases and pivots for the more general family of network hypergraphs. Our work provides the first proof of polynomial-time convergence of Scarf's algorithm on hypergraphic stable matching problems, giving hope to the possibility of polynomial-time convergence of Scarf's algorithm for other families of polytope.
Hertzsprung patterns on involutions
Published
• View Publication
• BIB
Hertzsprung patterns, recently introduced by Anders Claesson, are subsequences of a permutation contiguous in both positions and values, and can be seen as a subclass of bivincular patterns.
This paper investigates Hertzsprung patterns within involutions, where additional structural constraints introduce new challenges. We present a general formula for enumerating occurrences of these patterns in involutions.
We also analyze specific cases to derive the distribution of all Hertzsprung patterns of lengths two and three.
A Characterization of Claw-Free Graphs using Zero Forcing Invariants
We prove that the \emph{standard zero forcing number} $Z(G)$ and the \emph{positive semidefinite zero forcing number} $Z_+(G)$ are equal for all claw-free graphs $G$. This result resolves a conjecture proposed by the computer program \emph{TxGraffiti} and highlights a connection between these graph invariants in claw-free structures. As a corollary, we show that a graph $G$ is claw-free if and only if every induced subgraph $H \subseteq G$ satisfies $Z(H) = Z_+(H)$.
Counting of lattices containing up to four comparable reducible elements and having nullity up to three
Published
• View Publication
• BIB
In 2020 Bhavale and Waphare introduced the concept of a nullity of a poset as nullity of its cover graph. According to Bhavale and Waphare, if a dismantlable lattice of nullity k contains r reducible elements then 2 $\leq$ r $\leq$ 2k. In 2003 Pawar and Waphare counted all non-isomorphic lattices with equal number of elements and edges, which are precisely the lattices of nullity one. Recently, Bhavale and Aware counted all non-isomorphic lattices on n elements having nullity up to two. Bhavale and Aware also counted all non-isomorphic lattices on n elements, containing up to three reducible elements, having nullity k $\geq$ 2. In this paper, we count up to isomorphism the class of all lattices on n elements containing four comparable reducible elements, and having nullity three.
Small kissing polytopes
Published in Vietnam J. Math. 53(4), 901-913 (2025)
• View Publication
• BIB
A lattice $(d,k)$-polytope is the convex hull of a set of points in $\mathbb{R}^d$ whose coordinates are integers ranging between $0$ and $k$. We consider the smallest possible distance $\varepsilon(d,k)$ between two disjoint lattice $(d,k)$-polytopes. We propose an algebraic model for this distance and derive from it an explicit formula for $\varepsilon(2,k)$. Our model also allows for the computation of previously intractable values of $\varepsilon(d,k)$. In particular, we compute $\varepsilon(3,k)$ when $4\leq{k}\leq8$, $\varepsilon(4,k)$ when $2\leq{k}\leq3$, and $\varepsilon(6,1)$.
Halin's grid theorem for digraphs
Published
• View Publication
• BIB
Halin showed that every thick end of every graph contains an infinite grid. We extend Halin's theorem to digraphs. More precisely, we show that for every infinite family $\mathcal{R}$ of disjoint equivalent out-rays there is a grid whose vertical rays are contained in $\mathcal{R}$. Furthermore, we obtain similar results for in-rays and necklaces.