Showing 20 papers (Total: 83190 papers, 48060 authors in database)
When does a tree activate the random graph?
Let $F$ and $G$ be two graphs. A spanning subgraph $H$ of $G$ is called weakly $F$-saturated if one can add to $H$ the edges of $G \setminus H$ in some order, so that whenever a new edge is added, a new copy of $F$ is formed. Obtaining lower bounds for the minimum size $\mathrm{wsat}(G,F)$ of such an $H$ is a classical problem in extremal combinatorics. In particular, in the past 40 years, various algebraic tools have been developed to prove lower bounds on the weak saturation number $\mathrm{wsat}(G,F)$. Our paper uncovers a new connection of weak saturation to topology of clique complexes, that allows to prove tight lower bounds in some cases when the algebraic tools are not efficient.
It is easy to see that the smallest $K_3$-saturating graphs in $K_n$ are trees, thus $\mathrm{wsat}(K_n,K_3)=n-1$. In 2017, Korándi and Sudakov proved that this is also the case in dense random graphs $G\sim G_{n,p}$, $p=\mathrm{const}\in(0,1)$, and posed the question of determining the smallest $p$ for which $G_{n,p}$ contains a $K_3$-saturating tree with high probability. Using the new topological connection, we show that this critical $p$ is of order $n^{-1/3-o(1)}$.
Inspired by Gromov's local-to-global principle for hyperbolic groups, we further develop our topological approach and determine the critical probability up to a constant factor, for trees with diameter at most $n^{c}$, for some $c>0$.
The new connection also enables us to improve the best known upper bound on the threshold probability for simple connectivity of the 2-dimensional clique complex of $G_{n,p}$, due to Kahle.
Comparing the $\mathrm{v}$-number and $h$-polynomials of edge ideals
Published
• View Publication
• BIB
In this paper, we compare the $\mathrm{v}$-numbers and the degree of the $h$-polynomials associated with edge ideals of connected graphs. We prove that the $\mathrm{v}$-number can be arbitrarily larger or smaller than the degree of the $h$-polynomial for the edge ideal of a connected graph. We also establish that for any pair of positive integers $(v,d)$ with $v \leq d$, there exists a connected graph $H(v,d)$ with the $\mathrm{v}$-number equal to $v$ and the degree of $h$-polynomial equal to $d$. Additionally, we show that the sum of the $\mathrm{v}$-number and the degree of the $h$-polynomial is bounded above by $n$, the number of vertices of $G$, and we classify all graphs for which this sum is exactly $n$. Finally, we show that all thirteen possible inequalities among the three invariants, the $\mathrm{v}$-number, the degree of the $h$-polynomial, and the Castelnuovo-Mumford regularity, can occur in the case of edge ideals of connected graphs. Many of these examples rely on a minimal example of a graph whose $\mathrm{v}$-number is more than the degree of its $h$-polynomial. Using a computer search, we show that there are exactly two such graphs on 11 vertices and 25 edges, and no smaller example on fewer vertices, or 11 vertices and less than 25 edges.
Discrete Boltzmann distributions via multisets and their coefficients
This paper investigates the combinatorics that gives rise to the Boltzmann probability distribution. Despite being one of the most important distributions in physics and other fields of science, the mathematics of the underlying model of particles at different energy levels is underexplored. This paper gives a reconstruction, using multisets with fixed sums as mathematical representations. Counting (the coefficients of) such multisets gives a general description of binomial, trinomial, quadrinomial etc.\ coefficients, here called N-nomials. These coefficients give rise to multiple discrete Boltzmann distributions that are linked to explanations in the physics literature.
Largest zero-dimensional intersection of $r$ degree $d$ hypersurfaces
Published
• View Publication
• BIB
Suppose we have $r$ hypersurfaces in $\mathbb{P}^m$ of degree $d$, whose defining polynomials are linearly independent, and their intersection has dimension $0$. Then what is the largest possible intersection of the $r$ hypersurfaces? We conjecture an exact formula for this problem and prove it when $m=2$. We show that this can be used to compute the generalized hamming weights of the projective Reed-Muller code $\operatorname{PRM}_q(d,2)$ and hence settle a conjecture of Beelen, Datta and Ghorpade for $m=2$.
Longest increasing subsequences for distributions with atoms, and an inhomogeneous Hammersley process
A famous result by Hammersley and Versik-Kerov states that the length $L_n$ of the longest increasing subsequence among $n$ iid continuous random variables grows like $2\sqrt{n}$. We investigate here the asymptotic behavior of $L_n$ for distributions with atoms. For purely discrete random variables, we characterize the asymptotic order of $L_n$ through a variational problem and provide explicit estimates for classical distributions. The proofs rely on a coupling with an inhomogeneous version of the discrete-time continuous-space Hammersley process. This reveals that, in contrast to the continuous case, the discrete setting exhibits a wide range of growth rates between $\mathcal{O}(1)$ and $o(\sqrt{n})$, depending on the tail behavior of the distribution. We can then easily deduce the asymptotics of $L_n$ for a completely arbitrary distribution.
On cubic vertex-transitive graphs of given girth
Published
• View Publication
• BIB
A set of vertices of a graph is distinguishing if the only automorphism that preserves it is the identity. The minimal size of such sets, if they exist, is the distinguishing cost. The distinguishing costs of vertex transitive cubic graphs are well known if they are 1-arc-transitive, or if they have two edge orbits and either have girth 3 or vertex-stabilizers of order 1 or 2.
There are many results about vertex-transitive cubic graphs of girth 4 with two edge orbits, but for larger girth almost nothing is known about %the existence or the distinguishing costs of such graphs. We prove that cubic vertex-transitive graphs of girth 5 with two edge orbits have distinguishing cost 2, and prove the non-existence of infinite 3-arc-transitive cubic graphs of girth 6.
A Study of the Binary and Boolean Rank of Matrices with Small Constant Real Rank
Published
• View Publication
• BIB
We initiate the study of the binary and Boolean rank of $0,1$ matrices that have a small rank over the reals. The relationship between these three rank functions is an important open question, and here we prove that when the real rank $d$ is a small constant, the gap between the real and the binary and Boolean rank is a small constant. We give tight upper and lower bounds on the Boolean and binary rank of matrices with real rank $1 \leq d \leq 4$, as well as determine the size of the largest isolation set in each case. Furthermore, we prove that for $d = 3,4$, the circulant matrix defined by a row with $d-1$ consecutive ones followed by $d-1$ zeros, is the only matrix of size $(2d-2)\times (2d-2)$ with real rank $d$ and Boolean and binary rank and isolation set of size $2d-2$, and this matrix achieves the maximal gap possible between the real and the binary and Boolean rank for these values of $d$.
Our results can also be interpreted in other equivalent terms, such as finding the minimal number of bicliques needed to partition or cover the edges of a bipartite graph whose reduced adjacency matrix has real rank $1 \leq d \leq 4$. We use a combination of combinatorial and algebraic techniques combined with the assistance of a computer program.
Judicious Partitions in Edge-Weighted Graphs with Bounded Maximum Weighted Degree
In this paper, we investigate bounds for the following judicious $k$-partitioning problem: Given an edge-weighted graph $G$, find a $k$-partition $(V_1,V_2,\dots ,V_k)$ of $V(G)$ such that the total weight of edges in the heaviest induced subgraph, $\max_{i=1}^k w(G[V_i])$, is minimized. In our bounds, we also take into account the weight $w(V_1,V_2,\dots,V_k)$ of the cut induced by the partition (i.e., the total weight of edges with endpoints in different parts) and show the existence of a partition satisfying tight bounds for both quantities simultaneously. We establish such tight bounds for the case $k=2$ and, to the best of our knowledge, present the first (even for unweighted graphs) completely tight bound for $k=3$. We also show that, in general, these results cannot be extended to $k \geq 4$ without introducing an additional lower-order term, and we propose a corresponding conjecture. Moreover, we prove that there always exists a $k$-partition satisfying $\max \left\{ w(G[V_i]) : i \in [k] \right\} \leq \frac{w(G)}{k^2} + \frac{k - 1}{2k^2} Δ_w(G),$ where $Δ_w(G)$ denotes the maximum weighted degree of $G$. This bound is tight for every integer $k\geq 2$.
Hamiltonicity and structure of connected biclaw-free graphs
Published
• View Publication
• BIB
We show that for sufficiently large $d$, every balanced bipartite, connected biclaw-free graph with minimum degree $\geq d$ is Hamiltonian. This confirms a conjecture of Flandrin, Fouquet, and Li.
Bounded diameter monochromatic component covers
Published
• View Publication
• BIB
Ryser conjectured that every $r$-edge-coloured complete graph can be covered by $r-1$ monochromatic trees. Motivated by a question of Austin in analysis, Milićević predicted something stronger -- that every $r$-edge-coloured complete graph can be covered by $r-1$ monochromatic trees \emph{of bounded diameter}. Here we show that the two conjectures are equivalent. As immediate corollaries we obtain new results about Milićević's Conjecture, most notably that it is true for $r=5$. We also obtain several new cases of a generalization of Milićević's Conjecture to non-complete graphs due to DeBiasio-Kamel-McCourt-Sheats.
Minimal balanced collections and their applications to core stability and other topics of game theory
Published in Discrete Applied Mathematics 341 (2023) 60-81
• View Publication
• BIB
Minimal balanced collections are a generalization of partitions of a finite set of n elements and have important applications in cooperative game theory and discrete mathematics. However, their number is not known beyond n = 4. In this paper we investigate the problem of generating minimal balanced collections and implement the Peleg algorithm, permitting to generate all minimal balanced collections till n = 7. Secondly, we provide practical algorithms to check many properties of coalitions and games, based on minimal balanced collections, in a way which is faster than linear programming-based methods. In particular, we construct an algorithm to check if the core of a cooperative game is a stable set in the sense of von Neumann and Morgenstern. The algorithm implements a theorem according to which the core is a stable set if and only if a certain nested balancedness condition is valid. The second level of this condition requires generalizing the notion of balanced collection to balanced sets.
Tropical Donagi theorem
The tropical $n$-gonal construction was introduced in recent work by the first author and D.~Zakharov and structural results for $n = 2,3$ were established. In this article we explore the construction for $n = 4$ and prove a tropical analogue of Donagi's theorem which states that the tetragonal construction is a triality which preserves Prym varieties. This confirms the speculations in previous work and establishes new results on the non-injectivity of the tropical Prym-Torelli morphism. Finally, we demonstrate that the tropical $n$-gonal construction is poorly behaved under edge contractions, thus preventing any immediate moduli-theoretic perspective.
Entrywise transforms preserving matrix positivity and non-positivity
Published
• View Publication
• BIB
We characterize real and complex functions which, when applied entrywise to square matrices, yield a positive definite matrix if and only if the original matrix is positive definite. We refer to these transformations as sign preservers. Compared to classical work on entrywise preservers of Schoenberg and others, we completely resolve this problem in the harder fixed dimensional setting, extending a similar recent classification of sign preservers obtained for matrices over finite fields. When the matrix dimension is fixed and at least $3$, we show that the sign preservers are precisely the positive scalar multiples of the continuous automorphisms of the underlying field. This is in contrast to the $2 \times 2$ case where the sign preservers are extensions of power functions. These results are built on our classification of $2 \times 2$ entrywise positivity preservers over broader complex domains. Our results yield a complementary connection with a work of Belton, Guillot, Khare, and Putinar (2023) on negativity-preserving transforms. We also extend our sign preserver results to matrices with a structure of zeros, as studied by Guillot, Khare, and Rajaratnam for the entrywise positivity preserver problem. Finally, in the spirit of sign preservers, we address a natural extension to monotone maps, classically studied by Loewner and many others.
Optimal Young's convolutions inequality and its reverse form on the hypercube
We establish sharp forms of Young's convolution inequality and its reverse on the discrete hypercube $\{0,1\}^d$ in the diagonal case $p=q$. As applications, we derive bounds for additive energies and sumsets. We also investigate the non-diagonal regime $p\neq q$, providing necessary conditions for the inequality to hold, along with partial results in the case $r = 2$.
A non-face characterization of spheres on few vertices
We prove a relatively simple combinatorial characterization of simplicial $d$-spheres on $d+4$ vertices. Our criteria are given in terms of the intersection patterns of a simplicial complex's family of minimal non-faces. Namely, let $Σ$ be a simplicial complex on $d+4$ vertices and let $\mathcal{F}$ be its family of minimal non-faces. Then $Σ$ is a $d$-sphere if and only if $|\mathcal{F}|=n\geq 3$ is odd and there is an ordering $A_0,\ldots, A_{n-1}$ of the minimal non-faces, indices taken modulo $n$, such that successive $A_i$ are disjoint and the alternating $\frac{(n-1)}{2}$-fold intersections $A_i\cap A_{i+2} \cap A_{i+4} \cap \cdots \cap A_{i+n-3}$ partition the vertex set.
A simple layered-wheel-like construction
Published
• View Publication
• BIB
In recent years, there has been significant interest in characterizing the induced subgraph obstructions to bounded treewidth and pathwidth. While this has recently been resolved for pathwidth, the case of treewidth remains open, and prior work has reduced the problem to understanding the layered-wheel-like obstructions -- graphs that contain large complete minor models with each branching set inducing a path; exclude large walls as induced minors; exclude large complete bipartite graphs as induced minors; and exclude large complete subgraphs.
There are various constructions of such graphs, but they are all rather involved. In this paper, we present a simple construction of layered-wheel-like graphs with arbitrarily large treewidth. Three notable features of our construction are: (a) the vertices of degree at least four can be made to be arbitrarily far apart; (b) the girth can be made to be arbitrarily large; and (c) every outerstring induced subgraph of the graphs from our construction has treewidth bounded by an absolute constant. In contrast, among several previously known constructions of layered wheels, none achieves (a); at most one satisfies either (b) or (c); and none satisfies both (b) and (c) simultaneously.
In particular, this is related to a former conjecture of Trotignon, that every graph with large enough treewidth, excluding large walls and large complete bipartite graphs as induced minors, and large complete subgraphs, must contain an outerstring induced subgraph of large treewidth. Our construction provides the first counterexample to this conjecture that can also be made to have arbitrarily large girth.
On the multiplicity of 1 as a Laplacian eigenvalue of a graph
Published
• View Publication
• BIB
Let $G$ be a graph with $p(G)$ pendant vertices and $q(G)$ quasi-pendant vertices. Denote by $m_{L(G)}(λ)$ the multiplicity of $λ$ as a Laplacian eigenvalue of $G$. Let $\overline{G}$ be the reduced graph of $G$, which can be obtained from $G$ by deleting some pendant vertices such that $p(\overline{G})=q(\overline{G})$. We first prove that $m_{L(G)}(1)=p(G)-q(G)+m_{L(\overline{G})}(1)$. Since deleting pendant path $P_3$ does not change the multiplicity of Laplacian eigenvalue 1 of a graph, we further focus on reduced graphs without pendant path $P_3$. Let $T$ be a reduced tree on $n(\geq 6)$ vertices without pendant path $P_3$, then it is proved that $$m_{L(T)}(1)\leq \frac{n-6}{4},$$ and all the trees attaining the upper bound are characterized completely. As an application, for a reduced unicyclic graph $G$ of order $n\geq 10$ without pendant path $P_3$, we get $$m_{L(G)}(1)\leq \frac{n}{4},$$ and all the unicyclic graphs attaining the upper bound are determined completely.
A proof of the $q$-Foulkes conjecture for Gaussian coefficients when $a$ divides $c$
Foulkes' conjecture has several generalisations due to Doran, Abdesselam--Chipalkatti, Bergeron, and Troyka. For the special linear Lie algebra $\mathfrak{sl}_2(\mathbb{C})$, these assert that given $a \le c \le d \le b$ with $ab=cd$, the $\mathfrak{sl}_2(\mathbb{C})$-representation $\mathrm{Sym}^a\mathrm{Sym}^b\mathbb{C}^2$ is a subrepresentation of $\mathrm{Sym}^c\mathrm{Sym}^d\mathbb{C}^2$. We present a short proof in the case where $a$ divides $c$ or $d$, which includes all prime values of $a$. This is the first proof in this family of conjectures valid for infinitely many values of $a$; previously only the cases $a=2$ and $a=3$ were known.
Matroid isomorphism games
We define and study a collection of matroid isomorphism games corresponding to various axiomatic characterizations of matroids. These are nonlocal games played between two cooperative players. Each game is played on two matroids, and the matroids are isomorphic if and only if the game has a perfect classical winning strategy. We define notions of quantum isomorphism in terms of perfect quantum commuting strategies, and we find a pair of nonisomorphic matroids that are quantum isomorphic. We also give a purely algebraic characterization of quantum isomorphic matroids. Finally, we use this notion of quantum isomorphism to describe a new type of quantum automorphism group of a matroid and derive a sufficient condition for a matroid to have nonclassical quantum automorphism.
On the Estrada Index and Spectral Properties of $k$-Uniform Hypergraphs
Various properties of a hypergraph can be explored through its spectrum. In this paper,we estimate the bound for the sum of $t,\,t\in[1,n]$, largest eigenvalues of a $k$-uniform hypergraph of order $n$. Also, we characterize the $k$-uniform hypergraph with two distinct eigenvalues. We establish bounds for the Estrada index of $k$-uniform hypergraphs based on their number of edges, order and energy. In addition, we obtain the second largest Estrada index among the unicyclic hypergraphs.