# W. Seiler - Lancaster University

## Contact Details

NameW. Seiler |
||

AffiliationLancaster University |
||

CityBailrigg |
||

CountryUnited Kingdom |
||

## Pubs By Year |
||

## External Links |
||

## Pub CategoriesMathematics - Commutative Algebra (9) Mathematics - Algebraic Geometry (7) Computer Science - Symbolic Computation (6) Mathematics - Rings and Algebras (2) Computer Science - Logic in Computer Science (2) General Relativity and Quantum Cosmology (1) High Energy Physics - Theory (1) Mathematics - Analysis of PDEs (1) Mathematics - Differential Geometry (1) Physics - Materials Science (1) Physics - Instrumentation and Detectors (1) |

## Publications Authored By W. Seiler

We improve certain degree bounds for Grobner bases of polynomial ideals in generic position. We work exclusively in deterministically verifiable and achievable generic positions of a combinatorial nature, namely either strongly stable position or quasi stable position. Furthermore, we exhibit new dimension- (and depth-)dependent upper bounds for the Castelnuovo-Mumford regularity and the degrees of the elements of the reduced Grobner basis (w. Read More

In this paper, we describe improved algorithms to compute Janet and Pommaret bases. To this end, based on the method proposed by Moller et al., we present a more efficient variant of Gerdt's algorithm (than the algorithm presented by Gerdt-Hashemi-M. Read More

We consider several notions of genericity appearing in algebraic geometry and commutative algebra. Special emphasis is put on various stability notions which are defined in a combinatorial manner and for which a number of equivalent algebraic characterisations are provided. It is shown that in characteristic zero the corresponding generic positions can be obtained with a simple deterministic algorithm. Read More

Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite their commonalities, the two communities are rather weakly connected. The aim of our newly accepted SC-square project (H2020-FETOPEN-CSA) is to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and developing a common roadmap from theory along the way to tools and (industrial) applications. Read More

Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected. We introduce a new project SC-square to build a joint community in this area, supported by a newly accepted EU (H2020-FETOPEN-CSA) project of the same name. Read More

**Authors:**M. Arenz, M. Babutzka, M. Bahr, J. P. Barrett, S. Bauer, M. Beck, A. Beglarian, J. Behrens, T. Bergmann, U. Besserer, J. Blümer, L. I. Bodine, K. Bokeloh, J. Bonn, B. Bornschein, L. Bornschein, S. Büsch, T. H. Burritt, S. Chilingaryan, T. J. Corona, L. De Viveiros, P. J. Doe, O. Dragoun, G. Drexlin, S. Dyba, S. Ebenhöch, K. Eitel, E. Ellinger, S. Enomoto, M. Erhard, D. Eversheim, M. Fedkevych, A. Felden, S. Fischer, J. A. Formaggio, F. Fränkle, D. Furse, M. Ghilea, W. Gil, F. Glück, A. Gonzalez Urena, S. Görhardt, S. Groh, S. Grohmann, R. Grössle, R. Gumbsheimer, M. Hackenjos, V. Hannen, F. Harms, N. Hauÿmann, F. Heizmann, K. Helbing, W. Herz, S. Hickford, D. Hilk, B. Hillen, T. Höhn, B. Holzapfel, M. Hötzel, M. A. Howe, A. Huber, A. Jansen, N. Kernert, L. Kippenbrock, M. Kleesiek, M. Klein, A. Kopmann, A. Kosmider, A. Kovalík, B. Krasch, M. Kraus, H. Krause, M. Krause, L. Kuckert, B. Kuffner, L. La Cascio, O. Lebeda, B. Leiber, J. Letnev, V. M. Lobashev, A. Lokhov, E. Malcherek, M. Mark, E. L. Martin, S. Mertens, S. Mirz, B. Monreal, K. Müller, M. Neuberger, H. Neumann, S. Niemes, M. Noe, N. S. Oblath, A. Off, H. -W. Ortjohann, A. Osipowicz, E. Otten, D. S. Parno, P. Plischke, A. W. P. Poon, M. Prall, F. Priester, P. C. -O. Ranitzsch, J. Reich, O. Rest, R. G. H. Robertson, M. Röllig, S. Rosendahl, S. Rupp, M. Rysavy, K. Schlösser, M. Schlösser, K. Schönung, M. Schrank, J. Schwarz, W. Seiler, H. Seitz-Moskaliuk, J. Sentkerestiova, A. Skasyrskaya, M. Slezak, A. Spalek, M. Steidl, N. Steinbrink, M. Sturm, M. Suesser, H. H. Telle, T. Thümmler, N. Titov, I. Tkachev, N. Trost, A. Unru, K. Valerius, D. Venos, R. Vianden, S. Vöcking, B. L. Wall, N. Wandkowsky, M. Weber, C. Weinheimer, C. Weiss, S. Welte, J. Wendel, K. L. Wierman, J. F. Wilkerson, D. Winzen, J. Wolf, S. Wüstling, M. Zacher, S. Zadoroghny, M. Zboril

**Category:**Physics - Instrumentation and Detectors

The KATRIN experiment will probe the neutrino mass by measuring the beta-electron energy spectrum near the endpoint of tritium beta-decay. An integral energy analysis will be performed by an electro-static spectrometer (Main Spectrometer), an ultra-high vacuum vessel with a length of 23.2 m, a volume of 1240 m^3, and a complex inner electrode system with about 120000 individual parts. Read More

Let $K$ be a field of any characteristic, $A$ be a Noetherian $K$-algebra and consider the polynomial ring $A[x_0,\dots,x_n]$. The present paper deals with the definition of marked bases for free $A[x_0,\dots,x_n]$-modules over a quasi-stable monomial module and the investigation of their properties. The proofs of our results are constructive and we can obtain upper bounds for the main invariants of an ideal of $A[x_0,\dots,x_n]$ generated by a marked basis, such as Betti numbers, regularity and projective dimension. Read More

We discuss the problem of determining reduction number of a polynomial ideal I in n variables. We present two algorithms based on parametric computations. The first one determines the absolute reduction number of I and requires computation in a polynomial ring with (n-dim(I))dim(I) parameters and n-dim(I) variables. Read More

Quasi-stable ideals appear as leading ideals in the theory of Pommaret bases. We show that quasi-stable leading ideals share many of the properties of the generic initial ideal. In contrast to genericity, quasi-stability is a characteristic independent property that can be effectively verified. Read More

Co2MnSi (CMS) films of different thicknesses (20, 50 and 100 nm) were grown by radio frequency (RF) sputtering on a-plane sapphire substrates. Our X-rays diffraction study shows that, in all the samples, the cubic <110> CSM axis is normal to the substrate and that there exist well defined preferential in-plane orientations. Static and dynamic magnetic properties were investigated using vibrating sample magnetometry (VSM) and micro-strip line ferromagnetic resonance (MS-FMR), respectively. Read More

A rigorous formulation of Vessiot's vector field approach to the analysis of general systems of partial differential equations is provided. It is shown that this approach is equivalent to the formal theory of differential equations and that it can be carried through if, and only if, the given system is involutive. As a by-product, we provide a novel characterisation of transversal integral elements via the contact map. Read More

Taylor presented an explicit resolution for arbitrary monomial ideals. Later, Lyubeznik found that already a subcomplex defines a resolution. We show that the Taylor resolution may be obtained by repeated application of the Schreyer Theorem from the theory of Grobner bases, whereas the Lyubeznik resolution is a consequence of Buchberger's chain criterion. Read More

General revision. In particular the parts concerning involutive bases over rings have been significantly changed. In addition some proofs have been improved. Read More

Substantial changes in many parts of the paper. In particular, significantly expanded treatment of monomial ideals and of Castelnuovo-Mumford regularity. Also relation between delta-regularity and Noether normalisation now treated. Read More

**Affiliations:**

^{1}Lancaster,

^{2}Lancaster

**Category:**General Relativity and Quantum Cosmology

We study some two-dimensional dilaton gravity models using the formal theory of partial differential equations. This allows us to prove that the reduced phase space is two-dimensional without an explicit construction. By using a convenient (static) gauge we reduce the theory to coupled \ode s and we are able to derive for some potentials of interest closed-form solutions. Read More

**Affiliations:**

^{1}Lancaster University,

^{2}Lancaster University

**Category:**High Energy Physics - Theory

We study the theory of systems with constraints from the point of view of the formal theory of partial differential equations. For finite-dimensional systems we show that the Dirac algorithm completes the equations of motion to an involutive system. We discuss the implications of this identification for field theories and argue that the involution analysis is more general and flexible than the Dirac approach. Read More