Showing 1–50 of 162 results for author: López, A

Strong duality in infinite convex optimization

Authors: Abderrahim Hantoute, Alexander Y. Kruger, Marco A. López

Abstract: We develop a methodology for closing duality gap and guaranteeing strong duality in infinite convex optimization. Specifically, we examine two new Lagrangian-type dual formulations involving infinitely many dual variables and infinite sums of functions. Unlike the classical Haar duality scheme, these dual problems provide zero duality gap and are solvable under the standard Slater condition. Then… ▽ More We develop a methodology for closing duality gap and guaranteeing strong duality in infinite convex optimization. Specifically, we examine two new Lagrangian-type dual formulations involving infinitely many dual variables and infinite sums of functions. Unlike the classical Haar duality scheme, these dual problems provide zero duality gap and are solvable under the standard Slater condition. Then we derive general optimality conditions/multiplier rules by applying subdifferential rules for infinite sums established in [13]. △ Less

Submitted 5 July, 2025; originally announced July 2025.

Comments: 19 pages, Formerly was part of 2409.00573. arXiv admin note: substantial text overlap with arXiv:2409.00573

Gromov-Witten theory of $\mathsf{Hilb}^n(\mathbb{C}^2)$ and Noether-Lefschetz theory of $\mathcal{A}_g$

Authors: Aitor Iribar Lopez, Rahul Pandharipande, Hsian-Hua Tseng

Abstract: We calculate the genus 1 Gromov-Witten theory of the Hilbert scheme $\mathsf{Hilb}^n(\mathbb{C}^2)$ of points in the plane. The fundamental 1-point invariant (with a divisor insertion) is calculated using a correspondence with the families local curve Gromov-Witten theory over the moduli space $\overline{\mathcal{M}}_{1,1}$. The answer exactly matches a parallel calculation related to the Noether-… ▽ More We calculate the genus 1 Gromov-Witten theory of the Hilbert scheme $\mathsf{Hilb}^n(\mathbb{C}^2)$ of points in the plane. The fundamental 1-point invariant (with a divisor insertion) is calculated using a correspondence with the families local curve Gromov-Witten theory over the moduli space $\overline{\mathcal{M}}_{1,1}$. The answer exactly matches a parallel calculation related to the Noether-Lefschetz geometry of the moduli space $\mathcal{A}_g$ of principally polarized abelian varieties. As a consequence, we prove that the associated cycle classes satisfy a homomorphism property for the projection operator on $\mathsf{CH}^*(\mathcal{A}_g)$. The fundamental 1-point invariant determines the full genus 1 Gromov-Witten theory of $\mathsf{Hilb}^n(\mathbb{C}^2)$ modulo a nondegeneracy conjecture about the quantum cohomology. A table of calculations is given. △ Less

Submitted 14 June, 2025; originally announced June 2025.

Comments: 40 pages

A Combinatorial Study of the Fixed Point Index

Authors: Jesús A. Álvarez López, Alejandro O. Majadas-Moure, David Mosquera-Lois

Abstract: We introduce a theory of integration with respect to the fixed point index, offering a substantial improvement over previous approaches based on the Lefschetz number. This framework eliminates several restrictive assumptions -- such as the need for definability, openness, or f-invariance of subspaces -- thereby allowing broader applicability. We also present a natural combinatorial adaptation of t… ▽ More We introduce a theory of integration with respect to the fixed point index, offering a substantial improvement over previous approaches based on the Lefschetz number. This framework eliminates several restrictive assumptions -- such as the need for definability, openness, or f-invariance of subspaces -- thereby allowing broader applicability. We also present a natural combinatorial adaptation of the fixed point index that extends the combinatorial Lefschetz number. This extension yields new topological and homotopical invariance results and facilitates the integration of real-valued functions with respect to fixed points. △ Less

Submitted 30 May, 2025; originally announced May 2025.

The basic component of the mean curvature of Riemannian foliations

Authors: Jesús A. Álvarez López

Abstract: For a Riemannian foliation $F$ on a compact manifold $M$ with a bundle-like metric, the de Rham complex of $M$ is $C^{\infty}$-splitted as the direct sum of the basic complex and its orthogonal complement. Then the basic component $κ_{b}$ of the mean curvature form of $F$ is closed and defines a class $ξ(F)$ in the basic cohomology that is invariant under any change of the bundle-like metric. More… ▽ More For a Riemannian foliation $F$ on a compact manifold $M$ with a bundle-like metric, the de Rham complex of $M$ is $C^{\infty}$-splitted as the direct sum of the basic complex and its orthogonal complement. Then the basic component $κ_{b}$ of the mean curvature form of $F$ is closed and defines a class $ξ(F)$ in the basic cohomology that is invariant under any change of the bundle-like metric. Moreover, any element in $ξ(F)$ can be realized as the basic component of the mean curvature of some bundle-like metric. It is also proved that $ξ(F)$ vanishes iff there exists some bundle-like metric on $M$ for which the leaves are minimal submanifolds. As a consequence, this tautness property is verified in any of the following cases: (a) when the Ricci curvature of the transverse Riemannian structure is positive, or (b) when $F$ is of codimension one. In particular, a compact manifold with a Riemannian foliation of codimension one has infinite fundamental group. A small correction of a lemma from the original manuscript is included as an addendum, written in collaboration with Ken Richardson. △ Less

Submitted 11 May, 2025; originally announced May 2025.

Comments: An addendum with a small correction is included, written in collaboration with Ken Richardson

MSC Class: 57R30

A lower bound on the Ulrich complexity of hypersurfaces

Authors: Angelo Felice Lopez, Debaditya Raychaudhury

Abstract: We give a lower bound on the Ulrich complexity of hypersurfaces of dimension $n \ge 6$. We give a lower bound on the Ulrich complexity of hypersurfaces of dimension $n \ge 6$. △ Less

Submitted 17 March, 2025; originally announced March 2025.

Almost All Transverse-Free Plane Curves Are Trivially Transverse-Free

Authors: Alejandro Lopez, Bella Villarreal, Ren Watson, Jaedon Whyte

Abstract: Call a curve $C \subset \mathbb{P}^2$ defined over $\mathbb{F}_q$ transverse-free if every line over $\mathbb{F}_q$ intersects $C$ at some closed point with multiplicity at least 2. In 2004, Poonen used a notion of density to treat Bertini Theorems over finite fields. In this paper we develop methods for density computation and apply them to estimate the density of the set of polynomials defining… ▽ More Call a curve $C \subset \mathbb{P}^2$ defined over $\mathbb{F}_q$ transverse-free if every line over $\mathbb{F}_q$ intersects $C$ at some closed point with multiplicity at least 2. In 2004, Poonen used a notion of density to treat Bertini Theorems over finite fields. In this paper we develop methods for density computation and apply them to estimate the density of the set of polynomials defining transverse-free curves. In order to do so, we use a combinatorial approach based on blocking sets of $\operatorname{PG}(2, q)$ and prove an upper bound on the number of such sets of fixed size $< 2q$. We thus obtain that nearly all transverse-free curves contain singularities at every $\mathbb{F}_q$-point of some line. △ Less

Submitted 1 February, 2025; originally announced February 2025.

Comments: 21 pages, no figures

MSC Class: 11G20; 51E20; 51E21

Noether-Lefschetz cycles on the moduli space of abelian varieties

Authors: Aitor Iribar Lopez

Abstract: The locus of non-simple abelian varieties in the moduli space of principally polarized abelian varieties gives rise to Noether-Lefschetz cycles. We study their intersection theoretic properties using the tautological projection constructed in [CMOP24], and show that projection defines a homomorphism when restricted to cycles supported on that locus. Using Hecke correspondences and the pullback by… ▽ More The locus of non-simple abelian varieties in the moduli space of principally polarized abelian varieties gives rise to Noether-Lefschetz cycles. We study their intersection theoretic properties using the tautological projection constructed in [CMOP24], and show that projection defines a homomorphism when restricted to cycles supported on that locus. Using Hecke correspondences and the pullback by Torelli we prove that $[\mathcal {A}_1 \times \mathcal A_{g-1}]$ is not tautological in the sense of [vdG99] for $g=12$ and $g\geq 16$ even. We also explore the connections between Noether-Lefschetz cycles and the Gromov-Witten theory of a moving elliptic curve. △ Less

