scholarly journals K-Regular Matroids

2021 ◽  
Author(s):  
◽  
Charles A Semple
Keyword(s):  
Finite Number ◽  
Prime Power ◽  
Negative Integer ◽  
Regular Matroid ◽  
Excluded Minor ◽  
Excluded Minors

<p>The class of matroids representable over all fields is the class of regular matroids. The class of matroids representable over all fields except perhaps GF(2) is the class of near-regular matroids. Let k be a non-negative integer. This thesis considers the class of k-regular matroids, a generalization of the last two classes. Indeed, the classes of regular and near-regular matroids coincide with the classes of 0-regular and 1-regular matroids, respectively. This thesis extends many results for regular and near-regular matroids. In particular, for all k, the class of k-regular matroids is precisely the class of matroids representable over a particular partial field. Every 3-connected member of the classes of either regular or near-regular matroids has a unique representability property. This thesis extends this property to the 3-connected members of the class of k-regular matroids for all k. A matroid is [omega] -regular if it is k-regular for some k. It is shown that, for all k [greater than or equal to] 0, every 3-connected k-regular matroid is uniquely representable over the partial field canonically associated with the class of [omega] -regular matroids. To prove this result, the excluded-minor characterization of the class of k-regular matroids within the class of [omega] -regular matroids is first proved. It turns out that, for all k, there are a finite number of [omega] -regular excluded minors for the class of k-regular matroids. The proofs of the last two results on k-regular matroids are closely related. The result referred to next is quite different in this regard. The thesis determines, for all r and all k, the maximum number of points that a simple rank-r k-regular matroid can have and identifies all such matroids having this number. This last result generalizes the corresponding results for regular and near-regular matroids. Some of the main results for k-regular matroids are obtained via a matroid operation that is a generalization of the operation of [Delta] - Y exchange. This operation is called segment-cosegment exchange and, like the operation of [Delta] - Y exchange, has a dual operation. This thesis defines the generalized operation and its dual, and identifies many of their attractive properties. One property in particular, is that, for a partial field P, the set of excluded minors for representability over P is closed under the operations of segment-cosegment exchange and its dual. This result generalizes the corresponding result for [Delta] - Y and Y - [Delta] exchanges. Moreover, a consequence of it is that, for a prime power q, the number of excluded minors for GF(q)-representability is at least 2q-4.</p>

scholarly journals K-Regular Matroids

2021 ◽  
Author(s):  
◽  
Charles A Semple
Keyword(s):  
Finite Number ◽  
Prime Power ◽  
Negative Integer ◽  
Regular Matroid ◽  
Excluded Minor ◽  
Excluded Minors

<p>The class of matroids representable over all fields is the class of regular matroids. The class of matroids representable over all fields except perhaps GF(2) is the class of near-regular matroids. Let k be a non-negative integer. This thesis considers the class of k-regular matroids, a generalization of the last two classes. Indeed, the classes of regular and near-regular matroids coincide with the classes of 0-regular and 1-regular matroids, respectively. This thesis extends many results for regular and near-regular matroids. In particular, for all k, the class of k-regular matroids is precisely the class of matroids representable over a particular partial field. Every 3-connected member of the classes of either regular or near-regular matroids has a unique representability property. This thesis extends this property to the 3-connected members of the class of k-regular matroids for all k. A matroid is [omega] -regular if it is k-regular for some k. It is shown that, for all k [greater than or equal to] 0, every 3-connected k-regular matroid is uniquely representable over the partial field canonically associated with the class of [omega] -regular matroids. To prove this result, the excluded-minor characterization of the class of k-regular matroids within the class of [omega] -regular matroids is first proved. It turns out that, for all k, there are a finite number of [omega] -regular excluded minors for the class of k-regular matroids. The proofs of the last two results on k-regular matroids are closely related. The result referred to next is quite different in this regard. The thesis determines, for all r and all k, the maximum number of points that a simple rank-r k-regular matroid can have and identifies all such matroids having this number. This last result generalizes the corresponding results for regular and near-regular matroids. Some of the main results for k-regular matroids are obtained via a matroid operation that is a generalization of the operation of [Delta] - Y exchange. This operation is called segment-cosegment exchange and, like the operation of [Delta] - Y exchange, has a dual operation. This thesis defines the generalized operation and its dual, and identifies many of their attractive properties. One property in particular, is that, for a partial field P, the set of excluded minors for representability over P is closed under the operations of segment-cosegment exchange and its dual. This result generalizes the corresponding result for [Delta] - Y and Y - [Delta] exchanges. Moreover, a consequence of it is that, for a prime power q, the number of excluded minors for GF(q)-representability is at least 2q-4.</p>

