arXiv ScienceSearch

arXiv subjects

Hiroki Kobayashi

Publications and source records attributed to Hiroki Kobayashi.

17 recordsLinked to original sources

Modular fabrication and design of thick rigid-foldable origami metamaterials

Origami metamaterials offer significant potential for stiff deployable structures However, fabricating load-bearing cellular structures from thick panels introduces geometric interference at non-manifold junctions. Conventional thick-panel fabrication often disrupt ideal kinematics, thereby compromising smooth motion and scalability. This study proposes a modular fabrication framework that preserves one-degree-of-freedom rigid-folding kinematics in thick and non-manifold origami metamaterials. By decomposing non-manifold junctions into a hierarchy of stacked, modular hinged panels, our approach successfully accommodates synchronized hinge motions using scissor-like linkages. Exploiting this representation, we implement a graph-based topology optimization framework that tailors macroscopic stiffness while preserving folding connectivity. We demonstrate this approach by fabricating optimized prototypes that deploy seamlessly with a one-degree-of-freedom motion. Furthermore, we demonstrate engineering scalability through the large-scale construction of extensive deployable systems assembled from modular panels, which exhibit high load-bearing capacity. These results pave the way for the practical fabrication of structural, large-scale deployable metamaterials.

cs.CE

Towards Efficient and Evidence-grounded Mobility Prediction with LLM-Driven Agent

Individual-level mobility prediction is central to urban simulation, transportation planning, and policy analysis. Supervised sequence models achieve strong accuracy but require task-specific training and offer limited decision-level transparency. Recent LLM-based methods improve interpretability, yet mostly rely on static prompts and single-pass inference, limiting their ability to seek additional evidence when mobility signals are weak or conflicting. We propose \method{}, a training-free LLM-driven agent framework that formulates next-location prediction as adaptive evidence-controlled decision making. \method{} resolves routine cases through a fast path based on historical regularity, while ambiguous cases trigger iterative tool use over recent trajectories, historical behavior, stay-move likelihood, and geographical evidence. Across three mobility datasets, AgentMob achieves the strongest overall performance among training-free LLM-based methods, with GPT-5.4 reaching 71.42\% Acc@1 on BW, 33.14\% on YJMob100K, and 33.50\% on Shanghai ISP. On BW non-fast-path cases, the LLM controller improves Acc@1 from 30.65\% to 48.62\% over a same-tool statistical baseline, showing that its main benefit lies in resolving ambiguous predictions through adaptive evidence gathering. Our code is available at https://github.com/Unknown-zoo/AgentMob.

cs.LG

Automated design of soft-rigid hybrid robots for dynamic locomotion

Rigid-bodied robots often lack compliance needed to adapt to unstructured environments, while fully soft robots, though highly adaptable, struggle with scalability and load capacity. In nature, musculoskeletal systems balance strength and flexibility by integrating hard and soft tissues. Inspired by this principle, we present an automated design method for soft-rigid hybrids that optimizes a freeform soft-body shape, a stiff truss layout, and multi-channel actuation. Our differentiable simulator couples the material point method (MPM) for deformable bodies with extended position-based dynamics (XPBD) for truss elements, enabling gradient-based search. The optimization generates truss skeletons that transmit actuation forces to the soft body. We fabricate the optimized design and evaluate it on a walking task. Experiments reproduce the walking mode predicted by the optimization, which does not emerge without the skeleton. Modal analysis further suggests that the skeleton enables deformation modes near the actuation frequency that promote effective stride generation.

cs.CE

SW-$A^2$-Bench: Benchmarking Autonomous Software Agent Generation for Agentic Web

The Agentic Web is emerging as a paradigm in which autonomous software agents interact with online resources and with each other to accomplish user goals. However, the capacity of Agentic Web is still limited by insufficient autonomous software agent population, which has become a crucial challenge for scaling Agentic Web. In order to alleviate this, we study the task of automatically converting existing code repositories into autonomous software agents via coding agents, decompose the process into critical stages, and identify key technical hurdles. To systematically evaluate this capability, we propose SoftWare Agent generation for Agentic Web Bench (SW-$A^2$-Bench), the first benchmark designed for software agent generation. SW-$A^2$-Bench evaluates not only whether software agents can be generated, but also whether generated software agents are faithful to the source repositories and interoperable with other agents in multi-agent workflows. Our experiments demonstrate that our approach effectively activates the functional capabilities of code repositories and enables interoperable multi-agent collaboration in Agentic Web. We believe that this work will provide a standardized evaluation for software agent generation and will contribute to the future of scaling the capacity of Agentic Web.

