Related papers: Notions of Higher Type
In complex systems research, the study of higher-order interactions has exploded in recent years. Researchers have formalized various types of group interactions, such as public goods games, biological contagion, and information…
We reformulate recent advances in directed type theory--a type theory where the types have the structure of synthetic (higher) categories--as a logical calculus with multiple context 'zones', following the example of Pfenning and Davies.…
For a sum of squares domain of finite D'Angelo 1-type at the origin, we show that the polynomial model obtained from the computation of the Catlin multitype at the origin of such a domain is likewise a sum of squares domain. We also prove,…
In this paper, we discuss germs of smooth hypersurface in $\mathbb C^n$. We show that if a point on the boundary has infinite D'Angelo type, then there exists a formal complex curve in the hypersurface through that point.
We relate non-orderability in contact topology to shortening in the contact Hofer norm. Combined with considerations of open books, this provides many new examples of non-orderable contact manifolds, including contact boundaries of…
Battiston et al. (arXiv:2110.06023) provide a comprehensive overview of how investigations of complex systems should take into account interactions between more than two elements, which can be modelled by hypergraphs and studied via…
This is a survey on recent results on counting of curves over finite fields. It reviews various results on the maximum number of points on a curve of genus g over a finite field of cardinality q, but the main emphasis is on results on the…
The quantum measurement problem as was formulated by von Neumann in 1933 can be solved by going beyond the operational quantum formalism. In our "prequantum model" quantum systems are symbolic representations of classical random fields. The…
Higher-order topological phases (HOTPs) host exotic topological states that go beyond the traditional bulk-boundary correspondence. Up to now, there is still a lack of experimentally measurable momentum-space topological characterization…
We recall two measurements of the order of contact of an ideal in the ring of germs of holomorphic functions at a point and we provide a class of examples in which they differ.
We prescribe a choice of 18 variables in all that casts the equations of the fully nonlinear characteristic formulation of general relativity in first--order quasi-linear canonical form. At the analytical level, a formulation of this type…
The mathematical structure of quantum entanglement is studied and classified from the point of view of quantum compound states. We show that t he classical-quantum correspondences such as encodings can be treated as dia gonal (d-)…
Variational models with coupling terms are becoming increasingly popular in image analysis. They involve auxiliary variables, such that their energy minimisation splits into multiple fractional steps that can be solved easier and more…
A smooth bounded pseudoconvex domain in two complex variables is of finite type if and only if the number of eigenvalues of the d-bar-Neumann Laplacian that are less than or equal to $\lambda$ has at most polynomial growth as $\lambda$ goes…
Second order nonlinear eigenvalue problems are considered for which the spectrum is an interval. The boundary conditions are of Robin and Dirichlet type. The shape and the number of solutions are discussed by means of a phase plane…
Kendall's Shape Theory covers shapes formed by $N$ points in $\mathbb{R}^d$ upon quotienting out the similarity transformations. This theory is based on the geometry and topology of the corresponding configuration space: shape space.…
In this chapter we discuss aspects of the quantum critical behavior that occurs at a quantum phase transition separating a topological phase from a conventionally ordered one. We concentrate on a family of quantum lattice models, namely…
This contribution aims at studying the behaviour of the classical sample moment estimator, $S(n,q)= \sum_{k=1}^n X_k^{q}/n $, as a function of the number of available samples $n$, in the case where the random variables $X$ are positive,…
We consider the dimensions of finite type of representations of a partially ordered set, i.e. such that there is only finitely many isomorphism classes of representations of this dimension. We give a criterion for a dimension to be of…
The problem of controlling higher-order interactions in neural networks is addressed with techniques commonly applied in the cluster analysis of quantum many-particle systems. For multi-neuron synaptic weights chosen according to a…