Source author record

Yuta Nozaki

Yuta Nozaki appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.GT Artificial Intelligence Computer Science and Game Theory Data Structures and Algorithms econ.TH math.CO math.GR math.QA

Catalog footprint

What is connected

4works

8topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

preprint2022arXiv

On the kernel of the surgery map restricted to the 1-loop part

Every homology cylinder is obtained from Jacobi diagrams by clasper surgery. The surgery map $\mathfrak{s} \colon \mathcal{A}_n^c \to Y_n\mathcal{IC}_{g,1}/Y_{n+1}$ is surjective for $n \geq 2$, and its kernel is closely related to the symmetry of Jacobi diagrams. We determine the kernel of $\mathfrak{s}$ restricted to the 1-loop part after taking a certain quotient of the target. Also, we introduce refined versions of the AS and STU relations among claspers and study the abelian group $Y_n\mathcal{IC}_{g,1}/Y_{n+2}$ for $n \geq 2$.

preprint2022arXiv

Reforming an Envy-Free Matching

We consider the problem of reforming an envy-free matching when each agent is assigned a single item. Given an envy-free matching, we consider an operation to exchange the item of an agent with an unassigned item preferred by the agent that results in another envy-free matching. We repeat this operation as long as we can. We prove that the resulting envy-free matching is uniquely determined up to the choice of an initial envy-free matching, and can be found in polynomial time. We call the resulting matching a reformist envy-free matching, and then we study a shortest sequence to obtain the reformist envy-free matching from an initial envy-free matching. We prove that a shortest sequence is computationally hard to obtain even when each agent accepts at most four items and each item is accepted by at most three agents. On the other hand, we give polynomial-time algorithms when each agent accepts at most three items or each item is accepted by at most two agents. Inapproximability and fixed-parameter (in)tractability are also discussed.

preprint2020arXiv

Abelian quotients of the $Y$-filtration on the homology cylinders via the LMO functor

We construct a series of homomorphisms from the $Y$-filtration on the monoid of homology cylinders to torsion modules via the mod $\mathbb{Z}$ reduction of the LMO functor. The restriction of our homomorphism to the lower central series of the Torelli group does not factor through Morita's refinement of the Johnson homomorphism. We use it to show that the abelianization of the Johnson kernel of a closed surface has torsion elements. We also determine the third graded quotient $Y_3\mathcal{IC}_{g,1}/Y_4$ of the $Y$-filtration.

preprint2020arXiv

Finiteness of the image of the Reidemeister torsion of a splice

The set $\mathit{RT}(M)$ of values of the $\mathit{SL}(2,\mathbb{C})$-Reidemeister torsion of a 3-manifold $M$ can be both finite and infinite. We prove that $\mathit{RT}(M)$ is a finite set if $M$ is the splice of two certain knots in the 3-sphere. The proof is based on an observation on the character varieties and $A$-polynomials of knots.