Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Ordinarization numbers of numerical semigroups
Published
• View Publication
• BIB
There has been significant recent interest in studying how the number of numerical semigroups of genus $g$ behaves as a function of $g$. Bras-Amorós has shown how to organize the collection of numerical semigroups of genus $g$ into a rooted tree called the ordinarization tree. The ordinarization number of a numerical semigroup $S$ is the length of the path from $S$ back to the root of the tree. We study the problem of counting numerical semigroups of genus $g$ with a fixed ordinarization number $r$. We show how this can be interpreted as a counting problem about integer points in a certain rational polyhedral cone and use ideas from Ehrhart theory to study this problem. We give a formula for the number of numerical semigroups of genus $g$ and ordinarization number $2$, building on the corresponding result of Bras-Amorós for ordinarization number $1$. We show that the ordinarization number of a numerical semigroup generated by two elements is equal to the number of integer points in a certain right triangle with rational vertices. We consider the analogous problem for supersymmetric numerical semigroups with more generators. We also study ordinarization numbers of numerical semigroups generated by an interval.
Suns in triangle-free graphs of large chromatic number
Published
• View Publication
• BIB
For an integer $t\geq 4$, a $t$-sun is a graph obtained from a $t$-vertex cycle $C$ by adding a degree-one neighbor for each vertex of $C$. Trotignon asked whether every triangle-free graph of sufficiently large chromatic number has an induced subgraph that is a $t$-sun for some $t\geq 4$. This remains open, but we show that every triangle-free graph of chromatic number at least $44$ has an induced subgraph that is either a $t$-sun for some $t\geq 5$, or a $4$-sun with a single degree-one vertex deleted. In fact, we prove that for all $\ell\geq 5$, there exists $c=c(\ell)\in \mathbb{N}$ such that every triangle-free graph of chromatic number at least $c$ has an induced subgraph that is either a $t$-sun for some $t\geq \ell$, or a $4$-sun with a single degree-one vertex deleted.
Turán Number of Subdivisions of Multipartite Graphs
Published
• View Publication
• BIB
In this paper, we investigate the Turán exponent for $1$-subdivisions of graphs that are neither bipartite nor complete. Specifically, we establish an upper bound on the Turán number of the 1-subdivision of $K_{s,t}^+$, where $K_{s,t}^+$ is obtained by adding a single edge within the part of size $s$ of the complete bipartite graph $K_{s,t}$, with $4\leq s \leq t$. In addition, we derive an upper bound for the extremal number of a family of graphs formed by (possibly degenerate) 1-subdivisions of certain tripartite graphs.
Large Deviations for Markovian Graphon Processes and Associated Dynamical Systems on Networks
We consider temporal models of rapidly changing Markovian networks modulated by time-evolving spatially dependent kernels that define rates for edge formation and dissolution. Alternatively, these can be viewed as Markovian networks with $O(1)$ jump rates viewed over a long time horizon. In the regimes we consider, the window averages of graphon valued processes over suitable time intervals are natural state descriptors for the system. Under appropriate conditions on the jump-rate kernels, we establish laws of large numbers and large deviation principles(LDP) for the graphon processes averaged over a suitable time window, both in the weak topology and with respect to the cut norm in the associated graphon space. Although the problem setting and analysis are more involved than for the well-studied static random network model, the variational problem associated with the rate function admits an explicit solution, yielding an equally tractable, though different, expression for the rate function, similar to the static case. Using these results, we then establish the LDP for node-valent dynamical systems driven by the underlying evolving network.
On the spectra of prefix-reversal graphs
Published
• View Publication
• BIB
In this paper, we study spectral properties of prefix-reversal graphs. These graphs are obtained by connecting two elements of $C_m\wr S_n$ via prefix reversals. If $m=1,2$, the corresponding prefix-reversal graphs are the classic pancake and burnt pancake graphs. If $m>2$, then one can consider the directed and undirected versions of these graphs. We prove that the spectrum of the undirected prefix-reversal graph $\mathbb{P}_m(n)$ contains all even integers in the interval $[0,2n]\setminus\{2\lfloor n/2\rfloor\}$ and if $m\equiv0\pmod4$, we then show that the spectrum contains all even integers in $[0,2n]$. In the directed case, we show that the spectrum of the directed prefix-reversal graph $P(m,n)$ contains all integers in the interval $[0,n]\setminus\{\lfloor n/2\rfloor\}$. As a consequence, we show that in either case, the prefix-reversal graphs have a small spectral gap.
Enumerating several statistics of r-Colored Dyck paths with no dd-steps having the same colors
Published in Discrete Mathematics 348 (2025)
• View Publication
• BIB
An $r$-colored Dyck path is a Dyck path with all $\mathbf{d}$-steps having one of $r$ colors in $[r]=\{1, 2, \dots, r\}$. In this paper, we consider several statistics on the set $\mathcal{A}_{n,0}^{(r)}$ of $r$-colored Dyck paths of length $2n$ with no two consecutive $\mathbf{d}$-steps having the same colors. Precisely, the paper studies the statistics ``number of points" at level $\ell$, ``number of $\mathbf{u}$-steps" at level $\ell+1$, ``number of peaks" at level $\ell+1$ and ``number of $\mathbf{udu}$-steps" on the set $\mathcal{A}_{n,0}^{(r)}$. The counting formulas of the first three statistics are established by Riordan arrays related to $S(a,b; x)$, the weighted generating function of $(a,b)$-Schröder paths. By a useful and surprising relations satisfied by $S(a,b; x)$, several identities related to these counting formulas are also described.
A decomposition of Grassmannian associated with a hyperplane arrangement
The Grassmannian, which is the manifold of all $k$-dimensional subspaces in the Euclidean space $\mathbb{R}^n$, was decomposed through three equivalent methods connecting combinatorial geometries, Schubert cells and convex polyhedra by Gelfand, Goresky, MacPherson and Serganova. Recently, Liang, Wang and Zhao discovered a novel decomposition of the Grassmannian via an essential hyperplane arrangement, which generalizes the first two methods. However, their work was confined to essential hyperplane arrangements. Motivated by their research, we extend their results to a general hyperplane arrangement $\mathcal{A}$, and demonstrate that the $\mathcal{A}$-matroid, the $\mathcal{A}$-adjoint and the refined $\mathcal{A}$-Schubert decompositions of the Grassmannian are consistent. As a byproduct, we provide a classification for $k$-restrictions of $\mathcal{A}$ related to all $k$-subspaces through two equivalent methods: the $\mathcal{A}$-matroid decomposition and the $\mathcal{A}$-adjoint decomposition.
A Refined Algorithm For the EPR model
The Einstein-Podolsky-Rosen~(EPR) model is an analogous model of the anti-ferromagnetic Heisenberg model or the equivalent quantum maximum-cut problem, proposed by R. King two years ago. Adjacent qubits in the model prefer symmetric EPR/Bell parings rather than the antisymmetric one, in order to maximize the energy. Recently, two groups independently develop specific algorithms for the highest-energy state with approximation ratio $\frac{1+\sqrt{5}}{4}\approx.809$, based on maximum fractional matchings. Here we try to refine one of the two algorithms by devising homogeneous/quasi-homogeneous fractional matchings, with the aim to distribute quantum entanglement as much as possible. For regular graphs $G_d$, we immediately obtain increasing approximation ratios $r_d$ with $r_2=\frac{3+\sqrt{5}}{6}\approx.872$. For irregular graphs, we show such a refinement could still guarantee nice performance if the fractional matchings are chosen properly.
On the maximal matchings of trees
An independent edge set of graph $G$ is a matching, and is maximal if it is not a proper subset of any other matching of $G$. The number of all the maximal matchings of $G$ is denoted by $Ψ(G)$. In this paper, an algorithm to count $Ψ(T)$ for a tree $T$ is given. We show that for any tree $T$ with $n$ vertices, $Ψ(T)\geq\lceil\frac{n}{2}\rceil$, and the tree which obtained the lower bound is characterized.
Metaconcepts of rooted tree balance
Published
• View Publication
• BIB
Measures of tree balance play an important role in many different research areas such as mathematical phylogenetics or theoretical computer science. Typically, tree balance is quantified by a single number which is assigned to the tree by a balance or imbalance index, of which several exist in the literature. Most of these indices are based on structural aspects of tree shape, such as clade sizes or leaf depths. For instance, indices like the Sackin index, total cophenetic index, and $\widehat{s}$-shape statistic all quantify tree balance through clade sizes, albeit with different definitions and properties.
In this paper, we formalize the idea that many tree (im)balance indices are functions of similar underlying tree shape characteristics by introducing metaconcepts of tree balance. A metaconcept is a function $Φ_f$ that depends on a function $f$ capturing some aspect of tree shape, such as balance values, clade sizes, or leaf depths. These metaconcepts encompass existing indices but also provide new means of measuring tree balance. The versatility and generality of metaconcepts allow for the systematic study of entire families of (im)balance indices, providing deeper insights that extend beyond index-by-index analysis.
The number of maximal matchings in polygon rings
Published
• View Publication
• BIB
A matching of graph $G$ is maximal if it cannot be expanded by adding any edge to create a larger matching. In this paper, for a hexagonal ring $H$ with $n$ hexagons, we show that the number of maximal matchings of $H$ equals to the trace of the product of $n$ matrices, each of which is $S$, $L$, or $R$ according to the type of the connection mode of $H$. Finally, we extend this conclusion to arbitrary polygon rings and provide an algorithm to determine the transition matrices of polygon chains (rings).
A note on two cycles of consecutive even lengths in graphs
Published
• View Publication
• BIB
Bondy and Vince proved that a graph of minimum degree at least three contains two cycles whose lengths differ by one or two, which was conjectured by Erdős. Gao, Li, Ma and Xie gave an average degree counterpart of Bondy-Vince's result, stating that every $n$-vertex graph with at least $\frac{5}{2}(n-1)$ edges contains two cycles of consecutive even lengths, unless $4|(n-1)$ and every block of $G$ is a clique $K_5$. This confirms the case $k=2$ of Verstraëte's conjecture, which states that every $n$-vertex graph without $k$ cycles of consecutive even lengths has edge number $e(G)\leq\frac{1}{2}(2k+1)(n-1)$, with equality if and only if every block of $G$ is a clique of order $2k+1$. Sudakov and Verstraëte further conjectured that if $G$ is a graph with maximum number of edges that does not contain $k$ cycles of consecutive even lengths, then every block of $G$ is a clique of order at most $2k+1$. In this paper, we prove the case $k=2$ for Sudakov-Verstraëte's conjecture, by extending the results of Gao, Li, Ma and Xie.
Infinite induced-saturated graphs
Published
• View Publication
• BIB
A graph $G$ is $H$-induced-saturated if $G$ is $H$-free but deleting any edge or adding any edge creates an induced copy of $H$. There are non-trivial graphs $H$, such as $P_4$, for which no finite $H$-induced-saturated graph $G$ exists. We show that for every finite graph $H$ that is not a clique or an independent set, there always exists a countable $H$-induced-saturated graph. In fact, we show that a far stronger property can be achieved: there is a countably infinite $H$-free graph $G$ such that any graph $G'\ne G$ obtained by making a locally finite set of changes to $G$ contains a copy of $H$.
Excluding an induced wheel minor in graphs without large induced stars
Published
• View Publication
• BIB
We study a conjecture due to Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht stating that for any positive integer $d$ and any planar graph $H$, the class of all $K_{1,d}$-free graphs without $H$ as an induced minor has bounded tree-independence number. A $k$-wheel is the graph obtained from a cycle of length $k$ by adding a vertex adjacent to all vertices of the cycle. We show that the conjecture of Dallard et al. is true when $H$ is a $k$-wheel for any $k\geq 3$. Our proof uses a generalization of the concept of brambles to tree-independence number. As a consequence of our main result, several important $\mathsf{NP}$-hard problems such as Maximum Independent Set are tractable on $K_{1,d}$-free graphs without large induced wheel minors. Moreover, for fixed $d$ and $k$, we provide a polynomial-time algorithm that, given a $K_{1,d}$-free graph $G$ as input, finds an induced minor model of a $k$-wheel in $G$ if one exists.
The connection between the chromatic function and the Redei-Berge function
There is a natural way to assign both graph and digraph to every poset. Furthermore, any graph has its chromatic function, while any digraph has its Redei-Berge function. On the level of posets, these two functions are almost identical. Here, we prove that this connection is actually a reflection of the connection between the noncommutative generalizations of these two functions. The simplicity of this relationship enables us to easily translate the properties proved for one of them to the case of the other. We perform such conversions regarding distinguishability, decomposition techniques and positivity questions. Among others, we obtain the converse of Redei's theorem, generalization of the triple deletion property and expressions for these functions in some special cases.
Preorders on maximal chains: hyperplane arrangements, Cambrian lattices, and maximal green sequences
We study preorders on (equivalence classes of) maximal chains in the general context of polygonal lattices endowed with suitably nice edge labellings. We show that, given a quotient of polygonal lattices, such edge labellings descend to the quotient, and that there is an induced order-preserving surjective map on the preordered sets of equivalence classes of maximal chains. Under a natural condition ensuring that the domain is a poset, the map is a contraction of preordered sets. We apply this to lattices of regions of simplicial hyperplane arrangements, where the preorders are partial orders, in particular to finite Coxeter arrangements. For the latter, each choice of Coxeter element gives us a different partial order on the set of equivalence classes of maximal chains; these generalise certain reoriented higher Bruhat orders in dimension two. The maps of posets of maximal chains induced by Cambrian congruences generalise the map of Kapranov and Voevodsky from the higher Bruhat orders to the higher Stasheff--Tamari orders in dimension two. While the fibres of this map are known not always to be intervals, our results show that they are always connected. We show that, in the case of Cambrian lattices, the induced maps on maximal chains have nice descriptions in terms of orientations of rank-two root subsystems, in a way which resembles taking the stable objects of a Rudakov stability condition. We finally consider the algebraic realisation of the weak order and Cambrian lattices via torsion-free classes of preprojective and path algebras, relating the posets of maximal chains to our earlier work on maximal green sequences.
Extremal Zagreb indices of bicyclic hypergraphs
Published
• View Publication
• BIB
The Zagreb index of a hypergraph is defined as the sum of the squares of the degrees of its vertices. A connected $k$-uniform hypergraph with $n$ vertices and $m$ edges is called bicyclic if $n=m(k-1)-1$. In this paper, we determine the hypergraphs with the maximum and minimum Zagreb indices among all linear bicyclic uniform hypergraphs.
Factorizations in Hecke algebras I: long cycle factorizations and Jucys-Murphy elements
Given a permutation, there is a well-developed literature studying the number of ways one can factor it into a product of other permutations subject to certain conditions. We initiate the analogous theory for the type A Iwahori-Hecke algebra by generalizing the notion of factorization in terms of the Jucys-Murphy elements. Some of the oldest and most foundational factorization results for the symmetric groups pertain to the long cycle. Our main results give q-deformations of these long cycle factorizations and reveal q-binomial, q-Catalan, and q-Narayana numbers along the way.
Odd coloring graphs with linear neighborhood complexity
We prove that any class of graphs with linear neighborhood complexity has bounded improper odd chromatic number. As a result, if $\mathcal{G}$ is the class of all circle graphs, or if $\mathcal{G}$ is any class with bounded twin-width, bounded merge-width, or a forbidden vertex-minor, then $\mathcal{G}$ is $χ_{\mathrm{o}}$-bounded.
Flagged LLT polynomials, nonsymmetric plethysm, and nonsymmetric Macdonald polynomials
The plethystic transformation $f[X] \mapsto f[X/(1-t)]$ and LLT polynomials are central to the theory of symmetric Macdonald polynomials. In this work, we introduce and study nonsymmetric flagged LLT polynomials. We show that these admit both an algebraic and a combinatorial description, that they Weyl symmetrize to the usual symmetric LLT polynomials, and we conjecture that they expand positively in terms of Demazure atoms. Additionally, we construct a nonsymmetric plethysm operator $Π_{t,x}$ on $\mathfrak{K}[x_1,\ldots,x_n]$, which serves as an analogue of $f[X] \mapsto f[X/(1-t)]$. We prove that $Π_{t,x}$ remarkably maps flagged LLT polynomials defined over a signed alphabet to ones over an unsigned alphabet.
Our main application of this theory is to formulate a nonsymmetric version of Macdonald positivity, similar in spirit to conjectures of Knop and Lapointe, but with several new features. To do this, we recast the Haglund-Haiman-Loehr formula for nonsymmetric Macdonald polynomials $\mathcal{E}_{μ}(x;q,t)$ as a positive sum of signed flagged LLT polynomials. Then, after applying a suitable stable limit of $Π_{t,x}$ to a stable version of $\mathcal{E}_{μ}(x;q,t)$, we obtain modified nonsymmetric Macdonald polynomials which are positive sums of flagged LLT polynomials and thus are conjecturally atom positive, strengthening the Macdonald positivity conjecture.