Searcharxiv⌕ Search

arXiv subjects

Joshua Cooper

Publications and source records attributed to Joshua Cooper.

At least 37 records · Page 2Linked to original sources

Geometric vs Algebraic Nullity for Hyperpaths

We consider the question of how the eigenvarieties of a hypergraph relate to the algebraic multiplicities of their corresponding eigenvalues. Specifically, we (1) fully describe the irreducible components of the zero-eigenvariety of a loose $3$-hyperpath (its "nullvariety"), (2) use recent results of Bao-Fan-Wang-Zhu to compute the corresponding algebraic multiplicity of zero (its "nullity"), and then (3) for this special class of hypergraphs, verify a conjecture of Hu-Ye about the relationship between the geometric (multi-)dimension of the nullvariety and the nullity.

math.CO↗

Positive-Definite Matrices over Finite Fields

The study of positive-definite matrices has focused on Hermitian matrices, that is, square matrices with complex (or real) entries that are equal to their own conjugate transposes. In the classical setting, positive-definite matrices enjoy a multitude of equivalent definitions and properties. In this paper, we investigate when a square, symmetric matrix with entries coming from a finite field can be called "positive-definite" and discuss which of the classical equivalences and implications carry over.

math.CO↗

Sampling Permutations for Shapley Value Estimation

Game-theoretic attribution techniques based on Shapley values are used to interpret black-box machine learning models, but their exact calculation is generally NP-hard, requiring approximation methods for non-trivial models. As the computation of Shapley values can be expressed as a summation over a set of permutations, a common approach is to sample a subset of these permutations for approximation. Unfortunately, standard Monte Carlo sampling methods can exhibit slow convergence, and more sophisticated quasi-Monte Carlo methods have not yet been applied to the space of permutations. To address this, we investigate new approaches based on two classes of approximation methods and compare them empirically. First, we demonstrate quadrature techniques in a RKHS containing functions of permutations, using the Mallows kernel in combination with kernel herding and sequential Bayesian quadrature. The RKHS perspective also leads to quasi-Monte Carlo type error bounds, with a tractable discrepancy measure defined on permutations. Second, we exploit connections between the hypersphere $\mathbb{S}^{d-2}$ and permutations to create practical algorithms for generating permutation samples with good properties. Experiments show the above techniques provide significant improvements for Shapley value estimates over existing methods, converging to a smaller RMSE in the same number of model evaluations.

stat.ML↗

A Harary-Sachs Theorem for Hypergraphs

We generalize the Harary-Sachs theorem to $k$-uniform hypergraphs: the codegree-$d$ coefficient of the characteristic polynomial of a uniform hypergraph ${\cal H}$ can be expressed as a weighted sum of subgraph counts over certain multi-hypergraphs with $d$ edges. We include a detailed description of the aforementioned multi-hypergraphs and a formula for their corresponding weights.

math.CO↗

Applications of the Harary-Sachs Theorem for Hypergraphs

The Harary-Sachs theorem for $k$-uniform hypergraphs equates the codegree-$d$ coefficient of the adjacency characteristic polynomial of a uniform hypergraph with a weighted sum of subgraph counts over certain multi-hypergraphs with $d$ edges. We begin by showing that the classical Harary-Sachs theorem for graphs is indeed a special case of this general theorem. To this end we apply the generalized Harary-Sachs theorem to the leading coefficients of the characteristic polynomial of various hypergraphs. In particular, we provide explicit and asymptotic formulas for the contribution of the $k$-uniform simplex to the codegree-$d$ coefficient. Moreover, we provide an explicit formula for the leading terms of the characteristic polynomial of a 3-uniform hypergraph and further show how this can be used to determine the complete spectrum of a hypergraph. We conclude with a conjecture concerning the multiplicity of the zero-eigenvalue of a hypergraph.

math.CO↗

Recurrence Ranks and Moment Sequences

We introduce the "moment rank" and "unitary rank" of numerical sequences, close relatives of linear-recursive order. We show that both parameters can be characterized by a broad set of criteria involving moments of measures, types of recurrence relations, Hankel matrix factorizations, Waring rank, analytic properties of generating functions, and algebraic properties of polynomial ideals. In the process, we solve the "complex finite-atomic" and "integral finite-atomic" moment problems: which sequences arise as the moments of a finite-atomic complex-/integer-valued measures on $\mathbb{C}$?

math.CO↗

