Showing 1–50 of 127 results for author: Castillo, F

Towards Credential-based Device Registration in DApps for DePINs with ZKPs

Authors: Jonathan Heiss, Fernando Castillo, Xinxin Fan

Abstract: Decentralized Physical Infrastructure Networks (DePINS) are secured and governed by blockchains but beyond crypto-economic incentives, they lack measures to establish trust in participating devices and their services. The verification of relevant device credentials during device registration helps to overcome this problem. However, on-chain verification in decentralized applications (dApp) disclos… ▽ More Decentralized Physical Infrastructure Networks (DePINS) are secured and governed by blockchains but beyond crypto-economic incentives, they lack measures to establish trust in participating devices and their services. The verification of relevant device credentials during device registration helps to overcome this problem. However, on-chain verification in decentralized applications (dApp) discloses potentially confidential device attributes whereas off-chain verification introduces undesirable trust assumptions. In this paper, we propose a credential-based device registration (CDR) mechanism that verifies device credentials on the blockchain and leverages zero-knowledge proofs (ZKP) to protect confidential device attributes from being disclosed. We characterize CDR for DePINs, present a general system model, and technically evaluate CDR using zkSNARKs with Groth16 and Marlin. Our experiments give first insights into performance impacts and reveal a tradeoff between the applied proof systems. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Deep Learning for Causal Inference: A Comparison of Architectures for Heterogeneous Treatment Effect Estimation

Authors: Demetrios Papakostas, Andrew Herren, P. Richard Hahn, Francisco Castillo

Abstract: Causal inference has gained much popularity in recent years, with interests ranging from academic, to industrial, to educational, and all in between. Concurrently, the study and usage of neural networks has also grown profoundly (albeit at a far faster rate). What we aim to do in this blog write-up is demonstrate a Neural Network causal inference architecture. We develop a fully connected neural n… ▽ More Causal inference has gained much popularity in recent years, with interests ranging from academic, to industrial, to educational, and all in between. Concurrently, the study and usage of neural networks has also grown profoundly (albeit at a far faster rate). What we aim to do in this blog write-up is demonstrate a Neural Network causal inference architecture. We develop a fully connected neural network implementation of the popular Bayesian Causal Forest algorithm, a state of the art tree based method for estimating heterogeneous treatment effects. We compare our implementation to existing neural network causal inference methodologies, showing improvements in performance in simulation settings. We apply our method to a dataset examining the effect of stress on sleep. △ Less

Submitted 5 May, 2024; originally announced May 2024.

Collective lattice excitations in the dynamic route for melting hydrodynamic 2D-crystals

Authors: Mikheil Kharbedia, Niccolò Caselli, Macarena Calero, Lara H. Moleiro, Jesús F. Castillo, José A. Santiago, Diego Herráez-Aguilar, Francisco Monroy

Abstract: Surface stiffnesses engender steady patterns of Faraday waves (FWs), so called hydrodynamic crystals as correspond to ordered wave lattices made of discrete subharmonics under monochromatic driving. Mastering rules are both inertia-imposed parametric resonance for frequency-halving together with rigidity-driven nonlinearity for wavefield self-focusing. They harness the discretization needed for co… ▽ More Surface stiffnesses engender steady patterns of Faraday waves (FWs), so called hydrodynamic crystals as correspond to ordered wave lattices made of discrete subharmonics under monochromatic driving. Mastering rules are both inertia-imposed parametric resonance for frequency-halving together with rigidity-driven nonlinearity for wavefield self-focusing. They harness the discretization needed for coherent FW-packets to localize in space and time. Collective lattice excitations are observed as dispersionless propagating dislocations that lead periodic modulations arising from explicit symmetry breaking. In a field theory perspective, a halving genesis for the collective distorting modes is revealed as the natural pathway for hydrodynamic crystal melting. △ Less

Submitted 24 April, 2024; originally announced April 2024.

A Comparative Study of the Ground State Transitions of CO and [C I] as Molecular Gas Tracers at High Redshift

Authors: Marta Frias Castillo, Matus Rybak, Jacqueline A. Hodge, Paul Van der Werk, Ian Smail, Joshua Butterworth, Jasper Jansen, Theodoros Topkaras, Chian-Chou Chen, Scott C. Chapman, Axel Weiss, Hiddo Algera, Jack E. Birkin, Elisabete da Cunha, Jianhang Chen, Helmut Dannerbauer, E. F. Jiménez-Andrade, Soh Ikarashi, Cheng-Lin Liao, Eric J. Murphy, A. M. Swinbank, Fabian Walter, Gabriela Calistro Rivera, R. J. Ivison, Claudia del P. Lagos

Abstract: The CO(1--0) and [\ion{C}{1}](1--0) emission lines are well-established tracers of cold molecular gas mass in local galaxies. At high redshift, where the interstellar medium (ISM) is likely to be denser, there have been limited direct comparisons of both ground state transitions. Here we present a study of CO(1--0) and [\ion{C}{1}](1--0) emission in a sample of 20 unlensed dusty, star-forming gala… ▽ More The CO(1--0) and [\ion{C}{1}](1--0) emission lines are well-established tracers of cold molecular gas mass in local galaxies. At high redshift, where the interstellar medium (ISM) is likely to be denser, there have been limited direct comparisons of both ground state transitions. Here we present a study of CO(1--0) and [\ion{C}{1}](1--0) emission in a sample of 20 unlensed dusty, star-forming galaxies at $z=2-5$. The CO(1--0)/[\ion{C}{1}](1--0) ratio is constant up to at least $z=5$, supporting the use of [CI](1-0) as a gas mass tracer. PDR modelling of the available data indicates a median H$_2$ density of log$(n~[$cm$^{-3}])=4.7\pm0.2$, and UV radiation field log$(G_{\mathrm{UV}} [G$_0$])=3.2\pm0.2$. We use the CO(1--0), [\ion{C}{1}](1--0) and 3mm dust continuum measurements to cross--calibrate the respective gas mass conversion factors, finding no dependence of these factors on either redshift or infrared luminosity. Assuming a variable CO conversion factor then implies [\ion{C}{1}] and dust conversion factors that differ from canonically assumed values but are consistent with the solar/super-solar metallicities expected for our sources. Radiative transfer modelling shows that the warmer CMB at high redshift can significantly affect the [\ion{C}{1}] as well as CO emission, which can change the derived molecular gas masses by up to 70\% for the coldest kinetic gas temperatures expected. Nevertheless, we show that the magnitude of the effect on the ratio of the tracers is within the known scatter of the $L'_\mathrm{CO}-L'_\mathrm{[CI]}$ relation. Further determining the absolute decrease of individual line intensities will require well-sampled spectral line energy distributions (SLEDs) to model the gas excitation conditions in more detail. △ Less

Submitted 8 April, 2024; originally announced April 2024.

At the end of cosmic noon: Short gas depletion times in unobscured quasars at $z \sim$ 1

Authors: M. Frias Castillo, M. Rybak, J. Hodge, P. van der Werf, L. J. Abbo, F. J. Ballieux, S. Ward, C. Harrison, G. Calistro Rivera, J. P. McKean, H. R. Stacey

Abstract: Unobscured quasars (QSOs) are predicted to be the final stage in the evolutionary sequence from gas-rich mergers to gas-depleted, quenched galaxies. Studies of this population, however, find a high incidence of far-infrared-luminous sources -suggesting significant dust-obscured star formation-but direct observations of the cold molecular gas fuelling this star formation are still necessary. We pre… ▽ More Unobscured quasars (QSOs) are predicted to be the final stage in the evolutionary sequence from gas-rich mergers to gas-depleted, quenched galaxies. Studies of this population, however, find a high incidence of far-infrared-luminous sources -suggesting significant dust-obscured star formation-but direct observations of the cold molecular gas fuelling this star formation are still necessary. We present a NOEMA study of CO(2-1) emission, tracing the cold molecular gas, in ten lensed z=1-1.5 unobscured QSOs. We detected CO(2-1) in seven of our targets, four of which also show continuum emission (λ_rest = 1.3mm). After subtracting the foreground galaxy contribution to the photometry, spectral energy distribution fitting yielded stellar masses of 10^9-11 M_\odot, with star formation rates of 25-160 M_\odot yr^-1 for the host galaxies. These QSOs have lower $L'_\mathrm{CO}$ than star-forming galaxies with the same L_IR, and show depletion times spanning a large range (50-900 Myr), but with a median of just 90 Myr. We find molecular gas masses in the range 2-40 x 10^9(alpha_CO/4) M_\odot, which suggest gas fractions above ~50% for most of the targets. Despite the presence of an unobscured QSO, the host galaxies are able to retain significant amounts of cold gas. However, with a median depletion time of ~90 Myr, the intense burst of star formation taking place in these targets will quickly deplete their molecular gas reservoirs in the absence of gas replenishment, resulting in a quiescent host galaxy. The non-detected QSOs are three of the four radio-loud QSOs in the sample, and their properties indicate that they are likely already transitioning into quiescence. Recent cosmological simulations tend to overestimate the depletion times expected for these z~1 QSO-host galaxies, which is likely linked to their difficulty producing starbursts across the general high-redshift galaxy population. △ Less

Submitted 12 January, 2024; v1 submitted 9 January, 2024; originally announced January 2024.

Comments: 20 pages. Accepted for publication in A&A

