The Deduction Theorem for Strong Propositional Proof Systems

This paper focuses on the deduction theorem for propositional logic. We define and investigate different deduction properties and show that the presence of these deduction properties for strong proof systems is powerful enough to characterize the existence of optimal and even polynomially bounded proof systems. We also exhibit a similar, but apparently weaker condition that implies the existence of complete disjoint NPUnknown control sequence '\mathsf' -pairs. In particular, this yields a sufficient condition for the completeness of the canonical pair of Frege systems and provides a general framework for the search for complete NPUnknown control sequence '\mathsf' -pairs

The deduction theorem for strong propositional proof systems

This paper focuses on the deduction theorem for propositional logic. We define and investigate different deduction properties and show that the presence of these deduction properties for strong proof systems is powerful enough to characterize the existence of optimal and even polynomially bounded proof systems. We also exhibit a similar, but apparently weaker condition that implies the existence of complete disjoint NP-pairs. In particular, this yields a sufficient condition for the completeness of the canonical pair of Frege systems and provides a general framework for the search for complete NP-pairs

Parameterized complexity of DPLL search procedures

We study the performance of DPLL algorithms on parameterized problems. In particular, we investigate how difficult it is to decide whether small solutions exist for satisfiability and other combinatorial problems. For this purpose we develop a Prover-Delayer game which models the running time of DPLL procedures and we establish an information-theoretic method to obtain lower bounds to the running time of parameterized DPLL procedures. We illustrate this technique by showing lower bounds to the parameterized pigeonhole principle and to the ordering principle. As our main application we study the DPLL procedure for the problem of deciding whether a graph has a small clique. We show that proving the absence of a k-clique requires n steps for a non-trivial distribution of graphs close to the critical threshold. For the restricted case of tree-like Parameterized Resolution, this result answers a question asked in [11] of understanding the Resolution complexity of this family of formulas

Analysis of the coating integrityduring a coronary stent deployment

Las afecciones cardiovasculares constituyen en la actualidad una causa frecuente de muerte. Una de estas afecciones es la ateroesclerosis, la cual provoca la reducción de la luz arterial. En aras de solucionar tal afección se han desarrollado varios tratamientos, ganando terreno la Angioplastia Coronaria Transluminar Percutánea (PTCA) con colocación de estent. En la actualidad muchos de estos dispositivos son recubiertos para aumentar la biocompatibilidad y disminuir los riesgos de reestenosis. Dado la posibilidad de fallas o roturas de los recubrimientos y los riesgos asociados a estas, es de gran importancia el estudio del comportamiento de la unión estentrecubrimiento durante la fase de expansión del estent. En esta investigación se estudia la posible ocurrencia de delaminación del recubrimiento durante la expansión de un estent y la influencia de parámetros como el espesor y el material del mismo. El estudio parte de la obtención de un modelo geométrico de una celda del estent Sirius Carbostent para su posterior procesamiento por el Método de Elementos Finitos. La simulación por tal método, se desarrolló, aplicando restricciones al movimiento de forma tal que la celda modelada simule su comportamiento durante la expansión de un estent. Considerando estos aspectos fue posible evaluar la integridad del recubrimiento. Con los modelos desarrollados se logró predecir la ocurrencia de delaminación durante la expansión del estent y se determinó que al aumentar el espesor del recubrimiento aumenta el riesgo de ocurrencia de la misma. Se obtuvo además una ecuación general que permite determinar el esfuerzo máximo de contacto para celdas en forma de U.The cardiovascular diseases constitute one of the main causes of death worldwide. One of the main diseases is atherosclerosis, which causes narrowing of the arterial lumen. In order to solve this condition, several treatments have been developed, and Percutaneous Transluminal Coronary Angioplasty (PTCA) with the placement of stent have gained relevancy. Many of these devices are currently coated to increase the biocompatibility and to decrease the restenosis risks. The biomechanical studies of the stent-coating interface behavior are necessary given the associated risks to possibility of failures or breakages of the coating during stent deployment. In this study the possible occurrence of coating delamination during stent deployment and the influence of parameters as the thickness and material were studied. The study starts by obtaining a geometric model of a stent unit of the Sirius Carbostent stent for the further processing by the Finite Element Method. The simulation was developed by applying restrictions so that the modeled stent hinge simulates his behavior during stent deployment. Considering these aspects it was possible to evaluation the coating integrity. With this model it was possible to predict the occurrence of delamination during stent deployment and to determine that the delamination risks increases with increasing the coating thickness. Finally, it was obtained a general function that allows to determine the maximal contact stress for a stent hinge with an U shape.Peer Reviewe