Submitted 14 November, 2024; originally announced November 2024.

Comments: 32 pages

MSC Class: 14K10 (Primary) 14C17 (Secondary)

Regularized determinant formulas for the zeta functions of 3-dimensional Riemannian foliated dynamical systems

Authors: Jesús A. Álvarez López, Junhyeong Kim, Masanori Morishita

Abstract: We prove a regularized determinant formula for the zeta functions of certain 3-dimensional Riemannian foliated dynamical systems, in terms of the infinitesimal operator induced by the flow acting on the reduced leafwise cohomologies. It is the formula conjectured by Deninger. The proof is based on relating the dynamical spectral $ξ$-functions, analogues of the $ξ$-function in analytic number theor… ▽ More We prove a regularized determinant formula for the zeta functions of certain 3-dimensional Riemannian foliated dynamical systems, in terms of the infinitesimal operator induced by the flow acting on the reduced leafwise cohomologies. It is the formula conjectured by Deninger. The proof is based on relating the dynamical spectral $ξ$-functions, analogues of the $ξ$-function in analytic number theory, with the zeta function, by applying the distributional dynamical Lefschetz trace formula. △ Less

Submitted 28 October, 2024; originally announced October 2024.

MSC Class: 37C25; 37C30; 53C12

Convex regularization and subdifferential calculus

Authors: Rafael Correa, Abderrahim Hantoute, Marco A. López

Abstract: This paper deals with the regularization of the sum of functions defined on a locally convex spaces through their closed-convex hulls in the bidual space. Different conditions guaranteeing that the closed-convex hull of the sum is the sum of the corresponding closed-convex hulls are provided. These conditions are expressed in terms of some epsilon-subdifferential calculus rules for the sum. The ca… ▽ More This paper deals with the regularization of the sum of functions defined on a locally convex spaces through their closed-convex hulls in the bidual space. Different conditions guaranteeing that the closed-convex hull of the sum is the sum of the corresponding closed-convex hulls are provided. These conditions are expressed in terms of some epsilon-subdifferential calculus rules for the sum. The case of convex functions is also studied, and exact calculus rules are given under additional continuity/qualifications conditions. As an illustration, a variant of the proof of the classical Rockafellar theorem on convex integration is proposed. △ Less

Submitted 9 October, 2024; v1 submitted 2 October, 2024; originally announced October 2024.

MSC Class: Mathematics Subject Classification (2020): 49J45; 49J52; 49J53; 49N15

The Euler characteristic of $\mathcal A_g$ via Hodge integrals

Authors: Aitor Iribar Lopez

Abstract: We prove the Harder-Siegel formula for the Euler characteristic of $\mathcal{A}_g$ via the intersection theory of $\overline{\mathcal{M}}_g$ and a vanishing result for lambda classes on the boundary of the toroidal compactifications of $\mathcal{A}_g$, recently proven by Canning, Molcho, Oprea and Pandharipande. We prove the Harder-Siegel formula for the Euler characteristic of $\mathcal{A}_g$ via the intersection theory of $\overline{\mathcal{M}}_g$ and a vanishing result for lambda classes on the boundary of the toroidal compactifications of $\mathcal{A}_g$, recently proven by Canning, Molcho, Oprea and Pandharipande. △ Less

Submitted 30 September, 2024; originally announced October 2024.

Comments: 9 pages, 1 figure

MSC Class: 14C17 (primary) 14K10; 14N35 (secondary)

Higher-dimensional Willmore energy as holographic entanglement entropy

Authors: Giorgos Anastasiou, Ignacio J. Araya, Pablo Bueno, Javier Moreno, Rodrigo Olea, Alejandro Vilar Lopez

Abstract: The vacuum entanglement entropy of a general conformal field theory (CFT) in $d=5$ spacetime dimensions contains a universal term, $F(A)$, which has a complicated and non-local dependence on the geometric details of the region $A$ and the theory. Analogously to the previously known $d=3$ case, we prove that for CFTs in $d=5$ which are holographically dual to Einstein gravity, $F(A)$ is equal to a… ▽ More The vacuum entanglement entropy of a general conformal field theory (CFT) in $d=5$ spacetime dimensions contains a universal term, $F(A)$, which has a complicated and non-local dependence on the geometric details of the region $A$ and the theory. Analogously to the previously known $d=3$ case, we prove that for CFTs in $d=5$ which are holographically dual to Einstein gravity, $F(A)$ is equal to a four-dimensional version of the ``Willmore energy'' associated to a doubled and closed version of the Ryu-Takayanagi (RT) surface of $A$ embedded in $\mathbb{R}^5$. This generalized Willmore energy is shown to arise from a conformal-invariant codimension-two functional obtained by evaluating six-dimensional Conformal Gravity on the conically-singular orbifold of the replica trick. The new functional involves an integral over the doubled RT surface of a linear combination of three quartic terms in extrinsic curvatures and is free from ultraviolet divergences by construction. We verify explicitly the validity of our new formula for various entangling regions and argue that, as opposed to the $d=3$ case, $F(A)$ is not globally minimized by a round ball $A=\mathbb{B}^4$. Rather, $F(A)$ can take arbitrarily positive and negative values as a function of $A$. Hence, we conclude that the round ball is not a global minimizer of $F(A)$ for general five-dimensional CFTs. △ Less

Submitted 30 December, 2024; v1 submitted 28 September, 2024; originally announced September 2024.

Comments: 48 pages, 5 figures; v2: typos fixed, references added. Version to appear in JHEP

Optimality conditions and subdifferential calculus for infinite sums of functions

Authors: Abderrahim Hantoute, Alexander Y. Kruger, Marco A. Lopez

Abstract: The paper extends the widely used in optimisation theory decoupling techniques to infinite collections of functions. Extended concepts of uniform lower semicontinuity and firm uniform lower semicontinuity are discussed. The main theorems give fuzzy subdifferential necessary conditions (multiplier rules) for a local minimum of the sum of an infinite collection of functions and fuzzy subdifferential… ▽ More The paper extends the widely used in optimisation theory decoupling techniques to infinite collections of functions. Extended concepts of uniform lower semicontinuity and firm uniform lower semicontinuity are discussed. The main theorems give fuzzy subdifferential necessary conditions (multiplier rules) for a local minimum of the sum of an infinite collection of functions and fuzzy subdifferential sum rules without the traditional Lipschitz continuity assumptions. More subtle "quasi" versions of the uniform infimum and uniform lower semicontinuity properties are also discussed. △ Less

Submitted 19 June, 2025; v1 submitted 31 August, 2024; originally announced September 2024.

Comments: 27 pages The last section has been removed. It will be submitted as a separate paper

Neural Network-Based Bandit: A Medium Access Control for the IIoT Alarm Scenario

Authors: Prasoon Raghuwanshi, Onel Luis Alcaraz López, Neelesh B. Mehta, Hirley Alves, Matti Latva-aho

Abstract: Efficient Random Access (RA) is critical for enabling reliable communication in Industrial Internet of Things (IIoT) networks. Herein, we propose a deep reinforcement learning based distributed RA scheme, entitled Neural Network-Based Bandit (NNBB), for the IIoT alarm scenario. In such a scenario, the devices may detect a common critical event, and the goal is to ensure the alarm information is de… ▽ More Efficient Random Access (RA) is critical for enabling reliable communication in Industrial Internet of Things (IIoT) networks. Herein, we propose a deep reinforcement learning based distributed RA scheme, entitled Neural Network-Based Bandit (NNBB), for the IIoT alarm scenario. In such a scenario, the devices may detect a common critical event, and the goal is to ensure the alarm information is delivered successfully from at least one device. The proposed NNBB scheme is implemented at each device, where it trains itself online and establishes implicit inter-device coordination to achieve the common goal. Devices can transmit simultaneously on multiple orthogonal channels and each possible transmission pattern constitutes a possible action for the NNBB, which uses a deep neural network to determine the action. Our simulation results show that as the number of devices in the network increases, so does the performance gain of the NNBB compared to the Multi-Armed Bandit (MAB) RA benchmark. For instance, NNBB experiences a 7% success rate drop when there are four channels and the number of devices increases from 10 to 60, while MAB faces a 25% drop. △ Less

