Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Combinatorial and Algebraic Properties of Nonnegative Matrices
We study the combinatorial and algebraic properties of Nonnegative Matrices. Our results are divided into three different categories.
1. We show a quantitative generalization of the 100 year-old Perron-Frobenius theorem, a fundamental theorem which has been used within diverse areas of mathematics. The Perron-Frobenius theorem states that every irreducible nonnegative matrix $R$ has a largest positive eigenvalue $r$, and every other eigenvalue $λ$ of $R$ is such that $\text{Re}λ<r$ and $|λ|\leq r$. We capture the notion of irreducibility through the widely studied notion of edge expansion $φ$ of $R$ which intuitively measures how well-connected the underlying digraph of $R$ is, and show a quantitative relation between the spectral gap $Δ=1-\text{Re}λ/r$ (where $λ\not=r$ is the eigenvalue of $R$ with the largest real part) and the edge expansion $φ$, providing a more general result than the Cheeger-Buser inequalities, as follows.\[\dfrac{1}{15}\cdot\dfrac{Δ(R)}{n}\leqφ(R)\leq\sqrt{2\cdotΔ(R)}.\]
2. We study constructions of specific nonsymmetric matrices (or nonreversible Markov Chains) that have small edge expansion but large spectral gap, and provide a novel construction of a nonreversible chain for which\[φ(R)\leq\dfrac{Δ(R)}{\sqrt{n}},\] and we also present a candidate construction of matrices for which\[φ(R)\leq2\dfrac{Δ(R)}{n},\] which is the most beautiful contribution of this thesis.
3. We connect edge expansion and spectral gap to other combinatorial properties of nonsymmetric matrices, such as mixing time and capacity, and provide elementary proofs or unified views of known results and new results relating the different combinatorial/algebraic properties. Notably, we show the monotonicity of capacity for nonsymmetric nonnegative matrices.
$q$-Rational and $q$-Real Binomial Coefficients
Published
• View Publication
• BIB
We consider $q$-binomial coefficients built from the $q$-rational and $q$-real numbers defined by Morier-Genoud and Ovsienko in terms of continued fractions. We establish versions of both the $q$-Pascal identity and the $q$-binomial theorem in this setting. These results are then used to find more identities satisfied by the $q$-analogues of Morier-Genoud and Ovsienko, including a Chu--Vandermonde identity and $q$-Gamma function identities.
Ungarian Markov Chains
Published in Electron. J. Probab. 28:1-39 (2023)
• View Publication
• BIB
We introduce the Ungarian Markov chain ${\bf U}_L$ associated to a finite lattice $L$. The states of this Markov chain are the elements of $L$. When the chain is in a state $x\in L$, it transitions to the meet of $\{x\}\cup T$, where $T$ is a random subset of the set of elements covered by $x$. We focus on estimating $\mathcal E(L)$, the expected number of steps of ${\bf U}_L$ needed to get from the top element of $L$ to the bottom element of $L$. Using direct combinatorial arguments, we provide asymptotic estimates when $L$ is the weak order on the symmetric group $S_n$ and when $L$ is the $n$-th Tamari lattice. When $L$ is distributive, the Markov chain ${\bf U}_L$ is equivalent to an instance of the well-studied random process known as last-passage percolation with geometric weights. One of our main results states that if $L$ is a trim lattice, then $\mathcal E(L)\leq\mathcal E(\text{spine}(L))$, where $\text{spine}(L)$ is a specific distributive sublattice of $L$ called the spine of $L$. Combining this lattice-theoretic theorem with known results about last-passage percolation yields a powerful method for proving upper bounds for $\mathcal E(L)$ when $L$ is trim. We apply this method to obtain uniform asymptotic upper bounds for the expected number of steps in the Ungarian Markov chains of Cambrian lattices of classical types and the Ungarian Markov chains of $ν$-Tamari lattices.
Almost all Cayley maps are mapical regular representations
Published
• View Publication
• BIB
Cayley maps are combinatorial structures built upon Cayley graphs on a group. As such the original group embeds in their group of automorphisms, and one can ask in which situation the two coincide (one then calls the Cayley map a mapical regular representation or MRR) and with what probability. The first question was answered by Jajcay. In this paper we tackle the probabilistic version, and prove that as groups get larger the proportion of MRRs among all Cayley Maps approaches 1.
Random planar trees and the Jacobian conjecture
Published in J. Lond. Math. Soc. 113(2): 1-40 (2026)
• View Publication
• BIB
We develop a probabilistic approach to the celebrated Jacobian conjecture, which states that any Keller map (i.e. any polynomial mapping $F\colon \mathbb{C}^n \to \mathbb{C}^n$ whose Jacobian determinant is a nonzero constant) has a compositional inverse which is also a polynomial. The Jacobian conjecture may be formulated in terms of a problem involving labellings of rooted trees; we give a new probabilistic derivation of this formulation using multi-type branching processes. Thereafter, we develop a simple and novel approach to the Jacobian conjecture in terms of a problem involving shuffling subtrees of $d$-Catalan trees, i.e. planar $d$-ary trees. We also show that, if one can construct a certain Markov chain on large $d$-Catalan trees which updates its value by randomly shuffling certain nearby subtrees, and in such a way that the stationary distribution of this chain is uniform, then the Jacobian conjecture is true. Finally, we use the local limit theory of large random trees to show that the subtree shuffling conjecture is true in a certain asymptotic sense, and thereafter use our machinery to prove an approximate version of the Jacobian conjecture, stating that inverses of Keller maps have small power series coefficients for their high degree terms.
A note on five dimensional kissing arrangements
The kissing number $τ(d)$ is the maximum number of pairwise non-overlapping unit spheres each touching a central unit sphere in the $d$-dimensional Euclidean space. In this note we report on how we discovered a new, previously unknown arrangement of $40$ unit spheres in dimension $5$. Our arrangement saturates the best known lower bound on $τ(5)$, and refutes a `belief' of Cohn--Jiao--Kumar--Torquato.
A reduction algorithm for Volterra integral equations
Published
• View Publication
• BIB
An integral equation is a way to encapsulate the relationships between a function and its integrals. We develop a systematic way of describing Volterra integral equations -- specifically an algorithm that reduces any separable Volterra integral equation into an equivalent one in operator-linear form, i.e. one that only contains iterated integrals. This serves to standardize the presentation of such integral equations so as to only consider those containing iterated integrals. We use the algebraic object of the integral operator, the twisted Rota-Baxter identity, and vertex-edge decorated rooted trees to construct our algorithm.
A Note on the $k$-colored Crossing Ratio of Dense Geometric Graphs
Published
• View Publication
• BIB
A \emph{geometric graph} is a graph whose vertex set is a set of points in general position in the plane, and its edges are straight line segments joining these points. We show that for every integer $k \ge 2$, there exists a constat $c>0$ such that the following holds. The edges of every dense geometric graph can be colored with $k$ colors, such that the number of pairs of edges of the same color that cross is at most $(1/k-c)$ times the total number of pairs of edges that cross. The case when $k=2$ and $G$ is a complete geometric graph, was proved by Aichholzer et al.[\emph{GD} 2019].
Braid variety cluster structures, II: general type
Published
• View Publication
• BIB
We show that braid varieties for any complex simple algebraic group $G$ are cluster varieties. This includes open Richardson varieties inside the flag variety $G/B$.
Infinite product of power series
We give an exact coefficients formula of any infinite product of power series with constant term equal to $1$, by using structures from partitions of integers and permutation groups. This is an universal theorem for various of Binomial-type theorems in many sense. In particular, we give the new formulas as the double counting of Bell polynomial, Binomial Theorem and Multinomial Theorem.
Large simplicial complexes: Universality, Randomness, and Ampleness
Published
• View Publication
• BIB
The paper surveys recent progress in understanding geometric, topological and combinatorial properties of large simplicial complexes, focusing mainly on ampleness, connectivity and universality. In the first part of the paper we concentrate on $r$-ample simplicial complexes which are high dimensional analogues of the $r$-e.c. graphs introduced originally by Erd\H os and Réniy. The class of $r$-ample complexes is useful for applications since these complexes allow extensions of subcomplexes of certain type in all possible ways; besides, $r$-ample complexes exhibit remarkable robustness properties. We discuss results about the existence of $r$-ample complexes and describe their probabilistic and deterministic constructions. The properties of random simplicial complexes in medial regime are important for this discussion since these complexes are ample, in certain range. We prove that the topological complexity of a random simplicial complex in the medial regime satisfies ${\sf TC}(X)\le 4$, with probability tending to $1$ as $n\to\infty$. There exists a unique (up to isomorphism) $\infty$-ample complex on countable set of vertexes (the Rado complex), and the second part of the paper surveys the results about universality, homogeneity, indestructibility and other important properties of this complex.
The Appendix written by J.A. Barmak discusses connectivity of conic and ample complexes.
Many Hamiltonian subsets in large graphs with given density
Published
• View Publication
• BIB
A set of vertices in a graph is a Hamiltonian subset if it induces a subgraph containing a Hamiltonian cycle. Kim, Liu, Sharifzadeh and Staden proved that among all graphs with minimum degree $d$, $K_{d+1}$ minimises the number of Hamiltonian subsets. We prove a near optimal lower bound that takes also the order and the structure of a graph into account. For many natural graph classes, it provides a much better bound than the extremal one ($\approx 2^{d+1}$). Among others, our bound implies that an $n$-vertex $C_4$-free graphs with minimum degree $d$ contains at least $n2^{d^{2-o(1)}}$ Hamiltonian subsets.
Three aspects of the MSTCI problem
Published
• View Publication
• BIB
Consider a connected graph $G$ and let $T$ be a spanning tree of $G$. Every edge $e \in G-T$ induces a cycle in $T \cup \{e\}$. The intersection of two distinct such cycles is the set of edges of $T$ that belong to both cycles. The MSTCI problem consists in finding a spanning tree that has the least number of such non-empty intersections and the instersection number is the number of non-empty intersections of a solution. In this article we consider three aspects of the problem in a general context (i.e. for arbitrary connected graphs). The first presents two lower bounds of the intersection number. The second compares the intersection number of graphs that differ in one edge. The last is an attempt to generalize a recent result for graphs with a universal vertex.
Locally uniform random permutations with large increasing subsequences
Published in Combinatorial Theory, 3 (3), 2023
• View Publication
• BIB
We investigate the maximal size of an increasing subset among points randomly sampled from certain probability densities. Kerov and Vershik's celebrated result states that the largest increasing subset among $N$ uniformly random points on $[0,1]^2$ has size asymptotically $2\sqrt{N}$. More generally, the order $Θ(\sqrt{N})$ still holds if the sampling density is continuous. In this paper we exhibit two sufficient conditions on the density to obtain a growth rate equivalent to any given power of $N$ greater than $\sqrt{N}$, up to logarithmic factors. Our proofs use methods of slicing the unit square into appropriate grids, and investigating sampled points appearing in each box.
An efficient asymmetric removal lemma and its limitations
Published in Forum of Mathematics, Sigma 13 (2025) e38
• View Publication
• BIB
The triangle removal states that if $G$ contains $\varepsilon n^2$ edge-disjoint triangles, then $G$ contains $δ(\varepsilon)n^3$ triangles. Unfortunately, there are no sensible bounds on the order of growth of $δ(\varepsilon)$, and at any rate, it is known that $δ(\varepsilon)$ is not polynomial in $\varepsilon$. Csaba recently obtained an asymmetric variant of the triangle removal, stating that if $G$ contains $\varepsilon n^2$ edge-disjoint triangles, then $G$ contains $2^{-\mathrm{poly}(1/\varepsilon)}\cdot n^5$ copies of $C_5$. To this end, he devised a new variant of Szemerédi's regularity lemma. We obtain the following results:
- We first give a regularity-free proof of Csaba's theorem, which improves the number of copies of $C_5$ to the optimal number $\mathrm{poly}(\varepsilon)\cdot n^5$.
- We say that $H$ is $K_3$-abundant if every graph containing $\varepsilon n^2$ edge-disjoint triangles has $\mathrm{poly}(\varepsilon)\cdot n^{|V(H)|}$ copies of $H$. It is easy to see that a $K_3$-abundant graph must be triangle-free and tripartite. Given our first result, it is natural to ask if all triangle-free tripartite graphs are $K_3$-abundant. Our second result is that assuming a well-known conjecture of Ruzsa in additive number theory, the answer to this question is negative.
Our proofs use a mix of combinatorial, number-theoretic, probabilistic, and Ramsey-type arguments.
A new approach for the Brown-Erdos-Sos problem
Published
• View Publication
• BIB
The celebrated Brown-Erdős-Sós conjecture states that for every fixed $e$, every $3$-uniform hypergraph with $Ω(n^2)$ edges contains $e$ edges spanned by $e+3$ vertices. Up to this date all the approaches towards resolving this problem relied on highly involved applications of the hypergraph regularity method, and yet they supplied only approximate versions of the conjecture, producing $e$ edges spanned by $e+O(\log e/\log \log e)$ vertices.
In this short paper we describe a completely different approach, which reduces the problem to a variant of another well-known conjecture in extremal graph theory. A resolution of the latter would resolve the Brown-Erdős-Sós conjecture up to an absolute additive constant.
A Random Graph Growth Model
Published in Bulletin of the London Mathematical Society 56, Issue 2 (2024) pp. 662-680
• View Publication
• BIB
A growing random graph is constructed by successively sampling without replacement an element from the pool of virtual vertices and edges. At start of the process the pool contains $N$ virtual vertices and no edges. Each time a vertex is sampled and occupied, the edges linking the vertex to previously occupied vertices are added to the pool of virtual elements. We focus on the edge-counting at times when the graph has $n\leq N$ occupied vertices. Two different Poisson limits are identified for $n\asymp N^{1/3}$ and $N-n\asymp 1$. For the bulk of the process, when $n\asymp N$, the scaled number of edges is shown to fluctuate about a deterministic curve, with fluctuations being of the order of $N^{3/2}$ and approximable by a Gaussian bridge.
Matroid Horn functions
Hypergraph Horn functions were introduced as a subclass of Horn functions that can be represented by a collection of circular implication rules. These functions possess distinguished structural and computational properties. In particular, their characterizations in terms of implicate-duality and the closure operator provide extensions of matroid duality and the Mac Lane-Steinitz exchange property of matroid closure, respectively.
In the present paper, we introduce a subclass of hypergraph Horn functions that we call matroid Horn functions. We provide multiple characterizations of matroid Horn functions in terms of their canonical and complete CNF representations. We also study the Boolean minimization problem for this class, where the goal is to find a minimum size representation of a matroid Horn function given by a CNF representation. While there are various ways to measure the size of a CNF, we focus on the number of circuits and circuit clauses. We determine the size of an optimal representation for binary matroids, and give lower and upper bounds in the uniform case. For uniform matroids, we show a strong connection between our problem and Turán systems that might be of independent combinatorial interest.
Center of maximum-sum matchings of bichromatic points
Published
• View Publication
• BIB
Let $R$ and $B$ be two disjoint point sets in the plane with $|R|=|B|=n$. Let $\mathcal{M}=\{(r_i,b_i),i=1,2,\ldots,n\}$ be a perfect matching that matches points of $R$ with points of $B$ and maximizes $\sum_{i=1}^n\|r_i-b_i\|$, the total Euclidean distance of the matched pairs. In this paper, we prove that there exists a point $o$ of the plane (the center of $\mathcal{M}$) such that $\|r_i-o\|+\|b_i-o\|\le \sqrt{2}~\|r_i-b_i\|$ for all $i\in\{1,2,\ldots,n\}$.
Mathematical results on harmonic polynomials
Some years ago, the harmonic polynomial was introduced in order to understand better the harmonic topological index; for instance, it allows to obtain bounds of the harmonic index of the main products of graphs. Here, we obtain several properties of this polynomial, and we prove that several properties of graphs can be deduced from their harmonic polynomials. Also, we show that two graphs with the same harmonic polynomial have to be similar.