Spectral Extremal Results for Hypergraphs

Let $F$ be a graph. A hypergraph is called Berge $F$ if it can be obtained by replacing each edge in $F$ by a hyperedge containing it. Given a family of graphs $\mathcal{F}$, we say that a hypergraph $H$ is Berge $\mathcal{F}$-free if for every $F \in \mathcal{F}$, the hypergraph $H$ does not contain a Berge $F$ as a subhypergraph. In this paper we investigate the connections between spectral radius of the adjacency tensor and structural properties of a linear hypergraph. In particular, we obtain a spectral version of Turán-type problems over linear $k$-uniform hypergraphs by using spectral methods, including a tight result on Berge $C_4$-free linear $3$-uniform hypergraphs.

math.CO↗

A New Characterization of $\mathcal{V}$-Posets

In 2016, Hasebe and Tsujie gave a recursive characterization of the set of induced $N$-free and bowtie-free posets; Misanantenaina and Wagner studied these orders further, naming them "$\mathcal{V}$-posets". Here we offer a new characterization of $\mathcal{V}$-posets by introducing a property we refer to as autonomy. A poset $\cP$ is said to be autonomous if there exists a directed acyclic graph $D$ (with adjacency matrix $U$) whose transitive closure is $\cP$, with the property that any total ordering of the vertices of $D$ so that Gaussian elimination of $U^TU$ proceeds without row swaps is a linear extension of $\cP$. Autonomous posets arise from the theory of pressing sequences in graphs, a problem with origins in phylogenetics. The pressing sequences of a graph can be partitioned into families corresponding to posets; because of the interest in enumerating pressing sequences, we investigate when this partition has only one block, that is, when the pressing sequences are all linear extensions of a single autonomous poset. We also provide an efficient algorithm for recognition of autonomy using structural information and the forbidden subposet characterization, and we discuss a few open questions that arise in connection with these posets.

math.CO↗

Adjacency Spectra of Random and Uniform Hypergraphs

We present progress on the problem of asymptotically describing the adjacency eigenvalues of random and complete uniform hypergraphs. There is a natural conjecture arising from analogy with random matrix theory that connects these spectra to that of the all-ones hypermatrix. Several of the ingredients along a possible path to this conjecture are established, and may be of independent interest in spectral hypergraph/hypermatrix theory. In particular, we provide a bound on the spectral radius of the symmetric Bernoulli hyperensemble, and show that the spectrum of the complete \(k\)-uniform hypergraph for \(k=2,3\) is close to that of an appropriately scaled all-ones hypermatrix.

math.CO↗

On the Adjacency Spectra of Hypertrees

We extend the results of Zhang et al. to show that $λ$ is an eigenvalue of a $k$-uniform hypertree $(k \geq 3)$ if and only if it is a root of a particular matching polynomial for a connected induced subtree. We then use this to provide a spectral characterization for power hypertrees. Notably, the situation is quite different from that of ordinary trees, i.e., $2$-uniform trees. We conclude by presenting an example (an $11$ vertex, $3$-uniform non-power hypertree) illustrating these phenomena.

math.SP↗

Graham's Tree Reconstruction Conjecture and a Waring-Type Problem on Partitions

Suppose $G$ is a tree. Graham's "Tree Reconstruction Conjecture" states that $G$ is uniquely determined by the integer sequence $|G|$, $|L(G)|$, $|L(L(G))|$, $|L(L(L(G)))|$, $\ldots$, where $L(H)$ denotes the line graph of the graph $H$. Little is known about this question apart from a few simple observations. We show that the number of trees on $n$ vertices which can be distinguished by their associated integer sequences is $e^{Ω((\log n)^{3/2})}$. The proof strategy involves constructing a large collection of caterpillar graphs using partitions arising from the Prouhet-Tarry-Escott problem.

math.CO↗

Positive Semidefiniteness of Matrices arising from Ramsey Theory

We resolve a conjecture of Cooper-Fenner-Purewal that a certain sequence of combinatorial matrices which can be used to bound small product-Ramsey numbers is positive semidefinite. Because the connection to Ramsey Theory involves solving quadratic integer programs associated to these matrices, this implies that there are relatively efficient algorithms for bounding said numbers. The proof is direct, and yields important structural information: we enumerate the eigenvalues and eigenspaces explicitly by employing hypergeometric identities.

math.CO↗

Throwing a Ball as Far as Possible, Revisited

