Efficient Tuning-Free l1-Regression of Nonnegative Compressible Signals

In compressed sensing the goal is to recover a signal from as few as possible noisy, linear measurements with the general assumption that the signal has only a few non-zero entries. The recovery can be performed by multiple different decoders, however most of them rely on some tuning. Given an estimate for the noise level a common convex approach to recover the signal is basis pursuit denoising. If the measurement matrix has the robust null space property with respect to the ℓ2-norm, basis pursuit denoising obeys stable and robust recovery guarantees. In the case of unknown noise levels, nonnegative least squares recovers non-negative signals if the measurement matrix fulfills an additional property (sometimes called the M+-criterion). However, if the measurement matrix is the biadjacency matrix of a random left regular bipartite graph it obeys with a high probability the null space property with respect to the ℓ1-norm with optimal parameters. Therefore, we discuss non-negative least absolute deviation (NNLAD), which is free of tuning parameters. For these measurement matrices, we prove a uniform, stable and robust recovery guarantee. Such guarantees are important, since binary expander matrices are sparse and thus allow for fast sketching and recovery. We will further present a method to solve the NNLAD numerically and show that this is comparable to state of the art methods. Lastly, we explain how the NNLAD can be used for viral detection in the recent COVID-19 crisis.

Counting short cycles of (c,d)-regular bipartite graphs

Recently, Tanner graphs which represented low density parity check (LDPC) codes have become an interesting research topic. Finding the number of short cycles of Tanner graphs motivated Blake and Lin to investigate the multiplicity of cycles of length equal to the girth of bi-regular bipartite graphs by using the spectrum and degree distribution of the graph. While there were many algorithms to find the number of cycles, they chose to take a computational approach. Dehghan and Banihashemi counted the number of cycles of length [Formula: see text] and [Formula: see text] where [Formula: see text] is a bi-regular bipartite graph and [Formula: see text] is the girth of [Formula: see text] But for the cycles of length smaller than [Formula: see text] in bi-regular bipartite graphs, they only proposed a descriptive technique. In this paper, we find the number of cycles of length less than [Formula: see text] by using the spectrum and the degree distribution of bi-regular bipartite graphs such that the formula depends only on the partitions of positive integers and the number of closed cycle-free walks from any vertex of [Formula: see text] and [Formula: see text] which are known.

Structure of Cubic Lehman Matrices

A pair $(A,B)$ of square $(0,1)$-matrices is called a Lehman pair if $AB^T=J+kI$ for some integer $k\in\{-1,1,2,3,\ldots\}$. In this case $A$ and $B$ are called Lehman matrices. This terminology arises because Lehman showed that the rows with the fewest ones in any non-degenerate minimally nonideal (mni) matrix $M$ form a square Lehman submatrix of $M$. Lehman matrices with $k=-1$ are essentially equivalent to partitionable graphs (also known as $(\alpha,\omega)$-graphs), so have been heavily studied as part of attempts to directly classify minimal imperfect graphs. In this paper, we view a Lehman matrix as the bipartite adjacency matrix of a regular bipartite graph, focusing in particular on the case where the graph is cubic. From this perspective, we identify two constructions that generate cubic Lehman graphs from smaller Lehman graphs. The most prolific of these constructions involves repeatedly replacing suitable pairs of edges with a particular $6$-vertex subgraph that we call a $3$-rung ladder segment. Two decades ago, Lütolf & Margot initiated a computational study of mni matrices and constructed a catalogue containing (among other things) a listing of all cubic Lehman matrices with $k =1$ of order up to $17 \times 17$. We verify their catalogue (which has just one omission), and extend the computational results to $20 \times 20$ matrices. Of the $908$ cubic Lehman matrices (with $k=1$) of order up to $20 \times 20$, only two do not arise from our $3$-rung ladder construction. However these exceptions can be derived from our second construction, and so our two constructions cover all known cubic Lehman matrices with $k=1$.

ON THE REGULARITY OF CHARACTER DEGREE GRAPHS