An ALMA Spectroscopic Survey of the Brightest Submillimeter Galaxies in the SCUBA-2-COSMOS Field (AS2COSPEC): Physical Properties of z=2-5 Ultra- and Hyperluminous Infrared Galaxies

Authors: Cheng-Lin Liao, Chian-Chou Chen, Wei-Hao Wang, Ian Smail, Yi** Ao, Scott C. Chapman, Ugne Dudzeviciute, Marta Frias Castillo, Minju M. Lee, Stephen Serjeant, A. Mark Swinbank, Dominic J. Taylor, Hideki Umehata, Yinghe Zhao

Abstract: We report physical properties of the brightest ($S_{870\,μ\rm m}=12.4$-$19.2\,$mJy) and not strongly lensed 18 870$\,μ$m selected dusty star-forming galaxies (DSFGs), also known as submillimeter galaxies (SMGs), in the COSMOS field. This sample is part of an ALMA band$\,$3 spectroscopic survey (AS2COSPEC), and spectroscopic redshifts are measured in 17 of them at $z=2$-$5$. We perform spectral ene… ▽ More We report physical properties of the brightest ($S_{870\,μ\rm m}=12.4$-$19.2\,$mJy) and not strongly lensed 18 870$\,μ$m selected dusty star-forming galaxies (DSFGs), also known as submillimeter galaxies (SMGs), in the COSMOS field. This sample is part of an ALMA band$\,$3 spectroscopic survey (AS2COSPEC), and spectroscopic redshifts are measured in 17 of them at $z=2$-$5$. We perform spectral energy distribution analyses and deduce a median total infrared luminosity of $L_{\rm IR}=(1.3\pm0.1)\times10^{13}\,L_{\odot}$, infrared-based star-formation rate of ${\rm SFR}_{\rm IR}=1390\pm150~M_{\odot}\,\rm yr^{-1}$, stellar mass of $M_\ast=(1.4\pm0.6)\times10^{11}\,M_\odot$, dust mass of $M_{\rm dust}=(3.7\pm0.5)\times10^9\,M_\odot$, and molecular gas mass of $M_{\rm gas}= (α_{\rm CO}/0.8)(1.2\pm0.1)\times10^{11}\,M_\odot$, suggesting that they are one of the most massive, ISM-enriched, and actively star-forming systems at $z=2$-$5$. In addition, compared to less massive and less active galaxies at similar epochs, SMGs have comparable gas fractions; however, they have much shorter depletion time, possibly caused by more active dynamical interactions. We determine a median dust emissivity index of $β=2.1\pm0.1$ for our sample, and by combining our results with those from other DSFG samples, we find no correlation of $β$ with redshift or infrared luminosity, indicating similar dust grain compositions across cosmic time for infrared luminous galaxies. We also find that AS2COSPEC SMGs have one of the highest dust-to-stellar mass ratios, with a median of $0.02\pm0.01$, significantly higher than model predictions, possibly due to too strong of a AGN feedback implemented in the model. Finally, our complete and uniform survey enables us to put constraints on the most massive end of the dust and molecular gas mass functions. △ Less

Submitted 31 January, 2024; v1 submitted 29 November, 2023; originally announced November 2023.

Comments: 25 pages, 13 figures, published in ApJ

Journal ref: ApJ, 961, 226 (2024)

One-loop evolution of twist-2 generalized parton distributions

Authors: Valerio Bertone, Rafael F. del Castillo, Miguel G. Echevarria, Óscar del Río, Simone Rodini

Abstract: We revisit the evolution of generalised parton distributions (GPDs) at the leading order in the strong coupling constant $α_s$ for all of the twist-2 quark and gluon operators. We rederive the relevant one-loop evolution kernels, expressing them in a form suitable for implementation, and check analytically that some basic properties, such as DGLAP/ERBL limits and polynomiality conservation, are fu… ▽ More We revisit the evolution of generalised parton distributions (GPDs) at the leading order in the strong coupling constant $α_s$ for all of the twist-2 quark and gluon operators. We rederive the relevant one-loop evolution kernels, expressing them in a form suitable for implementation, and check analytically that some basic properties, such as DGLAP/ERBL limits and polynomiality conservation, are fulfilled. We also present a number of numerical results obtained with a public implementation of the evolution in the library {\tt APFEL++} and available within the {\tt PARTONS} framework. △ Less

Submitted 15 February, 2024; v1 submitted 23 November, 2023; originally announced November 2023.

Comments: Updated list of references

Report number: DESY-23-188, IPARCOS-UCM-23-128

Plasma Fixed Nitrogen (PFN) Improves Lettuce Field Holding Potential

Authors: Benjamin Wang, Qiyang Hu, Bruno Felix Castillo, Christina Simley, Andrew Yates, Brian Sharbono, Kyle Brasier, Mark A. Cappelli

Abstract: We show that plasma fixed nitrogen (PFN) as a biostimulant can improve marketable lettuce yield following delayed harvest. Using just one-tenth of the conventional nitrogen, PFN, generated by a dielectric barrier discharge over water, was field-tested against traditional fertilization methods. PFN increased marketable lettuce yield by 250% over conventional growing methods despite reducing applied… ▽ More We show that plasma fixed nitrogen (PFN) as a biostimulant can improve marketable lettuce yield following delayed harvest. Using just one-tenth of the conventional nitrogen, PFN, generated by a dielectric barrier discharge over water, was field-tested against traditional fertilization methods. PFN increased marketable lettuce yield by 250% over conventional growing methods despite reducing applied nitrogen fertilizer. Our study suggests that PFN can increase marketable lettuce yield following delayed harvest while ensuring environmental sustainability and product quality. △ Less

Submitted 15 November, 2023; originally announced November 2023.

Magneto-thermal evolution in the cores of adolescent neutron stars: The Grad-Shafranov equilibrium is never reached in the 'strong-coupling' regime

Authors: Nicolás A. Moraga, Francisco Castillo, Andreas Reisenegger, Juan A. Valdivia, Mikhail E. Gusakov

Abstract: At the high temperatures present inside recently formed neutron stars ($T\gtrsim 5\times 10^{8}\, \text{K}$), the particles in their cores are in the "strong-coupling" regime, in which collisional forces make them behave as a single, stably stratified, and thus non-barotropic fluid. In this regime, axially symmetric hydromagnetic quasi-equilibrium states are possible, which are only constrained to… ▽ More At the high temperatures present inside recently formed neutron stars ($T\gtrsim 5\times 10^{8}\, \text{K}$), the particles in their cores are in the "strong-coupling" regime, in which collisional forces make them behave as a single, stably stratified, and thus non-barotropic fluid. In this regime, axially symmetric hydromagnetic quasi-equilibrium states are possible, which are only constrained to have a vanishing azimuthal Lorentz force. In such equilibria, the particle species are not in chemical ($β$) equilibrium, so $β$ decays (Urca reactions) tend to restore the chemical equilibrium, inducing fluid motions that change the magnetic field configuration. If the stars remained hot for a sufficiently long time, this evolution would eventually lead to a chemical equilibrium state, in which the fluid is barotropic and the magnetic field, if axially-symmetric, satisfies the non-linear Grad-Shafranov equation. In this work, we present a numerical scheme that decouples the magnetic and thermal evolution, enabling to efficiently perform, for the first time, long-term magneto-thermal simulations in this regime for different magnetic field strengths and geometries. Our results demonstrate that, even for magnetar-strength fields $\gtrsim 10^{16} \, \mathrm{G}$, the feedback from the magnetic evolution on the thermal evolution is negligible. Thus, as the core passively cools, the Urca reactions quickly become inefficient at restoring chemical equilibrium, so the magnetic field evolves very little, and the Grad-Shafranov equilibrium is not attained in this regime. Therefore, any substantial evolution of the core magnetic field must occur later, in the cooler "weak-coupling" regime ($T\lesssim 5\times 10^8 \, \mathrm{K}$), in which Urca reactions are effectively frozen and ambipolar diffusion becomes relevant. △ Less

Submitted 25 September, 2023; originally announced September 2023.

Comments: 19 pages, 12 figures, submitted to MNRAS

On the size of Bruhat intervals

Authors: Federico Castillo, Damian de la Fuente, Nicolas Libedinsky, David Plaza

Abstract: For affine Weyl groups and elements associated to dominant coweights, we present a convex geometry formula for the size of the corresponding lower Bruhat intervals. Extensive computer calculations for these groups have led us to believe that a similar formula exists for all lower Bruhat intervals. For affine Weyl groups and elements associated to dominant coweights, we present a convex geometry formula for the size of the corresponding lower Bruhat intervals. Extensive computer calculations for these groups have led us to believe that a similar formula exists for all lower Bruhat intervals. △ Less

Submitted 15 September, 2023; originally announced September 2023.

Comments: 28 pages

Transverse Momentum Measurements with Jets at Next-to-Leading Power

Authors: Rafael F. del Castillo, Max Jaarsma, Ignazio Scimemi, Wouter Waalewijn