What initial trajectory angle maximizes the arc length of an ideal projectile? We show the optimal angle, which depends neither on the initial speed nor on the acceleration of gravity, is the solution x to a surprising transcendental equation: csc(x) = coth(csc(x)), i.e., x = arccsc(y) where y is the unique positive fixed point of coth. Numerically, $x \approx 0.9855 \approx 56.47^\circ$. The derivation involves a nice application of differentiation under the integral sign.

math.HO↗

Density dichotomy in random words

Word $W$ is said to encounter word $V$ provided there is a homomorphism $ϕ$ mapping letters to nonempty words so that $ϕ(V)$ is a substring of $W$. For example, taking $ϕ$ such that $ϕ(h)=c$ and $ϕ(u)=ien$, we see that "science" encounters "huh" since $cienc=ϕ(huh)$. The density of $V$ in $W$, $δ(V,W)$, is the proportion of substrings of $W$ that are homomorphic images of $V$. So the density of "huh" in "science" is $2/{8 \choose 2}$. A word is doubled if every letter that appears in the word appears at least twice. The dichotomy: Let $V$ be a word over any alphabet, $Σ$ a finite alphabet with at least 2 letters, and $W_n \in Σ^n$ chosen uniformly at random. Word $V$ is doubled if and only if $\mathbb{E}(δ(V,W_n)) \rightarrow 0$ as $n \rightarrow \infty$. We further explore convergence for nondoubled words and concentration of the limit distribution for doubled words around its mean.

math.CO↗

Asymptotic Density of Zimin Words

Word $W$ is an instance of word $V$ provided there is a homomorphism $ϕ$ mapping letters to nonempty words so that $ϕ(V) = W$. For example, taking $ϕ$ such that $ϕ(c)=fr$, $ϕ(o)=e$ and $ϕ(l)=zer$, we see that "freezer" is an instance of "cool". Let $\mathbb{I}_n(V,[q])$ be the probability that a random length $n$ word on the alphabet $[q] = \{1,2,\cdots q\}$ is an instance of $V$. Having previously shown that $\lim_{n \rightarrow \infty} \mathbb{I}_n(V,[q])$ exists, we now calculate this limit for two Zimin words, $Z_2 = aba$ and $Z_3 = abacaba$.

math.CO↗

Successful Pressing Sequences for a Bicolored Graph and Binary Matrices

We apply matrix theory over $\mathbb{F}_2$ to understand the nature of so-called "successful pressing sequences" of black-and-white vertex-colored graphs. These sequences arise in computational phylogenetics, where, by a celebrated result of Hannenhalli and Pevzner, the space of sortings-by-reversal of a signed permutation can be described by pressing sequences. In particular, we offer several alternative linear-algebraic and graph-theoretic characterizations of successful pressing sequences, describe the relation between such sequences, and provide bounds on the number of them. We also offer several open problems that arose as a result of the present work.

math.CO↗

Analytic connectivity of $k$-uniform hypergraphs

In this paper, we study the analytic connectivity of a $k$-uniform hypergraph $H$, denoted by $α(H)$. In addition to computing the analytic connectivity of a complete $k$-graph, we present several bounds on analytic connectivity that relate it with other graph invariants, such as degree, vertex connectivity, diameter, and isoperimetric number.

math.CO↗

Computing the Size of Intervals in the Weak Bruhat Order

The weak Bruhat order on $ { \mathcal S }_n $ is the partial order $\prec$ so that $σ\prec τ$ whenever the set of inversions of $σ$ is a subset of the set of inversions of $τ$. We investigate the time complexity of computing the size of intervals with respect to $\prec$. Using relationships between two-dimensional posets and the weak Bruhat order, we show that the size of the interval $ [ σ_1, σ_2 ]$ can be computed in polynomial time whenever $σ_1^{-1} σ_2$ has bounded width (length of its longest decreasing subsequence) or bounded intrinsic width (maximum width of any non-monotone permutation in its block decomposition). Since permutations of intrinsic width $1$ are precisely the separable permutations, this greatly extends a result of Wei. Additionally, we show that, for large $n$, all but a vanishing fraction of permutations $ σ$ in $ { \mathcal S }_n$ give rise to intervals $ [ id , σ]$ whose sizes can be computed with a sub-exponential time algorithm. The general question of the difficulty of computing the size of arbitrary intervals remains open.

math.CO↗