Showing 20 papers (Total: 84460 papers, 48641 authors in database)
independence: Fast Rank Tests
In 1948 Hoeffding devised a nonparametric test that detects dependence between two continuous random variables X and Y, based on the ranking of n paired samples (Xi,Yi). The computation of this commonly-used test statistic takes O(n log n) time. Hoeffding's test is consistent against any dependent probability density f(x,y), but can be fooled by other bivariate distributions with continuous margins. Variants of this test with full consistency have been considered by Blum, Kiefer, and Rosenblatt (1961), Yanagimoto (1970), Bergsma and Dassios (2010). The so far best known algorithms to compute these stronger independence tests have required quadratic time. Here we improve their run time to O(n log n), by elaborating on new methods for counting ranking patterns, from a recent paper by the author and Leng (SODA'21). Therefore, in all circumstances under which the classical Hoeffding independence test is applicable, we provide novel competitive algorithms for consistent testing against all alternatives. Our R package, independence, offers a highly optimized implementation of these rank-based tests. We demonstrate its capabilities on large-scale datasets.
Multiple typical ranks in matrix completion
Published
• View Publication
• BIB
Low-rank matrix completion addresses the problem of completing a matrix from a certain set of generic specified entries. Over the complex numbers a matrix with a given entry pattern can be uniquely completed to a specific rank, called the generic completion rank. Completions over the reals may generically have multiple completion ranks, called typical ranks. We demonstrate techniques for proving that many sets of specified entries have only one typical rank, and show other families with two typical ranks, specifically focusing on entry sets represented by circulant graphs. This generalizes the results of Bernstein, Blekherman, and Sinn. In particular, we provide a complete characterization of the set of unspecified entries of an $n\times n$ matrix such that $n-1$ is a typical rank and fully determine the typical ranks for entry set $G(n,1)$ for $n<9$. Moreover, we study the asymptotic behaviour of typical ranks and present results regarding unique matrix completions.
A combinatorial approach to first degree cohomology of Specht modules
Using purely combinatorial methods we calculate the first degree cohomology of Specht modules indexed by two part partitions over fields of characteristic $p\ge 3$. These combinatorial methods also allow us to obtain an explicit description of all of the non-split extensions of the Specht module, $S^λ$, by the trivial module. Applying this work to partitions with more than two parts we are able to give an entirely combinatorial proof of the bound on the dimension of the first degree cohomology given by work of Donkin and Geranios. We also obtain as a corollary a result of Weber giving a far reaching condition determining partitions for which the first cohomology of the Specht module is trivial.
Conditions on the regularity of balanced $c$-partite tournaments for the existence of strong subtournaments with high minimum degree
We consider the following problem posed by Volkmann in 2007: How close to regular must a c-partite tournament be, to secure a strongly connected subtournament of order $c$? We give sufficient conditions on the regularity of balanced $c$-partite tournaments to assure the existence of strong maximal subtournament with minimum degree at least $\left\lfloor \frac{c-2}{4}\right\rfloor+1$. We obtain this result as an application of counting the number of subtournaments of order $c$ for which a vertex has minimum out-degree (resp. in-degree) at most $q\geq 0$.
Parity of the coefficients of certain eta-quotients
Published in J. Number Theory 235 (2022), 275--304
• View Publication
• BIB
We investigate the parity of the coefficients of certain eta-quotients, extensively examining the case of $m$-regular partitions. Our theorems concern the density of their odd values, in particular establishing lacunarity modulo 2 for specified coefficients; self-similarities modulo 2; and infinite families of congruences in arithmetic progressions. For all $m \leq 28$, we either establish new results of these types where none were known, extend previous ones, or conjecture that such results are impossible.
All of our work is consistent with a new, overarching conjecture that we present for arbitrary eta-quotients, greatly extending Parkin-Shanks' classical conjecture for the partition function. We pose several other open questions throughout the paper, and conclude by suggesting a list of specific research directions for future investigations in this area.
Subsets and Freezing Sets in the Digital Plane
Published
• View Publication
• BIB
We continue the study of freezing sets for digital images introduced in [4, 2, 3]. We prove methods for obtaining freezing sets for digital images (X, c_i) for X \subset Z^2 and i \in {1, 2}. We give examples to show how these methods can lead to the determination of minimal freezing sets.
Consecutive Radio Labeling of Hamming Graphs
For a graph $G$, a $k$-radio labeling of $G$ is the assignment of positive integers to the vertices of $G$ such that the closer two vertices are on the graph, the greater the difference in labels is required to be. Specifically, $\vert f(u)-f(v)\vert\geq k + 1 - d(u,v)$ where $f(u)$ is the label on a vertex $u$ in $G$. Here, we consider the case when $G$ is the Cartesian products of complete graphs. Specifically we wish to find optimal labelings that use consecutive integers and determine when this is possible. We build off of a paper by Amanda Niedzialomski and construct a framework for discovering consecutive radio labelings for Hamming Graphs, starting with the smallest unknown graph, $K_3^4$, for which we provide an optimal labeling using our construction.
On the permanent of a random symmetric matrix
Published
• View Publication
• BIB
Let $M_{n}$ denote a random symmetric $n\times n$ matrix, whose entries on and above the diagonal are i.i.d. Rademacher random variables (taking values $\pm 1$ with probability $1/2$ each). Resolving a conjecture of Vu, we prove that the permanent of $M_{n}$ has magnitude $n^{n/2+o(n)}$ with probability $1-o(1)$. Our result can also be extended to more general models of random matrices.
A note on the structure of expanders
A conjecture regarding the structure of expander graphs is discussed.
Relative (pre-)anti-flexible algebras and associated algebraic structures
Published
• View Publication
• BIB
Pre-anti-flexible family algebras are introduced and linked with the notions of relative anti-flexible algebras, left and right pre-Lie family algebras and relative Lie algebras which are for mostly newly defined. Relative pre-anti-flexible algebras are given and their underlying algebras structures such as pre-anti-flexible family algebras, left and right pre-Lie family algebras, and other are investigated and significant identities linking those introduced structures are derived. In addition, a generalization of the Rota-Baxter operators defined on a relative anti-flexible algebra is introduced and both Rota-Baxter operators and its generalization are used to build relative pre-anti-flexible algebras structures underlying relative anti-flexible algebras and related consequences are derived.
Even Circuits in Oriented Matroids
Published
• View Publication
• BIB
In this paper we generalise the even directed cycle problem, which asks whether a given digraph contains a directed cycle of even length, to orientations of regular matroids. We define non-even oriented matroids generalising non-even digraphs, which played a central role in resolving the computational complexity of the even dicycle problem. Then we show that the problem of detecting an even directed circuit in a regular matroid is polynomially equivalent to the recognition of non-even oriented matroids. Our main result is a precise characterisation of the class of non-even oriented bond matroids in terms of forbidden minors, which complements an existing characterisation of non-even oriented graphic matroids by Seymour and Thomassen.
Log-rank and lifting for AND-functions
Published
• View Publication
• BIB
Let $f: \{0,1\}^n \to \{0, 1\}$ be a boolean function, and let $f_\land (x, y) = f(x \land y)$ denote the AND-function of $f$, where $x \land y$ denotes bit-wise AND. We study the deterministic communication complexity of $f_\land$ and show that, up to a $\log n$ factor, it is bounded by a polynomial in the logarithm of the real rank of the communication matrix of $f_\land$. This comes within a $\log n$ factor of establishing the log-rank conjecturefor AND-functions with no assumptions on $f$. Our result stands in contrast with previous results on special cases of the log-rank conjecture, which needed significant restrictions on $f$ such as monotonicity or low $\mathbb{F}_2$-degree. Our techniques can also be used to prove (within a $\log n$ factor) a lifting theorem for AND-functions, stating that the deterministic communication complexity of $f_\land$ is polynomially-related to the AND-decision tree complexity of $f$.
The results rely on a new structural result regarding boolean functions $f:\{0, 1\}^n \to \{0, 1\}$ with a sparse polynomial representation, which may be of independent interest. We show that if the polynomial computing $f$ has few monomials then the set system of the monomials has a small hitting set, of size poly-logarithmic in its sparsity. We also establish extensions of this result to multi-linear polynomials $f:\{0,1\}^n \to \mathbb{R}$ with a larger range.
Abundance of Matrices In Gaussian Integers
In [HLS], N. Hindman, I. Leader and D. Strauss proved the abundance for a matrix with rational entries. In this paper we proved it for the ring of Gaussian integers. We showed the result when the matrix is taken with entries from \mathbb{Q}\left[i\right]. The main obstacle is in the field of complex numbers, no linear order relation exists. We overcome that in a tactful way.
A class of multivariate polynomial convolutions (and applications)
We prove two "master" convolution theorems for multivariate determinantal polynomials. The methods used include basic properties of what we call a "minor-orthogonal" ensemble as well as properties of the mixed discriminant of matrices. We also give applications, including a rederivation of a result of Barvinok on computing the permanent of a low rank matrix and a polynomial convolution corresponding to the unitarily invariant addition of generalized singular values.
Combined Algebraic Properties in Gaussian and Quaternion Ring
It is known that for an IP^{*} set A in (\mathbb{N},+) and a sequence \left\langle x_{n}\right\rangle _{n=1}^{\infty} in \mathbb{N}, there exists a sum subsystem \left\langle y_{n}\right\rangle _{n=1}^{\infty} of \left\langle x_{n}\right\rangle _{n=1}^{\infty} such that FS\left(\left\langle y_{n}\right\rangle _{n=1}^{\infty}\right)\cup FP\left(\left\langle y_{n}\right\rangle _{n=1}^{\infty}\right)\subseteq A. Similar types of results have also been proved for central^{*} sets and C^{*}-sets where the sequences have been considered from the class of minimal sequences and almost minimal sequences. In this present work, our aim to establish the similar type of results for the ring of Gaussian integers and the ring of integer quaternions.
A Ramsey Characterisation of Eventually Periodic Words
Published
• View Publication
• BIB
A factorisation $x = u_1 u_2 \cdots$ of an infinite word $x$ on alphabet $X$ is called `monochromatic', for a given colouring of the finite words $X^*$ on alphabet $X$, if each $u_i$ is the same colour. Wojcik and Zamboni proved that the word $x$ is periodic if and only if for every finite colouring of $X^*$ there is a monochromatic factorisation of $x$. On the other hand, it follows from Ramsey's theorem that, for \textit{any} word $x$, for every finite colouring of $X^*$ there is a suffix of $x$ having a monochromatic factorisation. A factorisation $x = u_1 u_2 \cdots$ is called `super-monochromatic' if each word $u_{k_1} u_{k_2} \cdots u_{k_n}$, where $k_1 < \cdots < k_n$, is the same colour. Our aim in this paper is to show that a word $x$ is eventually periodic if and only if for every finite colouring of $X^*$ there is a suffix of $x$ having a super-monochromatic factorisation. Our main tool is a Ramsey result about alternating sums that may be of independent interest.
Colourings of $(m, n)$-coloured mixed graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Graph Theory (January 9, 2025) dmtcs:6848
• View Publication
• BIB
A mixed graph is, informally, an object obtained from a simple undirected graph by choosing an orientation for a subset of its edges. A mixed graph is $(m, n)$-coloured if each edge is assigned one of $m \geq 0$ colours, and each arc is assigned one of $n \geq 0$ colours. Oriented graphs are $(0, 1)$-coloured mixed graphs, and 2-edge-coloured graphs are $(2, 0)$-coloured mixed graphs. We show that results of Sopena for vertex colourings of oriented graphs, and of Kostochka, Sopena and Zhu for vertex colourings oriented graphs and 2-edge-coloured graphs, are special cases of results about vertex colourings of $(m, n)$-coloured mixed graphs. Both of these can be regarded as a version of Brooks' Theorem.
Lower bounds for the number of subrings in $\mathbb{Z}^n$
Published
• View Publication
• BIB
Let $f_n(k)$ be the number of subrings of index $k$ in $\mathbb{Z}^n$. We show that results of Brakenhoff imply a lower bound for the asymptotic growth of subrings in $\mathbb{Z}^n$, improving upon lower bounds given by Kaplan, Marcinek, and Takloo-Bighash. Further, we prove two new lower bounds for $f_n(p^e)$ when $e \ge n-1$. Using these bounds, we study the divergence of the subring zeta function of $\mathbb{Z}^n$ and its local factors. Lastly, we apply these results to the problem of counting orders in a number field.
The strong fractional choice number of $3$-choice critical graphs
Published
• View Publication
• BIB
A graph $G$ is called $3$-choice critical if $G$ is not $2$-choosable but any proper subgraph is $2$-choosable. A graph $G$ is strongly fractional $r$-choosable if $G$ is $(a,b)$-choosable for all positive integers $a,b$ for which $a/b \ge r$. The strong fractional choice number of $G$ is $ch_f^s(G) = \inf \{r: G $ is strongly fractional $r$-choosable$\}$. This paper determines the strong fractional choice number of all $3$-choice critical graphs.
Algebraic Methods in Difference Sets and Bent Functions
Published
• View Publication
• BIB
We provide some applications of a polynomial criterion for difference sets. These include counting the difference sets with specified parameters in terms of Hilbert functions, in particular a count of bent functions. We also consider the question about the bentness of certain Boolean functions introduced by Carlet when the $\mathcal{C}$-condition introduced by him doesn't hold.