Submitted 22 November, 2024; v1 submitted 23 July, 2024; originally announced July 2024.

Closed bounded sets in 1-h-minimal valued fields

Authors: Juan Pablo Acosta López

Abstract: We show that the 1-h-minimal fields satisfy a property of naive compactness for decreasing definable families of closed bounded sets indexed by the value group. We use this to prove that a local topological definable group has a definable family of neighborhoods of the identity consisting of open subgroups. We show that the 1-h-minimal fields satisfy a property of naive compactness for decreasing definable families of closed bounded sets indexed by the value group. We use this to prove that a local topological definable group has a definable family of neighborhoods of the identity consisting of open subgroups. △ Less

Submitted 13 June, 2024; originally announced June 2024.

MSC Class: 03C07

Non-existence of low rank Ulrich bundles on Veronese varieties

Authors: Angelo Felice Lopez, Debaditya Raychaudhury

Abstract: We show that Veronese varieties of dimension $n \ge 4$ do not carry any Ulrich bundles of rank $r \le 3$. In order to prove this, we prove that a Veronese embedding of a complete intersection of dimension $m \ge 4$, which if $m=4$ is either $\mathbb P^4$ or has degree $d \ge 2$ and is very general and not of type $(2), (2,2)$, does not carry any Ulrich bundles of rank $r \le 3$. We show that Veronese varieties of dimension $n \ge 4$ do not carry any Ulrich bundles of rank $r \le 3$. In order to prove this, we prove that a Veronese embedding of a complete intersection of dimension $m \ge 4$, which if $m=4$ is either $\mathbb P^4$ or has degree $d \ge 2$ and is very general and not of type $(2), (2,2)$, does not carry any Ulrich bundles of rank $r \le 3$. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: arXiv admin note: text overlap with arXiv:2405.01154

The integral Chow ring of $\mathcal{R}_2$

Authors: Alessio Cela, Aitor Iribar Lopez

Abstract: In this paper we compute the integral Chow ring of the moduli stack $\mathcal{R}_2$ of Prym pairs of genus 2 with integral coefficients. In this paper we compute the integral Chow ring of the moduli stack $\mathcal{R}_2$ of Prym pairs of genus 2 with integral coefficients. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Comments: 24 pages. Comments are welcome

Ulrich subvarieties and the non-existence of low rank Ulrich bundles on complete intersections

Authors: Angelo Felice Lopez, Debaditya Raychaudhury

Abstract: We characterize the existence of an Ulrich vector bundle on a variety $X \subset P^N$ in terms of the existence of a subvariety satisfying some precise conditions. Then we use this fact to prove that a complete intersection of dimension $n \ge 4$, which if $n=4$ is very general and not of type $(2,2)$, does not carry any Ulrich bundles of rank $r \le 3$ unless $n=4, r=2$ and $X$ is a quadric. We characterize the existence of an Ulrich vector bundle on a variety $X \subset P^N$ in terms of the existence of a subvariety satisfying some precise conditions. Then we use this fact to prove that a complete intersection of dimension $n \ge 4$, which if $n=4$ is very general and not of type $(2,2)$, does not carry any Ulrich bundles of rank $r \le 3$ unless $n=4, r=2$ and $X$ is a quadric. △ Less

Submitted 15 November, 2024; v1 submitted 2 May, 2024; originally announced May 2024.

Comments: v2: added link to a file with the Mathematica codes used to perform the calculations; v3: slightly improved statement and proof of Cor.1 (now sharp), updated some reference; v4: replaced a reference used in the proof of Thm. 1

An efficient algorithm for identifying rainbow ortho-convex 4-sets in k-colored point sets

Authors: David Flores-Peñaloza, Mario A. Lopez, Nestaly Marín, David Orden

Abstract: Let $P$ be a $k$-colored set of $n$ points in the plane, $4 \leq k \leq n$. We study the problem of deciding if $P$ contains a subset of four points of different colors such that its Rectilinear Convex Hull has positive area. We show this problem to be equivalent to deciding if there exists a point $c$ in the plane such that each of the open quadrants defined by $c$ contains a point of $P$, each o… ▽ More Let $P$ be a $k$-colored set of $n$ points in the plane, $4 \leq k \leq n$. We study the problem of deciding if $P$ contains a subset of four points of different colors such that its Rectilinear Convex Hull has positive area. We show this problem to be equivalent to deciding if there exists a point $c$ in the plane such that each of the open quadrants defined by $c$ contains a point of $P$, each of them having a different color. We provide an $O(n \log n)$-time algorithm for this problem, where the hidden constant does not depend on $k$; then, we prove that this problem has time complexity $Ω(n \log n)$ in the algebraic computation tree model. No general position assumptions for $P$ are required. △ Less

Submitted 20 December, 2024; v1 submitted 9 April, 2024; originally announced April 2024.

Comments: 17 pages, 4 figures, accepted version

MSC Class: 68U05 (Primary); 68R05 (Secondary) ACM Class: G.2.1; F.2.2

Journal ref: Information Processing Letters 189 (2025) 106551

A Complete Congruence System for the Erdos-Straus Conjecture

Authors: Miguel Angel Lopez

Abstract: In this paper we attack the Erdos-Straus conjecture by means of the structure of its solutions, extending and improving the results of a previous paper. Using previous results and supported by the works of Elsholtz and Tao and Monks and Velingker we define a system of congruences for which there are always solutions to the Erdos-Straus conjecture and which we conjecture to include all prime number… ▽ More In this paper we attack the Erdos-Straus conjecture by means of the structure of its solutions, extending and improving the results of a previous paper. Using previous results and supported by the works of Elsholtz and Tao and Monks and Velingker we define a system of congruences for which there are always solutions to the Erdos-Straus conjecture and which we conjecture to include all prime numbers. For this purpose, and always taking into account a result due to Mordell that limits the congruences admitting polynomial identities to those that are not quadratic residues, we will adopt a transversal approach and classify the solutions by their form and not by those congruences that produce them. Thus we define two new types of solutions, which we call Type A and B, and relate them to the already known Type II solutions and study their properties. Finally we conjecture that every prime number has at least one solution of Type A or B and we associate a congruence and a general polynomial to each Type of solution. △ Less

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

Comments: 19 pages

MSC Class: 11D72; 11A07; 11A41

On partially ample Ulrich bundles

Authors: Angelo Felice Lopez, Debaditya Raychaudhury

Abstract: We characterize $q$-ample Ulrich bundles on a variety $X \subseteq \mathbb P^N$ with respect to $(q+1)$-dimensional linear spaces contained in $X$. We characterize $q$-ample Ulrich bundles on a variety $X \subseteq \mathbb P^N$ with respect to $(q+1)$-dimensional linear spaces contained in $X$. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Generalized tableaux over arbitrary digraphs and their associated differential equations

Authors: Luis Martínez, Antonio Vera López, Antonio Vera Pérez, Beatriz Vera Pérez, Olga Basova

