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
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.
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-.
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 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.
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.
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.
The STAR collaboration presents for the first time two-dimensional di-hadron correlations with identified leading hadrons in 200 GeV central Au+Au and minimum-bias d+Au collisions to explore hadronization mechanisms in the quark gluon plasma. The enhancement of the jet-like yield for leading pions in Au+Au data with respect to the d+Au reference and the absence of such an enhancement for leading non-pions (protons and kaons) are discussed within the context of a quark recombination scenario. The correlated yield at large angles, specifically in the \emph{ridge region}, is found to be significantly higher for leading non-pions than pions. The consistencies of the constituent quark scaling, azimuthal harmonic model and a mini-jet modification model description of the data are tested, providing further constraints on hadronization.
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
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 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.
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 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.
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
The main component of the NextGeneration EU (NGEU) program is the Recovery and Resilience Facility (RRF), spanning an implementation period between 2021 and 2026. The RRF also includes a monitoring system: every six months, each country is required to send an update on the progress of the plan against 14 common indicators, measured on specific quantitative scales. The aim of this paper is to present the first empirical evidence on this system, while, at the same time, emphasizing the potential of its integration with the sustainable development framework (SDGs). We propose to develop a first linkage between the 14 common indicators and the SDGs which allows us to produce a composite index (SDGs-RRF) for France, Germany, Italy, and Spain for the period 2014-2021. Over this time, widespread improvements in the composite index across the four countries led to a partial reduction of the divergence. The proposed approach represents a first step towards a wider use of the SDGs for the assessment of the RRF, in line with their use in the European Semester documents prepared by the European Commission.
We have recently proposed a two-dimensional quantum walk where the requirement of a higher dimensionality of the coin space is substituted with the alternance of the directions in which the walker can move [C. Di Franco, M. Mc Gettrick, and Th. Busch, Phys. Rev. Lett. {\bf 106}, 080502 (2011)]. For a particular initial state of the coin, this walk is able to perfectly reproduce the spatial probability distribution of the non-localized case of the Grover walk. Here, we present a more detailed proof of this equivalence. We also extend the analysis to other initial states, in order to provide a more complete picture of our walk. We show that this scheme outperforms the Grover walk in the generation of $x$-$y$ spatial entanglement for any initial condition, with the maximum entanglement obtained in the case of the particular aforementioned state. Finally, the equivalence is generalized to wider classes of quantum walks and a limit theorem for the alternate walk in this context is presented.
In the present paper, we give a q-analogue of the Grothendieck conjecture on p-curvatures for q-difference equations defined over the field of rational function K(x), where K is a finite extension of a field of rational functions k(q), with k perfect. Then we consider the generic (also called intrinsic) Galois group in the sense of N. Katz. The result in the first part of the paper lead to a description of the generic Galois group through the properties of the functional equations obtained specializing q on roots of unity. Although no general Galois correspondence holds in this setting, in the case of positive characteristic, where nonreduced groups appear, we can prove some devissage of the generic Galois group. In the last part of the paper, we give a complete answer to the analogue of Grothendieck conjecture on $p$-curvatures for q-difference equations defined over the field of rational function K(x), where K is any finitely generated extension of \mathbb Q and q eq 0,1: we prove that the generic Galois group of a q-difference module over K(x) always admits an adelic description in the spirit of the Grothendieck-Katz conjecture. To this purpose, if q is an algebraic number, we p
Consistency of case bases is a way to avoid the problem of retrieving conflicting constraining precedents for new cases to be decided. However, in legal practice the consistency requirements for case bases may not be satisfied. As pointed out in (Broughton 2019), a model of precedential constraint should take into account the hierarchical structure of the specific legal system under consideration and the temporal dimension of cases. This article continues the research initiated in (Liu et al. 2022; Di Florio et al. 2023), which established a connection between Boolean classifiers and legal case-based reasoning. On this basis, we enrich the classifier models with an organisational structure that takes into account both the hierarchy of courts and which courts issue decisions that are binding/constraining on subsequent cases. We focus on common law systems. We also introduce a temporal relation between cases. Within this enriched framework, we can formalise the notions of overruled cases and cases decided per incuriam: such cases are not to be considered binding on later cases. Finally, we show under which condition principles based on the hierarchical structure and on the temporal d
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.