Essential finite generation of extensions of valuation rings
January 20, 2021
Mathematics
Commutative Algebra
Algebraic Geometry
Given a generically finite local extension of valuation rings V⊂W,
the question of whether W is the localization of a finitely generated
V-algebra is significant for approaches to the problem of local
uniformization of valuati...
The z-DM distribution of fast radio bursts
January 20, 2021
| | | | |
Physics
High Energy Astrophysical Phenomena
We develop a sophisticated model of FRB observations, accounting for the
intrinsic cosmological gas distribution and host galaxy contributions, and give
the most detailed account yet of observational biases due to burst width,
dispersion me...
Fair Asynchronous Session Subtyping
January 20, 2021
| |
Computer Science
Programming Languages
Logic in Computer Science
Session types are widely used as abstractions of asynchronous message passing
systems. Refinement for such abstractions is crucial as it allows improvements
of a given component without compromising its compatibility with the rest of
the sy...
While human factors in fraud have been studied by the HCI and security
communities, most research has been directed to understanding either the
victims' perspectives or prevention strategies, and not on fraudsters, their
motivations and ope...
Intelligent Icing Detection Model of Wind Turbine Blades Based on SCADA
data
January 19, 2021
| | |
Computer Science
Machine Learning
Artificial Intelligence
Machine Learning
Artificial Intelligence
Diagnosis of ice accretion on wind turbine blades is all the time a hard nut
to crack in condition monitoring of wind farms. Existing methods focus on
mechanism analysis of icing process, deviation degree analysis of feature
engineering. Ho...
Elliptic partial differential equations from an elementary viewpoint
January 19, 2021
| | |
Mathematics
Analysis of PDEs
Analysis of PDEs
These notes are the outcome of some courses taught to undergraduate and
graduate students from the University of Western Australia, the Pontif\'{\i}cia
Universidade Cat\'olica do Rio de Janeiro, the Indian Institute of Technology
Gandhinaga...
Gauge Invariant and Anyonic Symmetric Transformer and RNN Quantum States
for Quantum Lattice Models
January 18, 2021
| | | | |
Physics
Computer Science
Strongly Correlated Electrons
Disordered Systems and Neural Networks
Machine Learning
High Energy Physics - Lattice
Quantum Physics
Symmetries such as gauge invariance and anyonic symmetry play a crucial role
in quantum many-body physics. We develop a general approach to constructing
gauge invariant or anyonic symmetric autoregressive neural network quantum
states, incl...
An FPT algorithm for Matching Cut and d-cut
January 18, 2021
|
Computer Science
Data Structures and Algorithms
Given a positive integer d, the d-CUT is the problem of deciding if an
undirected graph G=(V,E) has a cut (A,B) such that every vertex in A
(resp. B) has at most d neighbors in B (resp. A). For d=1, the
problem is referred...
Two-weight extrapolation on function spaces and applications
January 18, 2021
|
Mathematics
Classical Analysis and ODEs
Functional Analysis
This paper is devoted to studying the extrapolation theory of Rubio de
Francia on general function spaces. We present endpoint extrapolation results
including A1, Ap, and A∞ extrapolation in the context of Banach
function spac...
Yet Another Representation of Binary Decision Trees: A Mathematical
Demonstration
January 18, 2021
Computer Science
Machine Learning
A decision tree looks like a simple computational graph without cycles, where
only the leaf nodes specify the output values and the non-terminals specify
their tests or split conditions. From the numerical perspective, we express
decision t...