Showing 20 papers (Total: 81378 papers, 47165 authors in database)
An iterative-bijective approach to asymmetric generalizations of Schur's theorem
In this paper, we present a new Rogers--Ramanujan type identity for overpartitions by extending the asymmetrical version of Schur's theorem due to Lovejoy to a broader class of infinite products. More precisely, we provide a combinatorial interpretation of the following product, for any positive integer $k$, as a generating function for a class of overpartitions in which parts appear in $2^k - 1$ colors: \[ \frac{(-y_1 q;q)_\infty \cdots (-y_k q;q)_\infty}{(y_1 d q;q)_\infty}. \] Our proof is bijective and unifies two earlier approaches: Lovejoy's bijective proof of the asymmetrical Schur theorem and the iterative-bijective technique developed by Corteel and Lovejoy.
Cube Height, Cube Width and Related Extremal Problems for Posets
Given a poset $P$, a family $\mathcal{S}=\{S_x:x\in P\}$ of sets indexed by the elements of $P$ is called an inclusion representation of $P$ if $x\leqslant y$ in $P$ if and only if $S_x\subseteq S_y$. The cube height of a poset is the least non-negative integer $h$ such that $P$ has an inclusion representation for which every set has size at most $h$. In turn, the cube width of $P$ is the least non-negative integer $w$ for which there is an inclusion representation $\mathcal{S}$ of $P$ such that $|\bigcup\mathcal{S}|=w$ and every set in $\mathcal{S}$ has size at most the cube height of $P$. In this paper, we show that the cube width of a poset never exceeds the size of its ground set, and we characterize those posets for which this inequality is tight. Our research prompted us to investigate related extremal problems for posets and inclusion representations. Accordingly, the results for cube width are obtained as extensions of more comprehensive results that we believe to be of independent interest.
Extending the ab-index
We prove for finite, graded, bounded posets, that the Poincaré-extended ab-index is obtained from the ab-index via the omega-transformation. This proves a conjecture by Dorpalen-Barry, Maglione, and the second author, and provides a more conceptual approach to ab-indices and Chow polynomials beyond R-labeled posets.
Note on the Additive Basis Conjecture
We show that in a vector space over Z_3, the union of any four linear bases is an additive basis, thus proving the Additive Basis Conjecture for p=3, and providing an alternative proof of the weak 3-flow conjecture.
Random Finite Sumsets and Product Sets in Subsets of the Natural Numbers
We investigate the occurrence of additive and multiplicative structures in random subsets of the natural numbers. Specifically, for a Bernoulli random subset of $\mathbb{N}$ where each integer is included independently with probability $p\in (0,1)$, we prove that almost surely such a set contains finite sumsets (FS-sets) and finite product sets (FP-sets) of every finite length. In addition, we establish a novel connection between Hindman's partition theorem and the central limit theorem, providing a probabilistic perspective on the asymptotic Gaussian behavior of monochromatic finite sums and products. These results can be interpreted as probabilistic analogues of finite-dimensional versions of Hindman's theorem. Applications, implications, and open questions related to infinite FS-sets and FP-sets are discussed.
Triacontagonal proofs of the Bell-Kochen-Specker theorem
Coxeter pointed out that a number of polytopes can be projected orthogonally into two dimensions in such a way that their vertices lie on a number of concentric regular triacontagons (or 30-gons). Among them are the 600-cell and 120-cell in four dimensions and Gosset's polytope in eight dimensions. We show how these projections can be modified into Kochen-Secker diagrams from which parity proofs of the Bell-Kochen-Specker theorem are easily extracted. Our construction trivially yields parity proofs of fifteen bases for all theree polytopes and also allows many other proofs of the same type to be constructed for two of them. The defining feature of these proofs is that they have a fifteen-fold symmetry about the center of the Kochen-Specker diagram and thus involve both rays and bases that are multiples of fifteen. Any proof of this type can be written as a word made up of an odd number of distinct letters, each representing an orbit of fifteen bases. Knowing a word makes it possible to write down all the features of the associated proof without first having to recover its bases. A comparison is made with earlier approaches that have been used to obtain parity proofs in these polytopes, and two questions related to possible applications of these polytopes are raised.
Inverse Kazhdan-Lusztig polynomials of matroids under deletion
We provide a deletion formula for the inverse Kazhdan--Lusztig polynomial and the inverse $Z$-polynomial of a matroid. Our formulas provide analogues to the deletion formulas of Braden--Vysogorets for Kazhdan--Lusztig and $Z$-polynomials. We discuss several consequences, which include closed formulas and recursions for these invariants on uniform matroids, projective geometries, glued cycles, and arbitrary matroids of corank $2$. As a relevant application of our deletion formula, we show the existence of a matroid of rank $19$ which disproves a conjecture of Xie and Zhang concerning a real-rootedness property of inverse Kazhdan--Lusztig polynomials.
On partitions associated with elementary symmetric polynomials
The elementary symmetric partition function is a map on the set of partitions. It sends a partition lambda to the partition whose parts are the summands in the evaluation of the elementary symmetric function on the parts of lambda. These elementary symmetric partition functions have been studied before, and are related to plethysm. In this note, we study properties of the elementary symmetric partition functions, particularly related to injectivity and the number of parts appearing in their image partitions.
Perfect Fractional Matchings in Bipartite Graphs Via Proportional Allocations
Given a bipartite graph that has a perfect matching, a prefect proportional allocation is an assignment of positive weights to the nodes of the right partition so that every left node is fractionally assigned to its neighbors in proportion to their weights, and these assignments define a fractional perfect matching. We prove that a bipartite graph has a perfect proportional allocation if and only if it is matching covered, by using a classical result on matrix scaling. We also present an extension of this result to provide simple proportional allocations in non-matching-covered bipartite graphs.
Degree sequences realizing labelled perfect matchings
Let $n\in \mathbb{N}$ and $d_1 \geq d_2 \geq d_n\geq 1$ be integers. There is characterization of when $(d_1, d_1, \ldots, d_n)$ is the degree sequence of a graph containing a perfect matching, due to results of Lovász (1974) and Erdős and Gallai (1960). But \emph{which} perfect matchings can be realized in the labelled graph? Here we find the extremal answers to this question, showing that the sequence $(d_1, d_2, \ldots, d_n)$: (1) can realize a perfect matching iff it can realize $\{(1, n), (2,n-1), \ldots, (n/2, n/2+1)\}$, and; (2) can realize any perfect matching iff it can realize $\{(1, 2), (3,4), \ldots, (n-1, n)\}$. Our main result is a characterization of when (2) occurs, extending the work of Lovász and Erdős and Gallai. Separately, we are also able to establish a conjecture of Yin and Busch, Ferrera, Hartke, Jacobsen, Kaul, and West about packing graphic sequences, establishing a degree-sequence analog of the Sauer-Spencer packing theorem. We conjecture an $h$-factor analog of our main result, and discuss implications for packing $h$ disjoint perfect matchings.
Kostant $ρ$-decomposition of homology I. Finite-dimensional representations
We give explicit, uniform formulas for the graded characters and total ranks of the Lie algebra homology of finite-dimensional representations in all classical types. In many cases, these compute the Tor groups of finite length modules over polynomial rings, and this is the first in a series of papers to investigate total rank conjectures from this perspective. These formulas refine and generalize the classical $ρ$-decomposition of Kostant, and in particular we prove that the characters involved exhibit three structural phenomena: divisibility (by a large power of 2), equidistribution, and uniform factorization formulas.
Admissible set and squarefree-power-like function with applications to squarefree symbolic powers
We introduce the abstract notion of squarefree-power-like functions, which unify the sequences of squarefree ordinary and symbolic powers of squarefree monomial ideals. By employing the Tor-vanishing criteria for mixed sums of ideals, we establish sharp lower bounds for their Castelnuovo-Mumford regularity in terms of what we call the admissible set of the associated hypergraph. As an application, we derive the first general combinatorial lower bound for the regularity of squarefree symbolic powers of monomial ideals. In the setting of edge ideals, by exploiting the special combinatorial structures of block graphs and Cohen-Macaulay chordal graphs, we show that this bound turns into an exact formula for all squarefree symbolic powers of block graphs, as well as for the second squarefree symbolic powers of edge ideals of Cohen-Macaulay chordal graphs.
Asymptotic Face Distributions in Random Reduced $\mathfrak s\mathfrak l_3$ Webs
We study the distribution of interior faces in uniformly random reduced $\mathfrak s \mathfrak l_3$ webs. Using Tymoczko's bijection between $3\times n$ standard Young tableaux and reduced webs, this problem can be reformulated in terms of constrained lattice paths and associated $m$-diagrams. We develop a framework that expresses crossing probabilities in the $m$-diagram as solutions to discrete Dirichlet problems on the triangular lattice, which are evaluated through solutions to lattice Green's functions. From this we obtain explicit limiting formulas for the frequencies of interior faces of each type. As an application, we analyze faces at a distance at least $d$ from the boundary. We prove that almost all interior faces far from the boundary are hexagons, while faces of size $6+2k$ occur with probability $O(d^{-2k})$.
Competitively Constructed Planar Graphs
We introduce and study two Maker-Breaker-like games for constructing planar graphs: the edge drawing game, where two players take turns drawing non-intersecting edges between points in the plane, and the circle packing game, where the players take turns placing disjoint circles in the plane. Both games produce planar graphs: the edge drawing game results in a plane graph drawing, and the circle packing game yields a planar graph via the contact graph of the packing. For both games, we give necessary conditions under which a given planar graph can be constructed. We also show that the two games are indeed different by giving a class of graphs which can be constructed in one but not the other.
Zero-free regions for the independence polynomial on restricted graph classes
Generalising the Heilman-Lieb Theorem from statistical physics, Chudnovsky and Seymour [J. Combin. Theory Ser. B, 97(3):350--357] showed that the univariate independence polynomial of any claw-free graph has all of its zeros on the negative real line. In this paper, we show that for any fixed subdivded claw $H$ and any $Δ$, there is an open set $F \subseteq \mathbb{C}$ containing $[0, \infty)$ such that the independence polynomial of any $H$-free graph of maximum degree $Δ$ has all of its zeros outside of $F$. We also show that no such result can hold when $H$ is any graph other than a subdivided claw or if we drop the maximum degree condition.
We also establish zero-free regions for the multivariate independence polynomial of $H$-free graphs of bounded degree when $H$ is a subdivided claw. The statements of these results are more subtle, but are again best possible in various senses.
Clique number of xor-powers of Kneser graphs
Let $f_\ell(n, k)$ denote the clique number of the xor-product of $\ell$ isomorphic Kneser graphs KG(n,k). Alon and Lubetzky investigated the case of complete graphs as a coding theory problem and showed $f_\ell(n,1)\leq \ell n +1$. Imolay, Kocsis, and Schweitzer proved that $f_2(n,k)\leq n/k +c(k)$.
Here, the order of magnitude of $c(k)$ is determined to be $Θ\left( k \binom{2k}{k} \right)$. By explicit constructions and by an algebraic proof, it is shown that $\ell n- 2\ell-1 \leq f_\ell(n,1)\leq \ell n-\ell+1$ (for all $n \geq 1$ and $\ell\geq 3$). Finally, it is proved that the order of magnitude of $f$ lies between $Ω\left(n^{\left\lfloor \log_2(\ell+1)\right\rfloor}\right)$ and $O\left(n^{\left\lfloor \frac{\ell+1}{2} \right\rfloor} \right)$ (as $\ell$, $k$ are given and $n\to \infty$).
We conjecture that the lower bound gives the correct exponent.
Zeros and Orthogonality of generalized Fibonacci polynomials
This paper analyzes the concept of orthogonality in second-order polynomial sequences that have Binet formula similar to that of the Fibonacci and Lucas numbers, referred to as Generalized Fibonacci Polynomials (GFP). We give a technique to find roots of the GFP. As a corollary of this result, we give an alternative proof of a special case of Favard's Theorem. The general case of Favard's Theorem guarantees that there is a measure to determine whether a sequence of second-order polynomials is orthogonal or not. However, the theorem does not provide an explicit such measure. Our special case gives both the explicit measure and the relationship between the second-order recurrence and orthogonality, demonstrating whether the GFP polynomials are orthogonal or not. This allows us to classify which of familiar GFPs are orthogonal and which are not. Some familiar orthogonal polynomials include the Fermat, Fermat-Lucas, both types of Chebyshev polynomials, both types of Morgan-Voyce polynomials, and Vieta and Vieta-Lucas polynomials. However, we prove that the Fibonacci, Lucas, Pell, and Pell-Lucas sequences are not orthogonal.
In Section \ref{sectionrw}, we give a brief description of discrete--time and continuous--time Morkov chains with special emphasis on birth-and-death stochastic processes.
We find sufficient conditions on the polynomial's coefficients under which a given family of orthogonal polynomial induces a Markov chain. These families of orthogonal polynomials include Chebyshev polynomials of first kind and Fermat-Lucas.
In the final section, we highlight some connections between orthogonal polynomials and Markov processes. These relations are not new but seem to have been somewhat forgotten. We do so to draw the attention of researchers in the orthogonal polynomial and probability communities for further collaboration.
$7$-located locally $5$-large complexes are aspherical
We prove that $7$-located locally $5$-large simplicial complexes are aspherical.
A degree sum condition for the existence of a quasi 5-contractible edge in a quasi 5-connected graph
An edge of a quasi $k$-connected graph is said to be quasi $k$-contractible if the contraction of the edge results in a quasi $k$-connected graph. We show that every 5-connected graph contains a quasi 5-contractible edge. Furthermore, we prove that a quasi 5-connected graph possesses a quasi 5-contractible edge, if the degree sum of any two vertices with distance at most two is at least 9. This result strengthens a theorem proved by Kriesell when $k=4$ (M. Kriesell, A degree sum condition for the existence of a contractible edge in a $k$-connected graph, J. Combin. Theory Ser. B 82(2001)81-101).
Signless Laplacian characterization of cones over disjoint unions of cycles, edges and isolated vertices
Two graphs are said to be $Q$-cospectral if they share the same signless Laplacian spectrum. A simple graph is said to be determined by its signless Laplacian spectrum (abbreviated as DQS) if there exists no other non-isomorphic simple graph with the same signless Laplacian spectrum. In this paper, we establish the following results:
(1) Let$G \cong K_{1} \vee \bigl(C_{k} \cup qK_{2} \cup sK_{1}\bigr),$ with $q,s \geq 1$, $k \geq 4$, and at least $21$ vertices. If $k$ is odd, then $G$ is DQS. Moreover, if $k$ is even and $F$ is $Q$-cospectral with $G$, then $$F \cong G \quad \text{or} \quad F \cong K_{1} \vee \bigl(C_{4} \cup P_{k-3} \cup P_{3} \cup (q-2)K_{2} \cup sK_{1}\bigr).$$
(2) Let $G\cong K_1\vee (C_{k_1}\cup C_{k_2}\cup\cdots \cup C_{k_t}\cup qK_2\cup sK_1)$ with $t\ge 2$, $q,s\ge 1$, $k_i\ge 4$ and at least $33$ vertices. If each $k_i$ is odd, then $G$ is DQS.
(3) The graph $K_{1} \vee \bigl(C_{3} \cup C_{k_{1}} \cup C_{k_{2}} \cup \cdots \cup C_{k_{t-1}} \cup qK_{2} \cup sK_{1}\bigr),$ with $t,q,s \geq 1$ and $k_{i} \geq 3$, is not DQS. Moreover, it is $Q$-cospectral with $K_{1} \vee \bigl(K_{1,3} \cup C_{k_{1}} \cup C_{k_{2}} \cup \cdots \cup C_{k_{t-1}} \cup qK_{2} \cup (s-1)K_{1}\bigr).$
Here $P_{n}$, $C_{n}$, $K_{n}$ and $K_{n-r,r}$ denote the path, the cycle, the complete graph and the complete bipartite graph on $n$ vertices, while $\cup$ and $\vee$ represent the disjoint union and the join of two graphs, respectively. Furthermore, the signless Laplacian spectrum of the graphs under consideration is computed explicitly.