English
Related papers

Related papers: Basis discrepancies for extensions of valued field…

200 papers

We consider deformations of bounded complexes of modules for a profinite group G over a field of positive characteristic. We prove a finiteness theorem which provides some sufficient conditions for the versal deformation of such a complex…

Number Theory · Mathematics 2013-09-03 Frauke M. Bleher , Ted Chinburg

While recent years have witnessed the emergence of various explainable methods in machine learning, to what degree the explanations really represent the reasoning process behind the model prediction -- namely, the faithfulness of…

Computation and Language · Computer Science 2021-09-07 Yingqiang Ge , Shuchang Liu , Zelong Li , Shuyuan Xu , Shijie Geng , Yunqi Li , Juntao Tan , Fei Sun , Yongfeng Zhang

The aim of this paper is to argue that the "preferred basis problem" is not a real problem in measurement. We will show that, given an apparatus, among the infinite corrrelations that can be established in the final state by means of a…

Quantum Physics · Physics 2008-12-02 L. Vanni , R. Laura

An extension $K/k$ of analytic (i.e. real valued complete) fields is called small if it is topologically-algebraically generated by finitely many elements. We prove that this property is inherited by subextensions and hence topological…

Algebraic Geometry · Mathematics 2025-11-04 Michael Temkin

This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation taking into account the existence of consistent arguments in favor of a conclusion and the…

Artificial Intelligence · Computer Science 2013-03-08 Salem Benferhat , Didier Dubois , Henri Prade

In an error estimation of finite element solutions to the Poisson equation, we usually impose the shape regularity assumption on the meshes to be used. In this paper, we show that even if the shape regularity condition is violated, the…

Numerical Analysis · Mathematics 2024-08-19 Kenta Kobayashi , Takuya Tsuchiya

This work presents author's explicit methods of constructing abelian extensions of complete discrete valuation fields. His approach to explicit equations of a cyclic extension of degree p^n which contains a given cyclic extension of degree…

Number Theory · Mathematics 2009-09-25 Igor Zhukov

We give a completely normal element in the maximal real subfield of a cyclotomic field over the field of rational numbers, which is different from that of Okada. This result is a consequence of the criterion for a normal element developed…

Number Theory · Mathematics 2011-11-29 Ja Kung Koo , Dong Hwa Shin

In order to ensure the reliability of the explanations of machine learning models, it is crucial to establish their advantages and limits and in which case each of these methods outperform. However, the current understanding of when and how…

Machine Learning · Computer Science 2025-02-12 Célia Wafa Ayad , Thomas Bonnier , Benjamin Bosch , Sonali Parbhoo , Jesse Read

We investigate distality and existence of distal expansions in valued fields and related structures. In particular, we characterize distality in a large class of ordered abelian groups, provide an AKE-style characterization for henselian…

Logic · Mathematics 2022-02-22 Matthias Aschenbrenner , Artem Chernikov , Allen Gehret , Martin Ziegler

This paper gives a survey on a valuation theoretical approach to local uniformization in positive characteristic, the model theory of valued fields in positive characteristic, and their connection with the valuation theoretical phenomenon…

Commutative Algebra · Mathematics 2013-04-02 Franz-Viktor Kuhlmann

We prove that a valued field of positive characteristic $p$ that has only finitely many distinct Artin-Schreier extensions (which is a property of infinite NTP$_2$ fields) is dense in its perfect hull. As a consequence, it is a deeply…

Commutative Algebra · Mathematics 2021-01-14 Franz-Viktor Kuhlmann

In this paper, we show that a partitioned formula \phi is dependent if and only if \phi has uniform definability of types over finite partial order indiscernibles. This generalizes our result from a previous paper [1]. We show this by…

Logic · Mathematics 2011-08-12 Vincent Guingona

For every natural number $m$, the existentially closed models of the theory of fields with $m$ commuting derivations can be given a first-order geometric characterization in several ways. In particular, the theory of these differential…

Logic · Mathematics 2013-01-04 David Pierce

Intuitively speaking, a classical field theory is background-independent if the structure required to make sense of its equations is itself subject to dynamical evolution, rather than being imposed ab initio. The aim of this paper is to…

General Relativity and Quantum Cosmology · Physics 2015-05-28 Gordon Belot

The paper shows that matching without replacement on propensity scores produces estimators that generally are inconsistent for the average treatment effect of the treated. To achieve consistency, practitioners must either assume that no…

Econometrics · Economics 2021-06-21 Fredrik Sävje

There are several equivalent characterizations of the valuation rank of an ordered or valued field. In this paper, we extend the theory to the case of an ordered or valued {\it difference} field (that is, ordered or valued field endowed…

Logic · Mathematics 2018-11-08 Salma Kuhlmann , Mickael Matusinski , Francoise Point

We prove the explicit characterization of the so-called "best f" for degree $p$ Artin-Schreier and degree $p$ Kummer extensions of Henselian valuation rings in residue characteristic $p$. This characterization is mentioned briefly in [Th16,…

Commutative Algebra · Mathematics 2024-04-03 Vaidehee Thatte

This note aims at obtaining a variational characterization of complex structures by means of a calculus of variations for real vector bundle valued differential forms, and outlines a perspective to study existence questions via functionals…

Differential Geometry · Mathematics 2022-02-17 Gabriella Clemente

Feature based explanations, that provide importance of each feature towards the model prediction, is arguably one of the most intuitive ways to explain a model. In this paper, we establish a novel set of evaluation criteria for such feature…

Machine Learning · Computer Science 2021-04-12 Cheng-Yu Hsieh , Chih-Kuan Yeh , Xuanqing Liu , Pradeep Ravikumar , Seungyeon Kim , Sanjiv Kumar , Cho-Jui Hsieh