Source author record

Víctor Muñoz

Víctor Muñoz appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

hep-ex hep-ph Artificial Intelligence astro-ph.CO astro-ph.HE cond-mat.stat-mech Logic in Computer Science physics.soc-ph Social and Information Networks

Catalog footprint

What is connected

5works

9topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Hadrophilic Light Dark Matter from the Atmosphere

Light sub-GeV dark matter (DM) constitutes an underexplored target, beyond the optimized sensitivity of typical direct DM detection experiments. We comprehensively investigate hadrophilic light DM produced from cosmic-ray collisions with the atmosphere. The resulting relativistic DM, originating from meson decays, can be efficiently observed in variety of experiments, such as XENON1T. We include for the first time decays of $η$, $η^{\prime}$ and $K^+$ mesons, leading to improved limits for DM masses above few hundred MeV. We incorporate an exact treatment of the DM attenuation in Earth and demonstrate that nuclear form factor effects can significantly impact the resulting testable DM parameter space. Further, we establish projections for upcoming experiments, such as DARWIN, over a wide range of DM masses below the GeV scale.

preprint2020arXiv

New constraints on Heavy Neutral Leptons from Super-Kamiokande data

Heavy neutral leptons are predicted in many extensions of the Standard Model with massive neutrinos. If kinematically accessible, they can be copiously produced from kaon and pion decays in atmospheric showers, and subsequently decay inside large neutrino detectors. We perform a search for these long-lived particles using Super-Kamiokande multi-GeV neutrino data and derive stringent limits on the mixing with electron, muon and tau neutrinos as a function of the long-lived particle mass. We also present the limits on the branching ratio versus lifetime plane, which are helpful in determining the constraints in non-minimal models where the heavy neutral leptons have new interactions with the Standard Model.

preprint2020arXiv

Searches for Atmospheric Long-Lived Particles

Long-lived particles are predicted in extensions of the Standard Model that involve relatively light but very weakly interacting sectors. In this paper we consider the possibility that some of these particles are produced in atmospheric cosmic ray showers, and their decay intercepted by neutrino detectors such as IceCube or Super-Kamiokande. We present the methodology and evaluate the sensitivity of these searches in various scenarios, including extensions with heavy neutral leptons in models of massive neutrinos, models with an extra $U(1)$ gauge symmetry, and a combination of both in a $U(1)_{B-L}$ model. Our results are shown as a function of the production rate and the lifetime of the corresponding long-lived particles.

preprint2016arXiv

Solving the Wastewater Treatment Plant Problem with SMT

In this paper we introduce the Wastewater Treatment Plant Problem, a real-world scheduling problem, and compare the performance of several tools on it. We show that, for a naive modeling, state-of-the-art SMT solvers outperform other tools ranging from mathematical programming to constraint programming. We use both real and randomly generated benchmarks. From this and similar results, we claim for the convenience of developing compiler front-ends being able to translate from constraint programming languages to the SMT-LIB standard language.

preprint2013arXiv

The physics of custody

Divorced individuals face complex situations when they have children with different ex-partners, or even more, when their new partners have children of their own. In such cases, and when kids spend every other weekend with each parent, a practical problem emerges: Is it possible to have such a custody arrangement that every couple has either all of the kids together or no kids at all? We show that in general, it is not possible, but that the number of couples that do can be maximized. The problem turns out to be equivalent to finding the ground state of a spin glass system, which is known to be equivalent to what is called a weighted max-cut problem in graph theory, and hence it is NP-Complete.