Related papers: The Hurwitz tree obstruction for the refined local…

This work considers a number of optimization problems and reductive relations between them. The two main problems we are interested in are the \emph{Optimal Decision Tree} and \emph{Set Cover}. We study these two fundamental tasks under…

In this paper we are concerned with three lattice problems: the lattice packing problem, the lattice covering problem and the lattice packing-covering problem. One way to find optimal lattices for these problems is to enumerate all finitely…

The problem of toroidalization is to construct a toroidal lifting of a dominant morphism $\varphi:X\to Y$ of algebraic varieties by blowing up in the target and domain. This paper contains a solution to this problem when $\varphi$ is…

In this paper we study the deformation theory of submanifolds characterized by a system of differential forms and provide a criterion for deformations of such submanifolds to be unobstructed. We apply this deformation theory to special…

We define an obstruction for a knot to be Z[Z]-homology ribbon, and use this to provide restrictions on the integers that can occur as the triple linking numbers of derivative links of knots that are either homotopy ribbon or doubly slice.…

The aim of this paper is to show how a weakly dispersive perturbation of the inviscid Burgers equation improve (enlarge) the space of resolution of the local Cauchy problem. More generally we will review several problems arising from weak…

Following [GS22], [LM20] and [CWX20], we study the Brauer-Manin obstruction for integral points on similar Markoff-type cubic surfaces. In particular, we construct a family of counterexamples to strong approximation which can be explained…

This paper tackles the problem of the existence of solutions for recursive systems of Horn clauses with second-order variables interpreted as integer relations, and harnessed by quantifier-free difference bounds arithmetic. We start by…

When extended to two-phase flows, weakly compressible models lead to a non-conservative system, which precludes its treatment using standard finite volume techniques. In this paper, a novel HLLC-type path-conservative scheme is formulated…

Rice's theorem shows that nontrivial extensional properties of partial recursive functions are undecidable. For finite weighted Boolean optimization/CSP-style slices, a Rice-style structural analogue holds for tractability classification:…

This paper deals with the recoverable robust spanning tree problem under interval uncertainty representations. A polynomial time, combinatorial algorithm for the recoverable spanning tree problem is first constructed. This problem…

We solve the local lifting problem for the alternating group A_4, thus showing that it is a local Oort group. Specifically, if k is an algebraically closed field of characteristic 2, we prove that every A_4-extension of k[[s]] lifts to…

We develop a formalism of cohomological descent encoding adelic points and obstructions to local-global principle on algebraic stacks. As an application, by constructing new obstructions using the formalism, we obtain some comparison…

Algorithms for partition refinement are actively studied for a variety of systems, often with the optimisation called Hopcroft's trick. However, the low-level description of those algorithms in the literature often obscures the essence of…

This paper deals with the periodic homogenization of nonlocal parabolic Hamilton-Jacobi equations with superlinear growth in the gradient terms. We show that the problem presents different features depending on the order of the nonlocal…

This paper extends some results of Hatcher and Quinn beyond the metastable range. We give a bordism theoretic obstruction to deforming a map between manifolds simultaneously off of a collection of pairwise disjoint submanifolds under the…

We study some problems related to lazy 2-cocycles, such as: extension of (lazy) 2-cocycles to a Drinfeld double and to a Radford biproduct, Yetter-Drinfeld data obtained from lazy 2-cocycles, lifting of projective representations afforded…

We develop robust solvers for a class of perturbed saddle-point problems arising in the study of a second-order elliptic equation in mixed form (in terms of flux and potential), and of the four-field formulation of Biot's consolidation…

We consider a double layered prestrained elastic rod in the limit of vanishing cross section. For the resulting limit Kirchoff-rod model with intrinsic curvature we prove a supercritical bifurcation result, rigorously showing the emergence…

Prime power fold cyclic branched covers along smoothly slice knots all bound rational homology balls. This phenomenon, however, does not characterize slice knots. In this paper, we give a new construction of non-slice knots that have the…