cs.MA

Nucleon charge radius measurement with low-energy electron scattering

The charge radius is one of the most basic characteristics of the nucleons. The proton charge radius is especially of great importance for many applications such as the structure studies of the atomic nuclei, the determination of the Rydberg constant and QED tests. Its determination is thus a hot topic in several physics communities due to inconsistent results using electron scattering, atomic and muonic hydrogen spectroscopy. A new measurement of the proton and deuteron charge radii with low energy electron scattering is being conducted in the Research Center for Accelerator and Radioisotope Science (RARiS), Tohoku University, Japan. The current status of the experiment is discussed in the present paper.

nucl-ex

New metastable ice phases via supercooled water

Water exhibits rich polymorphism, where more than 20 crystalline phases have been experimentally reported. Five of them are metastable and form at low temperatures by either heating amorphous ice or degassing clathrate hydrates. However, such metastable phases rarely crystallise directly from liquid water, making it challenging to study metastable phase relations at relatively high temperatures. Here, we report that high-pressure metastable phases of ice, including two unknown phases named ices XXI and XXII, crystallise directly from liquid water in a deeply supercooled region around the homogeneous nucleation temperature. The key is to use emulsified water to stabilise supercooled water in laboratory timescales. Ices XXI and XXII are obtained by isothermal compression of emulsified water at 295 K and 250 K, respectively. Our powder x-ray and neutron diffraction analyses combined with molecular dynamics (MD) simulations revealed the surprisingly complex structures of these new phases with Z = 152 (ice XXI) and 304 (ice XXII). Ice XXI is topologically identical to 'ice T2' previously predicted by MD simulations, and our experimental structural model can be used as a benchmark for its structures in simulations, which depend on the force fields. On cooling, ice XXI transforms into an orientationally ordered counterpart named ice XXIII. Our results revealed the "hidden" structural complexity of water underlying the phase diagram, as implied by previous computational works. Further efforts at unveiling such metastable phase relations will bridge the large gaps between computational and experimental phase diagrams of water.

cond-mat.mtrl-sci

Magneto-optical spectra of an organic antiferromagnet as a candidate for an altermagnet

We have measured the magneto-optical Kerr effect (MOKE) in an orthorhombic organic antiferromagnet $\kappa$-(BEDT-TTF)$_2$Cu[N(CN)$_2$]Cl, which is a candidate for an altermagnet. From the Maxwell equations, we derived matrix-type general formulae describing the optical propagation and reflection for arbitrary crystals. These formulae enabled us to correctly measure and obtain the off-diagonal optical responses of $\kappa$-Cl. The MOKE of $\kappa$-Cl appeared at around the N\'eel temperature and exhibited a nonlinear field dependence in the antiferromagnetic phase. These nonlinear field dependence eliminates a simple origin due to the net canted magnetization. The obtained off-diagonal optical conductivity spectra for almost entire $\pi$-electron band clearly shows three features. One is the large peaks at the spectral ends due to the magnetic origin with the large energy scale compared to the very small spin-orbit interaction in $\kappa$-Cl. The others are the middle region spectra proportional to the diagonal conductivities, possibly related to the symmetric piezomagnetic effect and the standard antisymmetric origins. These results suggest the altermagnetic response of $\kappa$-Cl. We also discuss the analogy between the magnetization in ferromagnets and the net magnetization and N\'eel vector with respect to the magneto-optical configurations.

cond-mat.str-el

Computational co-design of structure and feedback controller for locomoting soft robots

Soft robots have gained significant attention due to their flexibility and safety, particularly in human-centric applications. The co-design of structure and controller in soft robotics has presented a longstanding challenge owing to the complexity of the dynamics involved. Despite some pioneering work dealing with the co-design of soft robot structures and actuation, design freedom has been limited by stochastic design search approaches. This study proposes the simultaneous optimization of structure and controller for soft robots in locomotion tasks, integrating topology optimization-based structural design with neural network-based feedback controller design. Here, the feedback controller receives information about the surrounding terrain and outputs actuation signals that induce the expansion and contraction of the material. We formulate the simultaneous optimization problem under uncertainty in terrains and construct an optimization algorithm that utilizes automatic differentiation within topology optimization and neural networks. We present numerical experiments to demonstrate the validity and effectiveness of our proposed method.