Abstract: We revisit the concepts of acyclic orderings and number of acyclic orderings of acyclic digraphs in terms of dispositions and counters for arbitrary multidigraphs. We prove that when we add a sequence of nested directed paths to a directed graph there is a unique polynomial such that the generatrix function of the family of counters is the product of the polynomial and the exponential function. We… ▽ More We revisit the concepts of acyclic orderings and number of acyclic orderings of acyclic digraphs in terms of dispositions and counters for arbitrary multidigraphs. We prove that when we add a sequence of nested directed paths to a directed graph there is a unique polynomial such that the generatrix function of the family of counters is the product of the polynomial and the exponential function. We give an application, by considering a kind of digraphs arranged in rows introduced by the authors in a previous paper, called dispositional digraphs, in the particular case in which the digraph has two rows, to obtain new families of linear differential equations of small order whose coefficients are polynomials of small degree which admit polynomial solutions. In particular, we obtain a new differential equation associated to Catalan numbers, and the corresponding associated polynomials, which are solution of this differential equation; we term them Catalan differencial equation and Catalan polynomials, respectively. We prove that the Catalan polynomials obtained when we connect the directed path to the second vertex of the lower row of the digraph are orthogonal polynomials for an appropriate weight function. We characterize the digraphs that maximize the counter of connected dispositional digraphs and we find a new differential equation associated to these digraphs. We introduce also dispositions and counters in any multidigraph with non-strict inequalities in the dispositions, and we find new differential equations associated to some of them. △ Less

Submitted 20 February, 2024; originally announced February 2024.

On the convergence of Block Majorization-Minimization algorithms on the Grassmann Manifold

Authors: Carlos Alejandro Lopez, Jaume Riba

Abstract: The Majorization-Minimization (MM) framework is widely used to derive efficient algorithms for specific problems that require the optimization of a cost function (which can be convex or not). It is based on a sequential optimization of a surrogate function over closed convex sets. A natural extension of this framework incorporates ideas of Block Coordinate Descent (BCD) algorithms into the MM fram… ▽ More The Majorization-Minimization (MM) framework is widely used to derive efficient algorithms for specific problems that require the optimization of a cost function (which can be convex or not). It is based on a sequential optimization of a surrogate function over closed convex sets. A natural extension of this framework incorporates ideas of Block Coordinate Descent (BCD) algorithms into the MM framework, also known as block MM. The rationale behind the block extension is to partition the optimization variables into several independent blocks, to obtain a surrogate for each block, and to optimize the surrogate of each block cyclically. The advantage of the block MM is that the construction and successive optimization of the surrogate functions is potentially easier than with the non-block alternative. The purpose of this letter is to exploit the geometrical properties of the Grassmann manifold (a non-convex set) for the purpose of extending classical convergence proofs of the block MM when at least one of the blocks is constrained in this manifold. △ Less

Submitted 5 May, 2024; v1 submitted 15 February, 2024; originally announced February 2024.

Comments: This work has been accepted to the IEEE Signal Processing letters. The IEEE is the copyright holder of this manuscript

Journal ref: 10.1109/LSP.2024.3396660

A trace formula for foliated flows

Authors: Jesús A. Álvarez López, Yuri A. Kordyukov, Eric Leichtnam

Abstract: Let $F$ be a transversely oriented foliation of codimension 1 on a closed manifold $M$, and let $φ=\{φ^t\}$ be a foliated flow on $(M,F)$. Assume the closed orbits of $φ$ are simple and its preserved leaves are transversely simple. In this case, there are finitely many preserved leaves, which are compact. Let $M^0$ denote their union, $M^1=M\setminus M^0$ and $F^1=F|_{M^1}$. We consider two topolo… ▽ More Let $F$ be a transversely oriented foliation of codimension 1 on a closed manifold $M$, and let $φ=\{φ^t\}$ be a foliated flow on $(M,F)$. Assume the closed orbits of $φ$ are simple and its preserved leaves are transversely simple. In this case, there are finitely many preserved leaves, which are compact. Let $M^0$ denote their union, $M^1=M\setminus M^0$ and $F^1=F|_{M^1}$. We consider two topological vector spaces, $I(F)$ and $I'(F)$, consisting of the leafwise currents on $M$ that are conormal and dual-conormal to $M^0$, respectively. They become topological complexes with the differential operator $d_{F}$ induced by the de~Rham derivative on the leaves, and they have an $\mathbb{R}$-action $φ^*=\{φ^{t\,*}\}$ induced by $φ$. Let $\bar H^\bullet I(F)$ and $\bar H^\bullet I'(F)$ denote the corresponding leafwise reduced cohomologies, with the induced $\mathbb{R}$-action $φ^*=\{φ^{t\,*}\}$. We define some kind of Lefschetz distribution $L_{\text{\rm dis}}(φ)$ of the actions $φ^*$ on both $\bar H^\bullet I(F)$ and $\bar H^\bullet I'(F)$, whose value is a distribution on $\mathbb{R}$. Its definition involves several renormalization procedures, the main one being the b-trace of some smoothing b-pseudodifferential operator on the compact manifold with boundary obtained by cutting $M$ along $M^0$. We also prove a trace formula describing $L_{\text{\rm dis}}(φ)$ in terms of infinitesimal data from the closed orbits and preserved leaves. This solves a conjecture of C.~Deninger involving two leafwise reduced cohomologies instead of a single one. △ Less

Submitted 13 February, 2024; v1 submitted 7 February, 2024; originally announced February 2024.

Comments: 176 pages

MSC Class: 58A14; 58G11; 57R30

Channel Scheduling for IoT Access with Spatial Correlation

Authors: Prasoon Raghuwanshi, Onel Luis Alcaraz López, Petar Popovski, Matti Latva-aho

Abstract: Spatially correlated device activation is a typical feature of the Internet of Things (IoT). This motivates the development of channel scheduling (CS) methods that mitigate device collisions efficiently in such scenarios, which constitutes the scope of this work. Specifically, we present a quadratic program (QP) formulation for the CS problem considering the joint activation probabilities among de… ▽ More Spatially correlated device activation is a typical feature of the Internet of Things (IoT). This motivates the development of channel scheduling (CS) methods that mitigate device collisions efficiently in such scenarios, which constitutes the scope of this work. Specifically, we present a quadratic program (QP) formulation for the CS problem considering the joint activation probabilities among devices. This formulation allows the devices to stochastically select the transmit channels, thus, leading to a soft-clustering approach. We prove that the optimal QP solution can only be attained when it is transformed into a hard-clustering problem, leading to a pure integer QP, which we transform into a pure integer linear program (PILP). We leverage the branch-and-cut (B&C) algorithm to solve PILP optimally. Due to the high computational cost of B&C, we resort to some sub-optimal clustering methods with low computational costs to tackle the clustering problem in CS. Our findings demonstrate that the CS strategy, sourced from B&C, significantly outperforms those derived from sub-optimal clustering methods, even amidst increased device correlation. △ Less

Submitted 17 November, 2023; originally announced December 2023.

A positional statistic for 1324-avoiding permutations

Authors: Juan B. Gil, Oscar A. Lopez, Michael D. Weiner

Abstract: We consider the class $S_n(1324)$ of permutations of size $n$ that avoid the pattern 1324 and examine the subset $S_n^{a\prec n}(1324)$ of elements for which $a\prec n\prec [a-1]$, $a\ge 1$. This notation means that, when written in one line notation, such a permutation must have $a$ to the left of $n$, and the elements of $\{1,\dots,a-1\}$ must all be to the right of $n$. For $n\ge 2$, we establi… ▽ More We consider the class $S_n(1324)$ of permutations of size $n$ that avoid the pattern 1324 and examine the subset $S_n^{a\prec n}(1324)$ of elements for which $a\prec n\prec [a-1]$, $a\ge 1$. This notation means that, when written in one line notation, such a permutation must have $a$ to the left of $n$, and the elements of $\{1,\dots,a-1\}$ must all be to the right of $n$. For $n\ge 2$, we establish a connection between the subset of permutations in $S_n^{1\prec n}(1324)$ having the 1 adjacent to the $n$ (called primitives), and the set of 1324-avoiding dominoes with $n-2$ points. For $a\in\{1,2\}$, we introduce constructive algorithms and give formulas for the enumeration of $S_n^{a\prec n}(1324)$ by the position of $a$ relative to the position of $n$. For $a\ge 3$, we formulate some conjectures for the corresponding generating functions. △ Less

