15,414 research outputs found
Convolution, Separation and Concurrency
A notion of convolution is presented in the context of formal power series
together with lifting constructions characterising algebras of such series,
which usually are quantales. A number of examples underpin the universality of
these constructions, the most prominent ones being separation logics, where
convolution is separating conjunction in an assertion quantale; interval
logics, where convolution is the chop operation; and stream interval functions,
where convolution is used for analysing the trajectories of dynamical or
real-time systems. A Hoare logic is constructed in a generic fashion on the
power series quantale, which applies to each of these examples. In many cases,
commutative notions of convolution have natural interpretations as concurrency
operations.Comment: 39 page
On the structure of the Nx phase of symmetric dimers: inferences from NMR
NMR measurements on a selectively deuterated liquid crystal dimer CB-C9-CB, exhibiting two nematic phases, show that the molecules in the lower temperature nematic phase, NX, experience a chiral environment and are ordered about a uniformly oriented director throughout the macroscopic sample. The results are contrasted with previous interpretations that suggested a twist-bend spatial variation of the director. A structural picture is proposed wherein the molecules are packed into highly correlated chiral assemblies
Extreme Adverse Selection, Competitive Pricing, and Market Breakdown
Extreme adverse selection arises when private information has unbounded support, and market breakdown occurs when no trade is the only equilibrium outcome. We study extreme adverse selection via the limit behavior of a financial market as the support of private information converges to an unbounded support. A necessary and sufficient condition for market breakdown is obtained. If the condition fails, then there exists competitive market behavior that converges to positive levels of trade whenever it is first best to have trade. When the condition fails, no feasible (competitive or not) market behavior converges to positive levels of trade.Adverse selection, market breakdown, separation, competitive pricing
Does Competitive Pricing Cause Market Breakdown under Extreme Adverse Selection?
We study market breakdown in a finance context under extreme adverse selection with and without competitive pricing. Adverse selection is extreme if for any price there are informed agent types with whom uninformed agents prefer not to trade. Market breakdown occurs when no trade is the only equilibrium outcome. We present a necessary and sufficient condition for market breakdown. If the condition holds, then trade is not viable. If the condition fails, then trade can occur under competitive pricing. There are environments in which the condition holds and others in which it fails.Adverse selection, market breakdown, separation, competitive pricing
Reverse engineering of CAD models via clustering and approximate implicitization
In applications like computer aided design, geometric models are often
represented numerically as polynomial splines or NURBS, even when they
originate from primitive geometry. For purposes such as redesign and
isogeometric analysis, it is of interest to extract information about the
underlying geometry through reverse engineering. In this work we develop a
novel method to determine these primitive shapes by combining clustering
analysis with approximate implicitization. The proposed method is automatic and
can recover algebraic hypersurfaces of any degree in any dimension. In exact
arithmetic, the algorithm returns exact results. All the required parameters,
such as the implicit degree of the patches and the number of clusters of the
model, are inferred using numerical approaches in order to obtain an algorithm
that requires as little manual input as possible. The effectiveness, efficiency
and robustness of the method are shown both in a theoretical analysis and in
numerical examples implemented in Python
- …