Showing 1–9 of 9 results for author: Hardiman, L

Lorentzian polynomials and the independence sequences of graphs

Authors: Amire Bendjeddou, Leonard Hardiman

Abstract: We study the multivariate independence polynomials of graphs and the log-concavity of the coefficients of their univariate restrictions. Let $R_{W_4}$ be the operator defined on simple and undirected graphs which replaces each edge with a caterpillar of size $4$. We prove that all graphs in the image of $R_{W_4}$ are what we call pre-Lorentzian, that is, their multivariate independence polynomial… ▽ More We study the multivariate independence polynomials of graphs and the log-concavity of the coefficients of their univariate restrictions. Let $R_{W_4}$ be the operator defined on simple and undirected graphs which replaces each edge with a caterpillar of size $4$. We prove that all graphs in the image of $R_{W_4}$ are what we call pre-Lorentzian, that is, their multivariate independence polynomial becomes Lorentzian after appropriate manipulations. In particular, as pre-Lorentzian graphs have log-concave (and therefore unimodal) independence sequences, our result makes progress on a conjecture of Alavi, Malde, Schwenk and Erdős which asks if the independence sequence of trees or forests is unimodal. △ Less

Submitted 28 February, 2025; v1 submitted 1 May, 2024; originally announced May 2024.

Comments: 18 pages; to appear in Bull. Lond. Math. Soc

MSC Class: 05C69 (Primary) 52B40 (Secondary)

Journal ref: Bull. London Math. Soc. 57 (2025), 1305-1323

A quantum algorithm for learning a graph of bounded degree

Authors: Asaf Ferber, Liam Hardiman

Abstract: We are presented with a graph, $G$, on $n$ vertices with $m$ edges whose edge set is unknown. Our goal is to learn the edges of $G$ with as few queries to an oracle as possible. When we submit a set $S$ of vertices to the oracle, it tells us whether or not $S$ induces at least one edge in $G$. This so-called OR-query model has been well studied, with Angluin and Chen giving an upper bound on the n… ▽ More We are presented with a graph, $G$, on $n$ vertices with $m$ edges whose edge set is unknown. Our goal is to learn the edges of $G$ with as few queries to an oracle as possible. When we submit a set $S$ of vertices to the oracle, it tells us whether or not $S$ induces at least one edge in $G$. This so-called OR-query model has been well studied, with Angluin and Chen giving an upper bound on the number of queries needed of $O(m \log n)$ for a general graph $G$ with $m$ edges. When we allow ourselves to make *quantum* queries (we may query subsets in superposition), then we can achieve speedups over the best possible classical algorithms. In the case where $G$ has maximum degree $d$ and is $O(1)$-colorable, Montanaro and Shao presented an algorithm that learns the edges of $G$ in at most $\tilde{O}(d^2m^{3/4})$ quantum queries. This gives an upper bound of $\tilde{O}(m^{3/4})$ quantum queries when $G$ is a matching or a Hamiltonian cycle, which is far away from the lower bound of $Ω(\sqrt{m})$ queries given by Ambainis and Montanaro. We improve on the work of Montanaro and Shao in the case where $G$ has bounded degree. In particular, we present a randomized algorithm that, with high probability, learns cycles and matchings in $\tilde{O}(\sqrt{m})$ quantum queries, matching the theoretical lower bound up to logarithmic factors. △ Less

Submitted 28 February, 2024; originally announced February 2024.

Comments: 15 pages

Partition identities from higher level crystals of $A_1^{(1)}$

Authors: Jehanne Dousse, Leonard Hardiman, Isaac Konan

Abstract: We study perfect crystals for the standard modules of the affine Lie algebra $A_1^{(1)}$ at all levels using the theory of multi-grounded partitions. We prove a family of partition identities which are reminiscent of the Andrews-Gordon identities and companions to the Meurman-Primc identities, but with simple difference conditions involving absolute values. We study perfect crystals for the standard modules of the affine Lie algebra $A_1^{(1)}$ at all levels using the theory of multi-grounded partitions. We prove a family of partition identities which are reminiscent of the Andrews-Gordon identities and companions to the Meurman-Primc identities, but with simple difference conditions involving absolute values. △ Less