Abstract: In view of the increasing precision of theoretical calculations and experimental measurements, power corrections to transverse-momentum-dependent observables are highly important. We study the next-to-leading power corrections for transverse momentum measurements in $e^+ e^- \rightarrow 2$ jets. We obtain a factorized expression for the cross section, which involve twist-2 and twist-3 operators, a… ▽ More In view of the increasing precision of theoretical calculations and experimental measurements, power corrections to transverse-momentum-dependent observables are highly important. We study the next-to-leading power corrections for transverse momentum measurements in $e^+ e^- \rightarrow 2$ jets. We obtain a factorized expression for the cross section, which involve twist-2 and twist-3 operators, and identify the new jet functions that appear in it. We calculate these jet functions at order αs for a family of recoil-free schemes, and provide the corresponding anomalous dimensions at leading order. Additionally, we show that the (endpoint) divergences that typically arise in sub-leading-power factorization can be subtracted and cancel for our case. By working with jets, everything is perturbatively calculable and there are substantial simplifications compared to the general next-to-leading power framework. Importantly, our analysis with jets can be extended to semi-inclusive deep-inelastic scattering, with the future Electron-Ion Collider as key application. △ Less

Submitted 5 February, 2024; v1 submitted 24 July, 2023; originally announced July 2023.

Comments: 30 pages, 4 figures, v3: journal version

Lineup polytopes of product of simplices

Authors: Federico Castillo, Jean-Philippe Labbé

Abstract: Consider a real point configuration $\mathbf{A}$ of size $n$ and an integer $r \leq n$. The vertices of the $r$-lineup polytope of $\mathbf{A}$ correspond to the possible orderings of the top $r$ points of the configuration obtained by maximizing a linear functional. The motivation behind the study of lineup polytopes comes from the representability problem in quantum chemistry. In that context, t… ▽ More Consider a real point configuration $\mathbf{A}$ of size $n$ and an integer $r \leq n$. The vertices of the $r$-lineup polytope of $\mathbf{A}$ correspond to the possible orderings of the top $r$ points of the configuration obtained by maximizing a linear functional. The motivation behind the study of lineup polytopes comes from the representability problem in quantum chemistry. In that context, the relevant point configurations are the vertices of hypersimplices and the integer points contained in an inflated regular simplex. The central problem consists in providing an inequality representation of lineup polytopes as efficiently as possible. In this article, we adapt the developed techniques to the quantum information theory setup. The appropriate point configurations become the vertices of products of simplices. A particular case is that of lineup polytopes of cubes, which form a type $B$ analog of hypersimplices, where the symmetric group of type~$A$ naturally acts. To obtain the inequalities, we center our attention on the combinatorics and the symmetry of products of simplices to obtain an algorithmic solution. Along the way, we establish relationships between lineup polytopes of products of simplices with the Gale order, standard Young tableaux, and the Resonance arrangement. △ Less

Submitted 31 May, 2023; originally announced June 2023.

Comments: 19 pages, 8 figures

MSC Class: Primary 52B12; Secondary 52B55; 90C06; 81P99

The structure of Rochberg spaces

Authors: Jesús M. F. Castillo, Manuel González, Raúl Pino

Abstract: We study the structure of the Rochberg Banach spaces $\mathfrak Z_n$ associated to the interpolation pair $(\ell_\infty, \ell_1)$ at $1/2$, and the operators defined on them We study the structure of the Rochberg Banach spaces $\mathfrak Z_n$ associated to the interpolation pair $(\ell_\infty, \ell_1)$ at $1/2$, and the operators defined on them △ Less

Submitted 16 May, 2023; originally announced May 2023.

MSC Class: 46M18; 46B10; 46B20; 46B70

Resistance Maintained in Digital Organisms despite Guanine/Cytosine-Based Fitness Cost and Extended De-Selection: Implications to Microbial Antibiotics Resistance

Authors: Clarence FG Castillo, Zhu En Chay, Maurice HT Ling

Abstract: Antibiotics resistance has caused much complication in the treatment of diseases, where the pathogen is no longer susceptible to specific antibiotics and the use of such antibiotics are no longer effective for treatment. A recent study that utilizes digital organisms suggests that complete elimination of specific antibiotic resistance is unlikely after the disuse of antibiotics, assuming that ther… ▽ More Antibiotics resistance has caused much complication in the treatment of diseases, where the pathogen is no longer susceptible to specific antibiotics and the use of such antibiotics are no longer effective for treatment. A recent study that utilizes digital organisms suggests that complete elimination of specific antibiotic resistance is unlikely after the disuse of antibiotics, assuming that there are no fitness costs for maintaining resistance once resistance are established. Fitness cost are referred to as reaction to change in environment, where organism improves its' abilities in one area at the expense of the other. Our goal in this study is to use digital organisms to examine the rate of gain and loss of resistance where fitness costs have incurred in maintaining resistance. Our results showed that GC-content based fitness cost during de-selection by removal of antibiotic-induced selective pressure portrayed similar trends in resistance compared to that of no fitness cost, at all stages of initial selection, repeated de-selection and re-introduction of selective pressure. Paired t-test suggested that prolonged stabilization of resistance after initial loss is not statistically significant for its difference to that of no fitness cost. This suggests that complete elimination of specific antibiotics resistance is unlikely after the disuse of antibiotics despite presence of fitness cost in maintaining antibiotic resistance during the disuse of antibiotics, once a resistant pool of micro-organism has been established. △ Less

Submitted 19 February, 2023; originally announced February 2023.

Journal ref: MOJ Proteomics & Bioinformatics 2(2): 00039 (2015)

Prospects for the inference of inertial modes from hypermassive neutron stars with future gravitational-wave detectors

Authors: Miquel Miravet-Tenés, Florencia L. Castillo, Roberto De Pietri, Pablo Cerdá-Durán, José A. Font

Abstract: Some recent, long-term numerical simulations of binary neutron star mergers have shown that the long-lived remnants produced in such mergers might be affected by convective instabilities. Those would trigger the excitation of inertial modes, providing a potential method to improve our understanding of the rotational and thermal properties of neutron stars through the analysis of the modes' imprint… ▽ More Some recent, long-term numerical simulations of binary neutron star mergers have shown that the long-lived remnants produced in such mergers might be affected by convective instabilities. Those would trigger the excitation of inertial modes, providing a potential method to improve our understanding of the rotational and thermal properties of neutron stars through the analysis of the modes' imprint in the late post-merger gravitational-wave signal. In this paper we assess the detectability of those modes by injecting numerically generated post-merger waveforms into colored Gaussian noise of second-generation and future detectors. Signals are recovered using BayesWave, a Bayesian data-analysis algorithm that reconstructs them through a morphology-independent approach using series of sine-Gaussian wavelets. Our study reveals that current interferometers (i.e. the Handford-Livingston-Virgo network) recover the peak frequency of inertial modes only if the merger occurs at distances of up to 1 Mpc. For future detectors such as the Einstein Telescope, the range of detection increases by about a factor 10. △ Less

Submitted 10 May, 2023; v1 submitted 9 February, 2023; originally announced February 2023.

VLA Legacy Survey of Molecular Gas in Massive Star-forming Galaxies at High Redshift

Authors: Marta Frias Castillo, Jacqueline Hodge, Matus Rybak, Paul van der Werf, Ian Smail, Jack Birkin, Chian-Chou Chen, Scott Chapman, Ryley Hill, Claudia del P. Lagos, Cheng-Lin Liao, Elisabete da Cunha, Gabriela Calistro Rivera, Jianhang Chen, Eric Jimenez Andrade, Eric Murphy, Douglas Scott, Mark Swinbank, Fabian Walter, Rob Ivison, Helmut Dannerbauer

Abstract: We present initial results of an ongoing survey with the Karl G. Jansky Very Large Array targeting the CO($J$ = 1-0) transition in a sample of 30 submillimeter-selected, dusty star-forming galaxies at $z =$ 2-5 with existing mid--$J$ CO detections from ALMA and NOEMA, of which 17 have been fully observed. We detect CO(1-0) emission in 11 targets, along with three tentative ($\sim$1.5-2$σ$) detecti… ▽ More We present initial results of an ongoing survey with the Karl G. Jansky Very Large Array targeting the CO($J$ = 1-0) transition in a sample of 30 submillimeter-selected, dusty star-forming galaxies at $z =$ 2-5 with existing mid--$J$ CO detections from ALMA and NOEMA, of which 17 have been fully observed. We detect CO(1-0) emission in 11 targets, along with three tentative ($\sim$1.5-2$σ$) detections; three galaxies are undetected. Our results yield total molecular gas masses of 6-23$\times$10$^{10}$ ($α_\mathrm{CO}$/1) M$_\odot$, with gas mass fractions, $f_\mathrm{gas}$=$M_\mathrm{mol}$/($M_*$+$M_\mathrm{mol}$), of 0.1-0.8 and a median depletion time of (140$\pm$70) Myr. We find median CO excitation ratios of $r_{31}$ = 0.75$\pm$0.39 and $r_{41}$ = 0.63$\pm$0.44, with a significant scatter. We find no significant correlation between the excitation ratio and a number of key parameters such as redshift, CO(1-0) line width or $Σ_\mathrm{SFR}$. We only find a tentative positive correlation between $r_{41}$ and the star-forming efficiency, but we are limited by our small sample size. Finally, we compare our results to predictions from the SHARK semi-analytical model, finding a good agreement between the molecular gas masses, depletion times and gas fractions of our sources and their SHARK counterparts. Our results highlight the heterogeneous nature of the most massive star-forming galaxies at high-redshift, and the importance of CO(1--0) observations to robustly constrain their total molecular gas content and ISM properties. △ Less

