SearcharxivSearch

arXiv subjects

Daniel Wetzel

Publications and source records attributed to Daniel Wetzel.

10 recordsLinked to original sources

VRPAgent: LLM-Driven Discovery of Heuristic Operators for Vehicle Routing Problems

Designing high-performing heuristics for vehicle routing problems (VRPs) is a complex task that requires both intuition and deep domain knowledge. Large language model (LLM)-based code generation has recently shown promise across many domains, but it still falls short of producing heuristics that rival those crafted by human experts. In this paper, we propose VRPAgent, a framework that integrates LLM-generated components into a metaheuristic and refines them through a novel genetic search. By using the LLM to generate problem-specific operators, embedded within a generic metaheuristic framework, VRPAgent keeps tasks manageable, guarantees correctness, and still enables the discovery of novel and powerful strategies. Across multiple problems, including the capacitated VRP, the VRP with time windows, and the prize-collecting VRP, our method discovers heuristic operators that outperform handcrafted methods and recent learning-based approaches while requiring only a single CPU core. To our knowledge, \VRPAgent is the first LLM-based paradigm to advance the state-of-the-art in VRPs, highlighting a promising future for automated heuristics discovery.

cs.AI

The ampsys tool of pde2path

The computation of coefficients of amplitude systems for Turing bifurcations is a straightforward but sometimes elaborate task, in particular for 2D or 3D wave vector lattices. The Matlab tool ampsys automates such computations for two classes of problems, namely scalar equations of Swift-Hohenberg type and generalizations, and reaction-diffusion systems with an arbitrary number of components. The tool is designed to require minimal user input, and for a number of cases can also deal with symbolic computations. After a brief review of the setup of amplitude systems we explain the tool by a number of 1D, 2D and 3D examples over various wave vector lattices.

nlin.PS

Snaking branches of planar BCC fronts in the 3D Brusselator

We present results of the application of the numerical continuation and bifurcation package pde2path to the 3D Brusselator model, focusing on snaking branches of planar fronts between body centered cubes (BCCs) and the spatial homogeneous solution, and on planar fronts between BCCs and tubes (also called square prisms). These solutions also yield approximations of localized BCCs, and of BCCs embedded in a background of tubes (or vice versa). Additionally, we compute some moving fronts between lamellas and tubes. To give some theoretical background, and to aid the numerics for the full system, we use the Maxwell points for the cubic amplitude system over the BCC lattice.

nlin.PS

Defect-like structures and localized patterns in SH357

We study numerically the cubic-quintic-septic Swift-Hohenberg (SH357) equation on bounded one-dimensional domains. Under appropriate conditions stripes with wave number $k\approx 1$ bifurcate supercritically from the zero state and form S-shaped branches resulting in bistability between small and large amplitude stripes. Within this bistability range we find stationary heteroclinic connections or fronts between small and large amplitude stripes, and demonstrate that the associated spatially localized defect-like structures either snake or fall on isolas. In other parameter regimes we also find heteroclinic connections to spatially homogeneous states, and a multitude of dynamically stable steady states consisting of patches of small and large amplitude stripes with different wave numbers or of spatially homogeneous patches. The SH357 equation is thus extremely rich in the types of patterns it exhibits. Some of the features of the bifurcation diagrams obtained by numerical continuation can be understood using a conserved quantity, the spatial Hamiltonian of the system.

nlin.PS

Order-of-magnitude speedup for steady states and traveling waves via Stokes preconditioning in Channelflow and Openpipeflow

Steady states and traveling waves play a fundamental role in understanding hydrodynamic problems. Even when unstable, these states provide the bifurcation-theoretic explanation for the origin of the observed states. In turbulent wall-bounded shear flows, these states have been hypothesized to be saddle points organizing the trajectories within a chaotic attractor. These states must be computed with Newton's method or one of its generalizations, since time-integration cannot converge to unstable equilibria. The bottleneck is the solution of linear systems involving the Jacobian of the Navier-Stokes or Boussinesq equations. Originally such computations were carried out by constructing and directly inverting the Jacobian, but this is unfeasible for the matrices arising from three-dimensional hydrodynamic configurations in large domains. A popular method is to seek states that are invariant under numerical time integration. Surprisingly, equilibria may also be found by seeking flows that are invariant under a single very large Backwards-Euler Forwards-Euler timestep. We show that this method, called Stokes preconditioning, is 10 to 50 times faster at computing steady states in plane Couette flow and traveling waves in pipe flow. Moreover, it can be carried out using Channelflow (by Gibson) and Openpipeflow (by Willis) without any changes to these popular spectral codes. We explain the convergence rate as a function of the integration period and Reynolds number by computing the full spectra of the operators corresponding to the Jacobians of both methods.

