SearcharxivSearch

arXiv subjects

Andrej Novak

Publications and source records attributed to Andrej Novak.

7 recordsLinked to original sources

Well-posedness and a sign-graph limit for an active Cahn--Hilliard equation on Riemannian manifolds

We establish a weak solution theory and a singular constitutive limit for a non variational Cahn Hilliard evolution on compact Riemannian manifolds, possibly with boundary. The model combines the classical double well chemical potential with an active correction concentrated in diffuse transition layers and sensitive to the sign of the Laplace Beltrami operator, together with a monotone anchoring mechanism toward a prescribed reference state. The active correction breaks the passive gradient flow structure and introduces a nonlinear dependence on second derivatives not identified by the natural weak compactness estimates. For square integrable initial data and sufficiently integrable reference data, we construct weak solutions in arbitrary dimension. A Galerkin level one sided comparison argument, using monotonicity of the classifier and anchoring law together with biharmonic coercivity, yields strong convergence of the approximate Laplacians and hence strong second order compactness. This identifies the nonlinear active term in an ordinary weak formulation, without a second derivative defect. In two dimensions we prove uniqueness and continuous dependence. The estimates depend only on the bound and monotonicity of the classifier, not on its slope, and are therefore uniform for increasingly steep arctangent classifiers. Their singular limit is governed by the maximal monotone sign graph acting on the Laplace Beltrami operator. In arbitrary dimension we obtain subsequential strong second order convergence to a weak solution of the resulting differential inclusion. In two dimensions the limiting state is unique, so the entire steep classifier family converges; uniqueness of the constitutive multiplier on the zero Laplacian set is not asserted. This is a constitutive steepness limit at fixed diffuse interface thickness, rather than a sharp interface limit.

math.AP

A Temperature-Coupled Cahn-Hilliard-Stokes-Heat Model for Thermally Driven Phase Separation

We study a diffuse-interface model for thermally driven phase separation in viscous incompressible mixtures. The system couples a convective Cahn-Hilliard equation for the order parameter with a Stokes subsystem for the velocity-pressure field and a heat equation for the temperature. Temperature enters the bulk free energy through a Landau-type coefficient, while the phase field affects the flow through concentration-dependent density and viscosity. The model serves as a proxy for temperature-triggered condensation-like phase separation; humidity, latent heat, vapor pressure, and capillary forcing are absorbed into the choice of the threshold temperature $\Theta_S$. We motivate the chemical potential through a temperature-dependent Landau free energy and use a regularized auxiliary formulation to prove local-in-time existence of weak solutions. For the numerical analysis, we employ a first-order sequential finite-element discretization of a simplified quasi-static formulation. The heat equation is advanced by implicit diffusion, the variable-coefficient Stokes problem is treated by a Taylor-Hood discretization, and the Cahn-Hilliard bulk derivative is evaluated at the previous time level, so each algebraic subproblem is linear. An isothermal diffusive test confirms mass conservation to roundoff and exhibits monotone discrete-energy decay for the tested parameters. Time-step and mesh-refinement studies show first-order temporal and approximately second-order spatial behavior. The remaining computations provide qualitative, parameter-specific illustrations; no global discrete energy law is claimed for the non-isothermal sequential scheme.

math.AP

Verifiable Fine-Tuning for LLMs: Zero-Knowledge Training Proofs Bound to Data Provenance and Policy

Large language models are often adapted through parameter efficient fine tuning, but current release practices provide weak assurances about what data were used and how updates were computed. We present Verifiable Fine Tuning, a protocol and system that produces succinct zero knowledge proofs that a released model was obtained from a public initialization under a declared training program and an auditable dataset commitment. The approach combines five elements. First, commitments that bind data sources, preprocessing, licenses, and per epoch quota counters to a manifest. Second, a verifiable sampler that supports public replayable and private index hiding batch selection. Third, update circuits restricted to parameter efficient fine tuning that enforce AdamW style optimizer semantics and proof friendly approximations with explicit error budgets. Fourth, recursive aggregation that folds per step proofs into per epoch and end to end certificates with millisecond verification. Fifth, provenance binding and optional trusted execution property cards that attest code identity and constants. On English and bilingual instruction mixtures, the method maintains utility within tight budgets while achieving practical proof performance. Policy quotas are enforced with zero violations, and private sampling windows show no measurable index leakage. Federated experiments demonstrate that the system composes with probabilistic audits and bandwidth constraints. These results indicate that end to end verifiable fine tuning is feasible today for real parameter efficient pipelines, closing a critical trust gap for regulated and decentralized deployments.

