Wikipedia:Reference desk/Archives/Mathematics/2009 December 18

Mathematics desk
< December 17 << Nov | December | Jan >> December 19 >
Welcome to the Wikipedia Mathematics Reference Desk Archives
The page you are currently viewing is an archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.


December 18

edit

Non-isomorphic digraphs

edit

Hi,

Im trying to enumerate all non-isomorphic digraphs where each vertex has an indegree and outdegree both equal 2. Even better if only the connected ones are counted. The sequence in [1] shows the number of all digraphs with degree 2, and http://www.research.att.com/~njas/sequences/A007108 shows the number of connected digraphs with degree 2, but they count the total number of graphs, and not just non-isomorphic ones.

Here are some things I tried: Polya's Enumeration Theorem: I think I have a clear understanding of how it works, but am unable to apply it to graphs of this kind. Tried to look at the adjacency matrices. It seems to me that the eigenvalues are different iff the corresponding graphs are non-isomorphic, but have no idea how to prove it.

Here are the first couple of terms, starting with number of those non-isomorphic digraphs of degree 3: 1, 2, 5, 18, 62

And here are the connected ones: 1, 2, 5, 18, 60

thanks for any hints! —Preceding unsigned comment added by 68.219.194.109 (talk) 07:12, 18 December 2009 (UTC)[reply]

My experience is that with Polya's Enumeration Theorem or Burnside's lemma (which is usually all you would use for counting non-ismorphic objects), the enumeration of all objects has to be pretty straight forward or least you have to understand it pretty well. In this case the enumeration of all the digraphs is given at the OEIS site as
 
which is already pretty scary looking. To apply Burnside in this case you've got to generalize this formula to one which counts the number graphs that are invariant under a permutation of the vertices of any possible cycle decomposition. So off hand I'd say if you're looking for some kind of formula then you've got your work cut out for you. But if you're looking for some kind of formula for all n then it's probably going to be Burnside or nothing. The good news is that once you have all the non-isomorphic ones, the number that are connected can be found pretty easily with generating functions.--RDBury (talk) 16:57, 18 December 2009 (UTC)[reply]

Continuous or not?

edit

Is the function   with   continuous? --84.61.183.89 (talk) 09:51, 18 December 2009 (UTC)[reply]

The function f is continuous iff the inverse image, under f, of any open set in   is open in  . If U is an open set containing 1 but not −1,  , which is open in  . Likewise, if V is an open set containing −1 but not 1,  , which is open in  . From this, one may conclude that the inverse image of any open set in  , under f, is open in  , establishing the continuity of f. The reason both   and   are open is hidden below; if you like, you may attempt to understand this independently, but if you give up, you may click the "show" button below.
(Click the "show" button at the right to see why   and   are open or the "hide" button to hide it.)
Note that   and  ; by definition of the subspace topology, and the fact that   is not a rational number, both of these sets are open in  .
--PST 10:28, 18 December 2009 (UTC)[reply]
It may also help to note that   may be written as  . --PST 10:35, 18 December 2009 (UTC)[reply]
Since   is not rational (and therefore not in the domain of f), the above is true. --PST 10:35, 18 December 2009 (UTC)[reply]
This is just as easy to establish using the point-wise definition of continuity: the limit of the function at a given point x will be 1 if x>sqrt(2), and -1 if x<sqrt(2), since the function is constant near x. Since this agrees with f(x), the function is continuous. --COVIZAPIBETEFOKY (talk) 12:32, 18 December 2009 (UTC)[reply]

Yes, it's continuous. Pick any rational number and ask wheter it's continuous at that point. Pick an open interval about that number that is small enough that every rational in the interval is on the same side of √2. Then use the radius of that interval as the δ in the ε-δ definition of continuity. Michael Hardy (talk) 04:40, 19 December 2009 (UTC)[reply]