Dynamics of the Volterra-type integral and differentiation operators on generalized Fock spaces

[EN] Various dynamical properties of the differentiation and Volterra-type integral operators on generalized Fock spaces are studied. We show that the differentiation operator is always supercyclic on these spaces. We further characterize when it is hypercyclic, power bounded and uniformly mean ergodic. We prove that the operator satisfies the Ritt's resolvent condition if and only if it is power bounded and uniformly mean ergodic. Some similar results are obtained for the Volterra-type and Hardy integral operators.J. Bonet was partially supported by the research projects MTM2016-76647-P and GV Prometeo 2017/102 (Spain). M. Worku is supported by ISP project, Addis Ababa University, Ethiopia.Bonet Solves, JA.; Mengestie, T.; Worku, M. (2019). Dynamics of the Volterra-type integral and differentiation operators on generalized Fock spaces. Results in Mathematics. 74(4):1-15. https://doi.org/10.1007/s00025-019-1123-7S115744Abanin, A.V., Tien, P.T.: Differentiation and integration operators on weighted Banach spaces of holomorphic functions. Math. Nachr. 290(8–9), 1144–1162 (2017)Atzmon, A., Brive, B.: Surjectivity and invariant subspaces of differential operators on weighted Bergman spaces of entire functions, Bergman spaces and related topics in complex analysis, Contemp. Math., vol. 404, Amer. Math. Soc., Providence, RI, pp. 27–39 (2006)Bayart, F., Matheron, E.: Dynamics of Linear Operators, Cambridge Tracts in Math, vol. 179. Cambridge Univ. Press, Cambridge (2009)Bermúdez, T., Bonilla, A., Peris, A.: On hypercyclicity and supercyclicity criteria. Bull. Austral. Math. Soc. 70, 45–54 (2004)Beltrán, M.J.: Dynamics of differentiation and integration operators on weighted space of entire functions. Studia Math. 221, 35–60 (2014)Beltrán, M.J., Bonet, J., Fernández, C.: Classical operators on weighted Banach spaces of entire functions. Proc. Am. Math. Soc. 141, 4293–4303 (2013)Bès, J., Peris, A.: Hereditarily hypercyclic operators. J. Funct. Anal. 167, 94–112 (1999)Bonet, J.: Dynamics of the differentiation operator on weighted spaces of entire functions. Math. Z. 26, 649–657 (2009)Bonet, J.: The spectrum of Volterra operators on weighted Banach spaces of entire functions. Q. J. Math. 66, 799–807 (2015)Bonet, J., Bonilla, A.: Chaos of the differentiation operator on weighted Banach spaces of entire functions. Complex Anal. Oper. Theory 7, 33–42 (2013)Bonet, J., Taskinen, J.: A note about Volterra operators on weighted Banach spaces of entire functions. Math. Nachr. 288, 1216–1225 (2015)Constantin, O., Persson, A.-M.: The spectrum of Volterra-type integration operators on generalized Fock spaces. Bull. Lond. Math. Soc. 47, 958–963 (2015)Constantin, O., Peláez, J.-Á.: Integral operators, embedding theorems and a Littlewood–Paley formula on weighted Fock spaces. J. Geom. Anal. 26, 1109–1154 (2016)De La Rosa, M., Read, C.: A hypercyclic operator whose direct sum is not hypercyclic. J. Oper. Theory 61, 369–380 (2009)Dunford, N.: Spectral theory. I. Convergence to projections. Trans. Am. Math. Soc. 54, 185–217 (1943)Grosse-Erdmann, K.G., Peris Manguillot, A.: Linear Chaos. Springer, New York (2011)Harutyunyan, A., Lusky, W.: On the boundedness of the differentiation operator between weighted spaces of holomorphic functions. Studia Math. 184, 233–247 (2008)Krengel, U.: Ergodic Theorems. Walter de Gruyter, Berlin (1985)Lyubich, Yu.: Spectral localization, power boundedness and invariant subspaces under Ritt’s type condition. Studia Mathematica 143(2), 153–167 (1999)Mengestie, T.: A note on the differential operator on generalized Fock spaces. J. Math. Anal. Appl. 458(2), 937–948 (2018)Mengestie, T.: Spectral properties of Volterra-type integral operators on Fock–Sobolev spaces. J. Kor. Math. Soc. 54(6), 1801–1816 (2017)Mengestie, T.: On the spectrum of volterra-type integral operators on Fock–Sobolev spaces. Complex Anal. Oper. Theory 11(6), 1451–1461 (2017)Mengestie, T., Ueki, S.: Integral, differential and multiplication operators on weighted Fock spaces. Complex Anal. Oper. Theory 13, 935–95 (2019)Mengestie, T., Worku, M.: Isolated and essentially isolated Volterra-type integral operators on generalized Fock spaces. Integr. Transf. Spec. Funct. 30, 41–54 (2019)Nagy, B., Zemanek, J.A.: A resolvent condition implying power boundedness. Studia Math. 134, 143–151 (1999)Nevanlinna, O.: Convergence of iterations for linear equations. Lecture Notes in Mathematics. ETH Zürich, Birkhäuser, Basel (1993)Ritt, R.K.: A condition that $$\lim _{n\rightarrow \infty } n^{-1}T^n =0$$. Proc. Am. Math. Soc. 4, 898–899 (1953)Ueki, S.: Characterization for Fock-type space via higher order derivatives and its application. Complex Anal. Oper. Theory 8, 1475–1486 (2014)Yosida, K.: Functional Analysis. Springer, Berlin (1978)Yosida, K., Kakutani, S.: Operator-theoretical treatment of Marko’s process and mean ergodic theorem. Ann. Math. 42(1), 188–228 (1941