cs.CE

Shell topology optimization based on level set method

This paper proposes a level set-based method for optimizing shell structures with large design changes in shape and topology. Conventional shell optimization methods, whether parametric or nonparametric, often only allow limited design changes in shape. In the proposed method, the shell structure is defined as the isosurface of a level set function. The level set function is iteratively updated based on the shape sensitivity on the surface mesh. Therefore, the proposed method can represent an arbitrary manifold surface while dealing with topological changes, for example, from a spherical surface to a toroidal surface. We applied the proposed method to the mean compliance minimization problems of 3D shell structural designs for dome, bending plate and cantilever beam examples to demonstrate its efficacy of the proposed method.

cs.CE

Computational synthesis of locomotive soft robots by topology optimization

Locomotive soft robots (SoRos) have gained prominence due to their adaptability. Traditional locomotive SoRo design is based on limb structures inspired by biological organisms and requires human intervention. Evolutionary robotics, designed using evolutionary algorithms (EAs), have shown potential for automatic design. However, EA-based methods face the challenge of high computational cost when considering multiphysics in locomotion, including materials, actuations, and interactions with environments. Here, we present a design approach for pneumatic SoRos that integrates gradient-based topology optimization with multiphysics material point method (MPM) simulations. This approach starts with a simple initial shape (a cube with a central cavity). The topology optimization with MPM then automatically and iteratively designs the SoRo shape. We design two SoRos, one for walking and one for climbing. These SoRos are 3D printed and exhibit the same locomotion features as in the simulations. This study presents an efficient strategy for designing SoRos, demonstrating that a purely mathematical process can produce limb-like structures seen in biological organisms.

cs.CE

MemDA: Forecasting Urban Time Series with Memory-based Drift Adaptation

Urban time series data forecasting featuring significant contributions to sustainable development is widely studied as an essential task of the smart city. However, with the dramatic and rapid changes in the world environment, the assumption that data obey Independent Identically Distribution is undermined by the subsequent changes in data distribution, known as concept drift, leading to weak replicability and transferability of the model over unseen data. To address the issue, previous approaches typically retrain the model, forcing it to fit the most recent observed data. However, retraining is problematic in that it leads to model lag, consumption of resources, and model re-invalidation, causing the drift problem to be not well solved in realistic scenarios. In this study, we propose a new urban time series prediction model for the concept drift problem, which encodes the drift by considering the periodicity in the data and makes on-the-fly adjustments to the model based on the drift using a meta-dynamic network. Experiments on real-world datasets show that our design significantly outperforms state-of-the-art methods and can be well generalized to existing prediction backbones by reducing their sensitivity to distribution changes.

cs.LG

4D topology optimization: Integrated optimization of the structure and self-actuation of soft bodies for dynamic motions

Topology optimization is a powerful tool utilized in various fields for structural design. However, its application has primarily been restricted to static or passively moving objects, mainly focusing on hard materials with limited deformations and contact capabilities. Designing soft and actively moving objects, such as soft robots equipped with actuators, poses challenges due to simulating dynamics problems involving large deformations and intricate contact interactions. Moreover, the optimal structure depends on the object's motion, necessitating a simultaneous design approach. To address these challenges, we propose "4D topology optimization," an extension of density-based topology optimization that incorporates the time dimension. This enables the simultaneous optimization of both the structure and self-actuation of soft bodies for specific dynamic tasks. Our method utilizes multi-indexed and hierarchized density variables distributed over the spatiotemporal design domain, representing the material layout, actuator layout, and time-varying actuation. These variables are efficiently optimized using gradient-based methods. Forward and backward simulations of soft bodies are done using the material point method, a Lagrangian-Eulerian hybrid approach, implemented on a recent automatic differentiation framework. We present several numerical examples of self-actuating soft body designs aimed at achieving locomotion, posture control, and rotation tasks. The results demonstrate the effectiveness of our method in successfully designing soft bodies with complex structures and biomimetic movements, benefiting from its high degree of design freedom.