Submitted 10 February, 2023; v1 submitted 7 February, 2023; originally announced February 2023.

Comments: 10 pages, 15 figures. Accepted for publication in ApJ

K-polynomials of multiplicity-free varieties

Authors: Federico Castillo, Yairon Cid-Ruiz, Fatemeh Mohammadi, Jonathan Montaño

Abstract: We describe the twisted $K$-polynomial of multiplicity-free varieties in a multiprojective setting. More precisely, for multiplicity-free varieties, we show that the support of the twisted $K$-polynomial is a generalized polymatroid. As applications, we show that the support of the Möbius function of a linear polymatroid is a generalized polymatroid, and we settle a conjecture of Monical, Tokcan a… ▽ More We describe the twisted $K$-polynomial of multiplicity-free varieties in a multiprojective setting. More precisely, for multiplicity-free varieties, we show that the support of the twisted $K$-polynomial is a generalized polymatroid. As applications, we show that the support of the Möbius function of a linear polymatroid is a generalized polymatroid, and we settle a conjecture of Monical, Tokcan and Yong regarding Grothendieck polynomials for the case of zero-one Schubert polynomials. △ Less

Submitted 23 April, 2024; v1 submitted 26 December, 2022; originally announced December 2022.

MSC Class: 14C17; 14M05; 14M15; 13H15; 52B40; 52B22

Partial permutohedra

Authors: Roger E. Behrend, Federico Castillo, Anastasia Chavez, Alexander Diaz-Lopez, Laura Escobar, Pamela E. Harris, Erik Insko

Abstract: Partial permutohedra are lattice polytopes which were recently introduced and studied by Heuer and Striker. For positive integers $m$ and $n$, the partial permutohedron $\mathcal{P}(m,n)$ is the convex hull of all vectors in $\{0,1,\ldots,n\}^m$ whose nonzero entries are distinct. We study the face lattice, volume and Ehrhart polynomial of $\mathcal{P}(m,n)$, and our methods and results include th… ▽ More Partial permutohedra are lattice polytopes which were recently introduced and studied by Heuer and Striker. For positive integers $m$ and $n$, the partial permutohedron $\mathcal{P}(m,n)$ is the convex hull of all vectors in $\{0,1,\ldots,n\}^m$ whose nonzero entries are distinct. We study the face lattice, volume and Ehrhart polynomial of $\mathcal{P}(m,n)$, and our methods and results include the following. For any $m$ and $n$, we obtain a bijection between the nonempty faces of $\mathcal{P}(m,n)$ and certain chains of subsets of $\{1,\dots,m\}$, thereby confirming a conjecture of Heuer and Striker, and we then use this characterization of faces to obtain a closed expression for the $h$-polynomial of $\mathcal{P}(m,n)$. For any $m$ and $n$ with $n\ge m-1$, we use a pyramidal subdivision of $\mathcal{P}(m,n)$ to establish a recursive formula for the normalized volume of $\mathcal{P}(m,n)$, from which we then obtain closed expressions for this volume. We also use a sculpting process (in which $\mathcal{P}(m,n)$ is reached by successively removing certain pieces from a simplex or hypercube) to obtain closed expressions for the Ehrhart polynomial of $\mathcal{P}(m,n)$ with arbitrary $m$ and fixed $n\le 3$, the volume of $\mathcal{P}(m,4)$ with arbitrary $m$, and the Ehrhart polynomial of $\mathcal{P}(m,n)$ with fixed $m\le4$ and arbitrary $n\ge m-1$. △ Less

Submitted 20 February, 2023; v1 submitted 28 July, 2022; originally announced July 2022.

Comments: 41 pages, 5 figures. v2: several changes, including the addition of Remarks 3.12, 3.13, 3.21 and 3.22, and Sections 4.2, 4.3, 6.2 and 6.3

Operators on the Kalton-Peck space $Z_2$

Authors: Jesús M. F. Castillo, Manuel González, Raúl Pino

Abstract: We study operators on the Kalton-Peck Banach space $Z_2$ from various points of view: matrix representations, examples, spectral properties and operator ideals. For example, we prove that there are non-compact, strictly singular operators acting on $Z_2$, but the product of two of them is a compact operator. Among applications, we show that every copy of $Z_2$ in $Z_2$ is complemented, and each se… ▽ More We study operators on the Kalton-Peck Banach space $Z_2$ from various points of view: matrix representations, examples, spectral properties and operator ideals. For example, we prove that there are non-compact, strictly singular operators acting on $Z_2$, but the product of two of them is a compact operator. Among applications, we show that every copy of $Z_2$ in $Z_2$ is complemented, and each semi-Fredholm operator on $Z_2$ has complemented kernel and range, the space $Z_2$ is $Z_2$-automorphic and we give a partial solution to a problem of Johnson, Lindenstrauss and Schetchman about strictly singular perturbations of operators on $Z_2$. △ Less

Submitted 3 July, 2022; originally announced July 2022.

MSC Class: 46B03; 46B10; 46M18; 47A53; 47L20

Social-ecological feedbacks drive tip** points in farming system diversification

Authors: Melissa Chapman, Serge Wiltshire, Patrick Baur, Timothy Bowles, Liz Carlisle, Federico Castillo, Kenzo Esquivel, Sasha Gennet, Alastair Iles, Daniel Karp, Claire Kremen, Jeffrey Liebert, Elissa M. Olimpi, Joanna Ory, Matthew Ryan, Amber Sciligo, Jennifer Thompson, Hannah Waterhouse, Carl Boettiger

Abstract: The emergence and impact of tip** points have garnered significant interest in both the social and natural sciences. Despite widespread recognition of the importance of feedbacks between human and natural systems, it is often assumed that the observed nonlinear dynamics in these coupled systems rests within either underlying human or natural processes, rather than the rates at which they interac… ▽ More The emergence and impact of tip** points have garnered significant interest in both the social and natural sciences. Despite widespread recognition of the importance of feedbacks between human and natural systems, it is often assumed that the observed nonlinear dynamics in these coupled systems rests within either underlying human or natural processes, rather than the rates at which they interact. Using adoption of agricultural diversification practices as a case study, we show how two stable management paradigms (one dominated by conventional, homogeneous practices, the other by diversified practices) can emerge purely from temporal feedbacks between human decisions and ecological responses. We explore how this temporal mechanism of tip** points provides insight into designing more effective interventions that promote farmers transitions towards sustainable agriculture. Moreover, our flexible modeling framework could be applied to other cases to provide insight into numerous questions in social-ecological systems research and environmental policy. △ Less

Submitted 30 March, 2022; originally announced May 2022.

Comments: One Earth (2022)

Twisted sums of $c_0(I)$

Authors: Jesús M. F. Castillo, Alberto Salguero Alarcón

Abstract: The paper studies properties of twisted sums of a Banach space $X$ with $c_0(κ)$. We first prove a representation theorem for such twisted sums from which we will obtain, among others, the following: (a) twisted sums of $c_0(I)$ and $c_0(κ)$ are either subspaces of $\ell_\infty(κ)$ or trivial on a copy of $c_0(κ^+)$; (b) under the hypothesis $[\mathfrak p = \mathfrak c]$, when $K$ is either a suit… ▽ More The paper studies properties of twisted sums of a Banach space $X$ with $c_0(κ)$. We first prove a representation theorem for such twisted sums from which we will obtain, among others, the following: (a) twisted sums of $c_0(I)$ and $c_0(κ)$ are either subspaces of $\ell_\infty(κ)$ or trivial on a copy of $c_0(κ^+)$; (b) under the hypothesis $[\mathfrak p = \mathfrak c]$, when $K$ is either a suitable Corson compact, a separable Rosenthal compact or a scattered compact of finite height, there is a twisted sum of $C(K)$ with $c_0(κ)$ that is not isomorphic to a space of continuous functions; (c) all such twisted sums are Lindenstrauss spaces when $X$ is a Lindenstrauss space and $G$-spaces when $X=C(K)$ with $K$ convex, which shows tat a result of Benyamini is optimal; (d) they are isomorphically polyhedral when $X$ is a polyhedral space with property ($\star$), which solves a problem of Castillo and Papini. △ Less

Submitted 1 April, 2022; originally announced April 2022.

Comments: 12pp

MSC Class: 46M18; 54D30; 46E15; 46B20

Symplectic forms on Banach spaces

Authors: Jesús M. F. Castillo, Wilson Cuellar, Manuel González Ortiz, Raúl Pino

Abstract: We extend and generalize the result of Kalton and Swanson ($Z_2$ is a symplectic Banach space with no Lagrangian subspace) by showing that all higher order Rochgberg spaces $\mathfrak R^{(n)}$ are symplectic Banach spaces with no Lagrangian subspaces. The nontrivial symplectic structure on even spaces is the one induced by the natural duality; while the nontrivial symplectic structure on odd space… ▽ More We extend and generalize the result of Kalton and Swanson ($Z_2$ is a symplectic Banach space with no Lagrangian subspace) by showing that all higher order Rochgberg spaces $\mathfrak R^{(n)}$ are symplectic Banach spaces with no Lagrangian subspaces. The nontrivial symplectic structure on even spaces is the one induced by the natural duality; while the nontrivial symplectic structure on odd spaces requires perturbation with a complex structure. We will also study symplectic structures on general Banach spaces and, motivated by the unexpected appearance of complex structures, we introduce and study almost symplectic structures. △ Less

