Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Graphs with all holes the same length
Published in Journal of Combinatorial Theory, Series~B, 168:96-158, 2024
• View Publication
• BIB
A graph is "$\ell$-holed" if all its induced cycles of length at least four have length exactly $\ell$. We give a complete description of the $\ell$-holed graphs for each $\ell\ge 7$.
A geometric model for syzygies over 2-Calabi-Yau tilted algebras II
Published
• View Publication
• BIB
In this article, we continue the study of a certain family of 2-Calabi-Yau tilted algebras, called dimer tree algebras. The terminology comes from the fact that these algebras can also be realized as quotients of dimer algebras on a disc. They are defined by a quiver with potential whose dual graph is a tree, and they are generally of wild representation type. Given such an algebra $B$, we construct a polygon $\mathcal{S}$ with a checkerboard pattern in its interior, that defines a category $\text{Diag}(\mathcal{S})$. The indecomposable objects of $\text{Diag}(\mathcal{S})$ are the 2-diagonals in $\mathcal{S}$, and its morphisms are certain pivoting moves between the 2-diagonals. We prove that the category $\text{Diag}(\mathcal{S})$ is equivalent to the stable syzygy category of the algebra $B$. This result was conjectured by the authors in an earlier paper, where it was proved in the special case where every chordless cycle is of length three.
As a consequence, we conclude that the number of indecomposable syzygies is finite, and moreover the syzygy category is equivalent to the 2-cluster category of type $\mathbb{A}$. In addition, we obtain an explicit description of the projective resolutions, which are periodic. Finally, the number of vertices of the polygon $\mathcal{S}$ is a derived invariant and a singular invariant for dimer tree algebras, which can be easily computed form the quiver.
The interval posets of permutations seen from the decomposition tree perspective
Published
• View Publication
• BIB
The interval poset of a permutation is the set of intervals of a permutation, ordered with respect to inclusion. It has been introduced and studied recently in [B. Tenner, arXiv:2007.06142]. We study this poset from the perspective of the decomposition trees of permutations, describing a procedure to obtain the former from the latter. We then give alternative proofs of some of the results in [B. Tenner, arXiv:2007.06142], and we solve the open problems that it posed (and some other enumerative problems) using techniques from symbolic and analytic combinatorics. Finally, we compute the Möbius function on such posets.
Tilings of the sphere by congruent quadrilaterals I: edge combination $a^2bc$
Published
• View Publication
• BIB
The edge-to-edge tilings of the sphere by congruent quadrilaterals of Type $a^2bc$ are classified as $3$ classes: a sequence of two-parameter families of $2$-layer earth map tilings with $2n$ $(n\ge3)$ tiles, a one-parameter family of quadrilateral subdivisions of the octahedron with $24$ tiles together with a flip modification for a special parameter, and a sequence of $3$-layer earth map tilings with $8n$ $(n\ge2)$ tiles together with two flip modifications for odd $n$. We also describe the moduli and calculate the geometric data.
Improved bounds on a generalization of Tuza's conjecture
Published in Electronic Journal of Combinatorics, 29 (2022), article P4.14
• View Publication
• BIB
For an $r$-uniform hypergraph $H$, let $ν^{(m)}(H)$ denote the maximum size of a set~$M$ of edges in $H$ such that every two edges in $M$ intersect in less than $m$ vertices, and let $τ^{(m)}(H)$ denote the minimum size of a collection $C$ of $m$-sets of vertices such that every edge in $H$ contains an element of $C$. The fractional analogues of these parameters are denoted by $ν^{*(m)}(H)$ and $τ^{*(m)}(H)$, respectively. Generalizing a famous conjecture of Tuza on covering triangles in a graph, Aharoni and Zerbib conjectured that for every $r$-uniform hypergraph $H$, $τ^{(r-1)}(H)/ν^{(r-1)}(H) \leq \lceil{\frac{r+1}{2}}\rceil$. In this paper we prove bounds on the ratio between the parameters $τ^{(m)}$ and $ν^{(m)}$, and their fractional analogues. Our main result is that, for every $r$-uniform hypergraph~$H$, \[ τ^{*(r-1)}(H)/ν^{(r-1)}(H) \le \begin{cases} \frac{3}{4}r - \frac{r}{4(r+1)} &\text{for }r\text{ even,}\\ \frac{3}{4}r - \frac{r}{4(r+2)} &\text{for }r\text{ odd.} \\ \end{cases} \] This improves the known bound of $r-1$. We also prove that, for every $r$-uniform hypergraph $H$, $τ^{(m)}(H)/ν^{*(m)}(H) \le \operatorname{ex}_m(r, m+1)$, where the Turán number $\operatorname{ex}_r(n, k)$ is the maximum number of edges in an $r$-uniform hypergraph on $n$ vertices that does not contain a copy of the complete $r$-uniform hypergraph on $k$ vertices. Finally, we prove further bounds in the special cases $(r,m)=(4,2)$ and $(r,m)=(4,3)$.
Matrix Discrepancy from Quantum Communication
Published
• View Publication
• BIB
We develop a novel connection between discrepancy minimization and (quantum) communication complexity. As an application, we resolve a substantial special case of the Matrix Spencer conjecture. In particular, we show that for every collection of symmetric $n \times n$ matrices $A_1,\ldots,A_n$ with $\|A_i\| \leq 1$ and $\|A_i\|_F \leq n^{1/4}$ there exist signs $x \in \{ \pm 1\}^n$ such that the maximum eigenvalue of $\sum_{i \leq n} x_i A_i$ is at most $O(\sqrt n)$. We give a polynomial-time algorithm based on partial coloring and semidefinite programming to find such $x$.
Our techniques open a new avenue to use tools from communication complexity and information theory to study discrepancy. The proof of our main result combines a simple compression scheme for transcripts of repeated (quantum) communication protocols with quantum state purification, the Holevo bound from quantum information, and tools from sketching and dimensionality reduction. Our approach also offers a promising avenue to resolve the Matrix Spencer conjecture completely -- we show it is implied by a natural conjecture in quantum communication complexity.
On the minimum number of distinct eigenvalues of a threshold graph
Published
• View Publication
• BIB
For a graph $G$, we associate a family of real symmetric matrices, $S(G)$, where for any $A\in S(G)$, the location of the nonzero off-diagonal entries of $A$ are governed by the adjacency structure of $G$. Let $q(G)$ be the minimum number of distinct eigenvalues over all matrices in $S(G)$. In this work, we give a characterization of all connected threshold graphs $G$ with $q(G)=2$. Moreover, we study the values of $q(G)$ for connected threshold graphs with trace $2$, $3$, $n-2$, $n-3$, where $n$ is the order of threshold graph. The values of $q(G)$ are determined for all connected threshold graphs with $7$ and $8$ vertices with two exceptions. Finally, a sharp upper bound for $q(G)$ over all connected threshold graph $G$ is given.
Translated sums of primitive sets
Published in Comptes Rendus. Mathématique, 360 (2022), 409-414
• View Publication
• BIB
The Erdős primitive set conjecture states that the sum $f(A) = \sum_{a\in A}\frac{1}{a\log a}$, ranging over any primitive set $A$ of positive integers, is maximized by the set of prime numbers. Recently Laib, Derbal, and Mechik proved that the translated Erdős conjecture for the sum $f(A,h) = \sum_{a\in A}\frac{1}{a(\log a+h)}$ is false starting at $h=81$, by comparison with semiprimes. In this note we prove that such falsehood occurs already at $h= 1.04\cdots$, and show this translate is best possible for semiprimes. We also obtain results for translated sums of $k$-almost primes with larger $k$.
A constructive proof of the Bollobás-Varopoulos theorem
The Bollobás-Varopoulos theorem is an analogue of Hall's matching theorem on non-atomic measure spaces. Here we prove a finite version with a completely constructive proof.
Rational Ehrhart Theory
Published in Integers: the Electronic Journal of Combinatorial Number Theory 23 (2023), A 60 (31 pages)
• Search Publication
The Ehrhart quasipolynomial of a rational polytope $\mathsf{P}$ encodes fundamental arithmetic data of $\mathsf{P}$, namely, the number of integer lattice points in positive integral dilates of $\mathsf{P}$. Ehrhart quasipolynomials were introduced in the 1960s, satisfy several fundamental structural results and have applications in many areas of mathematics and beyond. The enumerative theory of lattice points in rational (equivalently, real) dilates of rational polytopes is much younger, starting with work by Linke (2011), Baldoni-Berline-Koeppe-Vergne (2013), and Stapledon (2017). We introduce a generating-function ansatz for rational Ehrhart quasipolynomials, which unifies several known results in classical and rational Ehrhart theory. In particular, we define $γ$-rational Gorenstein polytopes, which extend the classical notion to the rational setting and encompass the generalized reflexive polytopes studied by Fiset-Kasprzyk (2008) and Kasprzyk-Nill (2012).
$K_{5,5}$ is fully reconstructible in $\mathbb{C}^3$
Published in Discrete Applied Mathematics 322 (2022): 442-447
• Search Publication
A graph $G$ is fully reconstructible in $\mathbb{C}^d$ if the graph is determined from its $d$-dimensional measurement variety. The full reconstructibility problem has been solved for $d=1$ and $d=2$. For $d=3$, some necessary and some sufficient conditions are known and $K_{5,5}$ falls squarely within the gap in the theory. In this paper, we show that $K_{5,5}$ is fully reconstructible in $\mathbb{C}^3$.
A Vertex Model for Supersymmetric LLT Polynomials
Published
• View Publication
• BIB
We describe a Yang-Baxter integrable vertex model, which can be realized as a degeneration of a vertex model introduced by Aggarwal, Borodin, and Wheeler. From this vertex model, we construct a certain class of partition functions that we show are essentially equal to the super ribbon functions of Lam. Using the vertex model formalism, we give proofs of many properties of these polynomials, namely a Cauchy identity and generalizations of known identities for supersymmetric Schur polynomials.
Enumerating threshold graphs and some related graph classes
We give combinatorial proofs of some enumeration formulas involving labelled threshold, quasi-threshold, loop-threshold and quasi-loop-threshold graphs. In each case we count by number of vertices and number of components. For threshold graphs, we also count by number of dominating vertices, and for loop-threshold graphs we count by number of looped dominating vertices.
We also obtain an analog of the Frobenius formula (connecting Eulerian numbers and Stirling numbers of the second kind) in the context of labelled threshold graphs.
Algorithms Using Local Graph Features to Predict Epidemics
Published
• View Publication
• BIB
We study a simple model of epidemics where an infected node transmits the infection to its neighbors independently with probability $p$. This is also known as the independent cascade or Susceptible-Infected-Recovered (SIR) model with fixed recovery time. The size of an outbreak in this model is closely related to that of the giant connected component in ``edge percolation'', where each edge of the graph is kept independently with probability $p$, studied for a large class of networks including configuration model \cite{molloy2011critical} and preferential attachment \cite{bollobas2003,Riordan2005}. Even though these models capture the effects of degree inhomogeneity and the role of super-spreaders in the spread of an epidemic, they only consider graphs that are locally tree like i.e. have a few or no short cycles. Some generalizations of the configuration model were suggested to capture local communities, known as household models \cite{ball2009threshold}, or hierarchical configuration model \cite{Hofstad2015hierarchical}.
Here, we ask a different question: what information is needed for general networks to predict the size of an outbreak? Is it possible to make predictions by accessing the distribution of small subgraphs (or motifs)? We answer the question in the affirmative for large-set expanders with local weak limits (also known as Benjamini-Schramm limits). In particular, we show that there is an algorithm which gives a $(1-ε)$ approximation of the probability and the final size of an outbreak by accessing a constant-size neighborhood of a constant number of nodes chosen uniformly at random. We also present corollaries of the theorem for the preferential attachment model, and study generalizations with household (or motif) structure. The latter was only known for the configuration model.
Erdős-Ko-Rado results for the general linear group, the special linear group and the affine general linear group
In this paper, we show that both the general linear group $\gl{q}$ and the special linear group $\slg{q}$ have both the EKR property and the EKR-module property. This is done using an algebraic method; a weighted adjacency matrix for the derangement graph for the group is found and Hoffman's ratio bound is applied to this matrix. We also consider the group $\agl{q}$ and the 2-intersecting sets in $\PGL(2,q)$.
The biharmonic index of connected graphs
Published
• View Publication
• BIB
Let $G$ be a simple connected graph with the vertex set $V(G)$ and $d_{B}^2(u,v)$ be the biharmonic distance between two vertices $u$ and $v$ in $G$. The biharmonic index $BH(G)$ of $G$ is defined as $$BH(G)=\frac{1}{2}\sum\limits_{u\in V(G)}\sum\limits_{v\in V(G)}d_{B}^2(u,v)=n\sum\limits_{i=2}^{n}\frac{1}{λ_i^2(G)},$$ where $λ_i(G)$ is the $i$-th smallest eigenvalue of the Laplacian matrix of $G$ with $n$ vertices. In this paper, we provide the mathematical relationships between the biharmonic index and some classic topological indices: the first Zagreb index, the forgotten topological index and the Kirchhoff index. In addition, the extremal value on the biharmonic index for trees and firefly graphs of fixed order are given. Finally, some graph operations on the biharmonic index are presented.
Application of some techniques in Sperner Theory: Optimal orientations of vertex-multiplications of trees with diameter 4
Published in Theory Appl. Graphs, 10, (2023), Article 6
• Search Publication
Koh and Tay proved a fundamental classification of $G$ vertex-multiplications into three classes $\mathscr{C}_0, \mathscr{C}_1$ and $\mathscr{C}_2$. They also showed that any vertex-multiplication of a tree with diameter at least 3 does not belong to the class $\mathscr{C}_2$. Of interest, $G$ vertex-multiplications are extensions of complete $n$-partite graphs and Gutin characterised complete bipartite graphs with an ingenious use of Sperner's Theorem. In this paper, we investigate vertex-multiplications of trees with diameter $4$ in $\mathscr{C}_0$ (or $\mathscr{C}_1$) and exhibit its intricate connections with problems in Sperner Theory, thereby extending Gutin's approach. Let $s$ denote the vertex-multiplication of the central vertex. We almost completely characterise the case of even $s$ and give a complete characterisation for the case of odd $s\ge 3$.
On the construction of cospectral nonisomorphic bipartite graphs
Published in Discrete Mathematics 345 (8), 112916 (2024)
• View Publication
• BIB
In this article, we construct bipartite graphs which are cospectral for both the adjacency and normalized Laplacian matrices using partitioned tensor product. This extends the construction of Ji, Gong, and Wang \cite{ji-gong-wang}. Our proof of the cospectrality of adjacency matrices simplifies the proof of the bipartite case of Godsil and McKay's construction \cite{godsil-mckay-1976}, and shows that the corresponding normalized Laplacian matrices are also cospectral. We partially characterize the isomorphism in Godsil and McKay's construction, and generalize Ji et al.'s characterization of the isomorphism to biregular bipartite graphs. The essential idea in characterizing the isomorphism uses Hammack's cancellation law as opposed to Hall's marriage theorem used by Ji et al.
Difference sets in $\mathbb{R}^d$
Published
• View Publication
• BIB
Let $d \geq 2$ be a natural number. We show that $$|A-A| \geq \left(2d-2 + \frac{1}{d-1}\right)|A|-(2d^2-4d+3)$$ for any sufficiently large finite subset $A$ of $\mathbb{R}^d$ that is not contained in a translate of a hyperplane. By a construction of Stanchescu, this is best possible and thus resolves an old question first raised by Uhrin.
On the Largest intersecting set in $GL_2(q)$ and some of its subgroups
Published
• View Publication
• BIB
Let $q$ be a power of a prime number and $V$ be the $2$-dimensional column vector space over a finite field $\mathbb{F}_{q}$. Assume that $SL_2(V)<G\leq GL_2(V)$. In this paper we prove an Erd{ő}s-Ko-Rado theorem for intersecting sets of G and we show that every maximum intersecting set of $G$ is either a coset of the stabilizer of a point or a coset of $\mathcal{G}_{\langle w\rangle}$, where $\mathcal{G}_{\langle w\rangle}=\{M\in G:\forall v\in V, Mv-v\in \langle w\rangle\}$, for some $w\in V\setminus \{0\}$. It is also shown that every intersecting set of $G$ is contained in a maximum intersecting set.