arXiv research

Constructs hyperbolic reflection groups with 3D limit sets.

We prove that for 4-manifolds $M$ with residually finite fundamental group and non-spin universal covering $\Wi M$, the inequality $\dim_{mc}\Wi M\le 3$ implies the inequality $\dim_{mc}\Wi M\le 2$.

We give a homological characterization of $n$-manifolds whose universal covering $\Wi M$ has Gromov's macroscopic dimension $\dim_{mc}\Wi M<n$. As the result we distinguish $\dim_{mc}$ from the macroscopic dimension $\dim_{MC}$ defined by the author \cite{Dr}. We prove the inequality $\dim_{mc}\Wi M<\dim_{MC}\Wi M=n$ f…

The paper detects entrance positions using Wi-Fi and GPS signals.

The lack of adequate training data is one of the major hurdles in WiFi-based activity recognition systems. In this paper, we propose Wi-Fringe, which is a WiFi CSI-based device-free human gesture recognition system that recognizes named gestures, i.e., activities and gestures that have a semantically meaningful name in…

Subdivision rules create sequences of nested cell structures on CW-complexes, and they frequently arise from groups. In this paper, we develop several tools for classifying subdivision rules. We give a criterion for a subdivision rule to represent a Gromov hyperbolic space, and show that a subdivision rule for a hyperb…

Deep learning predicts user identity, activity, and location from Wi-Fi signals.

Wi-GATr learns to simulate wireless signals with high accuracy and speed.

This paper introduces an inner product on chain complexes of finite simplicial complexes that is well-adapted to the harmonic study of subdivisions. Its definition utilizes a decomposition of the chain spaces that suggests a sequence of subdivision invariants which we show do not all vanish for non-trivial subdivisions…

Cannon and Swenson have shown that each hyperbolic 3-manifold group has a natural subdivision rule on the space at infinity, and that this subdivision rule captures the action of the group on the sphere. Explicit subdivision rules have also been found for some closed and finite-volume hyperbolic manifolds, as well as a…

Finite subdivision rules in high dimensions can be difficult to visualize and require complex topological structures to be constructed explicitly. In many applications, only the history graph is needed. We characterize the history graph of a subdivision rule, and define a combinatorial subdivision rule based on such gr…

Cannon, Floyd and Parry have studied the modulus of finite subdivision rules extensively. We investigate the properties of the modulus of subdivision rules with linear and exponential growth at every vertex, using barycentric subdivision and a subdivision rule for the Borromean rings as examples. We show that the subdi…

For Bezier curves, subdivision algorithms create control polygons as piecewise linear (PL) approximations that converge in terms of Hausdorff distance. We prove that the exterior angles of control polygons under subdivision converge to 0 at the rate of $O(\sqrt{\frac{1}{2^i}})$, where $i$ is the number of subdivisions.…

We prove the inequality $$ \dim_{mc}\Wi M\le n-2$$ for the macroscopic dimension of the universal covers $\Wi M$ of almost spin $n$-manifolds $M$ with positive scalar curvature whose fundamental group $π_1(M)$ is a virtual duality group that satisfies the coarse Baum-Connes conjecture.

Due to their ubiquitous and pervasive nature, Wi-Fi networks have the potential to collect large-scale, low-cost, and disaggregate data on multimodal transportation. In this study, we develop a semi-supervised deep residual network (ResNet) framework to utilize Wi-Fi communications obtained from smartphones for the pur…

A k-submanifold L of an open n-manifold M is called weakly integrable (WI) [resp. strongly integrable (SI)] if there exists a submersion Φ:M\to R^{n-k} such that L\subset Φ^{-1}(0) [resp. L= Φ^{-1}(0)]. In this work we study the following problem, first stated in a particular case by Costa et al. (Invent. Math. 1988): …

Proves common stellar subdivisions for all PL homeomorphic polyhedra.

Cannon, Floyd, and Parry have studied subdivisions of the 2-sphere extensively, especially those corresponding to 3-manifolds, in an attempt to prove Cannon's conjecture. There has been a recent interest in generalizing some of their tools, such as extremal length, to higher dimensions. We define finite subdivision rul…

Automorphisms and subdivisions of Helly graphs are studied, leading to explicit models and rational translation lengths.

The paper examines how edge subdivisions affect the vanishing of $L^2$-homology in Coxeter groups.

