Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Homaloidal Polynomials and Gaussian Models of Maximum Likelihood Degree One
Published in Alg. Stat. 15 (2024) 167-198
• View Publication
• BIB
We study the Gaussian statistical models whose log-likelihood function has a unique complex critical point, i.e., has maximum likelihood degree one. We exploit the connection developed by Améndola et. al. between the models having maximum likelihood degree one and homaloidal polynomials. We study the spanning tree generating function of a graph and show this polynomial is homaloidal when the graph is chordal. When the graph is a cycle on $n$ vertices, $n \geq 4$, we prove the polynomial is not homaloidal, and show that the maximum likelihood degree of the resulting model is the $n$th Eulerian number. These results support our conjecture that the spanning tree generating function is a homaloidal polynomial if and only if the graph is chordal. We also provide an algebraic formulation for the defining equations of these models. Using existing results, we provide a computational study on constructing new families of homaloidal polynomials. In the end, we analyze the symmetric determinantal representation of such polynomials and provide an upper bound on the size of the matrices involved.
0-1 laws for pattern occurrences in phylogenetic trees and networks
Published in Bull. Math. Biol. 86, 94 (2024)
• View Publication
• BIB
In a recent paper, the question of determining the fraction of binary trees that contain a fixed pattern known as the snowflake was posed. We show that this fraction goes to 1, providing two very different proofs: a purely combinatorial one that is quantitative and specific to this problem; and a proof using branching process techniques that is less explicit, but also much more general, as it applies to any fixed patterns and can be extended to other trees and networks. In particular, it follows immediately from our second proof that the fraction of $d$-ary trees (resp. level-$k$ networks) that contain a fixed $d$-ary tree (resp. level-$k$ network) tends to $1$ as the number of leaves grows.
A Pieri type formula for motivic Chern classes of Schubert cells in Grassmannians
We prove a Pieri formula for motivic Chern classes of Schubert cells in the equivariant K-theory of Grassmannians, which is described in terms of ribbon operators on partitions. Our approach is to transform the Schubert calculus over Grassmannians to the calculation in a certain affine Hecke algebra. As a consequence, we derive a Pieri formula for Segre motivic classes of Schubert cells in Grassmannians. We apply the Pieri formulas to establish a relation between motivic Chern classes and Segre motivic classes, extending a well-known relation between the classes of structure sheaves and ideal sheaves. As another application, we find a symmetric power series representative for the class of the dualizing sheaf of a Schubert variety.
A polynomial time algorithm to find star chromatic index on bounded treewidth graphs with given maximum degree
Published
• View Publication
• BIB
A star edge coloring of a graph $G$ is a proper edge coloring with no 2-colored path or cycle of length four. The star edge coloring problem is to find an edge coloring of a given graph $G$ with minimum number $k$ of colors such that $G$ admits a star edge coloring with $k$ colors. This problem is known to be NP-complete. In this paper, for a bounded treewidth graph with given maximum degree, we show that it can be solved in polynomial time.
A conjecture implying Thomassen's chord conjecture in graph theory
Published
• View Publication
• BIB
Thomassen's chord conjecture from 1976 states that every longest cycle in a $3$-connected graph has a chord. This is one of the most important unsolved problems in graph theory. We pose a new conjecture which implies Thomassen's conjecture. It involves bound vertices in a longest path between two vertices in a $k$-connected graph. We also give supporting evidence and analyze a special case. The purpose of making this new conjecture is to explore the surroundings of Thomassen's conjecture.
Parallel Summation in P-Recursive Extensions
Published
• View Publication
• BIB
We propose investigating a summation analog of the paradigm for parallel integration. We make some first steps towards an indefinite summation method applicable to summands that rationally depend on the summation index and a P-recursive sequence and its shifts. There is a distinction between so-called normal and so-called special polynomials. Under the assumption that the corresponding difference field has no unnatural constants, we are able to predict the normal polynomials appearing in the denominator of a potential closed form. We can also handle the numerator. Our method is incomplete so far as we cannot predict the special polynomials appearing in the denominator. However, we do have some structural results about special polynomials for the setting under consideration.
Randomized algorithms to generate hypergraphs with given degree sequences
Published
• View Publication
• BIB
The question whether there exists a hypergraph whose degrees are equal to a given sequence of integers is a well-known reconstruction problem in graph theory, which is motivated by discrete tomography. In this paper we approach the problem by randomized algorithms which generate the required hypergraph with positive probability if the sequence satisfies certain constraints.
Visibility in Hypercubes
Published
• View Publication
• BIB
A subset $M$ of vertices in a graph $G$ is a mutual-visibility set if any two vertices $u$ and $v$ in $M$ ``see'' each other in $G$, that is, there exists a shortest $u,v$-path in $G$ that contains no elements of $M$ as internal vertices. The mutual-visibility number $μ(G)$ of a graph $G$ is the largest size of a mutual-visibility set in $G$. Let $n\in\mathbb{N}$ and $Q_{n}$ be an $n$-dimensional hypercube. Cicerone, Fonso, Di Stefano, Navarra, and Piselli showed that $2^{n}/\sqrt{n}\leqμ(Q_{n})\leq2^{n-1}$. In this paper, we prove that $μ(Q_{n})>0.186\cdot2^n$ and thus establish that $μ(Q_{n})=Θ(2^{n})$.
We also consider the chromatic mutual-visibility number, $χ_μ(G)$, that is the smallest number of colors used on vertices of $G$, such that every color class is a mutual-visibility set. Klavžar, Kuziak, Valenzuela-Tripodoro, and Yero asked whether it is true that $χ_μ(Q_{n})=O(1)$. We answer their question in the negative by showing that $ω(1)=χ_μ(Q_{n})=O(\log\log{n})$.
Finally, we study the so-called total mutual-visibility number of graphs and give asymptotically tight bounds on this parameter for hypercubes.
Grand zigzag knight's paths
Published
• View Publication
• BIB
We study the enumeration of different classes of grand knight's paths in the plane. In particular, we focus on the subsets of zigzag knight's paths that are subject to constraints. These constraints include ending at $y$-coordinate 0, bounded by a horizontal line, confined within a tube, among other considerations. We present our results using generating functions or direct closed-form expressions. We derive asymptotic results, finding approximations for quantities such as the probability that a zigzag knight's path stays in some area of the plane, or for the average of the altitude of such a path. Additionally, we exhibit some bijections between grand zigzag knight's paths and some pairs of compositions.
On a Combinatorial Problem Arising in Machine Teaching
We study a model of machine teaching where the teacher mapping is constructed from a size function on both concepts and examples. The main question in machine teaching is the minimum number of examples needed for any concept, the so-called teaching dimension. A recent paper [7] conjectured that the worst case for this model, as a function of the size of the concept class, occurs when the consistency matrix contains the binary representations of numbers from zero and up. In this paper we prove their conjecture. The result can be seen as a generalization of a theorem resolving the edge isoperimetry problem for hypercubes [12], and our proof is based on a lemma of [10].
Do random initial degrees suppress concentration in preferential attachment graphs?
We consider the open problem concerning the possible lack of concentration of the degree distribution in preferential attachment graphs with random initial degree, when its distribution is characterized by extremely heavy tails of power-law type. We show that the addition of such a large number of edges causes a significant upset of the degree distribution, leading to its non-concentration. Furthermore, we show that the smallest value of the exponent for which the degree distribution exhibits concentration is 2.
Complexity of the (Connected) Cluster Vertex Deletion problem on $H$-free graphs
Published
• View Publication
• BIB
The well-known Cluster Vertex Deletion problem (CVD) asks for a given graph $G$ and an integer $k$ whether it is possible to delete a set $S$ of at most $k$ vertices of $G$ such that the resulting graph $G-S$ is a cluster graph (a disjoint union of cliques). We give a complete characterization of graphs $H$ for which CVD on $H$-free graphs is polynomially solvable and for which it is NP-complete. Moreover, in the NP-completeness cases, CVD cannot be solved in sub-exponential time in the vertex number of the $H$-free input graphs unless the Exponential-Time Hypothesis fails. We also consider the connected variant of CVD, the Connected Cluster Vertex Deletion problem (CCVD), in which the set $S$ has to induce a connected subgraph of $G$. It turns out that CCVD admits the same complexity dichotomy for $H$-free graphs. Our results enlarge a list of rare dichotomy theorems for well-studied problems on $H$-free graphs.
Patterns in trees and quantum automorphism groups
Published
• View Publication
• BIB
We prove that given a fixed finite tree $P$, almost all trees contain $P$ as a subtree. Moreover, the inclusion can be made so that it induces an embedding of the corresponding (quantum) automorphism groups, thereby providing generic properties of the latter.
Association schemes and orthogonality graphs on anisotropic points of polar spaces
Published
• View Publication
• BIB
In this paper, we study association schemes on the anisotropic points of classical polar spaces. Our main result concerns non-degenerate elliptic and hyperbolic quadrics in PG$(n,q)$ with $q$ odd. We define relations on the anisotropic points of such a quadric that depend on the type of line spanned by the points and whether or not they are of the same "quadratic type". This yields an imprimitive $5$-class association scheme. We calculate the matrices of eigenvalues and dual eigenvalues of this scheme.
We also use this result, together with similar results from the literature concerning other classical polar spaces, to exactly calculate the spectrum of orthogonality graphs on the anisotropic points of non-degenerate quadrics in odd characteristic and of non-degenerate Hermitian varieties. As a byproduct, we obtain a $3$-class association scheme on the anisotropic points of non-degenerate Hermitian varieties, where the relation containing two points depends on the type of line spanned by these points, and whether or not they are orthogonal.
On multicolor Turán numbers
Published
• View Publication
• BIB
We address a problem which is a generalization of Turán-type problems recently introduced by Imolay, Karl, Nagy and Váli. Let $F$ be a fixed graph and let $G$ be the union of $k$ edge-disjoint copies of $F$, namely $G = \mathbin{\dot{\cup}}_{i=1}^{k} F_i$, where each $F_i$ is isomorphic to a fixed graph $F$ and $E(F_i)\cap E(F_j)=\emptyset$ for all $i \neq j$. We call a subgraph $H\subseteq G$ multicolored if $H$ and $F_i$ share at most one edge for all $i$. Define $\text{ex}_F(H,n)$ to be the maximum value $k$ such that there exists $G = \mathbin{\dot{\cup}}_{i=1}^{k} F_i$ on $n$ vertices without a multicolored copy of $H$. We show that $\text{ex}_{C_5}(C_3,n) \le n^2/25 + 3n/25+o(n)$ and that all extremal graphs are close to a blow-up of the 5-cycle. This bound is tight up to the linear error term.
Cycle-factors in oriented graphs
Published
• View Publication
• BIB
Let $k$ be a positive integer. A $k$-cycle-factor of an oriented graph is a set of disjoint cycles of length $k$ that covers all vertices of the graph. In this paper, we prove that there exists a positive constant $c$ such that for $n$ sufficiently large, any oriented graph on $n$ vertices with both minimum out-degree and minimum in-degree at least $(1/2-c)n$ contains a $k$-cycle-factor for any $k\geq4$. Additionally, under the same hypotheses, we also show that for any sequence $n_1, \ldots, n_t$ with $\sum^t_{i=1}n_i=n$ and the number of the $n_i$ equal to $3$ is $αn$, where $α$ is any real number with $0<α<1/3$, the oriented graph contains $t$ disjoint cycles of lengths $n_1, \ldots, n_t$. This conclusion is the best possible in some sense and refines a result of Keevash and Sudakov.
Domination and packing in graphs
Given a graph~$G$, the domination number, denoted by~$γ(G)$, is the minimum cardinality of a dominating set in~$G$. Dual to the notion of domination number is the packing number of a graph. A packing of~$G$ is a set of vertices whose pairwise distance is at least three. The packing number~$ρ(G)$ of~$G$ is the maximum cardinality of one such set. Furthermore, the inequality~$ρ(G) \leq γ(G)$ is well-known. Henning et al.\ conjectured that~$γ(G) \leq 2ρ(G)+1$ if~$G$ is subcubic. In this paper, we progress towards this conjecture by showing that~${γ(G) \leq \frac{120}{49}ρ(G)}$ if~$G$ is a bipartite cubic graph. We also show that $γ(G) \leq 3ρ(G)$ if~$G$ is a maximal outerplanar graph, and that~$γ(G) \leq 2ρ(G)$ if~$G$ is a biconvex graph. Moreover, in the last case, we show that this upper bound is tight.
A Dense Model Theorem for the Boolean Slice
Published
• View Publication
• BIB
The (low soundness) linearity testing problem for the middle slice of the Boolean cube is as follows. Let $\varepsilon>0$ and $f$ be a function on the middle slice on the Boolean cube, such that when choosing a uniformly random quadruple $(x,y,z ,x\oplus y\oplus z)$ of vectors of $2n$ bits with exactly $n$ ones, the probability that $f(x\oplus y \oplus z) = f(x) \oplus f(y) \oplus f(z)$ is at least $1/2+\varepsilon$. The linearity testing problem, posed by David, Dinur, Goldenberg, Kindler and Shinkar, asks whether there must be an actual linear function that agrees with $f$ on $1/2+\varepsilon'$ fraction of the inputs, where $\varepsilon' = \varepsilon'(\varepsilon)>0$.
We solve this problem, showing that $f$ must indeed be correlated with a linear function. To do so, we prove a dense model theorem for the middle slice of the Boolean hypercube for Gowers uniformity norms. Specifically, we show that for every $k\in\mathbb{N}$, the normalized indicator function of the middle slice of the Boolean hypercube $\{0,1\}^{2n}$ is close in Gowers norm to the normalized indicator function of the union of all slices with weight $t = n\pmod{2^{k-1}}$. Using our techniques we also give a more general `low degree test' and a biased rank theorem for the slice.
Higher Specht polynomials under the diagonal action
Published
• View Publication
• BIB
We introduce higher Specht polynomials - analogs of Specht polynomials in higher degrees - in two sets of variables $x_1,\ldots,x_n$ and $y_1,\ldots,y_n$ under the diagonal action of the symmetric group $S_n$. This generalizes the classical Specht polynomial construction in one set of variables, as well as the higher Specht basis for the coinvariant ring $R_n$ due to Ariki, Terasoma, and Yamada, which has the advantage of respecting the decomposition into irreducibles.
As our main application of the general theory, we provide a higher Specht basis for the hook shape Garsia--Haiman modules. In the process, we obtain a new formula for their doubly graded Frobenius series in terms of new generalized cocharge statistics on tableaux.
Colorings of $k$-sets with low discrepancy on small sets
For $0<δ\leq 1$, let $R_k(m;δ)$ denote the smallest $N$ such that every coloring of $k$-element subsets by two colors yields an $m$-element set $M$ with relative discrepancy $δ$, which means that one color class has at least $(\frac{1+δ}2){m\choose k}$ elements. The number $R_k(m;δ)$ may be viewed as an extension of the usual $k$-hypergraph Ramsey number because $R_k(m)=R_k(m,1)$. Our main result is the following theorem.
%\begin{theorem} For some constants $c,k_0$, and $\eps>0$, and for all $k\geq k_0$, $c\log k\leq n\leq k/11$, \[ R_k(k+n);2^{-\eps n})\geq \tw_{\lfloor k/n\rfloor}(2). \] %\end{theorem}
In particular, for $n=\lceil c\log k\rceil$, we get a tower of height $δk/\log k$ and relative discrepancy polynomial in~$k$.