BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Jonathan Pakianathan

Jonathan Pakianathan contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ATmath.COmath.GRmath.MGmath.CAmath.GTmath.NTmath.KTApplicationsmath.GNmath.PRmath.RA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
12topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2014arXiv

A note on the unit distance problem for planar configurations with Q-independent direction set

Let $T(n)$ denote the maximum number of unit distances that a set of $n$ points in the Euclidean plane $\mathbb{R}^2$ can determine with the additional condition that the distinct unit length directions determined by the configuration must be $\mathbb{Q}$-independent. This is related to the Erdos unit distance problem but with a simplifying additional assumption on the direction set which holds "generically". We show that $T(n+1)-T(n)$ is the Hamming weight of $n$, i.e., the number of nonzero binary coefficients in the binary expansion of $n$, and find a formula for $T(n)$ explicitly. In particular $T(n)$ is $Θ(n log(n))$. Furthermore we describe a process to construct a set of $n$ points in the plane with $\mathbb{Q}$-independent unit length direction set which achieves exactly $T(n)$ unit distances. In the process of doing this, we show $T(n)$ is also the same as the maximum number of edges a subset of vertices of size $n$ determines in either the countably infinite lattice $\mathbb{Z}^{\infty}$ or the infinite hypercube graph $\{0,1\}^{\infty}$. The problem of determining T(n) can be viewed as either a type of packing or isoperimetric problem.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the distribution of distances in homogeneous compact metric spaces

We provide a simple proof that in any homogeneous, compact metric space of diameter $D$, if one finds the average distance $A$ achieved in $X$ with respect to some isometry invariant Borel probability measure, then $$\frac{D}{2} \leq A \leq D.$$ This result applies equally to vertex-transitive graphs and to compact, connected, homogeneous Riemannian manifolds. We then classify the cases where one of the extremes occurs. In particular any homogeneous compact metric space where $A=\frac{D}{2}$ possesses a strict antipodal property which implies in particular that the distribution of distances in $X$ is symmetric about $\frac{D}{2}$ which is hence both mean and median of the distribution. In particular, we show that the only closed, connected, positive-dimensional Riemannian manifolds with this strict antipodal property are spheres.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Kakeya Configurations in Lie Groups and Homogeneous Spaces

In this paper, we study continuous Kakeya line and needle configurations, of both the oriented and unoriented varieties, in connected Lie groups and some associated homogenous spaces. These are the analogs of Kakeya line (needle) sets (subsets of $\mathbb{R}^n$ where it is possible to turn a line (respectively an interval of unit length) through all directions {\bf continuously, without repeating a "direction"}.) We show under some general assumptions that any such continuous Kakeya line configuration set in a connected Lie group must contain an open neighborhood of the identity, and hence must have positive Haar measure. In connected nilpotent Lie groups $G$, the only subspace of $G$ that contains such an unoriented line configuration is shown to be $G$ itself. Finally some similar questions in homogeneous spaces are addressed. These questions were motivated by work of Z. Dvir in the finite field setting.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Lie algebras and Higher torsion in p-groups

We study exceptional torsion in the integral cohomology of a family of p-groups associated to p-adic Lie algebras. A spectral sequence E_r^{*,*}[g] is defined for any Lie algebra g which models the Bockstein spectral sequence of the corresponding group in characteristic p. This spectral sequence is then studied for complex semisimple Lie algebras like sl_n(C), and the results there are transferred to the corresponding p-group via the intermediary arithmetic Lie algebra defined over Z. Over C, it is shown that E_1^{*,*}[g]=H^*(g,U(g)^*)=H^*(ΛBG) where U(g)^* is the dual of the universal enveloping algebra of g and ΛBG is the free loop space of the classifying space of a Lie group G associated to g. In characteristic p, a phase transition is observed. For example, it is shown that the algebra E_1^{*,*}[sl_2[F_p]] requires at least 17 generators unlike its characteristic zero counterpart which only requires two.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On a canonical construction of tesselated surfaces via finite group theory, Part I

This paper is the first part in a 2 part study of an elementary functorial construction from the category of finite non-abelian groups to a category of singular compact, oriented 2-manifolds. After a desingularization process this construction results in a collection of compact, connected, oriented tesselated smooth surfaces equipped with a closed-cell structure which is face and edge transitive and which has at most 2 orbits of vertices. These tesselated surfaces can also be viewed as abstract 3-polytopes (or as graph embeddings in the corresponding surface) which are either equivar or dual to abstract quasiregular polytopes. This construction generally results in a large collection of tesselated surfaces per group, for example when the construction is applied to Σ_6 it yields 4477 tesselated surfaces of 27 distinct genus and even more varieties of tesselation cell structure. We study the distribution of these surfaces in various groups and some interesting resulting tesselations. In a second paper, we show that extensions of groups result in branched coverings between the component surfaces in their decompositions. We also exploit functoriality to obtain interesting faithful, orientation preserving actions of subquotients of these groups and their automorphism groups on these surfaces and in the corresponding mapping class groups.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On a canonical construction of tesselated surfaces via finite group theory, Part II

This paper is the second part of a two-part study of an elementary functorial construction of tesselated surfaces from finite groups. This elementary construction was discussed in the first part and generally results in a large collection of tesselated surfaces per group, for example when the construction is applied to Σ_6 it yields 4477 tesselated surfaces of 27 distinct genus and even more varieties of tesselation cell structure. These tesselations are face and edge transitive and consist of closed cell structures. In this paper, we continue to study the distribution of these surfaces in various groups and some interesting resulting tesselations with the aid of computer computations. We also show that extensions of groups result in branched coverings between the component surfaces in their decompositions. Finally we exploit functoriality to obtain interesting faithful, orientation preserving actions of subquotients of these groups and their automorphism groups on these surfaces and in the corresponding mapping class groups.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Bockstein Closed 2-Group Extensions and Cohomology of Quadratic Maps