Submitted 2 October, 2024; v1 submitted 29 November, 2023; originally announced November 2023.

Comments: 10 pages. Final version

MSC Class: 05A05

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 26:1, Permutation Patterns 2023, Special issues (November 4, 2024) dmtcs:12629

Genus 0 logarithmic and tropical fixed-domain counts for Hirzebruch surfaces

Authors: Alessio Cela, Aitor Iribar Lopez

Abstract: For a non-singular projective toric variety $X$, the virtual logarithmic Tevelev degrees are defined as the virtual degree of the morphism from the moduli stack of logarithmic stable maps $\overline{\mathcal{M}}_{\mathsfΓ}(X)$ to the product $\overline{\mathcal{M}}_{g,n} \times X^n$. In this paper, after proving the genus $0$ correspondence theorem in this setting, we use tropical methods to provi… ▽ More For a non-singular projective toric variety $X$, the virtual logarithmic Tevelev degrees are defined as the virtual degree of the morphism from the moduli stack of logarithmic stable maps $\overline{\mathcal{M}}_{\mathsfΓ}(X)$ to the product $\overline{\mathcal{M}}_{g,n} \times X^n$. In this paper, after proving the genus $0$ correspondence theorem in this setting, we use tropical methods to provide closed formulas for the case in which $X$ is a Hirzebruch surface. In order to do so, we explicitly list all the tropical curves contributing to the count. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: 24 pages

Discriminatory or Samaritan -- which AI is needed for humanity? An Evolutionary Game Theory Analysis of Hybrid Human-AI populations

Authors: Tim Booker, Manuel Miranda, Jesús A. Moreno López, José María Ramos Fernández, Max Reddel, Valeria Widler, Filippo Zimmaro, Alberto Antonioni, The Anh Han

Abstract: As artificial intelligence (AI) systems are increasingly embedded in our lives, their presence leads to interactions that shape our behaviour, decision-making, and social interactions. Existing theoretical research has primarily focused on human-to-human interactions, overlooking the unique dynamics triggered by the presence of AI. In this paper, resorting to methods from evolutionary game theory,… ▽ More As artificial intelligence (AI) systems are increasingly embedded in our lives, their presence leads to interactions that shape our behaviour, decision-making, and social interactions. Existing theoretical research has primarily focused on human-to-human interactions, overlooking the unique dynamics triggered by the presence of AI. In this paper, resorting to methods from evolutionary game theory, we study how different forms of AI influence the evolution of cooperation in a human population playing the one-shot Prisoner's Dilemma game in both well-mixed and structured populations. We found that Samaritan AI agents that help everyone unconditionally, including defectors, can promote higher levels of cooperation in humans than Discriminatory AI that only help those considered worthy/cooperative, especially in slow-moving societies where change is viewed with caution or resistance (small intensities of selection). Intuitively, in fast-moving societies (high intensities of selection), Discriminatory AIs promote higher levels of cooperation than Samaritan AIs. △ Less

Submitted 3 July, 2023; v1 submitted 30 June, 2023; originally announced June 2023.

Comments: This work is the result of the Complexity72h 2023 workshop

Replicable functions arising from code-lattice VOAs fixed by automorphisms

Authors: Lea Beneish, Jennifer Berg, Eva Goedhart, Hussain M. Kadhem, Allechar Serrano López, Stephanie Treneer

Abstract: We ascertain properties of the algebraic structures in towers of codes, lattices, and vertex operator algebras (VOAs) by studying the associated subobjects fixed by lifts of code automorphisms. In the case of sublattices fixed by subgroups of code automorphisms, we identify replicable functions that occur as quotients of the associated theta functions by suitable eta products. We show that these l… ▽ More We ascertain properties of the algebraic structures in towers of codes, lattices, and vertex operator algebras (VOAs) by studying the associated subobjects fixed by lifts of code automorphisms. In the case of sublattices fixed by subgroups of code automorphisms, we identify replicable functions that occur as quotients of the associated theta functions by suitable eta products. We show that these lattice theta quotients can produce replicable functions not associated to any individual automorphisms. Moreover, we show that the structure of the fixed subcode can induce certain replicable lattice theta quotients and we provide a general code theoretic characterization of order doubling for lifts of code automorphisms to the lattice-VOA. Finally, we prove results on the decompositions of characters of fixed subVOAs. △ Less

Submitted 27 June, 2023; originally announced June 2023.

Comments: 38 pages, comments welcome!

On varieties with Ulrich twisted conormal bundles

Authors: Vincenzo Antonelli, Gianfranco Casnati, Angelo Felice Lopez, Debaditya Raychaudhury

Abstract: We study varieties $X \subset P^r$ such that is $N_X^*(k)$ is an Ulrich vector bundle for some integer $k$. We first prove that such an $X$ must be a curve. Then we give several examples of curves with $N_X^*(k)$ an Ulrich vector bundle. We study varieties $X \subset P^r$ such that is $N_X^*(k)$ is an Ulrich vector bundle for some integer $k$. We first prove that such an $X$ must be a curve. Then we give several examples of curves with $N_X^*(k)$ an Ulrich vector bundle. △ Less

Submitted 10 June, 2024; v1 submitted 31 May, 2023; originally announced June 2023.

Comments: v2: we specified the results that hold in characteristic zero and the ones holding in any characteristic. Thanks to crucial remarks of anonymous referee, we improved Theorem 3(ii) to $g \ge 3$ and we rewrote completely and shortened section 8 by using interpolation techniques

Topology of the space of conormal distributions

Authors: Jesús A. Álvarez López, Yuri A. Kordyukov, Eric Leichtnam

Abstract: Given a closed manifold $M$ and a closed regular submanifold $L$, consider the corresponding locally convex space $I=I(M,L)$ of conormal distributions, with its natural topology, and the strong dual $I'=I'(M,L)=I(M,L;Ω)'$ of the space of conormal densities. It is shown that $I$ is a barreled, ultrabornological, webbed, Montel, acyclic LF-space, and $I'$ is a complete Montel space, which is a proje… ▽ More Given a closed manifold $M$ and a closed regular submanifold $L$, consider the corresponding locally convex space $I=I(M,L)$ of conormal distributions, with its natural topology, and the strong dual $I'=I'(M,L)=I(M,L;Ω)'$ of the space of conormal densities. It is shown that $I$ is a barreled, ultrabornological, webbed, Montel, acyclic LF-space, and $I'$ is a complete Montel space, which is a projective limit of bornological barreled spaces. In the case of codimension one, similar properties and additional descriptions are proved for the subspace $K\subset I$ of conormal distributions supported in $L$ and for its strong dual $K'$. We construct a locally convex Hausdoff space $J$ and a continuous linear map $I\to J$ such that the sequence $0\to K\to I\to J\to 0$ as well as the transpose sequence $0\to J'\to I'\to K'\to 0$ are short exact sequences in the category of continuous linear maps between locally convex spaces. Finally, it is shown that $I\cap I'=C^\infty(M)$ in the space of distributions. In another publication, these results are applied to prove a Lefschetz trace formula for a simple foliated flow $φ=\{φ^t\}$ on a compact foliated manifold $(M,F)$. It describes a Lefschetz distribution $L_{\text{\rm dis}}(φ)$ defined by the induced action $φ^*=\{φ^{t\,*}\}$ on the reduced cohomologies $\bar H^\bullet I(F)$ and $\bar H^\bullet I'(F)$ of the complexes of leafwise currents that are conormal and dual-conormal at the leaves preserved by $φ$. △ Less

Submitted 1 June, 2024; v1 submitted 3 April, 2023; originally announced April 2023.

Comments: 55 pages, index of notation

MSC Class: 46F05; 46A13; 46M40

On the Shadowableness of Flows With Hyperbolic Singularities

Authors: Alexander Arbieto, Andrés M. López, Elias Rego, Yeison Sánchez

