Showing 20 papers (Total: 81756 papers, 47371 authors in database)
On factored lifts of graphs and their spectra
In this note, we introduce the concept of factored lift, associated with a combined voltage graph, as a generalization of the lift graph. We present a new method for computing the eigenvalues and eigenspaces of factored lifts.
On a Conjecture Concerning the Roots of Ehrhart Polynomials of Symmetric Edge Polytopes from Complete Multipartite Graphs
In [7], Higashitani, Kummer, and Michałek pose a conjecture about the symmetric edge polytopes of complete multipartite graphs and confirm it for a number of families in the bipartite case. We confirm that conjecture for a number of new classes following the authors' methods and we present a more general result which suggests that the methods in their current form might not be enough to prove the conjecture in full generality.
Selected Open Problems in Continuous-Time Quantum Walks
Published
• View Publication
• BIB
Quantum walks on graphs are fundamental to quantum computing and have led to many interesting open problems in algebraic graph theory. This review article highlights three key classes of open problems in this domain; perfect state transfer, instantaneous uniform mixing, and average mixing matrices. In highlighting these open problems, our aim is to stimulate further research and exploration in this rapidly evolving field.
Marton's Conjecture in abelian groups with bounded torsion
Published
• View Publication
• BIB
We prove a Freiman--Ruzsa-type theorem with polynomial bounds in arbitrary abelian groups with bounded torsion, thereby proving (in full generality) a conjecture of Marton. Specifically, let $G$ be an abelian group of torsion $m$ (meaning $mg=0$ for all $g \in G$) and suppose that $A$ is a non-empty subset of $G$ with $|A+A| \leq K|A|$. Then $A$ can be covered by at most $(2K)^{O(m^3)}$ translates of a subgroup of $H \leq G$ of cardinality at most $|A|$. The argument is a variant of that used in the case $G = \mathbf{F}_2^n$ in a recent paper of the authors.
Dirac-type Theorems for Inhomogenous Random Graphs
Published
• View Publication
• BIB
In this paper, we study Dirac-type theorems for an inhomogenous random graph (G) whose edge probabilities are not necessarily all the same. We obtain sufficient conditions for the existence of Hamiltonian paths and perfect matchings, in terms of the \emph{sum} of edge probabilities. For edge probability assignments with two-sided bounds, we use Pósa rotation and single vertex exclusion techniques to show that (G) is Hamiltonian with high probability. For weaker one-sided bounds, we use bootstrapping techniques to obtain a perfect matching in (G,) with high probability. We also highlight an application of our results in the context of channel assignment problem in wireless networks.
Generalized saturation game
Published in Discrete Applied Mathematics 374 (2025) 33-49
• View Publication
• BIB
We study the following game version of the generalized graph Turán problem. For two fixed graphs F and H, two players, Max and Mini, alternately claim unclaimed edges of the complete graph Kn such that the graph G of the claimed edges must remain F-free throughout the game. The game ends when no further edges can be claimed, i.e. when G becomes F-saturated. The H-score of the game is the number of copies of H in G. Max aims to maximize the H-score, while Mini wants to minimize it. The H-score of the game when both players play optimally is denoted by s1(n, #H, F) when Max starts, and by s2(n, #H, F) when Mini starts. We study these values for several natural choices of F and H.
The edge code of hypergraphs
Published
• View Publication
• BIB
Given a hypergraph $\mathcal{H}$, we introduce a new class of evaluation toric codes called edge codes derived from $\mathcal{H}$. We analyze these codes, focusing on determining their basic parameters. We provide estimations for the minimum distance, particularly in scenarios involving $d$-uniform clutters. Additionally, we demonstrate that these codes exhibit self-orthogonality. Furthermore, we compute the minimum distances of edge codes for all graphs with five vertices.
The $2$-torsion of determinantal hypertrees is not Cohen-Lenstra
Let $T_n$ be a $2$-dimensional determinantal hypertree on $n$ vertices. Kahle and Newman conjectured that the $p$-torsion of $H_1(T_n,\mathbb{Z})$ asymptotically follows the Cohen-Lenstra distribution. For $p=2$, we disprove this conjecture by showing that given a positive integer $h$, for all large enough $n$, we have \[\mathbb{P}(\dim H_1(T_n,\mathbb{F}_2)\ge h)\ge \frac{e^{-200h}}{(100h)^{5h}}.\] We also show that $T_n$ is a bad cosystolic expander with positive probability.
A Classification of the flag-transitive $2$-$(v,k,2)$ designs
Published
• View Publication
• BIB
In this paper, we provide a complete classification of $2$-$(v,k,2)$ design admitting a flag-transitive automorphism group of affine type with the only exception of the semilinear $1$-dimensional group. Alongside this analysis we provide a construction of seven new families of such flag-transitive $2$-designs, two of them infinite, and some of them involve remarkable objects such as $t$-spreads, translation planes, quadrics and Segre varieties.
Our result together with those Alavi et al. [1,2], Praeger et al. [15], Zhou and the first author [37,38] provides a complete classification of $2$-$(v,k,2)$ design admitting a flag-transitive automorphism group with the only exception of the semilinear $1$-dimensional case.
Concentration and central limit theorem for the averaging process on $\mathbb{Z}^{d}$
In the averaging process on a graph $G = (V, E)$, a random mass distribution $η$ on $V$ is repeatedly updated via transformations of the form $η_{v}, η_{w} \mapsto (η_{v} + η_{w})/2$, with updates made according to independent Poisson clocks associated to the edge set $E$. We study the averaging process when $G$ is the integer lattice $\mathbb{Z}^{d}$. We prove that the process has tight asymptotic concentration around its mean in the $\ell^{1}$ and $\ell^{2}$ norms and use this to prove a central limit theorem. Previous work by Nagahata and Yoshida implies the central limit theorem when $d \geq 3$. Our results extend this to hold for all $d \geq 1$, and our techniques are likely applicable to other processes for which previously only the $d \geq 3$ case was tractable.
A note on the exact formulas for certain $2$-color partitions
Published in C. R. Math. Acad. Sci. Paris 362 (2024), 1485-1490
• View Publication
• BIB
Let $p\leq 23$ be a prime and $a_p(n)$ counts the number of partitions of $n$ where parts that are multiple of $p$ come up with $2$ colors. Using a result of Sussman, we derive the exact formula for $a_p(n)$ and obtain an asymptotic formula for $\log a_p(n)$. Our results partially extend the work of Mauth, who proved the asymptotic formula for $\log a_2(n)$ conjectured by Banerjee et al.
Localized Version of Hypergraph Erdos-Gallai Theorem
Published
• View Publication
• BIB
This paper focuses on extensions of the classic Erdős-Gallai Theorem for the set of weighted function of each edge in a graph. The weighted function of an edge $e$ of an $n$-vertex uniform hypergraph $\mathcal{H}$ is defined to a special function with respect to the number of edges of the longest Berge path containing $e$. We prove that the summation of the weighted function of all edges is at most $n$ for an $n$-vertex uniform hypergraph $\mathcal{H}$ and characterize all extremal hypergraphs that attain the value, which strengthens and extends the hypergraph version of the classic Erdős-Gallai Theorem.
Larger Nearly Orthogonal Sets over Finite Fields
Published
• View Publication
• BIB
For a field $\mathbb{F}$ and integers $d$ and $k$, a set ${\cal A} \subseteq \mathbb{F}^d$ is called $k$-nearly orthogonal if its members are non-self-orthogonal and every $k+1$ vectors of ${\cal A}$ include an orthogonal pair. We prove that for every prime $p$ there exists some $δ= δ(p)>0$, such that for every field $\mathbb{F}$ of characteristic $p$ and for all integers $k \geq 2$ and $d \geq k$, there exists a $k$-nearly orthogonal set of at least $d^{δ\cdot k/\log k}$ vectors of $\mathbb{F}^d$. The size of the set is optimal up to the $\log k$ term in the exponent. We further prove two extensions of this result. In the first, we provide a large set ${\cal A}$ of non-self-orthogonal vectors of $\mathbb{F}^d$ such that for every two subsets of ${\cal A}$ of size $k+1$ each, some vector of one of the subsets is orthogonal to some vector of the other. In the second extension, every $k+1$ vectors of the produced set ${\cal A}$ include $\ell+1$ pairwise orthogonal vectors for an arbitrary fixed integer $1 \leq \ell \leq k$. The proofs involve probabilistic and spectral arguments and the hypergraph container method.
Towards a classification of $1$-homogeneous distance-regular graphs with positive intersection number $a_1$
Published
• View Publication
• BIB
Let $Γ$ be a graph with diameter at least two. Then $Γ$ is said to be $1$-homogeneous (in the sense of Nomura) whenever for every pair of adjacent vertices $x$ and $y$ in $Γ$, the distance partition of the vertex set of $Γ$ with respect to both $x$ and $y$ is equitable, and the parameters corresponding to equitable partitions are independent of the choice of $x$ and $y$. Assume that $Γ$ is $1$-homogeneous distance-regular with intersection number $a_1>0$ and diameter $D\geqslant 5$. Define $b=b_1/(θ_1+1)$, where $b_1$ is the intersection number and $θ_1$ is the second largest eigenvalue of $Γ$. We show that if intersection number $c_2$ is at least $2$, then $b\geqslant 1$ and one of the following (i)--(vi) holds: (i) $Γ$ is a regular near $2D$-gon, (ii) $Γ$ is a Johnson graph $J(2D,D)$, (iii) $Γ$ is a halved $\ell$-cube with $\ell \in \{2D,2D+1\}$, (iv) $Γ$ is a folded Johnson graph $\bar{J}(4D,2D)$, (v) $Γ$ is a folded halved $4D$-cube, (vi) the valency of $Γ$ is bounded by a function of $b$. Using this result, we characterize $1$-homogeneous graphs with classical parameters and $a_1>0$, as well as tight distance-regular graphs.
Strong quantum state transfer on graphs via loop edges
Published
• View Publication
• BIB
We quantify the effect of weighted loops at the source and target nodes of a graph on the strength of quantum state transfer between these vertices. We give lower bounds on loop weights that guarantee strong transfer fidelity that works for any graph where this protocol is feasible. By considering local spectral symmetry, we show that the required weight size depends only on the maximum degree of the graph and, in some less favorable cases, the distance between vertices. Additionally, we explore the duration for which transfer strength remains above a specified threshold.
Growth of regular partitions 1: Improved bounds for small slicewise VC-dimension
This is Part 1 in a series of papers about sizes of regular partitions of $3$-uniform hypergraphs. Previous work of the author and Wolf, and independently Chernikov and Towsner, showed that $3$-uniform hypergraphs of small slicewise VC-dimension admit homogeneous partitions. The results of Chernikov and Towsner did not produce explicit bounds, while the work of the author and Wolf relied on a strong version of hypergraph regularity, and consequently produced a Wowzer type bound on the size of the partition. This paper gives a new proof of this result, yielding $\e$-homogeneous partitions of size at most $2^{2^{ε^{-K}}}$, where $K$ is a constant depending on the slicewise VC-dimension. This result is a crucial ingredient in Part 2 of the series, which investigates the growth of weak regular partitions in hereditary properties of $3$-uniform hypergraphs.
Lower bounds and integrality gaps in simplicial decomposition
Let $\mathcal{K}$ be a finite pure simplicial $d$-complex, with oriented facets $\{F_i\}$, which is boundaryless in the sense that $\sum\partial F_i=0$. We call such a $\mathcal{K}$ an \textit{admissible $d$-complex}. Given an admissible $d$-complex, one can ask for the smallest collection $\{T_i\}$ of oriented $(d+1)$-simplices on the vertices of $\mathcal{K}$ which decomposes $\mathcal{K}$ in the sense that $\sum \partial T_i = \mathcal{K}$. Let the minimum size of such a collection be $V_\mathbb{Z}(\mathcal{K})$, and let $V_\mathbb{Q}(\mathcal{K})$ be the relaxed analog where fractional $(d+1)$-simplices may be used. We explain how these quantities may be computed via integer and linear programming, and show how lower bounds may be obtained by exploiting LP-duality. We then prove that $V_\mathbb{Q}$ and $V_\mathbb{Z}$ are both additive under disjoint union and connected sum along a $d$-simplex. The remainder of the paper explores integrality gaps between $V_\mathbb{Z}$ and $V_\mathbb{Q}$ in dimension 1, where we share what we believe is the simplest admissible complex with an integrality gap; and in dimension 2, where we collect some results on integrality gaps for triangulations of the 2-sphere for a companion paper with Zili Wang and Peter Doyle.
Growth of regular partitions 2: Weak regularity
This is Part 2 in a series of papers about the growth of regular partitions in hereditary properties $3$-uniform hypergraphs. The focus of this paper is the notion of weak hypergraph regularity, first developed by Chung, Chung-Graham, and Haviland-Thomason. Given a hereditary property of $3$-uniform hypergraphs $\mathcal{H}$, we define a function $M_{\mathcal{H}}:(0,1)\rightarrow \mathbb{N}$ by letting $M_{\mathcal{H}}(ε)$ be the smallest integer $M$ such that all sufficiently large elements of $\mathcal{H}$ admit weak regular partitions of size at most $M$. We show the asymptotic growth rate of such a function falls into one of four categories: constant, polynomial, between single and double exponentials, or tower. These results are a crucial component in Part 3 of the series, which considers vertex partitions associated to a stronger notion of hypergraph regularity.
Reptile trapezoids
Published
• View Publication
• BIB
A geometric figure is a reptile if it can be dissected into at least two similar copies congruent to each other. We prove that if a trapezoid is a reptile and not a parallelogram, then the length of each base is a linear combination of the lengths of its legs with rational coefficients. We then rule out isosceles trapezoids and right trapezoids which are not reptile. In particular, we prove that, up to similarity, there are at most six reptile right trapezoids, not a parallelogram, whose acute internal angle is a rational multiple of $π$. Finally, we present a rep-25 right trapezoid that is not a parallelogram and is not similar to any of the known reptile trapezoids.
On the Sombor index of trees with degree restrictions
We study the Sombor index of trees with various degree restrictions. In addition to rediscovering that among all trees with a given degree sequence, the greedy tree minimises the Sombor index and the alternating greedy tree maximises it, we also provide a full characterisation of all trees that have those maximum or minimum values. Moreover, we compare trees with different degree sequences and deduce a few corollaries.