English
Related papers

Related papers: Effective obstruction to lifting Tate classes from…

200 papers

We propose a hybrid image-space/object-space solution to the classical hidden surface removal problem: Given n disjoint triangles in Real^3 and p sample points (``pixels'') in the xy-plane, determine the first triangle directly behind each…

Computational Geometry · Computer Science 2007-05-23 Jeff Erickson

We compute the class of arithmetic genus two Teichmueller curves in the Picard group of pseudo-Hilbert modular surfaces, distinguished according to their torsion order and spin invariant. As an application, we compute the number of genus…

Algebraic Geometry · Mathematics 2015-04-03 André Kappes , Martin Moeller

G.W. Mackey's celebrated obstruction theory for projective representations of locally compact groups was remarkably generalized by J. M. G. Fell and R. S. Doran to the wide area of saturated Banach *-algebraic bundles. Analogous obstruction…

Rings and Algebras · Mathematics 2025-08-08 Yuval Ginosar

We consider non-convex stochastic optimization using first-order algorithms for which the gradient estimates may have heavy tails. We show that a combination of gradient clipping, momentum, and normalized gradient descent yields convergence…

Machine Learning · Computer Science 2021-11-10 Ashok Cutkosky , Harsh Mehta

When the objective has Lipschitz continuous $p$th-order derivatives, it is known that convex-concave minimax problems can be solved with $\mathcal{O}(\epsilon^{-2/(p+1)})$ $p$th-order oracle calls. This complexity upper bound was speculated…

Optimization and Control · Mathematics 2026-04-22 Lesi Chen , Xinliang Zhang , Chengchang Liu , Junru Li , Luo Luo , Jingzhao Zhang

We discuss the role of primes of good reduction in the existence of the Brauer--Manin obstruction to weak approximation for varieties defined over number fields. Following Bright and Newton, we give some necessaries conditions on the…

Number Theory · Mathematics 2025-09-17 Margherita Pagano

Doust and Weston introduced a new method called "enhanced negative type" for calculating a non trivial lower bound p(T) on the supremal strict p-negative type of any given finite metric tree (T,d). In the context of finite metric trees any…

Functional Analysis · Mathematics 2009-11-03 Hanfeng Li , Anthony Weston

We present a general shape optimisation framework based on the method of mappings in the $W^{1,\infty}$ topology. We propose steepest descent and Newton-like minimisation algorithms for the numerical solution of the respective shape…

Optimization and Control · Mathematics 2025-06-02 Klaus Deckelnick , Philip J. Herbert , Michael Hinze

(First-order) transductions are a basic notion capturing graph modifications that can be described in first-order logic. In this work, we propose an efficient algorithmic method to approximately reverse the application of a transduction,…

Logic in Computer Science · Computer Science 2026-01-22 Jan Dreier , Jakub Gajarský , Michał Pilipczuk

This paper is devoted to the explicit description of the Galois descent obstruction for hyperelliptic curves of arbitrary genus whose reduced automorphism group is cyclic of order coprime to the characteristic of their ground field. Along…

Algebraic Geometry · Mathematics 2017-01-06 Reynald Lercier , Christophe Ritzenthaler , Jeroen Sijsling

Under some mild assumptions, an orientation-preserving branched covering map of marked $2$-spheres induces a pullback map between the corresponding Teichm\"uller spaces. By analyzing the associated pushforward operator acting on integrable…

Dynamical Systems · Mathematics 2022-12-01 Khashayar Filom

Optimizing an implicational base of a closure system consists in turning this implicational base into an equivalent one with premises and conclusions as small as possible. This task is known to be hard in general but tractable for a number…

Combinatorics · Mathematics 2026-03-17 Anthony Meunier , Lhouari Nourine , Simon Vilmin

Given a satisfiable instance of 1-in-3 SAT, it is NP-hard to find a satisfying assignment for it, but it may be possible to efficiently find a solution subject to a weaker (not necessarily Boolean) predicate than `1-in-3'. There is a…

Computational Complexity · Computer Science 2025-08-21 Andrei Krokhin , Danny Vagnozzi

Garnero et al. [SIAM J. Discrete Math. 2015, 29(4):1864--1894] recently introduced a framework based on dynamic programming to make applications of the protrusion replacement technique constructive and to obtain explicit upper bounds on the…

Data Structures and Algorithms · Computer Science 2016-09-30 Bart M. P. Jansen , Jules J. H. M. Wulms

Let $E$ be the elliptic curve $y^2=x(x+1)(x+t)$ over the field $\Fp(t)$ where $p$ is an odd prime. We study the arithmetic of $E$ over extensions $\Fq(t^{1/d})$ where $q$ is a power of $p$ and $d$ is an integer prime to $p$. The rank of $E$…

Number Theory · Mathematics 2013-12-12 Ricardo Conceição , Chris Hall , Douglas Ulmer

In mixed characteristic and in equal characteristic $p$ we define a filtration on topological Hochschild homology and its variants. This filtration is an analogue of the filtration of algebraic $K$-theory by motivic cohomology. Its graded…

Algebraic Geometry · Mathematics 2019-04-10 Bhargav Bhatt , Matthew Morrow , Peter Scholze

We study non-isotrivial families of $K3$ surfaces in positive characteristic $p$ whose geometric generic fibers satisfy $\rho\geq21-2h$ and $h\geq3$, where $\rho$ is the Picard number and $h$ is the height of the formal Brauer group. We…

Algebraic Geometry · Mathematics 2017-08-01 Kazuhiro Ito

This paper investigates a category of constrained fractional optimization problems that emerge in various practical applications. The objective function for this category is characterized by the ratio of a numerator and denominator, both…

Optimization and Control · Mathematics 2026-05-28 Yizun Lin , Jian-Feng Cai , Zhao-Rong Lai , Cheng Li

We consider the minimization of a continuous function over the intersection of a regular cone with an affine set via a new class of adaptive first- and second-order optimization methods, building on the Hessian-barrier techniques introduced…

Optimization and Control · Mathematics 2022-10-18 Pavel Dvurechensky , Mathias Staudigl

We describe a method to compute the Brauer-Manin obstruction for smooth cubic surfaces over $\bbQ$ such that $\Br(S)/\Br(\bbQ)$ is of order two or four. This covers the vast majority of the cases when this group is non-zero. Our approach is…

Algebraic Geometry · Mathematics 2010-11-08 Andreas-Stephan Elsenhans , Jörg Jahnel