cs.CE

Cellular Topology Optimization on Differentiable Voronoi Diagrams

Cellular structures manifest their outstanding mechanical properties in many biological systems. One key challenge for designing and optimizing these geometrically complicated structures lies in devising an effective geometric representation to characterize the system's spatially varying cellular evolution driven by objective sensitivities. A conventional discrete cellular structure, e.g., a Voronoi diagram, whose representation relies on discrete Voronoi cells and faces, lacks its differentiability to facilitate large-scale, gradient-based topology optimizations. We propose a topology optimization algorithm based on a differentiable and generalized Voronoi representation that can evolve the cellular structure as a continuous field. The central piece of our method is a hybrid particle-grid representation to encode the previously discrete Voronoi diagram into a continuous density field defined in a Euclidean space. Based on this differentiable representation, we further extend it to tackle anisotropic cells, free boundaries, and functionally-graded cellular structures. Our differentiable Voronoi diagram enables the integration of an effective cellular representation into the state-of-the-art topology optimization pipelines, which defines a novel design space for cellular structures to explore design options effectively that were impractical for previous approaches. We showcase the efficacy of our approach by optimizing cellular structures with up to thousands of anisotropic cells, including femur bone and Odonata wing.

cs.GR

Topology optimization of locomoting soft bodies using material point method

Topology optimization methods have widely been used in various industries, owing to their potential for providing promising design candidates for mechanical devices. However, their applications are usually limited to the objects which do not move significantly due to the difficulty in computationally efficient handling of the contact and interactions among multiple structures or with boundaries by conventionally used simulation techniques. In the present study, we propose a topology optimization method for moving objects incorporating the material point method, which is often used to simulate the motion of objects in the field of computer graphics. Several numerical experiments demonstrate the effectiveness and the utility of the proposed method.

cs.CE

mdx: A Cloud Platform for Supporting Data Science and Cross-Disciplinary Research Collaborations

The growing amount of data and advances in data science have created a need for a new kind of cloud platform that provides users with flexibility, strong security, and the ability to couple with supercomputers and edge devices through high-performance networks. We have built such a nation-wide cloud platform, called "mdx" to meet this need. The mdx platform's virtualization service, jointly operated by 9 national universities and 2 national research institutes in Japan, launched in 2021, and more features are in development. Currently mdx is used by researchers in a wide variety of domains, including materials informatics, geo-spatial information science, life science, astronomical science, economics, social science, and computer science. This paper provides an the overview of the mdx platform, details the motivation for its development, reports its current status, and outlines its future plans.

cs.LG

Topology design of two-fluid heat exchange

Heat exchangers are devices that typically transfer heat between two fluids. The performance of a heat exchanger such as heat transfer rate and pressure loss strongly depends on the flow regime in the heat transfer system. In this paper, we present a density-based topology optimization method for a two-fluid heat exchange system, which achieves a maximum heat transfer rate under fixed pressure loss. We propose a representation model accounting for three states, i.e., two fluids and a solid wall between the two fluids, by using a single design variable field. The key aspect of the proposed model is that mixing of the two fluids can be essentially prevented without any penalty scheme. This is because the solid constantly exists between the two fluids due to the use of the single design variable field. We demonstrate the effectiveness of the proposed approach through three-dimensional numerical examples in which an optimized design is compared with a simple reference design, and the effects of design conditions (i.e., Reynolds number, Prandtl number, design domain size, and flow arrangements) are investigated.

cs.CE

Healthiness from Duality

Healthiness is a good old question in program logics that dates back to Dijkstra. It asks for an intrinsic characterization of those predicate transformers which arise as the (backward) interpretation of a certain class of programs. There are several results known for healthiness conditions: for deterministic programs, nondeterministic ones, probabilistic ones, etc. Building upon our previous works on so-called state-and-effect triangles, we contribute a unified categorical framework for investigating healthiness conditions. We find the framework to be centered around a dual adjunction induced by a dualizing object, together with our notion of relative Eilenberg-Moore algebra playing fundamental roles too. The latter notion seems interesting in its own right in the context of monads, Lawvere theories and enriched categories.

cs.LO