{"id":"91dec6eb-b5c3-44f8-9dd1-98d17e3a9b6a","arxiv_id":"2606.00063","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Linear motility maps extend to power-law fluids but are violated in Carreau-Yasuda fluids, enabling net locomotion from reciprocal motions in an inchworm model.","lead":"The paper claims linear motility maps between shape changes and velocity hold for power-law fluids, extending the scallop theorem, but can be broken in Carreau-Yasuda fluids to allow net motion from reciprocal inchworm motions with speed-dependent direction. Smart generalists might read it for implications in designing micro-robots or understanding locomotion in biological fluids like mucus where viscosity varies with shear.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Validity of the two-mass inchworm model with independent unequal drag coefficients for showing linearity violation in Carreau-Yasuda fluids","rationale":"The reader's weakest_assumption correctly isolates the only place where the argument depends on an unverified modeling reduction rather than on scaling homogeneity (which supports the power-law result). Because the full text was not supplied to the reader, the UNVERDICTED verdict remains appropriate; the concrete test above would resolve the modeling concern directly.","tokens_in":1745,"tokens_out":336,"duration_ms":22268,"concrete_test":"Replace the lumped drag model with a 2D Stokes or Navier-Stokes simulation of two connected rigid bodies executing the same reciprocal length-change protocol inside a Carreau-Yasuda fluid; integrate the resulting center-of-mass trajectory over many cycles and compare net displacement to the lumped-model prediction. If net motion vanishes or changes sign, the simplified model does not establish the claimed violation.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that the linear motility map can be violated in Carreau-Yasuda fluids rests on an inchworm model of two unequal masses with unequal (but constant) drag coefficients executing reciprocal motions. This lumped model assumes drags are independent and velocity-independent within each half-cycle, allowing differential effective resistance to produce net displacement. In the actual Carreau-Yasuda constitutive relation the local viscosity depends continuously on the shear-rate magnitude produced by the instantaneous velocities of both bodies; the flow fields are also hydrodynamically coupled at low Re. Consequently the model may not faithfully reproduce the regime in which the motility map ceases to be linear.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims that linear motility maps relating shape-change rates to body-frame velocity in low-Re fluids extend to power-law (Ostwald-de Waele) viscosity fluids, preserving the applicability of geometric mechanics and the scallop theorem. It further claims that this linearity is violated in Carreau-Yasuda fluids, enabling net propulsion from reciprocal motions in a two-mass inchworm model with unequal constant drag coefficients; the direction of net motion can be reversed by changing the speed of the reciprocal cycle.","tokens_in":1858,"tokens_out":331,"duration_ms":15992,"significance":"If the power-law extension holds, the result supplies a parameter-free generalization that directly supports analysis and design of locomotion in many biological fluids. The Carreau-Yasuda violation claim, if substantiated beyond the lumped model, would demonstrate a concrete mechanism by which fluid nonlinearity can be exploited to break the scallop theorem, with potential implications for micro-robotics.","major_comments":[{"comment":"Abstract, final paragraph (inchworm model): the claim that the linear-in-velocity property is violated in Carreau-Yasuda fluids rests on a two-mass model with independent, constant, unequal drag coefficients executing reciprocal motions. In the actual Carreau-Yasuda relation the local viscosity is a continuous function of the instantaneous shear-rate magnitude produced by the velocities of both bodies, and the flow fields remain hydrodynamically coupled at low Re; the lumped model therefore does not demonstrably reproduce the regime in which the motility map ceases to be linear.","section":"Abstract, final paragraph"}],"minor_comments":[],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and for identifying this key limitation in our presentation of the Carreau-Yasuda results. We respond to the single major comment below.","responses":[{"response":"We agree that the lumped two-mass model with fixed, unequal drag coefficients is only an illustrative toy model and does not capture the continuous shear-rate dependence of viscosity or the hydrodynamic coupling present in the full Carreau-Yasuda constitutive relation. Consequently the model does not rigorously demonstrate that the motility map itself becomes nonlinear under Carreau-Yasuda rheology. We will revise the abstract to state explicitly that the inchworm example is a simplified illustration of how nonlinear drag can permit net locomotion from reciprocal shape changes, and we will add a paragraph in the discussion section noting that confirmation in a spatially resolved, hydrodynamically coupled simulation remains future work.","revision_made":"yes","referee_comment":"[Abstract, final paragraph] Abstract, final paragraph (inchworm model): the claim that the linear-in-velocity property is violated in Carreau-Yasuda fluids rests on a two-mass model with independent, constant, unequal drag coefficients executing reciprocal motions. In the actual Carreau-Yasuda relation the local viscosity is a continuous function of the instantaneous shear-rate magnitude produced by the velocities of both bodies, and the flow fields remain hydrodynamically coupled at low Re; the lumped model therefore does not demonstrably reproduce the regime in which the motility map ceases to be linear."}],"tokens_in":1330,"tokens_out":321,"duration_ms":21159,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core result is that motility maps stay linear for any power-law fluid, which covers many biological cases, and that Carreau-Yasuda fluids can produce net displacement from reciprocal shape changes in a two-mass inchworm setup with unequal constant drags. The direction flips with speed. This is new relative to the geometric mechanics literature on low-Re locomotion.\n\nThe paper does a clean job laying out the extension to Ostwald-de Waele fluids and showing how the linearity can fail under the Carreau-Yasuda constitutive law. The abstract is direct about the model and the scallop-theorem implication.\n\nThe soft spot is the inchworm model itself. It treats the two masses as having independent, velocity-independent drag coefficients that stay constant within each half-cycle. In the real Carreau-Yasuda fluid the viscosity depends on the instantaneous local shear rate, which is produced by the motion of both bodies together, and the flow fields are hydrodynamically coupled at low Re. The lumped-parameter assumption therefore may not reproduce the regime where linearity actually breaks. Without the derivations and any error analysis or full-fluid comparison, it is hard to judge how much the result depends on that simplification.\n\nThis is for readers in micro-robotics and biophysics who already work with geometric mechanics and non-Newtonian fluids. It is worth sending to a serious referee so the math and model fidelity can be checked; the claims are specific enough that a careful review would be useful even if revisions are needed.","headline":"Linear motility maps hold for power-law fluids and can break in Carreau-Yasuda via a lumped inchworm model, but the model assumptions need checking.","tokens_in":2351,"tokens_out":375,"would_cite":false,"duration_ms":12008,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Linear motility maps extend to power-law fluids but can be violated in Carreau-Yasuda fluids to allow net motion from reciprocal motions.","keywords":["motility maps","power-law fluids","Carreau-Yasuda fluids","scallop theorem","low Reynolds number locomotion","inchworm model","nonlinear viscosity","geometric mechanics"],"falsifier":"Measure whether a physical two-mass reciprocal actuator with unequal drags in a Carreau-Yasuda fluid produces net displacement whose sign reverses when actuation speed is changed.","tokens_in":2632,"feed_emoji":"🌊","tokens_out":671,"duration_ms":17692,"temperature":0.7,"pith_summary":"The paper establishes that the linear motility map relating shape-change rates to body-frame velocity continues to hold for any power-law viscosity fluid. This means reciprocal body deformations produce no net displacement in such fluids, extending the scallop theorem to many biological fluids at intermediate shear rates. In contrast, Carreau-Yasuda fluids allow the linearity to break, so an inchworm model with two unequal masses and unequal drag coefficients can achieve net locomotion even when its motions are reciprocal. The direction of that net motion can reverse depending on the speed of the shape changes.","feed_headline":"Reciprocal motion yields net travel in some nonlinear fluids","feed_subtitle":"Linear motility maps hold for power-law viscosity but break in Carreau-Yasuda fluids, allowing speed-dependent direction reversal.","key_machinery":"The linear motility map that relates shape-change rates to body-frame velocity, extended to power-law fluids and shown to be breakable in Carreau-Yasuda fluids.","core_discovery":"We show that linear-in-velocity motility maps extend to any power law viscosity (a.k.a. Ostwald--de Waele fluid), and therefore to many biological fluids in intermediate shear ranges. We also show that the linear-in-velocity property can be violated in Carreau-Yasuda fluids to produce net motion using an inchworm model consisting of two unequal masses with unequal drag coefficients performing reciprocal motions. Interestingly, the direction of motion can be switched by changing speeds.","pith_inferences":["Design of microrobots could exploit speed-dependent direction reversal in biological fluids without needing non-reciprocal actuators.","The same linearity-breaking mechanism may appear in other fluids whose viscosity depends on shear rate in a non-power-law way.","Geometric-mechanics tools remain usable for power-law cases but require nonlinear extensions when fluid response deviates from Ostwald-de Waele form."],"forward_implications":["The linear motility map can be used to analyze and design locomotion in power-law fluids.","Net locomotion becomes possible in Carreau-Yasuda fluids despite reciprocal motions.","Direction of net motion can be reversed by changing the speed of the reciprocal motions.","Nonlinear drag relationships can be exploited to generate net locomotion that appears to violate the scallop theorem."],"fun_headline_variants":["Linear motility maps hold for power law fluids","Linear property breaks in Carreau Yasuda fluids","Reciprocal motion allows net travel in Carreau Yasuda","Direction reverses with speed in nonlinear fluid model","Power law fluids obey linear motility maps"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The inchworm model of two unequal masses with unequal drag coefficients performing reciprocal motions accurately captures the dynamics that allow violation of linearity in Carreau-Yasuda fluids.","fun_headline_variants_meta":{"raw":{"variants":["Linear motility maps hold for power law fluids","Linear property breaks in Carreau Yasuda fluids","Reciprocal motion allows net travel in Carreau Yasuda","Direction reverses with speed in nonlinear fluid model","Power law fluids obey linear motility maps"]},"model":"grok-4.3","cost_usd":0.007015,"raw_usage":{"total_tokens":3251,"prompt_tokens":675,"num_sources_used":0,"completion_tokens":67,"cost_in_usd_ticks":70149500,"prompt_tokens_details":{"text_tokens":675,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2509,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":675,"tokens_out":67,"duration_ms":19378,"temperature":1.0,"reasoning_tokens":2509,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-30T17:53:38.156741+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Measure whether a physical two-mass reciprocal actuator with unequal drags in a Carreau-Yasuda fluid produces net displacement whose sign reverses when actuation speed is changed.","supporting_citations":[],"review_version":1}