相关论文: Effective Hasse principle for the intersection of …

The Swift-Hohenberg equation (SHE) is a partial differential equation that explains how patterns emerge from a spatially homogeneous state. It has been widely used in the theory of pattern formation. Following a recent study by Bramburger…

Recently, a method to compute the implicit equation of a parametrized hypersurface has been developed by the authors. We address here some questions related to this method. First, we prove that the degree estimate for the stabilization of…

We prove the existence of chaotic motions in a planar restricted four body problem, establishing that the system is not integrable. The idea of the proof is to verify the hypotheses of a topological forcing theorem. The forcing theorem…

An algebraic multilevel iteration method for solving system of linear algebraic equations arising in $H(\mathrm{curl})$ and $H(\mathrm{div})$ spaces are presented. The algorithm is developed for the discrete problem obtained by using the…

A Kloosterman refinement for function fields $K=\mathbb{F}_q(t)$ is developed and used to establish the quantitative arithmetic of the set of rational points on a smooth complete intersection of two quadrics $X\subset \mathbb{P}^{n-1}_{K}$…

We prove the existence of uncountably many positive harmonic functions for random walks on the euclidean lattice with non-zero drift, killed when leaving two dimensional convex cones with vertex in 0. Our proof is an adaption of the proof…

We study efficient combinatorial algorithms to produce the Hasse diagram of the poset of bounded faces of an unbounded polyhedron, given vertex-facet incidences. We also discuss the special case of simple polyhedra and present computational…

In an article from 1865, Arthur Cayley claims that given a plane algebraic curve there exists an associated 2-Hessian curve that intersects it in its sextactic points. In this paper we fix an error in Cayley's calculations and provide the…

This paper gives a decision procedure for the validity of en- tailment of symbolic heaps in separation logic with Presburger arithmetic and arrays. The correctness of the decision procedure is proved under the condition that sizes of arrays…

We present two tools, which could be useful in determining whether or not a non-Homogenous Linear Recurrence can reach a desired rational. First, we derive the determinant that is equal to the ith term in a non-Homogenous Linear Recurrence.…

In this paper, we present sufficient conditions ensuring that the sum of the image of quadratic functions and the nonnegative orthant is convex. The hidden convexity of the trust-region problem with linear inequality constraints is…

Active set method aims to find the correct active set of the optimal solution and it is a powerful method for solving strictly convex quadratic problem with bound constraints. To guarantee the finite step convergence, the existing active…

In this paper we try to further explore the linear model of the moduli of rational maps. Our attempt yields following results. Let $X\subset \mathbf P^n$ be a generic hypersurface of degree $h$. Let $R_d(X, h)$ denote the open set of the…

Motivated by a recent question of Peyre, we apply the Hardy-Littlewood circle method to count "sufficiently free" rational points of bounded height on arbitrary smooth projective hypersurfaces of low degree that are defined over the…

We present novel fully-symmetric quadrature rules with positive weights and strictly interior nodes of degrees up to 84 on triangles and 40 on tetrahedra. Initial guesses for solving the nonlinear systems of equations needed to derive…

This article investigates a fast and stable method to solve Henderson's mixed model equation. The proposed algorithm is stable in that it avoids inverting a matrix of a large dimension and hence is free from the curse of dimensionality.…

Let $A$ be a rational function of degree at least two on the Riemann sphere. We say that $A$ is tame if the algebraic curve $A(x)-A(y)=0$ has no factors of genus zero or one distinct from the diagonal. In this paper, we show that if tame…

In this work we present a new simple but efficient scheme - Subsquares approach - for development of algorithms for enclosing the solution set of overdetermined interval linear systems. We are going to show two algorithms based on this…

In 1890 German mathematician and physicist W. Hess found new special case of integrability of Euler - Poisson equations of motion of a heavy rigid body with a fixed point. In 1892 P. A. Nekrasov proved that the solution of the problem of…

This paper studies algebraic residual intersections in rings with Serre's condition \( S_{s} \). It demonstrates that residual intersections admit free approaches i.e. perfect subideal with the same radical. This fact leads to determining a…