Submitted 1 April, 2022; originally announced April 2022.

Comments: 22pp

MSC Class: 46B20; 46B10; 46M18; 46B70

The Kalton-Peck space is the complexification of the real Kalton-Peck space

Authors: Jesús M. F. Castillo, Yolanda Moreno Salguero

Abstract: The Kalton-Peck $Z_2$ space is the derived space obtained from the scale of $\ell_p$ spaces by complex interpolation at $1/2$. If we denote by by $Z_2^{real}$ the derived space obtained from the scale of $\ell_p$ spaces by real interpolation at $(1/2, 1/2)$, we show that $Z_2$ is the complexification of $Z_2^{real}$. We also show that $Z_2^{real}$ shares the most important properties of $Z_2$: it… ▽ More The Kalton-Peck $Z_2$ space is the derived space obtained from the scale of $\ell_p$ spaces by complex interpolation at $1/2$. If we denote by by $Z_2^{real}$ the derived space obtained from the scale of $\ell_p$ spaces by real interpolation at $(1/2, 1/2)$, we show that $Z_2$ is the complexification of $Z_2^{real}$. We also show that $Z_2^{real}$ shares the most important properties of $Z_2$: it is isomorphic to its dual, it is singular and contains no complemented copies of $\ell_2$. △ Less

Submitted 1 April, 2022; originally announced April 2022.

Comments: 10pp

MSC Class: 46B70; 46M18

A forgotten theorem of Ortyński, not far off

Authors: Félix Cabello Sánchez, Jesús M. F. Castillo, Yolanda Moreno Salguero

Abstract: We combine techniques of Ortyński \cite{orty} and Moreno and Plichko \cite{moreplic} to show that, for $0<p<\infty$, every subspace of $\ell_p(Γ)$ having density character $\mathfrak m$ has the form $\ell_p(\mathfrak m, H_m)$ for some family of subspaces $H_m\subset \ell_p$. The ideas of Ortyński are then applied to obtain unique positions for Lindenstrauss spaces. We combine techniques of Ortyński \cite{orty} and Moreno and Plichko \cite{moreplic} to show that, for $0<p<\infty$, every subspace of $\ell_p(Γ)$ having density character $\mathfrak m$ has the form $\ell_p(\mathfrak m, H_m)$ for some family of subspaces $H_m\subset \ell_p$. The ideas of Ortyński are then applied to obtain unique positions for Lindenstrauss spaces. △ Less

Submitted 15 June, 2024; v1 submitted 1 April, 2022; originally announced April 2022.

Comments: The paper must be withdrawn because it contains a wrong proof

MSC Class: 46A16; 46B03; 46B07

Quasilinear duality and inversion in Banach spaces

Authors: Jesús M. F. Castillo, Manuel González

Abstract: We present a unified approach to the processes of inversion and duality for quasilinear and $1$-quasilinear maps; in particular, for centralizers and differentials generated by interpolation methods. We present a unified approach to the processes of inversion and duality for quasilinear and $1$-quasilinear maps; in particular, for centralizers and differentials generated by interpolation methods. △ Less

Submitted 1 April, 2022; originally announced April 2022.

Comments: 16pp

MSC Class: 46B10; 46M18; 46B70

Kiloparsec-scale imaging of the CO(1-0)-traced cold molecular gas reservoir in a z~3.4 submillimeter galaxy

Authors: Marta Frias Castillo, Matus Rybak, Jacqueline Hodge, Paul van der Werf, Dominik A. Riechers, Daniel Vieira, Gabriela Calistro Rivera, Laura N. Martinez-Ramirez, Fabian Walter, Erwin de Blok, Desika Narayanan, Jeff Wagg

Abstract: We present a high-resolution study of the cold molecular gas as traced by CO(1-0) in the unlensed z$\sim$3.4 submillimeter galaxy SMM J13120+4242, using multi-configuration observations with the Karl G. Jansky Very Large Array (JVLA). The gas reservoir, imaged on 0.39" ($\sim$3 kpc) scales, is resolved into two components separated by $\sim$11 kpc with a total extent of 16 $\sim$3 kpc. Despite the… ▽ More We present a high-resolution study of the cold molecular gas as traced by CO(1-0) in the unlensed z$\sim$3.4 submillimeter galaxy SMM J13120+4242, using multi-configuration observations with the Karl G. Jansky Very Large Array (JVLA). The gas reservoir, imaged on 0.39" ($\sim$3 kpc) scales, is resolved into two components separated by $\sim$11 kpc with a total extent of 16 $\sim$3 kpc. Despite the large spatial extent of the reservoir, the observations show a CO(1-0) FWHM linewidth of only 267 $\pm$ 64 km s$^{-1}$. We derive a revised line luminosity of L'$_\mathrm{CO(1-0)}$ = (10 $\pm$ 3) $\times$ 10$^{10}$ K km s$^{-1}$ pc$^2$ and a molecular gas mass of M$_\mathrm{gas}$ = (13 $\pm$ 3) $\times$ 10$^{10}$ ($α_\mathrm{CO}$/1) M$_{\odot}$. Despite the presence of a velocity gradient (consistent with previous resolved CO(6-5) imaging), the CO(1-0) imaging shows evidence for significant turbulent motions which are preventing the gas from fully settling into a disk. The system likely represents a merger in an advanced stage. Although the dynamical mass is highly uncertain, we use it to place an upper limit on the CO-to-H$_2$ mass conversion factor $α_\mathrm{CO}$ of 1.4. We revisit the SED fitting, finding that this galaxy lies on the very massive end of the main sequence at z = 3.4. Based on the low gas fraction, short gas depletion time and evidence for a central AGN, we propose that SMM J13120 is in a rapid transitional phase between a merger-driven starburst and an unobscured quasar. The case of SMM J13120 highlights the how mergers may drive important physical changes in galaxies without pushing them off the main sequence. △ Less

Submitted 29 March, 2022; originally announced March 2022.

Comments: 19 pages, 12 figures, accepted for publication in ApJ

Interpolator symmetries and new Kalton-Peck spaces

Authors: Jesús M. F. Castillo, Willian H. G. Correa, Valentin Ferenczi, Manuel González

Abstract: Diagrams generated by three interpolators in an abstract Kalton-Montgomery complex like interpolation scheme. We will consider in detail the case of the first three Schechter interpolators associated to the usual Calderón complex interpolation method in two especially interesting cases: weighted $\ell_2$ spaces, i.e., interpolation pairs $(\ell_2(w^{-1}), \ell_2(w))_θ$, and $\ell_p$ spaces, i.e.,… ▽ More Diagrams generated by three interpolators in an abstract Kalton-Montgomery complex like interpolation scheme. We will consider in detail the case of the first three Schechter interpolators associated to the usual Calderón complex interpolation method in two especially interesting cases: weighted $\ell_2$ spaces, i.e., interpolation pairs $(\ell_2(w^{-1}), \ell_2(w))_θ$, and $\ell_p$ spaces, i.e., the interpolation pair $(\ell_\infty, \ell_1)_θ$, both at $θ=1/2$. △ Less

Submitted 22 January, 2023; v1 submitted 20 November, 2021; originally announced November 2021.

MSC Class: 46B70; 4bB20

Transverse momentum dependent distributions in dijet and heavy hadron pair production at EIC

Authors: Rafael F. del Castillo, Miguel G. Echevarria, Yiannis Makris, Ignazio Scimemi

Abstract: We discuss the measurement of gluon transverse momentum distribution (TMD) in dijet and heavy hadron pair (HHP) production in semi-inclusive deep inelastic scattering. The factorization of these processes in impact parameter space shows the appearance of a specific new soft factor matrix element on top of angular a complex valued anomalous dimensions. We show in detail how these features can be tr… ▽ More We discuss the measurement of gluon transverse momentum distribution (TMD) in dijet and heavy hadron pair (HHP) production in semi-inclusive deep inelastic scattering. The factorization of these processes in impact parameter space shows the appearance of a specific new soft factor matrix element on top of angular a complex valued anomalous dimensions. We show in detail how these features can be treated consistently and we discuss a scale prescription for the evolution kernel of the dijet soft function. As a result we obtain phenomenological predictions for unpolarized and angular modulated cross-sections for the electron-ion collider (EIC) using current available information on unpolarized TMD. △ Less

Submitted 11 March, 2022; v1 submitted 5 November, 2021; originally announced November 2021.

Comments: 29 pages, 7 figures

Journal ref: JHEP03(2022)047

A pithy look at the Polytope Algebra

Authors: Federico Castillo

Abstract: This is a hands on introduction to McMullen's Polytope Algebra. More than interesting on its own, this algebra was McMullen's tool to give a combinatorial proof of the g-theorem. This is a hands on introduction to McMullen's Polytope Algebra. More than interesting on its own, this algebra was McMullen's tool to give a combinatorial proof of the g-theorem. △ Less

Submitted 3 November, 2021; originally announced November 2021.

Comments: 14 pages; In the proceedings of the 2018 Summer Workshop on Lattice Polytopes at Osaka University

The hitchhiker guide to Categorical Banach space theory. Part II

Authors: Jesús M. F. Castillo

