Showing 20 papers (Total: 84253 papers, 48533 authors in database)
A Cosine Rule-Based Discrete Sectional Curvature for Graphs
Published
• View Publication
• BIB
How does one generalize differential geometric constructs such as curvature of a manifold to the discrete world of graphs and other combinatorial structures? This problem carries significant importance for analyzing models of discrete spacetime in quantum gravity; inferring network geometry in network science; and manifold learning in data science. The key contribution of this paper is to introduce and validate a new estimator of discrete sectional curvature for random graphs with low metric-distortion. The latter are constructed via a specific graph sprinkling method on different manifolds with constant sectional curvature. We define a notion of metric distortion, which quantifies how well the graph metric approximates the metric of the underlying manifold. We show how graph sprinkling algorithms can be refined to produce hard annulus random geometric graphs with minimal metric distortion. We construct random geometric graphs for spheres, hyperbolic and euclidean planes; upon which we validate our curvature estimator. Numerical analysis reveals that the error of the estimated curvature diminishes as the mean metric distortion goes to zero, thus demonstrating convergence of the estimate. We also perform comparisons to other existing discrete curvature measures. Finally, we demonstrate two practical applications: (i) estimation of the earth's radius using geographical data; and (ii) sectional curvature distributions of self-similar fractals.
Graphs with equal Grundy domination and independence number
The Grundy domination number, ${γ_{\rm gr}}(G)$, of a graph $G$ is the maximum length of a sequence $(v_1,v_2,\ldots, v_k)$ of vertices in $G$ such that for every $i\in \{2,\ldots, k\}$, the closed neighborhood $N[v_i]$ contains a vertex that does not belong to any closed neighborhood $N[v_j]$, where $j<i$. It is well known that the Grundy domination number of any graph $G$ is greater than or equal to the upper domination number $Γ(G)$, which is in turn greater than or equal to the independence number $α(G)$. In this paper, we initiate the study of the class of graphs $G$ with $Γ(G)={γ_{\rm gr}}(G)$ and its subclass consisting of graphs $G$ with $α(G)={γ_{\rm gr}}(G)$. We characterize the latter class of graphs among all twin-free connected graphs, provide a number of properties of these graphs, and prove that the hypercubes are members of this class. In addition, we give several necessary conditions for graphs $G$ with $Γ(G)={γ_{\rm gr}}(G)$ and present large families of such graphs.
Comparative analysis of Forman-Ricci curvature versions applied to the persistent homology of networks
We provide an overview of Forman-Ricci curvature and persistent homology, and how their combination can be applied to the study of networks. We discuss how the usually employed augmented Forman-Ricci curvature formula, only valid for quasiconvex augmented networks, can be extended to the non-quasiconvex case. We apply three versions of quasiconvex Forman-Ricci curvature (plain, triangle-augmented, and pentagon-augmented) to build time filtrations on non-quasiconvex networks, both model and real-world. Our results suggest that triangle-augmented curvature should be used until the non-quasiconvex formula is further studied, as plain curvature omits too much information, and quasiconvex pentagon-augmented curvature is too rough of an approximation and significantly distorts the results.
Regarding Equitable Colorability Defect of Hypergraphs
Published
• View Publication
• BIB
\noindent Azarpendar and Jafari in 2020 proved the following inequality $$χ\left( {\rm KG} ^r ({\cal F} , s) \right) \geq \left\lceil \frac{ {\rm ecd}^r \left( {\cal F} , \left\lfloor \frac{s}{2} \right\rfloor \right) }{r-1} \right\rceil ,$$ and noted that it is plausible that the above inequality remains true if one replaces $\left\lfloor \frac{s}{2} \right\rfloor$ with $s$.
\noindent In this paper, considering the relation ${\rm ecd}^r \left( {\cal F} , x \right) \geq {\rm cd}^r \left( {\cal F} , x \right)$ which always holds, we show that even in the weaker inequality $$χ\left( {\rm KG} ^r ({\cal F} , s) \right) \geq \left\lceil \frac{ {\rm cd}^r \left( {\cal F} , \left\lfloor \frac{s}{2} \right\rfloor \right) }{r-1} \right\rceil ,$$ no number $x$ greater than $\left\lfloor \frac{s}{2} \right\rfloor$ could be replaced by $\left\lfloor \frac{s}{2} \right\rfloor$.
Optimal list decoding from noisy entropy inequality
A noisy entropy inequality for boolean functions by Samorodnitsky is applied to binary codes. It is shown that a binary code that achieves capacity on the binary erasure channel admits optimal list size for list decoding on some binary symmetric channels (in a regime where this optimal list size is exponentially large).
Cup products and the higher topological complexity of configuration spaces of the circle with two anchored points
Published
• View Publication
• BIB
In this paper we show how to compute cup products in the anchored configuration space of the circle with two anchored points using discrete Morse theory. Knowing how to compute cup products allows us to obtain bounds for the (higher) topological complexity $TC_s$, which are sharp for a sufficiently large value of $s$.
Polytopes, polyhedra, and the Farkas lemma
The Farkas lemma is proved and applied to obtain a structure theorem for polyhedra. These notes are based on a talk in the New York Number Theory Seminar on October, 20, 2022.
The Structure of the 2-factor Transfer Digraph Common for Rectangular, Thick Cylinder and Moebius Strip Grid Graphs
In this paper, we prove that all but one of the components of the transfer digraph ${\cal D}^*_m$ needed for the enumeration of 2-factors in the rectangular, thick cylinder and Moebius strip grid graphs of the fixed width $m$ $(m \in N)$ are bipartite digraphs and that their orders could be expressed in term of binomial coefficients. In addition, we prove that the set of vertices of each component consists of all the binary $m$-words for which the difference of numbers of zeros in odd and even positions is constant.
A universal formula for the $x-y$ swap in topological recursion
Published in Journal of the European Mathematical Society, 10.4171/JEMS/1615, 2025
• View Publication
• BIB
We prove a recent conjecture of Borot et al. that a particular universal closed algebraic formula recovers the correlation differentials of topological recursion after the swap of $x$ and $y$ in the input data. We also show that this universal formula can be drastically simplified (as it was already done by Hock).
As an application of this general $x-y$ swap result, we prove an explicit closed formula for the topological recursion differentials for the case of any spectral curve with unramified $y$ and arbitrary rational $x$.
Tutte Embeddings of Tetrahedral Meshes
Published in Discrete Comput Geom (2023)
• View Publication
• BIB
Tutte's embedding theorem states that every 3-connected graph without a $K_5$ or $K_{3,3}$ minor (i.e. a planar graph) is embedded in the plane if the outer face is in convex position and the interior vertices are convex combinations of their neighbors. We show that this result extends to simply connected tetrahedral meshes in a natural way: for the tetrahedral mesh to be embedded if the outer polyhedron is in convex position and the interior vertices are convex combination of their neighbors it is sufficient (but not necessary) that the graph of the tetrahedral mesh contains no $K_6$ and no $K_{3,3,1}$, and all triangles incident on three boundary vertices are boundary triangles.
The $t$-Tone Chromatic Number of Classes of Sparse Graphs
Published in Australasian Journal of Combinatorics Volume 86(3) (2023), Pages 458-476
• Search Publication
For a graph $G$ and $t,k\in\mathbb{Z}^+$ a \emph{$t$-tone $k$-coloring} of $G$ is a function $f:V(G)\rightarrow \binom{[k]}{t}$ such that $|f(v)\cap f(w)| < d(v,w)$ for all distinct $v,w \in V(G)$. The \emph{$t$-tone chromatic number} of $G$, denoted $τ_t(G)$, is the minimum $k$ such that $G$ is $t$-tone $k$-colorable. For small values of $t$, we prove sharp or nearly sharp upper bounds on the $t$-tone chromatic number of various classes of sparse graphs. In particular, we determine $τ_2(G)$ exactly when $\textrm{mad}(G) < 12/5$ and bound $τ_2(G)$, up to a small additive constant, when $G$ is outerplanar. We also determine $τ_t(C_n)$ exactly when $t\in\{3,4,5\}$.
Dimension-Free Bounds for the Union-Closed Sets Conjecture
Published
• View Publication
• BIB
The union-closed sets conjecture states that in any nonempty union-closed family $\mathcal{F}$ of subsets of a finite set, there exists an element contained in at least a proportion $1/2$ of the sets of $\mathcal{F}$. Using the information-theoretic method, Gilmer \cite{gilmer2022constant} recently showed that there exists an element contained in at least a proportion $0.01$ of the sets of such $\mathcal{F}$. He conjectured that his technique can be pushed to the constant $\frac{3-\sqrt{5}}{2}$ which was subsequently confirmed by several researchers \cite{sawin2022improved,chase2022approximate,alweiss2022improved,pebody2022extension}. Furthermore, Sawin \cite{sawin2022improved} showed that Gilmer's technique can be improved to obtain a bound better than $\frac{3-\sqrt{5}}{2}$, but this new bound is not explicitly given by Sawin. This paper further improves Gilmer's technique to derive new bounds in the optimization form for the union-closed sets conjecture. These bounds include Sawin's improvement as a special case. By providing cardinality bounds on auxiliary random variables, we make Sawin's improvement computable, and then evaluate it numerically which yields a bound around $0.38234$, slightly better than $\frac{3-\sqrt{5}}{2}\approx0.38197$. }
Loop zero forcing and grundy domination in planar graphs and claw-free cubic graphs
Published
• View Publication
• BIB
Given a simple, finite graph with vertex set $V(G)$, we define a zero forcing set of $G$ as follows. Choose $S\subseteq V(G)$ and color all vertices of $S$ blue and all vertices in $V(G) - S$ white. The color change rule is if $w$ is the only white neighbor of blue vertex $v$, then we change the color of $w$ from white to blue. If after applying the color change rule as many times as possible eventually every vertex of $G$ is blue, we call $S$ a zero forcing set of $G$. $Z(G)$ denotes the minimum cardinality of a zero forcing set. Davila and Henning proved in \cite{zerocubic} that for any claw-free cubic graph $G$, $Z(G) \le \frac{1}{3}|V(G)| + 1$. We show that if $G$ is $2$-edge-connected, claw-free, and cubic, then $Z(G) \le \left\lceil\frac{5n(G)}{18}\right\rceil+1$. We also study a similar graph invariant known as the loop zero forcing number of a graph $G$ which happens to be the dual invariant to the Grundy domination number of $G$. Specifically, we study the loop zero forcing number in two particular types of planar graphs.
Multithreshold multipartite graphs with small parts
Published
• View Publication
• BIB
A graph is a $k$-threshold graph with thresholds $θ_1, θ_2, \dots, θ_k$ if we can assign a real number $r_v$ to each vertex $v$ such that for any two distinct vertices $u$ and $v$, $uv$ is an edge if and only if the number of thresholds not exceeding $r_u+r_v$ is odd. The threshold number of a graph is the smallest $k$ for which it is a $k$-threshold graph. Multithreshold graphs were introduced by Jamison and Sprague as a generalization of classical threshold graphs. They asked for the exact threshold numbers of complete multipartite graphs. Recently, Chen and Hao solved the problem for complete multipartite graphs where each part is not too small, and they asked for the case when each part has size $3$. We determine the exact threshold numbers of $K_{3, 3, \dots, 3}$, $K_{4, 4, \dots, 4}$ and their complements $nK_3$, $nK_4$. This improves a result of Puleo.
Antidirected subgraphs of oriented graphs
Published
• View Publication
• BIB
We show that for every $η>0$ every sufficiently large $n$-vertex oriented graph D of minimum semidegree exceeding $(1 + η) k/2$ contains every balanced antidirected tree with $k$ edges and bounded maximum degree, if $k \ge ηn$. In particular, this asymptotically confirms a conjecture of the first author for long antidirected paths and dense digraphs.
Further, we show that in the same setting, D contains every $k$-edge antidirected subdivision of a sufficiently small complete graph, if the paths of the subdivision that have length 1 or 2 span a forest. As a special case, we can find all antidirected cycles of length at most $k$.
Finally, we address a conjecture of Addario-Berry, Havet, Linhares Sales, Reed and Thomassé for antidirected trees in digraphs. We show that this conjecture is asymptotically true in $n$-vertex oriented graphs for all balanced antidirected trees of bounded maximum degree and of size linear in $n$.
Morse theory for discrete magnetic operators and nodal count distribution for graphs
Published
• View Publication
• BIB
Given a discrete Schrödinger operator $h$ on a finite connected graph $G$ of $n$ vertices, the nodal count $φ(h,k)$ denotes the number of edges on which the $k$-th eigenvector changes sign. A {\em signing} $h'$ of $h$ is any real symmetric matrix constructed by changing the sign of some off-diagonal entries of $h$, and its nodal count is defined according to the signing. The set of signings of $h$ lie in a naturally defined torus $\mathbb{T}_h$ of ``magnetic perturbations" of $h$. G. Berkolaiko discovered that every signing $h'$ of $h$ is a critical point of every eigenvalue $λ_k:\mathbb{T}_h \to \mathbb{R}$, with Morse index equal to the nodal surplus. We add further Morse theoretic information to this result. We show if $h_α \in \mathbb{T}_h$ is a critical point of $λ_k$ and the eigenvector vanishes at a single vertex $v$ of degree $d$, then the critical point lies in a nondegenerate critical submanifold of dimension $d+n-4$, closely related to the configuration space of a planar linkage. We compute its Morse index in terms of spectral data. The average nodal surplus distribution is the distribution of values of $φ(h',k)-(k-1)$, averaged over all signings $h'$ of $h$. If all critical points correspond to simple eigenvalues with nowhere-vanishing eigenvectors, then the average nodal surplus distribution is binomial. In general, we conjecture that the nodal surplus distribution converges to a Gaussian in a CLT fashion as the first Betti number of $G$ goes to infinity.
The existence of subspace designs
Published
• View Publication
• BIB
We prove the existence of subspace designs with any given parameters, provided that the dimension of the underlying space is sufficiently large in terms of the other parameters of the design and satisfies the obvious necessary divisibility conditions. This settles an open problem from the 1970s. Moreover, we also obtain an approximate formula for the number of such designs.
Correlation inequalities for linear extensions
Published in Adv. in Math. 458 (2024), No. 109954, 33 pp
• View Publication
• BIB
We employ the combinatorial atlas technology to prove new correlation inequalities for the number of linear extensions of finite posets. These include the approximate independence of probabilities and expectations of values of random linear extensions, closely related to Stanley's inequality. We also give applications to the numbers of standard Young tableaux and to Euler numbers.
Approximating binary longest common subsequence in almost-linear time
Published
• View Publication
• BIB
The Longest Common Subsequence (LCS) is a fundamental string similarity measure, and computing the LCS of two strings is a classic algorithms question. A textbook dynamic programming algorithm gives an exact algorithm in quadratic time, and this is essentially best possible under plausible fine-grained complexity assumptions, so a natural problem is to find faster approximation algorithms. When the inputs are two binary strings, there is a simple $\frac{1}{2}$-approximation in linear time: compute the longest common all-0s or all-1s subsequence. It has been open whether a better approximation is possible even in truly subquadratic time. Rubinstein and Song showed that the answer is yes under the assumption that the two input strings have equal lengths. We settle the question, generalizing their result to unequal length strings, proving that, for any $\varepsilon>0$, there exists $δ>0$ and a $(\frac{1}{2}+δ)$-approximation algorithm for binary LCS that runs in $n^{1+\varepsilon}$ time. As a consequence of our result and a result of Akmal and Vassilevska-Williams, for any $\varepsilon>0$, there exists a $(\frac{1}{q}+δ)$-approximation for LCS over $q$-ary strings in $n^{1+\varepsilon}$ time.
Our techniques build on the recent work of Guruswami, He, and Li who proved new bounds for error-correcting codes tolerating deletion errors. They prove a combinatorial "structure lemma" for strings which classifies them according to their oscillation patterns. We prove and use an algorithmic generalization of this structure lemma, which may be of independent interest.
Kempe Equivalent List Colorings Revisited
Published
• View Publication
• BIB
A \emph{Kempe chain} on colors $a$ and $b$ is a component of the subgraph induced by colors $a$ and $b$. A \emph{Kempe change} is the operation of interchanging the colors of some Kempe chain. For a list-assignment $L$ and an $L$-coloring $\varphi$, a Kempe change is \emph{$L$-valid} for $\varphi$ if performing the Kempe change yields another $L$-coloring. Two $L$-colorings are \emph{$L$-equivalent} if we can form one from the other by a sequence of $L$-valid Kempe changes. A \emph{degree-assignment} is a list-assignment $L$ such that $L(v)\ge d(v)$ for every $v\in V(G)$. Cranston and Mahmoud (\emph{Combinatorica}, 2023) asked: For which graphs $G$ and degree-assignment $L$ of $G$ is it true that all the $L$-colorings of $G$ are $L$-equivalent? We prove that for every 4-connected graph $G$ which is not complete and every degree-assignment $L$ of $G$, all $L$-colorings of $G$ are $L$-equivalent.