Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Peak Sidelobe Level and Peak Crosscorrelation of Golay-Rudin-Shapiro Sequences
Published
• View Publication
• BIB
Sequences with low aperiodic autocorrelation and crosscorrelation are used in communications and remote sensing. Golay and Shapiro independently devised a recursive construction that produces families of complementary pairs of binary sequences. In the simplest case, the construction produces the Rudin-Shapiro sequences, and in general it produces what we call Golay-Rudin-Shapiro sequences. Calculations by Littlewood show that the Rudin-Shapiro sequences have low mean square autocorrelation. A sequence's peak sidelobe level is its largest magnitude of autocorrelation over all nonzero shifts. Høholdt, Jensen, and Justesen showed that there is some undetermined positive constant $A$ such that the peak sidelobe level of a Rudin-Shapiro sequence of length $2^n$ is bounded above by $A(1.842626\ldots)^n$, where $1.842626\ldots$ is the positive real root of $X^4-3 X-6$. We show that the peak sidelobe level is bounded above by $5(1.658967\ldots)^{n-4}$, where $1.658967\ldots$ is the real root of $X^3+X^2-2 X-4$. Any exponential bound with lower base will fail to be true for almost all $n$, and any bound with the same base but a lower constant prefactor will fail to be true for at least one $n$. We provide a similar bound on the peak crosscorrelation (largest magnitude of crosscorrelation over all shifts) between the sequences in each Rudin-Shapiro pair. The methods that we use generalize to all families of complementary pairs produced by the Golay-Rudin-Shapiro recursion, for which we obtain bounds on the peak sidelobe level and peak crosscorrelation with the same exponential growth rate as we obtain for the original Rudin-Shapiro sequences.
A note on inverse results of random walks in Abelian groups
Published
• View Publication
• BIB
In this short note we give various near optimal characterizations of random walks over finite Abelian groups with large maximum discrepancy from the uniform measure. We also provide several interesting connections to existing results in the literature.
Lights Out On A Random Graph
Published in The PUMP Journal of Undergraduate Research, 5, 165-175 (2022)
• View Publication
• BIB
We consider the generalized game Lights Out played on a graph and investigate the following question: for a given positive integer $n$, what is the probability that a graph chosen uniformly at random from the set of graphs with $n$ vertices yields a universally solvable game of Lights Out? When $n \leq 11$, we compute this probability exactly by determining if the game is universally solvable for each graph with $n$ vertices. We approximate this probability for each positive integer $n$ with $n \leq 100$ by applying a Monte Carlo method using 1,000,000 trials. We also perform the analogous computations for connected graphs.
Card guessing and the birthday problem for sampling without replacement
Published
• View Publication
• BIB
Consider a uniformly random deck consisting of cards labelled by numbers from $1$ through $n$, possibly with repeats. A guesser guesses the top card, after which it is revealed and removed and the game continues. What is the expected number of correct guesses under the best and worst strategies? We establish sharp asymptotics for both strategies. For the worst case, this answers a recent question of Diaconis, Graham, He and Spiro, who found the correct order. As part of the proof, we study the birthday problem for sampling without replacement using Stein's method.
Edge-girth-regular graphs arising from biaffine planes and Suzuki groups
Published
• View Publication
• BIB
An edge-girth-regular graph $egr(v,k,g,λ)$, is a $k$-regular graph of order $v$, girth $g$ and with the property that each of its edges is contained in exactly $λ$ distinct $g$-cycles. An $egr(v,k,g,λ)$ is called extremal for the triple $(k,g,λ)$ if $v$ is the smallest order of any $egr(v,k,g,λ)$.
In this paper, we introduce two families of edge-girth-regular graphs. The first one is a family of extremal $egr(2q^2,q,6,(q-1)^2(q-2))$ for any prime power $q\geq 3$ and, the second one is a family of $egr(q(q^2+1),q,5,λ)$ for $λ\geq q-1$ and $q\geq 8$ an odd power of $2$. In particular, if $q=8$ we have that $λ=q-1$.
Lengths of Irreducible and Delicate Words
Published
• View Publication
• BIB
We study words that barely avoid repetitions, for several senses of "barely". A squarefree (respectively, overlap-free, cubefree) word is irreducible if removing any one of its interior letters creates a square (respectively, overlap, cube). A squarefree (respectively, overlap-free, cubefree) word is delicate if changing any one of its letters creates a square (respectively, overlap, cube). We classify the lengths of irreducible and delicate squarefree, overlap-free, and cubefree words over binary and ternary alphabets.
Strong Identification Codes for Graphs
Published
• View Publication
• BIB
For any graph~\(G,\) a set of vertices~\({\cal V}\) is said to be dominating if every vertex of~\(G\) contains at least one node of~\(G\) and separating if each vertex~\(v\) contains a unique neighbour~\(u_v \in {\cal V}\) that is adjacent to no other vertex of~\(G.\) If~\({\cal V}\) is both dominating and separating, then~\({\cal V}\) is defined to be an identification code. In this paper, we study strong identification codes with an index~\(r,\) by imposing the constraint that each vertex of~\(G\) contains at least~\(r\) unique neighbours in~\({\cal V}.\) We use the probabilistic method to study both the minimum size of strong identification codes and the existence of graphs that allow an identification code with a given index.
Two Applications of Graph Minor Reduction
In this paper, we study two applications of graph minor reduction. In the first part of the paper, we introduce a variant of the boxicity, called strong boxicity, where the rectangular representation satisfies an additional condition that each rectangle contains at least one point not present in any other rectangle. We show how the strong boxicity of a graph~\(G\) can be estimated in terms of the strong boxicity of a minor~\(H\) and the number of edit operations needed to obtain~\(H\) from~\(G.\) In the second part of the paper, we consider false data injection (attack) in a flow graph~\(G\) and quantify the subsequent effect on the state of edges of~\(G\) via the \emph{edge variation factor}~\(θ.\) We use minor reduction techniques to obtain bounds on~\(θ\) in terms of the connectivity parameters of~\(G,\) when the attacker has complete knowledge of~\(G\) and also discuss stealthy attacks with partial knowledge of the flow graph.
Duality and Outermost Boundaries in Generalized Percolation Lattices
In this paper we consider a connected planar graph $G$ and impose conditions that results in $G$ having a percolation lattice-like cellular structure. Assigning each cell of $G$ to be either occupied or vacant, we describe the outermost boundaries of star and plus connected components in $G$. We then consider the dual graph of $G$ and impose conditions under which the dual is also a percolation lattice. Finally, using $G$ and its dual, we construct vacant cell cycles surrounding occupied components and study left right crossings and bond percolation in rectangles.
Size of local finite field Kakeya sets
Published
• View Publication
• BIB
Let $\mathbb{F}$ be a finite field consisting of $q$ elements and let $n \geq 1$ be an integer. In this paper, we study the size of local Kakeya sets with respect to subsets of $\mathbb{F}^{n}$ and obtain upper and lower bounds for the minimum size of a (local) Kakeya set with respect to an arbitrary set ${\mathcal T} \subseteq \mathbb{F}^{n}.$
Approximate MDS Property of Linear Codes
Published
• View Publication
• BIB
In this paper, we study the weight spectrum of linear codes with \emph{super-linear} field size and use the probabilistic method to show that for nearly all such codes, the corresponding weight spectrum is very close to that of a maximum distance separable (MDS) code.
Limits of Jensen polynomials for partitions and other sequences
It was discovered recently by Griffin, Ono, Rolen and Zagier that the Jensen polynomials associated to many sequences have Hermite polynomial limits. We develop this theory in detail, based on the log-polynomial property which is a refinement of log-concavity and log-convexity. Applications to various partition sequences are given. An application to the sequence of factorials leads naturally to evaluating limits of generalized Laguerre polynomials.
Stable sets of contracts in two-sided markets
We revisit the problem of existence of stable systems of contracts with arbitrary sets of contracts. We show that stable sets of contracts exists if choices of agents satisfy path-independence. We call such choice functions Plott functions. Our proof is based on application of Zorn lemma to a special poset of semi-stable pairs. Moreover, we construct a dynamic process on the poset (generalizing algorithm Gale and Shapley) steady states of which are stable sets.
In Appendix we discuss Lehmann hyper-orders and establish a bijection between the set of Lehmann hyper-orders and the set of Plott functions.
Fragments in symmetric configurations with block size 3
We begin the study of collections of three blocks which can occur in a symmetric configuration with block size 3, $v_3$. Formulae are derived for the number of occurrences of these and it is shown that the triangle, i.e. abf, ace, bcd is a basis. It is also shown that symmetric configurations without triangles exist if and only if $v=15$ or $v \geq 17$. Such configurations containing "many" triangles are also discussed and a complete analysis of the triangle content of those with a cyclic automorphism is given.
Fibonacci colored compositions and applications
Published in Integers 21 (2021), Paper A91
• Search Publication
We study compositions whose parts are colored by subsequences of the Fibonacci numbers. We give explicit bijections between Fibonacci colored compositions and several combinatorial objects, including certain restricted ternary and quaternary words, spanning trees in the ladder graph, unimodal sequences covering an initial interval, and ordered-consecutive partition sequences. Our approach relies on the basic idea of representing the colored compositions as tilings of an $n$-board whose tiles are connected, and sometimes decorated, according to a suitable combinatorial interpretation of the given coloring sequence.
Multicoloured Ramsey numbers of the path of length four
Let $P_t$ denote the path on $t$ vertices. The $r$-coloured Ramsey number of $P_t$, denoted by $R_r(P_t)$, is the minimum integer $n$ such that whenever the complete graph on $n$ vertices is given an $r$-edge-colouring, there exists a monochromatic copy of $P_t$. In this note, we determine $R_r(P_5)$, which is approximately $3r$.
Generalised rigid body motions in non-Euclidean planes with applications to global rigidity
Published in Journal of Mathematical Analysis and Applications (2022)
• View Publication
• BIB
A bar-joint framework $(G,p)$ in a (non-Euclidean) real normed plane $X$ is the combination of a finite, simple graph $G$ and a placement $p$ of the vertices in $X$. A framework $(G,p)$ is globally rigid in $X$ if every other framework $(G,q)$ in $X$ with the same edge lengths as $(G,p)$ arises from an isometry of $X$. The weaker property of local rigidity in normed planes (where only $(G,q)$ within a neighbourhood of $(G,p)$ are considered) has been studied by several researchers over the last 5 years after being introduced by Kitson and Power for $\ell_p$-norms. However global rigidity is an unexplored area for general normed spaces, despite being intensely studied in the Euclidean context by many groups over the last 40 years. In order to understand global rigidity in $X$, we introduce new generalised rigid body motions in normed planes where the norm is determined by an analytic function. This theory allows us to deduce several geometric and combinatorial results concerning the global rigidity of bar-joint frameworks in $X$.
Tilings of the Sphere by Congruent Quadrilaterals with Exactly Two Equal Edges
In this paper we give a classification of tilings of the sphere by congruent quadrilaterals with exactly two equal edges. The tilings are the earth map tilings, $(p,q)$-earth map tilings and their flip modifications, and quadrilateral subdivisions of the cube and the triangular prism. We described the ranges of values of the edges and angles for the tile to be geometrically realisable. The symmetry groups of the tilings are also determined.
The birthday boy problem
In their recent preprint arXiv:2101.08308, Robert Dougherty-Bliss, Christoph Koutschan and Doron Zeilberger come up with a powerful strategy to prove the irrationality, in a quantitative form, of some numbers that are given as multiple integrals or quotients of such. What is really missing there, for many examples given, is an explicit identification of those irrational numbers; the authors comment on this task, "The output file [...] contains many such conjectured evaluations, (very possibly many of them are equivalent via a hypergeometric transformation rule) and we challenge [...], the birthday boy, or anyone else, to prove them." Without an identification, the numbers are hardly appealing to human (number theorists). The goal of this note is to outline a strategy to do the job and illustrate it on several promising entries discussed in the preprint above.
Biregularity in Sidorenko's Conjecture
Sidorenko's Conjecture says that the minimum density of a bigraph $G$ in a bigraphon $W$ of a given edge density is attained when $W$ is a constant function. A consequence of a result by B. Szegedy is that it is enough to show Sidorenko's Conjecture under the further assumption that $W$ is biregular. In this paper, we retrieve this result with a more elementary proof. With this biregularity result and some ideas of its proof, we also obtain simple proofs of several other results related to Sidorenko's Conjecture. Furthermore, we also show that bigraphs that have a special type of tree decomposition, called reflective tree decomposition, satisfy Sidorenko's conjecture. This both unifies and generalizes the notions of strong tree decompositions and $N$-decompositions from the literature.