physics.flu-dyn

Tristability between stripes, up-, and down-hexagons and snaking bifurcation branches of spatial connections between up- and down-hexagons

Third order amplitude equations on hexagonal lattices can be used for predicting the existence and stability of stripes, up- and down-hexagons in pattern forming systems. These amplitude equations predict the nonexistence of bistable ranges between up- and down-hexagons and tristable ranges between stripes, up- and down-hexagons. In the present work we use fifth order amplitude equations for finding such bistable and tristable ranges for a generalized Swift-Hohenberg equation and discuss stationary front connections between up- and down-hexagons.

math.DS

Pattern analysis in a benthic bacteria-nutrient system

We study pattern formation in a reaction-diffusion system for a benthic bacteria-nutrient model in a marine sediment, which originally contains some spatially varying coefficients and with these shows some layering of patterns. Using the Landau reduction for the system with homogeneous coefficients, we locally analyze Turing bifurcations in 1D and 2D. Moreover, we use the software pde2path to compute the corresponding branches globally and find a number of snaking branches of patterns over patterns. This shows that spatially varying patterns are not necessarily due to spatially varying coefficients. We find a type of hexagon patches on a homogeneous background with no prior mention in the literature. We show the first numerically calculated solution-branch, which connects two different types of hexagons in parameter space. We call states on this branch rectangles. We check numerically, if the stability changes for hexagons and stripes, which are continued homogeneously into the third dimension. We find that stripes and one type of hexagons have the same stable range over bounded 2D and 3D domains, while the other type of hexagons becomes unstable earlier. Here we find a snaking branch of solutions, which are spatial connects between hexagonal prisms and a genuine 3D pattern (balls).

math.DS

pde2path - version 2.0: faster FEM, multi-parameter continuation, nonlinear boundary conditions, and periodic domains - a short manual

pdepath 2.0 is an upgrade of the continuation/bifurcation package pde2path for elliptic systems of PDEs over bounded 2D domains, based on the Matlab pdetoolbox. The new features include a more efficient use of FEM, easier switching between different single parameter continuations, genuine multi-parameter continuation (e.g., fold continuation), more efficient implementation of nonlinear boundary conditions, cylinder and torus geometries (i.e., periodic boundary conditions), and a general interface for adding auxiliary equations like mass conservation or phase equations for continuation of traveling waves. The package (library, demos, manuals) can be downloaded at www.staff.uni-oldenburg.de/hannes.uecker/pde2path

math.AP

Numerical results for snaking of patterns over patterns in some 2D Selkov-Schnakenberg Reaction-Diffusion systems

For a Selkov--Schnakenberg model as a prototype reaction-diffusion system on two dimensional domains we use the continuation and bifurcation software pde2path to numerically calculate branches of patterns embedded in patterns, for instance hexagons embedded in stripes and vice versa, with a planar interface between the two patterns. We use the Ginzburg-Landau reduction to approximate the locations of these branches by Maxwell points for the associated Ginzburg-Landau system. For our basic model, some but not all of these branches show a snaking behaviour in parameter space, over the given computational domains. The (numerical) non-snaking behaviour appears to be related to too narrow bistable ranges with rather small Ginzburg-Landau energy differences. This claim is illustrated by a suitable generalized model. Besides the localized patterns with planar interfaces we also give a number of examples of fully localized atterns over patterns, for instance hexagon patches embedded in radial stripes, and fully localized hexagon patches over straight stripes.

math.DS

pde2path - A Matlab package for continuation and bifurcation in 2D elliptic systems

pde2path is a free and easy to use Matlab continuation/bifurcation package for elliptic systems of PDEs with arbitrary many components, on general two dimensional domains, and with rather general boundary conditions. The package is based on the FEM of the Matlab pdetoolbox, and is explained by a number of examples, including Bratu's problem, the Schnakenberg model, Rayleigh-Benard convection, and von Karman plate equations. These serve as templates to study new problems, for which the user has to provide, via Matlab function files, a description of the geometry, the boundary conditions, the coefficients of the PDE, and a rough initial guess of a solution. The basic algorithm is a one parameter arclength continuation with optional bifurcation detection and branch-switching. Stability calculations, error control and mesh-handling, and some elementary time-integration for the associated parabolic problem are also supported. The continuation, branch-switching, plotting etc are performed via Matlab command-line function calls guided by the AUTO style. The software can be downloaded from www.staff.uni-oldenburg.de/hannes.uecker/pde2path, where also an online documentation of the software is provided such that in this paper we focus more on the mathematics and the example systems.

math.AP