Let $G$ be a finite group and let $\text{Irr}(G)$ be the set of all irreducible complex characters of $G$. Let $\unicode[STIX]{x1D70C}(G)$ be the set of all prime divisors of character degrees of $G$. The character degree graph $\unicode[STIX]{x1D6E5}(G)$ associated to $G$ is a graph whose vertex set is $\unicode[STIX]{x1D70C}(G)$, and there is an edge between two distinct primes $p$ and $q$ if and only if $pq$ divides $\unicode[STIX]{x1D712}(1)$ for some $\unicode[STIX]{x1D712}\in \text{Irr}(G)$. We prove that $\unicode[STIX]{x1D6E5}(G)$ is $k$-regular for some natural number $k$ if and only if $\overline{\unicode[STIX]{x1D6E5}}(G)$ is a regular bipartite graph.

A study and analysis of a discrete quantum walk-based hybrid clustering approach using d-regular bipartite graph and 1D lattice

Traditional machine learning shares several benefits with quantum information processing field. The study of machine learning with quantum mechanics is called quantum machine learning. Data clustering is an important tool for machine learning where quantum computing plays a vital role in its inherent speed up capability. In this paper, a hybrid quantum algorithm for data clustering (quantum walk-based hybrid clustering (QWBHC)) is introduced where one-dimensional discrete time quantum walks (DTQW) play the central role to update the positions of data points according to their probability distributions. A quantum oracle is also designed and it is mainly implemented on a finite [Formula: see text]-regular bipartite graph where data points are initially distributed as a predefined set of clusters. An overview of a quantum walk (QW) based clustering algorithm on 1D lattice structure is also introduced and described in this paper. In order to search the nearest neighbors, a unitary and reversible DTQW gives a quadratic speed up over the traditional classical random walk. This paper also demonstrates the comparisons of our proposed hybrid quantum clustering algorithm with some state-of-the-art clustering algorithms in terms of clustering accuracy and time complexity analysis. The proposed quantum oracle needs [Formula: see text] queries to mark the nearest data points among clusters and modify the existing clusters. Finally, the proposed QWBHC algorithm achieves [Formula: see text] performance.

Domination in 4-regular Knödel graphs

A subset D of vertices of a graph G is a dominating set if for each u ∈ V(G) ∖ D, u is adjacent to some vertex v ∈ D. The domination number, γ(G) of G, is the minimum cardinality of a dominating set of G. For an even integer n ≥ 2 and 1 ≤ Δ ≤ ⌊log2n⌋, a Knödel graph WΔ, n is a Δ-regular bipartite graph of even order n, with vertices (i, j), for i = 1, 2 and 0 ≤ j ≤ n/2 − 1, where for every j, 0 ≤ j ≤ n/2 − 1, there is an edge between vertex (1, j) and every vertex (2, (j+2k − 1) mod (n/2)), for k = 0, 1, ⋯, Δ − 1. In this paper, we determine the domination number in 4-regular Knödel graphs W4,n.

On the Caccetta-Häggkvist Conjecture with a Forbidden Transitive Tournament

The Caccetta-Häggkvist Conjecture asserts that every oriented graph on $n$ vertices without directed cycles of length less than or equal to $l$ has minimum outdegree at most $(n-1)/l$. In this paper we state a conjecture for graphs missing a transitive tournament on $2^k+1$ vertices, with a weaker assumption on minimum outdegree. We prove that the Caccetta-Häggkvist Conjecture follows from the presented conjecture and show matching constructions for all $k$ and $l$. The main advantage of considering this generalized conjecture is that it reduces the set of the extremal graphs and allows using an induction.We also prove the triangle case of the conjecture for $k=1$ and $2$ by using the Razborov's flag algebras. In particular, it proves the most interesting and studied case of the Caccetta-Häggkvist Conjecture in the class of graphs without the transitive tournament on 5 vertices. It is also shown that the extremal graph for the case $k=2$ has to be a blow-up of a directed cycle on 4 vertices having in each blob an extremal graph for the case $k=1$ (complete regular bipartite graph), which confirms the conjectured structure of the extremal examples.

