Showing 20 papers (Total: 82661 papers, 47773 authors in database)
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.
Proper connection number and 2-proper connection number of a graph
A path in an edge-colored graph is called a proper path if no two adjacent edges of the path are colored with one same color. An edge-colored graph is called $k$-proper connected if any two vertices of the graph are connected by $k$ internally pairwise vertex-disjoint proper paths in the graph. The $k$-proper connection number of a $k$-connected graph $G$, denoted by $pc_k(G)$, is defined as the smallest number of colors that are needed in order to make $G$ $k$-proper connected. For $k=1$, we write $pc(G)$ other than $pc_1(G)$, and call it the proper connection number of $G$. In this paper, we present an upper bound for the proper connection number of a graph $G$ in terms of the minimum degree of $G$, and give some sufficient conditions for a graph to have $2$-proper connection number two. Also, we investigate the proper connection numbers of dense graphs.
Regularity lemma for distal structures
Published
• View Publication
• BIB
It is known that families of graphs with a semialgebraic edge relation of bounded complexity satisfy much stronger regularity properties than arbitrary graphs, and that they can be decomposed into very homogeneous semialgebraic pieces up to a small error (e.g., see [33, 2, 16, 18]). We show that similar results can be obtained for families of graphs with the edge relation uniformly definable in a structure satisfying a certain model theoretic property called distality, with respect to a large class of generically stable measures. Moreover, distality characterizes these strong regularity properties. This applies in particular to graphs definable in arbitrary $o$-minimal structures and in $p$-adics.
Locally triangular graphs and normal quotients of the $n$-cube
Published in J. Algebr. Comb. 44 (2016) 119-130
• View Publication
• BIB
For an integer $n\geq 2$, the triangular graph has vertex set the $2$-subsets of $\{1,\ldots,n\}$ and edge set the pairs of $2$-subsets intersecting at one point. Such graphs are known to be halved graphs of bipartite rectagraphs, which are connected triangle-free graphs in which every $2$-path lies in a unique quadrangle. We refine this result and provide a characterisation of connected locally triangular graphs as halved graphs of normal quotients of $n$-cubes. To do so, we study a parameter that generalises the concept of minimum distance for a binary linear code to arbitrary automorphism groups of the $n$-cube.