Showing 1–19 of 19 results for author: Veloso, M

On $\mathbb{F}_q$-primitive points on hypersurfaces

Authors: José Alves Oliveira, Marcelo Oliveira Veloso

Abstract: In this paper, we estimate the number of $\mathbb{F}_q$-primitive points on the affine hypersurface defined by the equation $f(x_1,\ldots,x_s)=0$, where $f\in\mathbb{F}_q[x_1,\dots,x_s]$ is an appropriate polynomial. In particular, we provide existence results for the case when $f$ is Dwork-regular and when $f$ is of Fermat type. Additionally, we present a proof for a recently posed conjecture. Fi… ▽ More In this paper, we estimate the number of $\mathbb{F}_q$-primitive points on the affine hypersurface defined by the equation $f(x_1,\ldots,x_s)=0$, where $f\in\mathbb{F}_q[x_1,\dots,x_s]$ is an appropriate polynomial. In particular, we provide existence results for the case when $f$ is Dwork-regular and when $f$ is of Fermat type. Additionally, we present a proof for a recently posed conjecture. Finally, in the case where $q$ is a Fermat prime, we provide an explicit formula for the number of $\mathbb{F}_q$-primitive points on hyperplanes. △ Less

Submitted 12 May, 2025; v1 submitted 8 May, 2025; originally announced May 2025.

Comments: This version includes corrections for a few typos and adds the author's affiliation and email contact

MSC Class: 12E20; 11T24

On the tame isotropy group of triangular derivations

Authors: Adriana Freitas, Marcelo Veloso

Abstract: In this paper, we introduce the tame isotropy group of a derivation. In particular, we calculate the tame isotropy groups of triangular derivations of polynomial rings with one, two, and three variables. In this paper, we introduce the tame isotropy group of a derivation. In particular, we calculate the tame isotropy groups of triangular derivations of polynomial rings with one, two, and three variables. △ Less

Submitted 17 January, 2025; originally announced January 2025.

MSC Class: 13N15; 16W20 13A50

Distributionally and Adversarially Robust Logistic Regression via Intersecting Wasserstein Balls

Authors: Aras Selvi, Eleonora Kreacic, Mohsen Ghassemi, Vamsi Potluru, Tucker Balch, Manuela Veloso

Abstract: Adversarially robust optimization (ARO) has emerged as the *de facto* standard for training models that hedge against adversarial attacks in the test stage. While these models are robust against adversarial attacks, they tend to suffer severely from overfitting. To address this issue, some successful methods replace the empirical distribution in the training stage with alternatives including *(i)*… ▽ More Adversarially robust optimization (ARO) has emerged as the *de facto* standard for training models that hedge against adversarial attacks in the test stage. While these models are robust against adversarial attacks, they tend to suffer severely from overfitting. To address this issue, some successful methods replace the empirical distribution in the training stage with alternatives including *(i)* a worst-case distribution residing in an ambiguity set, resulting in a distributionally robust (DR) counterpart of ARO; *(ii)* a mixture of the empirical distribution with a distribution induced by an auxiliary (*e.g.*, synthetic, external, out-of-domain) dataset. Inspired by the former, we study the Wasserstein DR counterpart of ARO for logistic regression and show it admits a tractable convex optimization reformulation. Adopting the latter setting, we revise the DR approach by intersecting its ambiguity set with another ambiguity set built using the auxiliary dataset, which offers a significant improvement whenever the Wasserstein distance between the data generating and auxiliary distributions can be estimated. We study the underlying optimization problem, develop efficient solution algorithms, and demonstrate that the proposed method outperforms benchmark approaches on standard datasets. △ Less

Submitted 11 June, 2025; v1 submitted 18 July, 2024; originally announced July 2024.

Comments: 9 main pages + 25 pages of appendices

Reductions of path structures and classification of homogeneous structures in dimension three

Authors: Elisha Falbel, Martin Mion-Mouton, Jose M. Veloso

Abstract: In this paper we show that if a path structure has non-vanishing curvature at apoint then it has a canonical reduction to a Z/2Z-structure at a neighbourhood of thatpoint (in many cases it has a canonical parallelism). A simple implication of this resultis that the automorphism group of a non-flat path structure is of maximal dimensionthree (a result by Tresse of 1896). We also classify the invari… ▽ More In this paper we show that if a path structure has non-vanishing curvature at apoint then it has a canonical reduction to a Z/2Z-structure at a neighbourhood of thatpoint (in many cases it has a canonical parallelism). A simple implication of this resultis that the automorphism group of a non-flat path structure is of maximal dimensionthree (a result by Tresse of 1896). We also classify the invariant path structures onthree-dimensional Lie groups. △ Less