A central extension of the form $E: 0 \to V \to G \to W \to 0$, where $V$ and $W$ are elementary abelian 2-groups, is called Bockstein closed if the components $q_i \in H^*(W, \FF_2)$ of the extension class of $E$ generate an ideal which is closed under the Bockstein operator. In this paper, we study the cohomology ring of $G$ when $E$ is a Bockstein closed 2-power exact extension. The mod-2 cohomology ring of $G$ has a simple form and it is easy to calculate. The main result of the paper is the calculation of the Bocksteins of the generators of the mod-2 cohomology ring using an Eilenberg-Moore spectral sequence. We also find an interpretation of the second page of the Bockstein spectral sequence in terms of a new cohomology theory that we define for Bockstein closed quadratic maps $Q : W \to V$ associated to the extensions $E$ of the above form.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Three-point configurations determined by subsets of $\mathbb{F}_q^2$ via the Elekes-Sharir paradigm

We prove that if $E \subset {\mathbb F}_q^2$, $q \equiv 3 \mod 4$, has size greater than $Cq^{7/4}$, then $E$ determines a positive proportion of all congruence classes of triangles in ${\mathbb F}_q^2$. The approach in this paper is based on the approach to the Erd\H os distance problem in the plane due to Elekes and Sharir, followed by an incidence bound for points and lines in ${\mathbb F}_q^3$. We also establish a weak lower bound for a related problem in the sense that any subset $E$ of ${\mathbb F}_q^2$ of size less than $cq^{4/3}$ definitely does not contain a positive proportion of {\bf translation} classes of triangles in the plane. This result is a special case of a result established for $n$-simplices in ${\mathbb F}_q^d$. Finally, a necessary and sufficient condition on the lengths of a triangle for it to exist in $\mathbb{F}^2$ for any field $\mathbb F$ of characteristic not equal to 2 is established as a special case of a result for $d$-simplices in ${\mathbb F}^d$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Exponents of Zero divisors in the Cohomology ring of a finite group

It is well known that the positive degree cohomology of a finite group G is annihilated by |G|. We improve on this bound in the case of odd degree elements in the integer cohomology ring and show that $e_{odd}(G)$, the exponent of the $\oplus_{k=0}^{\infty} H^{2k+1}(G,\mathbb{Z})$ satisfies $e_{odd}(G)^2$ divides 2|G| and in particular $e_{odd}(G) \leq \sqrt{2|G|}.$ We also provide examples to show this bound for $e_{odd}(G)$ is sharp as a general bound over all finite groups G. The result comes from a fact about zero divisors having "complementary exponent" which we prove using duality in Tate cohomology. More particularly if $α, β$ are elements of positive degree in $H^*(G,\mathbb{Z})$ satisfying $αβ= 0$ then the order of $β$, $o(β)$ divides $\frac{|G|}{o(α)}$. We also apply this fact to get some results on elements of exceptionally high exponent in the cohomology ring.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Quota Complexes, Persistant Homology and the Goldbach Conjecture

In this paper we introduce the concept of a quota complex and study how the topology of these quota complexes changes as the quota is changed. This problem is a simple "linear" version of the general question in Morse Theory of how the topology of a space varies with a parameter. We give examples of natural and basic quota complexes where this problem codifies questions about the distribution of primes, squares and divisors in number theory and as an example provide natural topological formulations of the prime number theorem, the twin prime conjecture, Goldbach's conjecture, Lehmer's conjecture, the Riemann Hypothesis and the existance of odd perfect numbers among other things. We also consider random quota complexes associated to sequences of independent random variables and show that various formulas for expected topological quantities give L-series and Euler product analogs of interest. Keywords: Quota system, persistant homology, Goldbach conjecture, Riemann Hypothesis, random complexes.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On generalized Witt algebras in one variable

We study a class of infinite dimensional Lie algebras called generalized Witt algebras (in one variable). These include the classical Witt algebra and the centerless Virasoro algebra as important examples. We show that any such generalized Witt algebra is a semisimple, indecomposable Lie algebra which does not contain any abelian Lie subalgebras of dimension greater than one. We develop an invariant of these generalized Witt algebras called the spectrum, and use it to show that there exist infinite families of nonisomorphic, simple, generalized Witt algebras and infinite families of nonisomorphic, nonsimple, generalized Witt algebras. We develop a machinery that can be used to study the endomorphisms of a generalized Witt algebra in the case that the spectrum is "discrete". We use this to show, that among other things, every nonzero Lie algebra endomorphism of the classical Witt algebra is an automorphism and every endomorphism of the centerless Virasoro algebra fixes a canonical element up to scalar multiplication. However, not every injective Lie algebra endomorphism of the centerless Virasoro algebra is an automorphism.

0 citations0 reviewsNo code linkedOpen access
preprint2000arXiv

On commuting and non-commuting complexes

In this paper we study various simplicial complexes associated to the commutative structure of a finite group G. We define NC(G) (resp. C(G)) as the complex associated to the poset of pairwise non-commuting (resp. commuting) sets in G. We observe that NC(G) has only one positive dimensional connected component, which we call BNC(G), and we prove that BNC(G) is simply connected. Our main result is a simplicial decomposition formula for BNC(G) which follows from a result of A. Bjorner, M. Wachs and V. Welker on inflated simplicial complexes. As a corollary, we obtain that if G has a nontrivial center or if G has odd order, then the homology group H_{n-1}(BNC(G)) is nontrivial for every n such that G has a maximal noncommuting set of order n.

0 citations0 reviewsNo code linkedOpen access