Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Combinatorial list-decoding of Reed-Solomon codes beyond the Johnson radius
Published
• View Publication
• BIB
List-decoding of Reed-Solomon (RS) codes beyond the so called Johnson radius has been one of the main open questions since the work of Guruswami and Sudan. It is now known by the work of Rudra and Wootters, using techniques from high dimensional probability, that over large enough alphabets most RS codes are indeed list-decodable beyond this radius.
In this paper we take a more combinatorial approach which allows us to determine the precise relation (up to the exact constant) between the decoding radius and the list size. We prove a generalized Singleton bound for a given list size, and conjecture that the bound is tight for most RS codes over large enough finite fields. We also show that the conjecture holds true for list sizes $2 \text{ and }3$, and as a by product show that most RS codes with a rate of at least $1/9$ are list-decodable beyond the Johnson radius. Lastly, we give the first explicit construction of such RS codes. The main tools used in the proof are a new type of linear dependency between codewords of a code that are contained in a small Hamming ball, and the notion of cycle space from Graph Theory. Both of them have not been used before in the context of list-decoding.
Statistical physics approaches to Unique Games
Published
• View Publication
• BIB
We show how two techniques from statistical physics can be adapted to solve a variant of the notorious Unique Games problem, potentially opening new avenues towards the Unique Games Conjecture. The variant, which we call Count Unique Games, is a promise problem in which the "yes" case guarantees a certain number of highly satisfiable assignments to the Unique Games instance. In the standard Unique Games problem, the "yes" case only guarantees at least one such assignment. We exhibit efficient algorithms for Count Unique Games based on approximating a suitable partition function for the Unique Games instance via (i) a zero-free region and polynomial interpolation, and (ii) the cluster expansion. We also show that a modest improvement to the parameters for which we give results would refute the Unique Games Conjecture.
Multilateration of Random Networks with Community Structure
The minimal number of nodes required to multilaterate a network endowed with geodesic distance (i.e., to uniquely identify all nodes based on shortest path distances to the selected nodes) is called its metric dimension. This quantity is related to a useful technique for embedding graphs in low-dimensional Euclidean spaces and representing the nodes of a graph numerically for downstream analyses such as vertex classification via machine learning. While metric dimension has been studied for many kinds of graphs, its behavior on the Stochastic Block Model (SBM) ensemble has not. The simple community structure of graphs in this ensemble make them interesting in a variety of contexts. Here we derive probabilistic bounds for the metric dimension of random graphs generated according to the SBM, and describe algorithms of varying complexity to find---with high probability---subsets of nodes for multilateration. Our methods are tested on SBM ensembles with parameters extracted from real-world networks. We show that our methods scale well with increasing network size as compared to the state-of-the-art Information Content Heuristic algorithm for metric dimension approximation.
On the Standard (2,2)-Conjecture
The well-known 1-2-3 Conjecture asserts that the edges of every graph without an isolated edge can be weighted with $1$, $2$ and $3$ so that adjacent vertices receive distinct weighted degrees. This is open in general. We prove that every graph with minimum degree $δ\geq 10^6$ can be decomposed into two subgraphs requiring just weights $1$ and $2$ for the same goal. We thus prove the so-called Standard $(2,2)$-Conjecture for graphs with sufficiently large minimum degree. The result is in particular based on applications of the Lovász Local Lemma and theorems on degree-constrained subgraphs.
Tilings of the infinite $p$-ary tree and Cantor homeomorphisms
Published in Mediterr. J. Math. 18 (2021) Article number 226 13 pages
• View Publication
• BIB
We define a notion of tiling of the full infinite $p$-ary tree, establishing a series of equivalent criteria for a subtree to be a tile, each of a different nature; namely, geometric, algebraic, graph-theoretic, order-theoretic, and topological. We show how these results can be applied in a straightforward and constructive manner to define homeomorphisms between two given spaces of $p$-adic integers, $\mathbb{Z}_{p}$ and $\mathbb{Z}_{q}$, endowed with their corresponding standard non-archimedean metric topologies.
Shannon capacity and the categorical product
Published
• View Publication
• BIB
Shannon OR-capacity $C_{\rm OR}(G)$ of a graph $G$, that is the traditionally more often used Shannon AND-capacity of the complementary graph, is a homomorphism monotone graph parameter satisfying $C_{\rm OR}(F\times G)\le\min\{C_{\rm OR}(F),C_{\rm OR}(G)\}$ for every pair of graphs, where $F\times G$ is the categorical product of graphs $F$ and $G$. Here we initiate the study of the question when could we expect equality in this inequality. Using a strong recent result of Zuiddam, we show that if this "Hedetniemi-type" equality is not satisfied for some pair of graphs then the analogous equality is also not satisfied for this graph pair by some other graph invariant that has a much "nicer" behavior concerning some different graph operations. In particular, unlike Shannon capacity or the chromatic number, this other invariant is both multiplicative under the OR-product and additive under the join operation, while it is also nondecreasing along graph homomorphisms. We also present a natural lower bound on $C_{\rm OR}(F\times G)$ and elaborate on the question of how to find graph pairs for which it is known to be strictly less, than the upper bound $\min\{C_{\rm OR}(F),C_{\rm OR}(G)\}$. We present such graph pairs using the properties of Paley graphs.
A discrete version of Liouville's theorem on conformal maps
Published in Geom. Dedicata 214 (2021), 389-398
• View Publication
• BIB
Liouville's theorem says that in dimension greater than two, all conformal maps are Möbius transformations. We prove an analogous statement about simplicial complexes, where two simplicial complexes are considered discretely conformally equivalent if they are combinatorially equivalent and the lengths of corresponding edges are related by scale factors associated with the vertices.
Partitions for semi-magic squares of size three
Published in Combinatorial and additive number theory IV. Springer Proc. in Math. and Stat. 347, 131-149, Springer, NY (2021)
• View Publication
• BIB
In the theory of Clebsch-Gordan coefficients, one may recognize the domain space as the set of weakly semi-magic squares of size three. Two partitions on this set are considered: a triangle-hexagon model based on top lines, and one based on the orbits under a finite group action. In addition to giving another proof of McMahon's formula, we give a generating function that counts the so-called trivial zeros of Clebsch-Gordan coefficients and its associated quasi-polynomial.
Improved bounds on the size of the smallest representation of relation algebra $32_{65}$
Published
• View Publication
• BIB
In this paper, we shed new light on the spectrum of the relation algebra we call $A_{n}$, which is obtained by splitting the non-flexible diversity atom of $6_{7}$ into $n$ symmetric atoms. Precisely, we show that the minimum value in $\text{Spec}(A_{n})$ is at most $2n^{6 + o(1)}$, which is the first polynomial bound and improves upon the previous bound due to Dodd \& Hirsch (\textit{J. Relational Methods in Computer Science} 2013). We also improve the lower bound to $2n^{2} + 4n + 1$, which is asymptotically double the trivial bound of $n^{2} + 2n + 3$.
In the process, we obtain stronger results regarding $\text{Spec}(A_{2}) =\text{Spec}(32_{65})$. Namely, we show that $1024$ is in the spectrum, and no number smaller than 26 is in the spectrum. Our improved lower bounds were obtained by employing a SAT solver, which suggests that such tools may be more generally useful in obtaining representation results.
NIM with Cash: A Concrete Approach
Let A be a finite subset of the naturals and let n be a natural. Let NIM(A;n) be the two player game in which players alternate removing $a\in A$ stones from a pile with $n$ stones; the first player who cannot move loses. This game has been researched thoroughly. We discuss a variant of NIM in which Player 1 and Player 2 start with d and e dollars, respectively. When a player removes a stones from the pile, he loses a dollars. The first player who cannot move loses, but this can now happen for two reasons: (1) The number of stones remaining is less than min(A), (2) The player has less than min(A) dollars. This game leads to much more interesting win conditions than regular NIM. We investigate general properties of this game. We then obtain and prove win conditions for the sets A={1,L} and $A={1,L,L+1}.
The Lattice Structure of Linear Subspace Codes
The projective space $\mathbb{P}_q(n)$, i.e. the set of all subspaces of the vector space $\mathbb{F}_q^n$, is a metric space endowed with the subspace distance metric. Braun, Etzion and Vardy argued that codes in a projective space are analogous to binary block codes in $\mathbb{F}_2^n$ using a framework of lattices. They defined linear codes in $\mathbb{P}_q(n)$ by mimicking key features of linear codes in the Hamming space $\mathbb{F}_2^n$. In this paper, we prove that a linear code in a projective space forms a sublattice of the corresponding projective lattice if and only if the code is closed under intersection. The sublattice thus formed is geometric distributive. We also present an application of this lattice-theoretic characterization.
Lyndon words versus inverse Lyndon words: queries on suffixes and bordered words
Published in Theoretical Computer Science, 2020
• View Publication
• BIB
Lyndon words have been largely investigated and showned to be a useful tool to prove interesting combinatorial properties of words. In this paper we state new properties of both Lyndon and inverse Lyndon factorizations of a word $w$, with the aim of exploring their use in some classical queries on $w$.
The main property we prove is related to a classical query on words. We prove that there are relations between the length of the longest common extension (or longest common prefix) $lcp(x,y)$ of two different suffixes $x,y$ of a word $w$ and the maximum length $\mathcal{M}$ of two consecutive factors of the inverse Lyndon factorization of $w$. More precisely, $\mathcal{M}$ is an upper bound on the length of $lcp(x,y)$. This result is in some sense stronger than the compatibility property, proved by Mantaci, Restivo, Rosone and Sciortino for the Lyndon factorization and here for the inverse Lyndon factorization. Roughly, the compatibility property allows us to extend the mutual order between local suffixes of (inverse) Lyndon factors to the suffixes of the whole word.
A main tool used in the proof of the above results is a property that we state for factors $m_i$ with nonempty borders in an inverse Lyndon factorization: a nonempty border of $m_i$ cannot be a prefix of the next factor $m_{i+1}$. The last property we prove shows that if two words share a common overlap, then their Lyndon factorizations can be used to capture the common overlap of the two words.
The above results open to the study of new applications of Lyndon words and inverse Lyndon words in the field of string comparison.
Analyzing connectivity of heterogeneous secure sensor networks
Published
• View Publication
• BIB
We analyze connectivity of a heterogeneous secure sensor network that uses key predistribution to protect communications between sensors. For this network on a set $\mathcal{V}_n$ of $n$ sensors, suppose there is a pool $\mathcal{P}_n$ consisting of $P_n$ distinct keys. The $n$ sensors in $\mathcal{V}_n$ are divided into $m$ groups $\mathcal{A}_1, \mathcal{A}_2, \ldots, \mathcal{A}_m$. Each sensor $v$ is independently assigned to exactly a group according to the probability distribution with $\mathbb{P}[v \in \mathcal{A}_i]= a_i$ for $i=1,2,\ldots,m$, where $\sum_{i=1}^{m}a_i = 1$. Afterwards, each sensor in group $\mathcal{A}_i$ independently chooses $K_{i,n}$ keys uniformly at random from the key pool $\mathcal{P}_n$, where $K_{1,n} \leq K_{2,n}\leq \ldots \leq K_{m,n}$. Finally, any two sensors in $\mathcal{V}_n$ establish a secure link in between if and only if they have at least one key in common. We present critical conditions for connectivity of this heterogeneous secure sensor network. The result provides useful guidelines for the design of secure sensor networks.
This paper improves the seminal work [1] (IEEE Transactions on Information Theory 2016) of Ya{ğ}an on connectivity in several aspects (omitted due to arxiv abstract's character limitation; see the paper for details).
Secure Connectivity of Wireless Sensor Networks Under Key Predistribution with on/off Channels
Published
• View Publication
• BIB
Security is an important issue in wireless sensor networks (WSNs), which are often deployed in hostile environments. The q-composite key predistribution scheme has been recognized as a suitable approach to secure WSNs. Although the q-composite scheme has received much attention in the literature, there is still a lack of rigorous analysis for secure WSNs operating under the q-composite scheme in consideration of the unreliability of links. One main difficulty lies in analyzing the network topology whose links are not independent. Wireless links can be unreliable in practice due to the presence of physical barriers between sensors or because of harsh environmental conditions severely impairing communications. In this paper, we resolve the difficult challenge and investigate k-connectivity in secure WSNs operating under the q-composite scheme with unreliable communication links modeled as independent on/off channels, where k-connectivity ensures connectivity despite the failure of any (k - 1) sensors or links, and connectivity means that any two sensors can find a path in between for secure communication. Specifically, we derive the asymptotically exact probability and a zero-one law for k-connectivity. We further use the theoretical results to provide design guidelines for secure WSNs. Experimental results also confirm the validity of our analytical findings.
AND Testing and Robust Judgement Aggregation
Published
• View Publication
• BIB
A function $f\colon\{0,1\}^n\to \{0,1\}$ is called an approximate AND-homomorphism if choosing ${\bf x},{\bf y}\in\{0,1\}^n$ randomly, we have that $f({\bf x}\land {\bf y}) = f({\bf x})\land f({\bf y})$ with probability at least $1-ε$, where $x\land y = (x_1\land y_1,\ldots,x_n\land y_n)$. We prove that if $f\colon \{0,1\}^n \to \{0,1\}$ is an approximate AND-homomorphism, then $f$ is $δ$-close to either a constant function or an AND function, where $δ(ε) \to 0$ as $ε\to0$. This improves on a result of Nehama, who proved a similar statement in which $δ$ depends on $n$.
Our theorem implies a strong result on judgement aggregation in computational social choice. In the language of social choice, our result shows that if $f$ is $ε$-close to satisfying judgement aggregation, then it is $δ(ε)$-close to an oligarchy (the name for the AND function in social choice theory). This improves on Nehama's result, in which $δ$ decays polynomially with $n$.
Our result follows from a more general one, in which we characterize approximate solutions to the eigenvalue equation $\mathrm T f = λg$, where $\mathrm T$ is the downwards noise operator $\mathrm T f(x) = \mathbb{E}_{\bf y}[f(x \land {\bf y})]$, $f$ is $[0,1]$-valued, and $g$ is $\{0,1\}$-valued. We identify all exact solutions to this equation, and show that any approximate solution in which $\mathrm T f$ and $λg$ are close is close to an exact solution.
Kruskal-Katona for convex sets, with applications
The well-known Kruskal-Katona theorem in combinatorics says that (under mild conditions) every monotone Boolean function $f: \{0,1\}^n \to \{0,1\}$ has a nontrivial "density increment." This means that the fraction of inputs of Hamming weight $k+1$ for which $f=1$ is significantly larger than the fraction of inputs of Hamming weight $k$ for which $f=1.$
We prove an analogous statement for convex sets. Informally, our main result says that (under mild conditions) every convex set $K \subset \mathbb{R}^n$ has a nontrivial density increment. This means that the fraction of the radius-$r$ sphere that lies within $K$ is significantly larger than the fraction of the radius-$r'$ sphere that lies within $K$, for $r'$ suitably larger than $r$. For centrally symmetric convex sets we show that our density increment result is essentially optimal.
As a consequence of our Kruskal-Katona type theorem, we obtain the first efficient weak learning algorithm for convex sets under the Gaussian distribution. We show that any convex set can be weak learned to advantage $Ω(1/n)$ in $\mathsf{poly}(n)$ time under any Gaussian distribution and that any centrally symmetric convex set can be weak learned to advantage $Ω(1/\sqrt{n})$ in $\mathsf{poly}(n)$ time. We also give an information-theoretic lower bound showing that the latter advantage is essentially optimal for $\mathsf{poly}(n)$ time weak learning algorithms. As another consequence of our Kruskal-Katona theorem, we give the first nontrivial Gaussian noise stability bounds for convex sets at high noise rates. Our results extend the known correspondence between monotone Boolean functions over $ \{0,1\}^n$ and convex bodies in Gaussian space.
Abstract 3-Rigidity and Bivariate $C_2^1$-Splines I: Whiteley's Maximality Conjecture
Published in Discrete Analysis, 2022
• View Publication
• BIB
A conjecture of Graver from 1991 states that the generic $3$-dimensional rigidity matroid is the unique maximal abstract $3$-rigidity matroid with respect to the weak order on matroids. Based on a close similarity between the generic $d$-dimensional rigidity matroid and the generic $C_{d-2}^{d-1}$-cofactor matroid from approximation theory, Whiteley made an analogous conjecture in 1996 that the generic $C_{d-2}^{d-1}$-cofactor matroid is the unique maximal abstract $d$-rigidity matroid for all $d\geq 2$. We verify the case $d=3$ of Whiteley's conjecture in this paper. A key step in our proof is to verify a second conjecture of Whiteley that the `double V-replacement operation' preserves independence in the generic $C_2^1$-cofactor matroid.
Abstract 3-Rigidity and Bivariate $C_2^1$-Splines II: Combinatorial Characterization
Published in Discrete Analysis, 2022
• View Publication
• BIB
We showed in the first paper of this series that the generic $C_2^1$-cofactor matroid is the unique maximal abstract $3$-rigidity matroid. In this paper we obtain a combinatorial characterization of independence in this matroid. This solves the cofactor counterpart of the combinatorial characterization problem for the rigidity of generic 3-dimensional bar-joint frameworks. We use our characterization to verify that the counterparts of conjectures of Dress (on the rank function) and Lovász and Yemini (which suggested a sufficient connectivity condition for rigidity) hold for this matroid.
Obstructions for bounded shrub-depth and rank-depth
Published in J. Combin. Theory Ser. B, 149:76-91, July 2021
• View Publication
• BIB
Shrub-depth and rank-depth are dense analogues of the tree-depth of a graph. It is well known that a graph has large tree-depth if and only if it has a long path as a subgraph. We prove an analogous statement for shrub-depth and rank-depth, which was conjectured by Hliněný, Kwon, Obdržálek, and Ordyniak [Tree-depth and vertex-minors, European J.~Combin. 2016]. Namely, we prove that a graph has large rank-depth if and only if it has a vertex-minor isomorphic to a long path. This implies that for every integer $t$, the class of graphs with no vertex-minor isomorphic to the path on $t$ vertices has bounded shrub-depth.
Proof of two supercongruences by the Wilf-Zeilberger method
Published in Journal of symbolic computation(2021)
• View Publication
• BIB
In this paper, we prove two supercongruences by the Wilf-Zeilberger method. One of them is, for any prime $p>3$, \begin{align*} \sum_{n=0}^{(p-1)/2}\frac{3n+1}{(-8)^n}\binom{2n}n^3\equiv p\left(\frac{-1}p\right)+\frac{p^3}4\left(\frac2p\right)E_{p-3}\left(\frac14\right)\pmod{p^4}, \end{align*} where $\left(\frac{\cdot}p\right)$ stands for the Legendre symbol, and $E_{n}(x)$ are the Euler polynomials. This congruence confirms a conjecture of Sun \cite[(2.18)]{sun-numb-2019} with $n=1$.