Showing 20 papers (Total: 81564 papers, 47262 authors in database)
A Note on Subgroup Perfect Codes in Cayley Graphs
In this paper, we give a necessary and sufficient condition for a subgroup to be a perfect code for finite groups. As an application, we determine all subgroup perfect codes of extraspecial 2-groups and finite groups whose Sylow 2-subgroup is extraspecial.
Maximum flow and self-avoiding walk on bunkbed graphs
We consider two combinatorial models on bunkbed graphs: maximum flow and self-avoiding walks. A bunkbed graph is defined as the Cartesian product $G\times K_2$, where $G$ is a finite graph and $K_2$ is the complete graph on two vertices, labelled $0$ and $1$. For the maximum flow problem, we show that if the bunkbed graph $G\times K_2$ has non-negative, reflection-symmetric edge capacities, then for any $u, v\in V(G)$, the maximum flow strength from $(u,0)$ to $(v,0)$ in $G\times K_2$ is at least as large as that from $(u,0)$ to $(v,1)$.
For the self-avoiding walk model on a bunkbed graph $G\times K_2$, we investigate whether there are more self-avoiding walks from $(u,0)$ to $(v,1)$ than from $(u,0)$ to $(v,0)$. We prove that this holds when $G=K_n$ is a complete graph and $n$ is sufficiently large. Additionally, we provide examples where the statement does not holds and pose the question of whether it remains true when $\{u,v\}$ is not a cut-edge of $G$.
Enumeration of lattices of nullity $k$ and containing $r$ comparable reducible elements
In 2002 Thakare et al.\ counted non-isomorphic lattices on $n$ elements, having nullity up to two. In 2020 Bhavale and Waphare introduced the concept of RC-lattices as the class of all lattices in which all the reducible elements are comparable. In this paper, we enumerate all non-isomorphic RC-lattices on $n$ elements. For this purpose, firstly we enumerate all non-isomorphic RC-lattices on $n \geq 4$ elements, having nullity $k \geq 1$, and containing $2 \leq r \leq 2k$ reducible elements. Secondly we enumerate all non-isomorphic RC-lattices on $n \geq 4$ elements, having nullity $k \geq 1$. This work is in respect of Birkhoff's open problem of enumerating all finite lattices on $n$ elements.
Bounds on Elliptic Sombor and Euler Sombor indices of join and corona product of graphs
The Elliptic Somber and Euler Somber indices are newly defined topological indices based on the Somber index. Our paper presents calculations of the upper and lower bounds of these indices for the join and corona product of arbitrary graphs. Furthermore, we demonstrate that these bounds are attained when both graphs are regular.
Classification of quartic bicirculant nut graphs
A graph is called a nut graph if zero is its eigenvalue of multiplicity one and its corresponding eigenvector has no zero entries. A graph is a bicirculant if it admits an automorphism with two equally sized vertex orbits. There are four classes of connected quartic bicirculant graphs. We classify the quartic bicirculant graphs that are nut graphs by investigating properties of each of these four classes.
A note on Puder's generalised co-growth formula for trees
In this note, we prove a conjecture of Puder on an extension of the co-growth formula to any non-negative function defined on a bi-regular tree. A key component of our proof is the establishment of a resolvent identity, which serves as an operator version of the co-growth formula. We also provide a simpler proof of Puder's generalised co-growth formula for the regular tree.
Congruences for hook lengths of partitions
Published
• View Publication
• BIB
Recently, Amdeberhan et al. proved congruences for the number of hooks of fixed even length among the set of self-conjugate partitions of an integer $n$, therefore answering positively a conjecture raised by Ballantine et al.. In this paper, we show how these congruences can be immediately derived and generalized from an addition theorem for self-conjugate partitions proved by the second author. We also recall how the addition theorem proved before by Han and Ji can be used to derive similar congruences for the whole set of partitions, which are originally due to Bessenrodt, and Bacher and Manivel. Finally, we extend such congruences to the set of $z$-asymmetric partitions defined by Ayyer and Kumari, by proving an addition-multiplication theorem for these partitions. Among other things, this contains as special cases the congruences for the number of hook lengths for the self-conjugate and the so-called doubled distinct partitions.
Denominator identity for the affine Lie superalgebra $\widehat{\mathfrak{spo}}(2m,2m+1)$ and indefinite theta functions
In 1994, Kac and Wakimoto found the denominator identity for classical affine Lie superalgebras, generalizing that for affine Lie algebras. As an application, they obtained power series identities for some powers of $\triangle(q)$, where $\triangle(q)$ is the generating function of triangular numbers. In this article, we give a different proof of one of their identities. The main step is to prove that a certain indefinite theta function involving spherical polynomials is a modular form. We use the technique recently developed by Roehrig and Zwegers.
Cancellation of a critical pair in discrete Morse theory and its effect on (co)boundary operators
Discrete Morse theory helps us compute the homology groups of simplicial complexes in an efficient manner. A "good" gradient vector field reduces the number of critical simplices, simplifying the homology calculations by reducing them to the computation of homology groups of a simpler chain complex. This homology computation hinges on an efficient enumeration of gradient trajectories. The technique of cancelling pairs of critical simplices reduces the number of critical simplices, though it also perturbs the gradient trajectories. In this article, we demonstrate that (the matrix of) a certain modified boundary operator of interest can be derived from the corresponding original boundary operator through a sequence of elementary row operations. Thus, it eliminates the need of enumeration of the new gradient trajectories. We also obtain a similar result for coboundary operators.
Origami: real structure, enumeration and quantum modularity
We define real origami (that is, origami equipped with a real structure) and enumerate them using the combinatorics of zonal polynomials. We explicitly express in terms of sums of divisors the numbers of genus 2 real origami with 2 simple zeros and the numbers of genus 3 real origami with 2 double zeros showing that their generating functions are quantum modular forms. Furthermore, we show that by replacing zonal polynomials with Schur polynomials we can effectively count the classical (complex) origami. As a byproduct, we establish a connection between classical origami and a specific class of double Hurwitz numbers. Finally, we discuss some conjectures and open questions involving Jack functions, quantum modular forms, and integrable hierarchies.
Tight Bounds for Hypercube Minor-Universality
Benjamini, Kalifa and Tzalik recently proved that there is an absolute constant $c>0$ such that any graph with at most $c\cdot2^d/d$ edges and no isolated vertices is a minor of the $d$-dimensional hypercube $Q_d$, while there is an absolute constant $K > 0$ such that $Q_d$ is not $(K\cdot2^d/\sqrt{d})$-minor-universal. We show that $Q_d$ does not contain 3-uniform expander graphs with $C\cdot2^d/d$ edges as minors. This matches the lower bound up to a constant factor and answers one of their questions.
The Hajnal--Rothschild problem
For a family $\mathcal F$ define $ν(\mathcal F,t)$ as the largest $s$ for which there exist $A_1,\ldots, A_{s}\in \mathcal F$ such that for $i\ne j$ we have $|A_i\cap A_j|< t$. What is the largest family $\mathcal F\subset{[n]\choose k}$ with $ν(\mathcal F,t)\le s$? This question goes back to a paper Hajnal and Rothschild from 1973. We show that, for some absolute $C$ and $n>2k+Ct^{4/5}s^{1/5}(k-t)\log_2^4n$, $n>2k+Cs(k-t)\log_2^4 n$ the largest family with $ν(\mathcal F,t)\le s$ has the following structure: there are sets $X_1,\ldots, X_s$ of sizes $t+2x_1,\ldots, t+2x_s$, such that for any $A\in \mathcal F$ there is $i\in [s]$ such that $|A\cap X_i|\ge t+x_i$. That is, the extremal constructions are unions of the extremal constructions in the Complete $t$-Intersection Theorem. For the proof, we enhance the spread approximation technique of Zakharov and the second author. In particular, we introduce the idea of iterative spread approximation.
Tensor Product of Polymatroids and Common Information
A new connection between two different necessary conditions for a polymatroid to be linearly representable is presented. Specifically, we prove that the existence of a tensor product with the uniform matroid of rank two on three elements implies the existence of a common information extension for every pair of subsets of the ground set.
Limit distributions for cycles of random parking functions
We study the asymptotic behavior of cycles of uniformly random parking functions. Our results are multifold: we obtain an explicit formula for the number of parking functions with a prescribed number of cyclic points and show that the scaled number of cyclic points of a random parking function is asymptotically Rayleigh distributed; we establish the classical trio of limit theorems (law of large numbers, central limit theorem, large deviation principle) for the number of cycles in a random parking function; we also compute the asymptotic mean of the length of the $r$th longest cycle in a random parking function for all valid $r$. A variety of tools from probability theory and combinatorics are used in our investigation. Corresponding results for the class of prime parking functions are obtained.
Vietoris-Rips complexes of torus grids
We study the topology of Vietoris--Rips complexes of finite grids on the torus. Let $T_{n,n}$ be the grid of $n\times n$ points on the flat torus $S^1\times S^1$, equipped with the $l^1$ metric. Let $\mathrm{VR}(T_{n,n};k)$ be the Vietoris--Rips simplicial complex of this torus grid at scale $k\ge 0$. For $n\ge 7$ and small scales $2\le k\le \frac{n-1}{3}$, the complex $\mathrm{VR}(T_{n,n};k)$ is homotopy equivalent to the torus. For large scales $k\ge 2\lfloor\frac{n}{2}\rfloor$, the complex $\mathrm{VR}(T_{n,n};k)$ is a simplex and hence contractible. Interesting topology arises over intermediate scales $\frac{n-1}{3}<k<2\lfloor\frac{n}{2}\rfloor$. For example, we prove that $\mathrm{VR}(T_{2n,2n};2n-1)\cong S^{2n^2-1}$ for $n\ge 2$, that $\mathrm{VR}(T_{3n,3n};n)\simeq\vee^{6n^2-1}S^2$ for $n\ge 2$, and that $\mathrm{VR}(T_{3n-1,3n-1};n)\simeq \bigvee_{6n-3} S^2\vee \bigvee_{6n-2}S^3$ for $n\geq 3$. Based on homology computations, we conjecture that $\mathrm{VR}(T_{n,n};k)$ is homotopy equivalent to a $3$-sphere for a countable family of $(n,k)$ pairs, and we prove this for $(n,k)=(7,4)$.
A Coboundary Temperely-Lieb Category for $\mathfrak{sl}_2$-Crystals
By considering a suitable renormalization of the Temperley--Lieb category, we study its specialization to the case $q=0$. Unlike the $q\neq 0$ case, the obtained monoidal category, $\mathcal{TL}_0(\Bbbk)$, is not rigid or braided. We provide a closed formula for the Jones--Wenzl projectors in $\mathcal{TL}_0(\Bbbk)$ and give semisimple bases for its endomorphism algebras. We explain how to obtain the same basis using the representation theory of finite inverse monoids, via the associated Möbius inversion. We then describe a coboundary structure on $\mathcal{TL}_0(\Bbbk)$ and show that its idempotent completion is coboundary monoidally equivalent to the category of $\mathfrak{sl}_{2}$-crystals. This gives a diagrammatic description of the commutor for $\mathfrak{sl}_{2}$-crystals defined by Henriques and Kamnitzer and of the resulting action of the cactus group. We also study fiber functors of $\mathcal{TL}_0(\Bbbk)$ and discuss how they differ from the $q\neq 0$ case.
On the extreme complexity of certain nearly regular graphs
The complexity of a graph is the number of its labeled spanning trees. It is demonstrated that the seven known triangle-free strongly regular graphs, such as the Higman-Sims graph, are graphs of maximal complexity among all graphs of the same order and degree; their complements are shown to be of minimal complexity. A generalization to nearly regular graphs with two distinct eigevalues of the Laplacian is presented. Conjectures and applications of these results to biological problems on neuronal activity are described.
On a theorem of Mattila in the p-adic setting
Let $A, B$ be subsets of $(\mathbb{Z}/p^r\mathbb{Z})^2$. In this note, we provide conditions on the densities of $A$ and $B$ such that $|gA-B|\gg p^{2r}$ for a positive proportion of $g\in SO_2(\mathbb{Z}/p^r\mathbb{Z})$. The conditions are sharp up to constant factors in the unbalanced case, and the proof makes use of tools from discrete Fourier analysis and results in restriction/extension theory.
Oriented diameter of the complete tripartite graph (II)
For a graph $G$, let $\mathbb{D}(G)$ denote the set of all strong orientations of $G$, and the oriented diameter of $G$ is $f(G)=\min \{diam(D) \mid D \in \mathbb{D}(G)\}$, which is the minimum value of the diameters $diam(D)$ where $D \in \mathbb{D}(G)$. In this paper, we determine the oriented diameter of complete tripartite graphs $K(3,3, q)$ and $K(3,4, q)$, these are special cases that arise in determining the oriented diameter of $K(3, p, q)$.
Extended weak order for the affine symmetric group
The extended weak order on a Coxeter group $W$ is the poset of biclosed sets in its root system. In (Barkley-Speyer 2024), it was shown that when $W=\widetilde{S}_n$ is the affine symmetric group, then the extended weak order is a quotient of the lattice $L_n$ of translation-invariant total orderings of the integers. In this article, we give a combinatorial introduction to $L_n$ and the extended weak order on $\widetilde{S}_n$. We show that $L_n$ is an algebraic completely semidistributive lattice. We describe its canonical join representations using a cyclic version of Reading's non-crossing arc diagrams. We also show analogous statements for the lattice of all total orders of the integers, which is the extended weak order on the symmetric group $S_\infty$. A key property of both of these lattices is that they are profinite; we also prove that a profinite lattice is join semidistributive if and only if its compact elements have canonical join representations. We conjecture that the extended weak order of any Coxeter group is a profinite semidistributive lattice.