-
ALT: A software for readability analysis of Portuguese-language texts
Authors:
Gleice Carvalho de Lima Moreno,
Marco P. M. de Souza,
Nelson Hein,
Adriana Kroenke Hein
Abstract:
In the initial stage of human life, communication, seen as a process of social interaction, was always the best way to reach consensus between the parties. Understanding and credibility in this process are essential for the mutual agreement to be validated. But, how to do it so that this communication reaches the great mass? This is the main challenge when what is sought is the dissemination of in…
▽ More
In the initial stage of human life, communication, seen as a process of social interaction, was always the best way to reach consensus between the parties. Understanding and credibility in this process are essential for the mutual agreement to be validated. But, how to do it so that this communication reaches the great mass? This is the main challenge when what is sought is the dissemination of information and its approval. In this context, this study presents the ALT software, developed from original readability metrics adapted to the Portuguese language, available on the web, to reduce communication difficulties. The development of the software was motivated by the theory of communicative action of Habermas, which uses a multidisciplinary style to measure the credibility of the discourse in the communication channels used to build and maintain a safe and healthy relationship with the public.
△ Less
Submitted 8 October, 2022; v1 submitted 2 October, 2022;
originally announced October 2022.
-
ALT: um software para análise de legibilidade de textos em Língua Portuguesa
Authors:
Gleice Carvalho de Lima Moreno,
Marco P. M. de Souza,
Nelson Hein,
Adriana Kroenke Hein
Abstract:
In the initial stage of human life, communication, seen as a process of social interaction, was always the best way to reach consensus between the parties. Understanding and credibility in this process are essential for the mutual agreement to be validated. But, how to do it so that this communication reaches the great mass? This is the main challenge when what is sought is the dissemination of in…
▽ More
In the initial stage of human life, communication, seen as a process of social interaction, was always the best way to reach consensus between the parties. Understanding and credibility in this process are essential for the mutual agreement to be validated. But, how to do it so that this communication reaches the great mass? This is the main challenge when what is sought is the dissemination of information and its approval. In this context, this study presents the ALT software, developed from original readability metrics adapted to the Portuguese language, available on the web, to reduce communication difficulties. The development of the software was motivated by the theory of communicative action of Habermas, which uses a multidisciplinary style to measure the credibility of the discourse in the communication channels used to build and maintain a safe and healthy relationship with the public.
--
No estágio inicial da vida humana a comunicação, vista como um processo de interação social, foi sempre o melhor caminho para o consenso entre as partes. O entendimento e a credibilidade nesse processo são fundamentais para que o acordo mútuo seja validado. Mas, como fazê-lo de forma que essa comunicação alcance a grande massa? Esse é o principal desafio quando o que se busca é a difusão da informação e a sua aprovação. Nesse contexto, este estudo apresenta o software ALT, desenvolvido a partir de métricas de legibilidade originais adaptadas para a Língua Portuguesa, disponível na web, para reduzir as dificuldades na comunicação. O desenvolvimento do software foi motivado pela teoria do agir comunicativo de Habermas, que faz uso de um estilo multidisciplinar para medir a credibilidade do discurso nos canais de comunicação utilizados para construir e manter uma relação segura e saudável com o público.
△ Less
Submitted 27 August, 2022; v1 submitted 22 March, 2022;
originally announced March 2022.
-
Certification for Polynomial Systems via Square Subsystems
Authors:
Timothy Duff,
Nickolas Hein,
Frank Sottile
Abstract:
We consider numerical certification of approximate solutions to a system of polynomial equations with more equations than unknowns by first certifying solutions to a square subsystem. We give several approaches that certifiably select which are solutions to the original overdetermined system. These approaches each use different additional information for this certification, such as liaison, Newton…
▽ More
We consider numerical certification of approximate solutions to a system of polynomial equations with more equations than unknowns by first certifying solutions to a square subsystem. We give several approaches that certifiably select which are solutions to the original overdetermined system. These approaches each use different additional information for this certification, such as liaison, Newton-Okounkov bodies, or intersection theory. They may be used to certify individual solutions, reject nonsolutions, or certify that we have found all solutions.
△ Less
Submitted 5 July, 2020; v1 submitted 6 December, 2018;
originally announced December 2018.
-
Variations of the Catalan numbers from some nonassociative binary operations
Authors:
Nickolas Hein,
Jia Huang
Abstract:
We investigate certain nonassociative binary operations that satisfy a four-parameter generalization of the associative law. From this we obtain variations of the ubiquitous Catalan numbers and connections to many interesting combinatorial objects such as binary trees, plane trees, lattice paths, and permutations.
We investigate certain nonassociative binary operations that satisfy a four-parameter generalization of the associative law. From this we obtain variations of the ubiquitous Catalan numbers and connections to many interesting combinatorial objects such as binary trees, plane trees, lattice paths, and permutations.
△ Less
Submitted 21 October, 2021; v1 submitted 12 July, 2018;
originally announced July 2018.
-
Modular Catalan Numbers
Authors:
Nickolas Hein,
Jia Huang
Abstract:
The Catalan number $C_n$ enumerates parenthesizations of $x_0*\dotsb*x_n$ where $*$ is a binary operation. We introduce the modular Catalan number $C_{k,n}$ to count equivalence classes of parenthesizations of $x_0*\dotsb*x_n$ when $*$ satisfies a $k$-associative law generalizing the usual associativity. This leads to a study of restricted families of Catalan objects enumerated by $C_{k,n}$ with e…
▽ More
The Catalan number $C_n$ enumerates parenthesizations of $x_0*\dotsb*x_n$ where $*$ is a binary operation. We introduce the modular Catalan number $C_{k,n}$ to count equivalence classes of parenthesizations of $x_0*\dotsb*x_n$ when $*$ satisfies a $k$-associative law generalizing the usual associativity. This leads to a study of restricted families of Catalan objects enumerated by $C_{k,n}$ with emphasis on binary trees, plane trees, and Dyck paths, each avoiding certain patterns. We give closed formulas for $C_{k,n}$ with two different proofs. For each $n\ge0$ we compute the largest size of $k$-associative equivalence classes and show that the number of classes with this size is a Catalan number.
△ Less
Submitted 10 November, 2016; v1 submitted 7 August, 2015;
originally announced August 2015.
-
A lifted square formulation for certifiable Schubert calculus
Authors:
Nickolas Hein,
Frank Sottile
Abstract:
Formulating a Schubert problem as the solutions to a system of equations in either Plücker space or in the local coordinates of a Schubert cell usually involves more equations than variables. Using reduction to the diagonal, we previously gave a primal-dual formulation for Schubert problems that involved the same number of variables as equations (a square formulation). Here, we give a different sq…
▽ More
Formulating a Schubert problem as the solutions to a system of equations in either Plücker space or in the local coordinates of a Schubert cell usually involves more equations than variables. Using reduction to the diagonal, we previously gave a primal-dual formulation for Schubert problems that involved the same number of variables as equations (a square formulation). Here, we give a different square formulation by lifting incidence conditions which typically involves fewer equations and variables. Our motivation is certification of numerical computation using Smale's α-theory.
△ Less
Submitted 8 July, 2015; v1 submitted 4 April, 2015;
originally announced April 2015.
-
A primal-dual formulation for certifiable computations in Schubert calculus
Authors:
Jonathan D. Hauenstein,
Nickolas Hein,
Frank Sottile
Abstract:
Formulating a Schubert problem as the solutions to a system of equations in either Plücker space or in the local coordinates of a Schubert cell typically involves more equations than variables. We present a novel primal-dual formulation of any Schubert problem on a Grassmannian or flag manifold as a system of bilinear equations with the same number of equations as variables. This formulation enabl…
▽ More
Formulating a Schubert problem as the solutions to a system of equations in either Plücker space or in the local coordinates of a Schubert cell typically involves more equations than variables. We present a novel primal-dual formulation of any Schubert problem on a Grassmannian or flag manifold as a system of bilinear equations with the same number of equations as variables. This formulation enables numerical computations in the Schubert calculus to be certified using algorithms based on Smale's α-theory.
△ Less
Submitted 20 March, 2015; v1 submitted 3 June, 2014;
originally announced June 2014.
-
A congruence modulo four in real Schubert calculus with isotropic flags
Authors:
Nickolas Hein,
Frank Sottile,
Igor Zelenko
Abstract:
We previously obtained a congruence modulo four for the number of real solutions to many Schubert problems on a square Grassmannian given by osculating flags. Here, we consider Schubert problems given by more general isotropic flags, and prove this congruence modulo four for the largest class of Schubert problems that could be expected to exhibit this congruence.
We previously obtained a congruence modulo four for the number of real solutions to many Schubert problems on a square Grassmannian given by osculating flags. Here, we consider Schubert problems given by more general isotropic flags, and prove this congruence modulo four for the largest class of Schubert problems that could be expected to exhibit this congruence.
△ Less
Submitted 5 February, 2015; v1 submitted 29 May, 2014;
originally announced May 2014.
-
Lower Bounds in Real Schubert Calculus
Authors:
Nickolas Hein,
Christopher J. Hillar,
Frank Sottile
Abstract:
We describe a large-scale computational experiment to study structure in the numbers of real solutions to osculating instances of Schubert problems. This investigation uncovered Schubert problems whose computed numbers of real solutions variously exhibit nontrivial upper bounds, lower bounds, gaps, and a congruence modulo four. We present a family of Schubert problems, one in each Grassmannian, an…
▽ More
We describe a large-scale computational experiment to study structure in the numbers of real solutions to osculating instances of Schubert problems. This investigation uncovered Schubert problems whose computed numbers of real solutions variously exhibit nontrivial upper bounds, lower bounds, gaps, and a congruence modulo four. We present a family of Schubert problems, one in each Grassmannian, and prove their osculating instances have the observed lower bounds and gaps.
△ Less
Submitted 20 August, 2013;
originally announced August 2013.
-
Reality and Computation in Schubert Calculus
Authors:
Nickolas Hein
Abstract:
The Mukhin-Tarasov-Varchenko Theorem (previously the Shapiro Conjecture) asserts that a Schubert problem has all solutions distinct and real if the Schubert varieties involved osculate a rational normal curve at real points. This sparked interest in real osculating Schubert calculus, and computations played a large role in develo** the surrounding theory. We uncover generalizations of the Mukhin…
▽ More
The Mukhin-Tarasov-Varchenko Theorem (previously the Shapiro Conjecture) asserts that a Schubert problem has all solutions distinct and real if the Schubert varieties involved osculate a rational normal curve at real points. This sparked interest in real osculating Schubert calculus, and computations played a large role in develo** the surrounding theory. We uncover generalizations of the Mukhin-Tarasov-Varchenko Theorem, proving them when possible. We also improve the state of the art of computationally solving Schubert problems, allowing us to more effectively study ill-understood phenomena in Schubert calculus.
We use supercomputers to methodically solve real osculating instances of Schubert problems. By studying over 300 million instances of over 700 Schubert problems, we amass data significant enough to reveal possible generalizations of the Mukhin-Tarasov-Varchenko Theorem and compelling enough to support our conjectures. Combining algebraic geometry and combinatorics, we prove some of these conjectures. To improve the efficiency of solving Schubert problems, we reformulate an instance of a Schubert problem as the solution set to a square system of equations in a higher-dimensional space.
During our investigation, we found the number of real solutions to an instance of a symmetrically defined Schubert problem is congruent modulo four to the number of complex solutions. We prove this congruence, giving a new invariant in enumerative real algebraic geometry. We also discovered a family of Schubert problems whose number of real solutions to a real osculating instance has a lower bound depending only on the number of defining flags with real osculation points.
△ Less
Submitted 7 July, 2013;
originally announced July 2013.
-
Certifiable Numerical Computations in Schubert Calculus
Authors:
Jonathan D. Hauenstein,
Nickolas Hein,
Frank Sottile
Abstract:
Traditional formulations of geometric problems from the Schubert calculus, either in Plucker coordinates or in local coordinates provided by Schubert cells, yield systems of polynomials that are typically far from complete intersections and (in local coordinates) typically of degree exceeding two. We present an alternative primal-dual formulation using parametrizations of Schubert cells in the dua…
▽ More
Traditional formulations of geometric problems from the Schubert calculus, either in Plucker coordinates or in local coordinates provided by Schubert cells, yield systems of polynomials that are typically far from complete intersections and (in local coordinates) typically of degree exceeding two. We present an alternative primal-dual formulation using parametrizations of Schubert cells in the dual Grassmannians in which intersections of Schubert varieties become complete intersections of bilinear equations. This formulation enables the numerical certification of problems in the Schubert calculus.
△ Less
Submitted 13 December, 2012;
originally announced December 2012.
-
A congruence modulo four in real Schubert calculus
Authors:
Nickolas Hein,
Frank Sottile,
Igor Zelenko
Abstract:
We establish a congruence modulo four in the real Schubert calculus on the Grassmannian of m-planes in 2m-space. This congruence holds for fibers of the Wronski map and a generalization to what we call symmetric Schubert problems. This strengthens the usual congruence modulo two for numbers of real solutions to geometric problems. It also gives examples of geometric problems given by fibers of a m…
▽ More
We establish a congruence modulo four in the real Schubert calculus on the Grassmannian of m-planes in 2m-space. This congruence holds for fibers of the Wronski map and a generalization to what we call symmetric Schubert problems. This strengthens the usual congruence modulo two for numbers of real solutions to geometric problems. It also gives examples of geometric problems given by fibers of a map whose topological degree is zero but where each fiber contains real points.
△ Less
Submitted 2 December, 2013; v1 submitted 30 November, 2012;
originally announced November 2012.
-
The monotone secant conjecture in the real Schubert calculus
Authors:
Nickolas Hein,
Christopher J. Hillar,
Abraham Martin del Campo,
Frank Sottile,
Zach Teitler
Abstract:
The monotone secant conjecture posits a rich class of polynomial systems, all of whose solutions are real. These systems come from the Schubert calculus on flag manifolds, and the monotone secant conjecture is a compelling generalization of the Shapiro conjecture for Grassmannians (Theorem of Mukhin, Tarasov, and Varchenko). We present some theoretical evidence for this conjecture, as well as comp…
▽ More
The monotone secant conjecture posits a rich class of polynomial systems, all of whose solutions are real. These systems come from the Schubert calculus on flag manifolds, and the monotone secant conjecture is a compelling generalization of the Shapiro conjecture for Grassmannians (Theorem of Mukhin, Tarasov, and Varchenko). We present some theoretical evidence for this conjecture, as well as computational evidence obtained by 1.9 teraHertz-years of computing, and we discuss some of the phenomena we observed in our data.
△ Less
Submitted 18 October, 2014; v1 submitted 15 September, 2011;
originally announced September 2011.
-
The Secant Conjecture in the real Schubert calculus
Authors:
Luis Garcia-Puente,
Nickolas Hein,
Christopher J. Hillar,
Abraham Martin del Campo,
James Ruffo,
Frank Sottile,
Zach Teitler
Abstract:
We formulate the Secant Conjecture, which is a generalization of the Shapiro Conjecture for Grassmannians. It asserts that an intersection of Schubert varieties in a Grassmannian is transverse with all points real, if the flags defining the Schubert varieties are secant along disjoint intervals of a rational normal curve. We present theoretical evidence for it as well as computational evidence obt…
▽ More
We formulate the Secant Conjecture, which is a generalization of the Shapiro Conjecture for Grassmannians. It asserts that an intersection of Schubert varieties in a Grassmannian is transverse with all points real, if the flags defining the Schubert varieties are secant along disjoint intervals of a rational normal curve. We present theoretical evidence for it as well as computational evidence obtained in over one terahertz-year of computing, and we discuss some phenomena we observed in our data.
△ Less
Submitted 24 January, 2012; v1 submitted 4 October, 2010;
originally announced October 2010.
