Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Combinatorial Complexes: Bridging the Gap Between Cell Complexes and Hypergraphs
Published in 57th Asilomar Conference on Signals, Systems, and Computers, 2023
• View Publication
• BIB
Graph-based signal processing techniques have become essential for handling data in non-Euclidean spaces. However, there is a growing awareness that these graph models might need to be expanded into `higher-order' domains to effectively represent the complex relations found in high-dimensional data. Such higher-order domains are typically modeled either as hypergraphs, or as simplicial, cubical or other cell complexes. In this context, cell complexes are often seen as a subclass of hypergraphs with additional algebraic structure that can be exploited, e.g., to develop a spectral theory. In this article, we promote an alternative perspective. We argue that hypergraphs and cell complexes emphasize \emph{different} types of relations, which may have different utility depending on the application context. Whereas hypergraphs are effective in modeling set-type, multi-body relations between entities, cell complexes provide an effective means to model hierarchical, interior-to-boundary type relations. We discuss the relative advantages of these two choices and elaborate on the previously introduced concept of a combinatorial complex that enables co-existing set-type and hierarchical relations. Finally, we provide a brief numerical experiment to demonstrate that this modelling flexibility can be advantageous in learning tasks.
Ratio bound (Lovász number) versus inertia bound
Matthew Kwan and Yuval Wigderson showed that for an infinite family of graphs, the Lovász number gives an upper bound of $O(n^{3/4})$ for the size of an independent set (where $n$ is the number of vertices), while the weighted inertia bound cannot do better than $Ω(n)$. Here we point out that there is an infinite family of graphs for which the Lovász number is $Ω(n^{3/4})$, while the unweighted inertia bound is $O(n^{1/2})$.
Bakry-Émery calculus for entropic curvature, new diameter estimates, and spectral gaps
In this paper, we propose a generalization of Bakry-Émery's calculus which allows us to formulate both Bakry-Émery and entropic curvature simultaneously. This formulation represents both curvatures as an integral of the Bochner formula against some measure. This leads to a natural optimality criterion of measures, which we investigate in the Bakry-Émery setting. Moreover, our approach leads also to a dimension parameter in the framework of entropic curvature.
We also present gradient estimate applications, that is, diameter estimates for Markov chains with strictly positive entropic curvature and a spectral gap estimate. The latter implies non-existence of non-negatively curved expanders.
A note on Hamilton decompositions of even-regular multigraphs
Published
• View Publication
• BIB
In this note, we prove that every even regular multigraph on $n$ vertices with multiplicity at most $r$ and minimum degree at least $rn/2 + o(n)$ has a Hamilton decomposition. This generalises a result of Vaughan who proved an asymptotic version of the multigraph $1$-factorisation conjecture. We derive our result by proving a more general result which states that dense regular multidigraphs that are robust outexpanders have a Hamilton decomposition. This in turn is derived from the corresponding result of Kühn and Osthus about simple digraphs.
A differential approach to Maxwell-Cremona liftings
In 1864, J. C. Maxwell introduced a link between self-stressed frameworks in the plane and piecewise linear liftings to 3-space. This connection has found numerous applications in areas such as discrete geometry, control theory and structural engineering. While there are some generalisations of this theory to liftings of $d$-complexes in $d$-space, extensions for liftings of frameworks in $d$-space for $d\geq 3$ have been missing. In this paper, we introduce and study differential liftings on general graphs using differential forms associated with the elements of the homotopy groups of the complements to the frameworks. Such liftings play the role of integrands for the classical notion of liftings for planar frameworks. We show that these differential liftings have a natural extension to self-stressed frameworks in higher dimensions. As a result we generalise the notion of classical liftings to both graphs and multidimensional $k$-complexes in $d$-space ($k=2,\ldots, d$). Finally we discuss a natural representation of generalised liftings as real-valued functions on Grassmannians.
About the existence of oriented paths with three blocks
A path P(k,l,r) is an oriented path consisting of k forward arcs, followed by l backward arcs, and then by r forward arcs. We prove the existence of any oriented path of length n-1 with three blocks having the middle block of length one in any (2n-3)- chromatic digraph, which is an improvement of the latest bound reached in this case. Concerning the general case of paths with three blocks, we prove, after partitioning the problem into three cases according to the value of k,l and r that the chromatic number of digraphs containing no P(k,l,r) of length n-1 is bounded above by 2(n-1)+r, 2(n-1)+l+r-k and 2(n+l-1)-k in the three cases respectively.
Two trees are better than one
Published
• View Publication
• BIB
We consider partitions of a point set into two parts, and the lengths of the minimum spanning trees of the original set and of the two parts. If $w(P)$ denotes the length of a minimum spanning tree of $P$, we show that every set $P$ of $n \geq 12$ points admits a bipartition $P= R \cup B$ for which the ratio $\frac{w(R)+w(B)}{w(P)}$ is strictly larger than $1$; and that $1$ is the largest number with this property. Furthermore, we provide a very fast algorithm that computes such a bipartition in $O(1)$ time and one that computes the corresponding ratio in $O(n \log{n})$ time. In certain settings, a ratio larger than $1$ can be expected and sometimes guaranteed. For example, if $P$ is a set of $n$ random points uniformly distributed in $[0,1]^2$ ($n \to \infty$), then for any $\eps>0$, the above ratio in a maximizing partition is at least $\sqrt2 -\eps$ with probability tending to $1$. As another example, if $P$ is a set of $n$ points with spread at most $α\sqrt{n}$, for some constant $α>0$, then the aforementioned ratio in a maximizing partition is $1 + Ω(α^{-2})$. All our results and techniques are extendable to higher dimensions.
On the Alon-Tarsi Number of Some Line and Total graphs
This work discusses the Alon-Tarsi number of line graphs and total graphs. In addition, we also discuss the Alon-Tarsi number of some Erdos-Faber-Lovasz (EFL) graphs.
A Finite-Bound Partition Equinumerosity Result Generalizing a Solution of a Problem Posed by Andrews and Deutsch
Published
• View Publication
• BIB
We introduce a finite-bound extension of a partition equinumerosity result which was orignally proposed as a problem by Andrews and Deutsch in 2016, and given a generalized form in 2018 by Smoot and Yang. We also give a simple bijective proof, itself an extension of the proof given of the 2018 generalization.
On the optimal arrangement of $2d$ lines in $\mathbb{C}^d$
Published
• View Publication
• BIB
We show the optimal coherence of $2d$ lines in $\mathbb{C}^{d}$ is given by the Welch bound whenever a skew Hadamard of order $d+1$ exists. Our proof uses a variant of Hadamard doubling that converts any equiangular tight frame of size $\tfrac{d-1}{2} \times d$ into another one of size $d \times 2d$. Among $d < 150$, this produces equiangular tight frames of new sizes when $d = 11$, $35$, $39$, $43$, $47$, $59$, $67$, $71$, $83$, $95$, $103$, $107$, $111$, $119$, $123$, $127$, $131$, and $143$.
Tight Hamilton cycles with high discrepancy
Published in Combinator. Probab. Comp. 34 (2025) 565-584
• View Publication
• BIB
In this paper, we study discrepancy questions for spanning subgraphs of $k$-uniform hypergraphs. Our main result is that, for any integers $k \ge 3$ and $r \ge 2$, any $r$-colouring of the edges of a $k$-uniform $n$-vertex hypergraph $G$ with minimum $(k-1)$-degree $δ(G) \ge (1/2+o(1))n$ contains a tight Hamilton cycle with high discrepancy, that is, with at least $n/r+Ω(n)$ edges of one colour. The minimum degree condition is asymptotically best possible and our theorem also implies a corresponding result for perfect matchings. Our tools combine various structural techniques such as Turán-type problems and hypergraph shadows with probabilistic techniques such as random walks and the nibble method. We also propose several intriguing problems for future research.
Computing the $q$-Multiplicity of the Positive Roots of $\mathfrak{sl}_{r+1}(\mathbb{C})$ and Products of Fibonacci Numbers
Published
• View Publication
• BIB
Using Kostant's weight multiplicity formula, we describe and enumerate the terms contributing a nonzero value to the multiplicity of a positive root $μ$ in the adjoint representation of $\mathfrak{sl}_{r+1}(\mathbb{C})$, which we denote $L(\tildeα)$, where $\tildeα$ is the highest root of $\mathfrak{sl}_{r+1}(\mathbb{C})$. We prove that the number of terms contributing a nonzero value in the multiplicity of the positive root $μ=α_i+α_{i+1}+\cdots+α_j$ with $1\leq i\leq j\leq r$ in $L(\tildeα)$ is given by the product $F_{i}\cdot F_{r-j+1}$, where $F_n$ is the $n^{\text{th}}$ Fibonacci number. Using this result, we show that the $q$-multiplicity of the positive root $μ=α_i+α_{i+1}+\cdots+α_j$ with $1\leq i\leq j\leq r$ in the representation $L(\tildeα)$ is precisely $q^{r-h(μ)}$, where $h(μ)=j-i+1$ is the height of the positive root $μ$. Setting $q=1$ recovers the known result that the multiplicity of a positive root in the adjoint representation of $\mathfrak{sl}_{r+1}(\mathbb{C})$ is one.
On graphs without cycles of length 0 modulo 4
Bollobás proved that for every $k$ and $\ell$ such that $k\mathbb{Z}+\ell$ contains an even number, an $n$-vertex graph containing no cycle of length $\ell \bmod k$ can contain at most a linear number of edges. The precise (or asymptotic) value of the maximum number of edges in such a graph is known for very few pairs $\ell$ and $k$. In this work we precisely determine the maximum number of edges in a graph containing no cycle of length $0 \bmod 4$.
Matroid Stratification of ML Degrees of Independence Models
Published in Alg. Stat. 15 (2024) 199-223
• View Publication
• BIB
We study the maximum likelihood (ML) degree of discrete exponential independence models and models defined by the second hypersimplex. For models with two independent variables, we show that the ML degree is an invariant of a matroid associated to the model. We use this description to explore ML degrees via hyperplane arrangements. For independence models with more variables, we investigate the connection between the vanishing of factors of its principal $A$-determinant and its ML degree. Similarly, for models defined by the second hypersimplex, we determine its principal $A$-determinant and give computational evidence towards a conjectured lower bound of its ML degree.
The determinant of the Laplacian matrix of a quaternion unit gain graph
Published
• View Publication
• BIB
A quaternion unit gain graph is a graph where each orientation of an edge is given a quaternion unit, and the opposite orientation is assigned the inverse of this quaternion unit. In this paper, we provide a combinatorial description of the determinant of the Laplacian matrix of a quaternion unit gain graph by using row-column noncommutative determinants recently introduced by one of the authors. A numerical example is presented for illustrating our results.
A new lower bound for sphere packing
We show there exists a packing of identical spheres in $\mathbb{R}^d$ with density at least
\[
(1-o(1))\frac{d \log d}{2^{d+1}}\, ,
\]
as $d\to\infty$. This improves upon previous bounds for general $d$ by a factor of order $\log d$ and is the first asymptotically growing improvement to Rogers' bound from 1947.
Beyond the Holographic Entropy Cone via Cycle Flows
Published in Commun. Math. Phys. 405 (2024) 252
• View Publication
• BIB
Motivated by bit threads, we introduce a new prescription for computing entropy vectors outside the holographic entropy cone. By utilizing cycle flows on directed graphs, we show that the maximum cycle flow associated to any subset of vertices, which corresponds to a subsystem, manifestly obeys purification symmetry. Furthermore, by restricting ourselves to a subclass of directed graphs, we prove that the maximum cycle flow obeys both subadditivity and strong subadditivity, thereby establishing it as a viable candidate for the entropy associated to the subsystem. Finally, we demonstrate how our model generalizes the entropy vectors obtainable via conventional flows in undirected graphs, as well as conjecture that our model similarly generalizes the entropy vectors arising from hypergraphs.
On randomized estimators of the Hafnian of a nonnegative matrix
Published
• View Publication
• BIB
Gaussian Boson Samplers aim to demonstrate quantum advantage by performing a sampling task believed to be classically hard. The probabilities of individual outcomes in the sampling experiment are determined by the Hafnian of an appropriately constructed symmetric matrix. For nonnegative matrices, there is a family of randomized estimators of the Hafnian based on generating a particular random matrix and calculating its determinant. While these estimators are unbiased (the mean of the determinant is equal to the Hafnian of interest), their variance may be so high as to prevent an efficient estimation. Here we investigate the performance of two such estimators, which we call the Barvinok and Godsil-Gutman estimators. We find that in general both estimators perform well for adjacency matrices of random graphs, demonstrating a slow growth of variance with the size of the problem. Nonetheless, there are simple examples where both estimators show high variance, requiring an exponential number of samples. In addition, we calculate the asymptotic behavior of the variance for the complete graph. Finally, we simulate the Gaussian Boson Sampling using the Godsil-Gutman estimator and show that this technique can successfully reproduce low-order correlation functions.
Leaky Positive Semidefinite Forcing on Graphs
Published in Involve 18 (2025) 719-735
• View Publication
• BIB
We introduce $\ell$-leaky positive semidefinite forcing and the $\ell$-leaky positive semidefinite number of a graph, $Z_{(\ell)}^+{G}$, which combines the positive semidefinite color change rule with the addition of leaks to the graph. Furthermore, we determine general properties of $Z_{(\ell)}^+{G}$ and $Z_{(\ell)}^+{G}$ for various graphs, including path graphs, complete graphs, wheel graphs, complete bipartite graphs, trees, hypercubes, and prisms. We also define $\ell$-leaky positive semidefinite forts with the purpose of unveiling differences between $\ell$-leaky standard forcing and $\ell$-leaky positive semidefinite forcing.
On Matrix Product Factorization of graphs
Published
• View Publication
• BIB
In this paper, we explore the concept of the ``matrix product of graphs," initially introduced by Prasad, Sudhakara, Sujatha, and M. Vinay. This operation involves the multiplication of adjacency matrices of two graphs with assigned labels, resulting in a weighted digraph. Our primary focus is on identifying graphs that can be expressed as the graphical matrix product of two other graphs. Notably, we establish that the only complete graph fitting this framework is $K_{4n+1}$, and moreover the factorization is not unique. In addition, the only complete bipartite graph that can be expressed as the graphical matrix product of two other graphs is $K_{2n,2m}$ Furthermore, we introduce several families of graphs that exhibit such factorization and, conversely, some families that do not admit any factorization such as wheel graphs, friendship graphs, hypercubes and paths.