Abstract: What has category theory to offer to Banach spacers? In this second part survey-like paper we will focus on very much needed advanced categorical and homological elements, such as Kan extensions, derived category and derived functor or Abelian hearts of Banach spaces. What has category theory to offer to Banach spacers? In this second part survey-like paper we will focus on very much needed advanced categorical and homological elements, such as Kan extensions, derived category and derived functor or Abelian hearts of Banach spaces. △ Less

Submitted 12 October, 2021; originally announced October 2021.

Comments: This paper is to appear in Extracta Mathematicae

The Butterfly lemma

Authors: Jesús M. F. Castillo, Daniel Morales

Abstract: The Butterfly lemma we present can be considered a reiteration theorem for differentials generated from a complex interpolation process for families of Köthe spaces. The lemma will be used to clarify the effect of different configurations in the resulting differential (because although interpolation is an orientation-free process, the obtention of differentials is not) and to round off a few aspec… ▽ More The Butterfly lemma we present can be considered a reiteration theorem for differentials generated from a complex interpolation process for families of Köthe spaces. The lemma will be used to clarify the effect of different configurations in the resulting differential (because although interpolation is an orientation-free process, the obtention of differentials is not) and to round off a few aspects of Kalton's interpolation theorem. △ Less

Submitted 12 October, 2021; originally announced October 2021.

Comments: This paper is to appear in Nonlinear Analisis - TMA

Double Schubert polynomials do have saturated Newton polytopes

Authors: Federico Castillo, Yairon Cid-Ruiz, Fatemeh Mohammadi, Jonathan Montaño

Abstract: We prove that double Schubert polynomials have the Saturated Newton Polytope property. This settles a conjecture by Monical, Tokcan and Yong. Our ideas are motivated by the theory of multidegrees. We introduce a notion of standardization of ideals that enables us to study non-standard multigradings. This allows us to show that the support of the multidegree polynomial of each Cohen-Macaulay prime… ▽ More We prove that double Schubert polynomials have the Saturated Newton Polytope property. This settles a conjecture by Monical, Tokcan and Yong. Our ideas are motivated by the theory of multidegrees. We introduce a notion of standardization of ideals that enables us to study non-standard multigradings. This allows us to show that the support of the multidegree polynomial of each Cohen-Macaulay prime ideal, and in particular, that of each Schubert determinantal ideal is a discrete polymatroid. △ Less

Submitted 9 October, 2023; v1 submitted 21 September, 2021; originally announced September 2021.

Comments: to appear in Forum of Mathematics, Sigma

MSC Class: 13H15; 14M15; 14C17; 52B40

The permuto-associahedron revisited

Authors: Federico Castillo, Fu Liu

Abstract: A classic problem connecting algebraic and geometric combinatorics is the realization problem: given a poset, determine whether there exists a polytope whose face lattice is the poset. In 1990s, Kapranov defined a poset as a hybrid between the face poset of a permutohedron and that of an associahedron, and he asked whether this poset is realizable. Shortly after his question was posed, Reiner and… ▽ More A classic problem connecting algebraic and geometric combinatorics is the realization problem: given a poset, determine whether there exists a polytope whose face lattice is the poset. In 1990s, Kapranov defined a poset as a hybrid between the face poset of a permutohedron and that of an associahedron, and he asked whether this poset is realizable. Shortly after his question was posed, Reiner and Ziegler provided a realization. Based on our previous work on the nested braid fan, we provide in this paper a different realization of Kapranov's poset by constructing the vertex set and the normal fan of a permuto-associahedron simultaneously. △ Less

Submitted 15 February, 2023; v1 submitted 17 September, 2021; originally announced September 2021.

Comments: 33 pages, to appear in European Journal of Combinatorics

MSC Class: 52B05; 05A99

Common tangents to convex bodies

Authors: Federico Castillo, Joseph Doolittle, Jose Alejandro Samper

Abstract: It is well-known since the time of the Greeks that two disjoint circles in the plane have four common tangent lines. Cappell et al. proved a generalization of this fact for properly separated strictly convex bodies in higher dimensions. We have shown that the same generalization applies for arbitrary convex bodies. When the number of convex sets involved is equal to the dimension, we obtain an alt… ▽ More It is well-known since the time of the Greeks that two disjoint circles in the plane have four common tangent lines. Cappell et al. proved a generalization of this fact for properly separated strictly convex bodies in higher dimensions. We have shown that the same generalization applies for arbitrary convex bodies. When the number of convex sets involved is equal to the dimension, we obtain an alternative combinatorial proof of Bisztriczky's theorem on the number of common tangents to $d$ separated convex bodies in $\Rr^d$. △ Less

Submitted 12 July, 2022; v1 submitted 30 August, 2021; originally announced August 2021.

Comments: Comments are welcome

Foundation of one-particle reduced density matrix functional theory for excited states

Authors: Julia Liebert, Federico Castillo, Jean-Philippe Labbé, Christian Schilling

Abstract: In [Phys. Rev. Lett. 127, 023001 (2021)] a reduced density matrix functional theory (RDMFT) has been proposed for calculating energies of selected eigenstates of interacting many-fermion systems. Here, we develop a solid foundation for this so-called $\boldsymbol{w}$-RDMFT and present the details of various derivations. First, we explain how a generalization of the Ritz variational principle to en… ▽ More In [Phys. Rev. Lett. 127, 023001 (2021)] a reduced density matrix functional theory (RDMFT) has been proposed for calculating energies of selected eigenstates of interacting many-fermion systems. Here, we develop a solid foundation for this so-called $\boldsymbol{w}$-RDMFT and present the details of various derivations. First, we explain how a generalization of the Ritz variational principle to ensemble states with fixed weights $\boldsymbol{w}$ in combination with the constrained search would lead to a universal functional of the one-particle reduced density matrix. To turn this into a viable functional theory, however, we also need to implement an exact convex relaxation. This general procedure includes Valone's pioneering work on ground state RDMFT as the special case $\boldsymbol{w}=(1,0,\ldots)$. Then, we work out in a comprehensive manner a methodology for deriving a compact description of the functional's domain. This leads to a hierarchy of generalized exclusion principle constraints which we illustrate in great detail. By anticipating their future pivotal role in functional theories and to keep our work self-contained, several required concepts from convex analysis are introduced and discussed. △ Less

Submitted 5 May, 2022; v1 submitted 7 June, 2021; originally announced June 2021.

Comments: published version; in particular various derivations of the letter arXiv:2106.02560 are provided

Journal ref: J. Chem. Theory Comput. 18, 1, 124 (2022)

An effective solution to convex $1$-body $N$-representability

Authors: Federico Castillo, Jean-Philippe Labbé, Julia Liebert, Arnau Padrol, Eva Philippe, Christian Schilling

Abstract: From a geometric point of view, Pauli's exclusion principle defines a hypersimplex. This convex polytope describes the compatibility of $1$-fermion and $N$-fermion density matrices, therefore it coincides with the convex hull of the pure $N$-representable $1$-fermion density matrices. Consequently, the description of ground state physics through $1$-fermion density matrices may not necessitate the… ▽ More From a geometric point of view, Pauli's exclusion principle defines a hypersimplex. This convex polytope describes the compatibility of $1$-fermion and $N$-fermion density matrices, therefore it coincides with the convex hull of the pure $N$-representable $1$-fermion density matrices. Consequently, the description of ground state physics through $1$-fermion density matrices may not necessitate the intricate pure state generalized Pauli constraints. In this article, we study the generalization of the $1$-body $N$-representability problem to ensemble states with fixed spectrum $\mathbf{w}$, in order to describe finite-temperature states and distinctive mixtures of excited states. By employing ideas from convex analysis and combinatorics, we present a comprehensive solution to the corresponding convex relaxation, thus circumventing the complexity of generalized Pauli constraints. In particular, we adapt and further develop tools such as symmetric polytopes, sweep polytopes, and Gale order. For both fermions and bosons, generalized exclusion principles are discovered, which we determine for any number of particles and dimension of the $1$-particle Hilbert space. These exclusion principles are expressed as linear inequalities satisfying hierarchies determined by the non-zero entries of $\mathbf{w}$. The two families of polytopes resulting from these inequalities are part of the new class of so-called lineup polytopes. △ Less

Submitted 9 June, 2021; v1 submitted 13 May, 2021; originally announced May 2021.

Comments: 59 pages, 17 figures, 3 appendices Version 2: several minor changes and fixes, now the source files include two rst files containing the obtained generalized exclusion principles as linear inequalities

MSC Class: Primary 52B12; Secondary 81V45; 81R05; 81V73; 81V74; 81C99; 47L07; 52A27; 90C25

The Heating and Pulsations of V386 Serpentis after its 2019 Dwarf Nova Outburst

Authors: Paula Szkody, Patrick Godon, Boris T. Gaensicke, Stella Kafka, Odette F. T. Castillo, Keaton J. Bell, P. B. Cho, Edward M. Sion, Praphull Kumar, Dean M. Townsley, Zach Vanderbosch, Karen I. Winget, Claire J. Olde Loohuis