scholarly journals On the Excluded Minors for Matroids of Branch-Width Three

10.37236/1648 ◽  
2002 ◽  
Vol 9 (1) ◽  
Author(s):  
Petr Hliněný
Keyword(s):  
Computer Assisted ◽  
Binary Matroids ◽  
Alternative Characterization ◽  
Excluded Minor ◽  
Practical Algorithm ◽  
Branch Width ◽  
A Minor ◽  
Excluded Minors

Knowing the excluded minors for a minor-closed matroid property provides a useful alternative characterization of that property. It has been shown in [R. Hall, J. Oxley, C. Semple, G. Whittle, On Matroids of Branch-Width Three, submitted 2001] that if $M$ is an excluded minor for matroids of branch-width $3$, then $ M$ has at most $14$ elements. We show that there are exactly $10$ such binary matroids $M$ (7 of which are regular), proving a conjecture formulated by Dharmatilake in 1994. We also construct numbers of such ternary and quaternary matroids $ M$, and provide a simple practical algorithm for finding a width-$3$ branch-decomposition of a matroid. The arguments in our paper are computer-assisted — we use a program $MACEK$ [P. Hliněný, The MACEK Program, http://www.mcs.vuw.ac.nz/research/macek, 2002] for structural computations with represented matroids. Unfortunately, it seems to be infeasible to search through all matroids on at most $14$ elements.

On the Dynamic Isotropy of Mechanisms With Two Degrees of Freedom

2005 ◽  
Author(s):  
Raffaele Di Gregorio ◽  
Alessandro Cammarata ◽  
Rosario Sinatra
Keyword(s):  
Finite Number ◽  
Degrees Of Freedom ◽  
Point Of View ◽  
Closed Curves ◽  
Special Cases ◽  
Dynamic Performances ◽  
Definition Of ◽  
Geometric Locus

The comparison of mechanisms with different topology or with different geometry, but with the same topology, is a necessary operation during the design of a machine sized for a given task. Therefore, tools that evaluate the dynamic performances of a mechanism are welcomed. This paper deals with the dynamic isotropy of 2-dof mechanisms starting from the definition introduced in a previous paper. In particular, starting from the condition that identifies the dynamically isotropic configurations, it shows that, provided some special cases are not considered, 2-dof mechanisms have at most a finite number of isotropic configurations. Moreover, it shows that, provided the dynamically isotropic configurations are excluded, the geometric locus of the configuration space that collects the points associated to configurations with the same dynamic isotropy is constituted by closed curves. This results will allow the classification of 2-dof mechanisms from the dynamic-isotropy point of view, and the definition of some methodologies for the characterization of the dynamic isotropy of these mechanisms. Finally, examples of applications of the obtained results will be given.

FINITELY SUBSEQUENTIAL TRANSDUCERS

2003 ◽  
Vol 14 (06) ◽  
pp. 983-994 ◽  
Author(s):  
CYRIL ALLAUZEN ◽  
MEHRYAR MOHRI
Keyword(s):  
Speech Recognition ◽  
Finite Number ◽  
Efficient Algorithm ◽  
Experimental Results ◽  
Theoretical Formulation ◽  
Large Vocabulary ◽  
Finite State Transducers ◽  
Finite State ◽  
Large Vocabulary Speech Recognition

Finitely subsequential transducers are efficient finite-state transducers with a finite number of final outputs and are used in a variety of applications. Not all transducers admit equivalent finitely subsequential transducers however. We briefly describe an existing generalized determinization algorithm for finitely subsequential transducers and give the first characterization of finitely subsequentiable transducers, transducers that admit equivalent finitely subsequential transducers. Our characterization shows the existence of an efficient algorithm for testing finite subsequentiability. We have fully implemented the generalized determinization algorithm and the algorithm for testing finite subsequentiability. We report experimental results showing that these algorithms are practical in large-vocabulary speech recognition applications. The theoretical formulation of our results is the equivalence of the following three properties for finite-state transducers: determinizability in the sense of the generalized algorithm, finite subsequentiability, and the twins property.

The Kruskal-Katona Theorem and a Characterization of System Signatures

2015 ◽  
Vol 52 (02) ◽  
pp. 508-518 ◽  
Author(s):  
Alessandro D'Andrea ◽  
Luca De Sanctis
Keyword(s):  
Finite Number ◽  
Structure Function ◽  
Uniform Distribution ◽  
Simplicial Complexes ◽  
Number Of Components ◽  
Full Characterization ◽  
Signature Vector

We show how to determine if a given vector can be the signature of a system on a finite number of components and, if so, exhibit such a system in terms of its structure function. The method employs combinatorial results from the theory of (finite) simplicial complexes, and provides a full characterization of signature vectors using a theorem of Kruskal (1963) and Katona (1968). We also show how the same approach can provide new combinatorial proofs of further results, e.g. that the signature vector of a system cannot have isolated zeroes. Finally, we prove that a signature with all nonzero entries must be a uniform distribution.

A study of enhanced power graphs of finite groups

2019 ◽  
Vol 19 (04) ◽  
pp. 2050062 ◽  
Author(s):  
Samir Zahirović ◽  
Ivica Bošnjak ◽  
Rozália Madarász
Keyword(s):  
Finite Groups ◽  
Prime Power ◽  
Cyclic Subgroup ◽  
Nilpotent Groups ◽  
Sufficient Condition ◽  
Finite Abelian Groups ◽  
Power Graph ◽  
Vertex Set ◽  
A Finite Group

The enhanced power graph [Formula: see text] of a group [Formula: see text] is the graph with vertex set [Formula: see text] such that two vertices [Formula: see text] and [Formula: see text] are adjacent if they are contained in the same cyclic subgroup. We prove that finite groups with isomorphic enhanced power graphs have isomorphic directed power graphs. We show that any isomorphism between undirected power graph of finite groups is an isomorphism between enhanced power graphs of these groups, and we find all finite groups [Formula: see text] for which [Formula: see text] is abelian, all finite groups [Formula: see text] with [Formula: see text] being prime power, and all finite groups [Formula: see text] with [Formula: see text] being square-free. Also, we describe enhanced power graphs of finite abelian groups. Finally, we give a characterization of finite nilpotent groups whose enhanced power graphs are perfect, and we present a sufficient condition for a finite group to have weakly perfect enhanced power graph.

scholarly journals A Characterization of Gorenstein Rings and Grothendieck's Conjecture

2009 ◽  
Vol 16 (04) ◽  
pp. 653-660
Author(s):  
Kazem Khashyarmanesh
Keyword(s):  
Local Ring ◽  
Regular Sequence ◽  
Negative Integer ◽  
Finitely Generated ◽  
Gorenstein Rings ◽  
Noetherian Local Ring ◽  
Filter Regular Sequence ◽  
System Of Parameters

Given a commutative Noetherian local ring (R, 𝔪), it is shown that R is Gorenstein if and only if there exists a system of parameters x1,…,xd of R which generates an irreducible ideal and [Formula: see text] for all t > 0. Let n be an arbitrary non-negative integer. It is also shown that for an arbitrary ideal 𝔞 of a commutative Noetherian (not necessarily local) ring R and a finitely generated R-module M, [Formula: see text] is finitely generated if and only if there exists an 𝔞-filter regular sequence x1,…,xn∈ 𝔞 such that [Formula: see text] for all t > 0.

On a Congruence Related to Character Sums

1985 ◽  
Vol 28 (4) ◽  
pp. 431-439 ◽  
Author(s):  
J. H. H. Chalk
Keyword(s):  
Prime Power ◽  
Dirichlet Character ◽  
Character Sums ◽  
Arithmetic Progressions ◽  
Solution Set ◽  
Character Sum ◽  
Equal Degree

AbstractIf χ is a Dirichlet character to a prime-power modulus pα, then the problem of estimating an incomplete character sum of the form ∑1≤x≤h χ (x) by the method of D. A. Burgess leads to a consideration of congruences of the typef(x)g'(x) - f'(x)g(x) ≡ 0(pα),where fg(x) ≢ 0(p) and f, g are monic polynomials of equal degree with coefficients in Ζ. Here, a characterization of the solution-set for cubics is given in terms of explicit arithmetic progressions.

A Characterization of Almost-Planar Graphs

1996 ◽  
Vol 5 (3) ◽  
pp. 227-245 ◽  
Author(s):  
Bradley S. Gubser
Keyword(s):  
Graph Theory ◽  
Planar Graph ◽  
Planar Graphs ◽  
Explicit Description ◽  
Famous Result ◽  
Minor Criterion ◽  
Excluded Minor

Kuratowski's Theorem, perhaps the most famous result in graph theory, states that K5 and K3,3 are the only non-planar graphs for which both G\e, the deletion of the edge e, and G/e, the contraction of the edge e, are planar for all edges e of G. We characterize the almost-planar graphs, those non-planar graphs for which G\e or G/e is planar for all edges e of G. This paper gives two characterizations of the almost-planar graphs: an explicit description of the structure of almost-planar graphs; and an excluded minor criterion. We also give a best possible bound on the number of edges of an almost-planar graph.

Sign in / Sign up

Export Citation Format

Share Document