{"id":1225,"date":"2022-06-07T17:37:38","date_gmt":"2022-06-07T17:37:38","guid":{"rendered":"http:\/\/ccom.uprrp.edu\/~labemmy\/?page_id=1225"},"modified":"2023-01-12T11:23:48","modified_gmt":"2023-01-12T11:23:48","slug":"projects","status":"publish","type":"page","link":"https:\/\/ccom.uprrp.edu\/~labemmy\/?page_id=1225","title":{"rendered":"Projects"},"content":{"rendered":"<div id=\"DivExSum\">\n<h2>Divisibility of Exponential Sums<\/h2>\n<\/div>\n<h3>Publications<\/h3>\n<ul>\n<li><a name=\"CMESSA\"><a href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2022\/12\/2020-CoveringPublicadoNoticesMayo.pdf\" target=\"_blank\"><em>The Covering Method for Exponential Sums and Some Applications<\/em>.<\/a> (2020). Ivelisse M. Rubio.<br \/>\n<br \/>\n<em><strong>Abstract:<\/strong> Exponential sums over finite fields are an important tool for solving mathematical problems and have applications to many other areas. However, some of the methods and proofs of the results are nonelementary. The main purpose of this article is to present the covering method, an elementary and intuitive way to estimate or compute the $p$-divisibility of exponential sums, which is particularly convenient in the applications. The covering method allows us to determine solvability of systems of polynomial equations, improve the search for balanced Boolean functions, give better estimates for covering radius of codes, and has many other applications.<\/em><\/p>\n<p><\/p>\n<p>Final version published in the Notices of the American Mathematical Society, May 2020. <\/li>\n<\/ul>\n<ul>\n<li><a name=\"EDESABF\"><a href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2022\/12\/2017-BooleanSeveralCoverings-PublicadoCryptoCommun.pdf\" target=\"_blank\"><em>Exact $2$-divisibility of exponential sums associated to boolean functions<\/em>.<\/a> (2018). Francis N. Castro, Luis A. Medina, &amp; Ivelisse M. Rubio.<br \/>\n<br \/>\n<em><strong>Abstract:<\/strong> In this paper we extend the covering method for computing the exact $2$-divisibility of exponential sums of Boolean functions, improve results on the divisibility of the Hamming weight of deformations of Boolean functions, and provide criteria to obtain non-balanced functions. In particular, we present criteria to determine cosets of Reed-Muller codes that do not contain any balanced function, and to construct deformations of symmetric functions that are not balanced. The use of the covering method together with classifications of cosets of Reed-Muller codes obtained by the action of linear groups can improve the search of balanced functions in Reed-Muller codes dramatically<\/em><\/p>\n<p><\/p>\n<p>Final version published in Cryptography and Communications, 10(4), 655-666, 2018<\/li>\n<\/ul>\n<ul>\n<li><a name=\"EPDEXVCM\"><a href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2022\/06\/CoveringFinal.pdf\" target=\"_blank\"><em>Exact p-Divisibility of Exponential Sums via the Covering Method<\/em>.<\/a> (2015). Francis N. Castro, &amp; Ivelisse M. Rubio.<br \/>\n<br \/>\n<em><strong>Abstract:<\/strong> In general, the methods to estimate the $p$-divisibility of exponen- tial sums or the number of solutions of systems of polynomial equations over finite fields are non-elementary. In this paper we present the covering method, an elementary combinatorial method that can be used to compute the exact p-divisibility of exponential sums over a prime field. The results here allow us to compute the exact $p$-divisibility of exponential sums of new families of polynomials, to unify and improve previously known results, and to construct families of systems of polynomial equations over finite fields that are solvable.<\/em><\/p>\n<p><\/p>\n<p>Final version published in Proceedings of the American Mathematical Society 143 (2015) 1043-1056<\/li>\n<\/ul>\n<ul>\n<li><a name=\"EDESOBFVCM\"><a href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2011\/04\/Exact2DivisOneCoverFormat2010.pdf\" target=\"_blank\"><em>Exact Divisibility of Exponential Sums over the Binary Field via the Covering Method<\/em>.<\/a>&nbsp;(2011). Francis N. Castro, Luis A. Medina, &amp; Ivelisse M. Rubio.<br \/>\n<br \/>\n <em><strong>Abstract<\/strong>: Boolean functions are one of the most studied objects in mathematics. In this paper, we use the covering method to compute the exact 2-divisibility of exponential sums of boolean functions with prescribed leading monomials. Our results generalize those of [6] and [5] for the binary field. As an application of our \ffindings, we provide families of boolean functions that are not balanced, and give sufficient conditions for the solvability of systems of boolean equations.<\/em><br \/>\n<br \/>\nFinal version published in AMS Contemporary Math, Volume 537 (2011), pp. 129-136.<\/li>\n<\/ul>\n<ul>\n<li><a name=\"DESVEM\"><a href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2011\/04\/ElemDivSubnoForm.pdf\" target=\"_blank\"><em>Divisibility of Exponential Sums via Elementary Methods<\/em>.<\/a>&nbsp;(2010). Francis N. Castro, Hugues Randriam, Ivelisse Rubio &amp; H. F. Mattson, Jr.<br \/>\n<br \/>\n<em><strong>Abstract<\/strong>: We present a totally elementary method for evaluating the order of&nbsp;p-divisibility of exponential sums over a prime field. This method unifies and sometimes improves many previously known results, such as those of Ax-Katz, Moreno-Moreno, Adolphson-Sperber, and Cao-Sun.<\/em><br \/>\n<br \/> <br \/>\nFinal version published in Journal of Number Theory 130 (2010), pp. 1520-1536.<\/li>\n<\/ul>\n<ul>\n<li><a name=\"DESSCEOFF\"><a href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2011\/04\/ExpSumsRevisedFinal1.pdf\" target=\"_blank\"><em>Divisibility of Exponential Sums and Solvability of Certain Equations Over Finite Fields<\/em>.<\/a>&nbsp;(2007). Francis N. Castro, Ivelisse M. Rubio, &amp; Jos\u00e9 M. Vega.<br \/>\n<br \/>\n<em><strong>Abstract<\/strong>: In [3], Carlitz determined conditions under which in finite families of polynomials have solutions in a finite field. In this paper we extend some of Carlitz\u2019s results by computing the exact&nbsp;p-divisibility of certain exponential sums. As a by-product we obtain an upper bound for the Waring number for polynomials over extensions of finite fields. <\/em><br \/>\n<br \/>\nFinal version published in Quart. J. Math. 00 (2007), 1\u201313; doi:10.1093\/qmath\/han013.<\/li>\n<\/ul>\n<h3>Student Projects<\/h3>\n<h4>Undergraduate Students<\/h4>\n<ul>\n<li><em><a rel=\"noreferrer noopener\" href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2022\/12\/Raul-Oscar-paper.pdf\" target=\"_blank\">Exact divisibility of exponential sums associated to elementary symmetric Boolean functions<\/a><\/em>. (2017). Oscar E. Gonz\u00e1lez, Ra\u00fal E. Negr\u00f3n, Francis N. Castro, Luis A. Medina &amp; Ivelisse M. Rubio.<br \/>\n<br \/>\n<a rel=\"noreferrer noopener\" href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2022\/12\/AficheOscarRaul.pdf\" target=\"_blank\">[Poster]<\/a><br \/>\n<br \/>\n<em><strong>Abstract:<\/strong>In this paper, we present an elementary method to compute or estimate the exact 2-divisibility of exponential sums associated to symmetric Boolean functions. As a direct consequence of these results, we prove some of the open cases of Cusick-Li-St\u0103nic\u0103\u2019s conjecture about balanced symmetric Boolean functions.<\/em><\/li>\n<\/ul>\n<ul>\n<li><em><a rel=\"noreferrer noopener\" href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2022\/12\/AficheOscarRaul.pdf\" target=\"_blank\">Exact $p$-divisibility  of exponential sums of polynomials over finite fields<\/a><\/em>. Poster. (2015). Ram\u00f3n L. Collazo, Julio J. del Cruz, Daniel E. Ram\u00edrez, Francis N. Castro &amp; Ivelisse M. Rubio.<br \/>\n<br \/>\n<em><strong>Abstract:<\/strong>An $n$-variable Boolean function F is a function defined over $F^n$ with values in $F$, the finite field with two elements. Our aim is to calculate the exact $2$ divisibility of exponential sums associated to Boolean functions. This allows us to determine whether a Boolean function is balanced, i.e. whether $|\\{x \\in F|f(x) = 1\\}| = 2^{n\u22121}$, which can be difficult in general. We prove two theorems which give affirmative answers to some of the open cases of Cusick-Li-St\u0103nic\u0103\u2019s conjecture about the non-existence of certain balanced Boolean funtions.<\/em><\/li>\n<\/ul>\n<hr \/>\n<div id=\"SolEqFF\">\n<h2>Solvability of Equations over Finite Fields<\/h2>\n<\/div>\n<h3>Publications<\/h3>\n<ul>\n<li><a name=\"ITC\"><a href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2022\/12\/2020-ImprovementCarlitzPublishedJPAA.pdf\" target=\"_blank\" rel=\"noreferrer noopener\"><em>An improvement of a theorem of Carlitz<\/em>.<\/a>&nbsp;(2020). Francis N. Castro,  Oscar Moreno &amp; Ivelisse M. Rubio.<br \/>\n<br \/>\n<em><strong>Abstract<\/strong>: We improve a result of Carlitz about the number of variables needed for a system of polynomial equations with coefficients in $F_q [X]$ to have non-trivial solutions by considering the $p$-weight degree of the polynomials. By providing infinite families of polynomials we illustrate that our improvement is significant and, in general, is tight.<\/em><br \/>\n<br \/> <br \/>\nFinal version published in Journal of Pure and Applied Algebra 224 (2020), https:\/\/doi.org\/10.1016\/j.jpaa.2019.106246.<\/li>\n<\/ul>\n<ul>\n<li><a name=\"CSPEEDCM\"><a href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2022\/12\/2013-CoveringIIJAA.pdf\" target=\"_blank\" rel=\"noreferrer noopener\"><em>Construction of systems of polynomial equations with exact $p$-Divisibility via the covering method<\/em>.<\/a>&nbsp;(2014). Francis N. Castro, &amp; Ivelisse M. Rubio.<br \/>\n<br \/>\n<em><strong>Abstract<\/strong>: We present an elementary method to compute the exact $p$-divisibility of exponential<br \/>\nsums of systems of polynomial equations over the prime field. Our results extend results by Carlitz and provide concrete and simple conditions to construct families of polynomial equations that are solvable over the prime field.<\/em><br \/>\n<br \/> <br \/>\nFinal version published in JJournal of Algebra and its Applications, Vol. 13, No. 6 (2014) 1450013 (15 pages). This paper was selected as one of the best papers published in the JAA journal in 2014.<\/li>\n<\/ul>\n<ul>\n<li><em>Diagonal Equations, Section in the Handbook of Finite Fields<\/em> (2013). Francis Castro, &amp;  Ivelisse Rubio. Editors: Gary Mullen and Daniel Panario; CRC Press<\/li>\n<\/ul>\n<ul>\n<li><a name=\"SSPESPM\"><a href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2011\/04\/SistPrescribedMonoRevised.pdf\" target=\"_blank\" rel=\"noreferrer noopener\"><em>Solvability of Systems of Polynomial Equations with Some Prescribed Monomials<\/em>.<\/a>&nbsp;(2010). Ivelisse M. Rubio &amp; Francis N. Castro.<br \/>\n<br \/>\n<em><strong>Abstract<\/strong>: We prove that, under some natural conditions, given a system of polynomials&nbsp;F<sub>1<\/sub>&nbsp;, \u2026 ,&nbsp;F<sub>t<\/sub>&nbsp;with monomials of disjoint support, any system&nbsp;F<sub>1<\/sub>&nbsp;+&nbsp;G<sub>1<\/sub>&nbsp;, \u2026 ,&nbsp;F<sub>t<\/sub>&nbsp;+&nbsp;G<sub>t<\/sub>, where the&nbsp;p-weight degree of the&nbsp;G<sub>i<\/sub>\u2018s is smaller than the degree of the monomials in the&nbsp;F<sub>i<\/sub>\u2018s, is solvable. This generalizes a result of Carlitz. As byproduct we also compute the exact&nbsp;p-divisibility of the number of solutions of the system.<\/em><br \/>\n<br \/> <br \/>\nFinal version published in Contemporary Mathematics, vol. 518 (2010), Amer. Math. Soc., Providence, RI, pp. 73-81.<\/li>\n<\/ul>\n<ul>\n<li><a name=\"OSLDEDOFFC\"><a href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2011\/04\/Waring.pdf\" target=\"_blank\" rel=\"noreferrer noopener\"><em>On Systems of Linear and Diagonal Equation of Degree p<sup>i<\/sup>&nbsp;+ 1 Over Finite Fields of Characteristic p<\/em>.<\/a>&nbsp;(2008). Francis N. Castro, Ivelisse M. Rubio, Puhua Guan, &amp; Ra\u00fal Figueroa.<br \/>\n<br \/>\n<em><strong>Abstract<\/strong>: One of the most important questions in number theory is to find properties on a system of equations that guarantee solutions over a field. A well-known problem is Waring\u2019s problem that is to find the minimum number of variables such that the equation x<sub>1<\/sub><sup>d<\/sup>&nbsp;+ \u00b7\u00b7\u00b7 + x<sub>n<\/sub><sup>d<\/sup>&nbsp;= \u03b2 has solution for any natural number \u03b2. In this note we consider a generalization of Waring\u2019s problem over finite fields: To find the minimum number \u03b4(k, d, p&nbsp;<sup>f<\/sup>&nbsp;) of variables such that a system<\/em><em>x<sub>1<\/sub><sup>k<\/sup>&nbsp;+ \u00b7\u00b7\u00b7 + x<sub>n<\/sub><sup>k<\/sup>&nbsp;= \u03b2<sub>1<\/sub>&nbsp;,<br \/>x<sub>1<\/sub><sup>d<\/sup>&nbsp;+ \u00b7\u00b7\u00b7 + x<sub>n<\/sub><sup>d<\/sup>&nbsp;= \u03b2<sub>2<\/sub><\/em><em>has solution over&nbsp;<strong>F<\/strong><sub>p&nbsp;<sup>f<\/sup><\/sub>&nbsp;for any (\u03b2<sub>1<\/sub>,\u03b2<sub>2<\/sub>) \u2208&nbsp;<strong>F<\/strong><sup>2<\/sup><sub>p&nbsp;<sup>f<\/sup><\/sub>. We prove that, for p &gt; 3,<br \/>\u03b4(1, p<sup>i<\/sup>+1, p&nbsp;<sup>f<\/sup>&nbsp;) = 3 if and only if f \u2260 2i. We also give an example that proves that, for p = 3, \u03b4(1, 3<sup>i<\/sup>&nbsp;+1, 3<sup>f<\/sup>&nbsp;) \u2265 4.<\/em><br \/>\n<br \/>\nFinal version published in Finite Fields Appl., 14 (2008), 648-657.<\/li>\n<\/ul>\n<ul>\n<li><a name=\"DESSCEOFF\"><a href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2011\/04\/ExpSumsRevisedFinal1.pdf\" target=\"_blank\"><em>Divisibility of Exponential Sums and Solvability of Certain Equations Over Finite Fields<\/em>.<\/a>&nbsp;(2007). Francis N. Castro, Ivelisse M. Rubio, &amp; Jos\u00e9 M. Vega.<br \/>\n<br \/>\n<em><strong>Abstract<\/strong>: In [3], Carlitz determined conditions under which in finite families of polynomials have solutions in a finite field. In this paper we extend some of Carlitz\u2019s results by computing the exact&nbsp;p-divisibility of certain exponential sums. As a by-product we obtain an upper bound for the Waring number for polynomials over extensions of finite fields. <\/em><br \/>\n<br \/>\nFinal version published in Quart. J. Math. 00 (2007), 1\u201313; doi:10.1093\/qmath\/han013.<\/li>\n<\/ul>\n<h3>Student Projects<\/h3>\n<h4>Master Students<\/h4>\n<ul>\n<li><em><a href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2022\/09\/Tesis-UPRRP_Mate_SedaDamiani_2020.pdf\" target=\"_blank\">Solvability of systems of polynomial equations with multivariate polynomials as coefficients<\/a><\/em>. Thesis. (2020). Carlos Seda.<br \/>\n<br \/>\n<em><strong>Abstract: <\/strong> In [3] Castro, Moreno and Rubio generalize the results of Moreno-Moreno\u2019s theorem that gives a bound for the power of a prime p to divide the number of common zeros of the multivariate polynomials $F_1, &#8230;, F_t$ over a finite field $F_q$. This generalization regarded the coefficients of the polynomials to be uni-variate polynomials over a finite field instead of plain elements of the finite field. The result led to improve a theorem of Carlitz, for the estimation of the number of variables needed so that a system of polynomial equations with coefficients in $F_q[X]$ can have non-trivial zeros. We generalize the results of Castro, Moreno and Rubio to polynomials whose coefficients are multivariate polynomials over finite fields.<\/em><\/li>\n<\/ul>\n<h4>Undergraduate Students<\/h4>\n<ul>\n<li><em><a rel=\"noreferrer noopener\" href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2023\/01\/Articulo_Ingenios_Version_2-12.pdf\" target=\"_blank\">Solvability of Systems of Polynomial Equations over Finite Fields<\/a><\/em>.  Technical Report. (2014). Ram\u00f3n L. Collazo, Julio J.  de la Cruz &amp; Daniel E. Ram\u00edrez.<br \/>\n<br \/>\n<em><strong>Abstract:<\/strong> An important problem in mathematics is to determine if a system of polynomial equations has or not solutions over a given set. We study systems of polynomial equations over finite fields $F_p$, $p$ prime, and look for sufficient conditions that guarantee their solvability over the field. Using the covering method of (Castro &#038; Rubio, n.d.) we get conditions on the degrees of the terms that allow us to construct families of systems that have exact p-divisibility of the number of solutions and therefore guarantee the solvability of the system over the finite field.<\/em><\/li>\n<\/ul>\n<ul>\n<li><em><a rel=\"noreferrer noopener\" href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2011\/04\/LastVersionWNeditedIve.pdf\" target=\"_blank\">N\u00famero de Waring en Cuerpos Finitos<\/a><\/em>.  Technical Report. (2011). Zahir Mejias &amp; Jean-Karlo Accetta.<br \/>\n<br \/>\n<a rel=\"noreferrer noopener\" href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2011\/04\/Afiche-2.0.pdf\" target=\"_blank\">[Poster]<\/a>&nbsp;<a rel=\"noreferrer noopener\" href=\"http:\/\/ccom.uprrp.edu\/~labemmy\/Wordpress\/wp-content\/uploads\/2011\/04\/PRISM_last.pdf\" target=\"_blank\">[Slideshow]<\/a><br \/>\n<br \/>\n<em><strong>Abstract:<\/strong> El n\u00famero de Waring es el n\u00famero m\u00ednimo de variables que necesita una ecuaci\u00f3n de la forma &nbsp;x<sub>1<\/sub><sup>d<\/sup>&nbsp;+ \u00b7\u00b7\u00b7 + x<sub>n<\/sub><sup>d<\/sup>&nbsp;= \u03b2&nbsp; para que tenga soluci\u00f3n en los n\u00fameros naturales para cualquier valor de la constante en los n\u00fameros naturales. Trabajamos en el estudio de generalizaciones de este problema cuando los valores de la constante y las soluciones se definen en cuerpos finitos. Hemos desarrollado un programa para calcular el n\u00famero de Waring, y con el mismo hemos mejorado en resultados anteriormente publicados.<\/em><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Divisibility of Exponential Sums Publications The Covering Method for Exponential Sums and Some Applications. (2020). Ivelisse M. Rubio. Abstract: Exponential sums over finite fields are an important tool for solving mathematical problems and have applications to many other areas. However, &hellip; <a href=\"https:\/\/ccom.uprrp.edu\/~labemmy\/?page_id=1225\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":1222,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"onecolumn-page.php","meta":{"footnotes":""},"class_list":["post-1225","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/ccom.uprrp.edu\/~labemmy\/index.php?rest_route=\/wp\/v2\/pages\/1225","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ccom.uprrp.edu\/~labemmy\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/ccom.uprrp.edu\/~labemmy\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/ccom.uprrp.edu\/~labemmy\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/ccom.uprrp.edu\/~labemmy\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1225"}],"version-history":[{"count":49,"href":"https:\/\/ccom.uprrp.edu\/~labemmy\/index.php?rest_route=\/wp\/v2\/pages\/1225\/revisions"}],"predecessor-version":[{"id":2003,"href":"https:\/\/ccom.uprrp.edu\/~labemmy\/index.php?rest_route=\/wp\/v2\/pages\/1225\/revisions\/2003"}],"up":[{"embeddable":true,"href":"https:\/\/ccom.uprrp.edu\/~labemmy\/index.php?rest_route=\/wp\/v2\/pages\/1222"}],"wp:attachment":[{"href":"https:\/\/ccom.uprrp.edu\/~labemmy\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1225"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}