Abstract: Following the pulsation spectrum of a white dwarf through the heating and cooling involved in a dwarf nova outburst cycle provides a unique view of the changes to convective driving that take place on timescales of months versus millenia for non-accreting white dwarfs. In 2019 January the dwarf nova V386 Ser (one of a small number containing an accreting, pulsating white dwarf), underwent a large… ▽ More Following the pulsation spectrum of a white dwarf through the heating and cooling involved in a dwarf nova outburst cycle provides a unique view of the changes to convective driving that take place on timescales of months versus millenia for non-accreting white dwarfs. In 2019 January the dwarf nova V386 Ser (one of a small number containing an accreting, pulsating white dwarf), underwent a large amplitude outburst. Hubble Space Telescope ultraviolet spectra were obtained 7 and 13 months after outburst along with optical ground-based photometry during this interval and high-speed photometry at 5.5 and 17 months after outburst. The resulting spectral and pulsational analysis shows a cooling of the white dwarf from 21,020 K to 18,750 K (with a gravity log(g) = 8.1) between the two UV observations, along with the presence of strong pulsations evident in both UV and optical at a much shorter period after outburst than at quiescence. The pulsation periods consistently lengthened during the year following outburst, in agreement with pulsation theory. However, it remains to be seen if the behavior at longer times past outburst will mimic the unusual non-monotonic cooling and long periods evident in the similar system GW Lib. △ Less

Submitted 29 April, 2021; originally announced April 2021.

Comments: 25 pages, 14 figures, 5 Tables

Hopf monoids of ordered simplicial complexes

Authors: Federico Castillo, Jeremy L. Martin, Jose A. Samper

Abstract: We study pure ordered simplicial complexes (i.e., simplicial complexes with a linear order on their ground sets) from the Hopf-theoretic point of view. We define a \textit{Hopf class} to be a family of pure ordered simplicial complexes that give rise to a Hopf monoid under join and deletion/contraction. The prototypical Hopf class is the family of ordered matroids. The idea of a Hopf class allows… ▽ More We study pure ordered simplicial complexes (i.e., simplicial complexes with a linear order on their ground sets) from the Hopf-theoretic point of view. We define a \textit{Hopf class} to be a family of pure ordered simplicial complexes that give rise to a Hopf monoid under join and deletion/contraction. The prototypical Hopf class is the family of ordered matroids. The idea of a Hopf class allows us to give a systematic study of simplicial complexes related to matroids, including shifted complexes, broken-circuit complexes, and \textit{unbounded matroids} (which arise from unbounded generalized permutohedra with 0/1 coordinates). We compute the antipodes in two cases: \textit{facet-initial complexes} (a much larger class than shifted complexes) and unbounded ordered matroids. In the latter case, we embed the Hopf monoid of ordered matroids into the Hopf monoid of ordered generalized permutohedra, enabling us to compute the antipode using the topological method of Aguiar and Ardila. The calculation is complicated by the appearance of certain auxiliary simplicial complexes that we call \textit{Scrope complexes}, whose Euler characteristics control certain coefficients of the antipode. The resulting antipode formula is multiplicity-free and cancellation-free. △ Less

Submitted 23 November, 2020; originally announced November 2020.

Comments: 57 pages

MSC Class: 05E45; 16T30; 52B12; 52B40

Minkowski summands of cubes

Authors: Federico Castillo, Joseph Doolittle, Bennet Goeckner, Michael S. Ross, Li Ying

Abstract: In pioneering works of Meyer and of McMullen in the early 1970s, the set of Minkowski summands of a polytope was shown to be a polyhedral cone called the type cone. Explicit computations of type cones are in general intractable. Nevertheless, we show that the type cone of the product of simplices is the cone over a simplex. This remarkably simple result derives from insights about rainbow point co… ▽ More In pioneering works of Meyer and of McMullen in the early 1970s, the set of Minkowski summands of a polytope was shown to be a polyhedral cone called the type cone. Explicit computations of type cones are in general intractable. Nevertheless, we show that the type cone of the product of simplices is the cone over a simplex. This remarkably simple result derives from insights about rainbow point configurations and the work of McMullen. △ Less

Submitted 22 April, 2022; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 12 pages, 4 figures. Incorporated referee suggestions, minor edits throughout. This version focuses more on type cones of products of simplices than the previous version. Introduction has been partially rewritten to reflect this change. To appear in the Bulletin of the London Mathematical Society

MSC Class: 52B05; 52B35

TMD factorization for dijet and heavy-meson pair in DIS

Authors: Rafael F. del Castillo, Miguel G. Echevarria, Yiannis Makris, Ignazio Scimemi

Abstract: We study a transverse momentum dependent (TMD) factorization framework for the processes of di-jet and heavy meson pair production in deep-inelastic-scattering in an electron-proton collider, considering the measurement of the transverse momentum imbalance of the two hard probes in the Breit frame. For the factorization theorem we employ soft-collinear and boosted-heavy-quark effective field theor… ▽ More We study a transverse momentum dependent (TMD) factorization framework for the processes of di-jet and heavy meson pair production in deep-inelastic-scattering in an electron-proton collider, considering the measurement of the transverse momentum imbalance of the two hard probes in the Breit frame. For the factorization theorem we employ soft-collinear and boosted-heavy-quark effective field theories. The factorized cross-section for both processes is sensitive to gluon unpolarized and linearly polarized TMD distributions and requires the introduction of a new soft function. We calculate the new soft function here at one loop, regulating rapidity divergences with the $δ$-regulator. In addition, using a factorization consistency relation and a universality argument regarding the heavy-quark jet function, we obtain the anomalous dimension of the new soft function at two loops. △ Less

Submitted 14 December, 2020; v1 submitted 17 August, 2020; originally announced August 2020.

Comments: v4: matches published version in JHEP. v2: typos fixed, extended discussion on kinematic coverage. v1: 31 pages, 3 figures

Two-fluid simulations of the magnetic field evolution in neutron star cores in the weak-coupling regime

Authors: F. Castillo, A. Reisenegger, J. A. Valdivia

Abstract: In a previous paper, we reported simulations of the evolution of the magnetic field in neutron star cores through ambipolar diffusion, taking the neutrons as a motionless uniform background. However, in real neutron stars, neutrons are free to move, and a strong composition gradient leads to stable stratification (stability against convective motions) both of which might impact on the time-scales… ▽ More In a previous paper, we reported simulations of the evolution of the magnetic field in neutron star cores through ambipolar diffusion, taking the neutrons as a motionless uniform background. However, in real neutron stars, neutrons are free to move, and a strong composition gradient leads to stable stratification (stability against convective motions) both of which might impact on the time-scales of evolution. Here we address these issues by providing the first long-term two-fluid simulations of the evolution of an axially symmetric magnetic field in a neutron star core composed of neutrons, protons, and electrons with density and composition gradients. Again, we find that the magnetic field evolves towards barotropic "Grad-Shafranov equilibria", in which the magnetic force is balanced by the degeneracy pressure gradient and gravitational force of the charged particles. However, the evolution is found to be faster than in the case of motionless neutrons, as the movement of charged particles (which are coupled to the magnetic field, but are also limited by the collisional drag forces exerted by neutrons) is less constrained, since neutrons are now allowed to move. The possible impact of non-axisymmetric instabilities on these equilibria, as well as beta decays, proton superconductivity, and neutron superfluidity, are left for future work. △ Less

Submitted 18 August, 2020; v1 submitted 23 June, 2020; originally announced June 2020.

When are multidegrees positive?

Authors: Federico Castillo, Yairon Cid-Ruiz, Binglin Li, Jonathan Montaño, Naizhen Zhang

Abstract: Let $k$ be an arbitrary field, $P = P_k^{m_1} \times_k \cdots \times_k P_k^{m_p}$ be a multiprojective space over $k$, and $X \subseteq P$ be a closed subscheme of $P$. We provide necessary and sufficient conditions for the positivity of the multidegrees of $X$. As a consequence of our methods, we show that when $X$ is irreducible, the support of multidegrees forms a discrete algebraic polymatroid… ▽ More Let $k$ be an arbitrary field, $P = P_k^{m_1} \times_k \cdots \times_k P_k^{m_p}$ be a multiprojective space over $k$, and $X \subseteq P$ be a closed subscheme of $P$. We provide necessary and sufficient conditions for the positivity of the multidegrees of $X$. As a consequence of our methods, we show that when $X$ is irreducible, the support of multidegrees forms a discrete algebraic polymatroid. In algebraic terms, we characterize the positivity of the mixed multiplicities of a standard multigraded algebra over an Artinian local ring, and we apply this to the positivity of mixed multiplicities of ideals. Furthermore, we use our results to recover several results in the literature in the context of combinatorial algebraic geometry. △ Less

Submitted 10 August, 2020; v1 submitted 15 May, 2020; originally announced May 2020.

Comments: This is a generalized and expanded version of arXiv:1612.00154. Final version, to appear in Advances in Mathematics

Hopf monoids of ordered simplicial complexes

Authors: Federico Castillo, Jeremy Martin, Jose Alejandro Samper

Abstract: We study ordered matroids and generalized permutohedra from a Hopf theoretic point of view. Our main object is a Hopf monoid in the vector species of extended generalized permutahedra equipped with an order of the coordinates; this monoid extends the Hopf monoid of generalized permutahedra studied by Aguiar and Ardila. Our formula for the antipode is cancellation-free and multiplicity-free, and is… ▽ More We study ordered matroids and generalized permutohedra from a Hopf theoretic point of view. Our main object is a Hopf monoid in the vector species of extended generalized permutahedra equipped with an order of the coordinates; this monoid extends the Hopf monoid of generalized permutahedra studied by Aguiar and Ardila. Our formula for the antipode is cancellation-free and multiplicity-free, and is supported only on terms that are compatible with the local geometry of the polyhedron. Our result is part of a larger program to understand orderings on ground sets of simplicial complexes (for instance, on shifted and matroid independence complexes). In this vein, we show that shifted simplicial complexes and broken circuit complexes generate Hopf monoids that are expected to exhibit similar behavior. △ Less

