Showing 20 papers (Total: 83190 papers, 48060 authors in database)
On the non-existence of linear perfect Lee codes: The Zhang-Ge condition and a new polynomial criterion
Published
• View Publication
• BIB
The Golomb-Welch conjecture (1968) states that there are no $e$-perfect Lee codes in $\mathbb{Z}^n$ for $n\geq 3$ and $e\geq 2$. This conjecture remains open even for linear codes. A recent result of Zhang and Ge establishes the non-existence of linear $e$-perfect Lee codes in $\mathbb{Z}^n$ for infinitely many dimensions $n$, for $e=3$ and $4$. In this paper we extend this result in two ways. First, using the non-existence criterion of Zhang and Ge together with a generalized version of Lucas' theorem we extend the above result for almost all $e$ (i.e. a subset of positive integers with density $1$). Namely, if $e$ contains a digit $1$ in its base-$3$ representation which is not in the unit place (e.g. $e=3,4$) there are no linear $e$-perfect Lee codes in $\mathbb{Z}^n$ for infinitely many dimensions $n$. Next, based on a family of polynomials (the $Q$-polynomials), we present a new criterion for the non-existence of certain lattice tilings. This criterion depends on a prime $p$ and a tile $B$. For $p=3$ and $B$ being a Lee ball we recover the criterion of Zhang and Ge.
Weil sums of binomials: properties, applications, and open problems
Published
• View Publication
• BIB
We present a survey on Weil sums in which an additive character of a finite field $F$ is applied to a binomial whose individual terms (monomials) become permutations of $F$ when regarded as functions. Then we indicate how these Weil sums are used in applications, especially how they characterize the nonlinearity of power permutations and the correlation of linear recursive sequences over finite fields. In these applications, one is interested in the spectrum of Weil sum values that are obtained as the coefficients in the binomial are varied. We review the basic properties of such spectra, and then give a survey of current topics of research: Archimedean and non-Archimedean bounds on the sums, the number of values in the spectrum, and the presence or absence of zero in the spectrum. We indicate some important open problems and discuss progress that has been made on them.
A short note on the multiplicative energy of the spectrum of a set
Published
• View Publication
• BIB
We obtain an upper bound for the multiplicative energy of the spectrum of an arbitrary set from $\mathbb{F}_p$, which is the best possible up to the results on exponential sums over subgroups.
McEliece-type Cryptosystems over Quasi-cyclic Codes
In this thesis, we study algebraic coding theory based McEliece-type cryptosystems over quasi-cyclic codes. The main goal of this thesis is to construct a cryptosystem that resists quantum Fourier sampling making it quantum secure. We propose a new variant of Niederreiter cryptosystem over rate $\frac{m-1}{m}$ quasi-cyclic codes which is secure against quantum Fourier sampling due to indistinguishability of the hidden subgroup. The proof of indistinguishability is achieved due to two constraints over automorphism group; small size and large minimal degree. Apart from this cryptosystem, we also present a class of $\frac{1}{m}$ quasi-cyclic codes, with small size and large minimal degree of the automorphism group.
Inherited conics in Hall planes
Published
• View Publication
• BIB
The existence of ovals and hyperovals is an old question in the theory of non-Desarguesian planes. The aim of this paper is to describe when a conic of ${\rm PG}(2,q)$ remains an arc in the Hall plane obtained by derivation. Some combinatorial properties of the inherited conics are obtained also in those cases when it is not an arc. The key ingredient of the proof is an old lemma by Segre-Korchmáros on Desargues configurations with perspective triangles inscribed in a conic.
Vertex-Maximal Lattice Polytopes Contained in 2-Simplices
Motivated by the problem of bounding the number of rays of plane tropical curves we study the following question: Given $n\in\mathbb{N}$ and a unimodular $2$-simplex $Δ$ what is the maximal number of vertices a lattice polytope contained in $n\cdot Δ$ can have? We determine this number for an infinite subset of $\mathbb{N}$ by providing a family of vertex-maximal polytopes and give bounds for the other cases.
The support designs of the triply even codes of length 48
Published
• View Publication
• BIB
In this paper, we present examples of codes all of whose weight classes support 1-designs, with duals whose classes include two that support 2-designs. We can find these examples in the triply even binary codes of length 48, which have been classified by Betsumiya and Munemasa.
Causal dynamics of discrete manifolds
We extend Cellular Automata to time-varying discrete geometries. In other words we formalize, and prove theorems about, the intuitive idea of a discrete manifold which evolves in time, subject to two natural constraints: the evolution does not propagate information too fast; and it acts everywhere the same. For this purpose we develop a correspondence between complexes and labeled graphs. In particular we reformulate the properties that characterize discrete manifolds amongst complexes, solely in terms of graphs. In dimensions $n<4$, over bounded-star graphs, it is decidable whether a Cellular Automaton maps discrete manifolds into discrete manifolds.
Non-convergence of proportions of types in a preferential attachment graph with three co-existing types
Published in Electronic Communications in Probability 23 (2018) paper no. 54
• View Publication
• BIB
We consider the preferential attachment model with multiple vertex types introduced by Antunović, Mossel and Rácz. We give an example with three types, based on the game of rock-paper-scissors, where the proportions of vertices of the different types almost surely do not converge to a limit, giving a counterexample to a conjecture of Antunović, Mossel and Rácz. We also consider another family of examples where we show that the conjecture does hold.
Further results on the radio number of trees
Published in Electronic Notes in Discrete Mathematics, Volume 63, Pages 85-91, 2017
• View Publication
• BIB
Let $G$ be a finite, connected, undirected graph with diameter $diam(G)$ and $d(u,v)$ denote the distance between $u$ and $v$ in $G$. A radio labeling of a graph $G$ is a mapping $f: V(G) \rightarrow \{0,1,2,...\}$ such that $|f(u)-f(v)| \geq diam(G) + 1 - d(u,v)$ for every pair of distinct vertices $u, v$ of $G$. The radio number of $G$, denoted by $rn(G)$, is the smallest integer $k$ such that $G$ has a radio labeling $f$ with $\max\{f(v) : v \in V(G)\} = k$. In this paper, we determine the radio number for three families of trees obtained by taking graph operation on a given tree or a family of trees.
Radio number for middle graph of paths
Published in Electronic Notes in Discrete Mathematics, Volume 63, Pages 93-100, 2017
• View Publication
• BIB
For a connected graph $G$, let $diam(G)$ and $d(u,v)$ denote the diameter of $G$ and distance between $u$ and $v$ in $G$. A radio labeling of a graph $G$ is a mapping $\varphi : V(G) \rightarrow \{0,1,2,...\}$ such that $|\varphi(u)-\varphi(v)| \geq diam(G) + 1 - d(u,v)$ for every pair of distinct vertices $u, v$ of $G$. The span of $\varphi$ is defined as span($\varphi$) = $\max\{|\varphi(u)-\varphi(v)| : u, v \in V(G)\}$. The radio number $rn(G)$ of $G$ is defined as $rn(G)$ = $\min\{$span($\varphi$) : $\varphi$ is a radio labeling of $G\}$. In this paper, we determine the radio number for middle graph of paths.
On some tractable and hard instances for partial incentives and target set selection
Published
• View Publication
• BIB
A widely studied model for influence diffusion in social networks are {\it target sets}. For a graph $G$ and an integer-valued threshold function $τ$ on its vertex set, a {\it target set} or {\it dynamic monopoly} is a set of vertices of $G$ such that iteratively adding to it vertices $u$ of $G$ that have at least $τ(u)$ neighbors in it eventually yields the entire vertex set of $G$. This notion is limited to the binary choice of including a vertex in the target set or not, and Cordasco et al.~proposed {\it partial incentives} as a variant allowing for intermediate choices.
We show that finding optimal partial incentives is hard for chordal graphs and planar graphs but tractable for graphs of bounded treewidth and for interval graphs with bounded thresholds. We also contribute some new results about target set seletion on planar graphs by showing the hardness of this problem, and by describing an efficient $O(\sqrt{n})$-approximation algorithm as well as a PTAS for the dual problem of finding a maximum degenerate set.
Fairest edge usage and minimum expected overlap for random spanning trees
Published
• View Publication
• BIB
Random spanning trees of a graph $G$ are governed by a corresponding probability mass distribution (or "law"), $μ$, defined on the set of all spanning trees of $G$. This paper addresses the problem of choosing $μ$ in order to utilize the edges as "fairly" as possible. This turns out to be equivalent to minimizing, with respect to $μ$, the expected overlap of two independent random spanning trees sampled with law $μ$. In the process, we introduce the notion of homogeneous graphs. These are graphs for which it is possible to choose a random spanning tree so that all edges have equal usage probability. The main result is a deflation process that identifies a hierarchical structure of arbitrary graphs in terms of homogeneous subgraphs, which we call homogeneous cores. A key tool in the analysis is the spanning tree modulus, for which there exists an algorithm based on minimum spanning tree algorithms, such as Kruskal's or Prim's.
Invariants of graph drawings in the plane
Published in Arnold Math. J., 6 (2020) 21-55 (abridged version)
• View Publication
• BIB
We present a simplified exposition of some classical and modern results on graph drawings in the plane. These results are chosen so that they illustrate some spectacular recent higher-dimensional results on the border of topology and combinatorics. We define a mod2-valued self-intersection invariant (i.e. the van Kampen number) and its generalizations. We present elementary formulations and arguments accessible to mathematicians not specialized in any of the areas discussed. So most part of this survey could be studied before textbooks on algebraic topology, as an introduction to starting ideas of algebraic topology motivated by algorithmic, combinatorial and geometric problems.
A principle for converting Lindström-type lemmas to Stembridge-type theorems, with applications to walks, groves, and alternating flows
Published
• View Publication
• BIB
We prove that Fomin's generalization of Lindström's lemma for paths on acyclic directed graphs to walks on general directed graphs also generalizes a theorem of Stembridge in the same way. Moreover, we show that whenever a family of operations satisfies a Lindström-type determinant relation, a related family of operations satisfies a Stembridge-type Pfaffian relation. We give example applications to Kenyon and Wilson's work on groves and to Talaska's work on alternating flows.
On the distance matrices of the CP graphs
This paper introduces a new class of graphs, the CP graphs, and shows that their distance determinant and distance inertia are independent of their structures. The CP graphs include the family of linear $2$-trees. When a graph is attached with a CP graph, it is shown that the distance determinant and the distance inertia are also independent of the structure of the CP graph. Applications to the addressing problem proposed by Graham and Pollak in 1971 are given.
Extended Formulations for Radial Cones
Published
• View Publication
• BIB
This paper studies extended formulations for radial cones at vertices of polyhedra, where the radial cone of a polyhedron $ P $ at a vertex $ v \in P $ is the polyhedron defined by the constraints of $ P $ that are active at $ v $. Given an extended formulation for $ P $, it is easy to obtain an extended formulation of comparable size for each its radial cones. On the contrary, it is possible that radial cones of $ P $ admit much smaller extended formulations than $ P $ itself. A prominent example of this type is the perfect-matching polytope, which cannot be described by subexponential-size extended formulations (Rothvoß 2014). However, Ventura & Eisenbrand (2003) showed that its radial cones can be described by polynomial-size extended formulations. Moreover, they generalized their construction to $ V $-join polyhedra. In the same paper, the authors asked whether the same holds for the odd-cut polyhedron, the blocker of the $ V $-join polyhedron. We answer this question negatively. Precisely, we show that radial cones of odd-cut polyhedra cannot be described by subexponential-size extended formulations. To obtain our result, for a polyhedron $ P $ of blocking type, we establish a general relationship between its radial cones and certain faces of the blocker of $ P $.
The On-Line Encyclopedia of Integer Sequences
Published
• View Publication
• BIB
The recent history of The On-Line Encyclopedia of Integer Sequences (or OEIS), describing developments since 2009, and discussing recent sequences involving interesting unsolved problems and in many cases spectacular illustrations. These include: Peaceable Queens, circles in the plane, the earliest cube-free binary sequence, the EKG and Yellowstone permutations, other lexicographically earliest sequences, iteration of number-theoretic functions, home primes and power trains, a memorable prime, a missing prime, Post's tag system, and coordination sequences.
A general construction of Ordered Orthogonal Arrays using LFSRs
Published
• View Publication
• BIB
In \cite{Castoldi}, $q^t \by (q+1)t$ ordered orthogonal arrays (OOAs) of strength $t$ over the alphabet $\FF_q$ were constructed using linear feedback shift register sequences (LFSRs) defined by {\em primitive} polynomials in $\FF_q[x]$. In this paper we extend this result to all polynomials in $\FF_q[x]$ which satisfy some fairly simple restrictions, restrictions that are automatically satisfied by primitive polynomials. While these restrictions sometimes reduce the number of columns produced from $(q+1)t$ to a smaller multiple of $t$, in many cases we still obtain the maximum number of columns in the constructed OOA when using non-primitive polynomials. For small values of $q$ and $t$, we generate OOAs in this manner for all permissible polynomials of degree $t$ in $\FF_q[x]$ and compare the results to the ones produced in \cite{Castoldi}, \cite{Rosenbloom} and \cite{Skriganov} showing how close the arrays are to being "full" orthogonal arrays. Unusually for finite fields, our arrays based on non-primitive irreducible and even reducible polynomials are closer to orthogonal arrays than those built from primitive polynomials.
Homfly polynomials for periodic knots via state model
We give criteria for oriented links to be periodic of prime order using the quantum $\mathrm{SL}(N)$-invariant. The criteria are based upon an observation on the linking number between a periodic knot and its axis of the rotation.