Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Multivariate Fibonacci-like Polynomials and their Applications
The Fibonacci polynomials are defined recursively as $f_{n}(x)=xf_{n-1}(x)+f_{n-2}(x)$, where $f_0(x) = 0$ and $f_1(x)= 1$. We generalize these polynomials to an arbitrary number of variables with the $r$-Fibonacci polynomial. We extend several well-known results such as the explicit Binet formula and a Cassini-like identity, and use these to prove that the $r$-Fibonacci polynomials are irreducible over $\mathbb{C}$ for $n \geq r \geq 3$. Additionally, we derive an explicit sum formula and a generalized generating function. Using these results, we establish connections to ordinary Bell polynomials, exponential Bell polynomials, Fubini numbers, and integer and set partitions.
On Induced Versions of Menger's Theorem on Sparse Graphs
Let $A$ and $B$ be sets of vertices in a graph $G$. Menger's theorem states that for every positive integer $k$, either there exists a collection of $k$ vertex-disjoint paths between $A$ and $B$, or $A$ can be separated from $B$ by a set of at most $k-1$ vertices. Let $Δ$ be the maximum degree of $G$. We show that there exists a function $f(Δ) = (Δ+1)^{Δ^2+1}$, so that for every positive integer $k$, either there exists a collection of $k$ vertex-disjoint and pairwise anticomplete paths between $A$ and $B$, or $A$ can be separated from $B$ by a set of at most $k \cdot f(Δ)$ vertices. We also show that the result can be generalized from bounded-degree graphs to graphs excluding a topological minor. On the negative side, we show that no such relation holds on graphs that have degeneracy 2 and arbitrarily large girth, even when $k = 2$. Similar results were obtained independently and concurrently by Hendrey, Norin, Steiner, and Turcotte [arXiv:2309.07905].
On the first two eigenvalues of regular graphs
Published
• View Publication
• BIB
Let $G$ be a regular graph with $m$ edges, and let $μ_1, μ_2$ denote the two largest eigenvalues of $A_G$, the adjacency matrix of $G$. We show that, if $G$ is not complete, then
$$μ_1^2 + μ_2^2 \leq \frac{2(ω- 1)}ω m$$
where $ω$ is the clique number of $G$. This confirms a conjecture of Bollobás and Nikiforov for regular graphs. We also show that equality holds if and only if $G$ is either a balanced Turán graph or the disjoint union of two balanced Turán graphs of the same size.
A Cross Entropy Approach to the Domination Problem and its Variants
Published
• View Publication
• BIB
The domination problem and several of its variants (total domination, 2-domination and secure domination) are considered. These problems have various real-world applications, but are NP-hard to solve to provable optimality, making fast heuristics for these problems desirable. There is a wealth of highly-developed heuristics and approximation algorithms for the domination problem, however such heuristics are much less common for variants of the domination problem. We redress this by proposing an implementation of the cross entropy method that can be applied to any sensible variant of domination. We present results from experiments which demonstrate that this approach can produce good results in an efficient manner even for larger graphs, and that it works roughly as well for any of the domination variants considered.
Crystal Structure of Upper Cluster Algebras
We describe the upper seminormal crystal structure for the $μ$-supported $δ$-vectors for any quiver with potential with reachable frozen vertices, or equivalently for the tropical points of the corresponding cluster $\mc{X}$-variety. We show that the crystal structure can be algebraically lifted to the generic basis of the upper cluster algebra. This can be viewed as an additive categorification of the crystal structure arising from cluster algebras. We introduce the biperfect bases in the cluster algebra setting and give a description of all biperfect bases, which are parametrized by lattice points in a product of polyhedral sets. We illustrate this theory from classical examples and new examples.
Forbidden Tournaments and the Orientation Completion Problem
Published
• View Publication
• BIB
For a fixed finite set of finite tournaments ${\mathcal F}$, the ${\mathcal F}$-free orientation problem asks whether a given finite undirected graph $G$ has an $\mathcal F$-free orientation, i.e., whether the edges of $G$ can be oriented so that the resulting digraph does not embed any of the tournaments from ${\mathcal F}$. We prove that for every ${\mathcal F}$, this problem is in P or NP-complete. Our proof reduces the classification task to a complete complexity classification of the orientation completion problem for ${\mathcal F}$, which is the variant of the problem above where the input is a directed graph instead of an undirected graph, introduced by Bang-Jensen, Huang, and Zhu (2017). Our proof uses results from the theory of constraint satisfaction, and a result of Agarwal and Kompatscher (2018) about infinite permutation groups and transformation monoids.
Effective bounds for Roth's theorem with shifted square common difference
Let $S$ be a subset of $\{1,\ldots,N\}$ avoiding the nontrivial progressions $x, x+y^2-1, x+ 2(y^2-1)$. We prove that $|S|\ll N/\log_m{N}$, where $\log_m $ is the $m$-fold iterated logarithm and $m\in\mathbf{N}$ is an absolute constant. This answers a question of Green.
Gallai-Ramsey multiplicity for rainbow small trees
Published
• View Publication
• BIB
Let $G, H$ be two non-empty graphs and $k$ be a positive integer. The Gallai-Ramsey number $\operatorname{gr}_k(G:H)$ is defined as the minimum positive integer $N$ such that for all $n\geq N$, every $k$-edge-coloring of $K_n$ contains either a rainbow subgraph $G$ or a monochromatic subgraph $H$. The Gallai-Ramsey multiplicity $\operatorname{GM}_k(G:H)$ is defined as the minimum total number of rainbow subgraphs $G$ and monochromatic subgraphs $H$ for all $k$-edge-colored $K_{\operatorname{gr}_k(G:H)}$. In this paper, we get some exact values of the Gallai-Ramsey multiplicity for rainbow small trees versus general monochromatic graphs under a sufficiently large number of colors. We also study the bipartite Gallai-Ramsey multiplicity.
Diagonally symmetric alternating sign matrices
The enumeration of diagonally symmetric alternating sign matrices (DSASMs) is studied, and a Pfaffian formula is obtained for the number of DSASMs of any fixed size, where the entries for the Pfaffian are positive integers given by simple binomial coefficient expressions. This result provides the first known case of an exact enumeration formula for an alternating sign matrix symmetry class in which a simple product formula does not seem to exist. Pfaffian formulae are also obtained for DSASM generating functions associated with several natural statistics, including the number of nonzero strictly upper triangular entries in a DSASM, the number of nonzero diagonal entries in a DSASM, and the column of the unique 1 in the first row of a DSASM. The proofs of these results involve introducing a version of the six-vertex model whose configurations are in bijection with DSASMs of fixed size, and obtaining a Pfaffian expression for its partition function. Various further results and conjectures are also obtained, including some related to the exact enumeration of off-diagonally symmetric alternating sign matrices, and some related to the asymptotic enumeration of DSASMs and other classes of alternating sign matrices.
Stability conditions for line bundles on nodal curves
Published in Forum of Mathematics, Sigma 12 (2024) e87
• View Publication
• BIB
We introduce the abstract notion of a \emph{smoothable fine compactified Jacobian} of a nodal curve, and of a family of nodal curves whose general element is smooth. Then we introduce the notion of a combinatorial stability condition for line bundles and their degenerations. We prove that smoothable fine compactified Jacobians are in bijection with these stability conditions. We then turn our attention to \emph{fine compactified universal Jacobians}, that is, fine compactified Jacobians for the moduli space $\overline{\mathcal{M}}_g$ of stable curves (without marked points). We prove that every fine compactified universal Jacobian is isomorphic to the one first constructed by Caporaso, Pandharipande and Simpson in the nineties. In particular, without marked points, there exists no fine compactified universal Jacobian unless $\gcd(d+1-g, 2g-2)=1$.
On the rna number of powers of cycles
A signed graph $(G,σ)$ on $n$ vertices is called a \textit{parity signed graph} if there is a bijective mapping $f \colon V(G) \rightarrow \{1,\ldots,n\}$ such that $f(u)$ and $f(v)$ have same parity if $σ(uv)=1$, and opposite parities if $σ(uv)=-1$ for each edge $uv$ in $G$. The \emph{rna} number $σ^{-}(G)$ of $G$ is the least number of negative edges among all possible parity signed graphs over $G$. In other words, $σ^{-}(G)$ is the smallest size of an edge-cut of $G$ such that the sizes of two sides differ at most one.
Let $C_n^{d}$ be the $d\text{th}$ power of a cycle of order $n$. Recently, Acharya, Kureethara and Zaslavsky proved that the \emph{rna} number of a cycle $C_n$ on $n$ vertices is $2$. In this paper, we show for $2 \leq d < \lfloor \frac{n}{2} \rfloor$ that $2d \leq σ^{-}(C_n^{d}) \leq d(d+1)$. Moreover, we prove that the graphs $C_n^{2}$ and $C_n^{3}$ achieve the upper bound of $d(d+1)$.
A generalization of the dual immaculate quasisymmetric functions in partially commutative variables
Published in Electron. J. Combin. 31.2 (2024) P2.7
• View Publication
• BIB
We define a new pair of dual bases that generalize the immaculate and dual immaculate bases to the colored algebras $QSym_A$ and $NSym_A$. The colored dual immaculate functions are defined combinatorially via tableaux, and we present results on their Hopf algebra structure, expansions to and from other bases, and skew functions. For the colored immaculate functions, defined using creation operators, we study expansions to and from other bases and provide a right Pieri rule. This includes a combinatorial method for expanding colored immaculate functions into the colored ribbon basis that specializes to a new analogous result in the uncolored case. We use the same methods to define colored generalizations of the row-strict immaculate and row-strict dual immaculate functions with similar results.
On the size of Bruhat intervals
Published
• View Publication
• BIB
For affine Weyl groups and elements associated to dominant coweights, we present a convex geometry formula for the size of the corresponding lower Bruhat intervals. Extensive computer calculations for these groups have led us to believe that a similar formula exists for all lower Bruhat intervals.
On the maximum second eigenvalue of outerplanar graphs
Published
• View Publication
• BIB
For a fixed positive integer $k$ and a graph $G$, let $λ_k(G)$ denote the $k$-th largest eigenvalue of the adjacency matrix of $G$. In 2017, Tait and Tobin proved that the maximum $λ_1(G)$ among all outerplanar graphs on $n$ vertices is achieved by the fan graph $K_1\vee P_{n-1}$. In this paper, we consider a similar problem of determining the maximum $λ_2$ among all connected outerplanar graphs on $n$ vertices. For $n$ even and sufficiently large, we prove that the maximum $λ_2$ is uniquely achieved by the graph $(K_1\vee P_{n/2-1})\!\!-\!\!(K_1\vee P_{n/2-1})$, which is obtained by connecting two disjoint copies of $(K_1\vee P_{n/2-1})$ through a new edge joining their smallest degree vertices. When $n$ is odd and sufficiently large, the extremal graphs are not unique. The extremal graphs are those graphs $G$ that contain a cut vertex $u$ such that $G\setminus \{u\}$ is isomorphic to $2(K_1\vee P_{n/2-1})$. We also determine the maximum $λ_2$ among all 2-connected outerplanar graphs and asymptotically determine the maximum of $λ_k(G)$ among all connected outerplanar graphs for any fixed $k$.
Update on Sidon-Ramsey numbers
Published
• View Publication
• BIB
We provide two new exact Sidon-Ramsey numbers to the list known so far. We also improve the upper bounds of the next two Sidon-Ramsey numbers. In doing so, we comment on the tendencies we found on the Sidon-Ramsey partitions that were studied to obtain these results.
The additive-multiplicative distance matrix of a graph, and a novel third invariant
Graham showed with Pollak and Hoffman-Hosoya that for any directed graph $G$ with strong blocks $G_e$, the determinant $\det(D_G)$ and cofactor-sum $cof(D_G)$ of the distance matrix $D_G$ can be computed from the same quantities for the blocks $G_e$. This was extended to trees - and in our recent work to any graph - with multiplicative and $q$-distance matrices. For trees, we went further and unified all previous variants with weights in a unital commutative ring, into a distance matrix with additive and multiplicative edge-data.
In this work: (1) We introduce the additive-multiplicative distance matrix $D_G$ of every strongly connected graph $G$, using what we term the additive-multiplicative block-datum $\mathcal{G}$. This subsumes the previously studied additive, multiplicative, and $q$-distances for all graphs. (2) We introduce an invariant $κ(D_G)$ that seems novel to date, and use it to show "master" Graham-Hoffman-Hosoya (GHH) identities, which express $\det(D_G), cof(D_G)$ in terms of the blocks $G_e$. We show how these imply all previous variants. (3) We show $\det(.), cof(.), κ(.)$ depend only on the block-data for not just $D_G$, but also several minors of $D_G$. This was not studied in any setting to date; we show it in the "most general" additive-multiplicative setting, hence in all known settings. (4) We compute $D_G^{-1}$ in closed-form; this specializes to all known variants. In particular, we recover our previous formula for $D_T^{-1}$ for additive-multiplicative trees (which itself specializes to a result of Graham-Lovasz and answers a 2006 question of Bapat-Lal-Pati.) (5) We also show that not the Laplacian, but a closely related matrix is the "correct" one to use in $D_G^{-1}$ - for the most general additive-multiplicative matrix $D_G$ of each $G$. As examples, we compute in closed form $\det(D_G), cof(D_G), κ(D_G), D_G^{-1}$ for hypertrees.
The discrepancy of greater-than
The discrepancy of the $n \times n$ greater-than matrix is shown to be $\fracπ{2 \ln n}$ up to lower order terms.
Explicit Expressions for Moments of the Duration of a 3-Player Gambler's Ruin
Using experimental mathematics and symbolic computation, we derive many moments for the duration of a three player (fair) gambler's ruin.
Log-concavity with respect to the number of orbits for infinite tuples of commuting permutations
Published
• View Publication
• BIB
Let $A(p,n,k)$ be the number of $p$-tuples of commuting permutations of $n$ elements whose permutation action results in exactly $k$ orbits or connected components. We formulate the conjecture that, for every fixed $p$ and $n$, the $A(p,n,k)$ form a log-concave sequence with respect to $k$. For $p=1$ this is a well known property of unsigned Stirling numbers of the first kind. As the $p=2$ case, our conjecture includes a previous one by Heim and Neuhauser, which strengthens a unimodality conjecture for the Nekrasov-Okounkov hook length polynomials. In this article, we prove the $p=\infty$ case of our conjecture. We start from an expression for the $A(p,n,k)$ which follows from an identity by Bryan and Fulman, obtained in the their study of orbifold higher equivariant Euler characteristics. We then derive the $p\rightarrow\infty$ asymptotics. The last step essentially amounts to the log-concavity in $k$ of a generalized Turán number, namely, the maximum product of $k$ positive integers whose sum is $n$.
On Ideal Secret-Sharing Schemes for $k$-homogeneous access structures
A $k$-uniform hypergraph is a hypergraph where each $k$-hyperedge has exactly $k$ vertices. A $k$-homogeneous access structure is represented by a $k$-uniform hypergraph $\mathcal{H}$, in which the participants correspond to the vertices of hypergraph $\mathcal{H}$. A set of vertices can reconstruct the secret value from their shares if they are connected by a $k$-hyperedge, while a set of non-adjacent vertices does not obtain any information about the secret. One parameter for measuring the efficiency of a secret sharing scheme is the information rate, defined as the ratio between the length of the secret and the maximum length of the shares given to the participants. Secret sharing schemes with an information rate equal to one are called ideal secret sharing schemes. An access structure is considered ideal if an ideal secret sharing scheme can realize it. Characterizing ideal access structures is one of the important problems in secret sharing schemes. The characterization of ideal access structures has been studied by many authors~\cite{BD, CT,JZB, FP1,FP2,DS1,TD}. In this paper, we characterize ideal $k$-homogeneous access structures using the independent sequence method. In particular, we prove that the reduced access structure of $Γ$ is an $(k, n)$-threshold access structure when the optimal information rate of $Γ$ is larger than $\frac{k-1}{k}$, where $Γ$ is a $k$-homogeneous access structure satisfying specific criteria.