We give a definition of an integer-valued function $\sum_i α_i x ^*_i$ derived from arrow diagrams for the ambient isotopy classes of oriented spherical curves. Then, we introduce certain elements of the free $\mathbb{Z}$-module generated by the arrow diagrams with at most $l$ arrows, called relators of Type~($\check{…

Wi-Fi signals-based person identification attracts increasing attention in the booming Internet-of-Things era mainly due to its pervasiveness and passiveness. Most previous work applies gaits extracted from WiFi distortions caused by the person walking to achieve the identification. However, to extract useful gait, a p…

Given a trivalent graph in the 3-dimensional Euclidean space, we call it a discrete surface because it has a tangent space at each vertex determined by its neighbor vertices. To abstract a continuum object hidden in the discrete surface, we introduce a subdivision method by applying the Goldberg-Coxeter subdivision and…

We prove that the control polygon of a Bezier curve B becomes homeomorphic and ambient isotopic to B via subdivision, and we provide closed-form formulas to compute the number of iterations to ensure these topological characteristics. We first show that the exterior angles of control polygons converge exponentially to …

We find explicit subdivision rules for all special cubulated groups. A subdivision rule for a group produces a sequence of tilings on a sphere which encode all quasi-isometric information for a group. We show how these tilings detect properties such as growth, ends, divergence, etc. We include figures of several worked…

We utilize Wi-Fi communications from smartphones to predict their mobility mode, i.e. walking, biking and driving. Wi-Fi sensors were deployed at four strategic locations in a closed loop on streets in downtown Toronto. Deep neural network (Multilayer Perceptron) along with three decision tree based classifiers (Decisi…

The study of geometric group theory has suggested several theorems related to subdivision tilings that have a natural hyperbolic structure. However, few examples exist. We construct subdivision tilings for the complement of every nonsingular, prime alternating link. These tilings define a combinatorial space at infinit…

Proves Gromov's conjecture for a specific type of groups.

Edge subdivision affects the Perron eigenvalue of tree Ricci matrices.

Cannon, Swenson, and others have proved numerous theorems about subdivision rules associated to hyperbolic groups with a 2-sphere at infinity. However, few explicit examples are known. We construct an explicit subdivision rule for many 3-manifolds from polyhedral gluings. The manifolds that satisfy the conditions inclu…

We show that for a rationally inessential orientable closed $n$-manifold $M$ whose fundamental group $π$ is a duality group the macroscopic dimension of its universal cover is strictly less than $n$:$$ \dim_{MC}\Wi M<n.$$ As a corollary we obtain the following 0.1 Theorem. The inequality $ \dim_{MC}\Wi M<n$ holds for t…

Alexander's conjecture extended to infinite simplicial complexes.

In this paper, we propose hybrid building/floor classification and floor-level two-dimensional location coordinates regression using a single-input and multi-output (SIMO) deep neural network (DNN) for large-scale indoor localization based on Wi-Fi fingerprinting. The proposed scheme exploits the different nature of th…

The paper studies circle packings using renormalization and subdivision rules.

Properties of a parametric curve in R^3 are often determined by analysis of its piecewise linear (PL) approximation. For Bezier curves, there are standard algorithms, known as subdivision, that recursively create PL curves that converge to the curve in distance . The exterior angles of PL curves under subdivision are s…

New homology invariant for links in surfaces, a deformation of APS.

Hensel-Przytycki-Webb proved that all curve graphs of orientable surfaces are 17-hyperbolic. In this paper, we show that curve graphs of non-orientable surfaces are 17-hyperbolic by applying Hensel-Przytycki-Webb's argument. We also show that arc graphs of non-orientable surfaces are 7-hyperbolic, and arc-curve graphs …

This paper shows that every Gromov hyperbolic group can be described by a finite subdivision rule acting on the 3-sphere. This gives a boundary-like sequence of increasingly refined finite cell complexes which carry all quasi-isometry information about the group. This extends a result from Cannon and Swenson in 1998 th…

A new subdivision scheme for Heisenberg group values with central smoothness loss.

Combinatorial transgressions are secondary invariants of a space admitting triangulations. They arise from subdivisions and are analogous to transgressive forms such as those arising in Chern-Weil theory. Unlike combinatorial characteristic classes, combinatorial transgressions have not been previously studied. First, …

One of the key technologies for future large-scale location-aware services covering a complex of multi-story buildings --- e.g., a big shopping mall and a university campus --- is a scalable indoor localization technique. In this paper, we report the current status of our investigation on the use of deep neural network…

Discrete Morse functions induce shellings with critical tiles corresponding to function's critical faces.

Khovanov homology ranks 2 for certain knots in a specific bundle.

We prove that the second derived subdivision of any rectilinear triangulation of any convex polytope is shellable. Also, we prove that the first derived subdivision of every rectilinear triangulation of any convex 3-dimensional polytope is shellable. This complements Mary Ellen Rudin's classical example of a non-shella…

We introduce a class of combinatorial hypersurfaces in the complex projective space. They are submanifolds of codimension~2 in $\C P^n$ and are topologically "glued" out of algebraic hypersurfaces in $(\C^*)^n$. Our construction can be viewed as a version of the Viro gluing theorem, relating topology of algebraic hyper…

This paper continues the study of periodic links started in \cite{Politarczyk2}. It contains a study of the equivariant analogues of the Jones polynomial, which can be obtained from the equivariant Khovanov homology. In this paper we describe basic properties of such polynomials, show that they satisfy an analogue of t…

We show that every knot can be realized as a billiard trajectory in a convex prism. This solves a conjecture of Jones and Przytycki.

We introduce canonical measures on a locally finite simplicial complex $K$ and study their asymptotic behavior under infinitely many barycentric subdivisions. We also compute the face polynomial of the asymptotic link and dual block of a simplex in the $d^{th}$ barycentric subdivision $Sd^d(K)$ of $K$, $d\gg0$. It is a…