Submitted 17 June, 2024; originally announced June 2024.

Accelerating Cutting-Plane Algorithms via Reinforcement Learning Surrogates

Authors: Kyle Mana, Fernando Acero, Stephen Mak, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso

Abstract: Discrete optimization belongs to the set of $\mathcal{NP}$-hard problems, spanning fields such as mixed-integer programming and combinatorial optimization. A current standard approach to solving convex discrete optimization problems is the use of cutting-plane algorithms, which reach optimal solutions by iteratively adding inequalities known as \textit{cuts} to refine a feasible set. Despite the e… ▽ More Discrete optimization belongs to the set of $\mathcal{NP}$-hard problems, spanning fields such as mixed-integer programming and combinatorial optimization. A current standard approach to solving convex discrete optimization problems is the use of cutting-plane algorithms, which reach optimal solutions by iteratively adding inequalities known as \textit{cuts} to refine a feasible set. Despite the existence of a number of general-purpose cut-generating algorithms, large-scale discrete optimization problems continue to suffer from intractability. In this work, we propose a method for accelerating cutting-plane algorithms via reinforcement learning. Our approach uses learned policies as surrogates for $\mathcal{NP}$-hard elements of the cut generating procedure in a way that (i) accelerates convergence, and (ii) retains guarantees of optimality. We apply our method on two types of problems where cutting-plane algorithms are commonly used: stochastic optimization, and mixed-integer quadratic programming. We observe the benefits of our method when applied to Benders decomposition (stochastic optimization) and iterative loss approximation (quadratic programming), achieving up to $45\%$ faster average convergence when compared to modern alternative algorithms. △ Less

Submitted 27 February, 2024; v1 submitted 17 July, 2023; originally announced July 2023.

Comments: Extended version (includes Supplementary Material). Accepted at AAAI 24 Main Track with Oral Presentation

A global invariant for path structures and second order differential equations

Authors: Elisha Falbel, Jose Miguel Veloso

Abstract: We study a global invariant for path structures. The invariant is obtained as a secondary invariant from a Cartan connection on a canonical bundle associated to a path structure. It is computed in examples which are defined in terms of reductions of the path structure. In particular we give a formula for this global invariant for second order differential equations defined on a torus $T^2$. We study a global invariant for path structures. The invariant is obtained as a secondary invariant from a Cartan connection on a canonical bundle associated to a path structure. It is computed in examples which are defined in terms of reductions of the path structure. In particular we give a formula for this global invariant for second order differential equations defined on a torus $T^2$. △ Less

Submitted 30 June, 2023; originally announced June 2023.

MSC Class: 53; 53D10; 53A55; 34A26

Fast Learning of Multidimensional Hawkes Processes via Frank-Wolfe

Authors: Renbo Zhao, Niccolò Dalmasso, Mohsen Ghassemi, Vamsi K. Potluru, Tucker Balch, Manuela Veloso

Abstract: Hawkes processes have recently risen to the forefront of tools when it comes to modeling and generating sequential events data. Multidimensional Hawkes processes model both the self and cross-excitation between different types of events and have been applied successfully in various domain such as finance, epidemiology and personalized recommendations, among others. In this work we present an adapt… ▽ More Hawkes processes have recently risen to the forefront of tools when it comes to modeling and generating sequential events data. Multidimensional Hawkes processes model both the self and cross-excitation between different types of events and have been applied successfully in various domain such as finance, epidemiology and personalized recommendations, among others. In this work we present an adaptation of the Frank-Wolfe algorithm for learning multidimensional Hawkes processes. Experimental results show that our approach has better or on par accuracy in terms of parameter estimation than other first order methods, while enjoying a significantly faster runtime. △ Less

Submitted 12 December, 2022; originally announced December 2022.

Comments: Presented at the NeurIPS 2022 Workshop on Synthetic Data for Empowering ML Research. 9 pages, 3 figures, 4 tables

Nonlinear Spencer operators on differentiable groupoids

Authors: J. M. M. Veloso

Abstract: We construct the first, second and sophisticated non-linear and linear Spencer complexes for a differentiable Lie groupoid $G$. To do this, we extend the diagonal calculus, as applied by Malgrange to the groupoid $M\times M$, to the context of $I\times G$, where $I$ is the manifold of identities of $G$. We construct the first, second and sophisticated non-linear and linear Spencer complexes for a differentiable Lie groupoid $G$. To do this, we extend the diagonal calculus, as applied by Malgrange to the groupoid $M\times M$, to the context of $I\times G$, where $I$ is the manifold of identities of $G$. △ Less

