Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Partitions With Designated Summands Not Divisible by $2^l$, $2$, and $3^l$ Modulo $2$, $4$, and $3$
Published in INTEGERS 23 (2023), Article A43
• Search Publication
Numerous congruences for partitions with designated summands have been proven since first being introduced and studied by Andrews, Lewis, and Lovejoy. This paper explicitly characterizes the number of partitions with designated summands whose parts are not divisible by $2^\ell$, $2$, and $3^\ell$ working modulo $2,\ 4,$ and $3$, respectively, greatly extending previous results on the subject. We provide a few applications of our characterizations throughout in the form of congruences and a computationally fast recurrence. Moreover, we illustrate a previously undocumented connection between the number of partitions with designated summands and the number of partitions with odd multiplicities.
Trivalent vertex-transitive graphs with infinite vertex-stabilizers
We study groups acting vertex-transitively on connected, trivalent graphs such that stabilizers of vertices are infinite. If the action is edge-transitive, we prove that the graph has to be a tree. We analyze the case where the action is not edge-transitive and fully classify the possible $2$-ended graphs. We draw connections to Willis' scale function and re-prove a result by Trofimov.
Kempe equivalence of $4$-critical planar graphs
Published
• View Publication
• BIB
Answering a question of Mohar from 2007, we show that for every $4$-critical planar graph, its set of $4$-colorings is a Kempe class.
Hypersurface singularities with monomial Jacobian ideal
Published in Bull. London Math. Soc. 54,3 (2022), 1067-1081
• View Publication
• BIB
We show that every convergent power series with monomial extended Jacobian ideal is right equivalent to a Thom-Sebastiani polynomial. This solves a problem posed by Hauser and Schicho. On the combinatorial side, we introduce a notion of Jacobian semigroup ideal involving a transversal matroid. For any such ideal we construct a defining Thom-Sebastiani polynomial. On the analytic side, we show that power series with a quasihomogeneous extended Jacobian ideal are strongly Euler homogeneous. Due to a Mather-Yau-type theorem, such power series are determined by their Jacobian ideal up to right equivalence.
A transitivity result for ad-nilpotent ideals in type A
Published
• View Publication
• BIB
The paper considers subspaces of the strictly upper triangular matrices, which are stable under Lie bracket with any upper triangular matrix. These subspaces are called ad-nilpotent ideals and there are Catalan number of such subspaces. Each ad-nilpotent ideal meets a unique largest nilpotent orbit in the Lie algebra of all matrices. The main result of the paper is that under an equivalence relation on ad-nilpotent ideals studied by Mizuno and others, the equivalence classes are the ad-nilpotent ideals with the same largest nilpotent orbit. We include two applications of the result, one to the higher vanishing of cohomology groups of vector bundles on the flag variety and another to the Kazhdan-Lusztig cells in the affine Weyl group of the symmetric group. Finally, some combinatorial results are discussed.
Diagonal Sums of Doubly Stochastic Matrices
Published
• View Publication
• BIB
Let $Ω_n$ denote the class of $n \times n$ doubly stochastic matrices (each such matrix is entrywise nonnegative and every row and column sum is 1). We study the diagonals of matrices in $Ω_n$. The main question is: which $A \in Ω_n$ are such that the diagonals in $A$ that avoid the zeros of $A$ all have the same sum of their entries. We give a characterization of such matrices, and establish several classes of patterns of such matrices.
Convex $(0,1)$-Matrices and Their Epitopes
Published
• View Publication
• BIB
We investigate $(0,1)$-matrices that are {\em convex}, which means that the ones are consecutive in every row and column. These matrices occur in discrete tomography. The notion of ranked essential sets, known for permutation matrices, is extended to convex sets. We show a number of results for the class $\mc{C}(R,S)$ of convex matrices with given row and column sum vectors $R$ and $S$. Also, it is shown that the ranked essential set uniquely determines a matrix in $\mc{C}(R,S)$.
Sign-restricted matrices of $0$'s, $1$'s, and $-1$'s
Published
• View Publication
• BIB
We study {\em sign-restricted matrices} (SRMs), a class of rectangular $(0, \pm 1)$-matrices generalizing the alternating sign matrices (ASMs). In an SRM each partial column sum, starting from row 1, equals 0 or 1, and each partial row sum, starting from column 1, is nonnegative. We determine the maximum number of nonzeros in SRMs and characterize the possible row and column sum vectors. Moreover, a number of results on interchange operations are shown, both for SRMs and, more generally, for $(0, \pm 1)$-matrices. The Bruhat order on ASMs can be extended to SRMs with the result a distributive lattice. Also, we study polytopes associated with SRMs and some relates decompositions.
Asymptotics of the Number of Endpoints of a Random Walk on a Certain Class of Directed Metric Graphs
Published
• View Publication
• BIB
A certain class of directed metric graphs is considered. Asymptotics for a number of possible endpoints of a random walk at large times is found.
Generalized saturation problems for cliques, paths, and stars
A graph $G$ is $F$-saturated if it does not contain any copy of $F$, but the addition of any missing edge in $G$ creates at least one copy of $F$. Inspired by work of Alon and Shikhelman regarding a similar question for $F$-free graphs, Kritschgau, Methuku, Tait, and Timmons introduced the parameter of $\text{sat}_H(n,F)$ to denote the minimum number of copies of some subgraph $H$ in an $F$-saturated graph on $n$ vertices. In this paper, we address this generalized saturation problem with special focus on $\text{sat}_{K_r}(n,S_t)$ and $\text{sat}_{S_r}(n,S_t)$ This relates to recent work by Chakraborti and Loh regarding $\text{sat}_{K_r}(n,K_t)$ and by Ergemlidze, Methuku, Tait, and Timmons regarding $\text{sat}_{S_r}(n,K_t)$. We also provide some results regarding paths and arbitrary trees.
Best-response dynamics, playing sequences, and convergence to equilibrium in random games
Published
• View Publication
• BIB
We analyze the performance of the best-response dynamic across all normal-form games using a random games approach. The playing sequence -- the order in which players update their actions -- is essentially irrelevant in determining whether the dynamic converges to a Nash equilibrium in certain classes of games (e.g. in potential games) but, when evaluated across all possible games, convergence to equilibrium depends on the playing sequence in an extreme way. Our main asymptotic result shows that the best-response dynamic converges to a pure Nash equilibrium in a vanishingly small fraction of all (large) games when players take turns according to a fixed cyclic order. By contrast, when the playing sequence is random, the dynamic converges to a pure Nash equilibrium if one exists in almost all (large) games.
Hankel determinants of linear combinations of moments of orthogonal polynomials, II
Published in Ramanujan J. 61 (2023), 597-627
• View Publication
• BIB
We present a formula that expresses the Hankel determinants of a linear combination of length $d+1$ of moments of orthogonal polynomials in terms of a $d\times d$ determinant of the orthogonal polynomials. This formula exists somehow hidden in the folklore of the theory of orthogonal polynomials but deserves to be better known, and be presented correctly and with full proof. We present four fundamentally different proofs, one that uses classical formulae from the theory of orthogonal polynomials, one that uses a vanishing argument and is due to Elouafi [J. Math. Anal. Appl. 431} (2015), 1253-1274] (but given in an incomplete form there), one that is inspired by random matrix theory and is due to Brézin and Hikami [Comm. Math. Phys. 214 (2000), 111-135], and one that uses (Dodgson) condensation. We give two applications of the formula. In the first application, we explain how to compute such Hankel determinants in a singular case. The second application concerns the linear recurrence of such Hankel determinants for a certain class of moments that covers numerous classical combinatorial sequences, including Catalan numbers, Motzkin numbers, central binomial coefficients, central trinomial coefficients, central Delannoy numbers, Schröder numbers, Riordan numbers, and Fine numbers.
Enumerating Staircase Diagrams and Smooth Schubert Varieties over type $E$ Dynkin Diagrams
We enumerate the number of staircase diagrams over classically finite $E$-type Dynkin diagrams, extending the work of Richmond and Slofstra (Staircase Diagrams and Enumeration of smooth Schubert varieties) and completing the enumeration of staircase diagrams over finite type Dynkin diagrams. The staircase diagrams are in bijection to smooth and rationally smooth Schubert varieties over $E$-type thereby giving an enumeration of these varieties.
Treewidth of the $q$-Kneser graphs
Let $V$ be an $n$-dimensional vector space over a finite field $\mathbb{F}_q$, where $q$ is a prime power. Define the \emph{generalized $q$-Kneser graph} $K_q(n,k,t)$ to be the graph whose vertices are the $k$-dimensional subspaces of $V$ and two vertices $F_1$ and $F_2$ are adjacent if $\dim(F_1\cap F_2)<t$. Then $K_q(n,k,1)$ is the well-known $q$-Kneser graph. In this paper, we determine the treewidth of $K_q(n,k,t)$ for $n\geq 2t(k-t+1)+k+1$ and $t\ge 1$ exactly. Note that $K_q(n,k,k-1)$ is the complement of the Grassmann graph $G_q(n,k)$. We give a more precise result for the treewidth of $\overline{G_q(n,k)}$ for any possible $n$, $k$ and $q$.
Transformations of Rectangular Dualizable Graphs
A plane graph is said to be a rectangular graph if each of its edges can be oriented horizontal or vertical, its internal regions are four-sided and it has a rectangular enclosure. If dual of a planar graph is a rectangular graph, then the graph is said to be a rectangular dualizable graph (RDG). In this paper, we present adjacency transformations between RDGs and present polynomial time algorithms for their transformations. An RDG $\mathcal{G}=(V, E)$ is called maximal RDG (MRDG) if there does not exist an RDG $\mathcal{G'}=(V, E')$ with $E' \supset E$. An RDG $\mathcal{G}=(V, E)$ is said to be an edge-reducible if there exists an RDG $\mathcal{G'}=(V, E')$ such that $E\supset E'$. If an RDG is not edge-reducible, it is said to be an edge-irreducible RDG. We show that there always exists an MRDG for a given RDG. We also show that an MRDG is edge-reducible and can always be transformed to a minimal one (an edge-irreducible RDG).
On the Falk invariant of Shi and Linial arrangements
Published
• View Publication
• BIB
It is an open question to give a combinatorial interpretation of the Falk invariant of a hyperplane arrangement, i.e. the third rank of successive quotients in the lower central series of the fundamental group of the arrangement. In this article, we give a combinatorial formula for this invariant in the case of hyperplane arrangements that are complete lift representation of certain gain graphs. As a corollary, we compute the Falk invariant for the cone of the braid, Shi, Linial and semiorder arrangements.
Pure pairs. VII. Homogeneous submatrices in 0/1-matrices with a forbidden submatrix
Published
• View Publication
• BIB
For integer $n>0$, let $f(n)$ be the number of rows of the largest all-0 or all-1 square submatrix of $M$, minimized over all $n\times n$ $0/1$-matrices $M$. Thus $f(n)= O(\log n)$. But let us fix a matrix $H$, and define $f_H(n)$ to be the same, minimized over over all $n\times n$ $0/1$-matrices $M$ such that neither $M$ nor its complement (that is, change all $0$'s to $1$'s and vice versa) contains $H$ as a submatrix. It is known that $f_H(n)\ge εn^c$, where $c, ε>0$ are constants depending on $H$. When can we take $c=1$? If so, then one of $H$ and its complement must be an acyclic matrix (that is, the corresponding bipartite graph is a forest). Korandi, Pach, and Tomon conjectured the converse, that $f_H(n)$ is linear in $n$ for every acyclic matrix $H$; and they proved it for certain matrices $H$ with only two rows.
Their conjecture remains open, but we show $f_H(n)=n^{1-o(1)}$ for every acyclic matrix $H$; and indeed there is a $0/1$-submatrix that is either $Ω(n)\times n^{1-o(1)}$ or $n^{1-o(1)}\times Ω(n)$.
Beyond Helly graphs: the diameter problem on absolute retracts
Published
• View Publication
• BIB
Characterizing the graph classes such that, on $n$-vertex $m$-edge graphs in the class, we can compute the diameter faster than in ${\cal O}(nm)$ time is an important research problem both in theory and in practice. We here make a new step in this direction, for some metrically defined graph classes. Specifically, a subgraph $H$ of a graph $G$ is called a retract of $G$ if it is the image of some idempotent endomorphism of $G$. Two necessary conditions for $H$ being a retract of $G$ is to have $H$ is an isometric and isochromatic subgraph of $G$. We say that $H$ is an absolute retract of some graph class ${\cal C}$ if it is a retract of any $G \in {\cal C}$ of which it is an isochromatic and isometric subgraph. In this paper, we study the complexity of computing the diameter within the absolute retracts of various hereditary graph classes. First, we show how to compute the diameter within absolute retracts of bipartite graphs in randomized $\tilde{\cal O}(m\sqrt{n})$ time. For the special case of chordal bipartite graphs, it can be improved to linear time, and the algorithm even computes all the eccentricities. Then, we generalize these results to the absolute retracts of $k$-chromatic graphs, for every fixed $k \geq 3$. Finally, we study the diameter problem within the absolute retracts of planar graphs and split graphs, respectively.
On $3-2-1$ values of finite multiple harmonic $q$-series at roots of unity
Published
• View Publication
• BIB
We mainly answer two open questions about finite multiple harmonic $q$-series on 3-2-1 indices at roots of unity, posed recently by H. Bachmann, Y. Takeyama, and K. Tasaka. Two conjectures regarding cyclic sums which generalize the given results are also provided.
Cohen-Macaulay binomial edge ideals and accessible graphs
Published
• View Publication
• BIB
The cut sets of a graph are special sets of vertices whose removal disconnects the graph. They are fundamental in the study of binomial edge ideals, since they encode their minimal primary decomposition. We introduce the class of accessible graphs as the graphs with unmixed binomial edge ideal and whose cut sets form an accessible set system. We prove that the graphs whose binomial edge ideal is Cohen-Macaulay are accessible and we conjecture that the converse holds. We settle the conjecture for large classes of graphs, including chordal and traceable graphs, providing a purely combinatorial description of Cohen-Macaulayness. The key idea in the proof is to show that both properties are equivalent to a further combinatorial condition, which we call strong unmixedness.