arXiv subjects

Vinicius Henning

Publications and source records attributed to Vinicius Henning.

4 recordsLinked to original sources

arXiv2026

A Research Agenda on Agents and Software Engineering: Outcomes from the Rio A2SE Seminar

The rise of agentic AI is reshaping software engineering in two intertwined directions: agents are increasingly applied to support software engineering tasks, and Agentic AI systems themselves are complex systems that require re-thinking currently established software engineering practices. To chart a coherent research agenda covering the two directions, we organized the A2SE seminar in Rio de Janeiro, bringing together 18 experts from academia and industry. Through structured presentations, collaborative topic clustering, and focused group discussions, participants identified six thematic areas: Governance, Software Engineering for Agents, Agents for Software Architecture, Quality and Evaluation, Sustainability, and Code, and they prioritized short-term and long-term research directions for each. This paper presents the resulting community-driven, opinionated research agenda, offering the SE community a structured foundation for coordinating efforts at this critical juncture.

cs.SE↗

arXiv2021

Casimir Interaction Between a Plane and a Sphere: Correction to the Proximity-Force Approximation at Intermediate Temperatures

We consider the Casimir interaction energy between a plane and a sphere of radius $R$ at finite temperature $T$ as a function of the distance of closest approach $L$. Typical experimental conditions are such that the thermal wavelength $λ_T=\hbar c/k_\mathrm{B}T$ satisfies the condition $L\ll λ_T\ll R$. We derive the leading correction to the proximity-force approximation valid for such intermediate temperatures by developing the scattering formula in the plane-wave basis. Our analytical result captures the joint effect of the spherical geometry and temperature and is written as a sum of temperature-dependent logarithmic terms. Surprisingly, two of the logarithmic terms arise from the Matsubara zero-frequency contribution.

quant-ph↗

arXiv2018

The role of diffraction in the Casimir effect beyond the proximity force approximation

We derive the leading-order correction to the proximity force approximation (PFA) result for the electromagnetic Casimir interaction in the plane-sphere geometry by developing the scattering approach in the plane-wave basis. Expressing the Casimir energy as a sum over round trips between plane and sphere, we find two distinct contributions to the correction. The first one results from the variation of the Mie reflection operator, calculated within the geometric optical WKB approximation, over the narrow Fourier interval associated to specular reflection at the vicinity of the point of closest approach on the spherical surface. The second contribution, accounting for roughly 90% of the total correction, results from the modification of the geometric optical WKB Mie scattering amplitude due to diffraction. Our derivation provides a clear physical understanding of the nature of the PFA correction for spherical surfaces.

quant-ph↗

arXiv2018

Proximity force approximation and specular reflection: Application of the WKB limit of Mie scattering to the Casimir effect

The electromagnetic Casimir interaction between two spheres is studied within the scattering approach using the plane-wave basis. It is demonstrated that the proximity force approximation (PFA) corresponds to the specular-reflection limit of Mie scattering. Using the leading-order semiclassical WKB approximation for the direct reflection term in the Debye expansion for the scattering amplitudes, we prove that PFA provides the correct leading-order divergence for arbitrary materials and temperatures in the sphere-sphere and the plane-sphere geometry. Our derivation implies that only a small section around the points of closest approach between the interacting spherical surfaces contributes in the PFA regime. The corresponding characteristic length scale is estimated from the width of the Gaussian integrand obtained within the saddle-point approximation. At low temperatures, the area relevant for the thermal corrections is much larger than the area contributing to the zero-temperature result.

quant-ph↗