Showing 20 papers (Total: 83842 papers, 48355 authors in database)
The "art of trellis decoding" is fixed-parameter tractable
Published in IEEE Trans. Inform. Theory, 63(11)(November 2017), pp. 7178-7205
• View Publication
• BIB
Given n subspaces of a finite-dimensional vector space over a fixed finite field $\mathbb F$, we wish to find a linear layout $V_1,V_2,\ldots,V_n$ of the subspaces such that $\dim((V_1+V_2+\cdots+V_i) \cap (V_{i+1}+\cdots+V_n))\le k$ for all i, such a linear layout is said to have width at most k. When restricted to 1-dimensional subspaces, this problem is equivalent to computing the trellis-width (or minimum trellis state-complexity) of a linear code in coding theory and computing the path-width of an $\mathbb F$-represented matroid in matroid theory.
We present a fixed-parameter tractable algorithm to construct a linear layout of width at most k, if it exists, for input subspaces of a finite-dimensional vector space over $\mathbb F$. As corollaries, we obtain a fixed-parameter tractable algorithm to produce a path-decomposition of width at most k for an input $\mathbb F$-represented matroid of path-width at most k, and a fixed-parameter tractable algorithm to find a linear rank-decomposition of width at most k for an input graph of linear rank-width at most k. In both corollaries, no such algorithms were known previously.
It was previously known that a fixed-parameter tractable algorithm exists for the decision version of the problem for matroid path-width, a theorem by Geelen, Gerards, and Whittle~(2002) implies that for each fixed finite field $\mathbb F$, there are finitely many forbidden $\mathbb F$-representable minors for the class of matroids of path-width at most k. An algorithm by Hliněný (2006) can detect a minor in an input $\mathbb F$-represented matroid of bounded branch-width. However, this indirect approach would not produce an actual path-decomposition. Our algorithm is the first one to construct such a path-decomposition and does not depend on the finiteness of forbidden minors.
Asymmetric Latin squares, Steiner triple systems, and edge-parallelisms
This article, showing that almost all objects in the title are asymmetric, is re-typed from a manuscript I wrote somewhere around 1980 (after the papers of Bang and Friedland on the permanent conjecture but before those of Egorychev and Falikman). I am not sure of the exact date. The manuscript had been lost, but surfaced among my papers recently.
I am grateful to Laci Babai and Ian Wanless who have encouraged me to make this document public, and to Ian for spotting a couple of typos. In the section on Latin squares, Ian objects to my use of the term "cell"; this might be more reasonably called a "triple" (since it specifies a row, column and symbol), but I have decided to keep the terminology I originally used.
The result for Latin squares is in B. D. McKay and I. M. Wanless, On the number of Latin squares, Annals of Combinatorics 9 (2005), 335-344 (arXiv 0909.2101), while the result for Steiner triple systems is in L. Babai, Almost all Steiner triple systems are asymmetric, Annals of Discrete Mathematics 7 (1980), 37-39.
New examples of complete sets, with connections to a Diophantine theorem of Furstenberg
Published
• View Publication
• BIB
A set $A\subseteq\mathbb N$ is called $complete$ if every sufficiently large integer can be written as the sum of distinct elements of $A$. In this paper we present a new method for proving the completeness of a set, improving results of Cassels ('60), Zannier ('92), Burr, Erdős, Graham, and Li ('96), and Hegyvári ('00). We also introduce the somewhat philosophically related notion of a $dispersing$ set and refine a theorem of Furstenberg ('67).
A note on tilted Sperner families with patterns
Published
• View Publication
• BIB
Let $p$ and $q$ be two nonnegative integers with $p+q>0$ and $n>0$. We call $\mathcal{F} \subset \mathcal{P}([n])$ a \textit{(p,q)-tilted Sperner family with patterns on [n]} if there are no distinct $F,G \in \mathcal{F}$ with: $$(i) \ \ p|F \setminus G|=q|G \setminus F|, \ \textrm{and}$$ $$(ii) \ f > g \ \textrm{for all} \ f \in F \setminus G \ \textrm{and} \ g \in G \setminus F.$$
Long (\cite{L}) proved that the cardinality of a (1,2)-tilted Sperner family with patterns on $[n]$ is $$O(e^{120\sqrt{\log n}}\ \frac{2^n}{\sqrt{n}}).$$
We improve and generalize this result, and prove that the cardinality of every ($p,q$)-tilted Sperner family with patterns on [$n$] is $$O(\sqrt{\log n} \ \frac{2^n}{\sqrt{n}}).$$
On an almost-universal hash function family with applications to authentication and secrecy codes
Published in International Journal of Foundations of Computer Science 29 (2018), 357-375
• View Publication
• BIB
Universal hashing, discovered by Carter and Wegman in 1979, has many important applications in computer science. MMH$^*$, which was shown to be $Δ$-universal by Halevi and Krawczyk in 1997, is a well-known universal hash function family. We introduce a variant of MMH$^*$, that we call GRDH, where we use an arbitrary integer $n>1$ instead of prime $p$ and let the keys $\mathbf{x}=\langle x_1, \ldots, x_k \rangle \in \mathbb{Z}_n^k$ satisfy the conditions $\gcd(x_i,n)=t_i$ ($1\leq i\leq k$), where $t_1,\ldots,t_k$ are given positive divisors of $n$. Then via connecting the universal hashing problem to the number of solutions of restricted linear congruences, we prove that the family GRDH is an $\varepsilon$-almost-$Δ$-universal family of hash functions for some $\varepsilon<1$ if and only if $n$ is odd and $\gcd(x_i,n)=t_i=1$ $(1\leq i\leq k)$. Furthermore, if these conditions are satisfied then GRDH is $\frac{1}{p-1}$-almost-$Δ$-universal, where $p$ is the smallest prime divisor of $n$. Finally, as an application of our results, we propose an authentication code with secrecy scheme which strongly generalizes the scheme studied by Alomair et al. [{\it J. Math. Cryptol.} {\bf 4} (2010), 121--148], and [{\it J.UCS} {\bf 15} (2009), 2937--2956].
Rectified Simplex Polytope Numbers
Polytope numbers for a given polytope are an integer sequence defined by the combinatorics of the polytope. Recent work by H. K. Kim and J. Y. Lee has focused on writing polytope number sequences as sums of simplex number sequences. We focus on $r$-rectified simplices and show that the sequences for these polytopes can be written as alternating sums of simplex numbers analogous to the inclusion-exclusion given by the geometric process of $r$-rectification.
On interior polytope number sequences
Polytope numbers for a given polytope are an integer sequence defined by the combinatorics of the polytope. Recent work by H. K. Kim and J. Y. Lee has focused on writing polytope number sequences as sums of simplex number sequences. In addition, these works have given a process for writing the polytope number sequence in a recursive fashion by using the interior sequence for the various k-faces of the polytope, each viewed as a k-dimensional polytope. This paper shows that the coefficients of the linear combination of simplex number are the h-vector components for a certain type of triangulation of the polytope. In addition, reversing the order of the coefficients in the linear combination is shown to equal the interior polytope sequence for this polytope.
Discovering and Proving Infinite Binomial Sums Identities
Published
• View Publication
• BIB
We consider binomial and inverse binomial sums at infinity and rewrite them in terms of a small set of constants, such as powers of $π$ or $\log(2)$. In order to perform these simplifications, we view the series as specializations of generating series. For these generating series, we derive integral representations in terms of root-valued iterated integrals. Using substitutions, we express the interated integrals as cyclotomic harmonic polylogarithms. Finally, by applying known relations among the cyclotomic harmonic polylogarithms, we derive expressions in terms of several constants.
An improved bound on the fraction of correctable deletions
Published
• View Publication
• BIB
We consider codes over fixed alphabets against worst-case symbol deletions. For any fixed $k \ge 2$, we construct a family of codes over alphabet of size $k$ with positive rate, which allow efficient recovery from a worst-case deletion fraction approaching $1-\frac{2}{k+\sqrt k}$. In particular, for binary codes, we are able to recover a fraction of deletions approaching $1/(\sqrt 2 +1)=\sqrt 2-1 \approx 0.414$. Previously, even non-constructively the largest deletion fraction known to be correctable with positive rate was $1-Θ(1/\sqrt{k})$, and around $0.17$ for the binary case.
Our result pins down the largest fraction of correctable deletions for $k$-ary codes as $1-Θ(1/k)$, since $1-1/k$ is an upper bound even for the simpler model of erasures where the locations of the missing symbols are known.
Closing the gap between $(\sqrt 2 -1)$ and $1/2$ for the limit of worst-case deletions correctable by binary codes remains a tantalizing open question.
On Minimum Terminal Distance Spectral Radius of Trees with Given Degree Sequence
For a tree with the given sequence of vertex degrees the spectral radius of its terminal distance matrix is shown to be bounded from below by the the average row sum of the terminal distance matrix of the, so called, BFS-tree (also known as a greedy tree). This lower bound is typically not tight; nevertheless, since spectral radius of the terminal distance matrix of BFS-tree is a natural upper bound, the numeric simulation shows that relative gap between the upper and the lower bound does not exceed 3% (we also make a step towards justifying this fact analytically.) Therefore, the conjecture that BFS-tree has the minimum terminal distance spectral radius among all trees with the given degree sequence is valid with accuracy at least 97%. The same technique can be applied to the distance spectral radius of trees, which is a more popular topological index.
On Mitchell's embedding theorem for a quasi-schemoid
Published
• View Publication
• BIB
A quasi-schemoid is a small category whose morphisms are colored with appropriate combinatorial data. In this note, Mitchell's embedding theorem for a tame schemoid is established. The result allows us to give a cofibrantly generated model category structure to the category of chain complexes over a functor category with a schemoid as the domain. Moreover, a notion of Morita equivalence for schemoids is introduced and discussed. In particular, we show that every Hamming scheme of binary codes is Morita equivalent to the association scheme arising from the cyclic group of order two. In an appendix, we construct a new schemoid from an abstract simplicial complex, whose Bose-Mesner algebra is closely related to the Stanley-Reisner ring of the given complex.
Improved Upper Bounds on $a'(G\Box H)$
The acyclic edge colouring problem is extensively studied in graph theory. The corner-stone of this field is a conjecture of Alon et. al.\cite{alonacyclic} that $a'(G)\le Δ(G)+2$. In that and subsequent work, $a'(G)$ is typically bounded in terms of $Δ(G)$. Motivated by this we introduce a term $gap(G)$ defined as $gap(G)=a'(G)-Δ(G)$. Alon's conjecture can be rephrased as $gap(G)\le2$ for all graphs $G$. In \cite{manusccartprod} it was shown that $a'(G\Box H)\le a'(G)+a'(H)$, under some assumptions. Based on Alon's conjecture, we conjecture that $a'(G\Box H)\le a'(G)+Δ(H)$ under the same assumptions, resulting in a strengthening. The results of \cite{alonacyclic} validate our conjecture for the class of graphs it considers. We prove our conjecture for a significant subclass of sub-cubic graphs and state some generic conditions under which our conjecture can be proved. We suggest how our technique can be potentially applied by future researchers to expand the class of graphs for which our conjecture holds. Our results improve the understanding of the relationship between Cartesian Product and acyclic chromatic index.
A cospectral family of graphs for the normalized Laplacian found by toggling
Published
• View Publication
• BIB
We give a construction of a family of (weighted) graphs that are pairwise cospectral with respect to the normalized Laplacian matrix, or equivalently probability transition matrix. This construction can be used to form pairs of cospectral graphs with differing number of edges, including situations where one graph is a subgraph of the other. The method used to demonstrate cospectrality is by showing the characteristic polynomials are equal.
Hedgehog Bases for A_n Cluster Polylogarithms and An Application to Six-Point Amplitudes
Published
• View Publication
• BIB
Multi-loop scattering amplitudes in N=4 Yang-Mills theory possess cluster algebra structure. In order to develop a computational framework which exploits this connection, we show how to construct bases of Goncharov polylogarithm functions, at any weight, whose symbol alphabet consists of cluster coordinates on the $A_n$ cluster algebra. Using such a basis we present a new expression for the 2-loop 6-particle NMHV amplitude which makes some of its cluster structure manifest.
An action of the Coxeter group $BC_n$ on maps on surfaces, Lagrangian matroids and their representations
For a map $\mathcal M$ cellularly embedded on a connected and closed orientable surface, the bases of its Lagrangian (also known as delta-) matroid $Δ(\mathcal M)$ correspond to the bases of a Lagrangian subspace $L$ of the standard orthogonal space $\mathbb{Q}^E\oplus\mathbb{Q}^{E^*}$, where $E$ and $E^*$ are the edge-sets of $\mathcal M$ and its dual map. The Lagrangian subspace $L$ is said to be a representation of both $\mathcal M$ and $Δ(\mathcal M)$. Furthermore, the bases of $Δ(\mathcal M)$, when understood as vertices of the hypercube $[-1,1]^n$, induce a polytope $\mathbf P(Δ(\mathcal M))$ with edges parallel to the root system of type $BC_n$. In this paper we study the action of the Coxeter group $BC_n$ on $\mathcal M$, $L$, $Δ(\mathcal M)$ and $\mathbf P(Δ(\mathcal M))$. We also comment on the action of $BC_n$ on $\mathcal M$ when $\mathcal M$ is understood a dessin d'enfant.
A Ladder Tournament
Ladder tournaments are widely used to rank individuals in real-world organizations and games. Their mathematical properties however are still poorly understood. We formalize the ranking rule generated by a ladder tournament, and we show that it is neither complete nor transitive in general. If it is complete, then it is transitive and its asymmetric component is a finite union of transitive tournaments. We also study the relationship between an individual's rank and his performance as measured by the frequency at which he is pivotal. We show an individual's pivotability is a weakly increasing function of his rank.
On the greatest and least elements in the set of semistandard tableaux of given shape and weight
We give three algorithms to construct a semistandard tableau of given shape and weight, where the weight is a composition which is not necessarily a partition. With respect to a natural partial order on the set of semistandard tableaux, we show that the set of semistandard tableaux of given shape and weight has a unique greatest element and a unique least element. Two of our algorithms give each of these elements.
Weyl modules for $\mathfrak{osp}(1,2)$ and nonsymmetric Macdonald polynomials
Published
• View Publication
• BIB
The main goal of our paper is to establish a connection between the Weyl modules of the current Lie superalgebras (twisted and untwisted) attached to $\mathfrak{osp}(1,2)$ and the nonsymmetric Macdonald polynomials of types $A_2^{(2)}$ and $A_2^{(2)\dagger}$. We compute the dimensions and construct bases of the Weyl modules. We also derive explicit formulas for the t=0 and t=\infty specializations of the nonsymmetric Macdonald polynomials. We show that the specializations can be described in terms of the Lie superalgebras action on the Weyl modules.
Proof of a conjecture on the zero forcing number of a graph
Published
• View Publication
• BIB
Amos et al. (Discrete Appl. Math. 181 (2015) 1-10) introduced the notion of the $k$-forcing number of graph for a positive integer $k$ as the generalization of the zero forcing number of a graph. The $k$-forcing number of a simple graph $G$, denoted by $F_k(G)$, is the minimum number of vertices that need to be initially colored so that all vertices eventually become colored during the discrete dynamical process by the following rule. Starting from an initial set of colored vertices and stopping when all vertices are colored: if a colored vertex has at most $k$ non-colored neighbors, then each of its non-colored neighbors become colored. Particulary, $F_1(G)$ is a widely studied invariant with close connection to the maximum nullity of a graph, under the name of the zero forcing number, denoted by $Z(G)$. Among other things, the authors proved that for a connected graph $G$ of order $n$ with $Δ=Δ(G)\geq 2$, $Z(G)\leq \frac{(Δ-2)n+2}{Δ-1}$, and this inequality is sharp. Moreover, they conjectured that $Z(G)=\frac{(Δ-2)n+2}{Δ-1}$ if and only if $G=C_n$, $G=K_{Δ+1}$ or $G=K_{Δ, Δ}$. In this note, we show the above conjecture is true.
Steiner's Porism in finite Miquelian Möbius planes
We investigate Steiner's Porism in finite Miquelian Möbius planes constructed over the pair of finite fields $GF(p^m)$ and $GF(p^{2m})$, for $p$ an odd prime and $m \geq 1$. Properties of common tangent circles for two given concentric circles are discussed and with that, a finite version of Steiner's Porism for concentric circles is stated and proved. We formulate conditions on the length of a Steiner chain by using the quadratic residue theorem in $GF(p^m)$. These results are then generalized to an arbitrary pair of non-intersecting circles by introducing the notion of capacitance, which turns out to be invariant under Möbius transformations. Finally, the results are compared with the situation in the classical Euclidean plane.