Abstract: In this work we study the existence of singular flows satisfying shadowing-like properties. More precisely, we prove that if C1 -vector field on a closed manifold induces a chain-recurrent flow containing an attached hyperbolic singularity of stable or unstable index-one, then this flow cannot satisfy the shadowing property. If the manifold is non-compact, the vector field is complete and non-wand… ▽ More In this work we study the existence of singular flows satisfying shadowing-like properties. More precisely, we prove that if C1 -vector field on a closed manifold induces a chain-recurrent flow containing an attached hyperbolic singularity of stable or unstable index-one, then this flow cannot satisfy the shadowing property. If the manifold is non-compact, the vector field is complete and non-wandering, we prove that we prove that the existence of index-one hyperbolic singularities prevents the induced flow to satisfy the rescaled-shadowing property introduced in [6]. △ Less

Submitted 10 March, 2023; originally announced March 2023.

Comments: 18 pages, 3 figures

MSC Class: Primary MSC code 37C10; Secondary MSC code 37C50

On varieties with Ulrich twisted tangent bundles

Authors: Angelo Felice Lopez, Debaditya Raychaudhury

Abstract: We study varieties $X \subseteq \mathbb P^N$ of dimension $n$ such that $T_X(k)$ is an Ulrich vector bundle for some $k \in \mathbb Z$. First we give a sharp bound for $k$ in the case of curves. Then we show that $k \le n+1$ if $2 \le n \le 12$. We classify the pairs $(X,\mathcal O_X(1))$ for $k=1$ and we show that, for $n \ge 4$, the case $k=2$ does not occur. We study varieties $X \subseteq \mathbb P^N$ of dimension $n$ such that $T_X(k)$ is an Ulrich vector bundle for some $k \in \mathbb Z$. First we give a sharp bound for $k$ in the case of curves. Then we show that $k \le n+1$ if $2 \le n \le 12$. We classify the pairs $(X,\mathcal O_X(1))$ for $k=1$ and we show that, for $n \ge 4$, the case $k=2$ does not occur. △ Less

Submitted 20 October, 2023; v1 submitted 8 January, 2023; originally announced January 2023.

Comments: 27 pages. v2: minor changes following referee's suggestions

On a remark by Daniel Ferrand

Authors: Gianfranco Casnati, Angelo Felice Lopez

Abstract: Let $X$ be a Fano threefold with index $i_X$ and fundamental line bundle $\mathcal O_X(h)$. We classify $μ$-semistable rank two bundles $\mathcal E$ on $X$ with $c_1(\mathcal E)=0$, $h^0(\mathcal E) \ne 0$ and $h^1(\mathcal E(-\lceil\frac{i_X}{2}\rceil h))=0$. Let $X$ be a Fano threefold with index $i_X$ and fundamental line bundle $\mathcal O_X(h)$. We classify $μ$-semistable rank two bundles $\mathcal E$ on $X$ with $c_1(\mathcal E)=0$, $h^0(\mathcal E) \ne 0$ and $h^1(\mathcal E(-\lceil\frac{i_X}{2}\rceil h))=0$. △ Less

Submitted 8 December, 2022; originally announced December 2022.

Comments: 16 pages

MSC Class: 14J45 (Primary); 14D21; 14J60 (Secondary)

Mean convergence of Fourier-Akhiezer-Chebyshev series

Authors: Manuel Bello Hernández, Alejandro del Campo López

Abstract: We prove mean convergence of the Fourier series in Akhiezer-Chebyshev polynomials in $L^p$, $p>1$, using a weighted inequality for the Hilbert transform in an arc of the unit circle. We prove mean convergence of the Fourier series in Akhiezer-Chebyshev polynomials in $L^p$, $p>1$, using a weighted inequality for the Hilbert transform in an arc of the unit circle. △ Less

Submitted 12 November, 2022; originally announced November 2022.

Comments: 20 pages, summited to a journal

MSC Class: 42C10; 42C05; 32A35

Power-saving error terms for the number of $D_4$-quartic extensions over a number field ordered by discriminant

Authors: Alina Bucur, Alexandra Florea, Allechar Serrano López, Ila Varma

Abstract: We study the asymptotic count of dihedral quartic extensions over a fixed number field with bounded norm of the relative discriminant. The main term of this count (including a summation formula for the constant) can be found in the literature (see Cohen--Diaz y Diaz--Olivier for the statement without proof and see Klüners for a proof), but a power-saving for the error term has not been explicitly… ▽ More We study the asymptotic count of dihedral quartic extensions over a fixed number field with bounded norm of the relative discriminant. The main term of this count (including a summation formula for the constant) can be found in the literature (see Cohen--Diaz y Diaz--Olivier for the statement without proof and see Klüners for a proof), but a power-saving for the error term has not been explicitly determined except in the case that the base field is $\mathbb{Q}$. In this article, we describe the argument for obtaining both the explicit main term and a power-saving error term for the number of $D_4$-quartic extensions over a general base number field ordered by the norms of their relative discriminants. We also give an extensive overview of the history and development of number field asymptotics. △ Less

Submitted 27 September, 2022; originally announced September 2022.

Ortho-unit polygons can be guarded with at most $\lfloor \frac{n-4}{8} \rfloor$ guards

Authors: J. M. Díaz-Báñez, P. Horn, M. A. Lopez, N. Marín, A. Ramírez-Vigueras, O. Solé-Pi, A. Stevens, J. Urrutia

Abstract: An orthogonal polygon is called an ortho-unit polygon if its vertices have integer coordinates, and all of its edges have length one. In this paper we prove that any ortho-unit polygon with $n \geq 12$ vertices can be guarded with at most $\lfloor \frac{n-4}{8} \rfloor$ guards, which is a tight bound. An orthogonal polygon is called an ortho-unit polygon if its vertices have integer coordinates, and all of its edges have length one. In this paper we prove that any ortho-unit polygon with $n \geq 12$ vertices can be guarded with at most $\lfloor \frac{n-4}{8} \rfloor$ guards, which is a tight bound. △ Less

Submitted 13 January, 2025; v1 submitted 26 August, 2022; originally announced August 2022.

Comments: 15 pages, 11 figures

MSC Class: 68 ACM Class: F.2.2

Journal ref: Graphs and Combinatorics 41, 15 (2025)

Optimality conditions in DC constrained mathematical programming problems

Authors: Rafael Correa, Marco A. López, Pedro Pérez-Aros