Submitted 15 April, 2020; originally announced April 2020.

Comments: This is a FPSAC extended abstract. Full version is coming soon. Comments are welcome

Group actions on twisted sums of Banach spaces

Authors: Jesús M. F. Castillo, Valentin Ferenczi

Abstract: We study bounded actions of groups and semigroups $G$ on exact sequences of Banach spaces from the point of view of quasilinear maps, characterize the actions on the twisted sum space by commutator estimates and introduce the associated notions of $G$-centralizer and $G$-equivariant map. We will show that when (A) $G$ is an amenable group and (U) the target space is complemented in its bidual by a… ▽ More We study bounded actions of groups and semigroups $G$ on exact sequences of Banach spaces from the point of view of quasilinear maps, characterize the actions on the twisted sum space by commutator estimates and introduce the associated notions of $G$-centralizer and $G$-equivariant map. We will show that when (A) $G$ is an amenable group and (U) the target space is complemented in its bidual by a $G$-equivariant projection, then uniformly bounded compatible families of operators generate bounded actions on the twisted sum space; that compatible quasilinear maps are linear perturbations of $G$-centralizers; and that, under (A) and (U), $G$-centralizers are bounded perturbations of $G$-equivariant maps. The previous results are optimal. Several examples and counterexamples are presented involving the action of the isometry group of $L_p(0,1), p\neq 2$ on the Kalton-Peck space $Z_p$, certain non-unitarizable triangular representations of the free group $F_\infty$ on the Hilbert space, the compatibility of complex structures on twisted sums, or bounded actions on the interpolation scale of $L_p$-spaces. In the last section we consider the category of $G$-Banach spaces and study its exact sequences, showing that, under (A) and (U), $G$-splitting and usual splitting coincide. △ Less

Submitted 9 August, 2021; v1 submitted 21 March, 2020; originally announced March 2020.

Comments: 34 pages

MSC Class: 46M18; 46B70; 22A25

Sailing over three problems of Koszmider

Authors: Félix Cabello Sánchez, Jesús M. F. Castillo, Witold Marciszewski, Grzegorz Plebanek, Alberto Salguero-Alarcón

Abstract: We discuss three problems of Koszmider on the structure of the spaces of continuous functions on the Stone compact $K_{\mathcal A}$ generated by an almost disjoint family $\mathcal A$ of infinite subsets of $ω$ -- we present a solution to two problems and develop a previous results of Marciszewski and Pol answering the third one. We will show, in particular, that assuming Martin's axiom the space… ▽ More We discuss three problems of Koszmider on the structure of the spaces of continuous functions on the Stone compact $K_{\mathcal A}$ generated by an almost disjoint family $\mathcal A$ of infinite subsets of $ω$ -- we present a solution to two problems and develop a previous results of Marciszewski and Pol answering the third one. We will show, in particular, that assuming Martin's axiom the space $C(K_{\mathcal A})$ is uniquely determined up to isomorphism by the cardinality of $\mathcal A$ whenever $|{\mathcal A}|<{\mathfrak c}$, while there are $2^{\mathfrak c}$ nonisomorphic spaces $C(K_{\mathcal A})$ with $|{\mathcal A}|= {\mathfrak c}$. We also investigate Koszmider's problems in the context of the class of separable Rosenthal compacta and indicate the meaning of our results in the language of twisted sums of $c_0$ and some $C(K)$ spaces. △ Less

Submitted 7 April, 2020; v1 submitted 16 October, 2019; originally announced October 2019.

Comments: 19 pages; the final version, accepted for publication

MSC Class: 46E15; 03E50; 54G12

Universal disposition is not a 3-space property

Authors: Jesús M. F. Castillo, Manuel González, Marilda A. Simões

Abstract: We prove that (almost) universal disposition and separable universal disposition of Banach spaces are not $3$-space properties. We prove that (almost) universal disposition and separable universal disposition of Banach spaces are not $3$-space properties. △ Less

Submitted 6 October, 2019; originally announced October 2019.

MSC Class: 46M15; 46M18; 46B20

The separable Jung constant in Banach spaces

Authors: Jesús M. F. Castillo, Pierluigi Papini

Abstract: This paper contains a study of the separable form $J_s(\cdot)$ of the classical Jung constant. We first establish, following Davis \cite{davis}, that a Banach space $X$ is $1$-separably injective if and only if $J_s(X)=1$. This characterization is then used for the understanding of new $1$-separably injective spaces. The last section establishes the inequality $\frac{1}{2}K(Y)J_s(X)\leq e(Y,X)$ co… ▽ More This paper contains a study of the separable form $J_s(\cdot)$ of the classical Jung constant. We first establish, following Davis \cite{davis}, that a Banach space $X$ is $1$-separably injective if and only if $J_s(X)=1$. This characterization is then used for the understanding of new $1$-separably injective spaces. The last section establishes the inequality $\frac{1}{2}K(Y)J_s(X)\leq e(Y,X)$ connecting the separable Jung constant, Kottman's constant and the extension constant for Lipschitz maps, which is then used to obtain a simple proof of the equality $K(X,c_0)=e(X,c_0)$ of Kalton and a new characterization of $1$-separable injectivity. △ Less

Submitted 2 May, 2020; v1 submitted 6 October, 2019; originally announced October 2019.

MSC Class: 46B04; 46B20; 46B26; 46M18

The isomorphic Kottman constant of a Banach space

Authors: Jesús M. F. Castillo, Manuel González, Tomasz Kania, Pier Luigi Papini

Abstract: We show that the Kottman constant $K(\cdot)$, together with its symmetric and finite variations, is continuous with respect to the Kadets metric, and they are log-convex, hence continuous, with respect to the interpolation parameter in a complex interpolation schema. Moreover, we show that $K(X)\cdot K(X^*)\geqslant 2$ for every infinite-dimensional Banach space $X$. We also consider the isomorp… ▽ More We show that the Kottman constant $K(\cdot)$, together with its symmetric and finite variations, is continuous with respect to the Kadets metric, and they are log-convex, hence continuous, with respect to the interpolation parameter in a complex interpolation schema. Moreover, we show that $K(X)\cdot K(X^*)\geqslant 2$ for every infinite-dimensional Banach space $X$. We also consider the isomorphic Kottman constant (defined as the infimum of the Kottman constants taken over all renormings of the space) and solve the main problem left open in [CaGoPa17], namely that the isomorphic Kottman constant of a twisted-sum space is the maximum of the constants of the respective summands. Consequently, the Kalton--Peck space may be renormed to have Kottman's constant arbitrarily close to $\sqrt{2}$. For other classical parameters, such as the Whitley and the James constants, we prove the continuity with respect to the Kadets metric. △ Less

Submitted 17 February, 2020; v1 submitted 3 October, 2019; originally announced October 2019.

Comments: 14 pp

MSC Class: 46B03; 46B08; 46B10

On the Todd Class of the Permutohedral variety

Authors: Federico Castillo, Fu Liu

Abstract: In the special case of braid fans, we give a combinatorial formula for the Berline-Vergne's construction for an Euler-Maclaurin type formula that computes number of lattice points in polytopes. Our formula is obtained by computing a symmetric expression for the Todd class of the permutohedral variety. By showing that this formula does not always have positive values, we prove that the Todd class o… ▽ More In the special case of braid fans, we give a combinatorial formula for the Berline-Vergne's construction for an Euler-Maclaurin type formula that computes number of lattice points in polytopes. Our formula is obtained by computing a symmetric expression for the Todd class of the permutohedral variety. By showing that this formula does not always have positive values, we prove that the Todd class of the permutohedral variety $X_d$ is not effective for $d\geq 24$. Additionally, we prove that the linear coefficient in the Ehrhart polynomial of any lattice generalized permutohedron is positive. △ Less

Submitted 11 June, 2020; v1 submitted 19 September, 2019; originally announced September 2019.

Comments: 22 pages, 7 figures

Differential processes generated by two interpolators

Authors: J. M. F. Castillo, W. H. G. Correa, V. Ferenczi, M. González

Abstract: We study couples of interpolators, the differentials they generate and their associated commutator theorems. An essential part of our analysis is the study of the intrinsic symmetries of the process. Since we work without any compatibility or categorical assumption, our results are flexible enough to generalize most known results for commutators or translation operators, in particular those of Cwi… ▽ More We study couples of interpolators, the differentials they generate and their associated commutator theorems. An essential part of our analysis is the study of the intrinsic symmetries of the process. Since we work without any compatibility or categorical assumption, our results are flexible enough to generalize most known results for commutators or translation operators, in particular those of Cwikel, Kalton, Milman, Rochberg \cite{ckmr} for differential methods and those of Carro, Cerdà and Soria \cite{caceso} for compatible interpolators. We also generalize stability and singularity results in \cite{cfg,ccfg,correa} from the complex method to general differential methods and obtain new incomparability results. △ Less

Submitted 24 August, 2019; originally announced August 2019.

MSC Class: 46B70; 46E30; 46M18

Journal ref: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas, 2020