Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Mutation invariants of cluster algebras of rank 2
Published
• View Publication
• BIB
We consider the mutation invariants of cluster algebras of rank 2. We characterize the mutation invariants of finite type. Two examples are provided for the affine type and we prove the non-existence of Laurent mutation invariants of non-affine type. As an application, a class of Diophantine equations encoded with cluster algebras are studied.
Linear extensions and continued fractions
Published in European J. Combin. 122 (2024), no. 104018, 15 pp
• View Publication
• BIB
We introduce several new constructions of finite posets with the number of linear extensions given by generalized continued fractions. We apply our results to the problem of the minimum number of elements needed for a poset with a given number of linear extensions.
Floquet Isospectrality of the Zero Potential for Discrete Periodic Schrödinger Operators
Published
• View Publication
• BIB
Let $Γ=q_1\mathbb{Z}\oplus q_2 \mathbb{Z}\oplus\cdots\oplus q_d\mathbb{Z}$, with $q_j\in (\mathbb{Z}^+)^d$ for each $j\in \{1,\ldots,d\}$, and denote by $Δ$ the discrete Laplacian on $\ell^2\left( \mathbb{Z}^d\right)$. Using Macaulay2, we first numerically find complex-valued $Γ$-periodic potentials $V:\mathbb{Z}^d\to \mathbb{C}$ such that the operators $Δ+V$ and $Δ$ are Floquet isospectral. We then use combinatorial methods to validate these numerical solutions.
Simplicial cell decompositions of $\mathbb{CP}^{\hspace{.3mm}n}$
Published
• View Publication
• BIB
According to a well-known result in geometric topology, we have \linebreak $\left (\mathbb{S}^2 \right)^{n}\!\!/\operatorname{Sym}(n) = \mathbb{CP}^{n}$, where $\operatorname{Sym}(n)$ acts on $\left (\mathbb{S}^2 \right)^{n}$ by coordinate permutation. We use this fact to explicitly construct a regular simplicial cell decomposition of $\mathbb{CP}^{n}$ for each $n \geq 2$. In more detail, we start with the standard two triangle crystallisation $S^2_3$ of the $2$-sphere $\mathbb{S}^2$, in its $n$-fold Cartesian product. We then construct a simplicial subdivision of this product and prove that the $\operatorname{Sym}(n)$ quotient of this subdivision yields a simplicial cell decomposition of $\mathbb{CP}^n$. The first derived subdivision of this cell complex is a simplicial triangulation of $\mathbb{CP}^n$. To the best of our knowledge, this is the first explicit description of triangulations of $\mathbb{CP}^n$ for $n \geq 4$.
Continuous Analogues for the Pochhammer Symbol
We develop continuous analogues for the Pochhammer symbol following the line of research initiated by Díaz and Cano on the construction of continuous analogues for combinatorial objects.
Pattern-avoiding modified ascent sequences
Published
• View Publication
• BIB
We initiate an in-depth study of pattern avoidance on modified ascent sequences. Our main technique consists in using Stanley's standardization to obtain a transport theorem between primitive modified ascent sequences and permutations avoiding a bivincular pattern of length three. We enumerate some patterns via bijections with other combinatorial structures such as Fishburn permutations, lattice paths and set partitions. We settle the last remaining case of a conjecture by Duncan and Steingrímsson by proving that modified ascent sequences avoiding 2321 are counted by the Bell numbers.
Polynomials as terms and the Boolean Independence Theorem
We develop a theory of formal multivariate polynomials over commutative rings by treating them as ring terms. Our main result is that two ring terms are s-equivalent (when expanded they yield the same standard polynomial) iff they are f-equivalent (one can be transformed in the other by a series of elementary transformations). We consider in a similar way Boolean terms (formulas) and prove a theorem that two events $a$ and $b$ in a probability space, which are built by two Boolean terms from respective tuples $A$ and $B$ of elementary events, are independent if the events in $A$ are independent of the events in $B$. This theorem rigorizes arguments in the Probabilistic Method in Combinatorics.
Lower Bounds for Maximum Weight Bisections of Graphs with Bounded Degrees
A bisection in a graph is a cut in which the number of vertices in the two parts differ by at most 1. In this paper, we give lower bounds for the maximum weight of bisections of edge-weighted graphs with bounded maximum degree. Our results improve a bound of Lee, Loh, and Sudakov (J. Comb. Th. Ser. B 103 (2013)) for (unweighted) maximum bisections in graphs whose maximum degree is either even or equals 3, and for almost all graphs. We show that a tight lower bound for maximum size of bisections in 3-regular graphs obtained by Bollobás and Scott (J. Graph Th. 46 (2004)) can be extended to weighted subcubic graphs. We also consider edge-weighted triangle-free subcubic graphs and show that a much better lower bound (than for edge-weighted subcubic graphs) holds for such graphs especially if we exclude $K_{1,3}$. We pose three conjectures.
Formulas involving Cauchy polynomials, Bernoulli polynomials, and generalized Stirling numbers
Published in Axioms 2025, 14, 746
• View Publication
• BIB
In this paper, we derive novel formulas and identities connecting Cauchy numbers and polynomials with both ordinary and generalized Stirling numbers, binomial coefficients, central factorial numbers, Euler polynomials, $r$-Whitney numbers, and hyperharmonic polynomials, as well as Bernoulli numbers and polynomials. We also provide formulas for the higher-order derivatives of Cauchy polynomials and obtain corresponding formulas and identities for poly-Cauchy polynomials. Furthermore, we introduce a multiparameter framework for poly-Cauchy polynomials, unifying earlier generalizations like shifted poly-Cauchy numbers and polynomials with a $q$ parameter.
Principal eigenvectors and principal ratios in hypergraph Turán problems
Published
• View Publication
• BIB
For a general class of hypergraph Turán problems with uniformity $r$, we investigate the principal eigenvector for the $p$-spectral radius (in the sense of Keevash--Lenz--Mubayi and Nikiforov) for the extremal graphs, showing in a strong sense that these eigenvectors have close to equal weight on each vertex (equivalently, showing that the principal ratio is close to $1$). We investigate the sharpness of our result; it is likely sharp for the Turán tetrahedron problem.
In the course of this latter discussion, we establish a lower bound on the $p$-spectral radius of an arbitrary $r$-graph in terms of the degrees of the graph. This builds on earlier work of Cardoso--Trevisan, Li--Zhou--Bu, Cioabă--Gregory, and Zhang.
The case $1 < p < r$ of our results leads to some subtleties connected to Nikiforov's notion of $k$-tightness, arising from the Perron-Frobenius theory for the $p$-spectral radius. We raise a conjecture about these issues, and provide some preliminary evidence for our conjecture.
On a Rice theorem for dynamical properties of SFTs on groups
Published
• View Publication
• BIB
Let $G$ be a group with undecidable domino problem, such as $\mathbb{Z}^2$. We prove that all nontrivial dynamical properties for sofic $G$-subshifts are undecidable, that this is not true for $G$-SFTs, and an undecidability result for dynamical properties of $G$-SFTs similar to the Adian-Rabin theorem. Furthermore we prove a Rice-like result for dynamical invariants asserting that every computable real-valued invariant for $G$-SFTs that is monotone by disjoint unions and products is constant.
Basic Tetravalent Oriented Graphs with Cyclic Normal Quotients
Let $\mathcal{OG}(4)$ denote the family of all graph-group pairs $(Γ, G)$ where $Γ$ is finite, 4-valent, connected, and $G$-oriented ($G$-half-arc-transitive). A subfamily of $\mathcal{OG}(4)$ has recently been identified as `basic' in the sense that all graphs in this family are normal covers of at least one basic member. In this paper we provide a description of such basic pairs which have at least one $G$-normal quotient which is isomorphic to a cycle graph. In doing so, we produce many new infinite families of examples and solve several problems posed in the recent literature on this topic. This result completes a research project aiming to provide a description of all basic pairs in $\mathcal{OG}(4)$.
Ramsey and Gallai-Ramsey numbers for linear forests and kipas
Published
• View Publication
• BIB
For two graphs $G,H$, the \emph{Ramsey number} $r(G,H)$ is the minimum integer $n$ such that any red/blue edge-coloring of $K_n$ contains either a red copy of $G$ or a blue copy of $H$. For two graphs $G,H$, the \emph{Gallai-Ramsey number} $\operatorname{gr}_k(G:H)$ is defined as the minimum integer $n$ such that any $k$-edge-coloring of $K_n$ must contain either a rainbow copy of $G$ or a monochromatic copy of $H$. In this paper, the classical Ramsey numbers of linear forest versus kipas are obtained. We obtain the exact values of $\operatorname{gr}_k(G:H)$, where $H$ is either a path or a kipas and $G\in\{K_{1,3},P_4^+,P_5\}$ and $P_4^+$ is the graph consisting of $P_4$ with one extra edge incident with inner vertex.
Counting Phylogenetic Networks with Few Reticulation Vertices: Galled and Reticulation-Visible Networks
Published
• View Publication
• BIB
We give exact and asymptotic counting results for the number of galled networks and reticulation-visible networks with few reticulation vertices. Our results are obtained with the component graph method, which was introduced by L. Zhang and his coauthors, and generating function techniques. For galled networks, we in addition use analytic combinatorics. Moreover, in an appendix, we consider maximally reticulated reticulation-visible networks and derive their number, too.
Weakly Consecutive Sequences
A weakly consecutive sequence (WCS) is a permutation $σ$ of $\{1, \ldots, k\}$ such that if an integer $d$ divides $σ(i)$, then $d$ also divides $σ(i \pm d)$ insofar as these are defined. The structure of weakly consecutive sequences is surprisingly rich, and it is difficult to find a formula for the number $N(k)$ of WCS's of length $k$. However, for a given $k$ we describe four starting sequences, to each of which we can apply three \emph{rules} or operations to generate new WCS's. We conjecture that any WCS can be constructed by applying these rules, which depend in an intricate way on the primality of $k$ and surrounding integers. We find bounds for $N(k)$ by analyzing these rules.
The Cartier-Quillen-Milnor-Moore theorem in the Post-Hopf case
Published
• View Publication
• BIB
We give the definition of left/right Post-Lie algebras and left/right Post-Hopf algebras and establish a link between those objects. We get a Cartier-Quillen-Milnor-Moore theorem for Post-Hopf algebras. We give another description for free Post-Lie algebras and a description for Post-Lie algebras obtained from an associative product.
On Cohen-Macaulay non-prime collections of cells
Published in Communications in Algebra, 2025
• View Publication
• BIB
In this paper we investigate Cohen-Macaulayness, Gorensteinness and the Hilbert-Poincaré series for some classes of non-prime collections of cells. In particular, we show that all closed path polyominoes are Cohen-Macaulay and we characterize those that are Gorenstein.
Complexity results on the decomposition of a digraph into directed linear forests and out-stars
We consider two decomposition problems in directed graphs. We say that a digraph is $k$-bounded for some $k \in \mathbb{Z}_{\geq 1}$ if each of its connected components contains at most $k$ arcs.
For the first problem, a directed linear forest is a collection of vertex-disjoint directed paths and we consider the problem of decomposing a given digraph into a $k$-bounded and an $\ell$-bounded directed linear forest for some fixed $k,\ell \in \mathbb{Z}_{\geq 1}\cup \{\infty\}$. We give a full dichotomy for this problem by showing that it can be solved in polynomial time if $k+\ell \leq 3$ and is NP-complete otherwise. This answers a question of Campbell, Hörsch, and Moore.
For the second problem, we say that an out-galaxy is a vertex-disjoint collection of out-stars. Again, we give a full dichotomy of when a given digraph can be edge-decomposed into a $k$-bounded and an $\ell$-bounded out-galaxy for fixed $k,\ell \in \mathbb{Z}_{\geq 1}\cup \{\infty\}$. More precisely, we show that the problem can be solved in polynomial time if $\min\{k,\ell\}\in \{1,\infty\}$ and is NP-complete otherwise.
Posets arising from decompositions of objects in a monoidal category
Published in Forum of Mathematics, Sigma 13 (2025) e123
• View Publication
• BIB
Given a symmetric monoidal category $C$ with product $\sqcup$, where the neutral element for the product is an initial object, we consider the poset of $\sqcup$-complemented subobjects of a given object $X$. When this poset has finite height, we define decompositions and partial decompositions of $X$ which are coherent with $\sqcup$, and order them by refinement. From these posets, we define complexes of frames and partial bases, augmented Bergman complexes and related ordered versions. We propose a unified approach to the study of their combinatorics and homotopy type, establishing various properties and relations between them. Via explicit homotopy formulas, we will be able to transfer structural properties, such as Cohen-Macaulayness.
In well-studied scenarios, the poset of $\sqcup$-complemented subobjects specializes to the poset of free factors of a free group, the subspace poset of a vector space, the poset of non-degenerate subspaces of a vector space with a non-degenerate form, and the lattice of flats of a matroid. The decomposition and partial decomposition posets, the complex of frames and partial bases together with the ordered versions, either coincide with well-known structures, generalize them, or yield new interesting objects. In these particular cases, we provide new results along with open questions and conjectures.
From Zero-Freeness to Strong Spatial Mixing via a Christoffel-Darboux Type Identity
We present a unifying proof to derive the strong spatial mixing (SSM) property for the general 2-spin system from zero-free regions of its partition function. Our proof works for the multivariate partition function over all three complex parameters $(β, γ, λ)$, and we allow the zero-free regions of $β, γ$ or $λ$ to be of arbitrary shapes. Our main technical contribution is to establish a Christoffel-Darboux type identity for the 2-spin system on trees so that we are able to handle zero-free regions of the three different parameters $β, γ$ or $λ$ in a unified way. We use Riemann mapping theorem to deal with zere-free regions of arbitrary shapes.
Our result comprehensively turns all existing zero-free regions (to our best knowledge) of the partition function of the 2-spin system where pinned vertices are allowed into the SSM property. As a consequence, we obtain novel SSM properties for the 2-spin system beyond the direct argument for SSM based on tree recurrence. Moreover, we extend our result to handle the 2-spin system with non-uniform external fields. As an application, we obtain a new SSM property and two new forms of spatial mixing property, namely plus and minus spatial mixing for the non-uniform ferromagnetic Ising model from the celebrated Lee-Yang circle theorem.