Detection of vortex tubes in solar granulation from observations with Sunrise

We have investigated a time series of continuum intensity maps and corresponding Dopplergrams of granulation in a very quiet solar region at the disk center, recorded with the Imaging Magnetograph eXperiment (IMaX) on board the balloon-borne solar observatory Sunrise. We find that granules frequently show substructure in the form of lanes composed of a leading bright rim and a trailing dark edge, which move together from the boundary of a granule into the granule itself. We find strikingly similar events in synthesized intensity maps from an ab initio numerical simulation of solar surface convection. From cross sections through the computational domain of the simulation, we conclude that these `granular lanes' are the visible signature of (horizontally oriented) vortex tubes. The characteristic optical appearance of vortex tubes at the solar surface is explained. We propose that the observed vortex tubes may represent only the large-scale end of a hierarchy of vortex tubes existing near the solar surface.Comment: Astrophysical Journal Letters: Sunrise Special Issue, reveived 2010 June 16; accepted 2010 August

A computational framework for polyconvex large strain elasticity for geometrically exact beam theory

In this paper, a new computational framework is presented for the analysis of nonlinear beam finite elements subjected to large strains. Specifically, the methodology recently introduced in Bonet et al. (Comput Methods Appl Mech Eng 283:1061–1094, 2015) in the context of three dimensional polyconvex elasticity is extended to the geometrically exact beam model of Simo (Comput Methods Appl Mech Eng 49:55–70, 1985), the starting point of so many other finite element beam type formulations. This new variational framework can be viewed as a continuum degenerate formulation which, moreover, is enhanced by three key novelties. First, in order to facilitate the implementation of the sophisticated polyconvex constitutive laws particularly associated with beams undergoing large strains, a novel tensor cross product algebra by Bonet et al. (Comput Methods Appl Mech Eng 283:1061–1094, 2015) is adopted, leading to an elegant and physically meaningful representation of an otherwise complex computational framework. Second, the paper shows how the novel algebra facilitates the re-expression of any invariant of the deformation gradient, its cofactor and its determinant in terms of the classical beam strain measures. The latter being very useful whenever a classical beam implementation is preferred. This is particularised for the case of a Mooney–Rivlin model although the technique can be straightforwardly generalised to other more complex isotropic and anisotropic polyconvex models. Third, the connection between the two most accepted restrictions for the definition of constitutive models in three dimensional elasticity and beams is shown, bridging the gap between the continuum and its degenerate beam description. This is carried out via a novel insightful representation of the tangent operator

A Model for Ferromagnetic Nanograins with Discrete Electronic States

We propose a simple phenomenological model for an ultrasmall ferromagnetic grain, formulated in terms of the grain's discrete energy levels. We compare the model's predictions with recent measurements of the discrete tunneling spectrum through such a grain. The model can qualitatively account for the observed features if we assume (i) that the anisotropy energy varies among different eigenstates of one grain, and (ii) that nonequilibrium spin accumulation occurs.Comment: 4 pages, 2 figure