Abstract: This paper provides necessary and sufficient optimality conditions for abstract constrained mathematical programming problems in locally convex spaces under new qualification conditions. Our approach exploits the geometrical properties of certain mappings, in particular their structure as difference of convex functions, and uses techniques of generalized differentiation (subdifferential and coderi… ▽ More This paper provides necessary and sufficient optimality conditions for abstract constrained mathematical programming problems in locally convex spaces under new qualification conditions. Our approach exploits the geometrical properties of certain mappings, in particular their structure as difference of convex functions, and uses techniques of generalized differentiation (subdifferential and coderivative). It turns out that these tools can be used fruitfully out of the scope of Asplund spaces. Applications to infinite, stochastic and semi-definite programming are developed in separate sections. △ Less

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

Comments: 24 pages

MSC Class: 90C30; 90C34; 90C26

Torsion aspects of varieties of simplicial groups

Authors: Guillermo López Cafaggi

Abstract: There is a lattice of torsion theories in simplicial groups such that the torsion/torsion-free categories are given by simplicial groups with truncated Moore complex below/above a certain degree. We study the restriction of these torsion theories to certain subcategories of simplicial groups. In particular, we prove that the categories of D.Conduché's 2-crossed modules and Ashley's crossed complex… ▽ More There is a lattice of torsion theories in simplicial groups such that the torsion/torsion-free categories are given by simplicial groups with truncated Moore complex below/above a certain degree. We study the restriction of these torsion theories to certain subcategories of simplicial groups. In particular, we prove that the categories of D.Conduché's 2-crossed modules and Ashley's crossed complexes in groups are semi-abelian and we give some descriptions of their torsion theories. These examples of torsion theories also give rise to new examples of pretorsion theories in the sense of A. Facchini and C. Finocchiaro, as well as examples of torsion torsion-free theories (TTF theories). △ Less

Submitted 14 June, 2023; v1 submitted 27 July, 2022; originally announced July 2022.

Comments: 26 pages

MSC Class: 18E13 18E40 18N50 18D40 18G45 18G35 18G50

Structure and form of the solutions of the Erdos-Straus conjecture

Authors: Miguel Angel Lopez

Abstract: In this paper we classify certain values of p that satisfy the Erdos-Straus conjecture, concerning the decomposition of fractions of the form 4/n as sum of three fractions with numerator identically equal to 1, not according to their modular similarity but to the fact that they share solutions with identical structure. We classify all solutions that satisfy that they are of the form (du,dv,duv) an… ▽ More In this paper we classify certain values of p that satisfy the Erdos-Straus conjecture, concerning the decomposition of fractions of the form 4/n as sum of three fractions with numerator identically equal to 1, not according to their modular similarity but to the fact that they share solutions with identical structure. We classify all solutions that satisfy that they are of the form (du,dv,duv) and find characterizations for values of p that were initially difficult to classify, such as p=1009. We also study the solutions (x,y,z) that satisfy that gcd(x,y,z)=x and, finally, we classify all the cases in which any of these two variables coincide with each other. △ Less

Submitted 20 August, 2024; v1 submitted 16 June, 2022; originally announced June 2022.

Comments: 12 pages

MSC Class: 11D72; 11A07; 11A41

Pole structure of Shintani zeta functions and Newton polytopes

Authors: Diego A. Lopez

Abstract: It is known that Shintani zeta functions, which generalise multiple zeta functions, extend to meromorphic functions with poles on affine hyperplanes. We refine this result in showing that the poles lie on hyperplanes parallel to the facets of certain convex polyhedra associated to the defining matrix for the Shintani zeta function. Explicitly, the latter are the Newton polytopes of the polynomials… ▽ More It is known that Shintani zeta functions, which generalise multiple zeta functions, extend to meromorphic functions with poles on affine hyperplanes. We refine this result in showing that the poles lie on hyperplanes parallel to the facets of certain convex polyhedra associated to the defining matrix for the Shintani zeta function. Explicitly, the latter are the Newton polytopes of the polynomials induced by the columns of the underlying matrix. We then prove that the coefficients of the equation which describes the hyperplanes in the canonical basis are either zero or one, similar to the poles arising when renormalising generic Feynman amplitudes. For that purpose, we introduce an algorithm to distribute weight over a graph such that the weight at each vertex satisfies a given lower bound. △ Less

Submitted 31 May, 2022; originally announced May 2022.

Comments: 28 pages, 6 figures

MSC Class: 11M99; 32D20; 05C85

Tensor products and the Milnor-Moore theorem in the locality setup

Authors: Pierre J. Clavier, Loic Foissy, Diego A. López, Sylvie Paycha

Abstract: The present exploratory paper deals with tensor products in the locality framework {developed in previous work}, a natural setting for an algebraic formulation of the locality principle in quantum field theory. Locality tensor products of locality vector spaces raise challenging questions, such as whether the locality tensor product of two locality vector spaces is a locality vector space. A relat… ▽ More The present exploratory paper deals with tensor products in the locality framework {developed in previous work}, a natural setting for an algebraic formulation of the locality principle in quantum field theory. Locality tensor products of locality vector spaces raise challenging questions, such as whether the locality tensor product of two locality vector spaces is a locality vector space. A related question is whether the quotient of locality vector spaces is a locality vector space, which we first reinterpret in a group theoretic language and then in terms of short exact sequences. We prove a universal property for the locality tensor algebra and for the locality enveloping algebra, the analogs in the locality framework of the tensor algebra and of the enveloping algebra. These universal properties hold under compatibility assumptions between the locality and the multilinearity underlying the construction of tensor products which we formulate in the form of conjectural statements. Assuming they hold true, we generalise the Milnor-Moore theorem to the locality setup and discuss some of its consequences. △ Less

Submitted 29 May, 2022; originally announced May 2022.

Comments: 59 pages, 14 figures

MSC Class: 08A55; 16T05; 15A72

On the classification of non-big Ulrich vector bundles on fourfolds

Authors: Angelo Felice Lopez, Roberto Muñoz, José Carlos Sierra

Abstract: We give an almost complete classification of non-big Ulrich vector bundles on fourfolds. This allows to classify them in the case of Picard rank one fourfolds, of Mukai fourfolds and in the case of Del Pezzo $n$-folds for $n \le 4$. We also classify Ulrich bundles with non-big determinant on Del Pezzo and Mukai $n$-folds, $n \ge 2$. We give an almost complete classification of non-big Ulrich vector bundles on fourfolds. This allows to classify them in the case of Picard rank one fourfolds, of Mukai fourfolds and in the case of Del Pezzo $n$-folds for $n \le 4$. We also classify Ulrich bundles with non-big determinant on Del Pezzo and Mukai $n$-folds, $n \ge 2$. △ Less

Submitted 3 June, 2025; v1 submitted 20 May, 2022; originally announced May 2022.

Comments: The paper arXiv:2201.06019v1 has been split into two papers: arXiv:2201.06019v2 and the current paper. Together they supersede arXiv:2201.06019v1. v2: several changes according to referee's requests. Added two tables at the end of the paper. v3: corrected several typos

On varieties with Ulrich twisted normal bundles

Authors: Angelo Felice Lopez

Abstract: We characterize smooth irreducible varieties with Ulrich twisted normal bundle. We characterize smooth irreducible varieties with Ulrich twisted normal bundle. △ Less

Submitted 9 September, 2022; v1 submitted 13 May, 2022; originally announced May 2022.

Comments: v2: we added some references and a new section; v3: we corrected a mistake in the proof of Thm.1 (we thank G. Casnati for pointing it out). The statement of Thm.1 has changed, allowing some surfaces in $\mathbb P^4$ and 3-folds in $\mathbb P^5$ with Ulrich twisted normal bundle (such as linear standard determinantal [KMR] and sect. 2); v4: added Prop.2.2, Rmk.2.3, Prop.3.1, Rmk.3.2 and sect. 5

Coordinated Pilot Transmissions for Detecting the Signal Sparsity Level in a Massive IoT Network under Rayleigh Fading

Authors: Onel L. A. López, Glauber Brante, Richard D. Souza, Markku Juntti, Matti Latva-aho

Abstract: Grant-free protocols exploiting compressed sensing (CS) multi-user detection (MUD) are appealing for solving the random access problem in massive machine-type communications (mMTC) with sporadic device activity. Such protocols would greatly benefit from a prior deterministic knowledge of the sparsity level, i.e., instantaneous number of simultaneously active devices $K$. Aiming at this, herein we… ▽ More Grant-free protocols exploiting compressed sensing (CS) multi-user detection (MUD) are appealing for solving the random access problem in massive machine-type communications (mMTC) with sporadic device activity. Such protocols would greatly benefit from a prior deterministic knowledge of the sparsity level, i.e., instantaneous number of simultaneously active devices $K$. Aiming at this, herein we introduce a framework relying on coordinated pilot transmissions (CPT) over a short phase at the beginning of the transmission block for detecting $K$ in mMTC scenarios under Rayleigh fading. CPT can be implemented either as: i) U-CPT, which exploits only uplink transmissions, or A-CPT, which includes also downlink transmissions for channel state information (CSI) acquisition that resolve fading uncertainty. We discuss two specific implementations of A-CPT: ii) A-CPT-F, which implements CSI-based phase corrections while leveraging the same statistical inverse power control used by U-CPT, and iii) A-CPT-D, which implements a dynamic CSI-based inverse power control, although it requires some active devices to remain in silence if their corresponding channels are too faded. We derive a signal sparsity level detector for each CPT mechanism by relaxing the original integer detection/classification problem to an estimation problem in the continuous real domain followed by a rounding operation. We show that the variance of the relaxed estimator increases with $K^2$ and $K$ when operating with U-CPT and A-CPT mechanisms, respectively. The distribution of the estimators under U-CPT, A-CPT-F and A-CPT-D is found to follow an exponential, Gaussian, and Student's $t-$like distribution, respectively. Analyses evince the superiority of A-CPT-D, which is also corroborated via numerical results. We reveal several interesting trade-offs and highlight potential research directions. △ Less

