Procedural Content Generation (PCG) is powerful in creating high-quality 3D contents, yet controlling it to produce desired shapes is difficult and often requires extensive parameter tuning. Inverse Procedural Content Generation aims to automatically find the best parameters under the input condition. However, existing sampling-based and neural network-based methods still suffer from numerous sample iterations or limited controllability. In this work, we present DI-PCG, a novel and efficient method for Inverse PCG from general image conditions. At its core is a lightweight diffusion transformer model, where PCG parameters are directly treated as the denoising target and the observed images as conditions to control parameter generation. DI-PCG is efficient and effective. With only 7.6M network parameters and 30 GPU hours to train, it demonstrates superior performance in recovering parameters accurately, and generalizing well to in-the-wild images. Quantitative and qualitative experiment results validate the effectiveness of DI-PCG in inverse PCG and image-to-3D generation tasks. DI-PCG offers a promising approach for efficient inverse PCG and represents a valuable exploration step t
At the INFN laboratory in Pisa I have prepared my dissertation, which essentially concerned Montecarlo simulation of subnuclear particles decays and investigation of low-noise electronic devices for analyzing high-frequency signals. The team-work was part of NA48/EPSI experiment jointly carried out with European Organization for Nuclear Research CERN, Geneva. ----- Nell'ambito dell'esperimento NA48 in corso al CERN Super Proton Syncrothon (SPS) finalizzato a misurare la violazione diretta di CP in sistemi di particelle K0 attraverso il doppio rapporto R = [N(K_L->Pi0Pi0)]/[N(K_S->Pi0Pi0)] / [N(K_L->Pi+Pi-)]/[N(K_S->Pi+Pi-)] = 1 - 6 Re(e1/e) con una precisione di Re(e1/e) superiore a 2 * 10^-4, il lavoro di tesi si propone di effettuare una simulazione per la rivelazione dei decadimenti neutri dei K0 ed una successiva analisi dei dati raffrontando l'evento fisico generato con metodo Montecarlo e quello ricostruito. Per la misura di e1/e occorre isolare tra i vari modi di decadimento dei K quelli K_S->Pi0Pi0, K_S->Pi+Pi-, e quelli K_L->Pi0Pi0, K_L->Pi+Pi-.
The purpose of this paper is to prove directly, by an elementary method, the Poisson probability law. This proof is offered as an alternative to the more usual derivation from binomial distribution in the limit of small probabilities. The same proof is then applied to the solution of a problem in statistical mechanics. --- Lo scopo di questo articolo è dimostrare direttamente, con un metodo elementare, la legge di probabilità di Poisson. Questa dimostrazione è proposta in alternativa alla più consueta derivazione dalla distribuzione binomiale nel limite delle piccole probabilità. La stessa dimostrazione viene quindi applicata alla soluzione di un problema di meccanica statistica.
We study differentiability properties of Riesz potentials of finite Borel measures in dimension d larger than 2. The Riesz kernel has homogeneity 2-d. In dimension 2 we consider logarithmic potentials. We introduce a notion of differentiability in the capacity sense, capacity being Newtonian capacity in dimension larger than 2 and Wiener capacity in the plane. It turns out that differentiability in the capacity sense at a point is related to the existence of principal values of the measure with respect to the vector valued Riesz potential x/|x|^d of homogeneity 1-d. This leads to Calderón-Zygmund theory for non-doubling measures. We prove that the Riesz potential of a finite Borel measure is differentiable in the capacity sense except for a set of zero C^1-harmonic capacity. This result is sharp. Surprisingly in the plane there are two distinct notions of differentiability in the capacity sense. For each of them we obtain the best possible result on the size of the exceptional set in terms of Hausdorff measures. We obtain for dimension larger than 2 results on Peano second order differentiability in the capacity sense with exceptional sets of zero Lebesgue measure. Finally, we appl
We characterize type isomorphisms in the multiplicative-additive fragment of linear logic (MALL), and thus in *-autonomous categories with finite products, extending a result for the multiplicative fragment by Balat and Di Cosmo. This yields a much richer equational theory involving distributivity and cancellation laws. The unit-free case is obtained by relying on the proof-net syntax introduced by Hughes and Van Glabbeek. We use the sequent calculus to extend our results to full MALL, including all units, thanks to a study of cut-elimination and rule commutations.
The (combinatorial) diameter of a polytope $P \subseteq \mathbb R^d$ is the maximum value of a shortest path between a pair of vertices on the 1-skeleton of $P$, that is the graph where the nodes are given by the $0$-dimensional faces of $P$, and the edges are given the 1-dimensional faces of $P$. The diameter of a polytope has been studied from many different perspectives, including a computational complexity point of view. In particular, [Frieze and Teng, 1994] showed that computing the diameter of a polytope is (weakly) NP-hard. In this paper, we show that the problem of computing the diameter is strongly NP-hard even for a polytope with a very simple structure: namely, the \emph{fractional matching} polytope. We also show that computing a pair of vertices at maximum shortest path distance on the 1-skeleton of this polytope is an APX-hard problem. We prove these results by giving an \emph{exact characterization} of the diameter of the fractional matching polytope, that is of independent interest.
This article addresses the planar Coleman--Gurtin heat equation with memory on a bounded domain, with rough anisotropic diffusion $A_μ$, typical of heterogeneous or composite media and encoded by a Beltrami coefficient $μ\in L^\infty(Ω)$ satisfying $\|μ\|_{\infty}<1$. First, under no additional smoothness assumptions on $μ$, solutions with $H^1_0(Ω)$-based initial data enter a time-averaged $L^\infty(Ω)$ regime, and instantaneously regularize into the second-order graph space $D(A_μ)$. Assuming in addition $μ\in W^{1,2}(Ω)$, this regularization upgrades to $W^{2,p}(Ω)$ for every $1<p<2$, and we construct regular global and exponential attractors of finite fractal dimension, for both the $L^2(Ω)$ and $H^1_0(Ω)$-based dynamics. The proof combines the instantaneous smoothing method of Chekroun, Di Plinio, Glatt-Holtz and Pata with maximal parabolic regularity for divergence-form operators with measurable coefficients, and with planar quasiconformal Beltrami estimates recently obtained in work by Green, Wick and the author.
We present a search for long-lived particles (LLPs) produced from kaon decay that decay to two muons inside the ICARUS neutrino detector. This channel would be a signal of hidden sector models that can address outstanding issues in particle physics such as the strong CP problem and the microphysical origin of dark matter. The search is performed with data collected in the Neutrinos at the Main Injector (NuMI) beam at Fermilab corresponding to $2.41\times 10^{20}$ protons-on-target. No new physics signal is observed, and we set world-leading limits on heavy QCD axions, as well as for the Higgs portal scalar among dedicated searches. Limits are also presented in a model-independent way applicable to any new physics model predicting the process $K\to π+S(\toμμ)$, for a long-lived particle S. This result is the first search for new physics performed with the ICARUS detector at Fermilab. It paves the way for the future program of long-lived particle searches at ICARUS.
We derive, in more general conditions, a recently introduced variance sum rule (VSR) [I. Di Terlizzi et al., 2024 Science 383 971] involving variances of displacement and force impulse for overdamped Langevin systems in a nonequilibrium steady state (NESS). This formula allows visualising the effect of nonequilibrium as a deviation of the sum of variances from normal diffusion $2Dt$, with $D$ the diffusion constant and $t$ the time. From the VSR, we also derive formulas for the entropy production rate $σ$ that, differently from previous results, involve second-order time derivatives of position correlation functions. This novel feature gives a criterion for discriminating strong nonequilibrium regimes without measuring forces. We then apply and discuss our results to three analytically solved models: a stochastic switching trap, a Brownian vortex, and a Brownian gyrator. Finally, we compare the advantages and limitations of known and novel formulas for $σ$ in an overdamped NESS.
This document contains lecture notes from the Ph.D. course given at Scuola Superiore Meridionale by Daniele Di Pietro in February 2025. The goal of the course is to provide an overview of polytopal methods, focusing on the Hybrid High-Order (HHO) method. As a starting point, we study the Crouzeix-Raviart method for a pure diffusion equation, with particular focus on its stability. We then show that, switching to a fully discrete point of view, it is possible to generalize it first to polyhedral meshes and then to arbitrary order, leading to a method that belongs to the HHO family. A study of the stability and consistency of this method reveals the need for a stabilization term, for which we identify two key properties.
Accurate prediction of molecular properties underpins drug discovery and material design, yet even state-of-the-art models remain vulnerable to localized failure modes that aggregate metrics cannot detect. The places where molecular similarity should be most helpful are also places where standard evaluation can be most misleading. Property cliffs expose this gap: structurally similar molecules can still differ sharply in target property, so models with competitive overall performance may fail in high-risk local neighborhoods. To expose and mitigate this failure mode, CliffSplit, a cliff-aware evaluation protocol that constructs locally supported, cliff-exposed test cases, and CliffLoss, a model-agnostic train-only mitigation mechanism for cliff-sensitive errors, are introduced. Experiments on three QM9 targets and three MoleculeNet tasks across five backbones show that CliffSplit reveals at least 15% higher error in cliff-heavy QM9 regions, while CliffLoss reduces the cliff-to-smooth error gap by up to 30% on Lipophilicity and improves overall MAE by 9.7%. Together, these results turn molecular similarity failure from a descriptive anomaly into a benchmarked evaluation problem for
This document summarises the current theoretical and experimental status of the di-Higgs boson production searches, and of the direct and indirect constraints on the Higgs boson self-coupling, with the wish to serve as a useful guide for the next years. The document discusses the theoretical status, including state-of-the-art predictions for di-Higgs cross sections, developments on the effective field theory approach, and studies on specific new physics scenarios that can show up in the di-Higgs final state. The status of di-Higgs searches and the direct and indirect constraints on the Higgs self-coupling at the LHC are presented, with an overview of the relevant experimental techniques, and covering all the variety of relevant signatures. Finally, the capabilities of future colliders in determining the Higgs self-coupling are addressed, comparing the projected precision that can be obtained in such facilities. The work has started as the proceedings of the Di-Higgs workshop at Colliders, held at Fermilab from the 4th to the 9th of September 2018, but it went beyond the topics discussed at that workshop and included further developments.
La teoria di Lagrange per i moti secolari delle eccentricità ed inclinazioni delle orbite planetarie si fondava su un'approssimazione, dettata in larga misura dalla complessità dei calcoli necessari, che consisteva nel considerare solo equazioni lineari. In questa memoria riprendiamo in considerazione i metodi di Lagrange alla luce della teoria della stabilità esponenziale di Nekhoroshev. Grazie agli algoritmi sviluppati negli ultimi anni e alle tecniche di manipolazione algebrica possiamo tener conto anche dei contributi non lineari alle equazioni. Come applicazione cerchiamo di determinare i tempi di stabilità per il problema dei tre corpi nel caso del Sole e dei due pianeti maggiori, Giove e Saturno, mostrando che si possono ottenere risultati realistici, ancorché non ottimali. Lagrange's theory for the secular motion of perihelia and nodes of the planetary orbits was based on consideration of a linear approssimation of the dynamical equations, compatible with the complexity of the calculations. We extend Lagrange's investigations in the light of Nekhoroshev's theory of exponential stability. Using effective algorithms recently developed and computer algebra we investigate the n
The inclusive cross sections for di-hadrons of charged pions and kaons ($e^+e^- \rightarrow hhX$) in electron-positron annihilation are reported. They are obtained as a function of the total fractional energy and invariant mass for any di-hadron combination in the same hemisphere as defined by the thrust event-shape variable and its axis. Since same-hemisphere di-hadrons can be assumed to originate predominantly from the same initial parton, di-hadron fragmentation functions are probed. These di-hadron fragmentation functions are needed as an unpolarized baseline in order to quantitatively understand related spin-dependent measurements in other processes and to apply them to the extraction of quark transversity distribution functions in the nucleon. The di-hadron cross sections are obtained from a $655\,{\rm fb}^{-1}$ data sample collected at or near the $Υ(4S)$ resonance with the Belle detector at the KEKB asymmetric-energy $e^+ e^-$ collider.
One of the proposals for the exploitation of two-dimensional quantum walks has been the efficient generation of entanglement. Unfortunately, the technological effort required for the experimental realization of standard two-dimensional quantum walks is significantly demanding. In this respect, an alternative scheme with less challenging conditions has been recently studied, particularly in terms of spatial-entanglement generation [C. Di Franco, M. Mc Gettrick, and Th. Busch, Phys. Rev. Lett. 106, 080502 (2011)]. Here, we extend the investigation to a scenario where a measurement is performed on the coin degree of freedom after the evolution, allowing a further comparison with the standard two-dimensional Grover walk.
We scrutinise the evidences recently reported by the ATLAS and CMS collaborations for compatible 750 GeV resonances which appear in the di-photon channels of the two experiments in both the 8 TeV and 13 TeV datasets. Similar resonances in di-boson, di-lepton, di-jet and $t\bar t$ final states are instead not detected. After discussing the properties and the compatibility of the reported signals, we study the implications on the physics beyond the Standard Model with particular emphasis on possible scalar extensions of the theory such as singlet extensions and the two Higgs doublet models. We also analyse the significance of the new experimental indications within the frameworks of the minimal supersymmetric standard model and of technicolour models. Our results show that a simple effective singlet extension of the SM achieves phenomenological viability with a minimal number of free parameters. The minimal supersymmetric model and the two Higgs doublet model, on the other hand, cannot explain the 750 GeV di-photon excess. Compatibility with the observed signal requires the extension of the particle content of these models, for instance by heavy vector quarks in the case of the two H
We study the constraints implied by partial wave unitarity on new physics in the form of spin-zero di-boson resonances at LHC. We derive the scale where the effective description in terms of the SM supplemented by a single resonance is expected to break down depending on the resonance mass and signal cross-section. Likewise, we use unitarity arguments in order to set perturbativity bounds on renormalizable UV completions of the effective description. We finally discuss under which conditions scalar di-boson resonance signals can be accommodated within weakly-coupled models.
We prove that the restricted normal holonomy group of a Kähler submanifold of the complex hyperbolic space $\mathbb{C}H^{n}$ is always transitive, provided the index of relative nullity is zero. This contrasts with the case of $\mathbb{C}P^{n}$, where a Berger type result was proved by Console, Di Scala, and the second author. The proof is based on lifting the submanifold to the pseudo-Riemannian space $\mathbb{C}^{n,1}$ and developing new tools to handle the difficulties arising from possible degeneracies in holonomy tubes and associated distributions. In particular, we introduce the notion of weakly polar actions and a framework for dealing with degenerate submanifolds. These techniques could contribute to a broader understanding of submanifold geometry in spaces with indefinite signature, offering new insight into submanifolds in the dual setting of complex projective geometry.
We show that the quotient of any bounded homogeneous domain by a unipotent discrete group of automorphisms is holomorphically separable. Then we give a necessary condition for the quotient to be Stein and prove that in some cases this condition is also sufficient.
This document summarizes the outcomes of the "Science at the Luminosity Frontier: Jefferson Lab at 22 GeV" workshop, held at the INFN Laboratori Nazionali di Frascati in December 2024. The primary goal of the workshop was to critically assess and refine the scientific case for a proposed energy upgrade of the Continuous Electron Beam Accelerator Facility (CEBAF) to 22 GeV. This document intends to capture the progress on developing the scientific case since the publication of a lengthy "White Paper" in summer 2024 signed by about 450 authors.