Note on the Subgraph Component Polynomial

Tittmann, Averbouch and Makowsky [The enumeration of vertex induced subgraphs with respect to the number of components, European J. Combin. 32 (2011) 954-974] introduced the subgraph component polynomial $Q(G;x,y)$ of a graph $G$, which counts the number of connected components in vertex induced subgraphs. This polynomial encodes a large amount of combinatorial information about the underlying graph, such as the order, the size, and the independence number. We show that several other graph invariants, such as the connectivity and the number of cycles of length four in a regular bipartite graph are also determined by the subgraph component polynomial. Then, we prove that several well-known families of graphs are determined by the polynomial $Q(G;x,y).$ Moreover, we study the distinguishing power and find simple graphs which are not distinguished by the subgraph component polynomial but distinguished by the characteristic polynomial, the matching polynomial and the Tutte polynomial. These are partial answers to three open problems proposed by Tittmann et al.

Independent Sets in Graphs with Given Minimum Degree

The enumeration of independent sets in graphs with various restrictions has been a topic of much interest of late. Let $i(G)$ be the number of independent sets in a graph $G$ and let $i_t(G)$ be the number of independent sets in $G$ of size $t$. Kahn used entropy to show that if $G$ is an $r$-regular bipartite graph with $n$ vertices, then $i(G)\leq i(K_{r,r})^{n/2r}$. Zhao used bipartite double covers to extend this bound to general $r$-regular graphs. Galvin proved that if $G$ is a graph with $\delta(G)\geq \delta$ and $n$ large enough, then $i(G)\leq i(K_{\delta,n-\delta})$. In this paper, we prove that if $G$ is a bipartite graph on $n$ vertices with $\delta(G)\geq\delta$ where $n\geq 2\delta$, then $i_t(G)\leq i_t(K_{\delta,n-\delta})$ when $t\geq 3$. We note that this result cannot be extended to $t=2$ (and is trivial for $t=0,1$). Also, we use Kahn's entropy argument and Zhao's extension to prove that if $G$ is a graph with $n$ vertices, $\delta(G)\geq\delta$, and $\Delta(G)\leq \Delta$, then $i(G)\leq i(K_{\delta,\Delta})^{n/2\delta}$.

Bounding the Partition Function of Spin-Systems

With a graph $G=(V,E)$ we associate a collection of non-negative real weights $\bigcup_{v\in V}\{\lambda_{i,v}:1\leq i \leq m\} \cup \bigcup_{uv \in E} \{\lambda_{ij,uv}:1\leq i \leq j \leq m\}.$ We consider the probability distribution on $\{f:V\rightarrow\{1,\ldots,m\}\}$ in which each $f$ occurs with probability proportional to $\prod_{v \in V}\lambda_{f(v),v}\prod_{uv \in E}\lambda_{f(u)f(v),uv}$. Many well-known statistical physics models, including the Ising model with an external field and the hard-core model with non-uniform activities, can be framed as such a distribution. We obtain an upper bound, independent of $G$, for the partition function (the normalizing constant which turns the assignment of weights on $\{f:V\rightarrow\{1,\ldots,m\}\}$ into a probability distribution) in the case when $G$ is a regular bipartite graph. This generalizes a bound obtained by Galvin and Tetali who considered the simpler weight collection $\{\lambda_i:1 \leq i \leq m\} \cup \{\lambda_{ij}:1 \leq i \leq j \leq m\}$ with each $\lambda_{ij}$ either $0$ or $1$ and with each $f$ chosen with probability proportional to $\prod_{v \in V}\lambda_{f(v)}\prod_{uv \in E}\lambda_{f(u)f(v)}$. Our main tools are a generalization to list homomorphisms of a result of Galvin and Tetali on graph homomorphisms and a straightforward second-moment computation.