Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Expander $\ell_0$-Decoding
Published
• View Publication
• BIB
We introduce two new algorithms, Serial-$\ell_0$ and Parallel-$\ell_0$ for solving a large underdetermined linear system of equations $y = Ax \in \mathbb{R}^m$ when it is known that $x \in \mathbb{R}^n$ has at most $k < m$ nonzero entries and that $A$ is the adjacency matrix of an unbalanced left $d$-regular expander graph. The matrices in this class are sparse and allow a highly efficient implementation. A number of algorithms have been designed to work exclusively under this setting, composing the branch of combinatorial compressed-sensing (CCS).
Serial-$\ell_0$ and Parallel-$\ell_0$ iteratively minimise $\|y - A\hat x\|_0$ by successfully combining two desirable features of previous CCS algorithms: the information-preserving strategy of ER, and the parallel updating mechanism of SMP. We are able to link these elements and guarantee convergence in $\mathcal{O}(dn \log k)$ operations by assuming that the signal is dissociated, meaning that all of the $2^k$ subset sums of the support of $x$ are pairwise different. However, we observe empirically that the signal need not be exactly dissociated in practice. Moreover, we observe Serial-$\ell_0$ and Parallel-$\ell_0$ to be able to solve large scale problems with a larger fraction of nonzeros than other algorithms when the number of measurements is substantially less than the signal length; in particular, they are able to reliably solve for a $k$-sparse vector $x\in\mathbb{R}^n$ from $m$ expander measurements with $n/m=10^3$ and $k/m$ up to four times greater than what is achievable by $\ell_1$-regularization from dense Gaussian measurements. Additionally, Serial-$\ell_0$ and Parallel-$\ell_0$ are observed to be able to solve large problems sizes in substantially less time than other algorithms for compressed sensing. In particular, Parallel-$\ell_0$ is structured to take advantage of massively parallel architectures.
Interval minors of complete multipartite graphs
Interval minors of bipartite graphs were introduced by Jacob Fox in the study of Stanley-Wilf limits. Recently, Mohar, Rafiey, Tayfeh-Rezaie and Wu investigated the maximum number of edges in $K_{k,\ell}$-interval minor free bipartite graphs when $k=2$ and $k=3$. In this paper, we investigate the maximum number of edges in $K_{k,\ell}$-interval minor free bipartite graphs for general $k$ and $\ell$. We also study the maximum number of edges in $K_{\ell_1,\ell_2,\cdots,\ell_t}$-interval minor free multipartite graphs.
Cartesian Product and Acyclic Edge Colouring
The acyclic chromatic index, denoted by $a'(G)$, of a graph $G$ is the minimum number of colours used in any proper edge colouring of $G$ such that the union of any two colour classes does not contain a cycle, that is, forms a forest. We show that $a'(G\Box H)\le a'(G) + a'(H)$ for any two graphs $G$ and $H$ such that $max\{a'(G), a'(H)\} > 1$. Here, $G \Box H$ denotes the cartesian product of $G$ and $H$. This extends a recent result of [15] where tight and constructive bounds on $a'(G)$ were obtained for a class of grid-like graphs which can be expressed as the cartesian product of a number of paths and cycles.
Constant dimension codes from Riemann-Roch spaces
Published
• View Publication
• BIB
Some families of constant dimension codes arising from Riemann-Roch spaces associated to particular divisors of a curve $\X$ are constructed. These families are generalizations of the one constructed by Hansen
Calculating Greene's function via root polytopes and subdivision algebras
Published in Pacific J. Math. 286 (2017) 385-400
• View Publication
• BIB
Greene's rational function $Ψ_P({\bf x})$ is a sum of certain rational functions in ${\bf x}=(x_1, \ldots, x_n)$ over the linear extensions of the poset $P$ (which has $n$ elements), which he introduced in his study of the Murnaghan-Nakayama formula for the characters of the symmetric group. In recent work Boussicault, Féray, Lascoux and Reiner showed that $Ψ_P({\bf x})$ equals a valuation on a cone and calculated $Ψ_P({\bf x})$ for several posets this way. In this paper we give an expression for $Ψ_P({\bf x})$ for any poset $P$. We obtain such a formula using dissections of root polytopes. Moreover, we use the subdivision algebra of root polytopes to show that in certain instances $Ψ_P({\bf x})$ can be expressed as a product formula, thus giving a compact alternative proof of Greene's original result and its generalizations.
Degree-constrained Subgraph Reconfiguration is in P
The degree-constrained subgraph problem asks for a subgraph of a given graph such that the degree of each vertex is within some specified bounds. We study the following reconfiguration variant of this problem: Given two solutions to a degree-constrained subgraph instance, can we transform one solution into the other by adding and removing individual edges, such that each intermediate subgraph satisfies the degree constraints and contains at least a certain minimum number of edges? This problem is a generalization of the matching reconfiguration problem, which is known to be in P. We show that even in the more general setting the reconfiguration problem is in P.
Even-integer continued fractions and the Farey tree
Published
• View Publication
• BIB
Singerman introduced to the theory of maps on surfaces an object that is a universal cover for any map. This object is a tessellation of the hyperbolic plane together with a certain subset of the ideal boundary. The 1-skeleton of this tessellation comprises the edges of an infinite tree whose vertices belong to the ideal boundary. Here we show how this tree can be used to give a beautiful geometric representation of even-integer continued fractions. We use this representation to prove some of the fundamental theorems on even-integer continued fractions that are already known, and we also prove some new theorems with this technique, which have familiar counterparts in the theory of regular continued fractions.
Anti-concentration of inhomogeneous random walks
We provide a characterization for anti-concentration of inhomogeneous random walks in non-abelian groups. In application we extend the classical bounds by Erdos-Littlewood-Offord and Sarkozy-Szemeredi to non-abelian settings.
Unique colorability and clique minors
Published
• View Publication
• BIB
For a graph G, let h(G) denote the largest k such that G has k pairwise disjoint pairwise adjacent connected nonempty subgraphs, and let s(G) denote the largest k such that G has k pairwise disjoint pairwise adjacent connected subgraphs of size 1 or 2. Hadwiger's conjecture states that h(G) is at least c(G), where c(G) is the chromatic number of G. Seymour conjectured that s(G) is at least |V(G)|/2 for all graphs without antitriangles, i. e. three pairwise nonadjacent vertices. Here we concentrate on graphs G with exactly one c(G)-coloring. We prove generalizations of (i) if c(G) is at most 6 and G has exactly one c(G)-coloring then h(G) is at least c(G), where the proof does not use the four-color-theorem, and (ii) if G has no antitriangles and G has exactly one c(G)-coloring then s(G) is at least |V(G)|/2.
The greedy basis equals the theta basis
Published in J. Comb. Theory (Series A) 145 (2017), pp. 150-171
• View Publication
• BIB
We prove the equality of two canonical bases of a rank 2 cluster algebra, the greedy basis of Lee-Li-Zelevinsky and the theta basis of Gross-Hacking-Keel-Kontsevich.
Two Extensions of the Sury's Identity
Published
• View Publication
• BIB
In this note we prove two extensions of the Sury's identity.
The boundary value problem for Laplacian on differential forms and conformally Einstein infinity
We completely resolve the boundary value problem for differential forms and conformally Einstein infinity in terms of the dual Hahn polynomials. Consequently, we produce explicit formulas for the Branson-Gover operators on Einstein manifolds and prove their representation as a product of second order operators. This leads to an explicit description of $Q$-curvature and gauge companion operators on differential forms.
Even $(\bar{s}, \bar{t})$-core partitions and self-associate characters of $\tilde{S}_n$
A partition is a $\bar{s}$-core if it is the result of removing all of the $s$-bars from a partition. We extend a method of Olsson and Bessenrodt to determine the number of even partitions that are simultaneously $\bar{s}$-core and $\bar{t}$-core. When $p$ and $q$ are distinct primes, this also determines the number of self-associate characters of $\tilde{S}_n$ that are simultaneosly defect 0 for $p$ and $q$.
On the entropy of a noisy function
Published
• View Publication
• BIB
Let $0 < ε< 1/2$ be a noise parameter, and let $T_ε$ be the noise operator acting on functions on the boolean cube $\{0,1\}^n$. Let $f$ be a nonnegative function on $\{0,1\}^n$. We upper bound the entropy of $T_ε f$ by the average entropy of conditional expectations of $f$, given sets of roughly $(1-2ε)^2 \cdot n$ variables. In information-theoretic terms, we prove the following strengthening of "Mrs. Gerber's lemma": Let $X$ be a random binary vector of length $n$, and let $Z$ be a noise vector, corresponding to a binary symmetric channel with crossover probability $ε$. Then, setting $v = (1-2ε)^2 \cdot n$, we have (up to lower-order terms): $$ H\Big(X \oplus Z\Big) \ge n \cdot H\left(ε~+~ (1-2ε) \cdot H^{-1}\left(\frac{{\mathbb E}_{|B| = v} H\Big(\{X_i\}_{i\in B}\Big)}{v}\right)\right) $$ As an application, we show that for a boolean function $f$, which is close to a characteristic function $g$ of a subcube of dimension $n-1$, the entropy of $T_ε f$ is at most that of $T_ε g$. This, combined with a recent result of Ordentlich, Shayevitz, and Weinstein shows that the "Most informative boolean function" conjecture of Courtade and Kumar holds for high noise $ε\ge 1/2 - δ$, for some absolute constant $δ> 0$. Namely, if $X$ is uniformly distributed in $\{0,1\}^n$ and $Y$ is obtained by flipping each coordinate of $X$ independently with probability $ε$, then, provided $ε\ge 1/2 - δ$, for any boolean function $f$ holds $I\Big(f(X);Y\Big) \le 1 - H(ε)$.
A Hopf algebra of subword complexes
Published in Advances in Mathematics, Volume 305 (2017)Pages 1163-1201
• View Publication
• BIB
We introduce a Hopf algebra structure of subword complexes, including both finite and infinite types. We present an explicit cancellation free formula for the antipode using acyclic orientations of certain graphs, and show that this Hopf algebra induces a natural non-trivial sub-Hopf algebra on $c$-clusters in the theory of cluster algebras.
Mitosis algorithm for Grothendieck polynomials
Published
• View Publication
• BIB
In this article we will introduce the way to extend the mitosis algorithm for Schubert polynomials, developed by Ezra Miller, to the case of Grothendieck polynomials.
On closed sets of relational constraints and classes of functions closed under variable substitutions
Published in Algebra Universalis 54 (2005) 149-165
• View Publication
• BIB
Pippenger's Galois theory of finite functions and relational constraints is extended to the infinite case. The functions involved are functions of several variables on a set $A$ and taking values in a possibly different set $B$, where any or both of $A$ and $B$ may be finite or infinite.
New families of small regular graphs of girth 5
Published
• View Publication
• BIB
In this paper we are interested in the {\it{Cage Problem}} that consists in constructing regular graphs of given girth $g$ and minimum order. We focus on girth $g=5$, where cages are known only for degrees $k \le 7$. We construct regular graphs of girth $5$ using techniques exposed by Funk [Note di Matematica. 29 suppl.1, (2009) 91 - 114] and Abreu et al. [Discrete Math. 312 (2012), 2832 - 2842] to obtain the best upper bounds known hitherto. The tables given in the introduction show the improvements obtained with our results.
Lumpings of Algebraic Markov Chains arise from Subquotients
Published
• View Publication
• BIB
A function on the state space of a Markov chain is a "lumping" if observing only the function values gives a Markov chain. We give very general conditions for lumpings of a large class of algebraically-defined Markov chains, which include random walks on groups and other common constructions. We specialise these criteria to the case of descent operator chains from combinatorial Hopf algebras, and, as an example, construct a "top-to-random-with-standardisation" chain on permutations that lumps to a popular restriction-then-induction chain on partitions, using the fact that the algebra of symmetric functions is a subquotient of the Malvenuto-Reutenauer algebra.
On Ryser's Conjecture for Linear Intersecting Multipartite Hypergraphs
Published in European Journal of Combinatorics 61 (2017) 91-105
• View Publication
• BIB
Ryser conjectured that $τ\le(r-1)ν$ for $r$-partite hypergraphs, where $τ$ is the covering number and $ν$ is the matching number. We prove this conjecture for $r\le9$ in the special case of linear intersecting hypergraphs, in other words where every pair of lines meets in exactly one vertex. Aharoni formulated a stronger version of Ryser's conjecture which specified that each $r$-partite hypergraph should have a cover of size $(r-1)ν$ of a particular form. We provide a counterexample to Aharoni's conjecture with $r=13$ and $ν=1$. We also report a number of computational results. For $r=7$, we find that there is no linear intersecting hypergraph that achieves the equality $τ=r-1$ in Ryser's conjecture, although non-linear examples are known. We exhibit intersecting non-linear examples achieving equality for $r\in\{9,13,17\}$. Also, we find that $r=8$ is the smallest value of $r$ for which there exists a linear intersecting $r$-partite hypergraph that achieves $τ=r-1$ and is not isomorphic to a subhypergraph of a projective plane.