Submitted 1 May, 2022; originally announced May 2022.

Comments: 31 pages, 8 figures, 2 tables. Submitted to IEEE TWC

Torsion theories of simplicial groups with truncated Moore complex

Authors: Guillermo López Cafaggi

Abstract: We introduce a linearly ordered lattice $μ(Grp)$ of torsion theories in simplicial groups. The torsion theories are defined where the torsion/torsion-free subcategories are given by the simplicial groups with bounded above/below Moore complex, respectively. These torsion theories extend naturally the torsion theories in internal groupoids in groups. Connections of this lattice with the homotopy gr… ▽ More We introduce a linearly ordered lattice $μ(Grp)$ of torsion theories in simplicial groups. The torsion theories are defined where the torsion/torsion-free subcategories are given by the simplicial groups with bounded above/below Moore complex, respectively. These torsion theories extend naturally the torsion theories in internal groupoids in groups. Connections of this lattice with the homotopy groups are established since the homotopy groups of a simplicial group can be calculated as the quotients of torsion subojects. △ Less

Submitted 14 February, 2022; originally announced February 2022.

MSC Class: 18E13 18E40 18N50 55Q05 18D40

Infinitary Noetherian Constructions II. Transfinite Words and the Regular Subword Topology

Authors: Jean Goubault-Larrecq, Simon Halfon, Aliaume Lopez

Abstract: We show that the spaces of transfinite words, namely ordinal-indexed words, over a Noetherian space, is also Noetherian, under a natural topology which we call the regular subword topology. We characterize its sobrification and its specialization ordering, and we give an upper bound on its dimension and on its stature. We show that the spaces of transfinite words, namely ordinal-indexed words, over a Noetherian space, is also Noetherian, under a natural topology which we call the regular subword topology. We characterize its sobrification and its specialization ordering, and we give an upper bound on its dimension and on its stature. △ Less

Submitted 23 March, 2023; v1 submitted 10 February, 2022; originally announced February 2022.

Comments: 26 pages; cosmetic changes, mostly

MSC Class: Primary 54G99. Secondary 06A07; 06B30

Non-big Ulrich bundles: the classification on quadrics and the case of small numerical dimension

Authors: Angelo Felice Lopez, Roberto Muñoz, José Carlos Sierra

Abstract: On any smooth $n$-dimensional variety we give a pretty precise picture of rank $r$ Ulrich vector bundles with numerical dimension at most $\frac{n}{2}+r-1$. Also, we classify non-big Ulrich vector bundles on quadrics and on the Del Pezzo fourfold of degree $6$. On any smooth $n$-dimensional variety we give a pretty precise picture of rank $r$ Ulrich vector bundles with numerical dimension at most $\frac{n}{2}+r-1$. Also, we classify non-big Ulrich vector bundles on quadrics and on the Del Pezzo fourfold of degree $6$. △ Less

Submitted 9 July, 2023; v1 submitted 16 January, 2022; originally announced January 2022.

Comments: The previous version of arXiv:2201.06019 has been split into two papers. This version supersedes the first part, the second part will appear soon. v3: a few small improvements, as suggested by anonymous referee

Zeta invariants of Morse forms

Authors: Jesús A. Álvarez López, Yuri A. Kordyukov, Eric Leichtnam

Abstract: Let $η$ be a closed real 1-form on a closed Riemannian $n$-manifold $(M,g)$. Let $d_z$, $δ_z$ and $Δ_z$ be the induced Witten's type perturbations of the de~Rham derivative and coderivative and the Laplacian, parametrized by $z=μ+iν\in\mathbb C$ ($μ,ν\in\mathbb{R}$, $i=\sqrt{-1}$). Let $ζ(s,z)$ be the zeta function of $s\in\mathbb{C}$, defined as the meromorphic extension of the function… ▽ More Let $η$ be a closed real 1-form on a closed Riemannian $n$-manifold $(M,g)$. Let $d_z$, $δ_z$ and $Δ_z$ be the induced Witten's type perturbations of the de~Rham derivative and coderivative and the Laplacian, parametrized by $z=μ+iν\in\mathbb C$ ($μ,ν\in\mathbb{R}$, $i=\sqrt{-1}$). Let $ζ(s,z)$ be the zeta function of $s\in\mathbb{C}$, defined as the meromorphic extension of the function $ζ(s,z)=\operatorname{Str}({η\wedge}\,δ_zΔ_z^{-s})$ for $\Re s\gg0$. We prove that $ζ(s,z)$ is smooth at $s=1$ and establish a formula for $ζ(1,z)$ in terms of the associated heat semigroup. For a class of Morse forms, $ζ(1,z)$ converges to some $\mathbf{z}\in\mathbb{R}$ as $μ\to+\infty$, uniformly on $ν$. We describe $\mathbf{z}$ in terms of the instantons of an auxiliary Smale gradient-like vector field $X$ and the Mathai-Quillen current on $TM$ defined by $g$. Any real 1-cohomology class has a representative $η$ satisfying the hypothesis. If $n$ is even, we can prescribe any real value for $\mathbf{z}$ by perturbing $g$, $η$ and $X$, and achieve the same limit as $μ\to-\infty$. This is used to define and describe certain tempered distributions induced by $g$ and $η$. These distributions appear in another publication as contributions from the preserved leaves in a trace formula for simple foliated flows, giving a solution to a problem of C.~Deninger. △ Less

Submitted 30 September, 2024; v1 submitted 6 December, 2021; originally announced December 2021.

Comments: 61 pages, 1 figure

MSC Class: 58A12; 58A14; 58J20; 57R58

Relaxed Lagrangian duality in convex infinite optimization: reverse strong duality and optimality

Authors: Nguyen Dinh, Miguel A. Goberna, Marco A. Lopez, Michel Volle

Abstract: We associate with each convex optimization problem posed on some locally convex space with an infinite index set T, and a given non-empty family H formed by finite subsets of T, a suitable Lagrangian-Haar dual problem. We provide reverse H-strong duality theorems, H-Farkas type lemmas and optimality theorems. Special attention is addressed to infinite and semi-infinite linear optimization problems… ▽ More We associate with each convex optimization problem posed on some locally convex space with an infinite index set T, and a given non-empty family H formed by finite subsets of T, a suitable Lagrangian-Haar dual problem. We provide reverse H-strong duality theorems, H-Farkas type lemmas and optimality theorems. Special attention is addressed to infinite and semi-infinite linear optimization problems. △ Less

Submitted 17 June, 2021; originally announced June 2021.

Comments: 19 pages

MSC Class: 90C25; 49N15; 46N10

Isolated calmness and sharp minima via Hölder graphical derivatives

Authors: Alexander Y. Kruger, Marco A. López, Xiaoqi Yang, Jiangxing Zhu

Abstract: The paper utilizes Hölder graphical derivatives for characterizing Hölder strong subregularity, isolated calmness and sharp minimum. As applications, we characterize Hölder isolated calmness in linear semi-infinite optimization and Hölder sharp minimizers of some penalty functions for constrained optimization. The paper utilizes Hölder graphical derivatives for characterizing Hölder strong subregularity, isolated calmness and sharp minimum. As applications, we characterize Hölder isolated calmness in linear semi-infinite optimization and Hölder sharp minimizers of some penalty functions for constrained optimization. △ Less

Submitted 6 October, 2021; v1 submitted 14 June, 2021; originally announced June 2021.

Comments: 19 pages

Journal ref: Set-Valued and Variational Analysis (2022) 30:1423-1441