Superposition in nonlinear wave and evolution equations

Real and bounded elliptic solutions suitable for applying the Khare-Sukhatme superposition procedure are presented and used to generate superposition solutions of the generalized modified Kadomtsev-Petviashvili equation (gmKPE) and the nonlinear cubic-quintic Schroedinger equation (NLCQSE).Comment: submitted to International Journal of Theoretical Physics, 23 pages, 2 figures, style change

Random perfect lattices and the sphere packing problem

Motivated by the search for best lattice sphere packings in Euclidean spaces of large dimensions we study randomly generated perfect lattices in moderately large dimensions (up to d=19 included). Perfect lattices are relevant in the solution of the problem of lattice sphere packing, because the best lattice packing is a perfect lattice and because they can be generated easily by an algorithm. Their number however grows super-exponentially with the dimension so to get an idea of their properties we propose to study a randomized version of the algorithm and to define a random ensemble with an effective temperature in a way reminiscent of a Monte-Carlo simulation. We therefore study the distribution of packing fractions and kissing numbers of these ensembles and show how as the temperature is decreased the best know packers are easily recovered. We find that, even at infinite temperature, the typical perfect lattices are considerably denser than known families (like A_d and D_d) and we propose two hypotheses between which we cannot distinguish in this paper: one in which they improve Minkowsky's bound phi\sim 2^{-(0.84+-0.06) d}, and a competitor, in which their packing fraction decreases super-exponentially, namely phi\sim d^{-a d} but with a very small coefficient a=0.06+-0.04. We also find properties of the random walk which are suggestive of a glassy system already for moderately small dimensions. We also analyze local structure of network of perfect lattices conjecturing that this is a scale-free network in all dimensions with constant scaling exponent 2.6+-0.1.Comment: 19 pages, 22 figure

Scattering of electromagnetic waves by rough interfaces and inhomogeneous layers

We consider a two-dimensional problem of scattering of a time-harmonic electromagnetic plane wave by an infinite inhomogeneous conducting or dielectric layer at the interface between semi-infinite homogeneous dielectric half-spaces. The magnetic permeability is assumed to be a fixed positive constant. The material properties of the media are characterized completely by an index of refraction, which is a bounded measurable function in the layer and takes positive constant values above and below the layer, corresponding to the homogeneous dielectric media. In this paper, we examine only the transverse magnetic (TM) polarization case. A radiation condition appropriate for scattering by infinite rough surfaces is introduced, a generalization of the Rayleigh expansion condition for diffraction gratings. With the help of the radiation condition the problem is reformulated as an equivalent mixed system of boundary and domain integral equations, consisting of second-kind integral equations over the layer and interfaces within the layer. Assumptions on the variation of the index of refraction in the layer are then imposed which prove to be sufficient, together with the radiation condition, to prove uniqueness of solution and nonexistence of guided wave modes. Recent, general results on the solvability of systems of second kind integral equations on unbounded domains establish existence of solution and continuous dependence in a weighted norm of the solution on the given data. The results obtained apply to the case of scattering by a rough interface between two dielectric media and to many other practical configurations

NNLO Photon Production with Realistic Photon Isolation

Isolated photon production at hadron colliders proceeds via direct production and fragmentation processes. Theory predictions for the isolated photon and photon-plus-jet cross section often impose idealised photon isolation criteria, eliminating the fragmentation contribution and introducing a systematic uncertainty in the comparison to data. We present NNLO predictions for the photon-plus-jet cross section with the experimental isolation including both, direct and fragmentation contributions. Predictions with two different parton-to-photon fragmentation functions are compared, allowing for an estimation of the uncertainty stemming from the only loosely constrained photon fragmentation functions

NNLO Photon Production with Realistic Photon Isolation

Isolated photon production at hadron colliders proceeds via direct production and fragmentation processes. Theory predictions for the isolated photon and photon-plus-jet cross section often impose idealised photon isolation criteria, eliminating the fragmentation contribution and introducing a systematic uncertainty in the comparison to data. We present NNLO predictions for the photon-plus-jet cross section with the experimental isolation including both, direct and fragmentation contributions. Predictions with two different parton-to-photon fragmentation functions are compared, allowing for an estimation of the uncertainty stemming from the only loosely constrained photon fragmentation functions.Comment: 11 pages, 2 figures, one table, contribution to the proceedings of "Loops and Legs in Quantum Field Theory - LL2022, 25-30 April, 2022, Ettal, Germany

NNLO Photon Production with Realistic Photon Isolation

Isolated photon production at hadron colliders proceeds via direct production and fragmentation processes. Theory predictions for the isolated photon and photon-plus-jet cross section often impose idealised photon isolation criteria, eliminating the fragmentation contribution and introducing a systematic uncertainty in the comparison to data. We present NNLO predictions for the photon-plus-jet cross section with the experimental isolation including both, direct and fragmentation contributions. Predictions with two different parton-to-photon fragmentation functions are compared, allowing for an estimation of the uncertainty stemming from the only loosely constrained photon fragmentation functions

Single photon production at hadron colliders at NNLO QCD with realistic photon isolation

Isolated photons at hadron colliders are defined by permitting only a limited amount of hadronic energy inside a fixed-size cone around the candidate photon direction. This isolation criterion admits contributions from collinear photon radiation off QCD partons and from parton-to-photon fragmentation processes. We compute the NNLO QCD corrections to isolated photon and photon-plus-jet production, including these two contributions. Our newly derived results allow us to reproduce the isolation prescription used in the experimental measurements, performing detailed comparisons with data from the LHC experiments. We quantify the impact of different photon isolation prescriptions, including no isolation at all, on photon-plus-jet cross sections and discuss possible measurements of the photon fragmentation functions at hadron colliders

Algebraic totality, towards completeness

Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps. First, we recall definitions of finiteness spaces and describe their basic properties deduced from the general theory of linearly topologised spaces. Then we give an interpretation of LL based on linear algebra. Second, thanks to separation properties, we can introduce an algebraic notion of totality candidate in the framework of linearly topologised spaces: a totality candidate is a closed affine subspace which does not contain 0. We show that finiteness spaces with totality candidates constitute a model of classical LL. Finally, we give a barycentric simply typed lambda-calculus, with booleans ${\mathcal{B}}$ and a conditional operator, which can be interpreted in this model. We prove completeness at type ${\mathcal{B}}^n\to{\mathcal{B}}$ for every n by an algebraic method