Showing 20 papers (Total: 83133 papers, 48023 authors in database)
The $α$-normal labeling method for computing the $p$-spectral radii of uniform hypergraphs
Published
• View Publication
• BIB
Let $G$ be an $r$-uniform hypergraph of order $n$. For each $p\geq 1$, the $p$-spectral radius $λ^{(p)}(G)$ is defined as \[ λ^{(p)}(G):=\max_{|x_1|^p+\cdots+|x_n|^p=1} r\sum_{\{i_1,\ldots,i_r\}\in E(G)}x_{i_1}\cdots x_{i_r}. \] The $p$-spectral radius was introduced by Keevash-Lenz-Mubayi, and subsequently studied by Nikiforov in 2014. The most extensively studied case is when $p=r$, and $λ^{(r)}(G)$ is called the spectral radius of $G$. The $α$-normal labeling method, which was introduced by Lu and Man in 2014, is effective method for computing the spectral radii of uniform hypergraphs. It labels each corner of an edge by a positive number so that the sum of the corner labels at any vertex is $1$ while the product of all corner labels at any edge is $α$. Since then, this method has been used by many researchers in studying $λ^{(r)}(G)$. In this paper, we extend Lu and Man's $α$-normal labeling method to the $p$-spectral radii of uniform hypergraphs for $p\ne r$; and find some applications.
Combinatorial proofs of two Euler type identities due to Andrews
Published
• View Publication
• BIB
We prove combinatorially some identities related to Euler's partition identity (the number of partitions of $n$ into distinct parts equals the number of partitions of $n$ into odd parts). They were conjectured by Beck and proved by Andrews via generating functions.
Let $a(n)$ be the number of partitions of $n$ such that the set of even parts has exactly one element, $b(n)$ be the difference between the number of parts in all odd partitions of $n$ and the number of parts in all distinct partitions of $n$, and $c(n)$ be the number of partitions of $n$ in which exactly one part is repeated. Then, $a(n)=b(n)=c(n)$. The identity $a(n)=c(n)$ was proved combinatorially (in greater generality) by Fu and Tang. We prove combinatorially that $a(n)=b(n)$ and $b(n)=c(n)$. Our proof relies on bijections between a set and a multiset, where the partitions in the multiset are decorated with bit strings. Let $c_1(n)$ be the number of partitions of $n$ such that there is exactly one part occurring three times while all other parts occur only once and let $b_1(n)$ to be the difference between the total number of parts in the partitions of $n$ into distinct parts and the total number of different parts in the partitions of $n$ into odd parts. We prove combinatorially that $c_1(n)=b_1(n)$. In addition to these results by Andrews, we prove combinatorially that $b_1(n)=a_1(n)$, where $a_1(n)$ counts partitions of $n$ such that the set of even parts has exactly one element and satisfying some additional conditions. We also treat the case when exactly one part occurs twice while all other parts occur only once.
Three Études on a sequence transformation pipeline
We study a sequence transformation pipeline that maps certain sequences with rational generating functions to permutation-based sequence families of combinatorial significance. Many of the number triangles we encounter can be related to simplicial objects such as the associahedron and the permutahedron. The linkages between these objects is facilitated by the use of the previously introduced $\mathcal{T}$ transform.
The 21 reducible polars of Klein's quartic
Published in Experimental Mathematics 30(1): 1 -- 18 (2021)
• View Publication
• BIB
We describe the singularities and related properties of the arrangement of 21 reducible polars of Klein's quartic, containing Klein's well-known arrangement of $21$ lines.
Forbidden arithmetic progressions in permutations of subsets of the integers
Published
• View Publication
• BIB
Permutations of the positive integers avoiding arithmetic progressions of length $5$ were constructed in (Davis et al, 1977), implying the existence of permutations of the integers avoiding arithmetic progressions of length $7$. We construct a permutation of the integers avoiding arithmetic progressions of length $6$. We also prove a lower bound of $\frac{1}{2}$ on the lower density of subsets of positive integers that can be permuted to avoid arithmetic progressions of length $4$, sharpening the lower bound of $\frac{1}{3}$ from (LeSaulnier and Vijay, 2011). In addition, we generalize several results about forbidden arithmetic progressions to construct permutations avoiding generalized arithmetic progressions.
Periodic P-Partitions
Published
• View Publication
• BIB
In this paper, we introduce a class of $(P, ω)$-partitions that we call periodic $(P, ω)$-partitions, then prove that such $(P, ω)$-partitions satisfy a homogeneous first-order matrix difference equation. After defining an appropriate counting problem for the above $(P, ω)$-partitions, we show that as a consequence of this equation, periodic $(P, ω)$-partitions can be enumerated with constant coefficient linear recurrence relations. By analysing the above matrix difference equation, we also prove a result for the asymptotic growth rate for the number of periodic $(P, ω)$-partitions. The results of this paper generalizes and strengthens the constant coefficient linear recurrence results proved by Sun and by López, Martínez, Pérez, Pérez, and Basova for enumerating standard Young tableaux on shifted strips with constant width.
Graph codes and local systems
It is shown that the good expander codes introduced by Sipser and Spielman, can be realized as the first homology of a graph with respect to a certain twisted coefficient system.
Combinatorial analogs of topological zeta functions
Published
• View Publication
• BIB
In this article we introduce a new matroid invariant, a combinatorial analog of the topological zeta function of a polynomial. More specifically we associate to any ranked, atomic meet-semilattice L a rational function Z(L,s), in such a way that when L is the lattice of flats of a complex hyperplane arrangement we recover the usual topological zeta function. The definition is in terms of a choice of a combinatorial analog of resolution of singularities, and the main result is that Z(L,s) does not depend on this choice and depends only on L. Known properties of the topological zeta function provide a source of potential complex realisability test for matroids.
$\mathfrak{q}$-crystal structure on primed tableaux and on signed unimodal factorizations of reduced words of type $B$
Published in Publ. RIMS Kyoto Univ. 55 (2019) 369--399
• View Publication
• BIB
Crystal basis theory for the queer Lie superalgebra was developed by Grantcharov et al. and it was shown that semistandard decomposition tableaux admit the structure of crystals for the queer Lie superalgebra or simply $\mathfrak{q}$-crystal structure. In this paper, we explore the $\mathfrak{q}$-crystal structure of primed tableaux (semistandard marked shifted tableaux) and that of signed unimodal factorizations of reduced words of type $B$. We give the explicit odd Kashiwara operators on primed tableaux and the forms of the highest and lowest weight vectors. We also give the explicit algorithms for odd Kashiwara operators on signed unimodal factorizations of reduced words of type $B$.
Hypergraph Saturation Irregularities
Published
• View Publication
• BIB
Let $\mathcal{F}$ be a family of $r$-graphs. An $r$-graph $G$ is called $\mathcal{F}$-saturated if it does not contain any members of $\mathcal{F}$ but adding any edge creates a copy of some $r$-graph in $\mathcal{F}$. The saturation number $\operatorname{sat}(\mathcal{F},n)$ is the minimum number of edges in an $\mathcal{F}$-saturated graph on $n$ vertices. We prove that there exists a finite family $\mathcal{F}$ such that $\operatorname{sat}(\mathcal{F},n) / n^{r-1}$ does not tend to a limit. This settles a question of Pikhurko.
A geometric model for the module category of a gentle algebra
Published
• View Publication
• BIB
In this article, gentle algebras are realised as tiling algebras, which are associated to partial triangulations of unpunctured surfaces with marked points on the boundary. This notion of tiling algebras generalise the notion of Jacobian algebras of triangulations of surfaces and the notion of surface algebras. We use this description to give a geometric model of the module category of any gentle algebra.
Hyperbolic Geometry and Amplituhedra in 1+2 dimensions
Published
• View Publication
• BIB
Recently, the existence of an Amplituhedron for tree level amplitudes in the bi-adjoint scalar field theory has been proved by Arkhani-Hamed et al. We argue that hyperbolic geometry constitutes a natural framework to address the study of positive geometries in moduli spaces of Riemann surfaces, and thus to try to extend this achievement beyond tree level. In this paper we begin an exploration of these ideas starting from the simplest example of hyperbolic geometry, the hyperbolic plane. The hyperboloid model naturally guides us to re-discover the moduli space Associahedron, and a new version of its kinematical avatar. As a by-product we obtain a solution to the scattering equations which can be interpreted as a special case of the two well known solutions in terms of spinor-helicity formalism. The construction is done in $1+2$ dimensions and this makes harder to understand how to extract the amplitude from the dlog of the space time Associahedron. Nevertheless, we continue the investigation accommodating a loop momentum in the picture. By doing this we are led to another polytope called Halohedron, which was already known to mathematicians. We argue that the Halohedron fulfils many criteria that make it plausible to be understood as a 1-loop Amplituhedron for the cubic theory. Furthermore, the hyperboloid model again allows to understand that a kinematical version of the Halohedron exists and is related to the one living in moduli space by a simple generalisation of the tree level map.
The complexity of comparing multiply-labelled trees by extending phylogenetic-tree metrics
Published
• View Publication
• BIB
A multilabeled tree (or MUL-tree) is a rooted tree in which every leaf is labelled by an element from some set, but in which more than one leaf may be labelled by the same element of that set. In phylogenetics, such trees are used in biogeographical studies, to study the evolution of gene families, and also within approaches to construct phylogenetic networks. A multilabelled tree in which no leaf-labels are repeated is called a phylogenetic tree, and one in which every label is the same is also known as a tree-shape. In this paper, we consider the complexity of computing metrics on MUL-trees that are obtained by extending metrics on phylogenetic trees. In particular, by restricting our attention to tree shapes, we show that computing the metric extension on MUL-trees is NP complete for two well-known metrics on phylogenetic trees, namely, the path-difference and Robinson Foulds distances. We also show that the extension of the Robinson Foulds distance is fixed parameter tractable with respect to the distance parameter. The path distance complexity result allows us to also answer an open problem concerning the complexity of solving the quadratic assignment problem for two matrices that are a Robinson similarity and a Robinson dissimilarity, which we show to be NP-complete. We conclude by considering the maximum agreement subtree (MAST) distance on phylogenetic trees to MUL-trees. Although its extension to MUL-trees can be computed in polynomial time, we show that computing its natural generalization to more than two MUL-trees is NP-complete, although fixed-parameter tractable in the maximum degree when the number of given trees is bounded.
Generalized Stirling Numbers I
We consider generalized Stirling numbers of the second kind $% S_{a,b,r}^{α_{s},β_{s},r_{s},p_{s}}\left( p,k\right) $, $% k=0,1,\ldots .rp+\sum_{s=2}^{L}r_{s}p_{s}$, where $a,b,α_{s},β_{s} $ are complex numbers, and $r,p,r_{s},p_{s}$ are non-negative integers given, $s=2,\ldots ,L$. (The case $a=1,b=0,r=1,r_{s}p_{s}=0$, corresponds to the standard Stirling numbers $S\left( p,k\right) $.) The numbers $% S_{a,b,r}^{α_{s},β_{s},r_{s},p_{s}}\left( p,k\right) $ are connected with a generalization of Eulerian numbers and polynomials we studied in previous works. This link allows us to propose (first, and then to prove, specially in the case $r=r_{s}=1$) several results involving our generalized Stirling numbers, including several families of new recurrences for Stirling numbers of the second kind. In a future work we consider the recurrence and the differential operator associated to the numbers $% S_{a,b,r}^{α_{s},β_{s},r_{s},p_{s}}\left( p,k\right) $.
Symplectic Frieze Patterns
Published in SIGMA 15 (2019), 089, 36 pages
• View Publication
• BIB
We introduce a new class of friezes which is related to symplectic geometry. On the algebraic and combinatrics sides, this variant of friezes is related to the cluster algebras involving the Dynkin diagrams of type ${\rm C}_{2}$ and ${\rm A}_{m}$. On the geometric side, they are related to the moduli space of Lagrangian configurations of points in the 4-dimensional symplectic space introduced in [Conley C.H., Ovsienko V., Math. Ann. 375 (2019), 1105-1145]. Symplectic friezes share similar combinatorial properties to those of Coxeter friezes and SL-friezes.
The $\mathbb{Z}_2$-genus of Kuratowski minors
Published in Discrete and Computational Geometry 68 (2022), Issue 2, 425-447
• View Publication
• BIB
A drawing of a graph on a surface is independently even if every pair of nonadjacent edges in the drawing crosses an even number of times. The $\mathbb{Z}_2$-genus of a graph $G$ is the minimum $g$ such that $G$ has an independently even drawing on the orientable surface of genus $g$. An unpublished result by Robertson and Seymour implies that for every $t$, every graph of sufficiently large genus contains as a minor a projective $t\times t$ grid or one of the following so-called $t$-Kuratowski graphs: $K_{3,t}$, or $t$ copies of $K_5$ or $K_{3,3}$ sharing at most two common vertices. We show that the $\mathbb{Z}_2$-genus of graphs in these families is unbounded in $t$; in fact, equal to their genus. Together, this implies that the genus of a graph is bounded from above by a function of its $\mathbb{Z}_2$-genus, solving a problem posed by Schaefer and Štefankovič, and giving an approximate version of the Hanani-Tutte theorem on orientable surfaces. We also obtain an analogous result for Euler genus and Euler $\mathbb{Z}_2$-genus of graphs.
A curious class of Hankel determinants
We consider Hankel determinants of the sequence of Catalan numbers modulo 2 (interpreted as integers 0 and 1) and more generally Hankel determinants where the sum over all permutations reduces to a single signed permutation.
Determinantal elliptic Selberg integrals
The classical Selberg integral contains a power of the Vandermonde determinant. When that power is a square, it is easy to prove Selberg's identity by interpreting it as a determinant of one-variable integrals. We give similar proofs of summation and transformation formulas for continuous and discrete elliptic Selberg integrals. In the continuous case, the same proof was previously given by Noumi. Special cases of these identities have found applications in combinatorics.
Interlocked permutations
Published
• View Publication
• BIB
The zero-error capacity of channels with a countably infinite input alphabet formally generalises Shannon's classical problem about the capacity of discrete memoryless channels. We solve the problem for three particular channels. Our results are purely combinatorial and in line with previous work of the third author about permutation capacity.
The complete enumeration of 4-polytopes and 3-spheres with nine vertices
Published
• View Publication
• BIB
We describe an algorithm to enumerate polytopes. This algorithm is then implemented to give a complete classification of combinatorial spheres of dimension 3 with 9 vertices and decide polytopality of those spheres. In particular, we completely enumerate all combinatorial types of 4-dimensional polytopes with 9 vertices. It is shown that all of those combinatorial types are rational: They can be realized with rational coordinates. We find 316014 combinatorial spheres on 9 vertices. Of those, 274148 can be realized as the boundary complex of a four-dimensional polytope and the remaining 41866 are non-polytopal.