Showing 20 papers (Total: 82374 papers, 47635 authors in database)
A Linear Algorithm for Computing Independence Polynomials of Trees
Published
• View Publication
• BIB
An independent set in a graph is a set of pairwise non-adjacent vertices. Let $α(G)$ denote the cardinality of a maximum independent set in the graph $G = (V, E)$. Gutman and Harary defined the independence polynomial of $G$
\[
I(G;x) = \sum_{k=0}^{α(G)}{s_k}x^{k}={s_0}+{s_1}x+{s_2}x^{2}+...+{s_{α(G)}}x^{α(G)},
\]
where $s_k$ denotes the number of independent sets of cardinality $k$ in the graph $G$. A comprehensive survey on the subject is due to Levit and Mandrescu, where some recursive formulas are allowing to calculate the independence polynomial. A direct implementation of these recursions does not bring about an efficient algorithm. Yosef, Mizrachi, and Kadrawi developed an efficient way for computing the independence polynomials of trees with $n$ vertices, such that a database containing all of the independence polynomials of all the trees with up to $n-1$ vertices is required. This approach is not suitable for big trees, as an extensive database is needed. On the other hand, using dynamic programming, it is possible to develop an efficient algorithm that prevents repeated calculations. In summary, our dynamic programming algorithm runs over a tree in linear time and does not depend on a database.
On the $P_3$-hull number and infecting times of generalized Petersen graphs
The $P_3$-hull number of a graph is the minimum cardinality of an infecting set of vertices that will eventually infect the entire graph under the rule that uninfected nodes become infected if two or more neighbors are infected. In this paper, we study the $P_3$-hull number for generalized Petersen graphs and a number of closely related graphs that arise from surgery or more generalized permutations. In addition, the number of components of the complement of an infecting set of minimum cardinality is calculated for the generalized Petersen graph and shown to always be $1$ or $2$. Moreover, infecting times for infecting sets of minimum cardinality are studied. Bounds are provided and complete information is given in special cases.
On product sets of arithmetic progressions
We prove that the size of the product set of any finite arithmetic progression $\mathcal{A}\subset \mathbb{Z}$ satisfies
\[|\mathcal A \cdot \mathcal A| \ge \frac{|\mathcal A|^2}{(\log |\mathcal A|)^{2θ+o(1)} } ,\] where $2θ=1-(1+\log\log 2)/(\log 2)$ is the constant appearing in the celebrated Erdős multiplication table problem. This confirms a conjecture of Elekes and Ruzsa from about two decades ago.
If instead $\mathcal{A}$ is relaxed to be a subset of a finite arithmetic progression in integers with positive constant density, we prove that \[|\mathcal A \cdot \mathcal A | \ge \frac{|\mathcal A|^{2}}{(\log |\mathcal A|)^{2\log 2- 1 + o(1)}}. \] This solves the typical case of another conjecture of Elekes and Ruzsa on the size of the product set of a set $\mathcal{A}$ whose sumset is of size $O(|\mathcal{A}|)$.
Our bounds are sharp up to the $o(1)$ term in the exponents. We further prove asymmetric extensions of the above results.
On a family of infinite series with reciprocal Catalan numbers
Published
• View Publication
• BIB
We study a certain family of infinite series with reciprocal Catalan numbers. We first evaluate two special candidates of the family in closed form, where we also present some Catalan-Fibonacci relations. Then we focus on the general properties of the family and prove explicit formulas, including two types of integral representations.
Feichtinger Conjectures, $R_\varepsilon$-Conjectures and Weaver's Conjectures for Banach spaces
Motivated from two decades old famous Feichtinger conjectures for frames, $R_\varepsilon$-conjecture and Weaver's conjecture for Hilbert spaces (and their solution by Marcus, Spielman, and Srivastava), we formulate Feichtinger conjectures for p-approximate Schauder frames, $R_\varepsilon$-conjecture, Weaver's conjectures and Akemann-Weaver conjectures for Banach spaces. We also formulate conjectures on p-approximate Schauder frames based on the results of Casazza for frames for Hilbert spaces. We state conjectures and problems for p-approximate Schauder frames based on fundamental inequality for frames for Hilbert spaces and scaling problem for Hilbert space frames. Based on Kothe-Lorch theorem for Riesz bases for Hilbert spaces, we formulate a problem for p-approximate Riesz bases for Banach spaces. We formulate dynamical sampling problem for p-approximate Schauder frames for Banach spaces. We ask phase retrieval problem and norm retrieval problem for p-approximate Schauder frames for Banach spaces. We also formulate discretization problem for continuous p-approximate Schauder frames.
Extremal sequences related to the Jacobi symbol
For a weight-set $A\subseteq \mathbb Z_n$, the $A$-weighted zero-sum constant $C_A(n)$ is defined to be the smallest natural number $k$, such that any sequence of $k$ elements in $\mathbb Z_n$ has an $A$-weighted zero-sum subsequence of consecutive terms. A sequence of length $C_A(n)-1$ in $\mathbb Z_n$ which does not have any $A$-weighted zero-sum subsequence of consecutive terms will be called a $C$-extremal sequence for $A$.
Let $\big(\frac{x}{n}\big)$ denote the Jacobi symbol of $x\in\mathbb Z_n$. We characterize the $C$-extremal sequences for the weight-set $S(n)=\big\{\,x\in U(n):\big(\frac{x}{n}\big)=1\,\big\}$ and for the weight-set $L(n;p)=\big\{\,x\in U(n):\big(\frac{x}{n}\big)=\big(\frac{x}{p}\big)\,\big\}$ where $p$ is a prime divisor of $n$. We can define $D$-extremal sequences for these weight-sets in a way analogous to the definition of $C$-extremal sequences. We also characterize these sequences.
Hamiltonian cycles above expectation in r-graphs and quasi-random r-graphs
Published
• View Publication
• BIB
Let $H_r(n,p)$ denote the maximum number of Hamiltonian cycles in an $n$-vertex $r$-graph with density $p \in (0,1)$. The expected number of Hamiltonian cycles in the random $r$-graph model $G_r(n,p)$ is $E(n,p)=p^n(n-1)!/2$ and in the random graph model $G_r(n,m)$ with $m=p\binom{n}{r}$ it is, in fact, slightly smaller than $E(n,p)$. For graphs, $H_2(n,p)$ is proved to be only larger than $E(n,p)$ by a polynomial factor and it is an open problem whether a quasi-random graph with density $p$ can be larger than $E(n,p)$ by a polynomial factor. For hypergraphs (i.e. $r \ge 3$) the situation is drastically different. For all $r \ge 3$ it is proved that $H_r(n,p)$ is larger than $E(n,p)$ by an {\em exponential} factor and, moreover, there are quasi-random $r$-graphs with density $p$ whose number of Hamiltonian cycles is larger than $E(n,p)$ by an exponential factor.
Extremal total distance of graphs of given radius I
Published in J Graph Theory. 2021; 97:104-122
• View Publication
• BIB
In 1984, Plesník determined the minimum total distance for given order and diameter and characterized the extremal graphs and digraphs. We prove the analog for given order and radius, when the order is sufficiently large compared to the radius. This confirms asymptotically a conjecture of Chen et al. We also state an analog of the conjecture of Chen et al for digraphs and prove it for sufficiently large order.
Maximum size of digraphs of given radius
Published
• View Publication
• BIB
In $1967$, Vizing determined the maximum size of a graph with given order and radius. In $1973$, Fridman answered the same question for digraphs with given order and outradius. We investigate that question when restricting to biconnected digraphs. Biconnected digraphs are the digraphs with a finite total distance and hence the interesting ones, as we want to note a connection between minimizing the total distance and maximizing the size under the same constraints. We characterize the extremal digraphs maximizing the size among all biconnected digraphs of order $n$ and outradius $3$, as well as when the order is sufficiently large compared to the outradius. As such, we solve a problem of Dankelmann asymptotically. We also consider these questions for bipartite digraphs and solve a second problem of Dankelmann partially.
Symmetric Matrices, Signed Graphs, and Nodal Domain Theorems
Published
• View Publication
• BIB
In 2001, Davies, Gladwell, Leydold, and Stadler proved discrete nodal domain theorems for eigenfunctions of generalized Laplacians, i.e., symmetric matrices with non-positive off-diagonal entries. In this paper, we establish nodal domain theorems for arbitrary symmetric matrices by exploring the induced signed graph structure. Our concepts of nodal domains for any function on a signed graph are switching invariant. When the induced signed graph is balanced, our definitions and upper bound estimates reduce to existing results for generalized Laplacians. Our approach provides a more conceptual understanding of Fiedler's results on eigenfunctions of acyclic matrices. This new viewpoint leads to lower bound estimates for the number of strong nodal domains which improves previous results of Berkolaiko and Xu-Yau. We also prove a new type of lower bound estimates by a duality argument.
Lagrangian fillings for Legendrian links of finite or affine Dynkin type
We prove that there are at least as many exact embedded Lagrangian fillings as seeds for Legendrian links of finite type $\mathsf{ADE}$ or affine type $\tilde{\mathsf{D}} \tilde{\mathsf{E}}$. We also provide as many Lagrangian fillings with rotational symmetry as seeds of type $\mathsf{B}$, $\mathsf{G}_2$, $\tilde{\mathsf{G}}_2$, $\tilde{\mathsf{B}}$, or $\tilde{\mathsf{C}}_2$, and with conjugation symmetry as seeds of type $\mathsf{F}_4$, $\mathsf{C}$, $\mathsf{E}_6^{(2)}$, $\tilde{\mathsf{F}}_4$, or $\mathsf{A}_5^{(2)}$. These families are the first known Legendrian links with (infinitely many) exact Lagrangian fillings (with symmetry) that exhaust all seeds in the corresponding cluster structures beyond type $\mathsf{A} \mathsf{D}$. Furthermore, we show that the $N$-graph realization of (twice of) Coxeter mutation of type $\tilde{\mathsf{D}} \tilde{\mathsf{E}}$ corresponds to a Legendrian loop of the corresponding Legendrian links. Especially, the loop of type $\tilde{\mathsf{D}}$ coincides with the one considered by Casals and Ng.
On the Parity of the Generalized Frobenius Partition Functions $φ_k(n)$
Published in Bulletin of the Australian Mathematical Society 106, no. 3 (2022), 431-436
• View Publication
• BIB
In his 1984 Memoir of the American Mathematical Society, George Andrews defined two families of functions, $φ_k(n)$ and $cφ_k(n),$ which enumerate two types of combinatorial objects which Andrews called generalized Frobenius partitions. As part of that Memoir, Andrews proved a number of Ramanujan--like congruences satisfied by specific functions within these two families. In the years that followed, numerous other authors proved similar results for these functions, often with a view towards a specific choice of the parameter $k.$ In this brief note, our goal is to identify an {\bf infinite} family of values of $k$ such that $φ_k(n)$ is even for all $n$ in a specific arithmetic progression; in particular, our primary goal in this work is to prove that, for all positive integers $\ell,$ all primes $p\geq 5,$ and all values $r,$ $0 < r < p,$ such that $24r+1$ is a quadratic nonresidue modulo $p,$
$$
φ_{p\ell-1}(pn+r) \equiv 0 \pmod{2}
$$ for all $n\geq 0.$
Our proof of this result is truly elementary, relying on a lemma from Andrews' Memoir, classical $q$--series results, and elementary generating function manipulations. Such a result, which holds for infinitely many values of $k,$ is rare in the study of arithmetic properties satisfied by generalized Frobenius partitions, primarily because of the unwieldy nature of the generating functions in question.
Partial symmetries of iterated plethysms
Published in Gutiérrez, Á., Rosas, M. H. Partial Symmetries of Iterated Plethysms. Ann. Comb. (2023)
• View Publication
• BIB
This work highlights the existence of partial symmetries in large families of iterated plethystic coefficients. The plethystic coefficients involved come from the expansion in the Schur basis of iterated plethysms of Schur functions indexed by one-row partitions.
The partial symmetries are described in terms of an involution on partitions, the flip involution, that generalizes the ubiquitous $ω$ involution. Schur-positive symmetric functions possessing this partial symmetry are termed flip-symmetric.
The operation of taking plethysm with $s_λ$ preserves flip-symmetry, provided that $λ$ is a partition of two. Explicit formulas for the iterated plethysms $s_2\circ s_b\circ s_a$ and $s_c\circ s_2\circ s_a$, with $a,$ $b,$ and $c$ $\ge$ $2$ allow us to show that these two families of iterated plethysms are flip-symmetric. The article concludes with some observations, remarks, and open questions on the unimodality and asymptotic normality of certain flip-symmetric sequences of iterated plethystic coefficients.
Counting substructures and eigenvalues II: quadrilaterals
Published in The Electronic Journal of Combinatorics 32(4) (2025), #P4.1
• View Publication
• BIB
Let $G$ be a graph and $λ(G)$ be the spectral radius of $G$. A previous result due to Nikiforov [Linear Algebra Appl., 2009] in spectral graph theory asserted that every graph $G$ on $m\geq 10$ edges contains a 4-cycle if $λ(G)>\sqrt{m}$. Define $f(m)$ to be the minimum number of copies of 4-cycles in such a graph. A consequence of a recent theorem due to Zhai et al. [European J. Combin., 2021] shows that $f(m)=Ω(m)$. In this article, by somewhat different techniques, we prove that $f(m)=Θ(m^2)$. We left the solution to $\lim\limits_{m\rightarrow \infty} \frac{f(m)}{m^2}$ as a problem, and also mention other ones for further study.
On the three graph invariants related to matching of finite simple graphs
Published
• View Publication
• BIB
Let $G$ be a finite simple graph on the vertex set $V(G)$ and let $\text{ind-match}(G)$, $\text{min-match}(G)$ and $\text{match}(G)$ denote the induced matching number, the minimum matching number and the matching number of $G$, respectively. It is known that the inequalities $\text{ind-match}(G) \leq \text{min-match}(G) \leq \text{match}(G) \leq 2\text{min-match}(G)$ and $\text{match}(G) \leq \left\lfloor |V(G)|/2 \right\rfloor$ hold in general.
In the present paper, we determine the possible tuples $(p, q, r, n)$ with $\text{ind-match}(G) = p$, $\text{min-match}(G) = q$, $\text{match}(G) = r$ and $|V(G)| = n$ arising from connected simple graphs. As an application of this result, we also determine the possible tuples $(p', q, r, n)$ with ${\rm{reg}}(G) = p'$, $\text{min-match}(G) = q$, $\text{match}(G) = r$ and $|V(G)| = n$ arising from connected simple graphs, where $I(G)$ is the edge ideal of $G$ and ${\rm{reg}}(G) = {\rm{reg}}(K[V(G)]/I(G))$ is the Castelnuovo--Mumford regularity of the quotient ring $K[V(G)]/I(G)$.
Gorenstein braid cones and crepant resolutions
Published
• View Publication
• BIB
To any poset $P$, we associate a convex cone called a braid cone. We also associate a fan and study the toric varieties the cone and fan define. The fan always defines a smooth toric variety $X_P$, while the toric variety $U_P$ of the cone may be singular. We show that $X_{P} \dashrightarrow U_{P}$ is a crepant resolution of singularities if and only if $P$ is bounded. Next, we aim to determine when $U_P$ is Gorenstein or $\mathbb{Q}$-Gorenstein. We prove that whether or not $U_P$ is ($\mathbb{Q}$)-Gorenstein depends only on the biconnected components of the Hasse diagram of $P$. In the case that $P$ has a minimum or maximum element, we show that the Gorenstein property of $U_P$ is completely determined by the Möbius function of $P$. We also provide a recursive method that determines if $U_P$ is ($\mathbb{Q}$)-Gorenstein in this case. We conjecture that $U_P$ is Gorenstein if and only if it is $\mathbb{Q}$-Gorenstein. We verify this conjecture for posets of length $1$ and also for posets with a minimum or maximum element.
Cameron's operator in terms of determinants, and hypergeometric numbers
Published in Boletín de la Sociedad Matemática Mexicana, Third Series 28 (2022), issue 1, Article 9, 23 pp
• View Publication
• BIB
By studying Cameron's operator in terms of determinants, two kinds of "integer" sequences of incomplete numbers were introduced. One was the sequence of restricted numbers, including $s$-step Fibonacci sequences. Another was the sequence of associated numbers, including Lamé sequences of higher order. By the classical Trudi's formula and the inverse relation, more expressions were able to be obtained. These relations and identities can be extended to those of sequence of negative integers or rational numbers. As applications, we consider hypergeometric Bernoulli, Cauchy and Euler numbers with some modifications.
Matroids and the space of torus-invariant subvarieties of the Grassmannian with given homology class
Published in Journal of Pure and Applied Algebra, 2025
• View Publication
• BIB
Let $\mathbb{G}(d,n)$ be the complex Grassmannian of affine $d$-planes in $n$-space. We study the problem of characterizing the set of algebraic subvarieties of $\mathbb{G}(d,n)$ invariant under the action of the maximal torus $T$ and having given homology class $λ$. We give a complete answer for the case where $λ$ is the class of a $T$-orbit, and partial results for other cases, using techniques inspired by matroid theory. This problem has applications to the computation of the Euler-Chow series for Grassmannians of projective lines: we calculate the series for 3-cycles in $\mathbb{G}(2,4)$ and carry out partial calculations for $\mathbb{G}(2,5)$.
Preference Swaps for the Stable Matching Problem
Published
• View Publication
• BIB
An instance $I$ of the Stable Matching Problem (SMP) is given by a bipartite graph with a preference list of neighbors for every vertex. A swap in $I$ is the exchange of two consecutive vertices in a preference list. A swap can be viewed as a smallest perturbation of $I$. Boehmer et al. (2021) designed a polynomial-time algorithm to find the minimum number of swaps required to turn a given maximal matching into a stable matching. We generalize this result to the many-to-many version of SMP. We do so first by introducing a new representation of SMP as an extended bipartite graph and subsequently by reducing the problem to submodular minimization. It is a natural problem to establish the computational complexity of deciding whether at most $k$ swaps are enough to turn $I$ into an instance where one of the maximum matchings is stable. Using a hardness result of Gupta et al. (2020), we prove that this problem is NP-hard and, moreover, this problem parameterised by $k$ is W[1]-hard. We also obtain a lower bound on the running time for solving the problem using the Exponential Time Hypothesis.
HS-integral and Eisenstein integral mixed Cayley graphs over abelian groups
Published
• View Publication
• BIB
A mixed graph is called \emph{second kind hermitian integral}(or \emph{HS-integral}) if the eigenvalues of its Hermitian-adjacency matrix of second kind are integers. A mixed graph is called \emph{Eisenstein integral} if the eigenvalues of its (0, 1)-adjacency matrix are Eisenstein integers. Let $Γ$ be an abelian group. We characterize the set $S$ for which a mixed Cayley graph $\text{Cay}(Γ, S)$ is HS-integral. We also show that a mixed Cayley graph is Eisenstein integral if and only if it is HS-integral.