We show that some ternary quasigroups appear naturally as invariants of classical links and links on surfaces. We also note how to obtain from them invariants of Yoshikawa moves. In our previous paper, we defined homology theory for algebras satisfying two axioms derived from the third Reidemeister move. In this paper,…
New knot coloring layers simplify homology calculations.
problem Complex knot homology calculations.
method Inductive ternary quasigroup colorings and higher degree homology.
result More efficient homology group access.
Characterizes knot-theoretic flocks up to 64 elements.
problem Classifying ternary quasigroups for knot theory.
method Group action on flock colorings to improve knot-theoretic invariant.
result Enumerated and characterized knot-theoretic flocks up to 64 elements.
We define homology of ternary algebras satisfying axioms derived from particle scattering or, equivalently, from the third Reidemeister move. We show that ternary quasigroups satisfying these axioms appear naturally in invariants of Reidemeister, Yoshikawa, and Roseman moves. Our homology has a degenerate subcomplex. T…
The paper classifies palettes of Dehn colorings for spatial graphs.
problem Classifying spatial graph diagrams using Dehn colorings.
method Examining vertex conditions and palettes for spatial graphs.
result Spatial graphs can be distinguished by the number of Dehn colorings with specific palettes.
The paper describes topological properties of arcs and crossings in knot theory.
problem Understanding the topological nature of arcs and crossings in knot theory.
method Topological description of arcs and crossings as isotopy classes of probes, homotopy classes of diagram elements.
result Sets of arcs and crossings are fundamental for algebraic objects like quandles, partial ternary quasigroups, biquandloids, and crossoids.
Given a shadow biquandle (B,X) composed of a biquandle B and a strongly connected B-set X, we have a local biquandle structure on X. The (co)homology groups of such shadow biquandles are isomorphic to those of the corresponding local biquandles. Moreover, cocycle invariants, of oriented links and oriented sur…
Study initiates homology theory for Bol-Moufang quasigroups.
problem Developing a homology theory for a specific type of quasigroups.
method Using extensions by affine quasigroups, define boundary operations and compute homology groups.
result Computed second homology groups for examples, speculating on relation to functorial homology.
This paper develops graph theory for racks and quasigroups.
problem Characterizing and realizing right quasigroups and related structures.
method Study of graph markings, Schreier graphs, and Cayley graphs.
result All right quasigroups are realizable by specific types of graphs.
Distributivity in algebraic structures appeared in many contexts such as in quasigroup theory, semigroup theory and algebraic knot theory. In this paper we give a survey of distributivity in quasigroup theory and in quandle theory.
It is a classical result in reduced homology of finite groups that the order of a group annihilates its homology. Similarly, we have proved that the torsion subgroup of rack and quandle homology of a finite quasigroup quandle is annihilated by its order. However, it does not hold for connected quandles in general. In t…
The paper extends ternary algebra concepts using cube roots of unity.
problem Extending algebraic structures from binary to ternary multiplication.
method Introducing ternary associator, commutator, and Lie algebra at cube roots of unity.
result Derived an identity for ternary commutator based on GA(1,5). We define a homology for ternary groups using both associativity and skew elements. We describe the odd-even construction which yields many examples of ternary groups. We define the ternary knot group, consider its homomorphisms into ternary groups, and discuss the applications.
We prove that if Q is a finite quasigroup quandle, then |Q| annihilates the torsion of its homology. It is a classical result in reduced homology of finite groups that the order of a group annihilates its homology. From the very beginning of the rack homology (between 1990 and 1995) the analogous result was suspected. …
We describe various properties and give several characterizations of ternary groups satisfying two axioms derived from the third Reidemeister move in knot theory. Using special attributes of such ternary groups, such as semi-commutativity, we construct a ternary invariant of curves immersed in compact surfaces, conside…
Novel ternary structures reveal new interpretations of linear connections.
problem Examining the ternary structure of Lie algebroid connections.
method Study of endomorphisms and explicit presentation of the endomorphism truss.
result Explicitly presented endomorphism truss of linear connections.
We introduce a notion of ternary distributive algebraic structure, give examples, and relate it to the notion of a quandle. Classification is given for low order structures of this type. Constructions of such structures from ternary bialgebras are provided. We also describe ternary distributive algebraic structures com…
New cohomology theories for heaps and ternary operations linked to group cohomology.
problem Defining and studying cohomology theories for heaps and ternary operations.
method Introduced para-associative and heap cohomology theories, and ternary self-distributive cohomology with abelian heap coefficients.
result Heap cohomology is related to group cohomology via a long exact sequence, and injects into ternary self-distributive cohomology.
Introduces Lie semiheaps and their relation to Lie groups and bundles.
problem Defining and understanding Lie semiheaps and their properties.
method Introducing Lie semiheaps and proving their properties in relation to Lie groups and bundles.
result Established the existence of left-invariant vector fields on Lie semiheaps.
Ternary MobileNets improve efficiency and accuracy on constrained devices.
problem Efficiently compressing MobileNets for real-time applications on constrained devices.
method Per-layer hybrid filter banks for ternary quantization of MobileNets.
result 27.98% energy savings and 51.07% reduction in model size with comparable accuracy.
The paper constructs new algebraic structures from Lie algebras and ternary Nambu-Lie algebras, leading to Yang-Baxter operators.
problem Constructing new algebraic structures from Lie algebras and ternary Nambu-Lie algebras.
method Using compositions of binary Lie algebras, 3-Lie algebras, and ternary Nambu-Lie algebras, the paper constructs ternary self-distributive objects and Yang-Baxter operators.
result The constructed Yang-Baxter operators are not gauge equivalent to the transposition operator and can be deformed to new solutions.
Smart Quantization adapts binary and ternary quantization for neural networks.
problem Resource constraints in deploying neural networks on devices with limited resources.
method Adaptive combination of binary and ternary quantization with a regularization function.
result Adapts quantization depth during training to maintain high model accuracy.
New algebraic structure for vector bundles with special properties.
problem Developing new algebraic structures for vector bundles.
method Introducing para-associative algebroids and showing local triviality conditions.
result Existence of a differential connection is necessary and sufficient for local triviality.
Study of SO(3)-irreducible geometry in complex 5D and ternary Pauli exclusion principle.
problem Exploring SO(3)-irreducible geometry in complex 5D.
method Defined a ternary skew-symmetric tensor, split the 10D space into irreducible SO(3) subspaces, found invariants and defined geometric structures.
result Defined a SO(3)-irreducible geometric structure on a 5D complex Hermitian manifold.
We introduce a way to color the regions of a classical knot diagram using ternary operations, so that the number of colorings is a knot invariant. By choosing appropriate substitutions in the algebras that we assign to diagrams, one obtains the relations from the knot group, and from the core group. Using the ternary o…
EC2T creates sparse and ternary neural networks for resource-constrained devices.
problem Deploying deep neural networks on resource-constrained devices.
method Entropy-Constrained Trained Ternarization (EC2T) framework.
result EC2T creates sparse and ternary neural networks that are efficient in terms of storage and computation.
Recurrent neural networks (RNNs) have shown excellent performance in processing sequence data. However, they are both complex and memory intensive due to their recursive nature. These limitations make RNNs difficult to embed on mobile devices requiring real-time processes with limited hardware resources. To address the…
Unified cosmological and Einstein polytope theories.
problem Unified understanding of cosmological and Einstein polytope theories.
method Unified combinatorial perspective of cosmological and Einstein polytope theories.
result Unified construction of cosmological and Einstein polytope theories.
Quantum invariant derived from ternary cohomology of self-distributive structures.
problem Defining and proving a quantum invariant from ternary cohomology.
method Constructing a ribbon category from a TSD set, showing it coincides with the cocycle invariant.
result The ribbon cocycle invariant is a quantum invariant.
Proves that emergent algebras right-distributivity implies left-distributivity.
problem Proving the implication between emergent algebra distributivity conditions.
method Analyzing families of quasigroup operations indexed by commutative groups.
result Emergent algebras right-distributive imply left-distributive.
Paper ranks stocks by compression risk, not volatility.
problem Investment risk not correlated with stock price volatility.
method Binary-ternary compressive coding of price change time series.
result Compression risk is a better indicator of stock investment risk.
New inequality for ternary variables improves on existing measures.
problem Analyzing excess losses and weighted majority votes with ternary random variables.
method Developed a split-kl inequality and its PAC-Bayes extension.
result Outperforms existing inequalities in certain regimes.
Compressed sensing (CS) is a sampling theory that allows reconstruction of sparse (or compressible) signals from an incomplete number of measurements, using of a sensing mechanism implemented by an appropriate projection matrix. The CS theory is based on random Gaussian projection matrices, which satisfy recovery guara…
Algorithm identifies Copeland winners in dueling bandits with ternary feedback.
problem Identifying Copeland winners in dueling bandits with indifferences.
method Proposed POCOWISTA algorithm with a sample complexity close to lower bound.
result Algorithm shows excellent performance, even for conventional dueling bandits.
Selective classification improves trading strategies by abstaining from predictions.
problem Designing effective trading strategies using selective classification.
method Extends binary or multi-class classifiers to allow abstaining from predictions, evaluates across different feature sets and classifiers.
result Selective classifiers can improve trading performance by avoiding poor predictions.
Study examines null vector fields on Lorentzian manifolds.
problem Understanding the structure of null vector fields on Lorentzian manifolds.
method Investigates the bundle structure and ternary product of nowhere vanishing null vector fields.
result Null tangent bundle is a non-polynomial graded bundle with a para-associative ternary product.
The group of C1-diffeomorphisms of any sparse Cantor subset of a manifold is countable and discrete (possibly trivial). Thompson's groups come out of this construction when we consider central ternary Cantor subsets of an interval. Brin's higher dimensional generalizations nV of Thompson's group V arise…
FTTQ optimizes quantized networks in federated learning, reducing communication costs.
problem Redundant parameters in full-precision models lead to excessive communication costs in federated learning.
method FTTQ algorithm that optimizes quantized networks on clients through self-learning quantization factors.
result FTTQ reduces communication costs and can achieve slightly better performance on non-IID data.
Heap theory applied to framed links yields new invariants.
problem Developing invariants for framed links using heap theory.
method Introducing fundamental heap, defining cocycle invariant using ternary cohomology.
result Found cocycles and computed invariants for specific link families.
Lectures explore how differential methods improve understanding of algebraic group orbit spaces.
problem Understanding structure of invariants and orbit spaces of algebraic Lie groups.
method Combines algebraic and differential viewpoints to study orbit spaces.
result Differential approach provides deeper insights into invariants and orbit spaces.
The use of deep neural networks in edge computing devices hinges on the balance between accuracy and complexity of computations. Ternary Connect (TC) \cite{lin2015neural} addresses this issue by restricting the parameters to three levels −1,0, and +1, thus eliminating multiplications in the forward pass of the net…
Study curvature loci of 3-manifolds in R^6 and R^5.
problem Characterize curvature loci of 3-manifolds in different dimensions.
method Refine affine classification of real nets of quadrics, study singularities, and analyze systems of ternary cubics.
result Obtain generic curvature loci and singularities of 3-manifolds.
GOCPD detects change points by maximizing the probability of two independent models.
problem Large false discovery rates in online change point detection methods.
method GOCPD uses ternary search to find change points by maximizing the probability of two independent models.
result GOCPD accelerates CPD with logarithmic complexity for single change point detection.
Recent breakthroughs in computer vision make use of large deep neural networks, utilizing the substantial speedup offered by GPUs. For applications running on limited hardware, however, high precision real-time processing can still be a challenge. One approach to solving this problem is training networks with binary or…
TRF uses ternary random features to improve ML performance without extra computation.
problem Improving ML performance with less computation and storage.
method Proposes Ternary Random Features (TRF) for random features compression.
result TRF asymptotically yields the same limiting kernel as original matrices, with improved efficiency.
New braided Frobenius algebras created from specific Hopf algebras.
problem Creating new algebraic structures from Hopf algebras.
method Heap operation and Yang-Baxter operator on tensor product.
result Heap operation induces a braiding compatible with Frobenius operations.
Paper addresses data reconstruction from privacy-protected templates using STCA.
problem Reconstructing privacy-sensitive data from protected templates.
method Sparse ternary coding with ambiguization (STCA) for privacy preservation.
result STCA maintains theoretical performance against deep reconstruction attacks for synthetic data but requires special measures for real images.
The paper is based on relations between a ternary symmetric form defining the SO(3) geometry in dimension five and Cartan's works on isoparametric hypersurfaces in spheres. As observed by Bryant such a ternary form exists only in dimensions n_k=3k+2, where k=1,2,4,8. In these dimensions it reduces the orthogonal group …