Submitted 11 March, 2025; v1 submitted 19 November, 2021; originally announced November 2021.

Comments: 15 pages, 2 figures; v2: multiple minor changes suggested during the refereeing process

MSC Class: 05A15; 05A17; 05A30; 05E10; 11P81; 11P84; 17B10; 17B65; 17B67

Journal ref: Proc. Amer. Math. Soc. 153 (2025), 1363-1382

Counting Hamiltonian Cycles in Dirac Hypergraphs

Authors: Asaf Ferber, Liam Hardiman, Adva Mond

Abstract: For $0\leq \ell <k$, a Hamiltonian $\ell$-cycle in a $k$-uniform hypergraph $H$ is a cyclic ordering of the vertices of $H$ in which the edges are segments of length $k$ and every two consecutive edges overlap in exactly $\ell$ vertices. We show that for all $0\le \ell<k-1$, every $k$-graph with minimum co-degree $δn$ with $δ>1/2$ has (asymptotically and up to a subexponential factor) at least as… ▽ More For $0\leq \ell <k$, a Hamiltonian $\ell$-cycle in a $k$-uniform hypergraph $H$ is a cyclic ordering of the vertices of $H$ in which the edges are segments of length $k$ and every two consecutive edges overlap in exactly $\ell$ vertices. We show that for all $0\le \ell<k-1$, every $k$-graph with minimum co-degree $δn$ with $δ>1/2$ has (asymptotically and up to a subexponential factor) at least as many Hamiltonian $\ell$-cycles as in a typical random $k$-graph with edge-probability $δ$. This significantly improves a recent result of Glock, Gould, Joos, Kühn, and Osthus, and verifies a conjecture of Ferber, Krivelevich and Sudakov for all values $0\leq \ell<k-1$. △ Less

Submitted 28 October, 2021; originally announced October 2021.

Comments: 14 pages

MSC Class: 05C65; 05C38; 05C45; 05C80; 05C07

On subgraphs with degrees of prescribed residues in the random graph

Authors: Asaf Ferber, Liam Hardiman, Michael Krivelevich

Abstract: We show that with high probability the random graph $G_{n, 1/2}$ has an induced subgraph of linear size, all of whose degrees are congruent to $r\pmod q$ for any fixed $r$ and $q\geq 2$. More generally, the same is true for any fixed distribution of degrees modulo $q$. Finally, we show that with high probability we can partition the vertices of $G_{n, 1/2}$ into $q+1$ parts of nearly equal siz… ▽ More We show that with high probability the random graph $G_{n, 1/2}$ has an induced subgraph of linear size, all of whose degrees are congruent to $r\pmod q$ for any fixed $r$ and $q\geq 2$. More generally, the same is true for any fixed distribution of degrees modulo $q$. Finally, we show that with high probability we can partition the vertices of $G_{n, 1/2}$ into $q+1$ parts of nearly equal size, each of which induces a subgraph all of whose degrees are congruent to $r\pmod q$. Our results resolve affirmatively a conjecture of Scott, who addressed the case $q=2$. △ Less

Submitted 14 July, 2021; originally announced July 2021.

Graphical characterization of modular invariance

Authors: Leonard Hardiman

Abstract: For a given modular tensor category we study representations of the corresponding tube category whose isomorphism classes are modular invariant matrices. In particular, we provide a characterization of these representations in terms of the annular graphical calculus of the tube category. For a given modular tensor category we study representations of the corresponding tube category whose isomorphism classes are modular invariant matrices. In particular, we provide a characterization of these representations in terms of the annular graphical calculus of the tube category. △ Less

Submitted 18 January, 2021; originally announced January 2021.

Comments: 8 pages, many figures

MSC Class: 18M20 (Primary) 18M30; 81T40 (Secondary)

Extending the trace of a pivotal monoidal functor

Authors: Leonard Hardiman