Submitted 10 January, 2022; originally announced January 2022.

Comments: 32 pages. arXiv admin note: text overlap with arXiv:0911.3344

MSC Class: 53C10

Cartan connections and path structures with large automorphisms groups

Authors: Elisha Falbel, Martin Mion-Mouton, Jose Miguel Veloso

Abstract: We classify compact manifolds of dimension three equipped with a path structure and a fixed contact form (which we refer to as a strict path structure) under the hypothesis that their automorphism group is non-compact. We use a Cartan connection associated to the structure and show that its curvature is constant. We classify compact manifolds of dimension three equipped with a path structure and a fixed contact form (which we refer to as a strict path structure) under the hypothesis that their automorphism group is non-compact. We use a Cartan connection associated to the structure and show that its curvature is constant. △ Less

Submitted 8 March, 2023; v1 submitted 5 May, 2021; originally announced May 2021.

Comments: International Journal of Mathematics, 2021. In this (unpublished) improved version, we withdraw the hypothesis of a dense orbit of the automorphism group in the main Theorem 1.1 when the structure is class C^3

Paying down metadata debt: learning the representation of concepts using topic models

Authors: Jiahao Chen, Manuela Veloso

Abstract: We introduce a data management problem called metadata debt, to identify the mapping between data concepts and their logical representations. We describe how this mapping can be learned using semisupervised topic models based on low-rank matrix factorizations that account for missing and noisy labels, coupled with sparsity penalties to improve localization and interpretability. We introduce a gaug… ▽ More We introduce a data management problem called metadata debt, to identify the mapping between data concepts and their logical representations. We describe how this mapping can be learned using semisupervised topic models based on low-rank matrix factorizations that account for missing and noisy labels, coupled with sparsity penalties to improve localization and interpretability. We introduce a gauge transformation approach that allows us to construct explicit associations between topics and concept labels, and thus assign meaning to topics. We also show how to use this topic model for semisupervised learning tasks like extrapolating from known labels, evaluating possible errors in existing labels, and predicting missing features. We show results from this topic model in predicting subject tags on over 25,000 datasets from Kaggle.com, demonstrating the ability to learn semantically meaningful features. △ Less

Submitted 9 October, 2020; originally announced October 2020.

Comments: 8 pages, 4 figures. Data set available in paper source

MSC Class: 65F55; 68T50; 68T01; 15A83 ACM Class: I.2.6; J.1

