A Proof of Euler's Theorem via Quandles
We prove Euler's theorem of number theory developing an argument based on quandles. A quandle is an algebraic structure whose axioms mimic the three Reidemeister moves of knot theory.
Researcher profile
Pedro Lopes
Pedro Lopes contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
4topics
4close collaborators
Actions
Decide how to stay connected
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 claimDirect 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
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)
preprint2022arXiv
Wasmati: An Efficient Static Vulnerability Scanner for WebAssembly
WebAssembly is a new binary instruction format that allows targeted compiled code written in high-level languages to be executed with near-native speed by the browser's JavaScript engine. However, given that WebAssembly binaries can be compiled from unsafe languages like C/C++, classical code vulnerabilities such as buffer overflows or format strings can be transferred over from the original programs down to the cross-compiled binaries. As a result, this possibility of incorporating vulnerabilities in WebAssembly modules has widened the attack surface of modern web applications. This paper presents Wasmati, a static analysis tool for finding security vulnerabilities in WebAssembly binaries. It is based on the generation of a code property graph (CPG), a program representation previously adopted for detecting vulnerabilities in various languages but hitherto unapplied to WebAssembly. We formalize the definition of CPG for WebAssembly, introduce techniques to generate CPG for complex WebAssembly, and present four different query specification languages for finding vulnerabilities by traversing a program's CPG. We implemented ten queries capturing different vulnerability types and extensively tested Wasmati on four heterogeneous datasets. We show that Wasmati can scale the generation of CPGs for large real-world applications and can efficiently find vulnerabilities for all our query types. We have also tested our tool on WebAssembly binaries collected in the wild and identified several potential vulnerabilities, some of which we have manually confirmed to exist unless the enclosing application properly sanitizes the interaction with such affected binaries.
0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv
On the orbits associated with the Collatz conjecture
This article is based upon previous work by Sousa Ramos and his collaborators. They first prove that the existence of only one orbit associated with the Collatz conjecture is equivalent to the determinant of each matrix of a certain sequence of matrices to have the same value. These matrices are called Collatz matrices. The second step in their work would be to calculate this determinant for each of the Collatz matrices. Having calculated this determinant for the first few terms of the sequence of matrices, their plan was to prove the determinant of the current term equals the determinant of the previous one. Unfortunately, they could not prove it for the cases where the dimensions of the matrices are 26+54l or 44+54l, where l is a positive integer. In the current article we improve on these results.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Delta Diagrams
We call a Delta Diagram any diagram of a knot or link whose regions (including the unbounded one) have 3, 4, or 5 sides. We prove that any knot or link admits a delta diagram. We define and estimate combinatorial link invariants stemming from this definition.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Partial profiles of quasi-complete graphs
We enumerate graph homomorphisms to quasi-complete graphs, i.e., graphs obtained from complete graphs by removing one edge. The source graphs are complete graphs, quasi-complete graphs, cycles, paths, wheels and broken wheels. These enumerations give rise to sequences of integers with two indices; one of the indices is the number of vertices of the source graph, and the other index is the number of vertices of the target graph.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Minimal sufficient sets of colors and minimum number of colors
In this paper we first investigate minimal sufficient sets of colors for p=11 and 13. For odd prime p and any p-colorable link L with non-zero determinant, we give alternative proofs of mincol_p L \geq 5 for p \geq 11 and mincol_p L \geq 6 for p \geq 17. We elaborate on equivalence classes of sets of distinct colors (on a given modulus) and prove that there are two such classes of five colors modulo 11, and only one such class of five colors modulo 13. Finally, we give a positive answer to a question raised by Nakamura, Nakanishi, and Satoh concerning an inequality involving crossing numbers. We show it is an equality only for the trefoil and for the figure-eight knots.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
The Minimization of the Number of Colors is Different at p=11
In this article we present the following new fact for prime p=11. For knots 6_2 and 7_2, mincol_{11} 6_2 = 5 = mincol_{11} 7_2, along with the following feature. There is a pair of diagrams, one for 6_2 and the other one for 7_2, each of them admitting only non-trivial 11-colorings using 5 colors, but neither of them admitting being colored with the sets of 5 colors that color the other one. This is in full contrast with the behavior exhibited by links admitting non-trivial p-colorings over the smaller primes, p=2, 3, 5 or 7. We also prove results concerning obstructions to the minimization of colors over generic odd moduli. We apply these to find the right colors to eliminate from non-trivial colorings. We thus prove that 5 is the minimum number of colors for each knot of prime determinant 11 or 13 from Rolfsen's table.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
The minimum number of Fox colors modulo 13 is 5
In this article we show that if a knot diagram admits a non-trivial coloring modulo 13 then there is an equivalent diagram which can be colored with 5 colors. Leaning on known results, this implies that the minimum number of colors modulo 13 is 5.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
The Delunification Process and Minimal Diagrams
A link diagram is said to be lune-free if, when viewed as a 4-regular plane graph it does not have multiple edges between any pair of nodes. We prove that any colored link diagram is equivalent to a colored lune-free diagram with the same number of colors. Thus any colored link diagram with a minimum number of colors (known as a minimal diagram) is equivalent to a colored lune-free diagram with that same number of colors. We call the passage from a link diagram to an equivalent lune-free diagram its delunification process. We then introduce a notion of grey sets in order to obtain higher lower bounds for minimum number of colors. We calculate these higher lower bounds for a number of prime moduli with the help of computer programs. For each number of crossings through 16, we list the lune-free diagrams and we color them. If the number of colors equals the corresponding higher lower bound we know we have a minimum number of colors. We also introduce and list the lune-free crossing number of a link i.e., the minimum number of crossings needed for a lune-free diagram of this link, and other related link invariants.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
On the Maximum Number of Colors for Links
For each odd prime p, and for each non-split link admitting non-trivial p-colorings, we prove that the maximum number of Fox colors is p. We also prove that we can assemble a non-trivial p-coloring with any number of colors, from the minimum to the maximum number of colors. Furthermore, for any rational link, we prove that there exists a non-trivial coloring of any Schubert Normal Form of it, modulo its determinant, which uses all colors available. If this determinant is an odd prime, then any non-trivial coloring of this Schubert Normal Form, modulo the determinant, uses all available colors. We prove also that the number of crossings in the Schubert Normal Form equals twice the determinant of the link minus 2. Facts about torus links and their coloring abilities are also proved.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Removing Colors 2k, 2k-1, and k
We prove that if a link admits non-trivial (2k+1)-colorings, with prime 2k+1>7, it also admits non-trivial (2k+1)-colorings not involving colors 2k, 2k-1, nor k.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
The regularity of the $η$ function for the Shubin calculus
We prove the regularity of the $η$ function for classical pseudodifferential operators with Shubin symbols. We recall the construction of complex powers and of the Wodzicki and Kontsevich-Vishik functionals for classical symbols on $\mathbb{R}^{n}$ with these symbols. We then define the $ζ$ and $η$ functions associated to suitable elliptic operators. We compute the $K_{0}$ group of the algebra of zero-order operators and use this knowledge to show that the Wodzicki trace of the idempotents in the algebra vanishes. From this, it follows that the $η$ function is regular at 0 for any self-adjoint elliptic operator of positive order.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
The Teneva Game
For each prime p > 7 we obtain the expression for an upper bound on the minimum number of colors needed to non-trivially color T(2, p), the torus knots of type (2, p), modulo p. This expression is t + 2 l -1 where t and l are extracted from the prime p. It is obtained from iterating the so-called Teneva transformations which we introduced in a previous article. With the aid of our estimate we show that the ratio "number of colors needed vs. number of colors available" tends to decrease with increasing modulus p. For instance as of prime 331, the number of colors needed is already one tenth of the number of colors available. Furthermore, we prove that 5 is minimum number of colors needed to non-trivially color T(2, 11) modulo 11. Finally, as a preview of our future work, we prove that 5 is the minimum number of colors modulo 11 for two rational knots with determinant 11.
0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv
On the minimum number of colors for knots
In this article we take up the calculation of the minimum number of colors needed to produce a non-trivial coloring of a knot. This is a knot invariant and we use the torus knots of type (2, n) as our case study. We calculate the minima in some cases. In other cases we estimate upper bounds for these minima leaning on the features of modular arithmetic. We introduce a sequence of transformations on colored diagrams called Teneva Transformations. Each of these Transformations reduces the number of colors in the diagrams by one (up to a point). This allows us to further decrease the upper bounds on these minima. We conjecture on the value of these minima. We apply these Transformations to rational knots.
0 citations0 reviewsNo code linkedOpen access