Related papers: On flexes associated with higher-order flexible ba…
Combinatorial rigidity theory seeks to describe the rigidity or flexibility of bar-joint frameworks in R^d in terms of the structure of the underlying graph G. The goal of this article is to broaden the foundations of combinatorial rigidity…
Dynamic complexity is concerned with updating the output of a problem when the input is slightly changed. We study the dynamic complexity of model checking a fixed monadic second-order formula over evolving subgraphs of a fixed maximal…
We show that descriptive complexity's result extends in High Order Logic to capture the expressivity of Turing Machine which have a finite number of alternation and whose time or space is bounded by a finite tower of exponential. Hence we…
If $X$ is a 2-Segal set, then the edgewise subdivision of $X$ admits a factorization system coming from upper and lower d\'ecalage. Using the correspondence between 2-Segal sets and unary operadic categories satisfying the blow-up axiom,…
We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of…
In previous works, a tableau calculus has been defined, which constitutes a decision procedure for hybrid logic with the converse and global modalities and a restricted use of the binder. This work shows how to extend such a calculus to…
In this work we propose a formal system for fuzzy algebraic reasoning. The sequent calculus we define is based on two kinds of propositions, capturing equality and existence of terms as members of a fuzzy set. We provide a sound semantics…
In the context of the variational bi-complex, we re-explain that irreducible gauge systems define a particular example of a Lie algebroid. This is used to review some recent and not so recent results on gauge, global and asymptotic…
We use virial series to study the equilibrium properties of confined soft-spheres fluids interacting through the inverse-power potentials. The confinement is induced by hard walls with planar, spherical and cylindrical shapes. We evaluate…
We develop the bivector formalism in higher dimensional Lorentzian spacetimes. We define the Weyl bivector operator in a manner consistent with its boost-weight decomposition. We then algebraically classify the Weyl tensor, which gives rise…
Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include…
We study two geometrical factors needed for the correct construction of statistical ensembles of surfaces. Such ensembles appear in the study of fluid bilayer membranes, though our results are more generally applicable. The naive functional…
We present an edge-based framework for the study of geometric elastic network models to model mechanical interactions in physical systems. We use a formulation in the edge space, instead of the usual node-centric approach, to characterise…
A gauge-invariant formulation of constrained variational calculus, based on the introduction of the bundle of affine scalars over the configuration manifold, is presented. In the resulting setup, the Lagrangian is replaced by a section of a…
This thesis comes within the scope of algebraic combinatorics and studies problems related to three orders on permutations: the two said weak orders (right and left) and the strong order or Bruhat order. The first part deals with bases of…
It is well known that there is a deep relationship between codes and lattices. Concepts from coding theory are related to concepts of lattice theory as, for example, weight enumerators to theta series, MacWilliams identity to Jacobi…
A broad class of contour gauges is shown to be determined by admissible contractions of the geometrical region considered and a suitable equivalence class of curves is defined. In the special case of magnetostatics, the relevant…
The goal of this paper is to show that generalizing the notion of frequent patterns can be useful in extending association analysis to more complex higher order patterns. To that end, we describe a general framework for modeling a complex…
Quasimodules for vertex algebras are generalizations of modules for vertex algebras. These new objects arise from a generalization of locality for fields. Quasimodules tie together module theory and twisted module theory, and both twisted…
We study finite-dimensional representations of hyper loop algebras over non-algebraically closed fields. The main results concern the classification of the irreducible representations, the construction of the Weyl modules, base change,…