cs.CR

Navigating the Complex Landscape of Shock Filter Cahn-Hilliard Equation: From Regularized to Entropy Solutions

Image inpainting involves filling in damaged or missing regions of an image by utilizing information from the surrounding areas. In this paper, we investigate a highly nonlinear partial differential equation inspired by the modified Cahn-Hilliard equation. Instead of using standard potentials that depend solely on pixel intensities, we consider morphological image enhancement filters that are based on a variant of the shock filter: : \begin{align*} \partial_t u &= \Delta \left(-\nu \arctan(\Delta u)|\nabla u| - \mu \Delta u \right)+ \lambda(u_0 - u). \end{align*} This is referred to as the Shock Filter Cahn-Hilliard Equation. This equation is nonlinear with respect to the second-order derivative, which poses significant mathematical challenges. To address these, we make use of a specific approximation argument, establishing the existence of a family of approximate solutions through the Leray-Schauder fixed point theorem and the Aubin-Lions lemma. In the limit, we obtain a solution strategy wherein we can prove the existence and uniqueness of solutions. Proving the latter involves the use of Young measures and Kruzhkov entropy type-admissibility conditions. Additionally, we use a numerical method based on the convexity splitting idea to approximate solutions of the nonlinear partial differential equation and achieve fast inpainting results. To demonstrate the effectiveness of our approach, we apply our method to standard binary images and compare it with variations of the Cahn-Hilliard equation commonly used in the field.

math.AP

Silicon Carbide Timepix3 detector for quantum-imaging detection and spectral tracking of charged particles in wide range of energy and field-of-view

The hybrid architecture of the Timepix (TPX) family of detectors enables the use of different semiconductor sensors, most commonly silicon (Si), as well as high-density materials such as Cadmium Telluride (CdTe) or Gallium Arsenide (GaAs). For this purpose, we explore the potential of a silicon carbide (SiC) sensor bump-bonded on a Timepix3 detector as a radiation imaging and particle tracking detector. SiC stands as a radiation-hard material also with the ability to operate at elevated temperatures up to several hundreds of degrees Celsius. As a result, this sensor material is more suitable for radiation harsh environments compared to conventional e.g., Si sensors. In this work, we evaluate the response for precise radiation spectrometry and high-resolution particle tracking of newly developed SiC Timepix3 detector which is built and operated as a compact radiation camera MiniPIX-Timepix3 with integrated readout electronics. Calibration measurements were conducted with mono-energetic proton beams with energies of 13, 22, and 31 MeV at the U-120M cyclotron at the Nuclear Physics Institute Czech Academy of Science (NPI CAS), Prague, as well as 100 and 226 MeV at the Proton Therapy Center Czech (PTC) in Prague. High-resolution pattern recognition analysis and single-particle spectral tracking are used for detailed inspection and understanding of the sensor response. Results include distributions of deposited energy and linear energy transfer (LET) spectra. The spatial uniformity of the pixelated detector response is examined in terms of homogeneously distributed deposited energy.

physics.ins-det

Global Controllability for Quasilinear Non-negative Definite System of ODEs and SDEs

We consider exact and averaged control problem for a system of quasi-linear ODEs and SDEs with a non-negative definite symmetric matrix of the system. The strategy of the proof is the standard linearization of the system by fixing the function appearing in the nonlinear part of the system, and then applying the Leray-Schauder fixed point theorem. We shall also need the continuous induction arguments to prolong the control to the final state which is a novel approach in the field. This enables us to obtain controllability for arbitrarily large initial data (so called global controllability).

math.OC

Transport-collapse scheme for scalar conservation laws -- initial and boundary value problems

We extend Brenier's transport collapse scheme on the Cauchy problem for heterogeneous scalar conservation laws and initial-boundary value problem for homogeneous scalar conservation laws. It is based on averaging out the solution to the corresponding kinetic equation, and it necessarily converges toward the entropy admissible solution. In the case of initial-boundary value problem, we such a procedure is used to construct a numerical scheme which leads us to a new solution concept for initial-boundary value problem for scalar conservation laws. The concept is a generalization (refinement) of the previous works on initial-boundary value problem. We also provide numerical examples.

math.AP