Journal ref: Proceedings of the 1st ACM International Conference on AI in Finance (ICAIF '20), October 15-16, 2020, New York, NY, USA

On Isotropy Group of Danielewski Surfaces

Authors: Rene Baltazar, Marcelo Veloso

Abstract: In the present work we consider differential rings of the form $(\mathcal B,D)$ where $\mathcal B$ is a Danielewski surface and $D$ is a locally nilpotent derivation on $\mathcal B$. Influenced by several recent works, we describe the isotropy group of a locally nilpotent derivation, $D$, on Danielewski surfaces, in the cases $xy = \varphi(z)$, $x^ny=\varphi(Z)$, and $f(x)x = \varphi(z)$. In the present work we consider differential rings of the form $(\mathcal B,D)$ where $\mathcal B$ is a Danielewski surface and $D$ is a locally nilpotent derivation on $\mathcal B$. Influenced by several recent works, we describe the isotropy group of a locally nilpotent derivation, $D$, on Danielewski surfaces, in the cases $xy = \varphi(z)$, $x^ny=\varphi(Z)$, and $f(x)x = \varphi(z)$. △ Less

Submitted 5 September, 2020; v1 submitted 16 April, 2020; originally announced April 2020.

Rotation surfaces of constant Gaussian curvature as Riemannian approximation scheme in sub-Riemannian Heisenberg space $\mathbb H^1$

Authors: José M. M. Veloso

Abstract: We verify if Gausssian curvature of surfaces and normal curvature of curves in surfaces introduced by Diniz-Veloso arXiv:1210.7110 and by Balogh-Tyson-Vecchi arXiv:1604.00180 to prove Gauss-Bonnet theorems in Heisenberg space $\mathbb H^1$ are equal. The authors in arXiv:1604.00180 utilize a limit of Gaussian and normal curvatures defined in the Riemannian approximations scheme… ▽ More We verify if Gausssian curvature of surfaces and normal curvature of curves in surfaces introduced by Diniz-Veloso arXiv:1210.7110 and by Balogh-Tyson-Vecchi arXiv:1604.00180 to prove Gauss-Bonnet theorems in Heisenberg space $\mathbb H^1$ are equal. The authors in arXiv:1604.00180 utilize a limit of Gaussian and normal curvatures defined in the Riemannian approximations scheme $(\mathbb R^3,g_L)$ introduced by Gromov to study sub-Riemannian spaces. They show that these limits exist (unlike the limit of Riemannian surface area form or length form), and they obtain Gauss-Bonnet theorem in $\mathbb H^1$ as limit of Gauss-Bonnet theorems in $(\mathbb R^3,g_L)$ when $L$ goes to infinity. The approach in arXiv:1210.7110 uses an analogous of Gauss map defined in the unitary cylinder and they show that the curvature defined by the Gauss map corresponds to the curvature of covariant derivative which is null on left invariant vector fields of $\mathbb H^1$. The proof of Gauss-Bonnet theorem follows as the classical one. Curvatures do not coincide. For comparison sake we apply the same formalism of arXiv:1210.7110 to get the curvatures of arXiv:1604.00180 . With the obtained formulas, it is possible to prove the Gauss-Bonnet theorem in arXiv:1604.00180 as a straightforward application of Stokes theorem. To exemplify the Gaussian curvature of arXiv:1604.00180 we calculate the rotation surfaces of constant curvature in $\mathbb H^1$, which are only of three types. △ Less

Submitted 29 September, 2019; originally announced September 2019.

Comments: 13 pages, 3 figures

MSC Class: 53C17; 53A35; 52A39

Rings of constants of linear derivations on Fermat rings

Authors: Marcelo Oliveira Veloso, Ivan Shestakov

Abstract: In this paper we characterize all the linear $\mathbb{C}$-derivations of the Fermat ring. We show that the Fermat ring has linear $\mathbb{C}$-derivations with trivial ring of constants and construct some examples. In this paper we characterize all the linear $\mathbb{C}$-derivations of the Fermat ring. We show that the Fermat ring has linear $\mathbb{C}$-derivations with trivial ring of constants and construct some examples. △ Less

Submitted 28 February, 2018; originally announced February 2018.

MSC Class: 13N15; 13A50; 16W25

Locally nilpotent derivations and automorphism groups of certain Danielewski surfaces

Authors: Angelo Calil Bianchi, Marcelo Oliveira Veloso

Abstract: We describe the set of all locally nilpotent derivations of the quotient ring $\mathbb{K}[X,Y,Z]/(f(X)Y - \varphi(X,Z))$ constructed from the defining equation $f(X)Y = \varphi(X,Z)$ of a generalized Danielewski surface in $\mathbb K^3$ for a specific choice of polynomials $f$ and $\varphi$, with $\mathbb K$ an algebraically closed field of characteristic zero. As a consequence of this description… ▽ More We describe the set of all locally nilpotent derivations of the quotient ring $\mathbb{K}[X,Y,Z]/(f(X)Y - \varphi(X,Z))$ constructed from the defining equation $f(X)Y = \varphi(X,Z)$ of a generalized Danielewski surface in $\mathbb K^3$ for a specific choice of polynomials $f$ and $\varphi$, with $\mathbb K$ an algebraically closed field of characteristic zero. As a consequence of this description we calculate the $ML$-invariant and the Derksen invariant of this ring. We also determine a set of generators for the group of $\mathbb K$-automorphisms of $\mathbb K[X,Y,Z]/(f(X)Y - \varphi(Z))$ also for a specific choice of polynomials $f$ and $\varphi$. △ Less

Submitted 30 May, 2015; originally announced June 2015.

Comments: 9 pages, comments are welcome

Journal ref: Journal of Algebra, v. 469, p. 96-108, 2017

First variation of the Hausdorff measure of non-horizontal submanifolds in stratified Lie groups

Authors: Marcos M. Diniz, Maria R. B. Santos, José M. M. Veloso

Abstract: We determine necessary conditions for a non-horizontal submanifold of a sub-Riemannian stratified Lie group to be of minimal measure. We calculate the first variation of the measure for a non-horizontal submanifold and find that the minimality condition implies the tensor equation $H+σ=0$, where $H$ is analogous to the mean curvature and $σ$ is the mean torsion. We also discuss new examples of min… ▽ More We determine necessary conditions for a non-horizontal submanifold of a sub-Riemannian stratified Lie group to be of minimal measure. We calculate the first variation of the measure for a non-horizontal submanifold and find that the minimality condition implies the tensor equation $H+σ=0$, where $H$ is analogous to the mean curvature and $σ$ is the mean torsion. We also discuss new examples of minimal non-horizontal submanifolds in the Heisenberg group, in particular surfaces in $\mathbb H^2$. △ Less

Submitted 23 December, 2015; v1 submitted 5 April, 2014; originally announced April 2014.

Comments: 25 pages

MSC Class: 53C17

On the structure of numerical sparse semigroups and applications to Weierstrass points

Authors: André Contiero, Carlos Gustavo T. A. Moreira, Paula M. Veloso

Abstract: In this work, we are concerned with the structure of sparse semigroups and some applications of them to Weierstrass points. We manage to describe, classify and find an upper bound for the genus of sparse semigroups. We also study the realization of some sparse semigroups as Weierstrass semigroups. The smoothness property of monomial curves associated to (hyper)ordinary semigroups presented by Pink… ▽ More In this work, we are concerned with the structure of sparse semigroups and some applications of them to Weierstrass points. We manage to describe, classify and find an upper bound for the genus of sparse semigroups. We also study the realization of some sparse semigroups as Weierstrass semigroups. The smoothness property of monomial curves associated to (hyper)ordinary semigroups presented by Pinkham and Rim-Vitulli, and the results on double covering of curves by Torres are crucial in this. △ Less

Submitted 12 October, 2014; v1 submitted 27 August, 2013; originally announced August 2013.

Comments: to appear in Journal of Pure and Applied Algebra

MSC Class: 20M13; 14H55

Diffeomorphisms preserving R-circles in three dimensional CR manifolds

Authors: E. Falbel, J. M. Veloso

Abstract: R-circles in general three dimensional CR manifolds (of contact type) are the analogues to traces of Lagrangian totally geodesic planes on the sphere viewed as the boundary of two dimensional complex hyperbolic space. They form a family of certain legendrian curves on the manifold. We prove that a diffeomorphism between three dimensional CR manifolds which preserve circles is either a CR diffeomor… ▽ More R-circles in general three dimensional CR manifolds (of contact type) are the analogues to traces of Lagrangian totally geodesic planes on the sphere viewed as the boundary of two dimensional complex hyperbolic space. They form a family of certain legendrian curves on the manifold. We prove that a diffeomorphism between three dimensional CR manifolds which preserve circles is either a CR diffeomorphism or conjugate CR diffeomorphism. △ Less

Submitted 29 July, 2013; originally announced July 2013.

Gauss-Bonnet theorem in sub-Riemannian Heisenberg space $H^1$

Authors: José M. M. Veloso, Marcos M. Diniz

Abstract: We prove a version of Gauss-Bonnet theorem in sub-Riemannian Heisenberg space $H^1$. The sub-Riemannian distance makes $H^1$ a metric space and consenquently with a spherical Hausdorff measure. Using this measure, we define a Gaussian curvature at points of a surface S where the sub-Riemannian distribution is transverse to the tangent space of S. If all points of S have this property, we prove a G… ▽ More We prove a version of Gauss-Bonnet theorem in sub-Riemannian Heisenberg space $H^1$. The sub-Riemannian distance makes $H^1$ a metric space and consenquently with a spherical Hausdorff measure. Using this measure, we define a Gaussian curvature at points of a surface S where the sub-Riemannian distribution is transverse to the tangent space of S. If all points of S have this property, we prove a Gauss-Bonnet formula and for compact surfaces (which are topologically a torus) we obtain $\int_S K = 0$. △ Less

Submitted 26 October, 2012; originally announced October 2012.

Comments: 12 pages

MSC Class: 53C17

Isomorphism of Intransitive Linear Lie Equations

Authors: Jose Miguel Martins Veloso

Abstract: We show that formal isomorphism of intransitive linear Lie equations along transversal to the orbits can be extended to neighborhoods of these transversal. In analytic cases, the word formal is dropped from theorems. Also, we associate an intransitive Lie algebra with each intransitive linear Lie equation, and from the intransitive Lie algebra we recover the linear Lie equation, unless of formal… ▽ More We show that formal isomorphism of intransitive linear Lie equations along transversal to the orbits can be extended to neighborhoods of these transversal. In analytic cases, the word formal is dropped from theorems. Also, we associate an intransitive Lie algebra with each intransitive linear Lie equation, and from the intransitive Lie algebra we recover the linear Lie equation, unless of formal isomorphism. The intransitive Lie algebra gives the structure functions introduced by E. Cartan. △ Less

Submitted 17 November, 2009; originally announced November 2009.

Journal ref: SIGMA 5 (2009), 103, 40 pages