Abstract: We consider a pivotal monoidal functor whose domain is a modular tensor category (MTC). We show that the trace of such a functor naturally extends to a representation of the corresponding tube category. As irreducible representations of the tube category are indexed by pairs of simple objects in the underlying MTC, the simple multiplicities of this representation form a candidate modular invariant… ▽ More We consider a pivotal monoidal functor whose domain is a modular tensor category (MTC). We show that the trace of such a functor naturally extends to a representation of the corresponding tube category. As irreducible representations of the tube category are indexed by pairs of simple objects in the underlying MTC, the simple multiplicities of this representation form a candidate modular invariant matrix. In general, this matrix will not be modular invariant, however it will always commute with the T-matrix. Furthermore, under certain additional conditions on the original functor, it is shown that the corresponding representation of the tube category is a haploid, symmetric, commutative Frobenius algebra. Such algebras are known to be connected to modular invariants, in particular a result of Kong and Runkel implies that the matrix of simple multiplicities commutes with the S-matrix if and only if the dimension of the algebra is equal to the dimension of the underlying MTC. Finally, we apply these techniques to certain pivotal monoidal functors arising from module categories over the Temperley-Lieb category and the associated MTC. This provides a novel explanation of the A-D-E pattern appearing in the classification of $ A_1^{(1)} $ modular invariants. △ Less

Submitted 12 November, 2020; v1 submitted 20 November, 2019; originally announced November 2019.

Comments: 35 pages, many figures, to appear in Comm. Math. Phys

MSC Class: 18M20 (Primary) 18M30; 81T40 (Secondary)

Journal ref: Communications in Mathematical Physics, 381(3), 1055-1090 (2021)

A graphical approach to the Drinfeld centre

Authors: Leonard Hardiman

Abstract: Let $\mathcal{C}$ be a spherical fusion category. The goal of this article is to present the tube category of $\mathcal{C}$, denoted $\mathcal{TC}$, as giving an alternative graphical perspective on the Drinfeld centre of $\mathcal{C}$, denoted $Z(\mathcal{C})$. We then exploit this perspective to obtain an alternative proof of the equivalence between $Z(\mathcal{C})$ and… ▽ More Let $\mathcal{C}$ be a spherical fusion category. The goal of this article is to present the tube category of $\mathcal{C}$, denoted $\mathcal{TC}$, as giving an alternative graphical perspective on the Drinfeld centre of $\mathcal{C}$, denoted $Z(\mathcal{C})$. We then exploit this perspective to obtain an alternative proof of the equivalence between $Z(\mathcal{C})$ and $\mathcal{C} \boxtimes \bar{\mathcal{C}}$ when $\mathcal{C}$ is modular. Sections 2-4 provide a survey of the required prerequisites; readers already familiar with graphical calculus in fusion categories should start at Section 5. △ Less

Submitted 17 September, 2020; v1 submitted 17 November, 2019; originally announced November 2019.

Comments: 29 pages; v2: restructured the survey portion of the paper (sections 2-4) and added certain references

MSC Class: 18D10

Decomposing the Tube Category

Authors: Leonard Hardiman, Alastair King

Abstract: The tube category of a modular tensor category is a variant of the tube algebra, first introduced by Ocneanu. As a category, it can be decomposed in two different, but related, senses. Firstly, via the Yoneda embedding, the Hom spaces decompose into summands factoring though irreducible functors, in a manner analogous to decomposing an algebra as a sum of matrix algebras. We describe these summand… ▽ More The tube category of a modular tensor category is a variant of the tube algebra, first introduced by Ocneanu. As a category, it can be decomposed in two different, but related, senses. Firstly, via the Yoneda embedding, the Hom spaces decompose into summands factoring though irreducible functors, in a manner analogous to decomposing an algebra as a sum of matrix algebras. We describe these summands. Secondly, under the Yoneda embedding, each object decomposes into irreducibles, which correspond to primitive idempotents in the category itself. We identify these idempotents. We make extensive use of diagram calculus in the description and proof of these decompositions. △ Less

Submitted 3 July, 2019; v1 submitted 5 June, 2018; originally announced June 2018.

Comments: 17 pages; v2: fixed typos; v3: made multiple minor changes that were suggested during the refereeing process

MSC Class: 18D10

Journal ref: Glasgow Math. J. 62 (2020) 441-458