English
Related papers

Related papers: Imaginaries, invariant types and pseudo p-adically…

200 papers

The ability to represent complex high dimensional probability distributions in a compact form is one of the key insights in the field of graphical models. Factored representations are ubiquitous in machine learning and lead to major…

Artificial Intelligence · Computer Science 2016-06-23 Yexiang Xue , Stefano Ermon , Ronan Le Bras , Carla P. Gomes , Bart Selman

In existing literature, while approximate approaches based on Monte-Carlo simulation technique have been proposed to compute the semantics of probabilistic argumentation, how to improve the efficiency of computation without using simulation…

Artificial Intelligence · Computer Science 2017-10-25 Beishui Liao , Kang Xu , Huaxin Huang

We investigate the isomorphism problem in the setting of definable sets (equivalent to sets with atoms): given two definable relational structures, are they related by a definable isomorphism? Under mild assumptions on the underlying…

Logic in Computer Science · Computer Science 2023-06-22 Khadijeh Keshvardoost , Bartek Klin , Sławomir Lasota , Joanna Ochremiak , Szymon Toruńczyk

We give an algebraic characterization of the affine $3$-space over an algebraically closed field of arbitrary characteristic. We use this characterization to reformulate the following question. Let $$A=k[X, Y, Z, T]/(XY+Z^{p^e}+T+T^{sp})$$…

Commutative Algebra · Mathematics 2024-05-07 P. M. S. Sai Krishna

We prove a triangulation theorem for semi-algebraic sets over a p-adically closed field, quite similar to its real counterpart. We derive from it several applications like the existence of flexible retractions and splitting for…

Geometric Topology · Mathematics 2018-12-26 Luck Darnière

Let $Y$ be a complex algebraic variety, $G \curvearrowright Y$ an action of an algebraic group on $Y$, $U \subseteq Y({\mathbb C})$ a complex submanifold, $\Gamma < G({\mathbb C})$ a discrete, Zariski dense subgroup of $G({\mathbb C})$…

Logic · Mathematics 2014-08-25 Thomas Scanlon

We introduce a notion of refinements in the context of patching, in order to obtain new results about local-global principles and field invariants in the context of quadratic forms and central simple algebras. The fields we consider are…

Rings and Algebras · Mathematics 2018-05-11 David Harbater , Julia Hartmann , Daniel Krashen

We continue our local analysis of groups interpretable in various dp-minimal valued fields, as introduced in [8]. We associate with every infinite group $G$ interpretable in those fields an infinite type-definable infinitesimal subgroup…

Logic · Mathematics 2025-02-13 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

We prove p-adic functoriality for inner forms of unitary groups in three variables by establishing the existence of morphisms between eigenvarieties that extend the classical Langlands functoriality.

Number Theory · Mathematics 2014-09-24 Judith Ludwig

Let $\widetilde{\mathcal M}=\langle \mathcal M, P\rangle$ be an expansion of an o-minimal structure $\mathcal M$ by a dense set $P\subseteq M$, such that three tameness conditions hold. We prove that the induced structure on $P$ by…

Logic · Mathematics 2018-12-21 Pantelis E. Eleftheriou

We introduce new motivic invariants of arbitrary varieties over a perfect field. These cohomological invariants take values in the category of one-motives (considered up to isogeny in positive characteristic). The algebraic definition of…

Algebraic Geometry · Mathematics 2015-06-29 Niranjan Ramachandran

For any prime number p and any positive real number {\alpha}, we construct a finitely generated group {\Gamma} with p-gradient equal to {\alpha}. This construction is used to show that there exist uncountably many pairwise non-commensurable…

Group Theory · Mathematics 2013-01-22 Nathaniel Pappas

The structure of integrable field theories in the presence of defects is discussed in terms of boundary functions under the Lagrangian formalism. Explicit examples of bosonic and fermionic theories are considered. In particular, the…

High Energy Physics - Theory · Physics 2008-11-26 J. F. Gomes , L. H. Ymai , A. H. Zimerman

The paper introduces a generalization for known probabilistic models such as log-linear and graphical models, called here multiplicative models. These models, that express probabilities via product of parameters are shown to capture…

Artificial Intelligence · Computer Science 2012-06-18 Ydo Wexler , Christopher Meek

Recall that a group $G$ has finitely satisfiable generics ($fsg$) or definable $f$-generics ($dfg$) if there is a global type $p$ on $G$ and a small model $M_0$ such that every left translate of $p$ is finitely satisfiable in $M_0$ or…

Logic · Mathematics 2022-08-23 Will Johnson , Ningyuan Yao

We describe a general method to determine the Apery limits of a differential equation that have a modular-function origin. As a by-product of our analysis, we discover a family of identities involving the special values of L-functions…

Number Theory · Mathematics 2015-05-13 Yifan Yang

We describe the design of a quantifier elimination framework for the complex numbers in the language of ordered rings supplemented with symbols for the imaginary unit, real parts, imaginary parts, and conjugates. Technically, we use a…

Symbolic Computation · Computer Science 2026-04-30 Nicolas Faroß , Thomas Sturm

An extension of the Field-Antifield formalism to treat anomalous gauge theories with a closed, irreducible classical gauge algebra is proposed. Introducing extra degrees of freedom, we construct the gauge transformations for these new…

High Energy Physics - Theory · Physics 2016-08-14 Joaquim Gomis , Jordi París

Let $F$ be an algebraically closed field of characteristic $p$. We fashion an infinite dimensional basic algebra $\underleftarrow{\mathcal{C}}_p(F)$, with a transparent combinatorial structure, which we expect to control the rational…

Representation Theory · Mathematics 2008-09-08 Vanessa Miemietz , Will Turner

We give a criterion of integrality of an one-dimensional formal group law in terms of congruences satisfied by the coefficients of the canonical invariant differential. For an integral formal group law a p-adic analytic formula for the…

Number Theory · Mathematics 2018-07-05 Masha Vlasenko